Is it possible to benchmark ZKP 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]

Measuring the proving/solving time itself for parts of circuits is not possible. However we have a profiling tool which gives the constraint counts for particular parts of the circuit. See https://pkg.go.dev/github.com/consensys/gnark@v0.14.0/profile.

This should give a good estimate how much some parts take. Take note however that as we do some deferred circuit definition (lookup tables, range checks etc), then currently the profile doesn't give exact readings. This issue is being resolved in #1679