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.
Research
Introduction to proving software correct instead of only testing it.
Case study of the 2026 under-constrained Orchard circuit.
How Zcash answered the Orchard bug with a machine-checked proof.
