Optimization method, device, equipment and readable storage medium of zero-knowledge proof circuit

A zero-knowledge proof and optimization method technology, applied in the field of devices, equipment and readable storage media, and optimization methods of zero-knowledge proof circuits, can solve the problems of long program running time, large storage space, low execution efficiency, etc.

Active Publication Date: 2021-04-30
WEBANK (CHINA)
View PDF5 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] The main purpose of the present invention is to provide an optimization method, device, equipment and readable storage medium of a zero-knowledge proof circuit, aiming at solving the problem that the existing zero-knowledge proof circuit occupies a large storage space and the zero-knowledge proof circuit corresponds to a program. Technical issues with long running times and inefficient execution

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
  • Optimization method, device, equipment and readable storage medium of zero-knowledge proof circuit
  • Optimization method, device, equipment and readable storage medium of zero-knowledge proof circuit
  • Optimization method, device, equipment and readable storage medium of zero-knowledge proof circuit

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0042] It should be understood that the specific embodiments described here are only used to explain the present invention, not to limit the present invention.

[0043] like figure 1 as shown, figure 1 It is a schematic structural diagram of the hardware operating environment involved in the solution of the embodiment of the present invention.

[0044] It should be noted, figure 1 It is a structural schematic diagram of the hardware operating environment of the optimized device for the zero-knowledge proof circuit. The optimization device of the zero-knowledge proof circuit in the embodiment of the present invention may be a terminal device such as a PC or a portable computer.

[0045] like figure 1As shown, the optimization device of the zero-knowledge proof circuit may include: a processor 1001 , such as a CPU, a user interface 1003 , a network interface 1004 , a memory 1005 , and a communication bus 1002 . Wherein, the communication bus 1002 is used to realize connecti...

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 invention discloses an optimization method, device, equipment and readable storage medium of a zero-knowledge proof circuit. The method comprises the steps of: after detecting an optimization instruction for optimizing a zero-knowledge proof circuit, obtaining a zero-knowledge proof circuit according to the optimization instruction The corresponding constraint set; traverse each constraint in the constraint set according to the preset traversal method, and determine the target constraint with a constant item in the constraint input; construct the union search set corresponding to the target constraint, and delete the target constraint in the constraint set to obtain optimization The following zero-knowledge proof circuit. The invention reduces the number of constraints in the constraint set corresponding to the zero-knowledge proof circuit, reduces the storage space occupied by the zero-knowledge proof circuit, and improves the traversal efficiency of constraints in the traversal constraint set during the running process of the program corresponding to the zero-knowledge proof circuit , shorten the running time of the program corresponding to the zero-knowledge proof circuit, and improve the execution efficiency of the program corresponding to the zero-knowledge proof circuit.

Description

technical field [0001] The invention relates to the technical field of cryptography, in particular to an optimization method, device, equipment and a readable storage medium of a zero-knowledge proof circuit. Background technique [0002] Zero-knowledge proof is a cryptographic proof idea. The prover and the verifier negotiate a rule. In this rule, the prover provides a string of ciphertexts to the verifier without revealing its own private evidence. , the verifier can believe that the prover has the corresponding private evidence by verifying the ciphertext, but the verifier cannot know the content of the private evidence. The introduction of zero-knowledge proof technology has effectively improved the privacy of data on the blockchain. However, due to the complexity of the implementation of zero-knowledge proof, the current landing solution ZCash only stays at the usable stage without considering performance and ease of use. usability. In the practical application of zer...

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 Patents(China)
IPC IPC(8): H04L9/32
CPCH04L9/3218
Inventor 石翔李辉忠张开翔范瑞彬
Owner WEBANK (CHINA)
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