Offchain Labs сообщила, что ее исследовательская группа опубликовала прогресс в технологии доказательств с нулевым разглашением (ZK), включая ускорение доказательств, проверяемый ИИ и рекурсивную безопасность. По данным ChainCatcher, схема векторных обязательств сократила время генерации доказательств для 64 000 точек данных примерно с 2 минут до 32 миллисекунд, а новая система доказательств Zaratan впервые обеспечила целочисленно-родные полностью краткие доказательства и снизила вычислительные затраты, связанные с RSA, примерно в 5 000 раз.

Команда также заявила, что легковесные протоколы проверки могут снизить время верификации вывода для больших моделей с минут до миллисекунд. Arbitrum изучает архитектуру с несколькими провайдерами (multi-prover), которая сочетает ZK-доказательства с доказательствами мошенничества и TEE, чтобы устранить единые точки отказа и сократить циклы расчета (settlement) по L1.