Zero knowledge proof circuit optimization method, device and equipment, and readable storage medium
A zero-knowledge proof and optimization method technology, which is applied in the field of devices, equipment and readable storage media, and zero-knowledge proof circuit optimization methods, can solve problems such as long program running time, low execution efficiency, and large storage space, and achieve shortened The effect of running time, reducing the number of constraints, and reducing storage space
Active Publication Date: 2019-02-22
WEBANK (CHINA)
View PDF5 Cites 5 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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
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] Such as 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] Such as 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 co...
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
Login to View More Abstract
The invention discloses a zero knowledge proof circuit optimization method, device and equipment, and a readable storage medium. The zero knowledge proof circuit optimization method comprises the following steps: obtaining a constraint set corresponding to a zero knowledge proof circuit according to an optimization instruction after detecting the optimization instruction to optimize the zero knowledge proof circuit; traversing each constraint in the constraint set according to a preset traversal manner, and determining a target constraint in which a constant term exists in the constraint input; constructing a disjoint set corresponding to the target constraint and deleting the target constraint in the constraint set, so as to obtain an optimized zero knowledge proof circuit. By means of the invention, the number of constraints in the constraint set corresponding to the zero knowledge proof circuit is reduced, and the storage space occupied by the zero knowledge proof circuit is reduced; and in the running process of a program corresponding to the zero knowledge proof circuit, the traversal efficiency of the constraints in the traversal constraint set is improved, the running time of the program corresponding to the zero knowledge proof circuit is shortened, and the execution efficiency of the program corresponding to the zero knowledge proof circuit is improved.
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
Login to View More IPC IPC(8): H04L9/32
CPCH04L9/3218
Inventor 石翔李辉忠张开翔范瑞斌
Owner WEBANK (CHINA)