The following examples are replays of interactive proofs done with the Squirrel Prover.
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