axiom-zk-bridge

This content is not available in your language yet.

Определяет границу двойного доказательства:

semantic proof: программа удовлетворяет Axiom-спецификации;
execution proof: конкретное исполнение именно этой программы породило заявленный результат.

В v0.2 semantic receipt привязывается к execution envelope. Реальный адаптер RISC Zero/SP1/Jolt остаётся будущей работой и намеренно не изображается как уже реализованный.

Связанные исследования

Этот компонент входит в исследовательский проект Axiom. Все компоненты собраны по теме localzet-axiom. Основной язык документации — русский. Исследовательские результаты и ограничения не означают готовность к промышленному применению.

Исходный код · MIT