Alternative Title

基于可重随机化混淆电路的可验证计算

Publication Type

Journal Article

Version

publishedVersion

Publication Date

2-2019

Abstract

Yao's garbled circuit allows a client to outsource a function computation to a server with verifiablity. Unfortunately, the garbled circuit suffers from a one-time usage. The combination of fully homomorphic encryption (FHE) and garbled circuits enables the client and the server to reuse the garbled circuit with multiple inputs (Gennaro et al.). However, there still seems to be a long way to go for improving the efficiency of all known FHE schemes and it need much stronger security assumption. On the other hand, the construction is only proven to be secure in a weaker model where an adversary can not issue any number of verification queries to the client. Somewhat homomorphic encryption schemes, whose assumptions are much weaker than the FHE schemes, support a limited number of homomorphic operations. However, they can be much faster and more compact than the FHE schemes. In this work, a verifiable computation scheme is presented which can tolerate any number of malicious verification queries with additively homomorphic encryption. The proposed technique comes from the construction of re-randomizable garbled circuits in which the distribution of the original garbled circuit is computationally indistinguishable from the re-randomized garbled circuit. The proposed scheme is based on the decisional Diffie-Hellman (DDH) assumption. A technique solution is also given to construct cryptographic reverse firewalls, which is called reusable cryptographic reverse firewalls, using re-randomizable garbled circuits. Namely, the solution allows garbled circuits to be generated once and then securely re-randomized for many times on cryptographic reverse firewalls.

Keywords

Cryptographic reverse firewall, Homomorphic encryption, Re-randomizable garbled circuit, Verifiable computation

Discipline

Information Security

Research Areas

Cybersecurity

Publication

Ruan Jian Xue Bao / Journal of Software

Volume

30

Issue

2

First Page

399

Last Page

415

ISSN

1000-9825

Identifier

10.13328/j.cnki.jos.005585

Copyright Owner and License

Publisher

Additional URL

https://doi.org/10.13328/j.cnki.jos.005585

Download

Share

COinS