Terminal (Verifier)
Card (Prover)
Terminal (Verifier)
Card (Prover)
Holds secret key
Knows public key
Equation balances ✓
Pick random nonce
Compute commitment from nonce
Send commitment
Pick random challenge
Send challenge
Compute response from secret + nonce + challenge
Send response
Verify: does the response match the commitment and public key?