Parent Log:
http://ci.aztec-labs.com/7a087b69b554906e
Command: a1fcfb018e125472: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/308037ad9b1489540aedbb57a9dac3d71282010e
Env: REF_NAME=gh-readonly-queue/next/pr-15152-cb89edc02f7d386e48ee81660565d91895a3464b CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 12:35:32 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15152_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
12:35:32 +++ id -u
12:35:32 +++ id -g
12:35:32 ++ 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'\'''
12:35:33 + cid=a7e393c37ce484e74f59dbb343b78c1fe9ab14f2d787f84b6ef4a50f5f47537d
12:35:33 + set +x
12:35:35 {"level":25,"time":1750422935084,"pid":7,"hostname":"a7e393c37ce4","module":"logger","msg":"Logger initialized with level verbose"}
12:35:44 [12:35:44.785]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-ULHX8M/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
12:35:44 [12:35:44.869]
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/8ea731b1/bb
12:35:44 [12:35:44.873]
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/8ea731b1/acvm
12:35:44 [12:35:44.879]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/8ea731b1/bb
12:35:44 [12:35:44.880]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/8ea731b1/acvm
12:35:44 [12:35:44.887]
INFO:
prover-client:proving-broker Proving Broker started
12:35:44 [12:35:44.898]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
12:35:45 [12:35:45.143]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":69.00333300000057,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
12:35:45 [12:35:45.162]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":103.3149740000008,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
12:35:45 [12:35:45.186]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":51.77667999999903,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
12:35:45 [12:35:45.190]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
12:35:45 [12:35:45.191]
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/8ea731b1/bb/tmp-6BqVzp -b /tmp/8ea731b1/bb/tmp-6BqVzp/BaseParityArtifact-bytecode -w /tmp/8ea731b1/bb/tmp-6BqVzp/partial-witness.gz -v --init_kzg_accumulator -v
12:35:45 [12:35:45.220]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
12:35:45 [12:35:45.220]
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/8ea731b1/bb/tmp-Lt3r2v -b /tmp/8ea731b1/bb/tmp-Lt3r2v/BaseParityArtifact-bytecode -w /tmp/8ea731b1/bb/tmp-Lt3r2v/partial-witness.gz -v --init_kzg_accumulator -v
12:35:45 [12:35:45.257]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.21 MiB)
12:35:45 Scheme is: ultra_honk, num threads: 128 (mem: 250.21 MiB)
12:35:45 --scheme: ultra_honk (mem: 250.21 MiB)
12:35:45 --bytecode_path: /tmp/8ea731b1/bb/tmp-6BqVzp/BaseParityArtifact-bytecode (mem: 250.21 MiB)
12:35:45 --witness_path: /tmp/8ea731b1/bb/tmp-6BqVzp/partial-witness.gz (mem: 250.21 MiB)
12:35:45 --output_path: /tmp/8ea731b1/bb/tmp-6BqVzp (mem: 250.21 MiB)
12:35:45 Warning: the following option is called more than once (mem: 250.21 MiB)
12:35:45 --verbose: true (mem: 250.21 MiB)
12:35:45 --oracle_hash: poseidon2 (mem: 250.21 MiB)
12:35:45 --output_format: bytes_and_fields (mem: 250.21 MiB)
12:35:45 --write_vk: true (mem: 250.21 MiB)
12:35:45 --disable_zk: true (mem: 250.21 MiB)
12:35:45 --init_kzg_accumulator: true (mem: 250.21 MiB)
12:35:45 [12:35:45.259]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.21 MiB)
12:35:45 Scheme is: ultra_honk, num threads: 128 (mem: 250.21 MiB)
12:35:45 --scheme: ultra_honk (mem: 250.21 MiB)
12:35:45 --bytecode_path: /tmp/8ea731b1/bb/tmp-Lt3r2v/BaseParityArtifact-bytecode (mem: 250.21 MiB)
12:35:45 --witness_path: /tmp/8ea731b1/bb/tmp-Lt3r2v/partial-witness.gz (mem: 250.21 MiB)
12:35:45 --output_path: /tmp/8ea731b1/bb/tmp-Lt3r2v (mem: 250.21 MiB)
12:35:45 Warning: the following option is called more than once (mem: 250.21 MiB)
12:35:45 --verbose: true (mem: 250.21 MiB)
12:35:45 --oracle_hash: poseidon2 (mem: 250.21 MiB)
12:35:45 --output_format: bytes_and_fields (mem: 250.21 MiB)
12:35:45 --write_vk: true (mem: 250.21 MiB)
12:35:45 --disable_zk: true (mem: 250.21 MiB)
12:35:45 --init_kzg_accumulator: true (mem: 250.21 MiB)
12:35:45 [12:35:45.260]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
12:35:45 [12:35:45.261]
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/8ea731b1/bb/tmp-3hRZrC -b /tmp/8ea731b1/bb/tmp-3hRZrC/BaseParityArtifact-bytecode -w /tmp/8ea731b1/bb/tmp-3hRZrC/partial-witness.gz -v --init_kzg_accumulator -v
12:35:45 [12:35:45.304]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":88.90913999999975,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
12:35:45 [12:35:45.306]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.21 MiB)
12:35:45 Scheme is: ultra_honk, num threads: 128 (mem: 250.21 MiB)
12:35:45 --scheme: ultra_honk (mem: 250.21 MiB)
12:35:45 --bytecode_path: /tmp/8ea731b1/bb/tmp-3hRZrC/BaseParityArtifact-bytecode (mem: 250.21 MiB)
12:35:45 --witness_path: /tmp/8ea731b1/bb/tmp-3hRZrC/partial-witness.gz (mem: 250.21 MiB)
12:35:45 --output_path: /tmp/8ea731b1/bb/tmp-3hRZrC (mem: 250.21 MiB)
12:35:45 Warning: the following option is called more than once (mem: 250.21 MiB)
12:35:45 --verbose: true (mem: 250.21 MiB)
12:35:45 --oracle_hash: poseidon2 (mem: 250.21 MiB)
12:35:45 --output_format: bytes_and_fields (mem: 250.21 MiB)
12:35:45 --write_vk: true (mem: 250.21 MiB)
12:35:45 --disable_zk: true (mem: 250.21 MiB)
12:35:45 --init_kzg_accumulator: true (mem: 250.21 MiB)
12:35:45 [12:35:45.309]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
12:35:45 [12:35:45.309]
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/8ea731b1/bb/tmp-QxXTOV -b /tmp/8ea731b1/bb/tmp-QxXTOV/BaseParityArtifact-bytecode -w /tmp/8ea731b1/bb/tmp-QxXTOV/partial-witness.gz -v --init_kzg_accumulator -v
12:35:45 [12:35:45.337]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.25 MiB)
12:35:45 Scheme is: ultra_honk, num threads: 128 (mem: 250.25 MiB)
12:35:45 --scheme: ultra_honk (mem: 250.25 MiB)
12:35:45 --bytecode_path: /tmp/8ea731b1/bb/tmp-QxXTOV/BaseParityArtifact-bytecode (mem: 250.25 MiB)
12:35:45 --witness_path: /tmp/8ea731b1/bb/tmp-QxXTOV/partial-witness.gz (mem: 250.25 MiB)
12:35:45 --output_path: /tmp/8ea731b1/bb/tmp-QxXTOV (mem: 250.25 MiB)
12:35:45 Warning: the following option is called more than once (mem: 250.25 MiB)
12:35:45 --verbose: true (mem: 250.25 MiB)
12:35:45 --oracle_hash: poseidon2 (mem: 250.25
12:35:45 [12:35:45.337]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
12:35:45 --output_format: bytes_and_fields (mem: 250.25 MiB)
12:35:45 --write_vk: true (mem: 250.25 MiB)
12:35:45 --disable_zk: true (mem: 250.25 MiB)
12:35:45 --init_kzg_accumulator: true (mem: 250.25 MiB)
12:35:45 [12:35:45.426]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.21 MiB)
12:35:45 Constructing DeciderProvingKey (mem: 250.21 MiB)
12:35:45 [12:35:45.428]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
12:35:45 [12:35:45.429]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
12:35:45 [12:35:45.430]
INFO:
bb-prover BaseParityArtifact BB out - 250.21
12:35:45 [12:35:45.430]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
12:35:45 [12:35:45.431]
INFO:
bb-prover BaseParityArtifact BB out -
12:35:45 [12:35:45.448]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.21 MiB)
12:35:45 Constructing DeciderProvingKey (mem: 250.21 MiB)
12:35:45 [12:35:45.452]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.21 MiB)
12:35:45 [12:35:45.475]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.21 MiB)
12:35:45 Constructing DeciderProvingKey (mem: 250.21 MiB)
12:35:45 [12:35:45.483]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.21 MiB)
12:35:45 [12:35:45.488]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.25 MiB)
12:35:45 [12:35:45.490]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.25 MiB)
12:35:45 [12:35:45.493]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.25 MiB)
12:35:45 [12:35:45.674]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.21 MiB)
12:35:45 [12:35:45.721]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.21 MiB)
12:35:45 [12:35:45.725]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.25 MiB)
12:35:45 [12:35:45.760]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.21 MiB)
12:35:45 [12:35:45.788]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 361 ms. (mem: 250.21 MiB)
12:35:45 [12:35:45.808]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.21 MiB)
12:35:45 [12:35:45.818]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.21 MiB)
12:35:45 [12:35:45.825]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 367 ms. (mem: 250.21 MiB)
12:35:45 [12:35:45.831]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.21 MiB)
12:35:45 [12:35:45.833]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 341 ms. (mem: 250.25 MiB)
12:35:45 [12:35:45.835]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.21 MiB)
12:35:45 [12:35:45.837]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.25 MiB)
12:35:45 [12:35:45.851]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.25 MiB)
12:35:45 [12:35:45.860]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561
12:35:45 [12:35:45.863]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 250.21 MiB)
12:35:45 [12:35:45.864]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 250.21 MiB)
12:35:45 [12:35:45.876]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 250.25 MiB)
12:35:45 [12:35:45.906]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 403 ms. (mem: 250.21 MiB)
12:35:45 WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.21 MiB)
12:35:45 [12:35:45.929]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.21 MiB)
12:35:45 [12:35:45.957]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 250.21 MiB)
12:35:46 [12:35:46.612]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.21 MiB)
12:35:46 [12:35:46.808]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.21 MiB)
12:35:46 [12:35:46.813]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.21 MiB)
12:35:46 [12:35:46.854]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.25 MiB)
12:35:47 [12:35:47.143]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.21 MiB)
12:35:47 [12:35:47.334]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.21 MiB)
12:35:47 [12:35:47.388]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.21 MiB)
12:35:47 [12:35:47.426]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.25 MiB)
12:35:47 [12:35:47.469]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.92 MiB)
12:35:47 [12:35:47.566]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 253.93 MiB)
12:35:47 [12:35:47.624]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.21 MiB)
12:35:47 [12:35:47.705]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.25 MiB)
12:35:47 [12:35:47.722]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.92 MiB)
12:35:47 [12:35:47.810]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 253.93 MiB)
12:35:47 [12:35:47.827]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.21 MiB)
12:35:47 [12:35:47.869]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.25 MiB)
12:35:48 [12:35:48.842]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.92 MiB)
12:35:48 [12:35:48.893]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.92 MiB)
12:35:48 [12:35:48.896]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 251.92 MiB)
12:35:48 [12:35:48.899]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/8ea731b1/bb/tmp-Lt3r2v/public_inputs" (mem: 251.92 MiB)
12:35:48 [12:35:48.900]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/8ea731b1/bb/tmp-Lt3r2v/public_inputs_fields.json" (mem: 251.92 MiB)
12:35:48 Proof saved to "/tmp/8ea731b1/bb/tmp-Lt3r2v/proof" (mem: 251.92 MiB)
12:35:48 [12:35:48.902]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/8ea731b1/bb/tmp-Lt3r2v/proof_fields.json" (mem: 251.92 MiB)
12:35:48 VK saved to "/tmp/8ea731b1/bb/tmp-Lt3r2v/vk" (mem: 251.92 MiB)
12:35:48 VK fields saved to "/tmp/8ea731b1/bb/tmp-Lt3r2v/vk_fields.json" (mem: 251.92 MiB)
12:35:48 [12:35:48.960]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3732 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3731.7161350000006,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
12:35:48 [12:35:48.966]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
12:35:48 [12:35:48.970]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8ea731b1/bb/tmp-Zg71Gk/proof -k /tmp/8ea731b1/bb/tmp-Zg71Gk/vk -i /tmp/8ea731b1/bb/tmp-Zg71Gk/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
12:35:49 [12:35:49.008]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.21 MiB)
12:35:49 [12:35:49.012]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.16 MiB)
12:35:49 Scheme is: ultra_honk, num threads: 128 (mem: 250.16 MiB)
12:35:49 --public_inputs_path: /tmp/8ea731b1/bb/tmp-Zg71Gk/public_inputs (mem: 250.16 MiB)
12:35:49 --proof_path: /tmp/8ea731b1/bb/tmp-Zg71Gk/proof (mem: 250.16 MiB)
12:35:49 --vk_path: /tmp/8ea731b1/bb/tmp-Zg71Gk/vk (mem: 250.16 MiB)
12:35:49 --verbose: true (mem: 250.16 MiB)
12:35:49 --scheme: ultra_honk (mem:
12:35:49 [12:35:49.013]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.16 MiB)
12:35:49 --oracle_hash: poseidon2 (mem: 250.16 MiB)
12:35:49 --disable_zk: true (mem: 250.16 MiB)
12:35:49 [12:35:49.013]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.16 MiB)
12:35:49 [12:35:49.033]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.16 MiB)
12:35:49 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.16 MiB)
12:35:49 sumcheck_verified: 1 (mem: 250.16 MiB)
12:35:49 libra_evals_verified: 1 (mem: 250.16 MiB)
12:35:49 pairing_check_verified: 1 (mem: 250.16 MiB)
12:35:49 Proof verified successfully (mem: 250.16 MiB)
12:35:49 verified: 1 (mem: 250.16 MiB)
12:35:49 [12:35:49.034]
INFO:
bb-prover Successfully verified proof from key in 68.0221930000007 ms
12:35:49 [12:35:49.057]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.93 MiB)
12:35:49 [12:35:49.057]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.21 MiB)
12:35:49 finished decider proving. (mem: 250.21 MiB)
12:35:49 [12:35:49.065]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/8ea731b1/bb/tmp-6BqVzp/public_inputs" (mem: 250.21 MiB)
12:35:49 Public inputs fields saved to "/tmp/8ea731b1/bb/tmp-6BqVzp/public_inputs_fields.json" (mem: 250.21 MiB)
12:35:49 Proof saved to "/tmp/8ea731b1/bb/tmp-6BqVzp/proof" (mem: 250.21 MiB)
12:35:49 Proof fields saved to "/tmp/8ea731b1/bb/tmp-6BqVzp/proof_fields.json" (mem: 250.21 MiB)
12:35:49 VK saved to "/tmp/8ea731b1/bb/tmp-6BqVzp/vk" (mem: 250.21 MiB)
12:35:49 VK fields saved to "/tmp/8ea731b1/bb/tmp-6BqVzp/vk_fields.json" (mem: 250.21 MiB)
12:35:49 [12:35:49.144]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.93 MiB)
12:35:49 finished decider proving. (mem: 253.93 MiB)
12:35:49 [12:35:49.151]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/8ea731b1/bb/tmp-3hRZrC/public_inputs" (mem: 253.93 MiB)
12:35:49 Public inputs fields saved to "/tmp/8ea731b1/bb/tmp-3hRZrC/public_inputs_fields.json" (mem: 253.93 MiB)
12:35:49 Proof saved to "/tmp/8ea731b1/bb/tmp-3hRZrC/proof" (mem: 253.93 MiB)
12:35:49 Proof fields saved to "/tmp/8ea731b1/bb/tmp-3hRZrC/proof_fields.json" (mem: 253.93 MiB)
12:35:49 VK saved to "/tmp/8ea731b1/bb/tmp-3hRZrC/vk" (mem: 253.93 MiB)
12:35:49 VK fields saved to "/tmp/8ea731b1/bb/tmp-3hRZrC/vk_fields.json" (mem: 253.93 MiB)
12:35:49 [12:35:49.167]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3967 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3966.3876839999994,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
12:35:49 [12:35:49.177]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
12:35:49 [12:35:49.177]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8ea731b1/bb/tmp-45FykA/proof -k /tmp/8ea731b1/bb/tmp-45FykA/vk -i /tmp/8ea731b1/bb/tmp-45FykA/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
12:35:49 [12:35:49.226]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3963 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3962.6040460000004,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
12:35:49 [12:35:49.229]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
12:35:49 [12:35:49.229]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8ea731b1/bb/tmp-JIsex2/proof -k /tmp/8ea731b1/bb/tmp-JIsex2/vk -i /tmp/8ea731b1/bb/tmp-JIsex2/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
12:35:49 [12:35:49.253]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.25 MiB)
12:35:49 Scheme is: ultra_honk, num threads: 128 (mem: 250.25 MiB)
12:35:49 --public_inputs_path: /tmp/8ea731b1/bb/tmp-45FykA/public_inputs (mem: 250.25 MiB)
12:35:49 --proof_path: /tmp/8ea731b1/bb/tmp-45FykA/proof (mem: 250.25 MiB)
12:35:49 --vk_path: /tmp/8ea731b1/bb/tmp-45FykA/vk (mem: 250.25 MiB)
12:35:49 --verbose: true (mem: 250.25 MiB)
12:35:49 --scheme: ultra_honk (mem: 250.25 MiB)
12:35:49 --oracle_hash: poseidon2 (mem: 250.25 MiB)
12:35:49 --disable_zk: true (mem: 250.25 MiB)
12:35:49 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.25 MiB)
12:35:49 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.25 MiB)
12:35:49 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.25 MiB)
12:35:49 sumcheck_verified: 1 (mem: 250.25 MiB)
12:35:49 libra_evals_verified: 1 (mem: 250.25 MiB)
12:35:49 pairing_check_verified: 1 (mem: 250.25 MiB)
12:35:49 Proof verified successfully (mem: 250.25 MiB)
12:35:49 verified: 1 (mem: 250.25 MiB)
12:35:49 [12:35:49.254]
INFO:
bb-prover Successfully verified proof from key in 77.07306599999902 ms
12:35:49 [12:35:49.259]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
12:35:49 [12:35:49.260]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
12:35:49 [12:35:49.263]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.28 MiB)
12:35:49 Scheme is: ultra_honk, num threads: 128 (mem: 250.28 MiB)
12:35:49 --public_inputs_path: /tmp/8ea731b1/bb/tmp-JIsex2/public_inputs (mem: 250.28 MiB)
12:35:49 --proof_path: /tmp/8ea731b1/bb/tmp-JIsex2/proof (mem: 250.28 MiB)
12:35:49 --vk_path: /tmp/8ea731b1/bb/tmp-JIsex2/vk (mem: 250.28 MiB)
12:35:49 --verbose: true (mem: 250.28 MiB)
12:35:49 --scheme: ultra_honk (mem: 250.28 MiB)
12:35:49 --oracle_hash: poseidon2 (mem: 250.28 MiB)
12:35:49 --disable_zk: true (mem: 250.28 MiB)
12:35:49 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.28 MiB)
12:35:49 [12:35:49.280]
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"
12:35:49 [12:35:49.281]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
12:35:49 [12:35:49.281]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.28
12:35:49 [12:35:49.281]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
12:35:49 [12:35:49.282]
VERBOSE:
bb-prover bb-prover (verify) BB out -
12:35:49 [12:35:49.283]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025
12:35:49 [12:35:49.284]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.28 MiB)
12:35:49 [12:35:49.285]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1
12:35:49 [12:35:49.287]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.28 MiB)
12:35:49 libra_evals_verified: 1 (mem: 250.28 MiB)
12:35:49 pairing_check_verified: 1 (mem: 250.28 MiB)
12:35:49 Proof verified successfully (mem: 250.28 MiB)
12:35:49 verified: 1 (mem: 250.28 MiB)
12:35:49 [12:35:49.288]
INFO:
bb-prover Successfully verified proof from key in 58.84821600000032 ms
12:35:49 [12:35:49.297]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.25 MiB)
12:35:49 [12:35:49.345]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.25 MiB)
12:35:49 finished decider proving. (mem: 250.25 MiB)
12:35:49 [12:35:49.347]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/8ea731b1/bb/tmp-QxXTOV/public_inputs" (mem: 250.25 MiB)
12:35:49 [12:35:49.347]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/8ea731b1/bb/tmp-QxXTOV/public_inputs_fields.json" (mem: 250.25 MiB)
12:35:49 Proof saved to "/tmp/8ea731b1/bb/tmp-QxXTOV/proof" (mem: 250.25 MiB)
12:35:49 [12:35:49.348]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/8ea731b1/bb/tmp-QxXTOV/proof_fields.json" (mem: 250.25 MiB)
12:35:49 VK saved to "/tmp/8ea731b1/bb/tmp-QxXTOV/vk" (mem: 250.25 MiB)
12:35:49 [12:35:49.348]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/8ea731b1/bb/tmp-QxXTOV/vk_fields.json" (mem: 250.25 MiB)
12:35:49 [12:35:49.399]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4088 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4087.9749969999993,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
12:35:49 [12:35:49.401]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
12:35:49 [12:35:49.402]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8ea731b1/bb/tmp-Z6FtDi/proof -k /tmp/8ea731b1/bb/tmp-Z6FtDi/vk -i /tmp/8ea731b1/bb/tmp-Z6FtDi/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
12:35:49 [12:35:49.428]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.36 MiB)
12:35:49 [12:35:49.429]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 250.36 MiB)
12:35:49 --public_inputs_path: /tmp/8ea731b1/bb/tmp-Z6FtDi/public_inputs (mem: 250.36 MiB)
12:35:49 --proof_path: /tmp/8ea731b1/bb/tmp-Z6FtDi/proof (mem: 250.36 MiB)
12:35:49 --vk_path: /tmp/8ea731b1/bb/tmp-Z6FtDi/vk (mem: 250.36 MiB)
12:35:49 --verbose: true (mem: 250.36 MiB)
12:35:49 --scheme: ultra_honk (mem: 250.36 MiB)
12:35:49 --oracle_hash: poseidon2 (mem: 250.36 MiB)
12:35:49 --disable_zk: true (mem: 250.36 MiB)
12:35:49 [12:35:49.429]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.36 MiB)
12:35:49 [12:35:49.448]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.36 MiB)
12:35:49 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.36 MiB)
12:35:49 [12:35:49.449]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.36 MiB)
12:35:49 libra_evals_verified: 1 (mem: 250.36 MiB)
12:35:49 pairing_check_verified: 1 (mem: 250.36 MiB)
12:35:49 Proof verified successfully (mem: 250.36 MiB)
12:35:49 verified: 1 (mem: 250.36 MiB)
12:35:49 [12:35:49.451]
INFO:
bb-prover Successfully verified proof from key in 49.23625800000082 ms
12:35:49 [12:35:49.464]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
12:35:49 [12:35:49.464]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8ea731b1/bb/tmp-DiIIKu/proof -k /tmp/8ea731b1/bb/tmp-DiIIKu/vk -i /tmp/8ea731b1/bb/tmp-DiIIKu/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
12:35:49 [12:35:49.483]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
12:35:49 [12:35:49.484]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8ea731b1/bb/tmp-PFzsf0/proof -k /tmp/8ea731b1/bb/tmp-PFzsf0/vk -i /tmp/8ea731b1/bb/tmp-PFzsf0/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
12:35:49 [12:35:49.504]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
12:35:49 [12:35:49.506]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8ea731b1/bb/tmp-CVmOen/proof -k /tmp/8ea731b1/bb/tmp-CVmOen/vk -i /tmp/8ea731b1/bb/tmp-CVmOen/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
12:35:49 [12:35:49.536]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
12:35:49 [12:35:49.540]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8ea731b1/bb/tmp-xMuSBn/proof -k /tmp/8ea731b1/bb/tmp-xMuSBn/vk -i /tmp/8ea731b1/bb/tmp-xMuSBn/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
12:35:49 [12:35:49.567]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.38 MiB)
12:35:49 Scheme is: ultra_honk, num threads: 128 (mem: 250.38 MiB)
12:35:49 --public_inputs_path: /tmp/8ea731b1/bb/tmp-DiIIKu/public_inputs (mem: 250.38 MiB)
12:35:49 --proof_path: /tmp/8ea731b1/bb/tmp-DiIIKu/proof (mem: 250.38 MiB)
12:35:49 --vk_path: /tmp/8ea731b1/bb/tmp-DiIIKu/vk (mem: 250.38 MiB)
12:35:49 --verbose: true (mem: 250.38 MiB)
12:35:49 --scheme: ultra_honk (mem: 250.38 MiB)
12:35:49 --oracle_hash: poseidon2 (mem: 250.38 MiB)
12:35:49 --disable_zk: true (mem: 250.38 MiB)
12:35:49 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.38 MiB)
12:35:49 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.38 MiB)
12:35:49 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.38 MiB)
12:35:49 sumcheck_verified: 1 (mem: 250.38 MiB)
12:35:49 libra_evals_verified: 1 (mem: 250.38 MiB)
12:35:49 pairing_check_verified: 1 (mem: 250.38 MiB)
12:35:49 Proof verified successfully (mem: 250.38 MiB)
12:35:49 verified: 1 (mem: 250.38 MiB)
12:35:49 [12:35:49.568]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.38 MiB)
12:35:49 Scheme is: ultra_honk, num threads: 128 (mem: 250.38 MiB)
12:35:49 --public_inputs_path: /tmp/8ea731b1/bb/tmp-PFzsf0/public_inputs (mem: 250.38 MiB)
12:35:49 --proof_path: /tmp/8ea731b1/bb/tmp-PFzsf0/proof (mem: 250.38 MiB)
12:35:49 --vk_path: /tmp/8ea731b1/bb/tmp-PFzsf0/vk (mem: 250.38 MiB)
12:35:49 --verbose: true (mem: 250.38 MiB)
12:35:49 --scheme: ultra_honk (mem: 250.38 MiB)
12:35:49 --oracle_hash: poseidon2 (mem: 250.38 MiB)
12:35:49 --disable_zk: true (mem: 250.38 MiB)
12:35:49 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.38 MiB)
12:35:49 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.38 MiB)
12:35:49 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.38 MiB)
12:35:49 sumcheck_verified: 1 (mem: 250.38 MiB)
12:35:49 libra_evals_verified: 1 (mem: 250.38 MiB)
12:35:49 pairing_check_verified: 1 (mem: 250.38 MiB)
12:35:49 Proof verified successfully (mem: 250.38 MiB)
12:35:49 verified: 1 (mem: 250.38 MiB)
12:35:49 [12:35:49.569]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.25 MiB)
12:35:49 Scheme is: ultra_honk, num threads: 128 (mem: 250.25 MiB)
12:35:49 --public_inputs_path: /tmp/8ea731b1/bb/tmp-CVmOen/public_inputs (mem: 250.25 MiB)
12:35:49 --proof_path: /tmp/8ea731b1/bb/tmp-CVmOen/proof (mem: 250.25 MiB)
12:35:49 --vk_path: /tmp/8ea731b1/bb/tmp-CVmOen/vk (mem: 250.25 MiB)
12:35:49 --verbose: true (mem: 250.25 MiB)
12:35:49 --scheme: ultra_honk (mem: 250.25 MiB)
12:35:49 --oracle_hash: poseidon2 (mem: 250.25 MiB)
12:35:49 --disable_zk: true (mem: 250.25 MiB)
12:35:49 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.25 MiB)
12:35:49 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.25 MiB)
12:35:49 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.25 MiB)
12:35:49 sumcheck_verified: 1 (mem: 250.25 MiB)
12:35:49 libra_evals_verified: 1 (mem: 250.25 MiB)
12:35:49 pairing_check_verified: 1 (mem: 250.25 MiB)
12:35:49 Proof verified successfully (mem: 250.25 MiB)
12:35:49 verified: 1 (mem: 250.25 MiB)
12:35:49 [12:35:49.570]
INFO:
bb-prover Successfully verified proof from key in 66.6432590000004 ms
12:35:49 [12:35:49.571]
INFO:
bb-prover Successfully verified proof from key in 87.532095999999 ms
12:35:49 [12:35:49.571]
INFO:
bb-prover Successfully verified proof from key in 107.57202099999995 ms
12:35:49 [12:35:49.572]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.38 MiB)
12:35:49 Scheme is: ultra_honk, num threads: 128 (mem: 250.38 MiB)
12:35:49 --public_inputs_path: /tmp/8ea731b1/bb/tmp-xMuSBn/public_inputs (mem: 250.38 MiB)
12:35:49 --proof_path: /tmp/8ea731b1/bb/tmp-xMuSBn/proof (mem: 250.38 MiB)
12:35:49 --vk_path: /tmp/8ea731b1/bb/tmp-xMuSBn/vk (mem: 250.38 MiB)
12:35:49 --verbose: true (mem: 250.38 MiB)
12:35:49 --scheme: ultra_honk (mem: 250.38 MiB)
12:35:49 --oracle_hash: poseidon2 (mem: 250.38 MiB)
12:35:49 --disable_zk: true (mem: 250.38 MiB)
12:35:49 [12:35:49.573]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.38 MiB)
12:35:49 [12:35:49.595]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.38 MiB)
12:35:49 [12:35:49.596]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 250.38 MiB)
12:35:49 [12:35:49.599]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.38 MiB)
12:35:49 libra_evals_verified: 1 (mem: 250.38 MiB)
12:35:49 pairing_check_verified: 1 (mem: 250.38 MiB)
12:35:49 Proof verified successfully (mem: 250.38 MiB)
12:35:49 verified: 1 (mem: 250.38 MiB)
12:35:49 [12:35:49.600]
INFO:
bb-prover Successfully verified proof from key in 64.4368940000004 ms
12:35:49 [12:35:49.813]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":80.08278100000098,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
12:35:49 [12:35:49.821]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
12:35:49 [12:35:49.822]
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/8ea731b1/bb/tmp-UqO82U -b /tmp/8ea731b1/bb/tmp-UqO82U/RootParityArtifact-bytecode -w /tmp/8ea731b1/bb/tmp-UqO82U/partial-witness.gz -v --init_kzg_accumulator -v
12:35:49 [12:35:49.863]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
12:35:49 [12:35:49.865]
INFO:
bb-prover RootParityArtifact BB out - (mem: 252.20 MiB)
12:35:49 Scheme is: ultra_honk, num threads: 128 (mem: 252.20 MiB)
12:35:49 --scheme: ultra_honk (mem: 252.20 MiB)
12:35:49 --bytecode_path: /tmp/8ea731b1/bb/tmp-UqO82U/RootParityArtifact-bytecode (mem: 252.20 MiB)
12:35:49 --witness_path: /tmp/8ea731b1/bb/tmp-UqO82U/partial-witness.gz (mem: 252.20 MiB)
12:35:49 --output_path: /tmp/8ea731b1/bb/tmp-UqO82U (mem: 252.20 MiB)
12:35:49 Warning: the following option is called more than once (mem: 252.20 MiB)
12:35:49 --verbose: true (mem: 252.20 MiB)
12:35:49 --oracle_hash: poseidon2 (mem: 252.20 MiB)
12:35:49 --output_format: bytes_and_fields (mem: 252.20 MiB)
12:35:49 --write_vk: true (mem: 252.20 MiB)
12:35:49 --disable_zk: true (mem: 252.20 MiB)
12:35:49 --init_kzg_accumulator: true (mem: 252.20 MiB)
12:35:50 [12:35:50.070]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.20 MiB)
12:35:52 [12:35:52.228]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 410.68 MiB)
12:35:54 [12:35:54.524]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 778.35 MiB)
12:35:56 [12:35:56.656]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1047.47 MiB)
12:35:59 [12:35:59.009]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1422.27 MiB)
12:35:59 [12:35:59.010]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1422.27 MiB)
12:36:00 [12:36:00.336]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1857.73 MiB)
12:36:00 [12:36:00.754]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5456.48 MiB)
12:36:02 [12:36:02.850]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3839 ms. (mem: 6071.48 MiB)
12:36:03 [12:36:03.091]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6071.48 MiB)
12:36:03 [12:36:03.388]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6555.36 MiB)
12:36:04 [12:36:04.803]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7323.93 MiB)
12:36:14 [12:36:14.183]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7323.93 MiB)
12:36:18 [12:36:18.799]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7323.93 MiB)
12:36:20 [12:36:20.581]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9034.05 MiB)
12:36:22 [12:36:22.560]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9035.05 MiB)
12:36:28 [12:36:28.548]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9035.05 MiB)
12:36:29 [12:36:29.901]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9035.05 MiB)
12:36:29 [12:36:29.929]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9035.05 MiB)
12:36:30 [12:36:30.592]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/8ea731b1/bb/tmp-UqO82U/public_inputs" (mem: 9035.05 MiB)
12:36:30 [12:36:30.593]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/8ea731b1/bb/tmp-UqO82U/public_inputs_fields.json" (mem: 9035.05 MiB)
12:36:30 Proof saved to "/tmp/8ea731b1/bb/tmp-UqO82U/proof" (mem: 9035.05 MiB)
12:36:30 Proof fields saved to "/tmp/8ea731b1/bb/tmp-UqO82U/proof_fields.json" (mem: 9035.05 MiB)
12:36:30 VK saved to "/tmp/8ea731b1/bb/tmp-UqO82U/vk" (mem: 9035.05 MiB)
12:36:30 VK fields saved to "/tmp/8ea731b1/bb/tmp-UqO82U/vk_fields.json" (mem: 9035.05 MiB)
12:36:30 [12:36:30.824]
INFO:
bb-prover Generated proof for RootParityArtifact in 40999 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40998.05978,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
12:36:30 [12:36:30.828]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
12:36:30 [12:36:30.829]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8ea731b1/bb/tmp-kERyjg/proof -k /tmp/8ea731b1/bb/tmp-kERyjg/vk -i /tmp/8ea731b1/bb/tmp-kERyjg/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
12:36:30 [12:36:30.855]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.21 MiB)
12:36:30 Scheme is: ultra_honk, num threads: 128 (mem: 252.21 MiB)
12:36:30 --public_inputs_path: /tmp/8ea731b1/bb/tmp-kERyjg/public_inputs (mem: 252.21 MiB)
12:36:30 --proof_path: /tmp/8ea731b1/bb/tmp-kERyjg/proof (mem: 252.21 MiB)
12:36:30 --vk_path: /tmp/8ea731b1/bb/tmp-kERyjg/vk (mem: 252.21 MiB)
12:36:30 --verbose: true (mem: 252.21 MiB)
12:36:30 --scheme: ultra_honk (mem: 252.21 MiB)
12:36:30 --oracle_hash: poseidon2 (mem: 252.21 MiB)
12:36:30 --disable_zk: true (mem: 252.21 MiB)
12:36:30 [12:36:30.857]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 252.21 MiB)
12:36:30 [12:36:30.875]
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.21 MiB)
12:36:30 [12:36:30.876]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 252.21 MiB)
12:36:30 [12:36:30.877]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.21 MiB)
12:36:30 libra_evals_verified: 1 (mem: 252.21 MiB)
12:36:30 pairing_check_verified: 1 (mem: 252.21 MiB)
12:36:30 Proof verified successfully (mem: 252.21 MiB)
12:36:30 verified: 1 (mem: 252.21 MiB)
12:36:30 [12:36:30.879]
INFO:
bb-prover Successfully verified proof from key in 50.86264999999548 ms
12:36:30 [12:36:30.887]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
12:36:30 [12:36:30.887]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8ea731b1/bb/tmp-681kCg/proof -k /tmp/8ea731b1/bb/tmp-681kCg/vk -i /tmp/8ea731b1/bb/tmp-681kCg/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
12:36:30 [12:36:30.917]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.21 MiB)
12:36:30 Scheme is: ultra_honk, num threads: 128 (mem: 252.21 MiB)
12:36:30 --public_inputs_path: /tmp/8ea731b1/bb/tmp-681kCg/public_inputs (mem: 252.21 MiB)
12:36:30 --proof_path: /tmp/8ea731b1/bb/tmp-681kCg/proof (mem: 252.21 MiB)
12:36:30 --vk_path: /tmp/8ea731b1/bb/tmp-681kCg/vk (mem: 252.21 MiB)
12:36:30 --verbose: true (mem: 252.21 MiB)
12:36:30 [12:36:30.918]
VERBOSE:
bb-prover bb-prover (verify) BB out - --scheme: ultra_honk (mem: 252.21 MiB)
12:36:30 --oracle_hash: poseidon2 (mem: 252.21 MiB)
12:36:30 --disable_zk: true (mem: 252.21 MiB)
12:36:30 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 252.21 MiB)
12:36:30 [12:36:30.933]
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.21 MiB)
12:36:30 [12:36:30.936]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 252.21 MiB)
12:36:30 sumcheck_verified: 1 (mem: 252.21 MiB)
12:36:30 libra_evals_verified: 1 (mem: 252.21 MiB)
12:36:30 pairing_check_verified: 1 (mem: 252.21 MiB)
12:36:30 Proof verified successfully (mem: 252.21 MiB)
12:36:30 verified: 1 (mem: 252.21 MiB)
12:36:30 [12:36:30.938]
INFO:
bb-prover Successfully verified proof from key in 50.73748699999851 ms
12:36:31 [12:36:31.067]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
12:36:31
12:36:31 [12:36:31.069]
ERROR:
bb-prover Error running operation at /tmp/8ea731b1/bb/tmp-AWeW3s: Error: Failed to generate witness: Failed assertion
12:36:31
12:36:31 [12:36:31.274]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":81.66457100000116,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
12:36:31 [12:36:31.275]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
12:36:31 [12:36:31.276]
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/8ea731b1/bb/tmp-TdcDyA -b /tmp/8ea731b1/bb/tmp-TdcDyA/RootParityArtifact-bytecode -w /tmp/8ea731b1/bb/tmp-TdcDyA/partial-witness.gz -v --init_kzg_accumulator -v
12:36:31 [12:36:31.303]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.21 MiB)
12:36:31 [12:36:31.304]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.21 MiB)
12:36:31 --scheme: ultra_honk (mem: 252.21 MiB)
12:36:31 --bytecode_path: /tmp/8ea731b1/bb/tmp-TdcDyA/RootParityArtifact-bytecode (mem: 252.21 MiB)
12:36:31 --witness_path: /tmp/8ea731b1/bb/tmp-TdcDyA/partial-witness.gz (mem: 252.21 MiB)
12:36:31 --output_path: /tmp/8ea731b1/bb/tmp-TdcDyA (mem: 252.21 MiB)
12:36:31 Warning: the following option is called more than once (mem: 252.21 MiB)
12:36:31 --verbose: true (mem: 252.21 MiB)
12:36:31 --oracle_hash: poseidon2 (mem: 252.21 MiB)
12:36:31 --output_format: bytes_and_fields (mem: 252.21 MiB)
12:36:31 --write_vk: true (mem: 252.21 MiB)
12:36:31 --disable_zk: true (mem: 252.21 MiB)
12:36:31 --init_kzg_accumulator: true (mem: 252.21 MiB)
12:36:31 [12:36:31.485]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.21 MiB)
12:36:31 [12:36:31.497]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 252.21 MiB)
12:36:33 [12:36:33.448]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 408.14 MiB)
12:36:35 [12:36:35.668]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 775.75 MiB)
12:36:37 [12:36:37.934]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1039.84 MiB)
12:36:40 [12:36:40.432]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1414.66 MiB)
12:36:40 [12:36:40.433]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1414.66 MiB)
12:36:41 [12:36:41.856]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1850.07 MiB)
12:36:42 [12:36:42.314]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5458.23 MiB)
12:36:44 [12:36:44.128]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3695 ms. (mem: 6074.23 MiB)
12:36:44 [12:36:44.277]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6074.23 MiB)
12:36:44 [12:36:44.496]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6555.55 MiB)
12:36:45 [12:36:45.940]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7323.56 MiB)
12:36:51 [12:36:51.933]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7323.56 MiB)
12:36:55 [12:36:55.954]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7323.56 MiB)
12:36:57 [12:36:57.849]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8993.02 MiB)
12:36:59 [12:36:59.871]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem:
12:36:59 [12:36:59.873]
INFO:
bb-prover RootParityArtifact BB out - 8993.02 MiB)
12:37:06 [12:37:06.922]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8993.02 MiB)
12:37:08 [12:37:08.669]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8993.02 MiB)
12:37:08 [12:37:08.706]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8993.02 MiB)
12:37:09 [12:37:09.519]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/8ea731b1/bb/tmp-TdcDyA/public_inputs" (mem: 8993.02 MiB)
12:37:09 [12:37:09.519]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/8ea731b1/bb/tmp-TdcDyA/public_inputs_fields.json" (mem: 8993.02 MiB)
12:37:09 Proof saved to "/tmp/8ea731b1/bb/tmp-TdcDyA/proof" (mem: 8993.02 MiB)
12:37:09 Proof fields saved to "/tmp/8ea731b1/bb/tmp-TdcDyA/proof_fields.json" (mem: 8993.02 MiB)
12:37:09 VK saved to "/tmp/8ea731b1/bb/tmp-TdcDyA/vk" (mem: 8993.02 MiB)
12:37:09 [12:37:09.520]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/8ea731b1/bb/tmp-TdcDyA/vk_fields.json" (mem: 8993.02 MiB)
12:37:09 [12:37:09.750]
INFO:
bb-prover Generated proof for RootParityArtifact in 38472 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":38471.03243299999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
12:37:09 [12:37:09.753]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
12:37:09 [12:37:09.753]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8ea731b1/bb/tmp-ptBqhD/proof -k /tmp/8ea731b1/bb/tmp-ptBqhD/vk -i /tmp/8ea731b1/bb/tmp-ptBqhD/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
12:37:09 [12:37:09.772]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.21 MiB)
12:37:09 [12:37:09.772]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.21 MiB)
12:37:09 --public_inputs_path: /tmp/8ea731b1/bb/tmp-ptBqhD/public_inputs (mem: 252.21 MiB)
12:37:09 --proof_path: /tmp/8ea731b1/bb/tmp-ptBqhD/proof (mem: 252.21 MiB)
12:37:09 --vk_path: /tmp/8ea731b1/bb/tmp-ptBqhD/vk (mem: 252.21 MiB)
12:37:09 --verbose: true (mem: 252.21 MiB)
12:37:09 --scheme: ultra_honk (mem: 252.21 MiB)
12:37:09 --oracle_hash: poseidon2 (mem: 252.21 MiB)
12:37:09 --disable_zk: true (mem: 252.21 MiB)
12:37:09 [12:37:09.772]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 252.21 MiB)
12:37:09 [12:37:09.783]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 252.21 MiB)
12:37:09 Proof verification failed (mem: 252.21 MiB)
12:37:09 [12:37:09.783]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 252.21 MiB)
12:37:09 [12:37:09.784]
ERROR:
bb-prover Error running operation at /tmp/8ea731b1/bb/tmp-ptBqhD: ProvingError: Failed to verify proof from key!
12:37:09 [12:37:09.933]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":76.94391599998926,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
12:37:09 [12:37:09.936]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
12:37:09 [12:37:09.936]
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/8ea731b1/bb/tmp-kemWki -b /tmp/8ea731b1/bb/tmp-kemWki/RootParityArtifact-bytecode -w /tmp/8ea731b1/bb/tmp-kemWki/partial-witness.gz -v --init_kzg_accumulator -v
12:37:09 [12:37:09.956]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.21 MiB)
12:37:09 [12:37:09.956]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.21 MiB)
12:37:09 --scheme: ultra_honk (mem: 252.21 MiB)
12:37:09 --bytecode_path: /tmp/8ea731b1/bb/tmp-kemWki/RootParityArtifact-bytecode (mem: 252.21 MiB)
12:37:09 --witness_path: /tmp/8ea731b1/bb/tmp-kemWki/partial-witness.gz (mem: 252.21 MiB)
12:37:09 --output_path: /tmp/8ea731b1/bb/tmp-kemWki (mem: 252.21 MiB)
12:37:09 Warning: the following option is called more than once (mem: 252.21 MiB)
12:37:09 --verbose: true (mem: 252.21 MiB)
12:37:09 --oracle_hash: poseidon2 (mem: 252.21 MiB)
12:37:09 --output_format: bytes_and_fields (mem: 252.21 MiB)
12:37:09 --write_vk: true (mem: 252.21 MiB)
12:37:09 --disable_zk: true (mem: 252.21 MiB)
12:37:09 --init_kzg_accumulator: true (mem: 252.21 MiB)
12:37:10 [12:37:10.140]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.21 MiB)
12:37:10 [12:37:10.158]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 252.21 MiB)
12:37:12 [12:37:12.124]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 406.98 MiB)
12:37:14 [12:37:14.560]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 775.02 MiB)
12:37:16 [12:37:16.297]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1045.43 MiB)
12:37:18 [12:37:18.488]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1420.60 MiB)
12:37:18 [12:37:18.490]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1420.60 MiB)
12:37:19 [12:37:19.739]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1856.01 MiB)
12:37:20 [12:37:20.112]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5460.66 MiB)
12:37:21 [12:37:21.467]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 2977 ms. (mem: 6078.66 MiB)
12:37:21 [12:37:21.610]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6078.66 MiB)
12:37:21 [12:37:21.730]
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.01 MiB)
12:37:23 [12:37:23.081]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7326.68 MiB)
12:37:28 [12:37:28.351]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7326.68 MiB)
12:37:32 [12:37:32.016]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7326.68 MiB)
12:37:33 [12:37:33.717]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8991.80 MiB)
12:37:35 [12:37:35.916]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8992.80 MiB)
12:37:41 [12:37:41.548]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8992.80 MiB)
12:37:42 [12:37:42.849]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8992.80 MiB)
12:37:42 [12:37:42.879]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8992.80 MiB)
12:37:43 [12:37:43.807]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/8ea731b1/bb/tmp-kemWki/public_inputs" (mem: 8992.80 MiB)
12:37:43 [12:37:43.807]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/8ea731b1/bb/tmp-kemWki/public_inputs_fields.json" (mem: 8992.80 MiB)
12:37:43 Proof saved to "/tmp/8ea731b1/bb/tmp-kemWki/proof" (mem: 8992.80 MiB)
12:37:43 Proof fields saved to "/tmp/8ea731b1/bb/tmp-kemWki/proof_fields.json" (mem: 8992.80 MiB)
12:37:43 VK saved to "/tmp/8ea731b1/bb/tmp-kemWki/vk" (mem: 8992.80 MiB)
12:37:43 VK fields saved to "/tmp/8ea731b1/bb/tmp-kemWki/vk_fields.json" (mem: 8992.80 MiB)
12:37:44 [12:37:44.058]
INFO:
bb-prover Generated proof for RootParityArtifact in 34120 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34119.96562500001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
12:37:44 [12:37:44.061]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
12:37:44 [12:37:44.062]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/8ea731b1/bb/tmp-JzaTzf/proof -k /tmp/8ea731b1/bb/tmp-JzaTzf/vk -i /tmp/8ea731b1/bb/tmp-JzaTzf/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
12:37:44 [12:37:44.087]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.21 MiB)
12:37:44 Scheme is: ultra_honk, num threads: 128 (mem: 252.21 MiB)
12:37:44 --public_inputs_path: /tmp/8ea731b1/bb/tmp-JzaTzf/public_inputs (mem: 252.21 MiB)
12:37:44 --proof_path: /tmp/8ea731b1/bb/tmp-JzaTzf/proof (mem: 252.21 MiB)
12:37:44 --vk_path: /tmp/8ea731b1/bb/tmp-JzaTzf/vk (mem: 252.21 MiB)
12:37:44 --verbose: true (mem: 252.21 MiB)
12:37:44 --scheme: ultra_honk (mem: 252.21 MiB)
12:37:44 --oracle_hash: poseidon2 (mem: 252.21 MiB)
12:37:44 --disable_zk: true (mem: 252.21 MiB)
12:37:44 [12:37:44.088]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 252.21 MiB)
12:37:44 [12:37:44.097]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 252.21 MiB)
12:37:44 Proof verification failed (mem: 252.21 MiB)
12:37:44 verified: 0 (mem: 252.21 MiB)
12:37:44 [12:37:44.098]
ERROR:
bb-prover Error running operation at /tmp/8ea731b1/bb/tmp-JzaTzf: ProvingError: Failed to verify proof from key!
12:37:44 [12:37:44.102]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
12:37:44
PASS src/test/bb_prover_parity.test.ts (
129.244 s)
12:37:44 prover/bb_prover/parity
12:37:44
✓ proves the parity circuits (119197 ms)
12:37:44
12:37:44
Test Suites: 1 passed, 1 total
12:37:44
Tests: 1 passed, 1 total
12:37:44
Snapshots: 0 total
12:37:44
Time: 129.334 s
12:37:44
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
12:37:44
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?