ZecHub
Forschung
Zero-Knowledge · Datenschutz · Kryptografie erkunden
🔎
Zcash-Serie zur formalen Verifikation
Eine dreiteilige Reihe, die formale Verifikation von Grund auf erklärt, den Orchard-Soundness-Bug von 2026 erläutert und zeigt, wie Ironwood ihn mit einem maschinell geprüften mathematischen Beweis beantwortete.
Formal VerificationOrchardIronwoodProtocol Security
Research
Was ist formale Verifikation?
Introduction to proving software correct instead of only testing it.
Research
Der Orchard-Bug: Wenn ein Beweissystem eine Lücke hat
Case study of the 2026 under-constrained Orchard circuit.
Research
Ironwood: Der Beweis, dass Geld nicht gefälscht werden kann
How Zcash answered the Orchard bug with a machine-checked proof.