snarkVM
snarkVM copied to clipboard
[WIP] Determines counts via synthesis
Motivation
This feature determines the number of constants, variables, constraints, and gates produced by a function by calculating the total after synthesis.