Circuit-based data verification method and device and electronic device

A data verification and circuit technology, applied in the electronic field, can solve problems such as low data verification efficiency, large memory consumption, and long zero-knowledge proof process, and achieve the effects of reducing complexity, improving overall efficiency, and saving space

Active Publication Date: 2019-05-17
北京链化未来科技有限公司
View PDF5 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] The purpose of the embodiments of the present invention is to provide a circuit-based data verification method, device and electronic equipment to solve the problem of long process of zero-knowledge proof based on large-scale circuits, large memory consumption and low efficiency of data verification in the prior art. question

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Circuit-based data verification method and device and electronic device
  • Circuit-based data verification method and device and electronic device
  • Circuit-based data verification method and device and electronic device

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0076] like figure 1 As shown, the embodiment of the present invention provides a circuit-based data verification method. The execution body of the method may be a terminal device or a server, wherein the terminal device may be a personal computer or other mobile phone or a tablet computer. A terminal device, the terminal device may be a terminal device used by a user. The server can be an independent server, or a server cluster composed of multiple servers. The method specifically may include the following steps:

[0077] In step S102, the target circuit is split into multiple independent functional modules, and a certification key and a verification key for each functional module are generated.

[0078] Wherein, the target circuit may be any circuit that can be used for data verification, and the functional modules may be mutually independent modules after the target circuit is split according to a preset split rule. For the certification key and verification key, if the ...

Embodiment 2

[0095] like image 3 As shown, the embodiment of the present invention provides a circuit-based data verification method. The execution body of the method may be a terminal device or a server, wherein the terminal device may be a personal computer or other mobile phone or a tablet computer. A terminal device, the terminal device may be a terminal device used by a user. The server can be an independent server, or a server cluster composed of multiple servers. The method specifically may include the following steps:

[0096] In step S302, a plurality of mutually independent functional modules separated from the target circuit and a certification key of each functional module are received.

[0097] In step S304, the sub-output data, sub-input data and certification information of each functional module are obtained based on the target data, the functional modules and the certification key of each functional module, and the output data of the target circuit based on the target d...

Embodiment 3

[0104] like Figure 5 As shown, the embodiment of the present invention provides a circuit-based data verification method. The execution body of the method may be a terminal device or a server, wherein the terminal device may be a personal computer or other mobile phone or a tablet computer. A terminal device, the terminal device may be a terminal device used by a user. The server can be an independent server, or a server cluster composed of multiple servers. The method specifically may include the following steps:

[0105] In step S502, the verifier splits the target circuit into multiple independent functional modules, and generates a certification key and a verification key for each functional module.

[0106] For the specific processing process of the above S502, refer to the relevant content of S102 in the above Embodiment 1, and details are not repeated here.

[0107] In step S504, the verifier sends the function modules and the certification key of each function modu...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The embodiment of the invention discloses a circuit-based data verification method and device and an electronic device, and the method comprises the steps of splitting a target circuit into a plurality of mutually independent function modules, and generating a proving key and a verification key of each function module; sending the functional module and the proving key of each functional module toa proving party; receiving sub-output data, sub-input data and proof information of each functional module obtained by the proof party based on target data, the functional module and a proof key of each functional module, and output data of the target circuit based on the target data; verifying the sub-output data, the sub-input data and the proof information of each functional module according tothe verification key of each functional module, and verifying the output data to determine whether the proof party holds the target data or not. Through the method, the zero-knowledge proving processbased on the circuit can be shortened, and the verification efficiency is improved.

Description

technical field [0001] The invention relates to the field of electronic technology, in particular to a circuit-based data verification method, device and electronic equipment. Background technique [0002] With the continuous development of electronic technology, the circuits used by people are getting bigger and bigger, and the circuit structure is becoming more and more complex. The privacy issues based on large circuits have also attracted more attention. People combine zero-knowledge proofs with circuits. It is possible to convince the other party that it holds the secret data without revealing the secret data it holds. [0003] The zero-knowledge proof based on a large circuit means that the verifier generates a key pair for the entire circuit, and then sends the circuit and the key pair to the secret holder (that is, the prover), and the prover inputs the secret data into the circuit, The data and proof information are obtained through circuit calculation, and the pro...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F21/60G06F21/72
Inventor 王虎森
Owner 北京链化未来科技有限公司
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap