[发明专利]用于数据交换的计算机实现的系统及方法

摘要

本发明涉及对复合语句的有效零知识验证，该复合语句同时涉及算术电路可满足性和有关公钥有效性的从属语句(密钥语句证明)二者。该方法使得证明者能够以零知识证明该特定语句。更具体地，本发明涉及一种用于实现语句(S)的零知识证明或验证的计算机实现的方法，在其中，证明者向验证者证明语句为真，同时将对语句的见证(W)保密。本发明还涉及验证证明的验证者所采用的对等的方法。该方法包括证明者向验证者发送具有算术电路的语句(S)，该算术电路具有m个门和n个线，被配置为实现功能电路并确定对于给定的功能电路输出(h)和椭圆曲线点(P)，至功能电路的线的功能电路输入(s)是否等于对应的椭圆曲线点乘数(s)。证明者还发送对于电路的线的单独的线承诺和/或成批的承诺、对于算术电路中的线的输入、以及功能电路输出(h)。证明者从验证者接收挑战值(x)，并以公开进行响应或者附加地向验证者发送证明密钥(PrK)。语句和数据使得验证者能够确定电路得到满足，并计算椭圆曲线点(P)并验证该语句，从而确定证明者拥有对语句的见证(W)。