OH: kortfattede bevissystemer er ikke kryptografi, de er systemdesign