搜索结果: 1-3 共查到“军事学 SNARGs”相关记录3条 . 查询时间(0.062 秒)
On the (In)security of Kilian-Based SNARGs
Fiat-Shamir Kilian's protocol interactive proofs
2019/9/5
The Fiat-Shamir transform is an incredibly powerful technique that uses a suitable hash function to reduce the interaction of general public-coin protocols. Unfortunately, there are known counterexamp...
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...
Lattice-Based SNARGs and Their Application to More Efficient Obfuscation
quasi-optimal SNARGs obfuscation lattices
2017/3/13
Succinct non-interactive arguments (SNARGs) enable verifying NP computations with substantially lower complexity than that required for classical NP verification. In this work, we first construct a la...