The machine-checked Lean proof targets balance integrity in Zcash’s new shielded pool after an Orchard vulnerability prompted the NU6.3 upgrade.
28d ago
verifying reliability
No specialized terms available for this topic.