ZecHub

Hwehwɛ mu

Zero-Knowledge · Kokoamsɛm · Ahintasɛm ho adesua

🔎

Zcash Formal Verification Ntoatoaso

Ntoatoaso a ɛwɔ afa atọ a ɛkyerɛ formal verification fi ne fapem mu, fa wo fa Orchard soundness mfomsoɔ a ɛbae wɔ 2026 mu, na ɛkyerɛ sɛnea Ironwood de akontaabu mu adanse a kɔmputa ahwɛ mu bua ho.

Formal VerificationOrchardIronwoodProtocol Security

Research
Dɛn ne Ɔmanfo Nsaano Nhwehwɛmu?
Introduction to proving software correct instead of only testing it.
Research
Orchard Bug: Bere a Ɔhaw Bi Wɔ Adaka no Mu No
Case study of the 2026 under-constrained Orchard circuit.
Research
Ironwood: Nea Ɛkyerɛ sɛ Sika Ntumi Nyɛ Adansekurum No
How Zcash answered the Orchard bug with a machine-checked proof.