facebook / winterfell

A STARK prover and verifier for arbitrary computations
MIT License
773 stars 176 forks source link

Add instrumentation #321

Closed Al-Kindi-0 closed 1 week ago

Al-Kindi-0 commented 1 week ago

Looks good! Thank you! Should we also add instrumentation to method like evaluate_main_transition(), evaluate_aux_transistion(), evaluate_lagranage_transition() (e.g., here).

That would log the function each time it is called, which is not what we want. Probably there is a better way to get the overall time instead.