[发明专利]用于实现零知识证明的计算机实现的系统及方法

摘要

本发明涉及对复合语句的有效零知识验证，该复合语句同时涉及算术电路可满足性和有关公钥有效性的从属语句(密钥语句证明)二者。该方法使得证明者能够以零知识证明该特定语句。更具体地，本发明涉及一种用于实现语句(S)的零知识证明或验证的计算机实现的方法，在其中，证明者在将对语句的见证(w)保密的同时向验证者证明语句为真。本发明还涉及验证证明的验证者所采用的对等的方法。该方法包括证明者向验证者发送包括语句的数据集，该语句是对于给定的功能电路输出和椭圆曲线点，功能电路输入等于对应的椭圆曲线点乘数。数据包括针对语句的电路的各个线承诺和/或成批的承诺、输入和输出。证明者可以将语句中使用的该椭圆曲线或每个椭圆曲线的规范包括在数据中，或者已经提前共享语句中使用的该椭圆曲线或每个椭圆曲线的规范。然后，响应于来自验证者的挑战，证明者发送公开。备选地，证明者附加地包括证明密钥。利用从证明者接收到的数据，验证者能够确定电路得到满足并计算椭圆曲线点且验证语句，由此确定证明者持有对语句的见证。在接收到数据时，验证者通过计算来确定数据符合该语句。