examples_src.md

title	pagetitle
Squirrel Prover	Examples

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

MOVEP

• Basic Hash
• Basic Hash - Authentication
• Basic Hash - Incorrect