ZecHub
Nnyocha
Ịchọpụta Zero-Knowledge · Nzuzo · Kriptografi
🔎
Usoro Nkwenye Iwu nke Zcash
Usoro nwere akụkụ atọ nke na-akọwa nkwenye iwu site n'ụkpụrụ mbụ, na-agafe njehie nkwụsi ike Orchard nke 2026, ma na-egosi otú Ironwood siri jiri ihe akaebe mgbakọ na mwepụ nke igwe nyochara zaa ya.
Formal VerificationOrchardIronwoodProtocol Security
Research
Gịnị Bụ Ịchọpụta na Onye ahụ Ọ̀ Dị Mma?
Introduction to proving software correct instead of only testing it.
Research
Ọrịa Bekee a na-akpọ Orchard Bug: Mgbe Ihe Ndị E Ji Eme Nchọpụta Na-adịghị Mma n'Ọnụ
Case study of the 2026 under-constrained Orchard circuit.
Research
Osisi Ironwood: Igosi na A Pụghị Ịrụgharị Ego Ọ Bụla E Ji Eme Ihe n'Ụzọ Ụgha
How Zcash answered the Orchard bug with a machine-checked proof.