LayerZero Research формально верифицировала байткод-расширение zkVM Jolt
- —Верифицированы 60 из 67 инструкций RISC-V, работа заняла около 2,5 месяца
- —Проверка выполнена на Lean против эталонной модели LeanRV64D из спецификации Sail
- —Семь инструкций не доказаны из-за граничных случаев, они описаны в статье
- —Для ускорения генерации доказательств использовались ИИ-инструменты Claude и Codex
Почему важно: Формальная верификация снижает риск ошибок в zkVM, от корректности которых зависит доверие к ZK-доказательствам и мостам LayerZero.
Источник: Crypto Briefing