搜索结果: 1-2 共查到“军事学 interactive oracle proofs”相关记录2条 . 查询时间(0.109 秒)
Short Interactive Oracle Proofs with Constant Query Complexity, via Composition and Sumcheck
probabilistically checkable proofs interactive proofs proof composition
2016/3/24
We study *interactive oracle proofs* (IOPs) (Ben-Sasson, Chiesa, Spooner '16), which combine aspects of probabilistically checkable proofs (PCPs) and interactive proofs (IPs). We present IOP construct...
Interactive Oracle Proofs
probabilistically checkable proofs interactive proofs Fiat–Shamir paradigm
2016/2/23
We initiate the study of a proof system model that naturally combines two well-known models:
interactive proofs (IPs) and probabilistically-checkable proofs (PCPs). An interactive oracle proof (IOP)
...