Incrementally verifiable computation or knowledge implies time/space efficiency · Abstract. The probabilistically checkable proof (PCP) system enables proofs to ...
確定! 回上一頁