The Alberta Buck - Formal Correctness Proofs (v1.0)

The Alberta Buck identity system ( Identity , Examples ) rests on two cryptographic transformations: the Identity Fountain rerandomizes a Pointcheval-Sanders signature to produce an unlinkable credential, and the approve handshake re-encrypts the credential's ElGamal ciphertext under the counterparty's public key with a Chaum-Pedersen proof of equality. Everything downstream – bilateral transfers,…