搜索结果: 1-3 共查到“军事学 linear PCPs”相关记录3条 . 查询时间(0.093 秒)
How to Prove a Secret: Zero-Knowledge Proofs on Distributed Data via Fully Linear PCPs
linear PCPs proof systems zero knowledge
2019/3/1
We introduce and study the notion of fully linear probabilistically checkable proof systems. In such a proof system, the verifier can make a small number of linear queries that apply jointly to the in...
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...
Computational integrity with a public random string from quasi-linear PCPs
PCP implementation interactive proofs
2016/6/27
A party running a computation remotely may benefit from misreporting its output, say, to lower its tax. Cryptographic protocols that detect and prevent such falsities hold the promise to enhance the s...