axiom-verifier

Verifier-facing граница доверия. v0.2 разделяет производство доказательства (axiom-symbolic, позднее Z3/Lean/zkVM backends) и принятие receipt. Rust-gate проверяет привязку артефактов, verdict и заявленную область корректности до того, как runtime сможет доверять receipt.

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

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

Доверенность receipt

check-receipt проверяет согласованность артефактов, а не математическую истинность verdict и не идентичность автора. Receipt поступает из доверенного локального исследовательского pipeline. Хеши не защищают от участника, способного изготовить новый receipt с собственными хешами и verdict=VALID. Приём недоверенных receipt требует проверяемого доказательства либо аутентифицированной verifier authority; этот механизм пока не реализован.

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