Alice
Bob
Generate proof
Verify proof