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.