ZecHub
Research
Exploring Zero-Knowledge · Privacy · Cryptography
🔎
Seri Verifikasi Formal Zcash
Seri tiga bagian yang menjelaskan verifikasi formal dari prinsip dasar, membahas bug soundness Orchard 2026, dan menunjukkan bagaimana Ironwood menjawabnya dengan mathematical proof yang telah diperiksa mesin.
Formal VerificationOrchardIronwoodProtocol Security
Research
Apa Itu Verifikasi Formal?
Introduction to proving software correct instead of only testing it.
Research
Bug Orchard: Ketika Sebuah Sistem Proof Memiliki Celah
Case study of the 2026 under-constrained Orchard circuit.
Research
Ironwood dari : Membuktikan Bahwa Uang Tidak Dapat Dipalsukan
How Zcash answered the Orchard bug with a machine-checked proof.