Efficiency measurement system for zk-SNARK circuits internal representation

A software system for measuring the efficiency of zk-SNARK circuits internal representation has been developed. The system is designed to measure the parameters of zk-SNARK zero-knowledge proof circuits: the number of constraints in the rank 1 constraint systems (R1CS), the time of protocol initialization phase, the time of proof generation, and the lengths of the proving keys. The system allows zk-SNARK circuit developers to measure various parameters during the circuit coding phase and optimize constraint system representations. The developed software system can be used to measure the efficiency of arbitrary zk-SNARK circuits and determine their suitability for various applications.