Parent Log:
http://ci.aztec-labs.com/01ea3c608a11423c
Command: cabaa9e2c1fe7937:ISOLATE=1:NAME=prover-client/src/test/bb_prover_parity.test.ts:CPUS=16:MEM=96g LOG_LEVEL=verbose yarn-project/scripts/run_test.sh prover-client/src/test/bb_prover_parity.test.ts
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/88a99fb5fb938035dfeff0d9ed0cfd81b9eb2c5a
Env: REF_NAME=gh-readonly-queue/next/pr-15146-91b55c58278a7d091339ac513d633fa070d5276b CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Thu Jun 19 15:59:22 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15146_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
15:59:22 +++ id -u
15:59:22 +++ id -g
15:59:22 ++ docker run -d --name prover-client_src_test_bb_prover_parity.test.ts --net=none --cpuset-cpus=0-127 --cpus=16 --memory=96g --user 1000:1000 -v/home/aztec-dev:/home/aztec-dev --mount type=tmpfs,target=/tmp,tmpfs-size=1g --workdir /home/aztec-dev/aztec-packages -e HOME -e VERBOSE -e GIT_CONFIG_GLOBAL=/home/aztec-dev/aztec-packages/build-images/src/home/.gitconfig -e FORCE_COLOR=true -e CPUS -e MEM aztecprotocol/build:3.0 /bin/bash -c 'timeout -v 600s bash -c '\''LOG_LEVEL=verbose yarn-project/scripts/run_test.sh prover-client/src/test/bb_prover_parity.test.ts'\'''
15:59:22 + cid=6e86199fbc655734ce3b5fe7aa760d9319e725408509f60ff107ccd195a79562
15:59:22 + set +x
15:59:24 {"level":25,"time":1750348764602,"pid":7,"hostname":"6e86199fbc65","module":"logger","msg":"Logger initialized with level verbose"}
15:59:34 [15:59:34.342]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-bTu9ml/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
15:59:34 [15:59:34.430]
INFO:
prover-client:test:bb-prover-parity Found native BB binary at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb with working directory /tmp/3ae14c23/bb
15:59:34 [15:59:34.438]
INFO:
prover-client:test:bb-prover-parity Found native ACVM binary at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm with working directory /tmp/3ae14c23/acvm
15:59:34 [15:59:34.447]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/3ae14c23/bb
15:59:34 [15:59:34.448]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/3ae14c23/acvm
15:59:34 [15:59:34.454]
INFO:
prover-client:proving-broker Proving Broker started
15:59:34 [15:59:34.457]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
15:59:34 [15:59:34.695]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":80.38171899999907,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:59:34 [15:59:34.720]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":100.93381099999897,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:59:34 [15:59:34.739]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":61.15989500000069,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:59:34 [15:59:34.743]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:59:34 [15:59:34.744]
INFO:
bb-prover BaseParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/3ae14c23/bb/tmp-bxCHnN -b /tmp/3ae14c23/bb/tmp-bxCHnN/BaseParityArtifact-bytecode -w /tmp/3ae14c23/bb/tmp-bxCHnN/partial-witness.gz -v --init_kzg_accumulator -v
15:59:34 [15:59:34.781]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:59:34 [15:59:34.782]
INFO:
bb-prover BaseParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/3ae14c23/bb/tmp-2edMV8 -b /tmp/3ae14c23/bb/tmp-2edMV8/BaseParityArtifact-bytecode -w /tmp/3ae14c23/bb/tmp-2edMV8/partial-witness.gz -v --init_kzg_accumulator -v
15:59:34 [15:59:34.812]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.80 MiB)
15:59:34 Scheme is: ultra_honk, num threads: 128 (mem: 251.80 MiB)
15:59:34 --scheme: ultra_honk (mem: 251.80 MiB)
15:59:34 --bytecode_path: /tmp/3ae14c23/bb/tmp-bxCHnN/BaseParityArtifact-bytecode (mem: 251.80 MiB)
15:59:34 --witness_path: /tmp/3ae14c23/bb/tmp-bxCHnN/partial-witness.gz (mem: 251.80 MiB)
15:59:34 --output_path: /tmp/3ae14c23/bb/tmp-bxCHnN (mem: 251.80 MiB)
15:59:34 Warning: the following option is called more than once (mem: 251.80 MiB)
15:59:34 --verbose: true (mem: 251.80 MiB)
15:59:34 --oracle_hash: poseidon2 (mem: 251.80 MiB)
15:59:34 --output_format: bytes_and_fields (mem: 251.80 MiB)
15:59:34 --write_vk: true (mem: 251.80 MiB)
15:59:34 --disable_zk: true (mem: 251.80 MiB)
15:59:34 --init_kzg_accumulator: true (mem: 251.80 MiB)
15:59:34 [15:59:34.813]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:59:34 [15:59:34.814]
INFO:
bb-prover BaseParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/3ae14c23/bb/tmp-hFouTI -b /tmp/3ae14c23/bb/tmp-hFouTI/BaseParityArtifact-bytecode -w /tmp/3ae14c23/bb/tmp-hFouTI/partial-witness.gz -v --init_kzg_accumulator -v
15:59:34 [15:59:34.848]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":82.25316100000055,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:59:34 [15:59:34.849]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.80 MiB)
15:59:34 Scheme is: ultra_honk, num threads: 128 (mem: 251.80 MiB)
15:59:34 --scheme: ultra_honk (mem: 251.80 MiB)
15:59:34 --bytecode_path: /tmp/3ae14c23/bb/tmp-2edMV8/BaseParityArtifact-bytecode (mem: 251.80 MiB)
15:59:34 --witness_path: /tmp/3ae14c23/bb/tmp-2edMV8/partial-witness.gz (mem: 251.80 MiB)
15:59:34 --output_path: /tmp/3ae14c23/bb/tmp-2edMV8 (mem: 251.80 MiB)
15:59:34 Warning: the following option is called more than once (mem: 251.80 MiB)
15:59:34 --verbose: true (mem: 251.80 MiB)
15:59:34 --oracle_hash: poseidon2 (mem: 251.80 MiB)
15:59:34 --output_format: bytes_and_fields (mem: 251.80 MiB)
15:59:34 --write_vk: true (mem: 251.80 MiB)
15:59:34 --disable_zk: true (mem: 251.80 MiB)
15:59:34 --init_kzg_accumulator: true (mem: 251.80 MiB)
15:59:34 [15:59:34.850]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.81 MiB)
15:59:34 Scheme is: ultra_honk, num threads: 128 (mem: 251.81 MiB)
15:59:34 --scheme: ultra_honk (mem: 251.81 MiB)
15:59:34 --bytecode_path: /tmp/3ae14c23/bb/tmp-hFouTI/BaseParityArtifact-bytecode (mem: 251.81 MiB)
15:59:34 --witness_path: /tmp/3ae14c23/bb/tmp-hFouTI/partial-witness.gz (mem: 251.81 MiB)
15:59:34 --output_path: /tmp/3ae14c23/bb/tmp-hFouTI (mem: 251.81 MiB)
15:59:34 Warning: the following option is called more than once (mem: 251.81 MiB)
15:59:34 --verbose: true (mem: 251.81 MiB)
15:59:34 --oracle_hash: poseidon2 (mem: 251.81 MiB)
15:59:34 --output_format: bytes_and_fields (mem: 251.81 MiB)
15:59:34 --write_vk: true (mem: 251.81 MiB)
15:59:34 --disable_zk: true (mem: 251.81 MiB)
15:59:34 --init_kzg_accumulator: true (mem: 251.81 MiB)
15:59:34 [15:59:34.851]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:59:34 [15:59:34.852]
INFO:
bb-prover BaseParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/3ae14c23/bb/tmp-lHl8sB -b /tmp/3ae14c23/bb/tmp-lHl8sB/BaseParityArtifact-bytecode -w /tmp/3ae14c23/bb/tmp-lHl8sB/partial-witness.gz -v --init_kzg_accumulator -v
15:59:34 [15:59:34.898]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.85 MiB)
15:59:34 Scheme is: ultra_honk, num threads: 128 (mem: 251.85 MiB)
15:59:34 --scheme: ultra_honk (mem: 251.85 MiB)
15:59:34 --bytecode_path: /tmp/3ae14c23/bb/tmp-lHl8sB/BaseParityArtifact-bytecode (mem: 251.85 MiB)
15:59:34 --witness_path: /tmp/3ae14c23/bb/tmp-lHl8sB/partial-witness.gz (mem: 251.85 MiB)
15:59:34 --output_path: /tmp/3ae14c23/bb/tmp-lHl8sB (mem: 251.85 MiB)
15:59:34 Warning: the following option is called more than once (mem: 251.85 MiB)
15:59:34 --verbose: true (mem: 251.85 MiB)
15:59:34 --oracle_hash: poseidon2 (mem: 251.85 MiB)
15:59:34 --output_format: bytes_and_fields (mem: 251.85 MiB)
15:59:34 --write_vk: true (mem: 251.85 MiB)
15:59:34 --disable_zk: true (mem: 251.85 MiB)
15:59:34 --init_kzg_accumulator: true (mem: 251.85 MiB)
15:59:34 [15:59:34.961]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.80 MiB)
15:59:34 [15:59:34.962]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.80 MiB)
15:59:34 [15:59:34.965]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.80 MiB)
15:59:34 [15:59:34.996]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.80 MiB)
15:59:34 Constructing DeciderProvingKey (mem: 251.80 MiB)
15:59:35 [15:59:35.002]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.81 MiB)
15:59:35 [15:59:35.003]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.81 MiB)
15:59:35 [15:59:35.004]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.80 MiB)
15:59:35 [15:59:35.006]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.81 MiB)
15:59:35 [15:59:35.033]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.85 MiB)
15:59:35 [15:59:35.035]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.85 MiB)
15:59:35 [15:59:35.038]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.85 MiB)
15:59:35 [15:59:35.149]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.80 MiB)
15:59:35 [15:59:35.183]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.85 MiB)
15:59:35 [15:59:35.202]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.81 MiB)
15:59:35 [15:59:35.204]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.80 MiB)
15:59:35 [15:59:35.229]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 266 ms. (mem: 251.80 MiB)
15:59:35 [15:59:35.239]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.80 MiB)
15:59:35 [15:59:35.241]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 206 ms. (mem: 251.85 MiB)
15:59:35 [15:59:35.254]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.85 MiB)
15:59:35 [15:59:35.255]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.80 MiB)
15:59:35 [15:59:35.256]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.85 MiB)
15:59:35 [15:59:35.280]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.85 MiB)
15:59:35 [15:59:35.291]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.80 MiB)
15:59:35 [15:59:35.334]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 337 ms. (mem: 251.80 MiB)
15:59:35 [15:59:35.343]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.80 MiB)
15:59:35 [15:59:35.346]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.80 MiB)
15:59:35 [15:59:35.360]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 357 ms. (mem: 251.81 MiB)
15:59:35 [15:59:35.370]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.81 MiB)
15:59:35 [15:59:35.374]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.81 MiB)
15:59:35 [15:59:35.383]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.80 MiB)
15:59:35 [15:59:35.418]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.81 MiB)
15:59:35 [15:59:35.900]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.85 MiB)
15:59:35 [15:59:35.912]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.80 MiB)
15:59:36 [15:59:36.093]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.80 MiB)
15:59:36 [15:59:36.136]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.81 MiB)
15:59:36 [15:59:36.439]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.85 MiB)
15:59:36 [15:59:36.515]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.80 MiB)
15:59:36 [15:59:36.642]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.80 MiB)
15:59:36 [15:59:36.708]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.81 MiB)
15:59:36 [15:59:36.739]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 263.00 MiB)
15:59:36 [15:59:36.827]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 261.88 MiB)
15:59:36 [15:59:36.886]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 258.71 MiB)
15:59:36 [15:59:36.974]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 264.00 MiB)
15:59:36 [15:59:36.977]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 264.41 MiB)
15:59:37 [15:59:37.051]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 261.88 MiB)
15:59:37 [15:59:37.086]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 258.71 MiB)
15:59:37 [15:59:37.163]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 264.41 MiB)
15:59:37 [15:59:37.935]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 258.71 MiB)
15:59:37 [15:59:37.986]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 258.71 MiB)
15:59:37 [15:59:37.990]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 258.71 MiB)
15:59:37 [15:59:37.994]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/3ae14c23/bb/tmp-bxCHnN/public_inputs" (mem: 258.71 MiB)
15:59:37 Public inputs fields saved to "/tmp/3ae14c23/bb/tmp-bxCHnN/public_inputs_fields.json" (mem: 258.71 MiB)
15:59:37 Proof saved to "/tmp/3ae14c23/bb/tmp-bxCHnN/proof" (mem: 258.71 MiB)
15:59:37 Proof fields saved to "/tmp/3ae14c23/bb/tmp-bxCHnN/proof_fields.json" (mem: 258.71 MiB)
15:59:37 VK saved to "/tmp/3ae14c23/bb/tmp-bxCHnN/vk" (mem: 258.71 MiB)
15:59:37 VK fields saved to "/tmp/3ae14c23/bb/tmp-bxCHnN/vk_fields.json" (mem: 258.71 MiB)
15:59:37 [15:59:37.998]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 264.00 MiB)
15:59:38 [15:59:38.023]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 264.00 MiB)
15:59:38 finished decider proving. (mem: 264.00 MiB)
15:59:38 [15:59:38.035]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/3ae14c23/bb/tmp-2edMV8/public_inputs" (mem: 264.00 MiB)
15:59:38 Public inputs fields saved to "/tmp/3ae14c23/bb/tmp-2edMV8/public_inputs_fields.json" (mem: 264.00 MiB)
15:59:38 Proof saved to "/tmp/3ae14c23/bb/tmp-2edMV8/proof" (mem: 264.00 MiB)
15:59:38 Proof fields saved to "/tmp/3ae14c23/bb/tmp-2edMV8/proof_fields.json" (mem: 264.00 MiB)
15:59:38 VK saved to "/tmp/3ae14c23/bb/tmp-2edMV8/vk" (mem: 264.00 MiB)
15:59:38 VK fields saved to "/tmp/3ae14c23/bb/tmp-2edMV8/vk_fields.json" (mem: 264.00 MiB)
15:59:38 [15:59:38.065]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3300 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3299.3128269999997,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:59:38 [15:59:38.093]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 261.88 MiB)
15:59:38 [15:59:38.101]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3305 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3304.326115,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:59:38 [15:59:38.145]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:59:38 [15:59:38.153]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3ae14c23/bb/tmp-RNw2SJ/proof -k /tmp/3ae14c23/bb/tmp-RNw2SJ/vk -i /tmp/3ae14c23/bb/tmp-RNw2SJ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:59:38 [15:59:38.210]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 264.41 MiB)
15:59:38 computed opening proof (mem: 264.41 MiB)
15:59:38 finished decider proving. (mem: 264.41 MiB)
15:59:38 [15:59:38.217]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 261.88 MiB)
15:59:38 finished decider proving. (mem: 261.88 MiB)
15:59:38 Public inputs saved to "/tmp/3ae14c23/bb/tmp-lHl8sB/public_inputs" (mem: 261.88 MiB)
15:59:38 Public inputs fields saved to "/tmp/3ae14c23/bb/tmp-lHl8sB/public_inputs_fields.json" (mem: 261.88 MiB)
15:59:38 Proof saved to "/tmp/3ae14c23/bb/tmp-lHl8sB/proof" (mem: 261.88 MiB)
15:59:38 Proof fields saved to "/tmp/3ae14c23/bb/tmp-lHl8sB/proof_fields.json" (mem: 261.88 MiB)
15:59:38 VK saved to "/tmp/3ae14c23/bb/tmp-lHl8sB/vk" (mem: 261.88 MiB)
15:59:38 VK fields saved to "/tmp/3ae14c23/bb/tmp-lHl8sB/vk_fields.json" (mem: 261.88 MiB)
15:59:38 [15:59:38.223]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/3ae14c23/bb/tmp-hFouTI/public_inputs" (mem: 264.41 MiB)
15:59:38 Public inputs fields saved to "/tmp/3ae14c23/bb/tmp-hFouTI/public_inputs_fields.json" (mem: 264.41 MiB)
15:59:38 Proof saved to "/tmp/3ae14c23/bb/tmp-hFouTI/proof" (mem: 264.41 MiB)
15:59:38 Proof fields saved to "/tmp/3ae14c23/bb/tmp-hFouTI/proof_fields.json" (mem: 264.41 MiB)
15:59:38 VK saved to "/tmp/3ae14c23/bb/tmp-hFouTI/vk" (mem: 264.41 MiB)
15:59:38 VK fields saved to "/tmp/3ae14c23/bb/tmp-hFouTI/vk_fields.json" (mem: 264.41 MiB)
15:59:38 [15:59:38.224]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.86 MiB)
15:59:38 Scheme is: ultra_honk, num threads: 128 (mem: 251.86 MiB)
15:59:38 --public_inputs_path: /tmp/3ae14c23/bb/tmp-RNw2SJ/public_inputs (mem: 251.86 MiB)
15:59:38 --proof_path: /tmp/3ae14c23/bb/tmp-RNw2SJ/proof (mem: 251.86 MiB)
15:59:38 --vk_path: /tmp/3ae14c23/bb/tmp-RNw2SJ/vk (mem: 251.86 MiB)
15:59:38 --verbose: true (mem: 251.86 MiB)
15:59:38 --scheme: ultra_honk (mem: 251.86 MiB)
15:59:38 --oracle_hash: poseidon2 (mem: 251.86 MiB)
15:59:38 --disable_zk: true (mem: 251.86 MiB)
15:59:38 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.86 MiB)
15:59:38 [15:59:38.226]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:59:38 [15:59:38.227]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3ae14c23/bb/tmp-QeCnUM/proof -k /tmp/3ae14c23/bb/tmp-QeCnUM/vk -i /tmp/3ae14c23/bb/tmp-QeCnUM/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:59:38 [15:59:38.258]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.86 MiB)
15:59:38 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.86 MiB)
15:59:38 sumcheck_verified: 1 (mem: 251.86 MiB)
15:59:38 libra_evals_verified: 1 (mem: 251.86 MiB)
15:59:38 pairing_check_verified: 1 (mem: 251.86 MiB)
15:59:38 Proof verified successfully (mem: 251.86 MiB)
15:59:38 verified: 1 (mem: 251.86 MiB)
15:59:38 [15:59:38.261]
INFO:
bb-prover Successfully verified proof from key in 116.091824000001 ms
15:59:38 [15:59:38.265]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3374 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3373.5390449999995,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:59:38 [15:59:38.266]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.99 MiB)
15:59:38 Scheme is: ultra_honk, num threads: 128 (mem: 250.99 MiB)
15:59:38 --public_inputs_path: /tmp/3ae14c23/bb/tmp-QeCnUM/public_inputs (mem: 250.99 MiB)
15:59:38 --proof_path: /tmp/3ae14c23/bb/tmp-QeCnUM/proof (mem: 250.99 MiB)
15:59:38 --vk_path: /tmp/3ae14c23/bb/tmp-QeCnUM/vk (mem: 250.99 MiB)
15:59:38 --verbose: true (mem: 250.99 MiB)
15:59:38 --scheme: ultra_honk (mem: 250.99 MiB)
15:59:38 --oracle_hash: poseidon2 (mem: 250.99 MiB)
15:59:38 --disable_zk: true (mem: 250.99 MiB)
15:59:38 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.99 MiB)
15:59:38 [15:59:38.270]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3446 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3445.775471000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:59:38 [15:59:38.275]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:59:38 [15:59:38.275]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3ae14c23/bb/tmp-M3bvGL/proof -k /tmp/3ae14c23/bb/tmp-M3bvGL/vk -i /tmp/3ae14c23/bb/tmp-M3bvGL/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:59:38 [15:59:38.306]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.99 MiB)
15:59:38 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.99 MiB)
15:59:38 sumcheck_verified: 1 (mem: 250.99 MiB)
15:59:38 libra_evals_verified: 1 (mem: 250.99 MiB)
15:59:38 pairing_check_verified: 1 (mem: 250.99 MiB)
15:59:38 Proof verified successfully (mem: 250.99 MiB)
15:59:38 verified: 1 (mem: 250.99 MiB)
15:59:38 [15:59:38.307]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.96 MiB)
15:59:38 Scheme is: ultra_honk, num threads: 128 (mem: 251.96 MiB)
15:59:38 --public_inputs_path: /tmp/3ae14c23/bb/tmp-M3bvGL/public_inputs (mem: 251.96 MiB)
15:59:38 --proof_path: /tmp/3ae14c23/bb/tmp-M3bvGL/proof (mem: 251.96 MiB)
15:59:38 --vk_path: /tmp/3ae14c23/bb/tmp-M3bvGL/vk (mem: 251.96 MiB)
15:59:38 --verbose: true (mem: 251.96 MiB)
15:59:38 --scheme: ultra_honk (mem: 251.96 MiB)
15:59:38 --oracle_hash: poseidon2 (mem: 251.96 MiB)
15:59:38 --disable_zk: true (mem: 251.96 MiB)
15:59:38 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.96 MiB)
15:59:38 [15:59:38.308]
INFO:
bb-prover Successfully verified proof from key in 81.5445039999995 ms
15:59:38 [15:59:38.308]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:59:38 [15:59:38.308]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3ae14c23/bb/tmp-uMfvKe/proof -k /tmp/3ae14c23/bb/tmp-uMfvKe/vk -i /tmp/3ae14c23/bb/tmp-uMfvKe/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:59:38 [15:59:38.335]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.96 MiB)
15:59:38 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.96 MiB)
15:59:38 sumcheck_verified: 1 (mem: 251.96 MiB)
15:59:38 libra_evals_verified: 1 (mem: 251.96 MiB)
15:59:38 pairing_check_verified: 1 (mem: 251.96 MiB)
15:59:38 Proof verified successfully (mem: 251.96 MiB)
15:59:38 verified: 1 (mem: 251.96 MiB)
15:59:38 [15:59:38.336]
INFO:
bb-prover Successfully verified proof from key in 61.21685900000011 ms
15:59:38 [15:59:38.337]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.96 MiB)
15:59:38 Scheme is: ultra_honk, num threads: 128 (mem: 251.96 MiB)
15:59:38 --public_inputs_path: /tmp/3ae14c23/bb/tmp-uMfvKe/public_inputs (mem: 251.96 MiB)
15:59:38 --proof_path: /tmp/3ae14c23/bb/tmp-uMfvKe/proof (mem: 251.96 MiB)
15:59:38 --vk_path: /tmp/3ae14c23/bb/tmp-uMfvKe/vk (mem: 251.96 MiB)
15:59:38 --verbose: true (mem: 251.96 MiB)
15:59:38 --scheme: ultra_honk (mem: 251.96 MiB)
15:59:38 --oracle_hash: poseidon2 (mem: 251.96 MiB)
15:59:38 --disable_zk: true (mem: 251.96 MiB)
15:59:38 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.96 MiB)
15:59:38 [15:59:38.350]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.96 MiB)
15:59:38 [15:59:38.351]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.96 MiB)
15:59:38 [15:59:38.351]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.96 MiB)
15:59:38 libra_evals_verified: 1 (mem: 251.96 MiB)
15:59:38 pairing_check_verified: 1 (mem: 251.96 MiB)
15:59:38 Proof verified successfully (mem: 251.96 MiB)
15:59:38 [15:59:38.352]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 251.96 MiB)
15:59:38 [15:59:38.353]
INFO:
bb-prover Successfully verified proof from key in 45.03878299999997 ms
15:59:38 [15:59:38.370]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:59:38 [15:59:38.370]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3ae14c23/bb/tmp-Fbhyfv/proof -k /tmp/3ae14c23/bb/tmp-Fbhyfv/vk -i /tmp/3ae14c23/bb/tmp-Fbhyfv/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:59:38 [15:59:38.396]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:59:38 [15:59:38.396]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3ae14c23/bb/tmp-tlV68Q/proof -k /tmp/3ae14c23/bb/tmp-tlV68Q/vk -i /tmp/3ae14c23/bb/tmp-tlV68Q/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:59:38 [15:59:38.424]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:59:38 [15:59:38.427]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3ae14c23/bb/tmp-O1dADM/proof -k /tmp/3ae14c23/bb/tmp-O1dADM/vk -i /tmp/3ae14c23/bb/tmp-O1dADM/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:59:38 [15:59:38.448]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:59:38 [15:59:38.448]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3ae14c23/bb/tmp-RzzGt0/proof -k /tmp/3ae14c23/bb/tmp-RzzGt0/vk -i /tmp/3ae14c23/bb/tmp-RzzGt0/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:59:38 [15:59:38.465]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.02 MiB)
15:59:38 Scheme is: ultra_honk, num threads: 128 (mem: 252.02 MiB)
15:59:38 --public_inputs_path: /tmp/3ae14c23/bb/tmp-Fbhyfv/public_inputs (mem: 252.02 MiB)
15:59:38 --proof_path: /tmp/3ae14c23/bb/tmp-Fbhyfv/proof (mem: 252.02 MiB)
15:59:38 --vk_path: /tmp/3ae14c23/bb/tmp-Fbhyfv/vk (mem: 252.02 MiB)
15:59:38 --verbose: true (mem: 252.02 MiB)
15:59:38 --scheme: ultra_honk (mem: 252.02 MiB)
15:59:38 --oracle_hash: poseidon2 (mem: 252.02 MiB)
15:59:38 --disable_zk: true (mem: 252.02 MiB)
15:59:38 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.02 MiB)
15:59:38 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.02 MiB)
15:59:38 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.02 MiB)
15:59:38 sumcheck_verified: 1 (mem: 252.02 MiB)
15:59:38 libra_evals_verified: 1 (mem: 252.02 MiB)
15:59:38 pairing_check_verified: 1 (mem: 252.02 MiB)
15:59:38 Proof verified successfully (mem: 252.02 MiB)
15:59:38 verified: 1 (mem: 252.02 MiB)
15:59:38 [15:59:38.466]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.02 MiB)
15:59:38 Scheme is: ultra_honk, num threads: 128 (mem: 252.02 MiB)
15:59:38 --public_inputs_path: /tmp/3ae14c23/bb/tmp-tlV68Q/public_inputs (mem: 252.02 MiB)
15:59:38 --proof_path: /tmp/3ae14c23/bb/tmp-tlV68Q/proof (mem: 252.02 MiB)
15:59:38 --vk_path: /tmp/3ae14c23/bb/tmp-tlV68Q/vk (mem: 252.02 MiB)
15:59:38 --verbose: true (mem: 252.02 MiB)
15:59:38 --scheme: ultra_honk (mem: 252.02 MiB)
15:59:38 --oracle_hash: poseidon2 (mem: 252.02 MiB)
15:59:38 --disable_zk: true (mem: 252.02 MiB)
15:59:38 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.02 MiB)
15:59:38 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.02 MiB)
15:59:38 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.02 MiB)
15:59:38 sumcheck_verified: 1 (mem: 252.02 MiB)
15:59:38 libra_evals_verified: 1 (mem: 252.02 MiB)
15:59:38 pairing_check_verified: 1 (mem: 252.02 MiB)
15:59:38 Proof verified successfully (mem: 252.02 MiB)
15:59:38 verified: 1 (mem: 252.02 MiB)
15:59:38 [15:59:38.467]
INFO:
bb-prover Successfully verified proof from key in 97.575288 ms
15:59:38 [15:59:38.468]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.02 MiB)
15:59:38 Scheme is: ultra_honk, num threads: 128 (mem: 252.02 MiB)
15:59:38 --public_inputs_path: /tmp/3ae14c23/bb/tmp-O1dADM/public_inputs (mem: 252.02 MiB)
15:59:38 --proof_path: /tmp/3ae14c23/bb/tmp-O1dADM/proof (mem: 252.02 MiB)
15:59:38 --vk_path: /tmp/3ae14c23/bb/tmp-O1dADM/vk (mem: 252.02 MiB)
15:59:38 --verbose: true (mem: 252.02 MiB)
15:59:38 --scheme: ultra_honk (mem: 252.02 MiB)
15:59:38 --oracle_hash: poseidon2 (mem: 252.02 MiB)
15:59:38 --disable_zk: true (mem: 252.02 MiB)
15:59:38 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.02 MiB)
15:59:38 [15:59:38.469]
INFO:
bb-prover Successfully verified proof from key in 72.75638799999979 ms
15:59:38 [15:59:38.469]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.02 MiB)
15:59:38 Scheme is: ultra_honk, num threads: 128 (mem: 252.02 MiB)
15:59:38 --public_inputs_path: /tmp/3ae14c23/bb/tmp-RzzGt0/public_inputs (mem: 252.02 MiB)
15:59:38 --proof_path: /tmp/3ae14c23/bb/tmp-RzzGt0/proof (mem: 252.02 MiB)
15:59:38 --vk_path: /tmp/3ae14c23/bb/tmp-RzzGt0/vk (mem: 252.02 MiB)
15:59:38 --verbose: true (mem: 252.02 MiB)
15:59:38 --scheme: ultra_honk (mem: 252.02 MiB)
15:59:38 --oracle_hash: poseidon2 (mem: 252.02 MiB)
15:59:38 --disable_zk: true (mem: 252.02 MiB)
15:59:38 [15:59:38.469]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.02 MiB)
15:59:38 [15:59:38.484]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.02 MiB)
15:59:38 [15:59:38.484]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 252.02 MiB)
15:59:38 [15:59:38.486]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.02 MiB)
15:59:38 libra_evals_verified: 1 (mem: 252.02 MiB)
15:59:38 pairing_check_verified: 1 (mem: 252.02 MiB)
15:59:38 [15:59:38.488]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 252.02 MiB)
15:59:38 verified: 1 (mem: 252.02 MiB)
15:59:38 [15:59:38.489]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.02 MiB)
15:59:38 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.02 MiB)
15:59:38 sumcheck_verified: 1 (mem: 252.02 MiB)
15:59:38 libra_evals_verified: 1 (mem: 252.02 MiB)
15:59:38 pairing_check_verified: 1 (mem: 252.02 MiB)
15:59:38 Proof verified successfully (mem: 252.02 MiB)
15:59:38 verified: 1 (mem: 252.02 MiB)
15:59:38 [15:59:38.490]
INFO:
bb-prover Successfully verified proof from key in 42.4253209999988 ms
15:59:38 [15:59:38.491]
INFO:
bb-prover Successfully verified proof from key in 66.66291300000012 ms
15:59:38 [15:59:38.684]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":79.54758100000072,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
15:59:38 [15:59:38.686]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:59:38 [15:59:38.687]
INFO:
bb-prover RootParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/3ae14c23/bb/tmp-CTRRXb -b /tmp/3ae14c23/bb/tmp-CTRRXb/RootParityArtifact-bytecode -w /tmp/3ae14c23/bb/tmp-CTRRXb/partial-witness.gz -v --init_kzg_accumulator -v
15:59:38 [15:59:38.716]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.88 MiB)
15:59:38 Scheme is: ultra_honk, num threads: 128 (mem: 253.88 MiB)
15:59:38 [15:59:38.717]
INFO:
bb-prover RootParityArtifact BB out - --scheme: ultra_honk (mem: 253.88 MiB)
15:59:38 --bytecode_path: /tmp/3ae14c23/bb/tmp-CTRRXb/RootParityArtifact-bytecode (mem: 253.88 MiB)
15:59:38 --witness_path: /tmp/3ae14c23/bb/tmp-CTRRXb/partial-witness.gz (mem: 253.88 MiB)
15:59:38 --output_path: /tmp/3ae14c23/bb/tmp-CTRRXb (mem: 253.88 MiB)
15:59:38 Warning: the following option is called more than once (mem: 253.88 MiB)
15:59:38 --verbose: true (mem: 253.88 MiB)
15:59:38 --oracle_hash: poseidon2 (mem: 253.88 MiB)
15:59:38 --output_format: bytes_and_fields (mem: 253.88 MiB)
15:59:38 --write_vk: true (mem: 253.88 MiB)
15:59:38 --disable_zk: true (mem: 253.88 MiB)
15:59:38 --init_kzg_accumulator: true (mem: 253.88 MiB)
15:59:38 [15:59:38.911]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.88 MiB)
15:59:41 [15:59:41.140]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 421.24 MiB)
15:59:43 [15:59:43.744]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 789.14 MiB)
15:59:46 [15:59:46.176]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1055.82 MiB)
15:59:48 [15:59:48.749]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1430.77 MiB)
15:59:48 [15:59:48.750]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1430.77 MiB)
15:59:50 [15:59:50.322]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1880.89 MiB)
15:59:50 [15:59:50.978]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5522.89 MiB)
15:59:53 [15:59:53.287]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4537 ms. (mem: 6071.89 MiB)
15:59:53 [15:59:53.430]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6071.89 MiB)
15:59:53 [15:59:53.816]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6557.91 MiB)
15:59:55 [15:59:55.058]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7331.91 MiB)
16:00:03 [16:00:03.547]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7331.91 MiB)
16:00:03 [16:00:03.551]
INFO:
bb-prover RootParityArtifact BB out -
16:00:08 [16:00:08.893]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7331.91 MiB)
16:00:12 [16:00:12.133]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8975.44 MiB)
16:00:15 [16:00:15.189]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8975.44 MiB)
16:00:23 [16:00:23.815]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8975.44 MiB)
16:00:25 [16:00:25.449]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8975.44 MiB)
16:00:25 [16:00:25.463]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8975.44 MiB)
16:00:26 [16:00:26.470]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/3ae14c23/bb/tmp-CTRRXb/public_inputs" (mem: 8975.44 MiB)
16:00:26 [16:00:26.471]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/3ae14c23/bb/tmp-CTRRXb/public_inputs_fields.json" (mem: 8975.44 MiB)
16:00:26 Proof saved to "/tmp/3ae14c23/bb/tmp-CTRRXb/proof" (mem: 8975.44 MiB)
16:00:26 Proof fields saved to "/tmp/3ae14c23/bb/tmp-CTRRXb/proof_fields.json" (mem: 8975.44 MiB)
16:00:26 VK saved to "/tmp/3ae14c23/bb/tmp-CTRRXb/vk" (mem: 8975.44 MiB)
16:00:26 [16:00:26.471]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/3ae14c23/bb/tmp-CTRRXb/vk_fields.json" (mem: 8975.44 MiB)
16:00:26 [16:00:26.739]
INFO:
bb-prover Generated proof for RootParityArtifact in 48051 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":48050.163166,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:00:26 [16:00:26.743]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:00:26 [16:00:26.744]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3ae14c23/bb/tmp-XTai7e/proof -k /tmp/3ae14c23/bb/tmp-XTai7e/vk -i /tmp/3ae14c23/bb/tmp-XTai7e/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:00:26 [16:00:26.769]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.89 MiB)
16:00:26 Scheme is: ultra_honk, num threads: 128 (mem: 253.89 MiB)
16:00:26 --public_inputs_path: /tmp/3ae14c23/bb/tmp-XTai7e/public_inputs (mem: 253.89 MiB)
16:00:26 --proof_path: /tmp/3ae14c23/bb/tmp-XTai7e/proof (mem: 253.89 MiB)
16:00:26 --vk_path: /tmp/3ae14c23/bb/tmp-XTai7e/vk (mem: 253.89 MiB)
16:00:26 --verbose: true (mem: 253.89 MiB)
16:00:26 --scheme: ultra_honk (mem: 253.89 MiB)
16:00:26 --oracle_hash: poseidon2 (mem: 253.89 MiB)
16:00:26 --disable_zk: true (mem: 253.89 MiB)
16:00:26 [16:00:26.770]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.89 MiB)
16:00:26 [16:00:26.788]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.89 MiB)
16:00:26 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.89 MiB)
16:00:26 [16:00:26.790]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1
16:00:26 [16:00:26.792]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 253.89 MiB)
16:00:26 libra_evals_verified: 1 (mem: 253.89 MiB)
16:00:26 pairing_check_verified: 1 (mem: 253.89 MiB)
16:00:26 Proof verified successfully (mem: 253.89 MiB)
16:00:26 verified: 1 (mem: 253.89 MiB)
16:00:26 [16:00:26.793]
INFO:
bb-prover Successfully verified proof from key in 49.33647099999507 ms
16:00:26 [16:00:26.796]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:00:26 [16:00:26.796]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3ae14c23/bb/tmp-85yiOM/proof -k /tmp/3ae14c23/bb/tmp-85yiOM/vk -i /tmp/3ae14c23/bb/tmp-85yiOM/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:00:26 [16:00:26.817]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.89 MiB)
16:00:26 [16:00:26.818]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.89 MiB)
16:00:26 --public_inputs_path: /tmp/3ae14c23/bb/tmp-85yiOM/public_inputs (mem: 253.89 MiB)
16:00:26 --proof_path: /tmp/3ae14c23/bb/tmp-85yiOM/proof (mem: 253.89 MiB)
16:00:26 --vk_path: /tmp/3ae14c23/bb/tmp-85yiOM/vk (mem: 253.89 MiB)
16:00:26 --verbose: true (mem: 253.89 MiB)
16:00:26 --scheme: ultra_honk (mem: 253.89 MiB)
16:00:26 --oracle_hash: poseidon2 (mem: 253.89 MiB)
16:00:26 --disable_zk: true (mem: 253.89 MiB)
16:00:26 [16:00:26.818]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.89 MiB)
16:00:26 [16:00:26.832]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.89 MiB)
16:00:26 [16:00:26.833]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.89 MiB)
16:00:26 [16:00:26.834]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.89 MiB)
16:00:26 libra_evals_verified: 1 (mem: 253.89 MiB)
16:00:26 pairing_check_verified: 1 (mem: 253.89 MiB)
16:00:26 Proof verified successfully (mem: 253.89 MiB)
16:00:26 [16:00:26.835]
VERBOSE:
bb-prover bb-prover (verify) BB out -
16:00:26 verified: 1 (mem: 253.89 MiB)
16:00:26 [16:00:26.837]
INFO:
bb-prover Successfully verified proof from key in 41.103571999999986 ms
16:00:26 [16:00:26.915]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
16:00:26
16:00:26 [16:00:26.916]
ERROR:
bb-prover Error running operation at /tmp/3ae14c23/bb/tmp-JnZ5IH: Error: Failed to generate witness: Failed assertion
16:00:26
16:00:27 [16:00:27.122]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":74.3181129999939,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
16:00:27 [16:00:27.129]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
16:00:27 [16:00:27.130]
INFO:
bb-prover RootParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/3ae14c23/bb/tmp-w5PWDI -b /tmp/3ae14c23/bb/tmp-w5PWDI/RootParityArtifact-bytecode -w /tmp/3ae14c23/bb/tmp-w5PWDI/partial-witness.gz -v --init_kzg_accumulator -v
16:00:27 [16:00:27.158]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.89 MiB)
16:00:27 [16:00:27.159]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.89 MiB)
16:00:27 --scheme: ultra_honk (mem: 253.89 MiB)
16:00:27 --bytecode_path: /tmp/3ae14c23/bb/tmp-w5PWDI/RootParityArtifact-bytecode (mem: 253.89 MiB)
16:00:27 --witness_path: /tmp/3ae14c23/bb/tmp-w5PWDI/partial-witness.gz (mem: 253.89 MiB)
16:00:27 --output_path: /tmp/3ae14c23/bb/tmp-w5PWDI (mem: 253.89 MiB)
16:00:27 Warning: the following option is called more than once (mem: 253.89 MiB)
16:00:27 --verbose: true (mem: 253.89 MiB)
16:00:27 --oracle_hash: poseidon2 (mem: 253.89 MiB)
16:00:27 --output_format: bytes_and_fields (mem: 253.89 MiB)
16:00:27 --write_vk: true (mem: 253.89 MiB)
16:00:27 --disable_zk: true (mem: 253.89 MiB)
16:00:27 --init_kzg_accumulator: true (mem: 253.89 MiB)
16:00:27 [16:00:27.345]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.89 MiB)
16:00:27 [16:00:27.363]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.89 MiB)
16:00:29 [16:00:29.528]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 415.96 MiB)
16:00:32 [16:00:32.310]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 782.97 MiB)
16:00:34 [16:00:34.451]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1050.53 MiB)
16:00:36 [16:00:36.908]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1425.04 MiB)
16:00:36 [16:00:36.909]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1425.04 MiB)
16:00:38 [16:00:38.361]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1876.45 MiB)
16:00:38 [16:00:38.724]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5527.45 MiB)
16:00:40 [16:00:40.649]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3739 ms. (mem: 6073.45 MiB)
16:00:40 [16:00:40.846]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6073.45 MiB)
16:00:41 [16:00:41.019]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6557.51 MiB)
16:00:42 [16:00:42.446]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7331.51 MiB)
16:00:48 [16:00:48.670]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7331.51 MiB)
16:00:53 [16:00:53.966]
INFO:
bb-prover RootParityArtifact BB out - created oink proof
16:00:53 [16:00:53.967]
INFO:
bb-prover RootParityArtifact BB out - (mem: 7331.51 MiB)
16:00:57 [16:00:57.133]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8975.91 MiB)
16:00:59 [16:00:59.343]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8977.91 MiB)
16:01:05 [16:01:05.101]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8977.91 MiB)
16:01:06 [16:01:06.471]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8977.91 MiB)
16:01:06 [16:01:06.472]
INFO:
bb-prover RootParityArtifact BB out -
16:01:06 [16:01:06.488]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8977.91 MiB)
16:01:07 [16:01:07.445]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/3ae14c23/bb/tmp-w5PWDI/public_inputs" (mem: 8977.91 MiB)
16:01:07 [16:01:07.446]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/3ae14c23/bb/tmp-w5PWDI/public_inputs_fields.json" (mem: 8977.91 MiB)
16:01:07 Proof saved to "/tmp/3ae14c23/bb/tmp-w5PWDI/proof" (mem: 8977.91 MiB)
16:01:07 Proof fields saved to "/tmp/3ae14c23/bb/tmp-w5PWDI/proof_fields.json" (mem: 8977.91 MiB)
16:01:07 VK saved to "/tmp/3ae14c23/bb/tmp-w5PWDI/vk" (mem: 8977.91 MiB)
16:01:07 [16:01:07.446]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/3ae14c23/bb/tmp-w5PWDI/vk_fields.json" (mem: 8977.91 MiB)
16:01:07 [16:01:07.697]
INFO:
bb-prover Generated proof for RootParityArtifact in 40564 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40563.58526300001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:01:07 [16:01:07.699]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:01:07 [16:01:07.699]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3ae14c23/bb/tmp-C5B0Yh/proof -k /tmp/3ae14c23/bb/tmp-C5B0Yh/vk -i /tmp/3ae14c23/bb/tmp-C5B0Yh/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:01:07 [16:01:07.718]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.89 MiB)
16:01:07 [16:01:07.718]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.89 MiB)
16:01:07 --public_inputs_path: /tmp/3ae14c23/bb/tmp-C5B0Yh/public_inputs (mem: 253.89 MiB)
16:01:07 --proof_path: /tmp/3ae14c23/bb/tmp-C5B0Yh/proof (mem: 253.89 MiB)
16:01:07 --vk_path: /tmp/3ae14c23/bb/tmp-C5B0Yh/vk (mem: 253.89 MiB)
16:01:07 --verbose: true (mem: 253.89 MiB)
16:01:07 --scheme: ultra_honk (mem: 253.89 MiB)
16:01:07 --oracle_hash: poseidon2 (mem: 253.89 MiB)
16:01:07 --disable_zk: true (mem: 253.89 MiB)
16:01:07 [16:01:07.719]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.89 MiB)
16:01:07 [16:01:07.728]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.89 MiB)
16:01:07 Proof verification failed (mem: 253.89 MiB)
16:01:07 verified: 0 (mem: 253.89 MiB)
16:01:07 [16:01:07.730]
ERROR:
bb-prover Error running operation at /tmp/3ae14c23/bb/tmp-C5B0Yh: ProvingError: Failed to verify proof from key!
16:01:07 [16:01:07.891]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":89.96124400000554,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
16:01:07 [16:01:07.892]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
16:01:07 [16:01:07.892]
INFO:
bb-prover RootParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/3ae14c23/bb/tmp-9BVVDq -b /tmp/3ae14c23/bb/tmp-9BVVDq/RootParityArtifact-bytecode -w /tmp/3ae14c23/bb/tmp-9BVVDq/partial-witness.gz -v --init_kzg_accumulator -v
16:01:07 [16:01:07.912]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.89 MiB)
16:01:07 [16:01:07.912]
INFO:
bb-prover RootParityArtifact BB out -
16:01:07 Scheme is: ultra_honk, num threads: 128 (mem: 253.89 MiB)
16:01:07 --scheme: ultra_honk (mem: 253.89 MiB)
16:01:07 --bytecode_path: /tmp/3ae14c23/bb/tmp-9BVVDq/RootParityArtifact-bytecode (mem: 253.89 MiB)
16:01:07 --witness_path: /tmp/3ae14c23/bb/tmp-9BVVDq/partial-witness.gz (mem: 253.89 MiB)
16:01:07 --output_path: /tmp/3ae14c23/bb/tmp-9BVVDq (mem: 253.89 MiB)
16:01:07 Warning: the following option is called more than once (mem: 253.89 MiB)
16:01:07 --verbose: true (mem: 253.89 MiB)
16:01:07 --oracle_hash: poseidon2 (mem: 253.89 MiB)
16:01:07 --output_format: bytes_and_fields (mem: 253.89 MiB)
16:01:07 --write_vk: true (mem: 253.89 MiB)
16:01:07 --disable_zk: true (mem: 253.89 MiB)
16:01:07 --init_kzg_accumulator: true (mem: 253.89 MiB)
16:01:08 [16:01:08.092]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.89 MiB)
16:01:08 [16:01:08.104]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.89 MiB)
16:01:10 [16:01:10.175]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 420.66 MiB)
16:01:12 [16:01:12.241]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 787.69 MiB)
16:01:13 [16:01:13.919]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1055.62 MiB)
16:01:16 [16:01:16.013]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1430.12 MiB)
16:01:16 [16:01:16.014]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1430.12 MiB)
16:01:17 [16:01:17.292]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1881.53 MiB)
16:01:17 [16:01:17.630]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5520.53 MiB)
16:01:19 [16:01:19.359]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3344 ms. (mem: 6072.53 MiB)
16:01:19 [16:01:19.546]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6072.53 MiB)
16:01:19 [16:01:19.749]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6559.80 MiB)
16:01:20 [16:01:20.838]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7333.80 MiB)
16:01:25 [16:01:25.746]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7333.80 MiB)
16:01:29 [16:01:29.863]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7333.80 MiB)
16:01:31 [16:01:31.709]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8976.64 MiB)
16:01:33 [16:01:33.669]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8976.64 MiB)
16:01:39 [16:01:39.447]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8976.64 MiB)
16:01:40 [16:01:40.987]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8976.64 MiB)
16:01:41 [16:01:41.002]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8976.64 MiB)
16:01:42 [16:01:42.183]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/3ae14c23/bb/tmp-9BVVDq/public_inputs" (mem: 8976.64 MiB)
16:01:42 Public inputs fields saved to "/tmp/3ae14c23/bb/tmp-9BVVDq/public_inputs_fields.json" (mem: 8976.64 MiB)
16:01:42 Proof saved to "/tmp/3ae14c23/bb/tmp-9BVVDq/proof" (mem: 8976.64 MiB)
16:01:42 [16:01:42.195]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/3ae14c23/bb/tmp-9BVVDq/proof_fields.json" (mem: 8976.64 MiB)
16:01:42 VK saved to "/tmp/3ae14c23/bb/tmp-9BVVDq/vk" (mem: 8976.64 MiB)
16:01:42 VK fields saved to "/tmp/3ae14c23/bb/tmp-9BVVDq/vk_fields.json" (mem: 8976.64 MiB)
16:01:42 [16:01:42.513]
INFO:
bb-prover Generated proof for RootParityArtifact in 34616 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34615.350231000004,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:01:42 [16:01:42.529]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:01:42 [16:01:42.529]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3ae14c23/bb/tmp-rz99pE/proof -k /tmp/3ae14c23/bb/tmp-rz99pE/vk -i /tmp/3ae14c23/bb/tmp-rz99pE/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:01:42 [16:01:42.564]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
16:01:42 [16:01:42.565]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
16:01:42 [16:01:42.565]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.89
16:01:42 [16:01:42.566]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
16:01:42 [16:01:42.566]
VERBOSE:
bb-prover bb-prover (verify) BB out -
16:01:42 [16:01:42.566]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128
16:01:42 [16:01:42.567]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
16:01:42 [16:01:42.567]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.89
16:01:42 [16:01:42.567]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
16:01:42 [16:01:42.568]
VERBOSE:
bb-prover bb-prover (verify) BB out -
16:01:42 [16:01:42.568]
VERBOSE:
bb-prover bb-prover (verify) BB out - --public_inputs_path: /tmp/3ae14c23/bb/tmp-rz99pE/public_inputs (mem: 253.89 MiB)
16:01:42 --proof_path: /tmp/3ae14c23/bb/tmp-rz99pE/proof (mem: 253.89 MiB)
16:01:42 --vk_path: /tmp/3ae14c23/bb/tmp-rz99pE/vk (mem: 253.89 MiB)
16:01:42 --verbose: true (mem: 253.89 MiB)
16:01:42 [16:01:42.569]
VERBOSE:
bb-prover bb-prover (verify) BB out -
16:01:42 --scheme: ultra_honk (mem: 253.89 MiB)
16:01:42 --oracle_hash: poseidon2 (mem: 253.89 MiB)
16:01:42 --disable_zk: true (mem: 253.89 MiB)
16:01:42 [16:01:42.570]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f
16:01:42 [16:01:42.571]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 253.89 MiB)
16:01:42 [16:01:42.581]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed!
16:01:42 [16:01:42.582]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
16:01:42 [16:01:42.583]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.89 MiB)
16:01:42 Proof verification failed (mem: 253.89 MiB)
16:01:42 verified: 0 (mem: 253.89 MiB)
16:01:42 [16:01:42.584]
ERROR:
bb-prover Error running operation at /tmp/3ae14c23/bb/tmp-rz99pE: ProvingError: Failed to verify proof from key!
16:01:42 [16:01:42.588]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
16:01:42
PASS src/test/bb_prover_parity.test.ts (
138.226 s)
16:01:42 prover/bb_prover/parity
16:01:42
✓ proves the parity circuits (128126 ms)
16:01:42
16:01:42
Test Suites: 1 passed, 1 total
16:01:42
Tests: 1 passed, 1 total
16:01:42
Snapshots: 0 total
16:01:42
Time: 138.325 s
16:01:42
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
16:01:42
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?