OH: "sistemele de dovezi succinte nu sunt criptografie, sunt design de sisteme"