Anonymer Zahlungsverkehr mit blinder Unterschrift

Alice würfelt Schecknummer x und Ausblendfaktor r.
Alice schickt s : = x ^. enc_Bank(r) zur Bank.
Bank belastet Alice's Konto mit 1,-DM und schickt z  =  dec_Bank(s) zurück.
Alice erhält also (x ^. r^e)^d mod n  =  (x^{d .} r)mod n.
Alice bildet z/r und verfügt nun über y : = x^d  mod n  =  dec_Bank(x).
Alice präsentiert y dem Kaufmann.
Der Kaufmann verifiziert y durch enc_Bank(y).
Der Kaufmann schickt y an die Bank.
Die Bank trägt enc_Bank(y) in die Liste der verbrauchten Schecks ein.
Die Bank schreibt dem Kaufmann 1,- DM gut.
Der Kaufmann schickt die Ware an Alice.