ZecHub
Recherche
Explorer la preuve à divulgation nulle de connaissance · La confidentialité · La cryptographie
🔎
Série de vérification formelle Zcash
Une série en trois parties qui explique la vérification formelle à partir des principes fondamentaux, revient sur le bug de solidité d'Orchard de 2026 et montre comment Ironwood y a répondu avec une preuve mathématique vérifiée par machine.
Formal VerificationOrchardIronwoodProtocol Security
Research
Qu’est-ce que la vérification formelle ?
Introduction to proving software correct instead of only testing it.
Research
Le bug Orchard : quand un système de preuve présente une faille
Case study of the 2026 under-constrained Orchard circuit.
Research
Ironwood : prouver que l’argent ne peut pas être contrefait
How Zcash answered the Orchard bug with a machine-checked proof.