ZecHub

Ricerca

Esplorare conoscenza zero · privacy · crittografia

🔎

Serie sulla verifica formale di Zcash

Una serie in tre parti che spiega la verifica formale dai primi principi, analizza il bug di solidità di Orchard del 2026 e mostra come Ironwood vi ha risposto con una prova matematica verificata da una macchina.

Formal VerificationOrchardIronwoodProtocol Security

Research
Che cos'è la verifica formale?
Introduction to proving software correct instead of only testing it.
Research
Il bug Orchard: quando un sistema di prove ha una falla
Case study of the 2026 under-constrained Orchard circuit.
Research
Ironwood: dimostrare che il denaro non può essere contraffatto
How Zcash answered the Orchard bug with a machine-checked proof.