The following examples are replays of interactive proofs done with the Squirrel Prover. Beware: these files use outdated syntax; fixed versions can be found in our code repository.
General examples
- Basic Hash
- Private Authentication
- Toy Counter
- YubiKey
- Signed DDH (role P) - Signed DDH (role S)
- LAK
- LAK - full
- Running Example Secrecy
- Running Example Oracle