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