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