搜索结果: 1-2 共查到“军事学 No-Signaling”相关记录2条 . 查询时间(0.086 秒)
No-signaling Linear PCPs
PCP Linear PCPs
2018/7/9
In this paper, we give a no-signaling linear probabilistically checkable proof (PCP) system for P, i.e., a PCP system such that (1) the PCP oracle is a linear function and (2) the soundness holds agai...
How to Delegate Computations: The Power of No-Signaling Proofs
Delegation Probabilistic Proof Systems Interactive Arguments
2014/3/5
We construct a 1-round delegation scheme (i.e., argument-system) for every language computable in time t=t(n), where the running time of the prover is poly(t) and the running time of the verifier is n...