OH: "kortfattede bevissystemer er ikke kryptografi, de er systemdesign"