Resumable zero-knowledge for circuits from symmetric key primitives

• Main Authors: ZHANG, Handong, WEI, Puwen, XUE, Haiyang, DENG, Yi, LI, Jinsong, WANG, Wei, LIU, Guoxiao
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2022
• Subjects: Resumable; Honest verifier zero-knowledge; MPC-in-the-head; Stateful signature; Ring signature; Blockchain; Information Security
• Online Access: https://ink.library.smu.edu.sg/sis_research/9202; https://ink.library.smu.edu.sg/context/sis_research/article/10207/viewcontent/resumable_zero.pdf
• Institution: Singapore Management University

Consider the scenario that the prover and the verifier perform the zero-knowledge (ZK) proof protocol for the same statement multiple times sequentially, where each proof is modeled as a session. We focus on the problem of how to resume a ZK proof efficiently in such scenario. We introduce a new pri...