OH: sistem bukti ringkas bukanlah kriptografi, melainkan desain sistem