OH: "kortfattade bevissystem är inte kryptografi, de är systemdesign"