搜索结果: 1-3 共查到“军事学 circuit evaluation”相关记录3条 . 查询时间(0.14 秒)
Enforcing Input Correctness via Certification in Garbled Circuit Evaluation
secure multiparty computation garbled circuit input correctness
font style='font-size:12px;'>
2017/6/15
Secure multi-party computation allows a number of participants to securely evaluate a function on their private inputs and has a growing number of applications. Two standard adversarial models that tr...
Time-Optimal Interactive Proofs for Circuit Evaluation
interactive proofs verifiable computation
font style='font-size:12px;'>
2014/3/12
Several research teams have recently been working toward the development of practical general-purpose protocols for verifiable computation. These protocols enable a computationally weak verifier to of...
Practical and Employable Protocols for UC-Secure Circuit Evaluation over $Z_n$
cryptographic protocols / Two-party computation Practical Protocols UC-Security
font style='font-size:12px;'>
2013/4/18
We present a set of new, efficient, universally composable two-party protocols for evaluating reactive arithmetic circuits modulo n, where n is a safe RSA modulus of unknown factorization. Our protoco...