Repository navigation

fix: benchmark prover e2e test with proving - #7175

Merged

jeanmon merged 9 commits into

jm/7143-debug-bench-prover-test

Jun 26, 2024

Merged

fix: benchmark prover e2e test with proving#7175
jeanmon merged 9 commits into
masterfrom
jm/7143-debug-bench-prover-test

Commits on Jun 26, 2024
- Add identifier to functions to map between simulator execution and
  
  fcarreiro
  authored and
  jeanmon
  committed
  31a17d1
- 7143: debug info for side effect counters in AVM circuit
  jeanmon
  committed
  e0126a5
- 7143: Enable debug logs in BB whenever the TS has debug log enabled
  jeanmon
  committed
  5e8b148
- 7143: add the end side effect counter in external call hints and use it
  jeanmon
  committed
  d2f457a
- Adjust witness generation to satisfy kernel lookup
  jeanmon
  committed
  c2284cf
- Review comments and gcc fix
  jeanmon
  committed
  3713f47
- Remove function name ID in nested calls
  jeanmon
  committed
  40aabc3
- 7143: addressing review comments of David
  jeanmon
  committed
  5a5885f
- 7143: log verification of AVM proof at info level
  jeanmon
  committed
  ef60573