ZecHub

Araştırma

Sıfır Bilgi · Gizlilik · Kriptografiyi keşfedin

🔎

Zcash Biçimsel Doğrulama Serisi

Biçimsel doğrulamayı ilk ilkelerden açıklayan, 2026 Orchard sağlamlık hatasını ele alan ve Ironwood’un makine tarafından denetlenmiş matematiksel bir kanıtla buna nasıl yanıt verdiğini gösteren üç bölümlük bir seri.

Formal VerificationOrchardIronwoodProtocol Security

Research
Formal Doğrulama Nedir?
Introduction to proving software correct instead of only testing it.
Research
Orchard Hatası: Bir Kanıt Sisteminde Açık Olduğunda
Case study of the 2026 under-constrained Orchard circuit.
Research
Ironwood: Paranın Sahte Olamayacağını Kanıtlamak
How Zcash answered the Orchard bug with a machine-checked proof.