正确性
计算机科学
零知识证明
密码学
可验证秘密共享
密码协议
语句(逻辑)
计算机安全
外包
保密
理论计算机科学
程序设计语言
政治学
集合(抽象数据类型)
法学
作者
Weiliang Ma,Qian Xiong,Xuanhua Shi,Xiaosong Ma,Hai Jin,Haozhao Kuang,Mingyu Gao,Ye Zhang,Haichen Shen,Weifang Hu
标识
DOI:10.1145/3575693.3575711
摘要
Zero-knowledge proof (ZKP) is a cryptographic protocol that allows one party to prove the correctness of a statement to another party without revealing any information beyond the correctness of the statement itself. It guarantees computation integrity and confidentiality, and is therefore increasingly adopted in industry for a variety of privacy-preserving applications, such as verifiable outsource computing and digital currency.
科研通智能强力驱动
Strongly Powered by AbleSci AI