ZecHub
Utafiti
Kuchunguza Zero-Knowledge · Faragha · Kriptografia
🔎
Zcash Mfululizo wa Uthibitishaji Rasmi
Mfululizo wa sehemu tatu unaoeleza uthibitishaji rasmi kuanzia misingi yake, unapitia hitilafu ya usahihi ya Orchard ya 2026, na kuonyesha jinsi Ironwood ilivyoijibu kwa uthibitisho wa kihisabati uliothibitishwa na mashine.
Formal VerificationOrchardIronwoodProtocol Security

Research
Uthibitisho wa Kisheria Ni Nini?
Introduction to proving software correct instead of only testing it.

Research
Mdudu wa Orchard: Wakati Mfumo Wenye Uthibitisho Ukiwa na Pengo
Case study of the 2026 under-constrained Orchard circuit.

Research
Ironwood: Kuthibitisha Kwamba Pesa Haiwezi Kutengenezwa Kimakosa
How Zcash answered the Orchard bug with a machine-checked proof.
