Last released Apr 16, 2026
A tool for checking transitions in cryptographic game-hopping proofs
Supported by