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
Nu Ka Nye Tsitreɖoɖo Ƒomevi Ɖaseɖigbalɛ?
Introduction to proving software correct instead of only testing it.
Research
Orchard ƒe Kpɔɖeŋu: Ne Ɖaseɖigbalɛ Ƒe Ɖoɖoɖo Me Ƒoƒo Le Eme
Case study of the 2026 under-constrained Orchard circuit.
Research
Ironwood: Ale si woɖe kpe edzi be ga mate ŋu woawɔ aɖe o
How Zcash answered the Orchard bug with a machine-checked proof.