Parent Log:
http://ci.aztec-labs.com/8c7eaad1f027ce4c
Command: b3bf99625f6f0a17: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/d71b7a63300e898a3d40f7da703f7cde545afb41
Env: REF_NAME=gh-readonly-queue/next/pr-15138-d5a262aabc20f5384a720a0d831e2ec28badc7f9 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 18 18:00:58 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15138_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
18:00:58 +++ id -u
18:00:58 +++ id -g
18:00:58 ++ 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'\'''
18:00:59 + cid=d97a1155357fcc51b636d0769da714588e25d4c8f9b1238cff1bbc7ad17eac25
18:00:59 + set +x
18:01:00 {"level":25,"time":1750269660888,"pid":7,"hostname":"d97a1155357f","module":"logger","msg":"Logger initialized with level verbose"}
18:01:09 [18:01:09.641]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-kEunL8/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
18:01:09 [18:01:09.713]
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/9fa51d91/bb
18:01:09 [18:01:09.715]
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/9fa51d91/acvm
18:01:09 [18:01:09.716]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/9fa51d91/bb
18:01:09 [18:01:09.716]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/9fa51d91/acvm
18:01:09 [18:01:09.720]
INFO:
prover-client:proving-broker Proving Broker started
18:01:09 [18:01:09.722]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
18:01:09 [18:01:09.956]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":82.31012600000031,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
18:01:09 [18:01:09.970]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":106.62899199999993,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
18:01:09 [18:01:09.984]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":60.740421999998944,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
18:01:10 [18:01:09.996]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
18:01:10 [18:01:09.997]
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/9fa51d91/bb/tmp-vwh2WE -b /tmp/9fa51d91/bb/tmp-vwh2WE/BaseParityArtifact-bytecode -w /tmp/9fa51d91/bb/tmp-vwh2WE/partial-witness.gz -v --init_kzg_accumulator -v
18:01:10 [18:01:10.030]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
18:01:10 [18:01:10.031]
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/9fa51d91/bb/tmp-GgqbKH -b /tmp/9fa51d91/bb/tmp-GgqbKH/BaseParityArtifact-bytecode -w /tmp/9fa51d91/bb/tmp-GgqbKH/partial-witness.gz -v --init_kzg_accumulator -v
18:01:10 [18:01:10.053]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.55 MiB)
18:01:10 Scheme is: ultra_honk, num threads: 128 (mem: 252.55 MiB)
18:01:10 --scheme: ultra_honk (mem: 252.55 MiB)
18:01:10 --bytecode_path: /tmp/9fa51d91/bb/tmp-vwh2WE/BaseParityArtifact-bytecode (mem: 252.55 MiB)
18:01:10 --witness_path: /tmp/9fa51d91/bb/tmp-vwh2WE/partial-witness.gz (mem: 252.55 MiB)
18:01:10 --output_path: /tmp/9fa51d91/bb/tmp-vwh2WE (mem: 252.55 MiB)
18:01:10 Warning: the following option is called more than once (mem: 252.55 MiB)
18:01:10 --verbose: true (mem: 252.55 MiB)
18:01:10 --oracle_hash: poseidon2 (mem: 252.55 MiB)
18:01:10 --output_format: bytes_and_fields (mem: 252.55 MiB)
18:01:10 --write_vk: true (mem: 252.55 MiB)
18:01:10 --disable_zk: true (mem: 252.55 MiB)
18:01:10 --init_kzg_accumulator: true (mem: 252.55 MiB)
18:01:10 [18:01:10.054]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
18:01:10 [18:01:10.055]
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/9fa51d91/bb/tmp-q2Q2PG -b /tmp/9fa51d91/bb/tmp-q2Q2PG/BaseParityArtifact-bytecode -w /tmp/9fa51d91/bb/tmp-q2Q2PG/partial-witness.gz -v --init_kzg_accumulator -v
18:01:10 [18:01:10.083]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.55 MiB)
18:01:10 Scheme is: ultra_honk, num threads: 128 (mem: 252.55 MiB)
18:01:10 --scheme: ultra_honk (mem: 252.55 MiB)
18:01:10 --bytecode_path: /tmp/9fa51d91/bb/tmp-GgqbKH/BaseParityArtifact-bytecode (mem: 252.55 MiB)
18:01:10 --witness_path: /tmp/9fa51d91/bb/tmp-GgqbKH/partial-witness.gz (mem: 252.55 MiB)
18:01:10 --output_path: /tmp/9fa51d91/bb/tmp-GgqbKH (mem: 252.55 MiB)
18:01:10 Warning: the following option is called more than once (mem: 252.55 MiB)
18:01:10 --verbose: true (mem: 252.55 MiB)
18:01:10 --oracle_hash: poseidon2 (mem: 252.55 MiB)
18:01:10 --output_format: bytes_and_fields (mem: 252.55 MiB)
18:01:10 --write_vk: true (mem: 252.55 MiB)
18:01:10 --disable_zk: true (mem: 252.55 MiB)
18:01:10 --init_kzg_accumulator: true (mem: 252.55 MiB)
18:01:10 [18:01:10.093]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":83.0928870000007,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
18:01:10 [18:01:10.095]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
18:01:10 [18:01:10.095]
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/9fa51d91/bb/tmp-G44eMj -b /tmp/9fa51d91/bb/tmp-G44eMj/BaseParityArtifact-bytecode -w /tmp/9fa51d91/bb/tmp-G44eMj/partial-witness.gz -v --init_kzg_accumulator -v
18:01:10 [18:01:10.124]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.56 MiB)
18:01:10 Scheme is: ultra_honk, num threads: 128 (mem: 252.56 MiB)
18:01:10 --scheme: ultra_honk (mem: 252.56 MiB)
18:01:10 --bytecode_path: /tmp/9fa51d91/bb/tmp-q2Q2PG/BaseParityArtifact-bytecode (mem: 252.56 MiB)
18:01:10 --witness_path: /tmp/9fa51d91/bb/tmp-q2Q2PG/partial-witness.gz (mem: 252.56 MiB)
18:01:10 --output_path: /tmp/9fa51d91/bb/tmp-q2Q2PG (mem: 252.56 MiB)
18:01:10 Warning: the following option is called more than once (mem: 252.56 MiB)
18:01:10 --verbose: true (mem: 252.56 MiB)
18:01:10 --oracle_hash: poseidon2 (mem: 252.56 MiB)
18:01:10 --output_format: bytes_and_fields (mem: 252.56 MiB)
18:01:10 --write_vk: true (mem: 252.56 MiB)
18:01:10 --disable_zk: true (mem: 252.56 MiB)
18:01:10 --init_kzg_accumulator: true (mem: 252.56 MiB)
18:01:10 [18:01:10.130]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.59 MiB)
18:01:10 Scheme is: ultra_honk, num threads: 128 (mem: 252.59 MiB)
18:01:10 --scheme: ultra_honk (mem: 252.59 MiB)
18:01:10 --bytecode_path: /tmp/9fa51d91/bb/tmp-G44eMj/BaseParityArtifact-bytecode (mem: 252.59 MiB)
18:01:10 --witness_path: /tmp/9fa51d91/bb/tmp-G44eMj/partial-witness.gz (mem: 252.59 MiB)
18:01:10 --output_path: /tmp/9fa51d91/bb/tmp-G44eMj (mem: 252.59 MiB)
18:01:10 Warning: the following option is called more than once (mem: 252.59 MiB)
18:01:10 --verbose: true (mem: 252.59 MiB)
18:01:10 --oracle_hash: poseidon2 (mem: 252.59 MiB)
18:01:10 --output_format: bytes_and_fields (mem: 252.59 MiB)
18:01:10 --write_vk: true (mem: 252.59 MiB)
18:01:10 --disable_zk: true (mem: 252.59 MiB)
18:01:10 --init_kzg_accumulator: true (mem: 252.59 MiB)
18:01:10 [18:01:10.203]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.55 MiB)
18:01:10 Constructing DeciderProvingKey (mem: 252.55 MiB)
18:01:10 [18:01:10.205]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
18:01:10 [18:01:10.206]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
18:01:10 [18:01:10.206]
INFO:
bb-prover BaseParityArtifact BB out - 252.55
18:01:10 [18:01:10.206]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
18:01:10 [18:01:10.206]
INFO:
bb-prover BaseParityArtifact BB out -
18:01:10 [18:01:10.244]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
18:01:10 [18:01:10.246]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
18:01:10 [18:01:10.247]
INFO:
bb-prover BaseParityArtifact BB out - 252.55 MiB)
18:01:10 Constructing DeciderProvingKey (mem: 252.55 MiB)
18:01:10 [18:01:10.251]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.55 MiB)
18:01:10 [18:01:10.290]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.56 MiB)
18:01:10 Constructing DeciderProvingKey (mem: 252.56 MiB)
18:01:10 [18:01:10.293]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.56 MiB)
18:01:10 [18:01:10.368]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.59 MiB)
18:01:10 Constructing DeciderProvingKey (mem: 252.59 MiB)
18:01:10 allocating polynomials object in proving key... (mem: 252.59 MiB)
18:01:10 [18:01:10.476]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.55 MiB)
18:01:10 [18:01:10.581]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 381 ms. (mem: 252.55 MiB)
18:01:10 [18:01:10.596]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.55 MiB)
18:01:10 [18:01:10.601]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.55 MiB)
18:01:10 [18:01:10.604]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.55 MiB)
18:01:10 [18:01:10.623]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.56 MiB)
18:01:10 [18:01:10.638]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.55 MiB)
18:01:10 [18:01:10.724]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.59 MiB)
18:01:10 [18:01:10.732]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 481 ms. (mem: 252.55 MiB)
18:01:10 [18:01:10.742]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.55 MiB)
18:01:10 [18:01:10.750]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.55 MiB)
18:01:10 [18:01:10.771]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 481 ms. (mem: 252.56 MiB)
18:01:10 [18:01:10.782]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.56 MiB)
18:01:10 [18:01:10.786]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.55 MiB)
18:01:10 [18:01:10.809]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem:
18:01:10 [18:01:10.810]
INFO:
bb-prover BaseParityArtifact BB out - 252.56 MiB)
18:01:10 [18:01:10.856]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.56 MiB)
18:01:10 [18:01:10.863]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 498 ms. (mem: 252.59 MiB)
18:01:10 [18:01:10.872]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.59 MiB)
18:01:10 [18:01:10.888]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.59 MiB)
18:01:10 [18:01:10.912]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.59 MiB)
18:01:11 [18:01:11.667]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.55 MiB)
18:01:11 [18:01:11.817]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.59 MiB)
18:01:11 [18:01:11.824]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.56 MiB)
18:01:11 [18:01:11.846]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.55 MiB)
18:01:12 [18:01:12.247]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.55 MiB)
18:01:12 [18:01:12.424]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.56 MiB)
18:01:12 [18:01:12.442]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.59 MiB)
18:01:12 [18:01:12.468]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof
18:01:12 [18:01:12.471]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 252.55 MiB)
18:01:12 [18:01:12.533]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 257.00 MiB)
18:01:12 [18:01:12.620]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 257.83 MiB)
18:01:12 [18:01:12.627]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.59 MiB)
18:01:12 [18:01:12.670]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.59 MiB)
18:01:12 [18:01:12.787]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 257.00 MiB)
18:01:12 [18:01:12.849]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 257.83 MiB)
18:01:12 [18:01:12.860]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.59 MiB)
18:01:12 [18:01:12.863]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 253.59 MiB)
18:01:13 [18:01:13.935]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 257.83 MiB)
18:01:13 [18:01:13.944]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 257.00 MiB)
18:01:13 [18:01:13.946]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.59 MiB)
18:01:14 [18:01:14.034]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 257.83 MiB)
18:01:14 finished decider proving. (mem: 257.83 MiB)
18:01:14 [18:01:14.037]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 257.00 MiB)
18:01:14 finished decider proving. (mem: 257.00 MiB)
18:01:14 [18:01:14.039]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/9fa51d91/bb/tmp-q2Q2PG/public_inputs" (mem: 257.83 MiB)
18:01:14 Public inputs fields saved to "/tmp/9fa51d91/bb/tmp-q2Q2PG/public_inputs_fields.json" (mem: 257.83 MiB)
18:01:14 Proof saved to "/tmp/9fa51d91/bb/tmp-q2Q2PG/proof" (mem: 257.83 MiB)
18:01:14 Proof fields saved to "/tmp/9fa51d91/bb/tmp-q2Q2PG/proof_fields.json" (mem: 257.83 MiB)
18:01:14 VK saved to "/tmp/9fa51d91/bb/tmp-q2Q2PG/vk" (mem: 257.83 MiB)
18:01:14 VK fields saved to "/tmp/9fa51d91/bb/tmp-q2Q2PG/vk_fields.json" (mem: 257.83 MiB)
18:01:14 [18:01:14.040]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/9fa51d91/bb/tmp-vwh2WE/public_inputs" (mem: 257.00 MiB)
18:01:14 [18:01:14.041]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/9fa51d91/bb/tmp-vwh2WE/public_inputs_fields.json" (mem: 257.00 MiB)
18:01:14 Proof saved to "/tmp/9fa51d91/bb/tmp-vwh2WE/proof" (mem: 257.00 MiB)
18:01:14 [18:01:14.043]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/9fa51d91/bb/tmp-vwh2WE/proof_fields.json" (mem: 257.00 MiB)
18:01:14 VK saved to "/tmp/9fa51d91/bb/tmp-vwh2WE/vk" (mem: 257.00 MiB)
18:01:14 VK fields saved to "/tmp/9fa51d91/bb/tmp-vwh2WE/vk_fields.json" (mem: 257.00 MiB)
18:01:14 [18:01:14.043]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.59 MiB)
18:01:14 [18:01:14.047]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem:
18:01:14 [18:01:14.051]
INFO:
bb-prover BaseParityArtifact BB out - 253.59 MiB)
18:01:14 [18:01:14.059]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.59 MiB)
18:01:14 [18:01:14.062]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/9fa51d91/bb/tmp-GgqbKH/public_inputs" (mem: 253.59 MiB)
18:01:14 Public inputs fields saved to "/tmp/9fa51d91/bb/tmp-GgqbKH/public_inputs_fields.json" (mem: 253.59 MiB)
18:01:14 Proof saved to "/tmp/9fa51d91/bb/tmp-GgqbKH/proof" (mem: 253.59 MiB)
18:01:14 [18:01:14.066]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/9fa51d91/bb/tmp-GgqbKH/proof_fields.json" (mem: 253.59 MiB)
18:01:14 VK saved to "/tmp/9fa51d91/bb/tmp-GgqbKH/vk" (mem: 253.59 MiB)
18:01:14 [18:01:14.070]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/9fa51d91/bb/tmp-GgqbKH/vk_fields.json" (mem: 253.59 MiB)
18:01:14 [18:01:14.117]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4100 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4099.335056,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
18:01:14 [18:01:14.139]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4077 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4076.483098999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
18:01:14 [18:01:14.142]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4102 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4101.0054789999995,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
18:01:14 [18:01:14.147]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.59 MiB)
18:01:14 [18:01:14.149]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 252.59 MiB)
18:01:14 [18:01:14.150]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:01:14 [18:01:14.150]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9fa51d91/bb/tmp-vgsE0M/proof -k /tmp/9fa51d91/bb/tmp-vgsE0M/vk -i /tmp/9fa51d91/bb/tmp-vgsE0M/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:01:14 [18:01:14.180]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/9fa51d91/bb/tmp-G44eMj/public_inputs" (mem: 252.59 MiB)
18:01:14 Public inputs fields saved to "/tmp/9fa51d91/bb/tmp-G44eMj/public_inputs_fields.json" (mem: 252.59 MiB)
18:01:14 Proof saved to "/tmp/9fa51d91/bb/tmp-G44eMj/proof" (mem: 252.59 MiB)
18:01:14 Proof fields saved to "/tmp/9fa51d91/bb/tmp-G44eMj/proof_fields.json" (mem: 252.59 MiB)
18:01:14 VK saved to "/tmp/9fa51d91/bb/tmp-G44eMj/vk" (mem: 252.59 MiB)
18:01:14 VK fields saved to "/tmp/9fa51d91/bb/tmp-G44eMj/vk_fields.json" (mem: 252.59 MiB)
18:01:14 [18:01:14.183]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:01:14 [18:01:14.183]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9fa51d91/bb/tmp-UvHDuc/proof -k /tmp/9fa51d91/bb/tmp-UvHDuc/vk -i /tmp/9fa51d91/bb/tmp-UvHDuc/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:01:14 [18:01:14.213]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:01:14 [18:01:14.213]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9fa51d91/bb/tmp-krB16t/proof -k /tmp/9fa51d91/bb/tmp-krB16t/vk -i /tmp/9fa51d91/bb/tmp-krB16t/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:01:14 [18:01:14.251]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.63 MiB)
18:01:14 Scheme is: ultra_honk, num threads: 128 (mem: 252.63 MiB)
18:01:14 --public_inputs_path: /tmp/9fa51d91/bb/tmp-vgsE0M/public_inputs (mem: 252.63 MiB)
18:01:14 --proof_path: /tmp/9fa51d91/bb/tmp-vgsE0M/proof (mem: 252.63 MiB)
18:01:14 --vk_path: /tmp/9fa51d91/bb/tmp-vgsE0M/vk (mem: 252.63 MiB)
18:01:14 --verbose: true (mem: 252.63 MiB)
18:01:14 --scheme: ultra_honk (mem: 252.63 MiB)
18:01:14 --oracle_hash: poseidon2 (mem: 252.63 MiB)
18:01:14 --disable_zk: true (mem: 252.63 MiB)
18:01:14 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.63 MiB)
18:01:14 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.63 MiB)
18:01:14 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.63 MiB)
18:01:14 sumcheck_verified: 1 (mem: 252.63 MiB)
18:01:14 libra_evals_verified: 1 (mem: 252.63 MiB)
18:01:14 pairing_check_verified: 1 (mem: 252.63 MiB)
18:01:14 Proof verified successfully (mem: 252.63 MiB)
18:01:14 verified: 1 (mem: 252.63 MiB)
18:01:14 [18:01:14.254]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.63 MiB)
18:01:14 Scheme is: ultra_honk, num threads: 128 (mem: 251.63 MiB)
18:01:14 --public_inputs_path: /tmp/9fa51d91/bb/tmp-UvHDuc/public_inputs (mem: 251.63 MiB)
18:01:14 --proof_path: /tmp/9fa51d91/bb/tmp-UvHDuc/proof (mem: 251.63 MiB)
18:01:14 --vk_path: /tmp/9fa51d91/bb/tmp-UvHDuc/vk (mem: 251.63 MiB)
18:01:14 --verbose: true (mem: 251.63 MiB)
18:01:14 --scheme: ultra_honk (mem: 251.63 MiB)
18:01:14 --oracle_hash: poseidon2 (mem: 251.63 MiB)
18:01:14 --disable_zk: true (mem: 251.63 MiB)
18:01:14 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.63 MiB)
18:01:14 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.63 MiB)
18:01:14 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.63 MiB)
18:01:14 sumcheck_verified: 1 (mem: 251.63 MiB)
18:01:14 libra_evals_verified: 1 (mem: 251.63 MiB)
18:01:14 pairing_check_verified: 1 (mem: 251.63 MiB)
18:01:14 Proof verified successfully (mem: 251.63 MiB)
18:01:14 verified: 1 (mem: 251.63 MiB)
18:01:14 [18:01:14.255]
INFO:
bb-prover Successfully verified proof from key in 72.60315699999956 ms
18:01:14 [18:01:14.259]
INFO:
bb-prover Successfully verified proof from key in 109.939257 ms
18:01:14 [18:01:14.260]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.63 MiB)
18:01:14 Scheme is: ultra_honk, num threads: 128 (mem: 252.63 MiB)
18:01:14 --public_inputs_path: /tmp/9fa51d91/bb/tmp-krB16t/public_inputs (mem: 252.63 MiB)
18:01:14 --proof_path: /tmp/9fa51d91/bb/tmp-krB16t/proof (mem: 252.63 MiB)
18:01:14 --vk_path: /tmp/9fa51d91/bb/tmp-krB16t/vk (mem: 252.63 MiB)
18:01:14 --verbose: true (mem: 252.63 MiB)
18:01:14 --scheme: ultra_honk (mem: 252.63 MiB)
18:01:14 --oracle_hash: poseidon2 (mem: 252.63 MiB)
18:01:14 --disable_zk: true (mem: 252.63 MiB)
18:01:14 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.63 MiB)
18:01:14 [18:01:14.267]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4162 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4161.218707,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
18:01:14 [18:01:14.272]
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.63 MiB)
18:01:14 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.63 MiB)
18:01:14 [18:01:14.273]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.63 MiB)
18:01:14 libra_evals_verified: 1 (mem: 252.63 MiB)
18:01:14 pairing_check_verified: 1 (mem: 252.63 MiB)
18:01:14 Proof verified successfully (mem: 252.63 MiB)
18:01:14 verified: 1 (mem: 252.63 MiB)
18:01:14 [18:01:14.274]
INFO:
bb-prover Successfully verified proof from key in 61.641905000000406 ms
18:01:14 [18:01:14.276]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:01:14 [18:01:14.277]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9fa51d91/bb/tmp-0zOedY/proof -k /tmp/9fa51d91/bb/tmp-0zOedY/vk -i /tmp/9fa51d91/bb/tmp-0zOedY/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:01:14 [18:01:14.318]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.69 MiB)
18:01:14 [18:01:14.319]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.69 MiB)
18:01:14 --public_inputs_path: /tmp/9fa51d91/bb/tmp-0zOedY/public_inputs (mem: 252.69 MiB)
18:01:14 --proof_path: /tmp/9fa51d91/bb/tmp-0zOedY/proof (mem: 252.69 MiB)
18:01:14 --vk_path: /tmp/9fa51d91/bb/tmp-0zOedY/vk (mem: 252.69 MiB)
18:01:14 --verbose: true (mem: 252.69 MiB)
18:01:14 --scheme: ultra_honk (mem: 252.69 MiB)
18:01:14 --oracle_hash: poseidon2 (mem: 252.69 MiB)
18:01:14 --disable_zk: true (mem: 252.69 MiB)
18:01:14 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.69 MiB)
18:01:14 [18:01:14.336]
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.69 MiB)
18:01:14 [18:01:14.337]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 252.69 MiB)
18:01:14 [18:01:14.337]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.69 MiB)
18:01:14 libra_evals_verified: 1 (mem: 252.69 MiB)
18:01:14 pairing_check_verified: 1 (mem: 252.69 MiB)
18:01:14 Proof verified successfully (mem: 252.69 MiB)
18:01:14 verified: 1 (mem: 252.69 MiB)
18:01:14 [18:01:14.340]
INFO:
bb-prover Successfully verified proof from key in 63.24082599999929 ms
18:01:14 [18:01:14.351]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:01:14 [18:01:14.351]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9fa51d91/bb/tmp-7cgCWt/proof -k /tmp/9fa51d91/bb/tmp-7cgCWt/vk -i /tmp/9fa51d91/bb/tmp-7cgCWt/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:01:14 [18:01:14.374]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:01:14 [18:01:14.375]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9fa51d91/bb/tmp-9kAzAJ/proof -k /tmp/9fa51d91/bb/tmp-9kAzAJ/vk -i /tmp/9fa51d91/bb/tmp-9kAzAJ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:01:14 [18:01:14.409]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:01:14 [18:01:14.409]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9fa51d91/bb/tmp-Wfm3xg/proof -k /tmp/9fa51d91/bb/tmp-Wfm3xg/vk -i /tmp/9fa51d91/bb/tmp-Wfm3xg/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:01:14 [18:01:14.437]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:01:14 [18:01:14.438]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9fa51d91/bb/tmp-GvUeoe/proof -k /tmp/9fa51d91/bb/tmp-GvUeoe/vk -i /tmp/9fa51d91/bb/tmp-GvUeoe/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:01:14 [18:01:14.470]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.74 MiB)
18:01:14 Scheme is: ultra_honk, num threads: 128 (mem: 252.74 MiB)
18:01:14 --public_inputs_path: /tmp/9fa51d91/bb/tmp-7cgCWt/public_inputs (mem: 252.74 MiB)
18:01:14 --proof_path: /tmp/9fa51d91/bb/tmp-7cgCWt/proof (mem: 252.74 MiB)
18:01:14 --vk_path: /tmp/9fa51d91/bb/tmp-7cgCWt/vk (mem: 252.74 MiB)
18:01:14 --verbose: true (mem: 252.74 MiB)
18:01:14 --scheme: ultra_honk (mem: 252.74 MiB)
18:01:14 --oracle_hash: poseidon2 (mem: 252.74 MiB)
18:01:14 --disable_zk: true (mem: 252.74 MiB)
18:01:14 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.74 MiB)
18:01:14 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.74 MiB)
18:01:14 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.74 MiB)
18:01:14 sumcheck_verified: 1 (mem: 252.74 MiB)
18:01:14 libra_evals_verified: 1 (mem: 252.74 MiB)
18:01:14 pairing_check_verified: 1 (mem: 252.74 MiB)
18:01:14 Proof verified successfully (mem: 252.74 MiB)
18:01:14 verified: 1 (mem: 252.74 MiB)
18:01:14 [18:01:14.471]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.74 MiB)
18:01:14 Scheme is: ultra_honk, num threads: 128 (mem: 252.74 MiB)
18:01:14 --public_inputs_path: /tmp/9fa51d91/bb/tmp-9kAzAJ/public_inputs (mem: 252.74 MiB)
18:01:14 --proof_path: /tmp/9fa51d91/bb/tmp-9kAzAJ/proof (mem: 252.74 MiB)
18:01:14 --vk_path: /tmp/9fa51d91/bb/tmp-9kAzAJ/vk (mem: 252.74 MiB)
18:01:14 --verbose: true (mem: 252.74 MiB)
18:01:14 --scheme: ultra_honk (mem: 252.74 MiB)
18:01:14 --oracle_hash: poseidon2 (mem: 252.74 MiB)
18:01:14 --disable_zk: true (mem: 252.74 MiB)
18:01:14 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.74 MiB)
18:01:14 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.74 MiB)
18:01:14 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.74 MiB)
18:01:14 sumcheck_verified: 1 (mem: 252.74 MiB)
18:01:14 libra_evals_verified: 1 (mem: 252.74 MiB)
18:01:14 pairing_check_verified: 1 (mem: 252.74 MiB)
18:01:14 Proof verified successfully (mem: 252.74 MiB)
18:01:14 verified: 1 (mem: 252.74 MiB)
18:01:14 [18:01:14.472]
INFO:
bb-prover Successfully verified proof from key in 121.17905599999904 ms
18:01:14 [18:01:14.473]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.74 MiB)
18:01:14 Scheme is: ultra_honk, num threads: 128 (mem: 251.74 MiB)
18:01:14 --public_inputs_path: /tmp/9fa51d91/bb/tmp-Wfm3xg/public_inputs (mem: 251.74 MiB)
18:01:14 --proof_path: /tmp/9fa51d91/bb/tmp-Wfm3xg/proof (mem: 251.74 MiB)
18:01:14 --vk_path: /tmp/9fa51d91/bb/tmp-Wfm3xg/vk (mem: 251.74 MiB)
18:01:14 --verbose: true (mem: 251.74 MiB)
18:01:14 --scheme: ultra_honk (mem: 251.74 MiB)
18:01:14 --oracle_hash: poseidon2 (mem: 251.74 MiB)
18:01:14 --disable_zk: true (mem: 251.74 MiB)
18:01:14 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.74 MiB)
18:01:14 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.74 MiB)
18:01:14 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.74 MiB)
18:01:14 sumcheck_verified: 1 (mem: 251.74 MiB)
18:01:14 libra_evals_verified: 1 (mem: 251.74 MiB)
18:01:14 pairing_check_verified: 1 (mem: 251.74 MiB)
18:01:14 Proof verified successfully (mem: 251.74 MiB)
18:01:14 verified: 1 (mem: 251.74 MiB)
18:01:14 [18:01:14.474]
INFO:
bb-prover Successfully verified proof from key in 64.87056800000028 ms
18:01:14 [18:01:14.474]
INFO:
bb-prover Successfully verified proof from key in 99.65028200000052 ms
18:01:14 [18:01:14.475]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.52 MiB)
18:01:14 Scheme is: ultra_honk, num threads: 128 (mem: 251.52 MiB)
18:01:14 --public_inputs_path: /tmp/9fa51d91/bb/tmp-GvUeoe/public_inputs (mem: 251.52 MiB)
18:01:14 --proof_path: /tmp/9fa51d91/bb/tmp-GvUeoe/proof (mem: 251.52 MiB)
18:01:14 --vk_path: /tmp/9fa51d91/bb/tmp-GvUeoe/vk (mem: 251.52 MiB)
18:01:14 --verbose: true (mem: 251.52 MiB)
18:01:14 --scheme: ultra_honk (mem: 251.52 MiB)
18:01:14 --oracle_hash: poseidon2 (mem: 251.52 MiB)
18:01:14 --disable_zk: true (mem: 251.52 MiB)
18:01:14 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.52 MiB)
18:01:14 [18:01:14.493]
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.52 MiB)
18:01:14 [18:01:14.493]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.52 MiB)
18:01:14 [18:01:14.495]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.52 MiB)
18:01:14 libra_evals_verified: 1 (mem: 251.52 MiB)
18:01:14 pairing_check_verified: 1 (mem: 251.52 MiB)
18:01:14 [18:01:14.495]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 251.52 MiB)
18:01:14 verified: 1 (mem: 251.52 MiB)
18:01:14 [18:01:14.497]
INFO:
bb-prover Successfully verified proof from key in 59.67329400000017 ms
18:01:14 [18:01:14.697]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":89.28720600000088,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
18:01:14 [18:01:14.699]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
18:01:14 [18:01:14.699]
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/9fa51d91/bb/tmp-HSJnU2 -b /tmp/9fa51d91/bb/tmp-HSJnU2/RootParityArtifact-bytecode -w /tmp/9fa51d91/bb/tmp-HSJnU2/partial-witness.gz -v --init_kzg_accumulator -v
18:01:14 [18:01:14.739]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.96 MiB)
18:01:14 Scheme is: ultra_honk, num threads: 128 (mem: 254.96 MiB)
18:01:14 --scheme: ultra_honk (mem: 254.96 MiB)
18:01:14 --bytecode_path: /tmp/9fa51d91/bb/tmp-HSJnU2/RootParityArtifact-bytecode (mem: 254.96 MiB)
18:01:14 --witness_path: /tmp/9fa51d91/bb/tmp-HSJnU2/partial-witness.gz (mem: 254.96
18:01:14 [18:01:14.740]
INFO:
bb-prover RootParityArtifact BB out - MiB)
18:01:14 --output_path: /tmp/9fa51d91/bb/tmp-HSJnU2 (mem: 254.96 MiB)
18:01:14 Warning: the following option is called more than once (mem: 254.96 MiB)
18:01:14 --verbose: true (mem: 254.96 MiB)
18:01:14 --oracle_hash: poseidon2 (mem: 254.96 MiB)
18:01:14 --output_format: bytes_and_fields (mem: 254.96 MiB)
18:01:14 --write_vk: true (mem: 254.96 MiB)
18:01:14 --disable_zk: true (mem: 254.96 MiB)
18:01:14 --init_kzg_accumulator: true (mem: 254.96 MiB)
18:01:14 [18:01:14.943]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.96 MiB)
18:01:17 [18:01:17.087]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 419.47 MiB)
18:01:19 [18:01:19.958]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 786.92 MiB)
18:01:22 [18:01:22.371]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1052.38 MiB)
18:01:24 [18:01:24.924]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1427.03 MiB)
18:01:24 Constructing DeciderProvingKey (mem: 1427.03 MiB)
18:01:26 [18:01:26.321]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1878.91 MiB)
18:01:26 [18:01:26.716]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5526.91 MiB)
18:01:28 [18:01:28.626]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3703 ms. (mem: 6073.91 MiB)
18:01:28 [18:01:28.757]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6073.91 MiB)
18:01:28 [18:01:28.889]
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.19 MiB)
18:01:30 [18:01:30.267]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7326.61 MiB)
18:01:38 [18:01:38.200]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7326.61 MiB)
18:01:43 [18:01:43.470]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7326.61 MiB)
18:01:45 [18:01:45.866]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8968.73 MiB)
18:01:48 [18:01:48.260]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8968.73 MiB)
18:01:53 [18:01:53.914]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8968.73 MiB)
18:01:55 [18:01:55.398]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8968.73 MiB)
18:01:55 [18:01:55.431]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8968.73 MiB)
18:01:56 [18:01:56.420]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/9fa51d91/bb/tmp-HSJnU2/public_inputs" (mem: 8968.73 MiB)
18:01:56 Public inputs fields saved to "/tmp/9fa51d91/bb/tmp-HSJnU2/public_inputs_fields.json" (mem: 8968.73 MiB)
18:01:56 Proof saved to "/tmp/9fa51d91/bb/tmp-HSJnU2/proof" (mem: 8968.73 MiB)
18:01:56 [18:01:56.423]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/9fa51d91/bb/tmp-HSJnU2/proof_fields.json" (mem: 8968.73 MiB)
18:01:56 VK saved to "/tmp/9fa51d91/bb/tmp-HSJnU2/vk" (mem: 8968.73 MiB)
18:01:56 VK fields saved to "/tmp/9fa51d91/bb/tmp-HSJnU2/vk_fields.json" (mem: 8968.73 MiB)
18:01:56 [18:01:56.681]
INFO:
bb-prover Generated proof for RootParityArtifact in 41980 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":41979.071474,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
18:01:56 [18:01:56.688]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:01:56 [18:01:56.690]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9fa51d91/bb/tmp-VfWs2m/proof -k /tmp/9fa51d91/bb/tmp-VfWs2m/vk -i /tmp/9fa51d91/bb/tmp-VfWs2m/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:01:56 [18:01:56.716]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.96 MiB)
18:01:56 Scheme is: ultra_honk, num threads: 128 (mem: 254.96 MiB)
18:01:56 --public_inputs_path: /tmp/9fa51d91/bb/tmp-VfWs2m/public_inputs (mem: 254.96 MiB)
18:01:56 --proof_path: /tmp/9fa51d91/bb/tmp-VfWs2m/proof (mem: 254.96 MiB)
18:01:56 --vk_path: /tmp/9fa51d91/bb/tmp-VfWs2m/vk (mem: 254.96 MiB)
18:01:56 --verbose: true (mem: 254.96 MiB)
18:01:56 --scheme: ultra_honk (mem: 254.96 MiB)
18:01:56 --oracle_hash: poseidon2 (mem: 254.96 MiB)
18:01:56 --disable_zk: true (mem: 254.96 MiB)
18:01:56 [18:01:56.717]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.96 MiB)
18:01:56 [18:01:56.730]
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: 254.96 MiB)
18:01:56 [18:01:56.731]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 254.96 MiB)
18:01:56 [18:01:56.733]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.96 MiB)
18:01:56 libra_evals_verified: 1 (mem: 254.96 MiB)
18:01:56 pairing_check_verified: 1 (mem: 254.96 MiB)
18:01:56 Proof verified successfully (mem: 254.96 MiB)
18:01:56 verified: 1 (mem: 254.96 MiB)
18:01:56 [18:01:56.733]
INFO:
bb-prover Successfully verified proof from key in 45.337031999995816 ms
18:01:56 [18:01:56.746]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:01:56 [18:01:56.747]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9fa51d91/bb/tmp-HcqyOG/proof -k /tmp/9fa51d91/bb/tmp-HcqyOG/vk -i /tmp/9fa51d91/bb/tmp-HcqyOG/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:01:56 [18:01:56.796]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
18:01:56 [18:01:56.798]
VERBOSE:
bb-prover bb-prover (verify) BB out - 254.34 MiB)
18:01:56 Scheme is: ultra_honk, num threads: 128 (mem: 254.34 MiB)
18:01:56 --public_inputs_path: /tmp/9fa51d91/bb/tmp-HcqyOG/public_inputs (mem: 254.34 MiB)
18:01:56 --proof_path: /tmp/9fa51d91/bb/tmp-HcqyOG/proof (mem: 254.34 MiB)
18:01:56 --vk_path: /tmp/9fa51d91/bb/tmp-HcqyOG/vk (mem: 254.34 MiB)
18:01:56 --verbose: true (mem: 254.34 MiB)
18:01:56 --scheme: ultra_honk (mem: 254.34 MiB)
18:01:56 --oracle_hash: poseidon2 (mem: 254.34 MiB)
18:01:56 --disable_zk: true (mem: 254.34 MiB)
18:01:56 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.34 MiB)
18:01:56 [18:01:56.818]
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: 254.34 MiB)
18:01:56 Initialized BN254 CRS from memory with num points = 1025 (mem: 254.34 MiB)
18:01:56 [18:01:56.821]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.34 MiB)
18:01:56 libra_evals_verified: 1 (mem: 254.34 MiB)
18:01:56 pairing_check_verified: 1 (mem: 254.34 MiB)
18:01:56 Proof verified successfully (mem: 254.34 MiB)
18:01:56 verified: 1 (mem: 254.34 MiB)
18:01:56 [18:01:56.823]
INFO:
bb-prover Successfully verified proof from key in 76.78842799999984 ms
18:01:56 [18:01:56.919]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
18:01:56
18:01:56 [18:01:56.920]
ERROR:
bb-prover Error running operation at /tmp/9fa51d91/bb/tmp-vy0ISg: Error: Failed to generate witness: Failed assertion
18:01:56
18:01:57 [18:01:57.115]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":73.39415100000042,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
18:01:57 [18:01:57.117]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
18:01:57 [18:01:57.118]
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/9fa51d91/bb/tmp-sZoRqF -b /tmp/9fa51d91/bb/tmp-sZoRqF/RootParityArtifact-bytecode -w /tmp/9fa51d91/bb/tmp-sZoRqF/partial-witness.gz -v --init_kzg_accumulator -v
18:01:57 [18:01:57.146]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.96 MiB)
18:01:57 [18:01:57.147]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.96 MiB)
18:01:57 --scheme: ultra_honk (mem: 253.96 MiB)
18:01:57 --bytecode_path: /tmp/9fa51d91/bb/tmp-sZoRqF/RootParityArtifact-bytecode (mem: 253.96 MiB)
18:01:57 --witness_path: /tmp/9fa51d91/bb/tmp-sZoRqF/partial-witness.gz (mem: 253.96 MiB)
18:01:57 --output_path: /tmp/9fa51d91/bb/tmp-sZoRqF (mem: 253.96 MiB)
18:01:57 Warning: the following option is called more than once (mem: 253.96 MiB)
18:01:57 --verbose: true (mem: 253.96 MiB)
18:01:57 --oracle_hash: poseidon2 (mem: 253.96 MiB)
18:01:57 --output_format: bytes_and_fields (mem: 253.96 MiB)
18:01:57 --write_vk: true (mem: 253.96 MiB)
18:01:57 --disable_zk: true (mem: 253.96 MiB)
18:01:57 --init_kzg_accumulator: true (mem: 253.96 MiB)
18:01:57 [18:01:57.359]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.96 MiB)
18:01:57 [18:01:57.376]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.96 MiB)
18:01:59 [18:01:59.528]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 406.96 MiB)
18:02:02 [18:02:02.406]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 762.31 MiB)
18:02:05 [18:02:05.359]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1023.70 MiB)
18:02:08 [18:02:08.335]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1397.29 MiB)
18:02:08 Constructing DeciderProvingKey (mem: 1397.29 MiB)
18:02:09 [18:02:09.826]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1846.93 MiB)
18:02:10 [18:02:10.198]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5526.93 MiB)
18:02:12 [18:02:12.247]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3913 ms. (mem: 6069.93 MiB)
18:02:12 [18:02:12.395]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6069.93 MiB)
18:02:12 [18:02:12.733]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6558.31 MiB)
18:02:14 [18:02:14.069]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7326.84 MiB)
18:02:19 [18:02:19.657]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7326.84 MiB)
18:02:22 [18:02:22.794]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7326.84 MiB)
18:02:24 [18:02:24.608]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8954.96 MiB)
18:02:26 [18:02:26.900]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8954.96 MiB)
18:02:34 [18:02:34.502]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8954.96 MiB)
18:02:36 [18:02:36.196]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8954.96 MiB)
18:02:36 [18:02:36.227]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8954.96 MiB)
18:02:37 [18:02:37.033]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/9fa51d91/bb/tmp-sZoRqF/public_inputs" (mem: 8954.96 MiB)
18:02:37 Public inputs fields saved to "/tmp/9fa51d91/bb/tmp-sZoRqF/public_inputs_fields.json" (mem: 8954.96 MiB)
18:02:37 Proof saved to "/tmp/9fa51d91/bb/tmp-sZoRqF/proof" (mem: 8954.96 MiB)
18:02:37 [18:02:37.033]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/9fa51d91/bb/tmp-sZoRqF/proof_fields.json" (mem: 8954.96 MiB)
18:02:37 VK saved to "/tmp/9fa51d91/bb/tmp-sZoRqF/vk" (mem: 8954.96 MiB)
18:02:37 VK fields saved to "/tmp/9fa51d91/bb/tmp-sZoRqF/vk_fields.json" (mem: 8954.96 MiB)
18:02:37 [18:02:37.284]
INFO:
bb-prover Generated proof for RootParityArtifact in 40164 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40163.428486000004,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
18:02:37 [18:02:37.294]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:02:37 [18:02:37.294]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9fa51d91/bb/tmp-C6RdCK/proof -k /tmp/9fa51d91/bb/tmp-C6RdCK/vk -i /tmp/9fa51d91/bb/tmp-C6RdCK/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:02:37 [18:02:37.323]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.96 MiB)
18:02:37 [18:02:37.323]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.96 MiB)
18:02:37 --public_inputs_path: /tmp/9fa51d91/bb/tmp-C6RdCK/public_inputs (mem: 254.96 MiB)
18:02:37 --proof_path: /tmp/9fa51d91/bb/tmp-C6RdCK/proof (mem: 254.96 MiB)
18:02:37 --vk_path: /tmp/9fa51d91/bb/tmp-C6RdCK/vk (mem: 254.96 MiB)
18:02:37 --verbose: true (mem: 254.96 MiB)
18:02:37 --scheme: ultra_honk (mem: 254.96 MiB)
18:02:37 --oracle_hash: poseidon2 (mem: 254.96 MiB)
18:02:37 --disable_zk: true (mem: 254.96 MiB)
18:02:37 [18:02:37.324]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.96 MiB)
18:02:37 [18:02:37.337]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 254.96 MiB)
18:02:37 Proof verification failed (mem: 254.96 MiB)
18:02:37 verified: 0 (mem: 254.96 MiB)
18:02:37 [18:02:37.339]
ERROR:
bb-prover Error running operation at /tmp/9fa51d91/bb/tmp-C6RdCK: ProvingError: Failed to verify proof from key!
18:02:37 [18:02:37.485]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":64.41418800000974,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
18:02:37 [18:02:37.486]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
18:02:37 [18:02:37.486]
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/9fa51d91/bb/tmp-rTN2Y3 -b /tmp/9fa51d91/bb/tmp-rTN2Y3/RootParityArtifact-bytecode -w /tmp/9fa51d91/bb/tmp-rTN2Y3/partial-witness.gz -v --init_kzg_accumulator -v
18:02:37 [18:02:37.511]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.96 MiB)
18:02:37 [18:02:37.512]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.96 MiB)
18:02:37 --scheme: ultra_honk (mem: 254.96 MiB)
18:02:37 --bytecode_path: /tmp/9fa51d91/bb/tmp-rTN2Y3/RootParityArtifact-bytecode (mem: 254.96 MiB)
18:02:37 --witness_path: /tmp/9fa51d91/bb/tmp-rTN2Y3/partial-witness.gz (mem: 254.96 MiB)
18:02:37 --output_path: /tmp/9fa51d91/bb/tmp-rTN2Y3 (mem: 254.96 MiB)
18:02:37 Warning: the following option is called more than once (mem: 254.96 MiB)
18:02:37 --verbose: true (mem: 254.96 MiB)
18:02:37 --oracle_hash: poseidon2 (mem: 254.96 MiB)
18:02:37 --output_format: bytes_and_fields (mem: 254.96 MiB)
18:02:37 --write_vk: true (mem: 254.96 MiB)
18:02:37 --disable_zk: true (mem: 254.96 MiB)
18:02:37 --init_kzg_accumulator: true (mem: 254.96 MiB)
18:02:37 [18:02:37.714]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.96 MiB)
18:02:37 [18:02:37.730]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 254.96 MiB)
18:02:39 [18:02:39.561]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 422.22 MiB)
18:02:41 [18:02:41.793]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 790.01 MiB)
18:02:43 [18:02:43.325]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1057.49 MiB)
18:02:45 [18:02:45.245]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1430.87 MiB)
18:02:45 [18:02:45.246]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1430.87 MiB)
18:02:46 [18:02:46.382]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1882.34 MiB)
18:02:46 [18:02:46.793]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5531.34 MiB)
18:02:48 [18:02:48.277]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3030 ms. (mem: 6071.34 MiB)
18:02:48 [18:02:48.431]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6071.34 MiB)
18:02:48 [18:02:48.582]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6561.13 MiB)
18:02:49 [18:02:49.952]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7328.34 MiB)
18:02:55 [18:02:55.467]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7328.34 MiB)
18:02:59 [18:02:59.480]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7328.34 MiB)
18:03:01 [18:03:01.627]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8968.26 MiB)
18:03:03 [18:03:03.724]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8969.26 MiB)
18:03:08 [18:03:08.751]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8969.26 MiB)
18:03:10 [18:03:10.028]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8969.26 MiB)
18:03:10 [18:03:10.053]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8969.26 MiB)
18:03:10 [18:03:10.800]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/9fa51d91/bb/tmp-rTN2Y3/public_inputs" (mem: 8969.26 MiB)
18:03:10 [18:03:10.800]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/9fa51d91/bb/tmp-rTN2Y3/public_inputs_fields.json" (mem: 8969.26 MiB)
18:03:10 Proof saved to "/tmp/9fa51d91/bb/tmp-rTN2Y3/proof" (mem: 8969.26 MiB)
18:03:10 Proof fields saved to "/tmp/9fa51d91/bb/tmp-rTN2Y3/proof_fields.json" (mem: 8969.26 MiB)
18:03:10 VK saved to "/tmp/9fa51d91/bb/tmp-rTN2Y3/vk" (mem: 8969.26 MiB)
18:03:10 [18:03:10.800]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/9fa51d91/bb/tmp-rTN2Y3/vk_fields.json" (mem: 8969.26 MiB)
18:03:11 [18:03:11.028]
INFO:
bb-prover Generated proof for RootParityArtifact in 33541 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":33540.15981,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
18:03:11 [18:03:11.030]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:03:11 [18:03:11.031]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9fa51d91/bb/tmp-6PWSWn/proof -k /tmp/9fa51d91/bb/tmp-6PWSWn/vk -i /tmp/9fa51d91/bb/tmp-6PWSWn/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:03:11 [18:03:11.053]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.96 MiB)
18:03:11 [18:03:11.054]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.96 MiB)
18:03:11 --public_inputs_path: /tmp/9fa51d91/bb/tmp-6PWSWn/public_inputs (mem: 254.96 MiB)
18:03:11 --proof_path: /tmp/9fa51d91/bb/tmp-6PWSWn/proof (mem: 254.96 MiB)
18:03:11 --vk_path: /tmp/9fa51d91/bb/tmp-6PWSWn/vk (mem: 254.96 MiB)
18:03:11 --verbose: true (mem: 254.96 MiB)
18:03:11 --scheme: ultra_honk (mem: 254.96 MiB)
18:03:11 --oracle_hash: poseidon2 (mem: 254.96 MiB)
18:03:11 --disable_zk: true (mem: 254.96 MiB)
18:03:11 [18:03:11.054]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.96 MiB)
18:03:11 [18:03:11.066]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 254.96 MiB)
18:03:11 Proof verification failed (mem: 254.96 MiB)
18:03:11 [18:03:11.067]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 254.96 MiB)
18:03:11 [18:03:11.068]
ERROR:
bb-prover Error running operation at /tmp/9fa51d91/bb/tmp-6PWSWn: ProvingError: Failed to verify proof from key!
18:03:11 [18:03:11.071]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
18:03:11
PASS src/test/bb_prover_parity.test.ts (
130.441 s)
18:03:11 prover/bb_prover/parity
18:03:11
✓ proves the parity circuits (121344 ms)
18:03:11
18:03:11
Test Suites: 1 passed, 1 total
18:03:11
Tests: 1 passed, 1 total
18:03:11
Snapshots: 0 total
18:03:11
Time: 130.548 s
18:03:11
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
18:03:11
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?