OH: "i sistemi di prova succinti non sono crittografia, sono design di sistemi"