Parent Log:
http://ci.aztec-labs.com/912699a4bbfaaff7
Command: d57d38082bbaf86d: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/2d661b35c089f032f50de084b07dded86f0873b8
Env: REF_NAME=gh-readonly-queue/next/pr-15187-301dce04331dcfb583b7508b91491de618d4acf4 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 23 10:46:05 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15187_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
10:46:05 +++ id -u
10:46:05 +++ id -g
10:46:05 ++ 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'\'''
10:46:06 + cid=56d5b7edc56a8d2c9904d26a2b9cd28cd14e62a165430608d642d270a080179d
10:46:06 + set +x
10:46:07 {"level":25,"time":1750675567814,"pid":7,"hostname":"56d5b7edc56a","module":"logger","msg":"Logger initialized with level verbose"}
10:46:15 [10:46:15.804]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-U8STBq/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
10:46:15 [10:46:15.860]
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/d7c6091f/bb
10:46:15 [10:46:15.861]
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/d7c6091f/acvm
10:46:15 [10:46:15.863]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/d7c6091f/bb
10:46:15 [10:46:15.863]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/d7c6091f/acvm
10:46:15 [10:46:15.866]
INFO:
prover-client:proving-broker Proving Broker started
10:46:15 [10:46:15.867]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
10:46:16 [10:46:16.092]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":76.42747299999974,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:16 [10:46:16.103]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":102.54624100000001,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:16 [10:46:16.115]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":56.95576699999947,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:16 [10:46:16.124]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":77.07892400000128,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:16 [10:46:16.128]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:46:16 [10:46:16.129]
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/d7c6091f/bb/tmp-CM1XlA -b /tmp/d7c6091f/bb/tmp-CM1XlA/BaseParityArtifact-bytecode -w /tmp/d7c6091f/bb/tmp-CM1XlA/partial-witness.gz -v --init_kzg_accumulator -v
10:46:16 [10:46:16.153]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:46:16 [10:46:16.153]
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/d7c6091f/bb/tmp-szEtdH -b /tmp/d7c6091f/bb/tmp-szEtdH/BaseParityArtifact-bytecode -w /tmp/d7c6091f/bb/tmp-szEtdH/partial-witness.gz -v --init_kzg_accumulator -v
10:46:16 [10:46:16.175]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.94 MiB)
10:46:16 Scheme is: ultra_honk, num threads: 128 (mem: 252.94 MiB)
10:46:16 --scheme: ultra_honk (mem: 252.94 MiB)
10:46:16 --bytecode_path: /tmp/d7c6091f/bb/tmp-CM1XlA/BaseParityArtifact-bytecode (mem: 252.94 MiB)
10:46:16 --witness_path: /tmp/d7c6091f/bb/tmp-CM1XlA/partial-witness.gz (mem: 252.94 MiB)
10:46:16 --output_path: /tmp/d7c6091f/bb/tmp-CM1XlA (mem: 252.94 MiB)
10:46:16 Warning: the following option is called more than once (mem: 252.94 MiB)
10:46:16 --verbose: true (mem: 252.94 MiB)
10:46:16 --oracle_hash: poseidon2 (mem: 252.94 MiB)
10:46:16 --output_format: bytes_and_fields (mem: 252.94 MiB)
10:46:16 --write_vk: true (mem: 252.94 MiB)
10:46:16 --disable_zk: true (mem: 252.94 MiB)
10:46:16 --init_kzg_accumulator: true (mem: 252.94 MiB)
10:46:16 [10:46:16.176]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:46:16 [10:46:16.176]
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/d7c6091f/bb/tmp-WeCu8H -b /tmp/d7c6091f/bb/tmp-WeCu8H/BaseParityArtifact-bytecode -w /tmp/d7c6091f/bb/tmp-WeCu8H/partial-witness.gz -v --init_kzg_accumulator -v
10:46:16 [10:46:16.193]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:46:16 [10:46:16.194]
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/d7c6091f/bb/tmp-c5vyNT -b /tmp/d7c6091f/bb/tmp-c5vyNT/BaseParityArtifact-bytecode -w /tmp/d7c6091f/bb/tmp-c5vyNT/partial-witness.gz -v --init_kzg_accumulator -v
10:46:16 [10:46:16.218]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.94 MiB)
10:46:16 Scheme is: ultra_honk, num threads: 128 (mem: 252.94 MiB)
10:46:16 --scheme: ultra_honk (mem: 252.94 MiB)
10:46:16 --bytecode_path: /tmp/d7c6091f/bb/tmp-szEtdH/BaseParityArtifact-bytecode (mem: 252.94 MiB)
10:46:16 --witness_path: /tmp/d7c6091f/bb/tmp-szEtdH/partial-witness.gz (mem: 252.94 MiB)
10:46:16 --output_path: /tmp/d7c6091f/bb/tmp-szEtdH (mem: 252.94 MiB)
10:46:16 Warning: the following option is called more than once (mem: 252.94 MiB)
10:46:16 --verbose: true (mem: 252.94 MiB)
10:46:16 --oracle_hash: poseidon2 (mem: 252.94 MiB)
10:46:16 --output_format: bytes_and_fields (mem: 252.94 MiB)
10:46:16 --write_vk: true (mem: 252.94 MiB)
10:46:16 --disable_zk: true (mem: 252.94 MiB)
10:46:16 --init_kzg_accumulator: true (mem: 252.94 MiB)
10:46:16 [10:46:16.219]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.87 MiB)
10:46:16 Scheme is: ultra_honk, num threads: 128 (mem: 251.87 MiB)
10:46:16 --scheme: ultra_honk (mem: 251.87 MiB)
10:46:16 --bytecode_path: /tmp/d7c6091f/bb/tmp-WeCu8H/BaseParityArtifact-bytecode (mem: 251.87 MiB)
10:46:16 --witness_path: /tmp/d7c6091f/bb/tmp-WeCu8H/partial-witness.gz (mem: 251.87 MiB)
10:46:16 --output_path: /tmp/d7c6091f/bb/tmp-WeCu8H (mem: 251.87 MiB)
10:46:16 Warning: the following option is called more than once (mem: 251.87 MiB)
10:46:16 --verbose: true (mem: 251.87 MiB)
10:46:16 --oracle_hash: poseidon2 (mem: 251.87 MiB)
10:46:16 --output_format: bytes_and_fields (mem: 251.87 MiB)
10:46:16 --write_vk: true (mem: 251.87 MiB)
10:46:16 --disable_zk: true (mem: 251.87 MiB)
10:46:16 --init_kzg_accumulator: true (mem: 251.87 MiB)
10:46:16 [10:46:16.220]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove
10:46:16 [10:46:16.221]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
10:46:16 [10:46:16.221]
INFO:
bb-prover BaseParityArtifact BB out - 252.95
10:46:16 [10:46:16.221]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
10:46:16 [10:46:16.222]
INFO:
bb-prover BaseParityArtifact BB out -
10:46:16 [10:46:16.222]
INFO:
bb-prover BaseParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.95 MiB)
10:46:16 --scheme: ultra_honk (mem: 252.95 MiB)
10:46:16 --bytecode_path: /tmp/d7c6091f/bb/tmp-c5vyNT/BaseParityArtifact-bytecode (mem: 252.95 MiB)
10:46:16 --witness_path: /tmp/d7c6091f/bb/tmp-c5vyNT/partial-witness.gz (mem: 252.95 MiB)
10:46:16 --output_path: /tmp/d7c6091f/bb/tmp-c5vyNT (mem: 252.95 MiB)
10:46:16 [10:46:16.223]
INFO:
bb-prover BaseParityArtifact BB out - Warning: the following option is called more than once (mem: 252.95 MiB)
10:46:16 --verbose: true (mem: 252.95 MiB)
10:46:16 --oracle_hash: poseidon2 (mem: 252.95 MiB)
10:46:16 --output_format: bytes_and_fields (mem: 252.95 MiB)
10:46:16 --write_vk: true (mem: 252.95 MiB)
10:46:16 --disable_zk: true (mem: 252.95 MiB)
10:46:16 --init_kzg_accumulator: true (mem: 252.95 MiB)
10:46:16 [10:46:16.323]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.94 MiB)
10:46:16 [10:46:16.324]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 252.94 MiB)
10:46:16 [10:46:16.327]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.94 MiB)
10:46:16 [10:46:16.338]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.87 MiB)
10:46:16 [10:46:16.339]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.87 MiB)
10:46:16 [10:46:16.343]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.87 MiB)
10:46:16 [10:46:16.414]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.94 MiB)
10:46:16 [10:46:16.416]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 252.94 MiB)
10:46:16 [10:46:16.419]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.94 MiB)
10:46:16 [10:46:16.443]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.95 MiB)
10:46:16 Constructing DeciderProvingKey (mem: 252.95 MiB)
10:46:16 [10:46:16.446]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
10:46:16 [10:46:16.447]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
10:46:16 [10:46:16.448]
INFO:
bb-prover BaseParityArtifact BB out - 252.95 MiB)
10:46:16 [10:46:16.495]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.94 MiB)
10:46:16 [10:46:16.496]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.87 MiB)
10:46:16 [10:46:16.549]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 225 ms. (mem: 252.94 MiB)
10:46:16 [10:46:16.555]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.94 MiB)
10:46:16 [10:46:16.556]
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.94 MiB)
10:46:16 [10:46:16.558]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 217 ms. (mem: 251.87 MiB)
10:46:16 [10:46:16.562]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.87 MiB)
10:46:16 [10:46:16.562]
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.87 MiB)
10:46:16 [10:46:16.567]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 252.94 MiB)
10:46:16 [10:46:16.577]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 251.87 MiB)
10:46:16 [10:46:16.679]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.94 MiB)
10:46:16 [10:46:16.709]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.95 MiB)
10:46:16 [10:46:16.892]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 449 ms. (mem: 252.95 MiB)
10:46:16 [10:46:16.897]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.95 MiB)
10:46:16 [10:46:16.898]
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.95 MiB)
10:46:16 [10:46:16.913]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 252.95 MiB)
10:46:16 [10:46:16.931]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 516 ms. (mem: 252.94 MiB)
10:46:16 [10:46:16.940]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.94 MiB)
10:46:16 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.94 MiB)
10:46:16 [10:46:16.957]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 252.94 MiB)
10:46:17 [10:46:17.656]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.87 MiB)
10:46:17 [10:46:17.845]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.94 MiB)
10:46:18 [10:46:18.132]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.87 MiB)
10:46:18 [10:46:18.202]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.95 MiB)
10:46:18 [10:46:18.333]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.94 MiB)
10:46:18 [10:46:18.422]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.94 MiB)
10:46:18 [10:46:18.544]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.87 MiB)
10:46:18 [10:46:18.693]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.94 MiB)
10:46:18 [10:46:18.761]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.95 MiB)
10:46:18 [10:46:18.829]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.87 MiB)
10:46:18 [10:46:18.942]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.94 MiB)
10:46:19 [10:46:19.015]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.94 MiB)
10:46:19 [10:46:19.040]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.95 MiB)
10:46:19 [10:46:19.124]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.94 MiB)
10:46:19 [10:46:19.267]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.95 MiB)
10:46:19 [10:46:19.342]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.94 MiB)
10:46:20 [10:46:20.337]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.87 MiB)
10:46:20 [10:46:20.398]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.87 MiB)
10:46:20 finished decider proving. (mem: 251.87 MiB)
10:46:20 Public inputs saved to "/tmp/d7c6091f/bb/tmp-WeCu8H/public_inputs" (mem: 251.87 MiB)
10:46:20 Public inputs fields saved to "/tmp/d7c6091f/bb/tmp-WeCu8H/public_inputs_fields.json" (mem: 251.87 MiB)
10:46:20 Proof saved to "/tmp/d7c6091f/bb/tmp-WeCu8H/proof" (mem: 251.87 MiB)
10:46:20 [10:46:20.399]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/d7c6091f/bb/tmp-WeCu8H/proof_fields.json" (mem: 251.87 MiB)
10:46:20 VK saved to "/tmp/d7c6091f/bb/tmp-WeCu8H/vk" (mem: 251.87 MiB)
10:46:20 VK fields saved to "/tmp/d7c6091f/bb/tmp-WeCu8H/vk_fields.json" (mem: 251.87 MiB)
10:46:20 [10:46:20.470]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4274 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4273.448711999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:46:20 [10:46:20.474]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:20 [10:46:20.474]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/d7c6091f/bb/tmp-xZxJxG/proof -k /tmp/d7c6091f/bb/tmp-xZxJxG/vk -i /tmp/d7c6091f/bb/tmp-xZxJxG/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:20 [10:46:20.540]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.74 MiB)
10:46:20 Scheme is: ultra_honk, num threads: 128 (mem: 252.74 MiB)
10:46:20 --public_inputs_path: /tmp/d7c6091f/bb/tmp-xZxJxG/public_inputs (mem: 252.74 MiB)
10:46:20 --proof_path: /tmp/d7c6091f/bb/tmp-xZxJxG/proof (mem: 252.74 MiB)
10:46:20 --vk_path: /tmp/d7c6091f/bb/tmp-xZxJxG/vk (mem: 252.74 MiB)
10:46:20 --verbose: true (mem: 252.74 MiB)
10:46:20 --scheme: ultra_honk (mem: 252.74 MiB)
10:46:20 --oracle_hash: poseidon2 (mem: 252.74 MiB)
10:46:20 --disable_zk: true (mem: 252.74 MiB)
10:46:20 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.74 MiB)
10:46:20 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.74 MiB)
10:46:20 Initialized BN254 CRS from memory with num points = 1 (mem: 252.74 MiB)
10:46:20 sumcheck_verified: 1 (mem: 252.74 MiB)
10:46:20 libra_evals_verified: 1 (mem: 252.74 MiB)
10:46:20 pairing_check_verified: 1 (mem: 252.74 MiB)
10:46:20 Proof verified successfully (mem: 252.74 MiB)
10:46:20 verified: 1 (mem: 252.74 MiB)
10:46:20 [10:46:20.548]
INFO:
bb-prover Successfully verified proof from key in 74.83802099999957 ms
10:46:20 [10:46:20.672]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.94 MiB)
10:46:20 [10:46:20.849]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.94 MiB)
10:46:20 finished decider proving. (mem: 252.94 MiB)
10:46:20 [10:46:20.850]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/d7c6091f/bb/tmp-szEtdH/public_inputs" (mem: 252.94 MiB)
10:46:20 Public inputs fields saved to "/tmp/d7c6091f/bb/tmp-szEtdH/public_inputs_fields.json" (mem: 252.94 MiB)
10:46:20 Proof saved to "/tmp/d7c6091f/bb/tmp-szEtdH/proof" (mem: 252.94 MiB)
10:46:20 [10:46:20.851]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.95 MiB)
10:46:20 [10:46:20.851]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/d7c6091f/bb/tmp-szEtdH/proof_fields.json" (mem: 252.94 MiB)
10:46:20 VK saved to "/tmp/d7c6091f/bb/tmp-szEtdH/vk" (mem: 252.94 MiB)
10:46:20 VK fields saved to "/tmp/d7c6091f/bb/tmp-szEtdH/vk_fields.json" (mem: 252.94 MiB)
10:46:20 [10:46:20.973]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4815 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4814.978114000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:46:20 [10:46:20.977]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:20 [10:46:20.978]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/d7c6091f/bb/tmp-HAvKfc/proof -k /tmp/d7c6091f/bb/tmp-HAvKfc/vk -i /tmp/d7c6091f/bb/tmp-HAvKfc/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:21 [10:46:20.998]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.95 MiB)
10:46:21 finished decider proving. (mem: 252.95 MiB)
10:46:21 Public inputs saved to "/tmp/d7c6091f/bb/tmp-c5vyNT/public_inputs" (mem: 252.95 MiB)
10:46:21 Public inputs fields saved to "/tmp/d7c6091f/bb/tmp-c5vyNT/public_inputs_fields.json" (mem: 252.95 MiB)
10:46:21 Proof saved to "/tmp/d7c6091f/bb/tmp-c5vyNT/proof" (mem: 252.95 MiB)
10:46:21 Proof fields saved to "/tmp/d7c6091f/bb/tmp-c5vyNT/proof_fields.json" (mem: 252.95 MiB)
10:46:21 VK saved to "/tmp/d7c6091f/bb/tmp-c5vyNT/vk" (mem: 252.95 MiB)
10:46:21 VK fields saved to "/tmp/d7c6091f/bb/tmp-c5vyNT/vk_fields.json" (mem: 252.95 MiB)
10:46:21 [10:46:21.003]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.97 MiB)
10:46:21 Scheme is: ultra_honk, num threads: 128 (mem: 252.97 MiB)
10:46:21 --public_inputs_path: /tmp/d7c6091f/bb/tmp-HAvKfc/public_inputs (mem: 252.97 MiB)
10:46:21 [10:46:21.007]
VERBOSE:
bb-prover bb-prover (verify) BB out - --proof_path: /tmp/d7c6091f/bb/tmp-HAvKfc/proof (mem: 252.97 MiB)
10:46:21 --vk_path: /tmp/d7c6091f/bb/tmp-HAvKfc/vk (mem: 252.97 MiB)
10:46:21 --verbose: true (mem: 252.97 MiB)
10:46:21 --scheme: ultra_honk (mem: 252.97 MiB)
10:46:21 --oracle_hash: poseidon2 (mem: 252.97 MiB)
10:46:21 --disable_zk: true (mem: 252.97 MiB)
10:46:21 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.97 MiB)
10:46:21 [10:46:21.021]
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"
10:46:21 [10:46:21.021]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
10:46:21 [10:46:21.022]
VERBOSE:
bb-prover bb-prover (verify) BB out - 252.97
10:46:21 [10:46:21.022]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
10:46:21 [10:46:21.022]
VERBOSE:
bb-prover bb-prover (verify) BB out -
10:46:21 [10:46:21.023]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1
10:46:21 [10:46:21.024]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
10:46:21 [10:46:21.026]
VERBOSE:
bb-prover bb-prover (verify) BB out - 252.97 MiB)
10:46:21 sumcheck_verified: 1 (mem: 252.97 MiB)
10:46:21 libra_evals_verified: 1 (mem: 252.97 MiB)
10:46:21 pairing_check_verified: 1 (mem: 252.97 MiB)
10:46:21 Proof verified successfully (mem: 252.97 MiB)
10:46:21 verified: 1 (mem: 252.97 MiB)
10:46:21 [10:46:21.027]
INFO:
bb-prover Successfully verified proof from key in 49.84826500000054 ms
10:46:21 [10:46:21.086]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4888 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4887.770566000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:46:21 [10:46:21.091]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:21 [10:46:21.091]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/d7c6091f/bb/tmp-Yw5tCG/proof -k /tmp/d7c6091f/bb/tmp-Yw5tCG/vk -i /tmp/d7c6091f/bb/tmp-Yw5tCG/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:21 [10:46:21.118]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
10:46:21 [10:46:21.119]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
10:46:21 [10:46:21.119]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.68
10:46:21 [10:46:21.119]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
10:46:21 [10:46:21.120]
VERBOSE:
bb-prover bb-prover (verify) BB out -
10:46:21 [10:46:21.120]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128
10:46:21 [10:46:21.121]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.68 MiB)
10:46:21 --public_inputs_path: /tmp/d7c6091f/bb/tmp-Yw5tCG/public_inputs (mem: 251.68 MiB)
10:46:21 --proof_path: /tmp/d7c6091f/bb/tmp-Yw5tCG/proof (mem: 251.68 MiB)
10:46:21 --vk_path: /tmp/d7c6091f/bb/tmp-Yw5tCG/vk (mem: 251.68 MiB)
10:46:21 --verbose: true (mem: 251.68 MiB)
10:46:21 --scheme: ultra_honk (mem: 251.68 MiB)
10:46:21 --oracle_hash: poseidon2 (mem: 251.68 MiB)
10:46:21 --disable_zk: true (mem: 251.68 MiB)
10:46:21 [10:46:21.128]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.68 MiB)
10:46:21 [10:46:21.142]
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"
10:46:21 [10:46:21.143]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
10:46:21 [10:46:21.143]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.68
10:46:21 [10:46:21.145]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
10:46:21 Initialized BN254 CRS from memory with num points = 1 (mem: 251.68 MiB)
10:46:21 [10:46:21.145]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.68 MiB)
10:46:21 libra_evals_verified: 1 (mem: 251.68 MiB)
10:46:21 pairing_check_verified: 1 (mem: 251.68 MiB)
10:46:21 Proof verified successfully (mem: 251.68 MiB)
10:46:21 verified: 1 (mem: 251.68 MiB)
10:46:21 [10:46:21.147]
INFO:
bb-prover Successfully verified proof from key in 56.79444599999988 ms
10:46:21 [10:46:21.154]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.94 MiB)
10:46:21 [10:46:21.267]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.94 MiB)
10:46:21 finished decider proving. (mem: 252.94 MiB)
10:46:21 Public inputs saved to "/tmp/d7c6091f/bb/tmp-CM1XlA/public_inputs" (mem: 252.94 MiB)
10:46:21 Public inputs fields saved to "/tmp/d7c6091f/bb/tmp-CM1XlA/public_inputs_fields.json" (mem: 252.94 MiB)
10:46:21 Proof saved to "/tmp/d7c6091f/bb/tmp-CM1XlA/proof" (mem: 252.94 MiB)
10:46:21 Proof fields saved to "/tmp/d7c6091f/bb/tmp-CM1XlA/proof_fields.json" (mem: 252.94 MiB)
10:46:21 VK saved to "/tmp/d7c6091f/bb/tmp-CM1XlA/vk" (mem: 252.94 MiB)
10:46:21 VK fields saved to "/tmp/d7c6091f/bb/tmp-CM1XlA/vk_fields.json" (mem: 252.94 MiB)
10:46:21 [10:46:21.317]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5181 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5180.587887,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:46:21 [10:46:21.320]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:21 [10:46:21.320]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/d7c6091f/bb/tmp-CvUEo3/proof -k /tmp/d7c6091f/bb/tmp-CvUEo3/vk -i /tmp/d7c6091f/bb/tmp-CvUEo3/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:21 [10:46:21.348]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.13 MiB)
10:46:21 Scheme is: ultra_honk, num threads: 128 (mem: 253.13 MiB)
10:46:21 --public_inputs_path: /tmp/d7c6091f/bb/tmp-CvUEo3/public_inputs (mem: 253.13 MiB)
10:46:21 --proof_path: /tmp/d7c6091f/bb/tmp-CvUEo3/proof (mem: 253.13 MiB)
10:46:21 --vk_path: /tmp/d7c6091f/bb/tmp-CvUEo3/vk (mem: 253.13 MiB)
10:46:21 --verbose: true (mem: 253.13 MiB)
10:46:21 --scheme: ultra_honk (mem: 253.13 MiB)
10:46:21 --oracle_hash: poseidon2 (mem: 253.13 MiB)
10:46:21 --disable_zk: true (mem: 253.13 MiB)
10:46:21 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.13 MiB)
10:46:21 [10:46:21.367]
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.13 MiB)
10:46:21 Initialized BN254 CRS from memory with num points = 1 (mem: 253.13 MiB)
10:46:21 [10:46:21.368]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.13 MiB)
10:46:21 libra_evals_verified: 1 (mem: 253.13 MiB)
10:46:21 pairing_check_verified: 1 (mem: 253.13 MiB)
10:46:21 Proof verified successfully (mem: 253.13 MiB)
10:46:21 verified: 1 (mem: 253.13 MiB)
10:46:21 [10:46:21.370]
INFO:
bb-prover Successfully verified proof from key in 49.928280000000086 ms
10:46:21 [10:46:21.398]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:21 [10:46:21.398]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/d7c6091f/bb/tmp-5NH7HY/proof -k /tmp/d7c6091f/bb/tmp-5NH7HY/vk -i /tmp/d7c6091f/bb/tmp-5NH7HY/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:21 [10:46:21.424]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:21 [10:46:21.425]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/d7c6091f/bb/tmp-gcbdRP/proof -k /tmp/d7c6091f/bb/tmp-gcbdRP/vk -i /tmp/d7c6091f/bb/tmp-gcbdRP/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:21 [10:46:21.458]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:21 [10:46:21.458]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/d7c6091f/bb/tmp-2ymtoe/proof -k /tmp/d7c6091f/bb/tmp-2ymtoe/vk -i /tmp/d7c6091f/bb/tmp-2ymtoe/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:21 [10:46:21.481]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:21 [10:46:21.482]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/d7c6091f/bb/tmp-hk7RyG/proof -k /tmp/d7c6091f/bb/tmp-hk7RyG/vk -i /tmp/d7c6091f/bb/tmp-hk7RyG/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:21 [10:46:21.528]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.15 MiB)
10:46:21 Scheme is: ultra_honk, num threads: 128 (mem: 253.15 MiB)
10:46:21 --public_inputs_path: /tmp/d7c6091f/bb/tmp-5NH7HY/public_inputs (mem: 253.15 MiB)
10:46:21 --proof_path: /tmp/d7c6091f/bb/tmp-5NH7HY/proof (mem: 253.15 MiB)
10:46:21 --vk_path: /tmp/d7c6091f/bb/tmp-5NH7HY/vk (mem: 253.15 MiB)
10:46:21 --verbose: true (mem: 253.15 MiB)
10:46:21 --scheme: ultra_honk (mem: 253.15 MiB)
10:46:21 --oracle_hash: poseidon2 (mem: 253.15 MiB)
10:46:21 --disable_zk: true (mem: 253.15 MiB)
10:46:21 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.15 MiB)
10:46:21 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.15 MiB)
10:46:21 Initialized BN254 CRS from memory with num points = 1 (mem: 253.15 MiB)
10:46:21 sumcheck_verified: 1 (mem: 253.15 MiB)
10:46:21 libra_evals_verified: 1 (mem: 253.15 MiB)
10:46:21 pairing_check_verified: 1 (mem: 253.15 MiB)
10:46:21 Proof verified successfully (mem: 253.15 MiB)
10:46:21 verified: 1 (mem: 253.15 MiB)
10:46:21 [10:46:21.529]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.15 MiB)
10:46:21 Scheme is: ultra_honk, num threads: 128 (mem: 253.15 MiB)
10:46:21 --public_inputs_path: /tmp/d7c6091f/bb/tmp-gcbdRP/public_inputs (mem: 253.15 MiB)
10:46:21 --proof_path: /tmp/d7c6091f/bb/tmp-gcbdRP/proof (mem: 253.15 MiB)
10:46:21 --vk_path: /tmp/d7c6091f/bb/tmp-gcbdRP/vk (mem: 253.15 MiB)
10:46:21 --verbose: true (mem: 253.15 MiB)
10:46:21 --scheme: ultra_honk (mem: 253.15 MiB)
10:46:21 --oracle_hash: poseidon2 (mem: 253.15 MiB)
10:46:21 --disable_zk: true (mem: 253.15 MiB)
10:46:21 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.15 MiB)
10:46:21 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.15 MiB)
10:46:21 Initialized BN254 CRS from memory with num points = 1 (mem: 253.15 MiB)
10:46:21 sumcheck_verified: 1 (mem: 253.15 MiB)
10:46:21 libra_evals_verified: 1 (mem: 253.15 MiB)
10:46:21 pairing_check_verified: 1 (mem: 253.15 MiB)
10:46:21 Proof verified successfully (mem: 253.15 MiB)
10:46:21 verified: 1 (mem: 253.15 MiB)
10:46:21 [10:46:21.530]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.15 MiB)
10:46:21 Scheme is: ultra_honk, num threads: 128 (mem: 253.15 MiB)
10:46:21 --public_inputs_path: /tmp/d7c6091f/bb/tmp-2ymtoe/public_inputs (mem: 253.15 MiB)
10:46:21 --proof_path: /tmp/d7c6091f/bb/tmp-2ymtoe/proof (mem: 253.15 MiB)
10:46:21 --vk_path: /tmp/d7c6091f/bb/tmp-2ymtoe/vk (mem: 253.15 MiB)
10:46:21 --verbose: true (mem: 253.15 MiB)
10:46:21 --scheme: ultra_honk (mem: 253.15 MiB)
10:46:21 --oracle_hash: poseidon2 (mem: 253.15 MiB)
10:46:21 --disable_zk: true (mem: 253.15 MiB)
10:46:21 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.15 MiB)
10:46:21 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.15 MiB)
10:46:21 Initialized BN254 CRS from memory with num points = 1 (mem: 253.15 MiB)
10:46:21 sumcheck_verified: 1 (mem: 253.15 MiB)
10:46:21 libra_evals_verified: 1 (mem: 253.15 MiB)
10:46:21 pairing_check_verified: 1 (mem: 253.15 MiB)
10:46:21 Proof verified successfully (mem: 253.15 MiB)
10:46:21 verified: 1 (mem: 253.15 MiB)
10:46:21 [10:46:21.531]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.15 MiB)
10:46:21 Scheme is: ultra_honk, num threads: 128 (mem: 253.15 MiB)
10:46:21 --public_inputs_path: /tmp/d7c6091f/bb/tmp-hk7RyG/public_inputs (mem: 253.15 MiB)
10:46:21 --proof_path: /tmp/d7c6091f/bb/tmp-hk7RyG/proof (mem: 253.15 MiB)
10:46:21 --vk_path: /tmp/d7c6091f/bb/tmp-hk7RyG/vk (mem: 253.15 MiB)
10:46:21 --verbose: true (mem: 253.15 MiB)
10:46:21 --scheme: ultra_honk (mem: 253.15 MiB)
10:46:21 --oracle_hash: poseidon2 (mem: 253.15 MiB)
10:46:21 --disable_zk: true (mem: 253.15 MiB)
10:46:21 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.15 MiB)
10:46:21 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.15 MiB)
10:46:21 Initialized BN254 CRS from memory with num points = 1 (mem: 253.15 MiB)
10:46:21 sumcheck_verified: 1 (mem: 253.15 MiB)
10:46:21 libra_evals_verified: 1 (mem: 253.15 MiB)
10:46:21 pairing_check_verified: 1 (mem: 253.15 MiB)
10:46:21 Proof verified successfully (mem: 253.15 MiB)
10:46:21 verified: 1 (mem: 253.15 MiB)
10:46:21 [10:46:21.532]
INFO:
bb-prover Successfully verified proof from key in 73.91477300000042 ms
10:46:21 [10:46:21.532]
INFO:
bb-prover Successfully verified proof from key in 109.00593100000151 ms
10:46:21 [10:46:21.533]
INFO:
bb-prover Successfully verified proof from key in 135.1547210000008 ms
10:46:21 [10:46:21.534]
INFO:
bb-prover Successfully verified proof from key in 52.53817600000002 ms
10:46:21 [10:46:21.801]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":119.1260029999994,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:21 [10:46:21.803]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:46:21 [10:46:21.804]
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/d7c6091f/bb/tmp-JyI3Ni -b /tmp/d7c6091f/bb/tmp-JyI3Ni/RootParityArtifact-bytecode -w /tmp/d7c6091f/bb/tmp-JyI3Ni/partial-witness.gz -v --init_kzg_accumulator -v
10:46:21 [10:46:21.835]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.15 MiB)
10:46:21 Scheme is: ultra_honk, num threads: 128 (mem: 253.15 MiB)
10:46:21 --scheme: ultra_honk (mem: 253.15 MiB)
10:46:21 --bytecode_path: /tmp/d7c6091f/bb/tmp-JyI3Ni/RootParityArtifact-bytecode (mem: 253.15 MiB)
10:46:21 --witness_path: /tmp/d7c6091f/bb/tmp-JyI3Ni/partial-witness.gz (mem: 253.15 MiB)
10:46:21 --output_path: /tmp/d7c6091f/bb/tmp-JyI3Ni (mem: 253.15 MiB)
10:46:21 Warning: the following option is called more than once (mem: 253.15 MiB)
10:46:21 --verbose: true (mem: 253.15 MiB)
10:46:21 --oracle_hash: poseidon2 (mem: 253.15 MiB)
10:46:21 --output_format: bytes_and_fields (mem: 253.15 MiB)
10:46:21 --write_vk: true (mem: 253.15 MiB)
10:46:21 --disable_zk: true (mem: 253.15 MiB)
10:46:21 --init_kzg_accumulator: true (mem: 253.15 MiB)
10:46:22 [10:46:22.023]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.15 MiB)
10:46:24 [10:46:24.025]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 421.97 MiB)
10:46:26 [10:46:26.491]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 784.12 MiB)
10:46:28 [10:46:28.830]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1057.53 MiB)
10:46:31 [10:46:31.494]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1427.79 MiB)
10:46:31 [10:46:31.495]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1427.79 MiB)
10:46:32 [10:46:32.885]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1842.54 MiB)
10:46:33 [10:46:33.291]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5485.71 MiB)
10:46:35 [10:46:35.315]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3816 ms. (mem: 6062.71 MiB)
10:46:35 [10:46:35.452]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6062.71 MiB)
10:46:35 [10:46:35.455]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6062.71 MiB)
10:46:36 [10:46:36.363]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6062.71 MiB)
10:46:41 [10:46:41.177]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6062.71 MiB)
10:46:46 [10:46:46.621]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6062.71 MiB)
10:46:48 [10:46:48.700]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6743.88 MiB)
10:46:51 [10:46:51.788]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck
10:46:51 [10:46:51.789]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6743.88 MiB)
10:46:59 [10:46:59.273]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6743.88 MiB)
10:47:01 [10:47:01.022]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6743.88 MiB)
10:47:01 [10:47:01.040]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6743.88 MiB)
10:47:01 [10:47:01.472]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/d7c6091f/bb/tmp-JyI3Ni/public_inputs" (mem: 6743.88 MiB)
10:47:01 Public inputs fields saved to "/tmp/d7c6091f/bb/tmp-JyI3Ni/public_inputs_fields.json" (mem: 6743.88 MiB)
10:47:01 Proof saved to "/tmp/d7c6091f/bb/tmp-JyI3Ni/proof" (mem:
10:47:01 [10:47:01.473]
INFO:
bb-prover RootParityArtifact BB out - 6743.88 MiB)
10:47:01 Proof fields saved to "/tmp/d7c6091f/bb/tmp-JyI3Ni/proof_fields.json" (mem: 6743.88 MiB)
10:47:01 VK saved to "/tmp/d7c6091f/bb/tmp-JyI3Ni/vk" (mem: 6743.88 MiB)
10:47:01 VK fields saved to "/tmp/d7c6091f/bb/tmp-JyI3Ni/vk_fields.json" (mem: 6743.88 MiB)
10:47:01 [10:47:01.656]
INFO:
bb-prover Generated proof for RootParityArtifact in 39850 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":39849.377488,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:47:01 [10:47:01.661]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:47:01 [10:47:01.661]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/d7c6091f/bb/tmp-iIxNxq/proof -k /tmp/d7c6091f/bb/tmp-iIxNxq/vk -i /tmp/d7c6091f/bb/tmp-iIxNxq/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:47:01 [10:47:01.693]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.18 MiB)
10:47:01 Scheme is: ultra_honk, num threads: 128 (mem: 252.18 MiB)
10:47:01 --public_inputs_path: /tmp/d7c6091f/bb/tmp-iIxNxq/public_inputs (mem: 252.18 MiB)
10:47:01 --proof_path: /tmp/d7c6091f/bb/tmp-iIxNxq/proof (mem: 252.18 MiB)
10:47:01 --vk_path: /tmp/d7c6091f/bb/tmp-iIxNxq/vk (mem: 252.18 MiB)
10:47:01 --verbose: true (mem: 252.18 MiB)
10:47:01 --scheme: ultra_honk (mem: 252.18 MiB)
10:47:01 --oracle_hash: poseidon2 (mem: 252.18 MiB)
10:47:01 --disable_zk: true (mem: 252.18 MiB)
10:47:01 [10:47:01.694]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 252.18 MiB)
10:47:01 [10:47:01.714]
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.18 MiB)
10:47:01 [10:47:01.714]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 252.18 MiB)
10:47:01 [10:47:01.715]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.18 MiB)
10:47:01 libra_evals_verified: 1 (mem: 252.18 MiB)
10:47:01 pairing_check_verified: 1 (mem: 252.18 MiB)
10:47:01 Proof verified successfully (mem: 252.18 MiB)
10:47:01 [10:47:01.716]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 252.18 MiB)
10:47:01 [10:47:01.717]
INFO:
bb-prover Successfully verified proof from key in 56.94418199999927 ms
10:47:01 [10:47:01.721]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:47:01 [10:47:01.721]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/d7c6091f/bb/tmp-YSwT9b/proof -k /tmp/d7c6091f/bb/tmp-YSwT9b/vk -i /tmp/d7c6091f/bb/tmp-YSwT9b/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:47:01 [10:47:01.745]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.15 MiB)
10:47:01 Scheme is: ultra_honk, num threads: 128 (mem: 253.15 MiB)
10:47:01 --public_inputs_path: /tmp/d7c6091f/bb/tmp-YSwT9b/public_inputs (mem: 253.15 MiB)
10:47:01 --proof_path: /tmp/d7c6091f/bb/tmp-YSwT9b/proof (mem: 253.15 MiB)
10:47:01 --vk_path: /tmp/d7c6091f/bb/tmp-YSwT9b/vk (mem: 253.15 MiB)
10:47:01 --verbose: true (mem: 253.15 MiB)
10:47:01 --scheme: ultra_honk (mem: 253.15 MiB)
10:47:01 --oracle_hash: poseidon2 (mem: 253.15 MiB)
10:47:01 --disable_zk: true (mem: 253.15 MiB)
10:47:01 [10:47:01.746]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.15 MiB)
10:47:01 [10:47:01.762]
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.15 MiB)
10:47:01 Initialized BN254 CRS from memory with num points = 1 (mem: 253.15 MiB)
10:47:01 [10:47:01.763]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.15 MiB)
10:47:01 libra_evals_verified: 1 (mem: 253.15 MiB)
10:47:01 pairing_check_verified: 1 (mem: 253.15 MiB)
10:47:01 Proof verified successfully (mem: 253.15 MiB)
10:47:01 verified: 1 (mem: 253.15 MiB)
10:47:01 [10:47:01.764]
INFO:
bb-prover Successfully verified proof from key in 43.60350599999947 ms
10:47:01 [10:47:01.844]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
10:47:01
10:47:01 [10:47:01.845]
ERROR:
bb-prover Error running operation at /tmp/d7c6091f/bb/tmp-u1dUsB: Error: Failed to generate witness: Failed assertion
10:47:01
10:47:02 [10:47:02.036]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":82.4006670000017,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
10:47:02 [10:47:02.038]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:47:02 [10:47:02.038]
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/d7c6091f/bb/tmp-8nHD0t -b /tmp/d7c6091f/bb/tmp-8nHD0t/RootParityArtifact-bytecode -w /tmp/d7c6091f/bb/tmp-8nHD0t/partial-witness.gz -v --init_kzg_accumulator -v
10:47:02 [10:47:02.061]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.15 MiB)
10:47:02 Scheme is: ultra_honk, num threads: 128 (mem: 253.15 MiB)
10:47:02 --scheme: ultra_honk (mem: 253.15 MiB)
10:47:02 --bytecode_path: /tmp/d7c6091f/bb/tmp-8nHD0t/RootParityArtifact-bytecode (mem: 253.15 MiB)
10:47:02 --witness_path: /tmp/d7c6091f/bb/tmp-8nHD0t/partial-witness.gz (mem: 253.15 MiB)
10:47:02 --output_path: /tmp/d7c6091f/bb/tmp-8nHD0t (mem: 253.15 MiB)
10:47:02 Warning: the following option is called more than once (mem: 253.15 MiB)
10:47:02 --verbose: true (mem: 253.15 MiB)
10:47:02 --oracle_hash: poseidon2 (mem: 253.15 MiB)
10:47:02 --output_format: bytes_and_fields (mem: 253.15 MiB)
10:47:02 --write_vk: true (mem: 253.15 MiB)
10:47:02 --disable_zk: true (mem: 253.15 MiB)
10:47:02 --init_kzg_accumulator: true (mem: 253.15 MiB)
10:47:02 [10:47:02.249]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.15 MiB)
10:47:02 [10:47:02.264]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.15 MiB)
10:47:04 [10:47:04.152]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 419.09 MiB)
10:47:06 [10:47:06.837]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 786.64 MiB)
10:47:08 [10:47:08.911]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1058.71 MiB)
10:47:11 [10:47:11.299]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1429.80 MiB)
10:47:11 Constructing DeciderProvingKey (mem: 1429.80 MiB)
10:47:12 [10:47:12.719]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1842.61 MiB)
10:47:13 [10:47:13.147]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5481.53 MiB)
10:47:14 [10:47:14.840]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3542 ms. (mem: 6061.53 MiB)
10:47:14 [10:47:14.963]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6061.53 MiB)
10:47:14 [10:47:14.963]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6061.53 MiB)
10:47:15 [10:47:15.810]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6061.53 MiB)
10:47:19 [10:47:19.519]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6061.53 MiB)
10:47:23 [10:47:23.789]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6061.53 MiB)
10:47:25 [10:47:25.429]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6801.07 MiB)
10:47:27 [10:47:27.548]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck
10:47:27 [10:47:27.549]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6801.07 MiB)
10:47:34 [10:47:34.175]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6801.07 MiB)
10:47:36 [10:47:36.282]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6801.07 MiB)
10:47:36 [10:47:36.324]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6801.07 MiB)
10:47:36 [10:47:36.854]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/d7c6091f/bb/tmp-8nHD0t/public_inputs" (mem: 6801.07 MiB)
10:47:36 Public inputs fields saved to "/tmp/d7c6091f/bb/tmp-8nHD0t/public_inputs_fields.json" (mem: 6801.07 MiB)
10:47:36 [10:47:36.855]
INFO:
bb-prover RootParityArtifact BB out - Proof saved to "/tmp/d7c6091f/bb/tmp-8nHD0t/proof" (mem: 6801.07 MiB)
10:47:36 Proof fields saved to "/tmp/d7c6091f/bb/tmp-8nHD0t/proof_fields.json" (mem: 6801.07 MiB)
10:47:36 VK saved to "/tmp/d7c6091f/bb/tmp-8nHD0t/vk" (mem: 6801.07 MiB)
10:47:36 VK fields saved to "/tmp/d7c6091f/bb/tmp-8nHD0t/vk_fields.json" (mem: 6801.07 MiB)
10:47:37 [10:47:37.027]
INFO:
bb-prover Generated proof for RootParityArtifact in 34986 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34985.709651000005,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:47:37 [10:47:37.030]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:47:37 [10:47:37.030]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/d7c6091f/bb/tmp-7alGbL/proof -k /tmp/d7c6091f/bb/tmp-7alGbL/vk -i /tmp/d7c6091f/bb/tmp-7alGbL/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:47:37 [10:47:37.059]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.15 MiB)
10:47:37 [10:47:37.059]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.15 MiB)
10:47:37 --public_inputs_path: /tmp/d7c6091f/bb/tmp-7alGbL/public_inputs (mem: 253.15 MiB)
10:47:37 --proof_path: /tmp/d7c6091f/bb/tmp-7alGbL/proof (mem: 253.15 MiB)
10:47:37 --vk_path: /tmp/d7c6091f/bb/tmp-7alGbL/vk (mem: 253.15 MiB)
10:47:37 --verbose: true (mem: 253.15 MiB)
10:47:37 --scheme: ultra_honk (mem: 253.15 MiB)
10:47:37 --oracle_hash: poseidon2 (mem: 253.15 MiB)
10:47:37 --disable_zk: true (mem: 253.15 MiB)
10:47:37 [10:47:37.061]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.15 MiB)
10:47:37 [10:47:37.071]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.15 MiB)
10:47:37 Proof verification failed (mem: 253.15 MiB)
10:47:37 verified: 0 (mem: 253.15 MiB)
10:47:37 [10:47:37.075]
ERROR:
bb-prover Error running operation at /tmp/d7c6091f/bb/tmp-7alGbL: ProvingError: Failed to verify proof from key!
10:47:37 [10:47:37.259]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":81.53344899999502,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:47:37 [10:47:37.261]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:47:37 [10:47:37.262]
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/d7c6091f/bb/tmp-h3GVQJ -b /tmp/d7c6091f/bb/tmp-h3GVQJ/RootParityArtifact-bytecode -w /tmp/d7c6091f/bb/tmp-h3GVQJ/partial-witness.gz -v --init_kzg_accumulator -v
10:47:37 [10:47:37.287]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.15 MiB)
10:47:37 [10:47:37.288]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.15 MiB)
10:47:37 --scheme: ultra_honk (mem: 253.15 MiB)
10:47:37 --bytecode_path: /tmp/d7c6091f/bb/tmp-h3GVQJ/RootParityArtifact-bytecode (mem: 253.15 MiB)
10:47:37 --witness_path: /tmp/d7c6091f/bb/tmp-h3GVQJ/partial-witness.gz (mem: 253.15 MiB)
10:47:37 --output_path: /tmp/d7c6091f/bb/tmp-h3GVQJ (mem: 253.15 MiB)
10:47:37 Warning: the following option is called more than once (mem: 253.15 MiB)
10:47:37 --verbose: true (mem: 253.15 MiB)
10:47:37 --oracle_hash: poseidon2 (mem: 253.15 MiB)
10:47:37 --output_format: bytes_and_fields (mem: 253.15 MiB)
10:47:37 --write_vk: true (mem: 253.15 MiB)
10:47:37 --disable_zk: true (mem: 253.15 MiB)
10:47:37 --init_kzg_accumulator: true (mem: 253.15 MiB)
10:47:37 [10:47:37.457]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.15 MiB)
10:47:37 [10:47:37.469]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.15 MiB)
10:47:39 [10:47:39.531]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 421.25 MiB)
10:47:41 [10:47:41.899]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 790.34 MiB)
10:47:43 [10:47:43.972]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1063.52 MiB)
10:47:46 [10:47:46.286]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1430.99 MiB)
10:47:46 [10:47:46.286]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1430.99 MiB)
10:47:47 [10:47:47.591]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1843.91 MiB)
10:47:48 [10:47:48.113]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5477.45 MiB)
10:47:49 [10:47:49.602]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3315 ms. (mem: 6057.45 MiB)
10:47:49 [10:47:49.733]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6057.45 MiB)
10:47:49 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6057.45 MiB)
10:47:50 [10:47:50.437]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6057.45 MiB)
10:47:53 [10:47:53.719]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6057.45 MiB)
10:47:58 [10:47:58.115]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6057.45 MiB)
10:47:59 [10:47:59.868]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6778.72 MiB)
10:48:01 [10:48:01.996]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6778.72 MiB)
10:48:08 [10:48:08.439]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6778.72 MiB)
10:48:10 [10:48:10.248]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6778.72 MiB)
10:48:10 [10:48:10.258]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6778.72 MiB)
10:48:10 [10:48:10.698]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/d7c6091f/bb/tmp-h3GVQJ/public_inputs" (mem: 6778.72 MiB)
10:48:10 [10:48:10.698]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/d7c6091f/bb/tmp-h3GVQJ/public_inputs_fields.json" (mem: 6778.72 MiB)
10:48:10 Proof saved to "/tmp/d7c6091f/bb/tmp-h3GVQJ/proof" (mem: 6778.72 MiB)
10:48:10 Proof fields saved to "/tmp/d7c6091f/bb/tmp-h3GVQJ/proof_fields.json" (mem: 6778.72 MiB)
10:48:10 VK saved to "/tmp/d7c6091f/bb/tmp-h3GVQJ/vk" (mem: 6778.72 MiB)
10:48:10 VK fields saved to "/tmp/d7c6091f/bb/tmp-h3GVQJ/vk_fields.json" (mem: 6778.72 MiB)
10:48:10 [10:48:10.889]
INFO:
bb-prover Generated proof for RootParityArtifact in 33626 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":33625.333847,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:48:10 [10:48:10.891]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:48:10 [10:48:10.891]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/d7c6091f/bb/tmp-RNPzoU/proof -k /tmp/d7c6091f/bb/tmp-RNPzoU/vk -i /tmp/d7c6091f/bb/tmp-RNPzoU/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:48:10 [10:48:10.913]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.15 MiB)
10:48:10 Scheme is: ultra_honk, num threads: 128 (mem: 253.15 MiB)
10:48:10 --public_inputs_path: /tmp/d7c6091f/bb/tmp-RNPzoU/public_inputs (mem: 253.15 MiB)
10:48:10 --proof_path: /tmp/d7c6091f/bb/tmp-RNPzoU/proof (mem: 253.15 MiB)
10:48:10 --vk_path: /tmp/d7c6091f/bb/tmp-RNPzoU/vk (mem: 253.15 MiB)
10:48:10 --verbose: true (mem: 253.15 MiB)
10:48:10 --scheme: ultra_honk (mem: 253.15 MiB)
10:48:10 --oracle_hash: poseidon2 (mem: 253.15 MiB)
10:48:10 --disable_zk: true (mem: 253.15 MiB)
10:48:10 [10:48:10.914]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.15 MiB)
10:48:10 [10:48:10.926]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.15 MiB)
10:48:10 Proof verification failed (mem: 253.15 MiB)
10:48:10 verified: 0 (mem: 253.15 MiB)
10:48:10 [10:48:10.928]
ERROR:
bb-prover Error running operation at /tmp/d7c6091f/bb/tmp-RNPzoU: ProvingError: Failed to verify proof from key!
10:48:10 [10:48:10.931]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
10:48:10
PASS src/test/bb_prover_parity.test.ts (
123.345 s)
10:48:10 prover/bb_prover/parity
10:48:10
✓ proves the parity circuits (115060 ms)
10:48:10
10:48:10
Test Suites: 1 passed, 1 total
10:48:10
Tests: 1 passed, 1 total
10:48:10
Snapshots: 0 total
10:48:10
Time: 123.437 s
10:48:10
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
10:48:10
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?