ZecHub
Исследования
Изучение доказательств с нулевым разглашением · Конфиденциальности · Криптографии
🔎
Серия о формальной верификации Zcash
Серия из трёх частей, объясняющая формальную верификацию с первых принципов, рассматривающая ошибку корректности Orchard 2026 года и показывающая, как Ironwood решил проблему с помощью машинно проверяемого математического доказательства.
Formal VerificationOrchardIronwoodProtocol Security
Research
Что такое формальная верификация?
Introduction to proving software correct instead of only testing it.
Research
Ошибка Orchard: когда в системе доказательств появляется брешь
Case study of the 2026 under-constrained Orchard circuit.
Research
Ironwood: доказательство того, что деньги нельзя подделать
How Zcash answered the Orchard bug with a machine-checked proof.