search

AztecProtocol / aztec-packages

Apache License 2.0
189 stars 191 forks source link

Proving failure on bench_prover.test.ts (AuthRegistry:set_authorized) #7080

Closed fcarreiro closed 3 months ago

fcarreiro commented 4 months ago 
bb-prover AvmCircuit (prove) BB out - Executing BB with: avm_prove --avm-bytecode /tmp/bb-K0ACj2/tmp-p685Cn/avm_bytecode.bin --avm-calldata /tmp/bb-K0ACj2/tmp-p685Cn/avm_calldata.bin --avm-public-inputs /tmp/bb-K0ACj2/tmp-p685Cn/avm_public_inputs.bin --avm-hints /tmp/bb-K0ACj2/tmp-p685Cn/avm_hints.bin -o /tmp/bb-K0ACj2/tmp-p685Cn
bb-prover AvmCircuit (prove) BB out - Lookup PERM_MAIN_MEM_A failed.

Files are here: https://drive.google.com/file/d/1ec5RJkVGcfLnVoeLwUy13qbMXO7UBDJc/view?usp=sharing

jeanmon commented 3 months ago

According to this job: https://github.com/AztecProtocol/aztec-packages/actions/runs/9601965903/job/26486386419 The above failure was successfully solved. However, 2 avm_verify invocations are failing (but no proving).