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