OH: "stručné důkazní systémy nejsou kryptografie, jsou to systémový design"