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

Abstract

The invention provides a zero-knowledge proof circuit optimization method and device, terminal equipment and a storage medium. The method comprises the following steps: constructing an abstract syntax tree of an initial zero-knowledge proof circuit; optimizing an initial circuit constraint of the initial zero-knowledge proof circuit according to the abstract syntax tree; and carrying out association classification on the optimized initial circuit constraints to obtain circuit constraints of different classifications of the zero-knowledge proof circuit, and running the circuit constraints of different classifications in parallel in the zero-knowledge proof circuit. According to the zero-knowledge proof circuit optimization method provided by the invention, original circuit constraints in the zero-knowledge proof circuit can be optimized, some unnecessary circuit constraints in the zero-knowledge proof circuit are eliminated, and the possibility of circuit constraint errors is reduced. Meanwhile, the optimized circuit constraints are correspondingly associated, so that the associated circuit constraints have context relevance, and the operation efficiency is improved.

Description

technical field [0001] The present application relates to the technical field of cryptography, in particular to a zero-knowledge proof circuit optimization method, device, terminal equipment and storage medium. Background technique [0002] Zero-knowledge proof means that the prover can convince the verifier that a certain assertion is correct without providing any useful information to the verifier. Prior to this, the focus of research on proof in the field of cryptography was to improve the reliability of the system, that is, to prevent malicious provers from passing the verification. Zero-knowledge proof also adds a restriction on this basis, that is, to ensure that the private information of the prover will not be disclosed during the verification process. This requirement can be seen everywhere in actual scenarios. For example, people do not want to disclose transaction-related information to outsiders or even transfer objects during the transfer process, and they do n...

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