CN110995438A - 一种非交互零知识证明方法、系统及存储介质 - Google Patents

一种非交互零知识证明方法、系统及存储介质 Download PDF

Info

Publication number
CN110995438A
CN110995438A CN201911014835.1A CN201911014835A CN110995438A CN 110995438 A CN110995438 A CN 110995438A CN 201911014835 A CN201911014835 A CN 201911014835A CN 110995438 A CN110995438 A CN 110995438A
Authority
CN
China
Prior art keywords
constraint system
verification
knowledge proof
generating
rank
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
CN201911014835.1A
Other languages
English (en)
Other versions
CN110995438B (zh
Inventor
石宁
王晨旭
李达
甘子荣
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Nanjing Trusted Blockchain And Algorithm Economics Research Institute Co Ltd
Original Assignee
Nanjing Trusted Blockchain And Algorithm Economics Research Institute Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Nanjing Trusted Blockchain And Algorithm Economics Research Institute Co Ltd filed Critical Nanjing Trusted Blockchain And Algorithm Economics Research Institute Co Ltd
Priority to CN201911014835.1A priority Critical patent/CN110995438B/zh
Publication of CN110995438A publication Critical patent/CN110995438A/zh
Application granted granted Critical
Publication of CN110995438B publication Critical patent/CN110995438B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/32—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials
    • H04L9/3218—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using proof of knowledge, e.g. Fiat-Shamir, GQ, Schnorr, ornon-interactive zero-knowledge proofs
    • H04L9/3221—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols including means for verifying the identity or authority of a user of the system or for message authentication, e.g. authorization, entity authentication, data integrity or data verification, non-repudiation, key authentication or verification of credentials using proof of knowledge, e.g. Fiat-Shamir, GQ, Schnorr, ornon-interactive zero-knowledge proofs interactive zero-knowledge proofs
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F7/00—Methods or arrangements for processing data by operating upon the order or content of the data handled
    • G06F7/38—Methods or arrangements for performing computations using exclusively denominational number representation, e.g. using binary, ternary, decimal representation
    • G06F7/48—Methods or arrangements for performing computations using exclusively denominational number representation, e.g. using binary, ternary, decimal representation using non-contact-making devices, e.g. tube, solid state device; using unspecified devices
    • G06F7/57—Arithmetic logic units [ALU], i.e. arrangements or devices for performing two or more of the operations covered by groups G06F7/483 – G06F7/556 or for performing logical operations
    • G06F7/575—Basic arithmetic logic units, i.e. devices selectable to perform either addition, subtraction or one of several logical operations, using, at least partially, the same circuitry
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/08—Key distribution or management, e.g. generation, sharing or updating, of cryptographic keys or passwords
    • H04L9/0861—Generation of secret information including derivation or calculation of cryptographic keys or passwords
    • H04L9/0869—Generation of secret information including derivation or calculation of cryptographic keys or passwords involving random numbers or seeds
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L9/00—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols
    • H04L9/30—Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy
    • H04L9/3006—Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy underlying computational problems or public-key parameters
    • H04L9/3026—Public key, i.e. encryption algorithm being computationally infeasible to invert or user's encryption keys not requiring secrecy underlying computational problems or public-key parameters details relating to polynomials generation, e.g. generation of irreducible polynomials

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Signal Processing (AREA)
  • Mathematical Optimization (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Pure & Applied Mathematics (AREA)
  • Mathematical Analysis (AREA)
  • Computing Systems (AREA)
  • Computational Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Algebra (AREA)
  • Mathematical Physics (AREA)
  • Design And Manufacture Of Integrated Circuits (AREA)

Abstract

本发明公开了一种非交互零知识证明方法、系统及存储介质，方法包括：将通用计算等式转化为逻辑电路；根据逻辑电路生成秩一约束系统；将秩一约束系统转化为多项式约束系统；计算多项式约束系统的摘要信息；根据摘要信息生成验证点；根据验证点，对多项式约束系统进行验证，生成验证结果；对验证结果进行计算，得到零知识证明结果；本发明通过对待验证内容进行信息摘要，然后根据信息摘要动态生成需要验证的点，使得证明者的验证点与验证内容唯一对应，避免了证明者造假；同时，本发明使得验证者在非交互零知识的前提下，能够对信息进行验证，可广泛应用于密码学技术领域。

Description

一种非交互零知识证明方法、系统及存储介质
技术领域
本发明涉及密码学技术领域，尤其是一种非交互零知识证明方法、系统及存储介质。
背景技术
对于通用计算，可以在不暴露任何计算相关信息的情况下对通用计算的正确性进行验证。即零知识证明。传统的零知识证明将通用计算按照计算步骤转化为计算逻辑电路，对于每一个电路门进行约束，将所有电路门的约束进行形式化统一，整合形成秩一约束系统。将通用计算的正确性转化为秩一约束系统的可满足性。将秩一约束系统转化为多项式表示，将通用计算的正确性再一次转化为多项式的正确性。通过对多项式在定义域上的取值进行抽样验证，从而实现对通用计算的正确性验证。在这个过程中，通过密码学方案，使得验证方能够在不获得任何通用计算相关信息的前提下对通用计算的正确性进行了验证。
在上述传统的零知识证明方案中，为了实现非交互式证明，在最后的抽样验证步骤中，这些抽样点由可信第三方在系统初始设置时生成，称为可信初始设置。这种可信初始设置对于系统来说是有害废物，一旦被第三方获取抽样点信息，那么生成伪证将变得极为容易。
发明内容
有鉴于此，本发明实施例提供一种无需可信初始设置的非交互零知识证明方法、系统及存储介质。
第一方面，本发明实施例提供了一种非交互零知识证明方法，包括以下步骤：
将通用计算等式转化为逻辑电路；
根据逻辑电路生成秩一约束系统；
将秩一约束系统转化为多项式约束系统；
计算多项式约束系统的摘要信息；
根据摘要信息生成验证点；
根据验证点，对多项式约束系统进行验证，生成验证结果；
对验证结果进行计算，得到零知识证明结果。
进一步，所述根据逻辑电路生成秩一约束系统这一步骤，包括以下步骤：
根据逻辑电路中的每一个逻辑门，构建单独的约束系统；
根据矩阵运算方式，将所述单独的约束系统整合为秩一约束系统。
进一步，所述计算多项式约束系统的摘要信息这一步骤，具体为：
采用哈希计算方法来计算多项式约束系统的摘要信息，得到哈希值。
进一步，所述根据摘要信息生成验证点这一步骤，具体为：
将摘要信息作为伪随机种子；
根据伪随机种子生成若干个验证点。
第二方面，本发明实施例提供了一种非交互零知识证明系统，包括：
第一转化模块，用于将通用计算等式转化为逻辑电路；
第一生成模块，用于根据逻辑电路生成秩一约束系统；
第二转化模块，用于将秩一约束系统转化为多项式约束系统；
计算模块，用于计算多项式约束系统的摘要信息；
第二生成模块，用于根据摘要信息生成验证点；
验证模块，用于根据验证点，对多项式约束系统进行验证，生成验证结果；
证明模块，用于对验证结果进行计算，得到零知识证明结果。
进一步，所述第一生成模块包括：
构建单元，用于根据逻辑电路中的每一个逻辑门，构建单独的约束系统；
整合单元，用于根据矩阵运算方式，将所述单独的约束系统整合为秩一约束系统。
进一步，所述第二生成模块包括：
伪随机种子生成单元，用于将摘要信息作为伪随机种子；
验证点生成单元，用于根据伪随机种子生成若干个验证点。
第三方面，本发明实施例提供了一种非交互零知识证明系统，包括：
至少一个处理器；
至少一个存储器，用于存储至少一个程序；
当所述至少一个程序被所述至少一个处理器执行，使得所述至少一个处理器实现所述的非交互零知识证明方法。
第四方面，本发明实施例提供了一种存储介质，其中存储有处理器可执行的指令，所述处理器可执行的指令在由处理器执行时用于执行所述的非交互零知识证明方法。
上述本发明实施例中的一个或多个技术方案具有如下优点：本发明通过对待验证内容进行信息摘要，然后根据信息摘要动态生成需要验证的点，使得证明者的验证点与验证内容唯一对应，避免了证明者造假；同时，本发明使得验证者在非交互零知识的前提下，能够对信息进行验证。
附图说明
图1为本发明实施例的整体步骤流程图。
具体实施方式
下面结合说明书附图和具体实施例对本发明作进一步解释和说明。对于本发明实施例中的步骤编号，其仅为了便于阐述说明而设置，对步骤之间的顺序不做任何限定，实施例中的各步骤的执行顺序均可根据本领域技术人员的理解来进行适应性调整。
参照图1，本发明实施例提供了一种非交互零知识证明方法，包括以下步骤：
将通用计算等式转化为逻辑电路；
根据逻辑电路生成秩一约束系统；
将秩一约束系统转化为多项式约束系统；
计算多项式约束系统的摘要信息；
根据摘要信息生成验证点；
根据验证点，对多项式约束系统进行验证，生成验证结果；
对验证结果进行计算，得到零知识证明结果。
进一步作为优选的实施方式，所述根据逻辑电路生成秩一约束系统这一步骤，包括以下步骤：
根据逻辑电路中的每一个逻辑门，构建单独的约束系统；
根据矩阵运算方式，将所述单独的约束系统整合为秩一约束系统。
进一步作为优选的实施方式，所述计算多项式约束系统的摘要信息这一步骤，具体为：
采用哈希计算方法来计算多项式约束系统的摘要信息，得到哈希值。
进一步作为优选的实施方式，所述根据摘要信息生成验证点这一步骤，具体为：
将摘要信息作为伪随机种子；
根据伪随机种子生成若干个验证点。
与图1的方法相对应，本发明实施例提供了一种非交互零知识证明系统，包括：
第一转化模块，用于将通用计算等式转化为逻辑电路；
第一生成模块，用于根据逻辑电路生成秩一约束系统；
第二转化模块，用于将秩一约束系统转化为多项式约束系统；
计算模块，用于计算多项式约束系统的摘要信息；
第二生成模块，用于根据摘要信息生成验证点；
验证模块，用于根据验证点，对多项式约束系统进行验证，生成验证结果；
证明模块，用于对验证结果进行计算，得到零知识证明结果。
进一步作为优选的实施方式，所述第一生成模块包括：
构建单元，用于根据逻辑电路中的每一个逻辑门，构建单独的约束系统；
整合单元，用于根据矩阵运算方式，将所述单独的约束系统整合为秩一约束系统。
进一步作为优选的实施方式，所述第二生成模块包括：
伪随机种子生成单元，用于将摘要信息作为伪随机种子；
验证点生成单元，用于根据伪随机种子生成若干个验证点。
与图1的方法相对应，本发明实施例提供了一种非交互零知识证明系统，包括：
至少一个处理器；
至少一个存储器，用于存储至少一个程序；
当所述至少一个程序被所述至少一个处理器执行，使得所述至少一个处理器实现所述的非交互零知识证明方法。
与图1的方法相对应，本发明实施例提供了一种存储介质，其中存储有处理器可执行的指令，所述处理器可执行的指令在由处理器执行时用于执行所述的非交互零知识证明方法。
本实施例提供了一种无需可信初始设置的非交互零知识证明方法，具体包括以下步骤：
S1：证明者将通用计算等式X按照计算步骤转化为逻辑电路circuit(X)；
S2：证明者将逻辑电路circuit(X)中的每一个逻辑门构成单独的约束系统；
S3：证明者将约束系统以矩阵运算方式整合为秩一约束系统R1CS(X)；
S4：证明者将秩一约束系统R1CS(X)转化为多项式约束系统QSP(X)；
S5：证明者将多项式约束系统QSP(X)进行信息摘要，得到hash(QSP(X))；
S6：证明者将信息摘要hash(QSP(X))作为伪随机种子，随机生成若干验证点T；
S7：证明者通过对多项式约束系统QSP(X)在若干验证点T上进行验证生成proof(X)；
S8：验证者通过对proof(X)进行计算从而实现非交互状态下的零知识证明。
本发明中：证明者提供proof(X)，并未泄漏原始信息X，隐私得到保护。
本发明中：证明者的验证域T由待验证等式X唯一决定，如果证明者基于验证域造假，进一步，使得信息摘要hash(QSP(X))发生变化，进一步，导致验证域T发生变化，进一步，造假失败；
本发明中：验证者通过对proof(X)进行计算而完成验证，从而实现证明过程的非交互。
综上所述，本发明公布的无需可信初始设置的非交互零知识证明方法，通过对待验证内容进行信息摘要，将信息摘要作为为随机种子，动态生成需要验证的点，使得证明者的验证点与验证内容唯一对应，避免了证明者造假的同时，使得验证者在非交互零知识的前提下，能够对信息进行验证。
在一些可选择的实施例中，在方框图中提到的功能/操作可以不按照操作示图提到的顺序发生。例如，取决于所涉及的功能/操作，连续示出的两个方框实际上可以被大体上同时地执行或所述方框有时能以相反顺序被执行。此外，在本发明的流程图中所呈现和描述的实施例以示例的方式被提供，目的在于提供对技术更全面的理解。所公开的方法不限于本文所呈现的操作和逻辑流程。可选择的实施例是可预期的，其中各种操作的顺序被改变以及其中被描述为较大操作的一部分的子操作被独立地执行。
此外，虽然在功能性模块的背景下描述了本发明，但应当理解的是，除非另有相反说明，所述的功能和/或特征中的一个或多个可以被集成在单个物理装置和/或软件模块中，或者一个或多个功能和/或特征可以在单独的物理装置或软件模块中被实现。还可以理解的是，有关每个模块的实际实现的详细讨论对于理解本发明是不必要的。更确切地说，考虑到在本文中公开的装置中各种功能模块的属性、功能和内部关系的情况下，在工程师的常规技术内将会了解该模块的实际实现。因此，本领域技术人员运用普通技术就能够在无需过度试验的情况下实现在权利要求书中所阐明的本发明。还可以理解的是，所公开的特定概念仅仅是说明性的，并不意在限制本发明的范围，本发明的范围由所附权利要求书及其等同方案的全部范围来决定。
所述功能如果以软件功能单元的形式实现并作为独立的产品销售或使用时，可以存储在一个计算机可读取存储介质中。基于这样的理解，本发明的技术方案本质上或者说对现有技术做出贡献的部分或者该技术方案的部分可以以软件产品的形式体现出来，该计算机软件产品存储在一个存储介质中，包括若干指令用以使得一台计算机设备(可以是个人计算机，服务器，或者网络设备等)执行本发明各个实施例所述方法的全部或部分步骤。而前述的存储介质包括：U盘、移动硬盘、只读存储器(ROM，Read-Only Memory)、随机存取存储器(RAM，Random Access Memory)、磁碟或者光盘等各种可以存储程序代码的介质。
在流程图中表示或在此以其他方式描述的逻辑和/或步骤，例如，可以被认为是用于实现逻辑功能的可执行指令的定序列表，可以具体实现在任何计算机可读介质中，以供指令执行系统、装置或设备(如基于计算机的系统、包括处理器的系统或其他可以从指令执行系统、装置或设备取指令并执行指令的系统)使用，或结合这些指令执行系统、装置或设备而使用。就本说明书而言，“计算机可读介质”可以是任何可以包含、存储、通信、传播或传输程序以供指令执行系统、装置或设备或结合这些指令执行系统、装置或设备而使用的装置。
计算机可读介质的更具体的示例(非穷尽性列表)包括以下：具有一个或多个布线的电连接部(电子装置)，便携式计算机盘盒(磁装置)，随机存取存储器(RAM)，只读存储器(ROM)，可擦除可编辑只读存储器(EPROM或闪速存储器)，光纤装置，以及便携式光盘只读存储器(CDROM)。另外，计算机可读介质甚至可以是可在其上打印所述程序的纸或其他合适的介质，因为可以例如通过对纸或其他介质进行光学扫描，接着进行编辑、解译或必要时以其他合适方式进行处理来以电子方式获得所述程序，然后将其存储在计算机存储器中。
应当理解，本发明的各部分可以用硬件、软件、固件或它们的组合来实现。在上述实施方式中，多个步骤或方法可以用存储在存储器中且由合适的指令执行系统执行的软件或固件来实现。例如，如果用硬件来实现，和在另一实施方式中一样，可用本领域公知的下列技术中的任一项或他们的组合来实现：具有用于对数据信号实现逻辑功能的逻辑门电路的离散逻辑电路，具有合适的组合逻辑门电路的专用集成电路，可编程门阵列(PGA)，现场可编程门阵列(FPGA)等。
在本说明书的描述中，参考术语“一个实施例”、“一些实施例”、“示例”、“具体示例”、或“一些示例”等的描述意指结合该实施例或示例描述的具体特征、结构、材料或者特点包含于本发明的至少一个实施例或示例中。在本说明书中，对上述术语的示意性表述不一定指的是相同的实施例或示例。而且，描述的具体特征、结构、材料或者特点可以在任何的一个或多个实施例或示例中以合适的方式结合。
尽管已经示出和描述了本发明的实施例，本领域的普通技术人员可以理解：在不脱离本发明的原理和宗旨的情况下可以对这些实施例进行多种变化、修改、替换和变型，本发明的范围由权利要求及其等同物限定。
以上是对本发明的较佳实施进行了具体说明，但本发明并不限于所述实施例，熟悉本领域的技术人员在不违背本发明精神的前提下还可做作出种种的等同变形或替换，这些等同的变形或替换均包含在本申请权利要求所限定的范围内。

Claims (9)

1.一种非交互零知识证明方法，其特征在于：包括以下步骤：
将通用计算等式转化为逻辑电路；
根据逻辑电路生成秩一约束系统；
将秩一约束系统转化为多项式约束系统；
计算多项式约束系统的摘要信息；
根据摘要信息生成验证点；
根据验证点，对多项式约束系统进行验证，生成验证结果；
对验证结果进行计算，得到零知识证明结果。
2.根据权利要求1所述的一种非交互零知识证明方法，其特征在于：所述根据逻辑电路生成秩一约束系统这一步骤，包括以下步骤：
根据逻辑电路中的每一个逻辑门，构建单独的约束系统；
根据矩阵运算方式，将所述单独的约束系统整合为秩一约束系统。
3.根据权利要求1所述的一种非交互零知识证明方法，其特征在于：所述计算多项式约束系统的摘要信息这一步骤，具体为：
采用哈希计算方法来计算多项式约束系统的摘要信息，得到哈希值。
4.根据权利要求1所述的一种非交互零知识证明方法，其特征在于：所述根据摘要信息生成验证点这一步骤，具体为：
将摘要信息作为伪随机种子；
根据伪随机种子生成若干个验证点。
5.一种非交互零知识证明系统，其特征在于：包括：
第一转化模块，用于将通用计算等式转化为逻辑电路；
第一生成模块，用于根据逻辑电路生成秩一约束系统；
第二转化模块，用于将秩一约束系统转化为多项式约束系统；
计算模块，用于计算多项式约束系统的摘要信息；
第二生成模块，用于根据摘要信息生成验证点；
验证模块，用于根据验证点，对多项式约束系统进行验证，生成验证结果；
证明模块，用于对验证结果进行计算，得到零知识证明结果。
6.根据权利要求5所述的一种非交互零知识证明系统，其特征在于：所述第一生成模块包括：
构建单元，用于根据逻辑电路中的每一个逻辑门，构建单独的约束系统；
整合单元，用于根据矩阵运算方式，将所述单独的约束系统整合为秩一约束系统。
7.根据权利要求5所述的一种非交互零知识证明系统，其特征在于：所述第二生成模块包括：
伪随机种子生成单元，用于将摘要信息作为伪随机种子；
验证点生成单元，用于根据伪随机种子生成若干个验证点。
8.一种非交互零知识证明系统，其特征在于：包括：
至少一个处理器；
至少一个存储器，用于存储至少一个程序；
当所述至少一个程序被所述至少一个处理器执行，使得所述至少一个处理器实现如权利要求1-4中任一项所述的非交互零知识证明方法。
9.一种存储介质，其中存储有处理器可执行的指令，其特征在于：所述处理器可执行的指令在由处理器执行时用于执行如权利要求1-4中任一项所述的非交互零知识证明方法。
CN201911014835.1A 2019-10-24 2019-10-24 一种非交互零知识证明方法、系统及存储介质 Active CN110995438B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201911014835.1A CN110995438B (zh) 2019-10-24 2019-10-24 一种非交互零知识证明方法、系统及存储介质

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201911014835.1A CN110995438B (zh) 2019-10-24 2019-10-24 一种非交互零知识证明方法、系统及存储介质

Publications (2)

Publication Number Publication Date
CN110995438A true CN110995438A (zh) 2020-04-10
CN110995438B CN110995438B (zh) 2022-07-12

Family

ID=70082411

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201911014835.1A Active CN110995438B (zh) 2019-10-24 2019-10-24 一种非交互零知识证明方法、系统及存储介质

Country Status (1)

Country Link
CN (1) CN110995438B (zh)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112632888A (zh) * 2020-08-18 2021-04-09 上海致居信息科技有限公司 电路合成方法、设备、介质和数据存储证明系统
WO2022247910A1 (zh) * 2021-05-27 2022-12-01 中国人民银行数字货币研究所 一种信息验证方法和装置
CN115967493A (zh) * 2021-10-12 2023-04-14 北京航空航天大学 基于国密sm3的哈希原像零知识证明电路生成方法及装置

Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CA2369141A1 (en) * 1999-05-03 2001-01-04 Joseph H. Silverman Secure user identification based on ring homomorphisms
US20110246779A1 (en) * 2008-12-11 2011-10-06 Isamu Teranishi Zero-knowledge proof system, zero-knowledge proof device, zero-knowledge verification device, zero-knowledge proof method and program therefor
CN103516522A (zh) * 2013-10-12 2014-01-15 湖南科技大学 一种基于零知识证明协议的芯核水印盲检测方法
CN103718502A (zh) * 2011-08-12 2014-04-09 索尼公司 信息处理设备、信息处理方法、程序和记录介质
CN108683669A (zh) * 2018-05-19 2018-10-19 深圳市图灵奇点智能科技有限公司 数据验证方法和安全多方计算系统
CN108769061A (zh) * 2018-06-25 2018-11-06 北京奇虎科技有限公司 登录方法、登录验证方法以及相应的装置、电子设备
CN109379195A (zh) * 2018-12-18 2019-02-22 深圳前海微众银行股份有限公司 零知识证明电路的优化方法、装置、设备及可读存储介质
CN110289950A (zh) * 2019-05-29 2019-09-27 杭州隐知科技有限公司 一种密钥信息生成方法及装置

Patent Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CA2369141A1 (en) * 1999-05-03 2001-01-04 Joseph H. Silverman Secure user identification based on ring homomorphisms
US20110246779A1 (en) * 2008-12-11 2011-10-06 Isamu Teranishi Zero-knowledge proof system, zero-knowledge proof device, zero-knowledge verification device, zero-knowledge proof method and program therefor
CN103718502A (zh) * 2011-08-12 2014-04-09 索尼公司 信息处理设备、信息处理方法、程序和记录介质
CN103516522A (zh) * 2013-10-12 2014-01-15 湖南科技大学 一种基于零知识证明协议的芯核水印盲检测方法
CN108683669A (zh) * 2018-05-19 2018-10-19 深圳市图灵奇点智能科技有限公司 数据验证方法和安全多方计算系统
CN108769061A (zh) * 2018-06-25 2018-11-06 北京奇虎科技有限公司 登录方法、登录验证方法以及相应的装置、电子设备
CN109379195A (zh) * 2018-12-18 2019-02-22 深圳前海微众银行股份有限公司 零知识证明电路的优化方法、装置、设备及可读存储介质
CN110289950A (zh) * 2019-05-29 2019-09-27 杭州隐知科技有限公司 一种密钥信息生成方法及装置

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112632888A (zh) * 2020-08-18 2021-04-09 上海致居信息科技有限公司 电路合成方法、设备、介质和数据存储证明系统
WO2022247910A1 (zh) * 2021-05-27 2022-12-01 中国人民银行数字货币研究所 一种信息验证方法和装置
CN115967493A (zh) * 2021-10-12 2023-04-14 北京航空航天大学 基于国密sm3的哈希原像零知识证明电路生成方法及装置
CN115967493B (zh) * 2021-10-12 2024-05-24 北京航空航天大学 基于国密sm3的哈希原像零知识证明电路生成方法及装置

Also Published As

Publication number Publication date
CN110995438B (zh) 2022-07-12

Similar Documents

Publication Publication Date Title
CN110855631B (zh) 一种区块链中可监管的零知识验证方法、系统及存储介质
Bootle et al. Arya: Nearly linear-time zero-knowledge proofs for correct program execution
CN110995438B (zh) 一种非交互零知识证明方法、系统及存储介质
US4759064A (en) Blind unanticipated signature systems
EP2947642A1 (en) Secure-computation system, computing device, secure-computation method, and program
TW201320701A (zh) 資訊處理裝置、資訊處理方法及程式
US11409907B2 (en) Methods and systems for cryptographically secured decentralized testing
JPWO2007088716A1 (ja) ブラインド署名方法及びそのシステム
JP2020505817A (ja) 認証されたデータ上のピノキオ／トリノキオ
JP2011510579A (ja) 署名ダイアグラムを用いた非対称暗号方式のための対策方法およびデバイス
CN112887081A (zh) 基于sm2的签名验签方法、装置及系统
Hartung Attacks on secure logging schemes
CN110602190B (zh) 区块链共识的方法及区块链节点和存储装置
Crockett et al. Challenges for ring-LWE
Hameed et al. Towards a formal modelling, analysis and verification of a clone node attack detection scheme in the internet of things
Mahmoud et al. Applications of smart-contracts: anonymous decentralized insurances with IoT sensors
Qin et al. Leakage-resilient lossy trapdoor functions and public-key encryption
US20220345312A1 (en) Zero-knowledge contingent payments protocol for granting access to encrypted assets
JP4122856B2 (ja) 複数の要素に対する確率的同時位数検査方法および位数検査プログラム
WO2011033642A1 (ja) 署名生成装置及び署名検証装置
CN112035850B (zh) 一种数据处理方法、装置和电子设备
Li Anonymous payment mechanisms for electric car infrastructure
Salam et al. HECC (hyperelliptic curve cryptography)
RU2369974C1 (ru) Способ формирования и проверки подлинности электронной цифровой подписи, заверяющей электронный документ
CN112541197B (zh) 一种结果验证方法及装置

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant