Nenda kwenye maudhui
Logo

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