Is it possible to benchmark the proof generation and verification times at the level of individual constraints (e.g. hash verifications, signature verifications) in a circuit?

[praveensankar]

I have developed a ZKP circuit that includes signature checks and hash verifications. I would like to measure the time taken by individual constraints during proof creation and verification.

Similarly, is it possible to isolate common checks during witness generation and measure the time taken by circuit-specific parts when generating witnesses?

[ivokub]

Answered in Consensys/gnark#1680