CN109614820A - 基于零知识证明的智能合约认证数据隐私保护方法 - Google Patents

基于零知识证明的智能合约认证数据隐私保护方法 Download PDF

Info

Publication number
CN109614820A
CN109614820A CN201811487845.2A CN201811487845A CN109614820A CN 109614820 A CN109614820 A CN 109614820A CN 201811487845 A CN201811487845 A CN 201811487845A CN 109614820 A CN109614820 A CN 109614820A
Authority
CN
China
Prior art keywords
data
dapp
decentralization
zero
circuit
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.)
Pending
Application number
CN201811487845.2A
Other languages
English (en)
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.)
Shandong University
Original Assignee
Shandong University
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 Shandong University filed Critical Shandong University
Priority to CN201811487845.2A priority Critical patent/CN109614820A/zh
Publication of CN109614820A publication Critical patent/CN109614820A/zh
Priority to CN201911134323.9A priority patent/CN110781521B/zh
Priority to US17/057,758 priority patent/US11411737B2/en
Priority to PCT/CN2019/119520 priority patent/WO2020114240A1/zh
Pending legal-status Critical Current

Links

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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/60—Protecting data
    • G06F21/62—Protecting access to data via a platform, e.g. using keys or access control rules
    • G06F21/6218—Protecting access to data via a platform, e.g. using keys or access control rules to a system of files or objects, e.g. local or distributed file system or database
    • G06F21/6245—Protecting personal data, e.g. for financial or medical purposes
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/60—Protecting data
    • G06F21/602—Providing cryptographic facilities or services
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/60—Protecting data
    • G06F21/64—Protecting data integrity, e.g. using checksums, certificates or signatures
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L63/00—Network architectures or network communication protocols for network security
    • H04L63/04—Network architectures or network communication protocols for network security for providing a confidential data exchange among entities communicating through data packet networks
    • H04L63/0428—Network architectures or network communication protocols for network security for providing a confidential data exchange among entities communicating through data packet networks wherein the data content is protected, e.g. by encrypting or encapsulating the payload
    • H04L63/0442—Network architectures or network communication protocols for network security for providing a confidential data exchange among entities communicating through data packet networks wherein the data content is protected, e.g. by encrypting or encapsulating the payload wherein the sending and receiving network entities apply asymmetric encryption, i.e. different keys for encryption and decryption
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L63/00—Network architectures or network communication protocols for network security
    • H04L63/06—Network architectures or network communication protocols for network security for supporting key management in a packet data network
    • H04L63/061—Network architectures or network communication protocols for network security for supporting key management in a packet data network for key exchange, e.g. in peer-to-peer networks
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L63/00—Network architectures or network communication protocols for network security
    • H04L63/06—Network architectures or network communication protocols for network security for supporting key management in a packet data network
    • H04L63/062—Network architectures or network communication protocols for network security for supporting key management in a packet data network for key distribution, e.g. centrally by trusted party
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L63/00—Network architectures or network communication protocols for network security
    • H04L63/12—Applying verification of the received information
    • H04L63/126—Applying verification of the received information the source of the received data
    • 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/14—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols using a plurality of keys or algorithms
    • 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/3236—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 cryptographic hash functions
    • H04L9/3239—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 cryptographic hash functions involving non-keyed hash functions, e.g. modification detection codes [MDCs], MD5, SHA or RIPEMD
    • 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/3247—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 involving digital signatures
    • 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/50—Cryptographic mechanisms or cryptographic arrangements for secret or secure communications; Network security protocols using hash chains, e.g. blockchains or hash trees

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Security & Cryptography (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Signal Processing (AREA)
  • Computer Hardware Design (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computing Systems (AREA)
  • Health & Medical Sciences (AREA)
  • General Health & Medical Sciences (AREA)
  • Bioethics (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Databases & Information Systems (AREA)
  • Medical Informatics (AREA)
  • Storage Device Security (AREA)

Abstract

本发明公开了基于零知识证明的智能合约认证数据隐私保护方法，可信数据认证机构DA生成可靠的数据并使用其私钥ska为基于智能合约的去中心化应用DApp用户DU的数据进行签名。DA知晓数据生成的时间以及数据所有者，但不会透露给其他DApp用户DU。每个DApp用户DU使用公钥pka验证数据的签名。DA根据DApp所需的计算任务，构建电路C。DU将私密的真实数据作为输入，以获取由DApp提供的去中心化服务。DU希望在享受DApp服务的同时保护隐私，所以DU根据DA构造的电路C，利用零知识证明技术证明其数据真实有效，并以事务的形式发送到区块链。DU提交的事务被验证者V验证通过后，DU可享受DApp服务。

Description

基于零知识证明的智能合约认证数据隐私保护方法
技术领域
本公开涉及区块链技术领域，特别是涉及基于零知识证明的智能合约认证数据隐私保护方法。
背景技术
本部分的陈述仅仅是提高了与本公开相关的背景技术，并不必然构成现有技术。
随着加密货币比特币的空前成功，区块链技术飞速发展，引领了互联网领域一次新的技术浪潮。作为一个无中心服务器的分布式系统，区块链不依赖于任何一方的正确执行。一旦被记录在区块链上，就无法再对其进行更改，这种不可篡改性保证了区块链上交易的完整性，从而建立信任关系。
智能合约是在区块链上运行的程序，其执行必须通过共识来确认。智能合约的存在，使区块链能够处理比资金转移更复杂的逻辑。区块链技术与智能合约相结合，已经应用于许多领域：金融，保险，公证，房地产，彩票，投票，供应链，智能电网，医疗保险，物联网和云计算等。
当区块链应用于实际场景以实现智能合约的自动执行时，与现实世界交互是不可避免的。区块链上的智能合约需要从现实世界中获取一些信息作为输入，以便计算结果，按照预先确定的规则执行。然而，并非所有从现实世界到智能合约的输入都可以对外公开。例如，医疗保险的智能合约需要将被保险人的年龄，职业，性别和体检报告作为输入。出于对隐私的保护，这些数据不能对外公开。另一方面，即使医疗保险使用联盟链维护，并对其采用访问控制机制来防止隐私泄露，个人医疗信息仍然会泄露给维护联盟链的节点。从本质上讲，这类问题即如何在不泄露任何隐私的情况下将经过认证的真实数据提供给区块链上的智能合约，保证发送到区块链的数据的隐私性和真实性，显得至关重要。
零知识证明，就是指证明者知道或拥有某一消息，在不向验证者提供任何有用的信息的情况下，能够使验证者相信某个论断是正确的一种方法。大量事实证明，如果能够将零知识证明用于数据认证，将会有效解决许多问题。相应地，目前零知识证明的最新技术有zk-SNARKs(zero-knowledge Succinct Non-interactive ARgument of Knowledge)，zk-STARKs(zero-knowledge Scalable Transparent ARguments of Knowledge)，Bulletproofs等。其中，zk-SNARK已经成功应用到匿名数字货币ZeroCash中。
数字签名是公钥加密技术与数字摘要技术相结合的应用。数字签名在许多方面等同于传统的手写签名，在一些国家已具有法律意义。正确实现的数字签名比手写类型更难以伪造。此外，一些不可否认数字签名方案能够提供时间戳，即使私钥泄露，也能保证签名的有效性。
发明内容
为了解决现有技术的不足，本公开提供了基于零知识证明的智能合约认证数据隐私保护方法，其具有保证输入数据的隐私性和真实性，在不泄漏敏感信息的情况下，每个人都可以验证数据的真实性；
本公开提供了基于零知识证明的智能合约认证数据隐私保护方法；
基于零知识证明的智能合约认证数据隐私保护方法，包括：
可信数据认证机构DA(Data Authenticator)，去中心化应用的用户DU(DAppUser)，验证者V(Validator)以及基于智能合约的去中心化应用DApp(DecentralizedApp)；
步骤(1)：初始化：可信数据认证机构DA进行初始化，输入安全参数λ，利用零知识证明系统ZKP的ZKP.Setup(1λ)获得公共参数pp；
所述可信数据认证机构DA选取数字签名机制∏＝(KeyGen,Sign,Verify)，运行∏.KeyGen生成公钥/私钥对(pka,ska)；
所述可信数据认证机构DA为去中心化应用的用户DU生成唯一的ID，将(pp,pka)对外公布；
所述可信数据认证机构DA根据基于智能合约的去中心化应用DApp所需的计算任务，构建电路C；
步骤(2)：生成密钥对：密钥生成器将公共参数pp和电路C作为输入，运行零知识证明系统ZKP的ZKP.KeyGen(pp,C)算法，生成密钥对(pk,vk)，其中证明密钥pk用于生成证明，验证密钥vk用于验证证明；
步骤(3)：数据认证：可信数据认证机构DA将个人私密数据和签名私钥ska作为输入，运行算法，对数据进行签名认证并产生签名σa；
步骤(4)：生成证明：去中心化应用的用户DU证明者终端将私密数据作为电路C的输入值，将计算结果R和哈希值h作为算术电路C的输出值，输入到电路C中；所述去中心化应用的用户DU执行零知识证明系统ZKP的算法生成证明π；
步骤(5)：验证证明：验证者V运行Verify(vk,pka,π,R,h,σa)算法，验证证明π是否正确；验证通过则证明计算结果R是正确的，否则证明计算结果R是错误的。
作为一些可能的实现方式，所述步骤(1)的零知识证明系统，包括：
所述零知识证明系统ZKP＝(Setup,KeyGen,Prove,Verify)，是但不局限于zk-SNARKs，zk-STARKs和Bulletproofs；
ZKP.Setup(1λ)用于初始化零知识证明系统的公共参数pp；
ZKP.KeyGen(pp,C)用于生成证明密钥对(pk,vk)，其中证明密钥pk用于生成证明，验证密钥vk用于验证证明；
用于生成证明π，证明计算结果R是由真实有效的数据计算所得；
ZKP.Verify(vk,π,R,h)用于验证证明π以判断数据的真实有效性和计算结果R的正确性；
所述零知识证明系统中使用相同电路的情况下，公共参数pp仅初始化一次，所述公共参数pp用于ZKP.KeyGen(pp,C)生成密钥对，以及证明生成和验证的计算。
作为一些可能的实现方式，所述步骤(1)中所述可信数据认证机构DA选取数字签名机制Π＝(KeyGen,Sign,Verify)，是但不局限于ECDSA和RSA；
Π.KeyGen(1λ)用于初始化签名算法，生成签名密钥对(pka,ska)；
Π.Sign(ska,data)用于对数据data进行签名，并产生签名σa；
Π.Verify(pka,data,σa)用于对签名σa进行验签。
作为一些可能的实现方式，所述步骤(1)的计算任务，包括：
所述基于智能合约的去中心化应用DApp根据计算需求，构造算术等式；所述去中心化应用的用户DU向所述DApp证明其提供的数据满足等式关系。
假设所述基于智能合约的去中心化应用DApp所需的计算任务为等式h＝Hash(<x1,x2,...,xn,r>|ID|T)，所述去中心化应用的用户DU向所述基于智能合约的去中心化应用DApp证明自己知道h对应的哈希原象为x1,x2,...,xn、r、ID、T，而不向所述基于智能合约的去中心化应用DApp泄露x1,x2,...,xn和r；
相同的计算任务使用同一个电路，电路具有可重复性。
作为一些可能的实现方式，所述步骤(1)的构建电路C：
将所述去中心化应用的用户DU的私密输入作为电路C的输入，将所述去中心化应用DApp所需的计算结果R和哈希值h作为电路C的输出，以证明所述去中心化应用DApp所需的计算结果R确实是由所述可信数据认证机构DA认证的数据作为输入计算而来；
所述电路C包括加、减、乘、除、比较或哈希计算的组合，组合的形式根据基于智能合约的去中心化应用DApp所需的计算任务中预先设定的形式来决定。
作为一些可能的实现方式，所述步骤(2)的零知识证明系统在使用相同电路的情况下，密钥对(pk,vk)仅初始化一次。
作为一些可能的实现方式，所述步骤(3)的算法的具体步骤为：
所述可信数据认证机构DA利用所述去中心化应用的用户DU的身份ID和当前时间T，将所述DU的私密输入进行扩展，扩展后变为
所述可信数据认证机构DA将扩展的私密输入进行哈希运算，获得h＝Hash(x1,x2,...,xn,r|ID|T)；
所述可信数据认证机构DA基于私钥ska，运行Π.Sign(ska,h)算法，为扩展的私密输入的哈希值生成签名σa＝Π.Sign(ska,Hash(<x1,x2,...,xn,r>|ID|T))；
所述哈希运算函数Hash()包括但不局限于SHA256、SHA3哈希函数。
作为一些可能的实现方式，所述步骤(4)的计算结果R为所述去中心化应用DApp所需的计算结果，该数值通过所述去中心化应用的用户DU的私密输入结合所述去中心化应用DApp对外公布的公共相关系数计算得到。
作为一些可能的实现方式，所述步骤(5)的Verify(vk,pka,π,R,h,σa)算法的具体步骤为：
验证者V将验证签名的公钥pka，哈希值h和签名σa，输入到签名验证算法Π.Verify(pka,h,σa)中，验证哈希值h的签名σa是否有效；如果无效，则输出0；
如果有效，则继续利用零知识证明系统ZKP的ZKP.Verify(vk,π,R,h)验证证明π是否正确，如果验证均通过，则证明计算结果R是正确的，否则证明计算结果R是错误的。
与现有技术相比，本公开的有益效果是：
1、本公开所提出的技术，保证智能合约的数据真实性和隐私，并且不会向其他人泄露输入数据，确保输入数据的真实有效性。
2、本公开可以用于各种区块链系统，以确保数据的真实性和隐私性。
3、本公开中通过区块链记录服务提供端用户产生的证明，任何验证者都可以进行访问验证，真正实现去中心化。
附图说明
构成本申请的一部分的说明书附图用来提供对本申请的进一步理解，本申请的示意性实施例及其说明用于解释本申请，并不构成对本申请的不当限定。
图1为实施例1认证数据隐私保护的基本电路结构示意图。
图2为实施例1基于零知识证明的智能合约认证数据隐私保护方法的系统框架示意图。
图3为实施例1保护明文输出的认证数据隐私保护的电路结构示意图。
图4为实施例1防止恶意用户欺诈的认证数据隐私保护的电路结构示意图。
图5为实施例1以太坊和zk-SNARKs为例实现的系统框架示意图。
具体实施方式
应该指出，以下详细说明都是例示性的，旨在对本申请提供进一步的说明。除非另有指明，本文使用的所有技术和科学术语具有与本申请所属技术领域的普通技术人员通常理解的相同含义。
需要注意的是，这里所使用的术语仅是为了描述具体实施方式，而非意图限制根据本申请的示例性实施方式。如在这里所使用的，除非上下文另外明确指出，否则单数形式也意图包括复数形式，此外，还应当理解的是，当在本说明书中使用术语“包含”和/或“包括”时，其指明存在特征、步骤、操作、器件、组件和/或它们的组合。
基于零知识证明的智能合约认证数据隐私保护方法，包括：
可信数据认证机构DA(Data Authenticator)，基于智能合约的去中心化应用的用户DU(DApp User)，验证者V(Validator)以及基于智能合约的去中心化应用DApp(Decentralized App)。
所述数据认证机构(DA)是一个独立且可信的数据源。所述DA将生成可靠的数据并使用其私钥ska为DApp用户DU的数据进行签名。此外，DA知道数据生成的时间以及数据所有者，但它绝不会将此数据透露给其他DApp用户DU。每个DApp用户DU都可以使用相应的公钥pka验证数据的签名。
所述DU需要将自己的私密的真实数据作为输入，以获取由DApp提供的去中心化服务。由于隐私问题，所述DU希望在享受服务的同时保护隐私。
所述验证者V(Validator)是区块链维护者(矿工)，用于验证提交给区块链系统的事务。所述验证者们通过运行共识算法来生成包含已验证事务的新区块。同样，智能合约可以在区块链上执行。
所述去中心化应用程序(DApp)在区块链上以智能合约的形式提供服务。例如，一种去中心化的医疗保险计划，以去中心化的智能合约方式为个人提供保险服务。
所述DApp用户DU向所述DApp(智能合约)发送服务请求，其中包含所述DApp所需的计算结果、所述DU私密输入的哈希值、证明和签名。所述验证者V对服务请求进行验证通过后，所述DApp为其用户提供服务。
所述DU将三个向量作为输入：第一个向量是所述DU的私密数据向量第二个向量是公共参数向量用于计算DApp所需的计算结果R，第三个向量是辅助数据其中ID，T和r是所述DU的身份标识，时间信息和随机数，随机数r用于混淆所述DApp用户DU的输入。
进一步地，所述DU将三个向量作为认证数据隐私保护的基本电路的输入，计算结果R和哈希值h作为认证数据隐私保护的基本电路的输出。所述计算结果R是所述DApp执行某些特定操作所必需的，所述哈希值h则用于验证的真实性。
进一步地，所述零知识证明系统为认证数据隐私保护的基本电路生成零知识证明π。所述DU向所述DApp发送以下变量验证计算结果的正确性：证明π，向量和计算结果R，哈希值h以及h上的数字签名σa。所述DApp验证R确实是和计算的结果，而哈希值h确实是通过和计算得到的，以保证使用相同的来生成R和h。所述DApp检查签名σa的有效性，以确保真实性。
所述基于零知识证明的智能合约认证数据隐私保护方法由5个步骤组成，详细说明如下。
A、系统设置：输入安全参数λ,利用零知识证明系统ZKP的ZKP.Setup(1λ)获得公共参数pp。所述DA选取安全的数字签名机制Π＝(KeyGen,Sign,Verify)，生成公钥/私钥对(pka,ska)；所述DA为去中心化应用的用户DU生成唯一的ID，将(pp,pka)对外公布；所述DA根据DApp所需的计算任务，构建电路C。
进一步地，所述零知识证明系统ZKP＝(Setup,KeyGen,Prove,Verify)，是但不局限于zk-SNARKs，zk-STARKs和Bulletproofs。ZKP.Setup(1λ)用于初始化零知识证明系统的公共参数pp；ZKP.KeyGen(pp,C)用于生成证明密钥对(pk,vk)，其中证明密钥pk用于生成证明，验证密钥vk用于验证证明；用于生成证明π，证明计算结果R是由真实有效的数据计算所得；用于验证证明π以判断数据的真实有效性和计算结果R的正确性；所述零知识证明系统中使用相同电路的情况下，公共参数pp仅初始化一次，所述公共参数pp用于ZKP.KeyGen(pp,C)生成密钥对，以及证明生成和验证的计算。
进一步地，所述DA选取的安全数字签名机制П＝(KeyGen,Sign,Verify)，可以是但不局限于ECDSA和RSA。Π.KeyGen(1λ)用于初始化签名算法，生成签名密钥对(pka,ska)；Π.Sign(ska,data)用于对数据data进行签名，并产生签名σa；Π.Verify(pka,data,σa)用于对签名σa进行验签。
进一步地，所述DApp根据计算需求，构造算术等式；所述去中心化应用的用户DU向所述基于智能合约的去中心化应用DApp证明其提供的数据满足等式关系。假设所述基于智能合约的去中心化应用DApp所需的计算任务为等式h＝Hash(<x1,x2,...,xn,r>|ID|T)，所述去中心化应用的用户DU向所述基于智能合约的去中心化应用DApp证明自己知道h对应的哈希原象为x1,x2,...,xn、r、ID、T，而不向所述基于智能合约的去中心化应用DApp泄露x1,x2,...,xn和r；相同的计算任务使用同一个电路，电路具有可重复性。
进一步地，所述电路C将所述DU的私密输入公共参数向量和辅助数据作为电路输入，将所述基于智能合约的去中心化应用DApp所需的计算结果R和哈希值h作为电路输出，以证明所述基于智能合约的去中心化应用DApp所需的计算结果R确实是由所述可信数据认证机构DA认证的数据和公共参数向量作为输入计算而来，如图1所示；所述电路C可以进行加、减、乘、除、比较和哈希电路的组合，实现更加复杂的算术电路。
B、密钥生成：可信密钥产生器将公共参数pp和电路C作为输入，运行零知识证明系统ZKP的ZKP.KeyGen(pp,C)算法，生成密钥对(pk,vk)，其中证明密钥pk用于生成证明，验证密钥vk用于验证证明。
进一步地，所述零知识证明系统可以是但不局限于zk-SNARKs，zk-STARKs和Bulletproofs；零知识证明系统中使用相同电路的情况下，公共参数pp和密钥对(pk,vk)仅初始化一次。
C、数据生成和认证：根据DApp的要求，所述DU向所述DA请求以获得其个人数据可信数据认证机构DA将个人私密数据和签名私钥ska作为输入，运行算法，对数据进行签名认证并产生签名σa。根据DataAuth算法，所述DA将验证的真实性，并且将与所述DU的ID标识相关联。
进一步地，所述算法的具体步骤为：所述DA利用所述DU的身份ID和当前时间T，将所述DU的私密输入进行扩展；所述DA将扩展的私密输入进行哈希运算，获得h＝Hash(x1,x2,...,xn,r|ID|T)；所述DA基于私钥ska，运行Π.Sign(ska,h)算法，为扩展的私密输入的哈希值生成签名σa＝Π.Sign(ska,Hash(<x1,x2,...,xn,r>|ID|T))；所述哈希运算函数Hash()可以是但不局限于SHA256、SHA3等哈希函数。
D、DApp服务请求：所述DU检查DApp规则并从所述DApp获取公共输入所述DU获取其私密的数据(用r扩展)和辅助输入以及所述DApp所需的计算结果R和哈希值h。所述DU执行零知识证明系统的ZKP的算法以获得证明π。所述DU向所述DApp发送包含(π,R,h,σa)的服务请求。所述请求将以DApp地址的事务(Tx)的形式发送到区块链上。
进一步地，所述计算结果R为所述DApp所需的计算结果，该数值通过所述DU的私密输入结合所述DApp对外公布的公共相关系数计算得到。
E、DApp服务响应：接收到服务请求后，每个所述验证者V都运行DApp智能合约的相应功能，该功能调用算法。如果验证函数的输出为0，所述验证者V将丢弃此事务；验证函数的输出为1，所述验证者V用计算结果R执行DApp。执行DApp取决于验证者们的共识，因此只有当大多数验证者接受证明时，才能证明DApp验证的证明是有效的。
进一步地，所述算法的具体步骤为：所述验证者V将验证签名的公钥pka，哈希值h和签名σa，输入到签名验证算法Π.Verify(pka,h,σa)中，验证哈希值h的签名σa是否有效；如果无效，则输出0；如果有效，则继续利用零知识证明系统ZKP的验证证明π是否正确，如果验证均通过，则证明计算结果R是正确的，否则证明计算结果R是错误的的。
进一步地，任何具有固定和简单计算电路的DApp都可以使用基于零知识证明技术的上述过程来执行，以保护DU的隐私。从理论上讲，也可以实现有限循环的DApp。复杂的计算电路将导致证明者(即DU)的成本增高。根据零知识证明技术，无论DApp计算功能有多复杂，验证者的计算成本都是固定的。
进一步地，由于所述电路将计算结果R作为输出，并且对每个用户都是公开的。为了隐藏明文输出R，可以使用类似的零知识证明算法为R产生证明而不公开R。同时，DU还可以支付R金额作为保费，以保护输出和支付隐私。所述DA可以构造对应于图3所示电路；所述DU使用ZKP.Prove()算法产生对应相应的电路证明。注意，计算电路的输出将作为支付电路的输入，因此计算电路输出对其他输出是隐藏的。
进一步地，为防止恶意DU使用他人的数据作为自己的数据。应该使用安全凭证方案来生成所述DU的ID，以区分所述DU。所述DU的ID标识可以作为两个SHA256电路的私密输入，如图4电路所示。第一个SHA256电路输出h，它匹配先前的保险费用支付的证明。第二个SHA256电路输出h'，h'必须由保险索赔的DA签名。
进一步地，所述基于零知识证明的智能合约认证数据隐私保护方法的系统框架可由三大模块组合实现，包括基于智能合约的去中心化应用DApp、零知识证明模块以及区块链系统。所述零知识证明模块可以是但不局限于zk-SNARKs，zk-STARKs和Bulletproofs。所述DApp是在区块链上运行的智能合约。所述区块链可以是但不局限于以太坊Ethereum。
术语解释：
零知识证明系统(Zero Knowledge Proof,ZKP)；
事务(Transaction，Tx)：类似于比特币中数字货币的转账交易，在本申请中称为事务(transaction)；一个区块中包含多个事务，由矿工运行共识算法将区块添加到区块链上。
实施例一
为了更清楚地阐述本公开，一个具体实例是医疗保险计划，该方案需要借助医院认证的医疗报告才能注册报名。基于智能合约的去中心化应用DApp用户DU是想要签署该计划的人，数据认证机构DA是受信任的医院，验证者V是区块链维护者，DApp是去中心化的医疗保险智能合约，如图2所示。以以太坊和zk-SNARKs为例的医疗保险智能合约的认证数据隐私保护方案，如图5所示。以下通过该具体实例进行阐述：
A、系统设置：输入安全参数λ＝80，运行zk-SNARKs.Setup(1λ)以获得公共参数pp。选取ECDSA作为选取的安全数字签名机制。此外，DA拥有一个签名机制的公钥/私钥对(pka,ska)＝(0x6044c69f…,{0x225bf5a8…,0x5f18…,…})。DU从DA获得唯一的ID＝0x957a…＝(149,122,…)。
B、密钥生成：根据DApp所需的计算任务，构建电路C，如图1、图3或图4所示。可信密钥产生器将公共参数pp和电路C作为输入，运行zk-SNARKs.KeyGen(pp,C)算法，输出用于证明生成的证明密钥pk＝{{(0x1c4d…,0x453c…),(0x2ab2…,0x4710…),…},{(0x42ae…,0x637b…),(0x9285…,0x2b4c…),…},{(0xc021…,0x375f…),(0x753c…,0x538a…),…},{(0x412a…,0x3409…),(0x832b…,0x4096…),…},{(0x2ef1…,0xab37…),(0x3cd6…,0x232c…),…}}，以及用于证明验证的验证密钥vk＝{(0x973c…,0x2f99…),(0x6fed…,0x2bd3…),(0xca7a…,0x205a…),(0xf24f…,0x1c81…),(0x20c7…,0x2553…),(0x2bf8…,0x1cae…),(0xbaaa…,0x1086…),{(0xd445…,0x3030…),(0x10ab…,0x1c7e…),…}}。
C、数据生成和认证：根据基于智能合约的去中心化应用DApp的要求，假定个人数据的形式为(年龄、身高、体重、血压、心率、肺活量、随机数)，则DU将自己的个人数据进行打包，向DA请求以获得其个人数据其中，DU的个人隐私数据为：年龄36岁、身高177cm、体重65kg、血压(105mmHg，70mmHg)、心率75次、肺活量3800ml＝(14，216)、随机数r＝0x8cb48d1b…＝(140,180,141,27,…)；另外，DU的身份ID＝0x957a…＝(149,122,…)和当前时间T＝20180901＝(1,51,239,165)。DA运行算法产生签名σa＝0x96f3ba163366bfac687b…，该签名作用在DU的身份ID和当前时间T的哈希值上。根据DataAuth算法，DA将验证的真实性，并且将与所述DU的ID标识相关联。
D、DApp服务请求：DU检查DApp规则并从DApp获取公共输入DU获取其私密的数据(用r＝(140,180,141,27,…)扩展)和辅助输入 以及DApp所需的计算结果R＝3244＝10×36+2×177+7×65+8×(105+70)+9×70和哈希值DU执行算法以获得证明π＝{(2057…,2644…),(3920…,1382…),(1519…,8915…),(9716…,1262…),(1832…,1834…),(1917…,1050…),(2052…,1082…),(1840…,5570…)}。DU向DApp发送包含(π,R,h,σa)的服务请求。该请求将以DApp地址的事务(Tx)的形式发送到区块链上。
E、DApp服务响应：接收到服务请求后，每个验证者V都运行DApp智能合约的相应功能，该功能调用算法。若验证函数的输出为1，则验证者V用计算结果R＝3244执行DApp，通过支付电路扣除等量金额，如图3所示，同时为DU提供相应的保险计划服务。
DU注册DApp医疗保险并支付保费后，若后期发生理赔，则DU需要证明身份以进行索赔。通过索赔计算电路将输出补偿金额R，该金额将通过支付电路支付给DU，如图4所示。
以上所述仅为本申请的优选实施例而已，并不用于限制本申请，对于本领域的技术人员来说，本申请可以有各种更改和变化。凡在本申请的精神和原则之内，所作的任何修改、等同替换、改进等，均应包含在本申请的保护范围之内。

Claims (8)

1.基于零知识证明的智能合约认证数据隐私保护方法，其特征是，包括：
可信数据认证机构DA，去中心化应用的用户DU，验证者V以及基于智能合约的去中心化应用DApp；
步骤(1)：初始化：可信数据认证机构DA进行初始化，输入安全参数λ，利用零知识证明系统ZKP的ZKP.Setup(1λ)获得公共参数pp；
所述可信数据认证机构DA选取数字签名机制∏＝(KeyGen,Sign,Verify)，运行∏.KeyGen生成公钥/私钥对(pka,ska)；
所述可信数据认证机构DA为去中心化应用的用户DU生成唯一的ID，将(pp,pka)对外公布；
所述可信数据认证机构DA根据去中心化应用DApp所需的计算任务，构建电路C；
步骤(2)：生成密钥对：密钥生成器将公共参数pp和电路C作为输入，运行零知识证明系统的ZKP的ZKP.KeyGen(pp,C)算法，生成密钥对(pk,vk)，其中证明密钥pk用于生成证明，验证密钥vk用于验证证明；
步骤(3)：数据认证：可信数据认证机构DA将个人私密数据和签名私钥ska作为输入，运行算法，对数据进行签名认证并产生签名σa；
步骤(4)：生成证明：去中心化应用的用户DU证明者终端将私密数据作为电路C的输入值，将计算结果R和哈希值h作为算术电路C的输出值，输入到电路C中；所述去中心化应用的用户DU执行零知识证明系统ZKP的算法生成证明π；
步骤(5)：验证证明：验证者V运行Verify(vk，pka，π，R，h，σa)算法，验证证明π是否正确；验证通过则证明计算结果R是正确的，否则证明计算结果R是错误的。
2.如权利要求1所述的方法，其特征是，所述步骤(1)的零知识证明系统，包括：
所述零知识证明系统包括但不局限于zk-SNARKs，zk-STARKs和Bulletproofs；
ZKP.Setup(1λ)用于初始化零知识证明系统的公共参数pp；
ZKP.KeyGen(pp，C)用于生成证明密钥对(pk，vk)，其中证明密钥pk用于生成证明，验证密钥vk用于验证证明；
用于生成证明π，证明计算结果R是由真实有效的数据计算所得；
ZKP.Verify(vk,π,R,h)用于验证证明π以判断数据的真实有效性和计算结果R的正确性。
3.如权利要求1所述的方法，其特征是，所述步骤(1)中所述可信数据认证机构DA选取数字签名机制Π＝(KeyGen,Sign,Verify)，是但不局限于ECDSA和RSA；
∏.KeyGen(1λ)用于初始化签名算法，生成签名密钥对(pka，ska)；
Π.Sign(ska，data)用于对数据data进行签名，并产生签名σa；
Π.Verify(pka，data，σa)用于对签名σa进行验签。
4.如权利要求1所述的方法，其特征是，所述步骤(1)的计算任务，包括：
所述基于智能合约的去中心化应用DApp根据计算需求，构造算术等式；所述去中心化应用的用户DU向所述DApp证明其提供的数据满足等式关系；
假设所述基于智能合约的去中心化应用DApp所需的计算任务为等式h＝Hash(<x1，x2，...,xn,r>|ID|T)，所述去中心化应用的用户DU向所述基于智能合约的去中心化应用DApp证明自己知道h对应的哈希原象为x1,x2,...,xn、r、ID、T，而不向所述基于智能合约的去中心化应用DApp泄露x1,x2,...,xn和r；
相同的计算任务使用同一个电路，电路具有可重复性。
5.如权利要求1所述的方法，其特征是，所述步骤(1)的构建电路C：
将所述去中心化应用的用户DU的私密输入作为电路C的输入，将所述去中心化应用DApp所需的计算结果R和哈希值h作为电路C的输出，以证明所述去中心化应用DApp所需的计算结果R确实是由所述可信数据认证机构DA认证的数据作为输入计算而来；
所述电路C包括加、减、乘、除、比较和哈希电路的组合。
6.如权利要求1所述的方法，其特征是，所述步骤(3)的算法的具体步骤为：
所述可信数据认证机构DA利用所述去中心化应用的用户DU的身份ID和当前时间T，将所述DU的私密输入进行扩展，扩展后变为
所述可信数据认证机构DA将扩展的私密输入进行哈希运算，获得h＝Hash(x1,x2,...,xn,r|ID|T)；
所述可信数据认证机构DA基于私钥ska，运行Π.Sign(ska,h)算法，为扩展的私密输入的哈希值生成签名σa＝Π.sign(ska,ash(<x1,x2,...,xn,r>|ID|T))；
所述哈希运算函数Hash()包括但不局限于SHA256、SHA3哈希函数。
7.如权利要求1所述的方法，其特征是，所述步骤(4)的计算结果R为所述去中心化应用DApp所需的计算结果，该数值通过所述去中心化应用的用户DU的私密输入结合所述去中心化应用DApp对外公布的公共相关系数计算得到。
8.如权利要求1所述的方法，其特征是，所述步骤(5)的Verify(vk,pka,π,R，h,σa)算法的具体步骤为：
验证者V将验证签名的公钥pka，哈希值h和签名σa，输入到签名验证算法Π.Verify(pka,h,σa)中，验证哈希值h的签名σa是否有效；如果无效，则输出0；
如果有效，则继续利用零知识证明系统ZKP的ZKP.Verify(vk,π,R,h)验证证明π是否正确，如果验证均通过，则证明计算结果R是正确的，否则证明计算结果R是错误的。
CN201811487845.2A 2018-12-06 2018-12-06 基于零知识证明的智能合约认证数据隐私保护方法 Pending CN109614820A (zh)

Priority Applications (4)

Application Number Priority Date Filing Date Title
CN201811487845.2A CN109614820A (zh) 2018-12-06 2018-12-06 基于零知识证明的智能合约认证数据隐私保护方法
CN201911134323.9A CN110781521B (zh) 2018-12-06 2019-11-19 基于零知识证明的智能合约认证数据隐私保护方法及系统
US17/057,758 US11411737B2 (en) 2018-12-06 2019-11-19 Zero knowledge proof-based privacy protection method and system for authenticated data in smart contract
PCT/CN2019/119520 WO2020114240A1 (zh) 2018-12-06 2019-11-19 基于零知识证明的智能合约认证数据隐私保护方法及系统

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201811487845.2A CN109614820A (zh) 2018-12-06 2018-12-06 基于零知识证明的智能合约认证数据隐私保护方法

Publications (1)

Publication Number Publication Date
CN109614820A true CN109614820A (zh) 2019-04-12

Family

ID=66007357

Family Applications (2)

Application Number Title Priority Date Filing Date
CN201811487845.2A Pending CN109614820A (zh) 2018-12-06 2018-12-06 基于零知识证明的智能合约认证数据隐私保护方法
CN201911134323.9A Active CN110781521B (zh) 2018-12-06 2019-11-19 基于零知识证明的智能合约认证数据隐私保护方法及系统

Family Applications After (1)

Application Number Title Priority Date Filing Date
CN201911134323.9A Active CN110781521B (zh) 2018-12-06 2019-11-19 基于零知识证明的智能合约认证数据隐私保护方法及系统

Country Status (3)

Country Link
US (1) US11411737B2 (zh)
CN (2) CN109614820A (zh)
WO (1) WO2020114240A1 (zh)

Cited By (33)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110311782A (zh) * 2019-04-29 2019-10-08 山东工商学院 个人信息的零知识证明方法、系统及存储介质
CN110321735A (zh) * 2019-04-29 2019-10-11 山东工商学院 基于零知识证明的业务办理方法、系统及存储介质
CN110489393A (zh) * 2019-07-08 2019-11-22 深圳壹账通智能科技有限公司 违约信息查询方法、装置、计算机设备和存储介质
CN111163069A (zh) * 2019-12-18 2020-05-15 内蒙古大学 一种基于区块链的物联网用户隐私保护方法
WO2020114240A1 (zh) * 2018-12-06 2020-06-11 山东大学 基于零知识证明的智能合约认证数据隐私保护方法及系统
CN111373694A (zh) * 2020-02-21 2020-07-03 香港应用科技研究院有限公司 零知识证明硬件加速器及其方法
CN111433798A (zh) * 2020-02-03 2020-07-17 支付宝(杭州)信息技术有限公司 基于区块链的可信保函
CN111428268A (zh) * 2020-03-24 2020-07-17 山东大学 基于区块链的v2g交易隐私保护方法、设备及系统
CN111882743A (zh) * 2020-07-23 2020-11-03 浙江永旗区块链科技有限公司 匿名投票统计方法及系统
CN111950021A (zh) * 2020-07-31 2020-11-17 南京航空航天大学 一种智能合约的数据馈赠中隐私泄露问题的解决方法
CN111966976A (zh) * 2020-07-22 2020-11-20 复旦大学 一种基于零知识证明与区块链的匿名调查方法
WO2020098833A3 (en) * 2020-02-03 2020-11-26 Alipay (Hangzhou) Information Technology Co., Ltd. Blockchain-based trustable gurantees
CN112016114A (zh) * 2020-10-31 2020-12-01 腾讯科技（深圳）有限公司 基于加密货币的智能合约生成方法、相关设备及存储介质
CN112035889A (zh) * 2020-09-03 2020-12-04 平安壹钱包电子商务有限公司 计算外包的区块链隐私验证方法、装置及计算机设备
CN112118253A (zh) * 2020-09-16 2020-12-22 北方工业大学 一种基于区块链的云服务日志匿名系统及匿名方法
CN112347495A (zh) * 2020-11-15 2021-02-09 北京物资学院 一种基于区块链的可信隐私智能服务计算系统及方法
CN112436940A (zh) * 2021-01-27 2021-03-02 电子科技大学 一种基于零知识证明的物联网设备可信启动管理方法
CN112765268A (zh) * 2020-12-31 2021-05-07 杭州趣链科技有限公司 基于区块链的数据隐私保护方法、装置及设备
CN112989415A (zh) * 2021-03-23 2021-06-18 广东工业大学 一种基于区块链的隐私数据存储与访问控制方法及系统
CN113032800A (zh) * 2021-02-22 2021-06-25 北京航空航天大学 一种基于零知识证明的链上自动执行智能合约中间件系统
CN113393238A (zh) * 2021-06-16 2021-09-14 福建师范大学 一种保护隐私的智能合约模型及其实现方法
CN113411384A (zh) * 2021-06-10 2021-09-17 华中科技大学 针对物联网数据安全共享过程中隐私保护的系统及方法
CN113507373A (zh) * 2021-06-30 2021-10-15 北京优品三悦科技发展有限公司 一种基于隐私保护的身份认证数据建模方法、设备和系统
US11200570B2 (en) 2020-02-03 2021-12-14 Alipay (Hangzhou) Information Technology Co., Ltd. Blockchain-based trustable guarantees
US11201742B2 (en) 2020-02-03 2021-12-14 Alipay (Hangzhou) Information Technology Co., Ltd. Blockchain-based trustable guarantees
CN113794567A (zh) * 2021-09-13 2021-12-14 上海致居信息科技有限公司 一种sha256哈希算法零知识证明电路的合成加速方法及装置
US11212104B2 (en) 2020-02-03 2021-12-28 Alipay (Hangzhou) Information Technology Co., Ltd. Blockchain-based trustable guarantees
CN113890768A (zh) * 2021-11-22 2022-01-04 京东方科技集团股份有限公司 设备认证方法和系统、物联网设备和认证服务器
US11216807B2 (en) 2020-02-03 2022-01-04 Alipay (Hangzhou) Information Technology Co., Ltd. Blockchain-based trustable guarantees
CN114186248A (zh) * 2021-11-13 2022-03-15 云南财经大学 基于区块链智能合约的零知识证明可验证凭证数字身份管理系统及方法
CN115801288A (zh) * 2023-01-10 2023-03-14 南方科技大学 一种基于区块链和零知识证明的验证方法、系统及设备
CN115860750A (zh) * 2023-02-27 2023-03-28 国网江西省电力有限公司信息通信分公司 一种电动汽车电力交易身份认证隐私保护方法
WO2023207731A1 (en) * 2022-04-28 2023-11-02 Huawei Technologies Co., Ltd. Method of non-interactive zero-knowledge crowd verifiable digital contact tracing

Families Citing this family (24)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN111931209B (zh) * 2020-08-18 2024-03-22 金网络(北京)数字科技有限公司 基于零知识证明的合同信息验证方法及装置
CN112801659A (zh) * 2021-01-25 2021-05-14 矩阵元技术（深圳）有限公司 基于智能合约的隐私交易处理方法、装置及存储介质
CN113139204B (zh) * 2021-01-27 2022-09-30 东南数字经济发展研究院 一种利用零知识证明和洗牌算法的医疗数据隐私保护方法
CN112948789B (zh) * 2021-04-20 2023-03-28 北京优品三悦科技发展有限公司 身份认证方法及装置、存储介质及电子设备
CN113162938B (zh) * 2021-04-26 2023-10-10 电子科技大学 一种基于区块链的抗后门攻击的公共参数产生方法
CN113253975A (zh) * 2021-04-27 2021-08-13 西安电子科技大学 大数模幂运算的算法加速方法、系统、介质、设备及应用
CN117356070A (zh) * 2021-05-04 2024-01-05 瑞典爱立信有限公司 零知识证明私有交易认可
CN113326535B (zh) * 2021-06-01 2022-05-17 支付宝(杭州)信息技术有限公司 一种信息验证方法及装置
CN113515782B (zh) * 2021-06-18 2024-05-28 北京工业大学 一种基于区块链与零知识证明的个人轨迹证明方法
CN113469827B (zh) * 2021-07-23 2023-04-18 电子科技大学 一种基于混合智能合约的保险理赔装置及方法
CN113328863B (zh) * 2021-08-03 2021-11-02 北京电信易通信息技术股份有限公司 一种基于零知识证明的移动设备数据采集方法及系统
US11954226B2 (en) * 2021-08-17 2024-04-09 International Business Machines Corporation Verifiable privacy preserving computation
AU2022380388A1 (en) * 2021-11-05 2024-04-18 Pqcee Pte Ltd Method and system for protecting digital signatures
CN113783705A (zh) * 2021-11-12 2021-12-10 北京华云安信息技术有限公司 密钥的零知识证明方法、验证端、设备以及存储介质
CN114257381B (zh) * 2021-12-21 2023-11-21 四川启睿克科技有限公司 基于零知识证明的良品率计算方法
CN114374554A (zh) * 2021-12-30 2022-04-19 杭州趣链科技有限公司 区块链隐私保护方法、电子设备及计算机可读存储介质
CN114793228A (zh) * 2022-03-29 2022-07-26 上海万向区块链股份公司 基于零知识证明防止商户作恶的数据源筛选方法和系统
CN114760067B (zh) * 2022-03-30 2023-09-12 西安电子科技大学 一种用零知识证明的区块链群智感知系统隐私安全保护方法
CN114499900B (zh) * 2022-04-18 2022-07-12 杭州费尔斯通科技有限公司 基于零知识证明的区块链隐私数据共享方法
CN114938280A (zh) * 2022-05-24 2022-08-23 中国科学技术大学 一种基于非交互零知识证明与智能合约的认证方法及系统
CN115567214A (zh) * 2022-08-24 2023-01-03 深圳市沃享科技有限公司 智能合约的执行方法、装置、终端设备及计算机介质
CN115801285B (zh) * 2022-12-02 2023-07-21 北京国脉互联信息科技有限公司 基于零知识证明的政策申请方法、系统及计算机存储介质
CN116506845B (zh) * 2023-06-19 2023-09-15 暨南大学 一种隐私保护的车联网群智感知激励方法及系统
CN117240438B (zh) * 2023-11-10 2024-04-26 哈尔滨工业大学(深圳)(哈尔滨工业大学深圳科技创新研究院) 基于零知识证明的神经网络输出结果产权证明方法及装置

Family Cites Families (14)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8151333B2 (en) * 2008-11-24 2012-04-03 Microsoft Corporation Distributed single sign on technologies including privacy protection and proactive updating
US20120089494A1 (en) * 2010-10-08 2012-04-12 Microsoft Corporation Privacy-Preserving Metering
JP6041864B2 (ja) * 2011-04-29 2016-12-14 インターナショナル・ビジネス・マシーンズ・コーポレーションＩｎｔｅｒｎａｔｉｏｎａｌ Ｂｕｓｉｎｅｓｓ Ｍａｃｈｉｎｅｓ Ｃｏｒｐｏｒａｔｉｏｎ データの暗号化のための方法、コンピュータ・プログラム、および装置
FR3018378A1 (fr) * 2014-03-12 2015-09-11 Enrico Maim Systeme et procede transactionnels a architecture repartie fondees sur des transactions de transferts d'unites de compte entre adresses
US10841082B2 (en) * 2015-11-24 2020-11-17 Adi BEN-ARI System and method for blockchain smart contract data privacy
CN107274184A (zh) * 2017-05-11 2017-10-20 上海点融信息科技有限责任公司 基于零知识证明的区块链数据处理
CN108418783B (zh) * 2017-09-01 2021-03-19 矩阵元技术（深圳）有限公司 一种保护区块链智能合约隐私的方法、介质
CN107911216B (zh) * 2017-10-26 2020-07-14 矩阵元技术（深圳）有限公司 一种区块链交易隐私保护方法及系统
CN108418689B (zh) 2017-11-30 2020-07-10 矩阵元技术（深圳）有限公司 一种适合区块链隐私保护的零知识证明方法和介质
CN108389046B (zh) * 2018-02-07 2020-08-28 西安交通大学 一种电子商务中基于区块链技术的隐私保护交易方法
CN108898490A (zh) * 2018-06-25 2018-11-27 北京奇虎科技有限公司 智能合约的执行方法、节点、系统、电子设备及存储介质
US11032068B2 (en) * 2018-06-29 2021-06-08 International Business Machines Corporation Leakage-deterring encryption for message communication
CN109614820A (zh) 2018-12-06 2019-04-12 山东大学 基于零知识证明的智能合约认证数据隐私保护方法
SG11201906751YA (en) * 2018-12-21 2019-08-27 Alibaba Group Holding Ltd Blockchain data protection based on generic account model and homomorphic encryption

Cited By (47)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2020114240A1 (zh) * 2018-12-06 2020-06-11 山东大学 基于零知识证明的智能合约认证数据隐私保护方法及系统
US11411737B2 (en) 2018-12-06 2022-08-09 Shandong University Zero knowledge proof-based privacy protection method and system for authenticated data in smart contract
CN110311782A (zh) * 2019-04-29 2019-10-08 山东工商学院 个人信息的零知识证明方法、系统及存储介质
CN110321735A (zh) * 2019-04-29 2019-10-11 山东工商学院 基于零知识证明的业务办理方法、系统及存储介质
CN110311782B (zh) * 2019-04-29 2020-04-14 山东工商学院 个人信息的零知识证明方法、系统及存储介质
CN110489393A (zh) * 2019-07-08 2019-11-22 深圳壹账通智能科技有限公司 违约信息查询方法、装置、计算机设备和存储介质
CN111163069A (zh) * 2019-12-18 2020-05-15 内蒙古大学 一种基于区块链的物联网用户隐私保护方法
US11580539B2 (en) 2020-02-03 2023-02-14 Alipay (Hangzhou) Information Technology Co., Ltd. Blockchain-based trustable guarantees
US11138602B2 (en) 2020-02-03 2021-10-05 Alipay (Hangzhou) Information Technology Co., Ltd. Blockchain-based trustable guarantees
CN111433798A (zh) * 2020-02-03 2020-07-17 支付宝(杭州)信息技术有限公司 基于区块链的可信保函
WO2020098833A3 (en) * 2020-02-03 2020-11-26 Alipay (Hangzhou) Information Technology Co., Ltd. Blockchain-based trustable gurantees
US11216807B2 (en) 2020-02-03 2022-01-04 Alipay (Hangzhou) Information Technology Co., Ltd. Blockchain-based trustable guarantees
WO2020098838A3 (en) * 2020-02-03 2020-12-10 Alipay (Hangzhou) Information Technology Co., Ltd. Blockchain-based trustable gurantees
US11212104B2 (en) 2020-02-03 2021-12-28 Alipay (Hangzhou) Information Technology Co., Ltd. Blockchain-based trustable guarantees
US11201742B2 (en) 2020-02-03 2021-12-14 Alipay (Hangzhou) Information Technology Co., Ltd. Blockchain-based trustable guarantees
US11200570B2 (en) 2020-02-03 2021-12-14 Alipay (Hangzhou) Information Technology Co., Ltd. Blockchain-based trustable guarantees
US11182788B2 (en) 2020-02-03 2021-11-23 Alipay (Hangzhou) Information Technology Co., Ltd. Blockchain-based trustable guarantees
CN111373694B (zh) * 2020-02-21 2023-05-02 香港应用科技研究院有限公司 零知识证明硬件加速器及其方法
CN111373694A (zh) * 2020-02-21 2020-07-03 香港应用科技研究院有限公司 零知识证明硬件加速器及其方法
CN111428268A (zh) * 2020-03-24 2020-07-17 山东大学 基于区块链的v2g交易隐私保护方法、设备及系统
CN111966976A (zh) * 2020-07-22 2020-11-20 复旦大学 一种基于零知识证明与区块链的匿名调查方法
CN111882743A (zh) * 2020-07-23 2020-11-03 浙江永旗区块链科技有限公司 匿名投票统计方法及系统
CN111950021A (zh) * 2020-07-31 2020-11-17 南京航空航天大学 一种智能合约的数据馈赠中隐私泄露问题的解决方法
CN112035889B (zh) * 2020-09-03 2023-11-28 平安壹钱包电子商务有限公司 计算外包的区块链隐私验证方法、装置及计算机设备
CN112035889A (zh) * 2020-09-03 2020-12-04 平安壹钱包电子商务有限公司 计算外包的区块链隐私验证方法、装置及计算机设备
CN112118253A (zh) * 2020-09-16 2020-12-22 北方工业大学 一种基于区块链的云服务日志匿名系统及匿名方法
CN112016114B (zh) * 2020-10-31 2021-03-16 腾讯科技（深圳）有限公司 基于加密货币的智能合约生成方法、相关设备及存储介质
CN112016114A (zh) * 2020-10-31 2020-12-01 腾讯科技（深圳）有限公司 基于加密货币的智能合约生成方法、相关设备及存储介质
CN112347495A (zh) * 2020-11-15 2021-02-09 北京物资学院 一种基于区块链的可信隐私智能服务计算系统及方法
CN112765268A (zh) * 2020-12-31 2021-05-07 杭州趣链科技有限公司 基于区块链的数据隐私保护方法、装置及设备
CN112436940A (zh) * 2021-01-27 2021-03-02 电子科技大学 一种基于零知识证明的物联网设备可信启动管理方法
CN113032800A (zh) * 2021-02-22 2021-06-25 北京航空航天大学 一种基于零知识证明的链上自动执行智能合约中间件系统
CN112989415A (zh) * 2021-03-23 2021-06-18 广东工业大学 一种基于区块链的隐私数据存储与访问控制方法及系统
CN112989415B (zh) * 2021-03-23 2022-03-15 广东工业大学 一种基于区块链的隐私数据存储与访问控制方法及系统
CN113411384A (zh) * 2021-06-10 2021-09-17 华中科技大学 针对物联网数据安全共享过程中隐私保护的系统及方法
CN113393238B (zh) * 2021-06-16 2023-04-14 福建师范大学 一种保护隐私的智能合约模型及其实现方法
CN113393238A (zh) * 2021-06-16 2021-09-14 福建师范大学 一种保护隐私的智能合约模型及其实现方法
CN113507373A (zh) * 2021-06-30 2021-10-15 北京优品三悦科技发展有限公司 一种基于隐私保护的身份认证数据建模方法、设备和系统
CN113507373B (zh) * 2021-06-30 2023-05-26 北京优品三悦科技发展有限公司 一种基于隐私保护的身份认证数据建模方法、设备和系统
CN113794567A (zh) * 2021-09-13 2021-12-14 上海致居信息科技有限公司 一种sha256哈希算法零知识证明电路的合成加速方法及装置
CN113794567B (zh) * 2021-09-13 2024-04-05 上海致居信息科技有限公司 一种sha256哈希算法零知识证明电路的合成加速方法及装置
CN114186248A (zh) * 2021-11-13 2022-03-15 云南财经大学 基于区块链智能合约的零知识证明可验证凭证数字身份管理系统及方法
CN113890768A (zh) * 2021-11-22 2022-01-04 京东方科技集团股份有限公司 设备认证方法和系统、物联网设备和认证服务器
WO2023087895A1 (zh) * 2021-11-22 2023-05-25 京东方科技集团股份有限公司 设备认证方法和系统、物联网设备和认证服务器
WO2023207731A1 (en) * 2022-04-28 2023-11-02 Huawei Technologies Co., Ltd. Method of non-interactive zero-knowledge crowd verifiable digital contact tracing
CN115801288A (zh) * 2023-01-10 2023-03-14 南方科技大学 一种基于区块链和零知识证明的验证方法、系统及设备
CN115860750A (zh) * 2023-02-27 2023-03-28 国网江西省电力有限公司信息通信分公司 一种电动汽车电力交易身份认证隐私保护方法

Also Published As

Publication number Publication date
US11411737B2 (en) 2022-08-09
CN110781521A (zh) 2020-02-11
WO2020114240A1 (zh) 2020-06-11
CN110781521B (zh) 2021-03-30
US20210297255A1 (en) 2021-09-23

Similar Documents

Publication Publication Date Title
CN109614820A (zh) 基于零知识证明的智能合约认证数据隐私保护方法
JP7451797B2 (ja) 即時オフラインのブロックチェイントランザクションのセキュリティを高めるのに適しているコンピュータにより実装されるシステム及び方法
Dimitriou Efficient, coercion-free and universally verifiable blockchain-based voting
Brands A technical overview of digital credentials
CA3048425A1 (en) System and method for an electronic identity brokerage
JPH09500977A (ja) 制限付きブラインド署名
CN109889495B (zh) 基于多个非对称密钥池的抗量子计算电子印章方法和系统
CN113221089B (zh) 基于可验证声明的隐私保护属性认证系统及方法
Mambo et al. Unlinkable electronic coupon protocol with anonymity control
Takaragi et al. Secure revocation features in ekyc-privacy protection in central bank digital currency
CN112184245B (zh) 一种跨区块链的交易身份确认方法及装置
US7356842B2 (en) Cryptographic revocation method using a chip card
Li et al. Non-equivocation in blockchain: double-authentication-preventing signatures gone contractual
Kelkar et al. Complete knowledge: Preventing encumbrance of cryptographic secrets
CN108667619A (zh) 一种sm9数字签名的白盒实现方法与装置
Cramer et al. On electronic payment systems
Franklin et al. The blinding of weak signatures
He et al. AMLChain: Supporting Anti-money Laundering, Privacy-Preserving, Auditable Distributed Ledger
Luo et al. An e-cash Scheme with Multiple Denominations and Transferability
Sarencheh et al. PARScoin: A Privacy-preserving, Auditable, and Regulation-friendly Stablecoin
Turdimatov et al. PROSPECTS FOR USE OF ELECTRONIC SIGNATURE IN MANAGEMENT OF ELECTRONIC DOCUMENTS IN ENTERPRISES AND ORGANIZATIONS
Wu et al. Fair electronic voting via bitcoin deposits
CN115983851A (zh) 基于区块链访问可控的公开可链接自动计票方法、系统、介质和设备
JP2024073505A (ja) 即時オフラインのブロックチェイントランザクションのセキュリティを高めるのに適しているコンピュータにより実装されるシステム及び方法
JPH09128465A (ja) 信託機関付き電子現金方法

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
WD01 Invention patent application deemed withdrawn after publication

Application publication date: 20190412

WD01 Invention patent application deemed withdrawn after publication