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