Zero-knowledge proof circuit optimization method, device, terminal equipment and storage medium

Abstract

The present application provides a zero-knowledge proof circuit optimization method, device, terminal equipment, and storage medium, the method including: constructing an abstract syntax tree of an initial zero-knowledge proof circuit; optimizing the initial circuit constraints of an initial zero-knowledge proof circuit according to the abstract syntax tree ; The optimized initial circuit constraints are correlated and classified to obtain circuit constraints of different classifications of the zero-knowledge proof circuit, and the circuit constraints of different classifications are run in parallel in the zero-knowledge proof circuit. The zero-knowledge proof circuit optimization method provided by this application can optimize the original circuit constraints in the zero-knowledge proof circuit, eliminate some unnecessary circuit constraints in the zero-knowledge proof circuit, and reduce the possibility of circuit constraint errors. At the same time, corresponding association is made to the optimized circuit constraints, so that the associated circuit constraints have context relevance, and the operating efficiency is improved.

Description

Technical field [0001] The present application relates to the field of cryptographic technology, and more particularly to a zero knowledge certificate circuit optimization method, device, terminal device, and storage medium. Background technique [0002] Zero Knowledge Proof refers to the proven that the verifier believes that an argument is correct without providing any useful information to the verifier. Previously, the proven research focused on the proven to increase the reliability of the system, ie the malicious demonstrations from being verified. Zero Knowledge Proved to increase a limit on this, that is, guarantees that privacy information in the verification process will not be revealed. This requirement can be seen everywhere in the actual scene, for example, people do not want to be related to outsiders or even transfer objects during the transfer process, and do not want to expose their passwords to the server when they log in to the system. Zero knowledge proves to p...

AI Technical Summary

Problems solved by technology

Therefore, it is inevitable that there will be problems with the circuit constraints under a given combination, that is, there may be risks of redundancy and errors in a given circuit constraint

At the same time, when the existing circuit constraints are optimized to a certain extent, it is easy to lead to poor correlation of the optimized circuit constraints and low execution efficiency.

Images