fix: benchmark prover e2e test with proving#7175

Merged

jeanmon merged 9 commits intomasterfrom

jm/7143-debug-bench-prover-test

Jun 26, 2024

Commits on Jun 26, 2024

Add identifier to functions to map between simulator execution and

fcarreiro
authored and
jeanmon
committed
7143: debug info for side effect counters in AVM circuit
jeanmon
committed
7143: Enable debug logs in BB whenever the TS has debug log enabled
jeanmon
committed
7143: add the end side effect counter in external call hints and use it
jeanmon
committed
Adjust witness generation to satisfy kernel lookup
jeanmon
committed
Review comments and gcc fix
jeanmon
committed
Remove function name ID in nested calls
jeanmon
committed
7143: addressing review comments of David
jeanmon
committed
7143: log verification of AVM proof at info level
jeanmon
committed