Posts Tagged with "advanced"Modeling the Faerie-Gold VulnerabilityWe wrote a Quint spec for the Faerie-Gold attack in the Zerocash protocol, plus a ZCash-like fix.March 20, 2026How to Write Inductive InvariantsLearn about inductive invariants by defining them interactively with new Quint tools.July 31, 2025
Modeling the Faerie-Gold VulnerabilityWe wrote a Quint spec for the Faerie-Gold attack in the Zerocash protocol, plus a ZCash-like fix.March 20, 2026
How to Write Inductive InvariantsLearn about inductive invariants by defining them interactively with new Quint tools.July 31, 2025