OH: "sistem bukti ringkas bukanlah kriptografi, itu adalah desain sistem"