Verifiable computation using re-randomizable garbled circuits

• Main Authors: ZHAO, Qingsong, ZENG, Qingkai, LIU, Ximeng, XU, Huanliang
• Format: text
• Language: Chinese
• Published: Institutional Knowledge at Singapore Management University 2019
• Subjects: Cryptographic reverse firewall; Homomorphic encryption; Re-randomizable garbled circuit; Verifiable computation; Information Security
• Online Access: https://ink.library.smu.edu.sg/sis_research/4417; https://ink.library.smu.edu.sg/context/sis_research/article/5420/viewcontent/create_pdf.pdf
• Institution: Singapore Management University

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 ga...