买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：区块链控股有限公司

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

主权项：1.一种计算机实现的方法，用于在来自卖方或证明者的访问数据的交换中实现来自买方或验证者的奖励数据的去信任零知识或有支付或交换，所述方法包括：从买方接收买方公钥pkB，所述买方公钥pkB是从将买方秘密密钥skB与椭圆曲线生成器点G相乘导出的；生成卖方公钥pks，所述卖方公钥pks是从将卖方秘密密钥i与椭圆曲线生成器点G相乘确定的，其中，所述卖方秘密密钥是访问数据或被用于保护买方所需的访问数据；准备数据集并将数据集发送给买方，所述数据集包括零知识证明语句，所述零知识证明语句是：对于表示所述语句的算术电路的给定功能电路输出和椭圆曲线点，功能电路输入等于卖方秘密密钥i，其中，所述语句使得买方能够确定所述电路得到满足并且验证所述语句，从而确定卖方拥有解锁访问数据所需的卖方秘密密钥；从买方接收第一交易Tx1，所述第一交易Tx1包含将奖励数据分配给买方的输出，所述奖励数据是使用卖方秘密密钥i可访问的；在区块链上签署并广播第一交易，以便所述第一交易被挖掘成区块，以及通过提供第二交易Tx2来访问来自第一交易Tx1的输出的奖励数据，所述第二交易Tx2提供卖方秘密密钥i以解锁奖励数据，然后所述奖励数据被透漏在区块链上，从而使得买方能够获得由卖方提供的访问数据，其中，所述证明者或卖方从验证者或买方接收椭圆曲线公钥pkB，所述买方已经从安全的随机秘密密钥pkB生成了所述公钥，其中pkB＝skB×G，且G为椭圆曲线点，并且所述证明者或卖方确保要为访问数据提供锁定值i，以使得访问数据＝pkB+i×G并且所述卖方将其公钥pks和来自功能电路的输出fi包括在发送给买方的数据集中，其中，pkS＝i×G，且功能电路输入是锁定值i，其中所述交易和奖励数据不涉及加密虚拟货币。

全文数据：

权利要求：

百度查询： 区块链控股有限公司 用于去信任零知识或有支付的计算机实现的系统及方法