OH: sistemas de prova sucinta não são criptografia, são design de sistemas