搜索结果: 1-3 共查到“军事学 RAM Programs”相关记录3条 . 查询时间(0.062 秒)
We describe a new succinct zero-knowledge argument protocol with the following properties. The prover commits to a large data-set MM, and can thereafter prove many statements of the form ∃w:Ri(M...
How to Efficiently Evaluate RAM Programs with Malicious Security
secure computation oblivious ram
2016/1/7
Secure 2-party computation (2PC) is becoming practical for some applications. However, most approaches are limited by the fact that the desired functionality must be represented as a boolean circuit. ...
Indistinguishability Obfuscation of Iterated Circuits and RAM Programs
Iterated Circuits RAM Programs
2016/1/7
A key source of inefficiency in existing obfuscation schemes is that they operate on programs represented as Boolean circuits or (with stronger assumptions and costlier constructs) as Turing machines.