搜索结果: 1-1 共查到“军事学 quasi-optimal SNARGs”相关记录1条 . 查询时间(0.14 秒)
Quasi-Optimal SNARGs via Linear Multi-Prover Interactive Proofs
quasi-optimal SNARGs linear MIPs linear PCPs
2018/2/8
This work gives the first quasi-optimal SNARG for Boolean circuit satisfiability from a concrete cryptographic assumption. Our construction takes a two-step approach. The first is an information-theor...