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

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...

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

Images