axiom-proof

Типизированные append-only события хеш-DAG для спецификаций, кандидатов, контрпримеров, доказательств и promotion. Пока это локальная tamper-evident цепочка; multi-writer consensus появится на более поздней стадии.

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

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

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