ZecHub
Ìwádìí
Ṣíṣe àwárí Zero-Knowledge · Ìpamọ́ · Kripítógirafi
🔎
Ìtòlẹ́sẹẹsẹ Ìjẹ́rìísí Ìlànà Zcash
Ìtòlẹ́sẹẹsẹ apá mẹ́ta tí ó ṣàlàyé ìjẹ́rìísí ìlànà láti ìpilẹ̀ṣẹ̀, tí ó ń rìn nípasẹ̀ àṣìṣe ìdánilójú Orchard ti ọdún 2026, tí ó sì fi hàn bí Ironwood ṣe dáhùn sí i pẹ̀lú ẹ̀rí ìṣirò tí ẹ̀rọ ṣàyẹ̀wò.
Formal VerificationOrchardIronwoodProtocol Security
Research
Kí Ni Ìwádìí Nípa Òfin?
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 àfihàn pé a kò le ṣe àgbélébùú owó
How Zcash answered the Orchard bug with a machine-checked proof.