ZecHub
Numekuku
Zero-Knowledge · Ameŋunyatakakawo · Gbesesẽŋutinunya ƒe didi
🔎
Zcash ƒe Dzodzro Kɔkɔe ƒe Series
Series si me akpa etɔ le, si ɖe dzodzro kɔkɔe ƒe gɔmeɖoanyiwo fia, yi to Orchard ƒe 2026 me soundness bug me, eye wofia ale si Ironwood ɖo eŋu kple akɔntaɖoɖo ƒe kpekpeɖeŋu si kɔmpiuta de dzesi la.
Formal VerificationOrchardIronwoodProtocol Security
Research
Nukae Nye Dzɔdzɔmeŋutinunya Ƒe Kpeɖodzinya?
Introduction to proving software correct instead of only testing it.
Research
The Orchard Bug: When a Proof System Has a Hole
Case study of the 2026 under-constrained Orchard circuit.
Research
Ironwood: Eɖenɛ fiana be womate ŋu awɔ ga aʋatsokaka o
How Zcash answered the Orchard bug with a machine-checked proof.