OH: prägnante Beweissysteme sind keine Kryptographie, sie sind Systemdesign.