ZecHub
Investigación
Explorando conocimiento cero · Privacidad · Criptografía
🔎
Serie de verificación formal de Zcash
Una serie de tres partes que explica la verificación formal desde sus fundamentos, recorre el bug de solidez de Orchard de 2026 y muestra cómo Ironwood lo resolvió con una prueba matemática verificada por máquina.
Formal VerificationOrchardIronwoodProtocol Security
Research
¿Qué es la verificación formal?
Introduction to proving software correct instead of only testing it.
Research
El bug de Orchard: cuando un sistema de pruebas tiene una brecha
Case study of the 2026 under-constrained Orchard circuit.
Research
Ironwood: Demostrar que el dinero no puede falsificarse
How Zcash answered the Orchard bug with a machine-checked proof.