Parent Log:
http://ci.aztec-labs.com/424a32e00eb773f3
Command: 582720422b3f4dff: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/79e9bd1698f4bba6deade8f76c676f9bbb12ff74
Env: REF_NAME=gh-readonly-queue/staging/pr-15192-505a3c071181dbc5242dc8b655a9b2d69988c8db CURRENT_VERSION=1.0.0 CI_FULL=1
Date: Mon Jun 23 13:21:03 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15192_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_staging
13:21:03 +++ id -u
13:21:03 +++ id -g
13:21:03 ++ 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'\'''
13:21:04 + cid=b10ff6ad542cb5b6f12dc0bce9e41fab252e9d009199314db4c3994413567852
13:21:04 + set +x
13:21:06 {"level":25,"time":1750684866038,"pid":7,"hostname":"b10ff6ad542c","module":"logger","msg":"Logger initialized with level verbose"}
13:21:13 [13:21:13.698]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-AN00Ms/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
13:21:13 [13:21:13.757]
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/bef85c32/bb
13:21:13 [13:21:13.764]
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/bef85c32/acvm
13:21:13 [13:21:13.770]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/bef85c32/bb
13:21:13 [13:21:13.771]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/bef85c32/acvm
13:21:13 [13:21:13.775]
INFO:
prover-client:proving-broker Proving Broker started
13:21:13 [13:21:13.779]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
13:21:13 [13:21:13.944]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":56.653441000000385,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:21:13 [13:21:13.963]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":76.27417599999899,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:21:13 [13:21:13.981]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:21:13 [13:21:13.982]
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/bef85c32/bb/tmp-zsp0T0 -b /tmp/bef85c32/bb/tmp-zsp0T0/BaseParityArtifact-bytecode -w /tmp/bef85c32/bb/tmp-zsp0T0/partial-witness.gz -v --init_kzg_accumulator -v
13:21:14 [13:21:14.009]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:21:14 [13:21:14.009]
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/bef85c32/bb/tmp-njOnqJ -b /tmp/bef85c32/bb/tmp-njOnqJ/BaseParityArtifact-bytecode -w /tmp/bef85c32/bb/tmp-njOnqJ/partial-witness.gz -v --init_kzg_accumulator -v
13:21:14 [13:21:14.036]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.73 MiB)
13:21:14 Scheme is: ultra_honk, num threads: 128 (mem: 250.73 MiB)
13:21:14 --scheme: ultra_honk (mem: 250.73 MiB)
13:21:14 --bytecode_path: /tmp/bef85c32/bb/tmp-zsp0T0/BaseParityArtifact-bytecode (mem: 250.73 MiB)
13:21:14 --witness_path: /tmp/bef85c32/bb/tmp-zsp0T0/partial-witness.gz (mem: 250.73 MiB)
13:21:14 --output_path: /tmp/bef85c32/bb/tmp-zsp0T0 (mem: 250.73 MiB)
13:21:14 Warning: the following option is called more than once (mem: 250.73 MiB)
13:21:14 --verbose: true (mem: 250.73 MiB)
13:21:14 --oracle_hash: poseidon2 (mem: 250.73 MiB)
13:21:14 --output_format: bytes_and_fields (mem: 250.73 MiB)
13:21:14 --write_vk: true (mem: 250.73 MiB)
13:21:14 --disable_zk: true (mem: 250.73 MiB)
13:21:14 --init_kzg_accumulator: true (mem: 250.73 MiB)
13:21:14 [13:21:14.038]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.73 MiB)
13:21:14 Scheme is: ultra_honk, num threads: 128 (mem: 250.73 MiB)
13:21:14 --scheme: ultra_honk (mem: 250.73 MiB)
13:21:14 --bytecode_path: /tmp/bef85c32/bb/tmp-njOnqJ/BaseParityArtifact-bytecode (mem: 250.73 MiB)
13:21:14 --witness_path: /tmp/bef85c32/bb/tmp-njOnqJ/partial-witness.gz (mem: 250.73 MiB)
13:21:14 --output_path: /tmp/bef85c32/bb/tmp-njOnqJ (mem: 250.73 MiB)
13:21:14 Warning: the following option is called more than once (mem: 250.73 MiB)
13:21:14 --verbose: true (mem: 250.73 MiB)
13:21:14 --oracle_hash: poseidon2 (mem: 250.73 MiB)
13:21:14 --output_format: bytes_and_fields (mem: 250.73 MiB)
13:21:14 --write_vk: true (mem: 250.73 MiB)
13:21:14 --disable_zk: true (mem: 250.73 MiB)
13:21:14 --init_kzg_accumulator: true (mem: 250.73 MiB)
13:21:14 [13:21:14.050]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":97.08324299999913,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:21:14 [13:21:14.058]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":84.1668869999994,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:21:14 [13:21:14.067]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:21:14 [13:21:14.067]
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/bef85c32/bb/tmp-6wUOVz -b /tmp/bef85c32/bb/tmp-6wUOVz/BaseParityArtifact-bytecode -w /tmp/bef85c32/bb/tmp-6wUOVz/partial-witness.gz -v --init_kzg_accumulator -v
13:21:14 [13:21:14.095]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:21:14 [13:21:14.095]
INFO:
bb-prover BaseParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/bef85c32/bb/tmp-oqQeEc -b /tmp/bef85c32/bb/tmp-oqQeEc/BaseParityArtifact-bytecode -w /tmp/bef85c32/bb/tmp-oqQeEc/partial-witness.gz -v --init_kzg_accumulator -v
13:21:14 [13:21:14.114]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.82 MiB)
13:21:14 Scheme is: ultra_honk, num threads: 128 (mem: 250.82 MiB)
13:21:14 --scheme: ultra_honk (mem: 250.82 MiB)
13:21:14 --bytecode_path: /tmp/bef85c32/bb/tmp-6wUOVz/BaseParityArtifact-bytecode (mem: 250.82 MiB)
13:21:14 --witness_path: /tmp/bef85c32/bb/tmp-6wUOVz/partial-witness.gz (mem: 250.82 MiB)
13:21:14 --output_path: /tmp/bef85c32/bb/tmp-6wUOVz (mem: 250.82 MiB)
13:21:14 Warning: the following option is called more than once (mem: 250.82 MiB)
13:21:14 --verbose: true (mem: 250.82 MiB)
13:21:14 --oracle_hash: poseidon2 (mem: 250.82 MiB)
13:21:14 --output_format: bytes_and_fields (mem: 250.82 MiB)
13:21:14 --write_vk: true (mem: 250.82 MiB)
13:21:14 --disable_zk: true (mem: 250.82 MiB)
13:21:14 --init_kzg_accumulator: true (mem: 250.82 MiB)
13:21:14 [13:21:14.118]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.82 MiB)
13:21:14 Scheme is: ultra_honk, num threads: 128 (mem: 250.82 MiB)
13:21:14 --scheme: ultra_honk
13:21:14 [13:21:14.119]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 250.82 MiB)
13:21:14 --bytecode_path: /tmp/bef85c32/bb/tmp-oqQeEc/BaseParityArtifact-bytecode (mem: 250.82 MiB)
13:21:14 --witness_path: /tmp/bef85c32/bb/tmp-oqQeEc/partial-witness.gz (mem: 250.82 MiB)
13:21:14 --output_path: /tmp/bef85c32/bb/tmp-oqQeEc (mem: 250.82 MiB)
13:21:14 Warning: the following option is called more than once (mem: 250.82 MiB)
13:21:14 --verbose: true (mem: 250.82 MiB)
13:21:14 --oracle_hash: poseidon2 (mem: 250.82 MiB)
13:21:14 --output_format: bytes_and_fields (mem: 250.82 MiB)
13:21:14 --write_vk: true (mem: 250.82 MiB)
13:21:14 --disable_zk: true (mem: 250.82 MiB)
13:21:14 --init_kzg_accumulator: true (mem: 250.82 MiB)
13:21:14 [13:21:14.184]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.73 MiB)
13:21:14 Constructing DeciderProvingKey (mem: 250.73 MiB)
13:21:14 [13:21:14.187]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.73 MiB)
13:21:14 [13:21:14.188]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.73 MiB)
13:21:14 [13:21:14.188]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.73 MiB)
13:21:14 [13:21:14.195]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.73 MiB)
13:21:14 [13:21:14.242]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.82 MiB)
13:21:14 [13:21:14.242]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.82 MiB)
13:21:14 [13:21:14.245]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.82 MiB)
13:21:14 [13:21:14.272]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.82 MiB)
13:21:14 Constructing DeciderProvingKey (mem: 250.82 MiB)
13:21:14 [13:21:14.275]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.82 MiB)
13:21:14 [13:21:14.347]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.73 MiB)
13:21:14 [13:21:14.392]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.73 MiB)
13:21:14 [13:21:14.414]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.82 MiB)
13:21:14 [13:21:14.432]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 244 ms. (mem: 250.73 MiB)
13:21:14 [13:21:14.439]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.73 MiB)
13:21:14 [13:21:14.441]
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.73 MiB)
13:21:14 [13:21:14.451]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.73 MiB)
13:21:14 [13:21:14.494]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 285 ms. (mem: 250.73 MiB)
13:21:14 WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.73 MiB)
13:21:14 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.73 MiB)
13:21:14 Initialized BN254 CRS from memory with num points = 65537 (mem: 250.73 MiB)
13:21:14 [13:21:14.528]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.82 MiB)
13:21:14 [13:21:14.577]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 334 ms. (mem: 250.82 MiB)
13:21:14 [13:21:14.583]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.82 MiB)
13:21:14 [13:21:14.583]
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.82 MiB)
13:21:14 [13:21:14.594]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.82 MiB)
13:21:14 [13:21:14.653]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 378 ms. (mem: 250.82 MiB)
13:21:14 WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.82 MiB)
13:21:14 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.82 MiB)
13:21:14 [13:21:14.667]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.82 MiB)
13:21:15 [13:21:15.410]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.73 MiB)
13:21:15 [13:21:15.637]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.73 MiB)
13:21:15 [13:21:15.831]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.82 MiB)
13:21:15 [13:21:15.870]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.73 MiB)
13:21:15 [13:21:15.907]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.82 MiB)
13:21:16 [13:21:16.184]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.73 MiB)
13:21:16 [13:21:16.266]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.73 MiB)
13:21:16 [13:21:16.490]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.82 MiB)
13:21:16 [13:21:16.508]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.82 MiB)
13:21:16 [13:21:16.568]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.73 MiB)
13:21:16 [13:21:16.590]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.73 MiB)
13:21:16 [13:21:16.695]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.82 MiB)
13:21:16 [13:21:16.707]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.82 MiB)
13:21:16 [13:21:16.768]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.73 MiB)
13:21:16 [13:21:16.856]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.82 MiB)
13:21:16 [13:21:16.883]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.82 MiB)
13:21:18 [13:21:18.170]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.73 MiB)
13:21:18 [13:21:18.308]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.73 MiB)
13:21:18 finished decider proving. (mem: 250.73 MiB)
13:21:18 Public inputs saved to "/tmp/bef85c32/bb/tmp-njOnqJ/public_inputs" (mem: 250.73 MiB)
13:21:18 Public inputs fields saved to "/tmp/bef85c32/bb/tmp-njOnqJ/public_inputs_fields.json" (mem: 250.73 MiB)
13:21:18 Proof saved to "/tmp/bef85c32/bb/tmp-njOnqJ/proof" (mem: 250.73 MiB)
13:21:18 Proof fields saved to "/tmp/bef85c32/bb/tmp-njOnqJ/proof_fields.json" (mem: 250.73 MiB)
13:21:18 [13:21:18.309]
INFO:
bb-prover BaseParityArtifact BB out - VK saved to "/tmp/bef85c32/bb/tmp-njOnqJ/vk" (mem: 250.73 MiB)
13:21:18 VK fields saved to "/tmp/bef85c32/bb/tmp-njOnqJ/vk_fields.json" (mem: 250.73 MiB)
13:21:18 [13:21:18.356]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4340 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4339.431377999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:21:18 [13:21:18.366]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:21:18 [13:21:18.366]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bef85c32/bb/tmp-08Vtym/proof -k /tmp/bef85c32/bb/tmp-08Vtym/vk -i /tmp/bef85c32/bb/tmp-08Vtym/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:21:18 [13:21:18.427]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.84 MiB)
13:21:18 [13:21:18.432]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 250.84 MiB)
13:21:18 --public_inputs_path: /tmp/bef85c32/bb/tmp-08Vtym/public_inputs (mem: 250.84 MiB)
13:21:18 --proof_path: /tmp/bef85c32/bb/tmp-08Vtym/proof (mem: 250.84 MiB)
13:21:18 --vk_path: /tmp/bef85c32/bb/tmp-08Vtym/vk (mem: 250.84 MiB)
13:21:18 --verbose: true (mem: 250.84 MiB)
13:21:18 --scheme: ultra_honk (mem: 250.84 MiB)
13:21:18 --oracle_hash: poseidon2 (mem: 250.84 MiB)
13:21:18 --disable_zk: true (mem: 250.84 MiB)
13:21:18 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.84 MiB)
13:21:18 [13:21:18.447]
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.84 MiB)
13:21:18 Initialized BN254 CRS from memory with num points = 1 (mem: 250.84 MiB)
13:21:18 [13:21:18.448]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1
13:21:18 [13:21:18.448]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
13:21:18 [13:21:18.449]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.84 MiB)
13:21:18 libra_evals_verified: 1 (mem: 250.84 MiB)
13:21:18 pairing_check_verified: 1 (mem: 250.84 MiB)
13:21:18 Proof verified successfully (mem: 250.84 MiB)
13:21:18 verified: 1 (mem: 250.84 MiB)
13:21:18 [13:21:18.451]
INFO:
bb-prover Successfully verified proof from key in 85.72823400000016 ms
13:21:18 [13:21:18.465]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.73 MiB)
13:21:18 [13:21:18.598]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.73 MiB)
13:21:18 finished decider proving. (mem: 250.73 MiB)
13:21:18 [13:21:18.627]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/bef85c32/bb/tmp-zsp0T0/public_inputs" (mem: 250.73 MiB)
13:21:18 Public inputs fields saved to "/tmp/bef85c32/bb/tmp-zsp0T0/public_inputs_fields.json" (mem: 250.73 MiB)
13:21:18 Proof saved to "/tmp/bef85c32/bb/tmp-zsp0T0/proof" (mem: 250.73 MiB)
13:21:18 Proof fields saved to "/tmp/bef85c32/bb/tmp-zsp0T0/proof_fields.json" (mem: 250.73 MiB)
13:21:18 VK saved to "/tmp/bef85c32/bb/tmp-zsp0T0/vk" (mem: 250.73 MiB)
13:21:18 VK fields saved to "/tmp/bef85c32/bb/tmp-zsp0T0/vk_fields.json" (mem: 250.73 MiB)
13:21:18 [13:21:18.694]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4700 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4699.430625000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:21:18 [13:21:18.703]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.82 MiB)
13:21:18 [13:21:18.762]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:21:18 [13:21:18.762]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bef85c32/bb/tmp-1bDkfc/proof -k /tmp/bef85c32/bb/tmp-1bDkfc/vk -i /tmp/bef85c32/bb/tmp-1bDkfc/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:21:18 [13:21:18.816]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.82 MiB)
13:21:18 finished decider proving. (mem: 250.82 MiB)
13:21:18 Public inputs saved to "/tmp/bef85c32/bb/tmp-oqQeEc/public_inputs" (mem: 250.82 MiB)
13:21:18 Public inputs fields saved to "/tmp/bef85c32/bb/tmp-oqQeEc/public_inputs_fields.json" (mem: 250.82 MiB)
13:21:18 Proof saved to "/tmp/bef85c32/bb/tmp-oqQeEc/proof" (mem: 250.82 MiB)
13:21:18 Proof fields saved to "/tmp/bef85c32/bb/tmp-oqQeEc/proof_fields.json" (mem: 250.82 MiB)
13:21:18 VK saved to "/tmp/bef85c32/bb/tmp-oqQeEc/vk" (mem: 250.82 MiB)
13:21:18 VK fields saved to "/tmp/bef85c32/bb/tmp-oqQeEc/vk_fields.json" (mem: 250.82 MiB)
13:21:18 [13:21:18.823]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4726 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4725.289930000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:21:18 [13:21:18.825]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:21:18 [13:21:18.826]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bef85c32/bb/tmp-rAriKj/proof -k /tmp/bef85c32/bb/tmp-rAriKj/vk -i /tmp/bef85c32/bb/tmp-rAriKj/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:21:18 [13:21:18.854]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.85 MiB)
13:21:18 Scheme is: ultra_honk, num threads: 128 (mem: 249.85 MiB)
13:21:18 --public_inputs_path: /tmp/bef85c32/bb/tmp-1bDkfc/public_inputs (mem: 249.85 MiB)
13:21:18 --proof_path: /tmp/bef85c32/bb/tmp-1bDkfc/proof (mem: 249.85 MiB)
13:21:18 --vk_path: /tmp/bef85c32/bb/tmp-1bDkfc/vk (mem: 249.85 MiB)
13:21:18 --verbose: true (mem: 249.85 MiB)
13:21:18 --scheme: ultra_honk (mem: 249.85 MiB)
13:21:18 --oracle_hash: poseidon2 (mem: 249.85 MiB)
13:21:18 --disable_zk: true (mem: 249.85 MiB)
13:21:18 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.85 MiB)
13:21:18 [13:21:18.859]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
13:21:18 [13:21:18.860]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
13:21:18 [13:21:18.862]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.85 MiB)
13:21:18 Scheme is: ultra_honk, num threads: 128 (mem: 250.85 MiB)
13:21:18 --public_inputs_path: /tmp/bef85c32/bb/tmp-rAriKj/public_inputs (mem: 250.85 MiB)
13:21:18 --proof_path: /tmp/bef85c32/bb/tmp-rAriKj/proof (mem: 250.85 MiB)
13:21:18 --vk_path: /tmp/bef85c32/bb/tmp-rAriKj/vk (mem: 250.85 MiB)
13:21:18 --verbose: true (mem: 250.85 MiB)
13:21:18 --scheme: ultra_honk (mem: 250.85 MiB)
13:21:18 --oracle_hash: poseidon2 (mem: 250.85 MiB)
13:21:18 --disable_zk: true (mem: 250.85 MiB)
13:21:18 [13:21:18.862]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7
13:21:18 [13:21:18.863]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
13:21:18 [13:21:18.863]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.85 MiB)
13:21:18 [13:21:18.876]
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: 249.85 MiB)
13:21:18 Initialized BN254 CRS from memory with num points = 1 (mem: 249.85 MiB)
13:21:18 [13:21:18.878]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1
13:21:18 [13:21:18.881]
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.85 MiB)
13:21:18 Initialized BN254 CRS from memory with num points = 1 (mem: 250.85 MiB)
13:21:18 [13:21:18.882]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.85 MiB)
13:21:18 libra_evals_verified: 1 (mem: 250.85
13:21:18 [13:21:18.883]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
13:21:18 pairing_check_verified: 1 (mem: 250.85 MiB)
13:21:18 Proof verified successfully (mem: 250.85 MiB)
13:21:18 verified: 1 (mem: 250.85 MiB)
13:21:18 [13:21:18.883]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 249.85 MiB)
13:21:18 libra_evals_verified: 1 (mem: 249.85 MiB)
13:21:18 pairing_check_verified: 1 (mem: 249.85 MiB)
13:21:18 Proof verified successfully (mem: 249.85 MiB)
13:21:18 verified: 1 (mem: 249.85 MiB)
13:21:18 [13:21:18.884]
INFO:
bb-prover Successfully verified proof from key in 58.631499999999505 ms
13:21:18 [13:21:18.885]
INFO:
bb-prover Successfully verified proof from key in 123.49682600000051 ms
13:21:18 [13:21:18.889]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.82 MiB)
13:21:18 [13:21:18.973]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.82 MiB)
13:21:18 finished decider proving. (mem: 250.82 MiB)
13:21:18 [13:21:18.974]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/bef85c32/bb/tmp-6wUOVz/public_inputs" (mem: 250.82 MiB)
13:21:18 Public inputs fields saved to "/tmp/bef85c32/bb/tmp-6wUOVz/public_inputs_fields.json" (mem: 250.82 MiB)
13:21:18 Proof saved to "/tmp/bef85c32/bb/tmp-6wUOVz/proof" (mem: 250.82 MiB)
13:21:18 [13:21:18.975]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/bef85c32/bb/tmp-6wUOVz/proof_fields.json" (mem: 250.82 MiB)
13:21:18 VK saved to "/tmp/bef85c32/bb/tmp-6wUOVz/vk" (mem: 250.82 MiB)
13:21:18 [13:21:18.975]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/bef85c32/bb/tmp-6wUOVz/vk_fields.json" (mem: 250.82 MiB)
13:21:19 [13:21:19.027]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4956 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4955.717918,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:21:19 [13:21:19.031]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:21:19 [13:21:19.031]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bef85c32/bb/tmp-RHgyQS/proof -k /tmp/bef85c32/bb/tmp-RHgyQS/vk -i /tmp/bef85c32/bb/tmp-RHgyQS/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:21:19 [13:21:19.058]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.93 MiB)
13:21:19 Scheme is: ultra_honk, num threads: 128 (mem: 250.93 MiB)
13:21:19 --public_inputs_path: /tmp/bef85c32/bb/tmp-RHgyQS/public_inputs (mem: 250.93 MiB)
13:21:19 --proof_path: /tmp/bef85c32/bb/tmp-RHgyQS/proof (mem: 250.93 MiB)
13:21:19 --vk_path: /tmp/bef85c32/bb/tmp-RHgyQS/vk (mem: 250.93 MiB)
13:21:19 --verbose: true (mem: 250.93 MiB)
13:21:19 --scheme: ultra_honk (mem: 250.93 MiB)
13:21:19 --oracle_hash: poseidon2 (mem: 250.93 MiB)
13:21:19 --disable_zk: true (mem: 250.93 MiB)
13:21:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.93 MiB)
13:21:19 [13:21:19.076]
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.93 MiB)
13:21:19 [13:21:19.077]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 250.93 MiB)
13:21:19 [13:21:19.079]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.93 MiB)
13:21:19 libra_evals_verified: 1 (mem: 250.93 MiB)
13:21:19 pairing_check_verified: 1 (mem: 250.93 MiB)
13:21:19 Proof verified successfully (mem: 250.93 MiB)
13:21:19 verified: 1 (mem: 250.93 MiB)
13:21:19 [13:21:19.079]
INFO:
bb-prover Successfully verified proof from key in 48.814698000000135 ms
13:21:19 [13:21:19.091]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:21:19 [13:21:19.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/bef85c32/bb/tmp-G3zSM9/proof -k /tmp/bef85c32/bb/tmp-G3zSM9/vk -i /tmp/bef85c32/bb/tmp-G3zSM9/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:21:19 [13:21:19.115]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:21:19 [13:21:19.115]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bef85c32/bb/tmp-lpkAVj/proof -k /tmp/bef85c32/bb/tmp-lpkAVj/vk -i /tmp/bef85c32/bb/tmp-lpkAVj/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:21:19 [13:21:19.135]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:21:19 [13:21:19.135]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bef85c32/bb/tmp-5OIlUY/proof -k /tmp/bef85c32/bb/tmp-5OIlUY/vk -i /tmp/bef85c32/bb/tmp-5OIlUY/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:21:19 [13:21:19.170]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:21:19 [13:21:19.171]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bef85c32/bb/tmp-1mXknw/proof -k /tmp/bef85c32/bb/tmp-1mXknw/vk -i /tmp/bef85c32/bb/tmp-1mXknw/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:21:19 [13:21:19.204]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.00 MiB)
13:21:19 Scheme is: ultra_honk, num threads: 128 (mem: 251.00 MiB)
13:21:19 --public_inputs_path: /tmp/bef85c32/bb/tmp-G3zSM9/public_inputs (mem: 251.00 MiB)
13:21:19 --proof_path: /tmp/bef85c32/bb/tmp-G3zSM9/proof (mem: 251.00 MiB)
13:21:19 --vk_path: /tmp/bef85c32/bb/tmp-G3zSM9/vk (mem: 251.00 MiB)
13:21:19 --verbose: true (mem: 251.00 MiB)
13:21:19 --scheme: ultra_honk (mem: 251.00 MiB)
13:21:19 --oracle_hash: poseidon2 (mem: 251.00 MiB)
13:21:19 --disable_zk: true (mem: 251.00 MiB)
13:21:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.00 MiB)
13:21:19 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.00 MiB)
13:21:19 Initialized BN254 CRS from memory with num points = 1 (mem: 251.00 MiB)
13:21:19 sumcheck_verified: 1 (mem: 251.00 MiB)
13:21:19 libra_evals_verified: 1 (mem: 251.00 MiB)
13:21:19 pairing_check_verified: 1 (mem: 251.00 MiB)
13:21:19 Proof verified successfully (mem: 251.00 MiB)
13:21:19 verified: 1 (mem: 251.00 MiB)
13:21:19 [13:21:19.205]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.00 MiB)
13:21:19 Scheme is: ultra_honk, num threads: 128 (mem: 251.00 MiB)
13:21:19 --public_inputs_path: /tmp/bef85c32/bb/tmp-lpkAVj/public_inputs (mem: 251.00 MiB)
13:21:19 --proof_path: /tmp/bef85c32/bb/tmp-lpkAVj/proof (mem: 251.00 MiB)
13:21:19 --vk_path: /tmp/bef85c32/bb/tmp-lpkAVj/vk (mem: 251.00 MiB)
13:21:19 --verbose: true (mem: 251.00 MiB)
13:21:19 --scheme: ultra_honk (mem: 251.00 MiB)
13:21:19 --oracle_hash: poseidon2 (mem: 251.00 MiB)
13:21:19 --disable_zk: true (mem: 251.00 MiB)
13:21:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.00 MiB)
13:21:19 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.00 MiB)
13:21:19 Initialized BN254 CRS from memory with num points = 1 (mem: 251.00 MiB)
13:21:19 sumcheck_verified: 1 (mem: 251.00 MiB)
13:21:19 libra_evals_verified: 1 (mem: 251.00 MiB)
13:21:19 pairing_check_verified: 1 (mem: 251.00 MiB)
13:21:19 Proof verified successfully (mem: 251.00 MiB)
13:21:19 verified: 1 (mem: 251.00 MiB)
13:21:19 [13:21:19.206]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.00 MiB)
13:21:19 Scheme is: ultra_honk, num threads: 128 (mem: 251.00 MiB)
13:21:19 --public_inputs_path: /tmp/bef85c32/bb/tmp-5OIlUY/public_inputs (mem: 251.00 MiB)
13:21:19 --proof_path: /tmp/bef85c32/bb/tmp-5OIlUY/proof (mem: 251.00 MiB)
13:21:19 --vk_path: /tmp/bef85c32/bb/tmp-5OIlUY/vk (mem: 251.00 MiB)
13:21:19 --verbose: true (mem: 251.00 MiB)
13:21:19 --scheme: ultra_honk (mem: 251.00 MiB)
13:21:19 --oracle_hash: poseidon2 (mem: 251.00 MiB)
13:21:19 --disable_zk: true (mem: 251.00 MiB)
13:21:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.00 MiB)
13:21:19 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.00 MiB)
13:21:19 Initialized BN254 CRS from memory with num points = 1 (mem: 251.00 MiB)
13:21:19 sumcheck_verified: 1 (mem: 251.00 MiB)
13:21:19 libra_evals_verified: 1 (mem: 251.00 MiB)
13:21:19 pairing_check_verified: 1 (mem: 251.00 MiB)
13:21:19 Proof verified successfully (mem: 251.00 MiB)
13:21:19 verified: 1 (mem: 251.00 MiB)
13:21:19 [13:21:19.207]
INFO:
bb-prover Successfully verified proof from key in 92.29826700000012 ms
13:21:19 [13:21:19.207]
INFO:
bb-prover Successfully verified proof from key in 116.65720899999906 ms
13:21:19 [13:21:19.209]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.00 MiB)
13:21:19 Scheme is: ultra_honk, num threads: 128 (mem: 251.00 MiB)
13:21:19 --public_inputs_path: /tmp/bef85c32/bb/tmp-1mXknw/public_inputs (mem: 251.00 MiB)
13:21:19 --proof_path: /tmp/bef85c32/bb/tmp-1mXknw/proof (mem: 251.00 MiB)
13:21:19 --vk_path: /tmp/bef85c32/bb/tmp-1mXknw/vk (mem: 251.00 MiB)
13:21:19 --verbose: true (mem: 251.00 MiB)
13:21:19 --scheme: ultra_honk (mem: 251.00 MiB)
13:21:19 --oracle_hash: poseidon2 (mem: 251.00 MiB)
13:21:19 --disable_zk: true (mem: 251.00 MiB)
13:21:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.00 MiB)
13:21:19 [13:21:19.209]
INFO:
bb-prover Successfully verified proof from key in 74.78255100000024 ms
13:21:19 [13:21:19.216]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.00 MiB)
13:21:19 [13:21:19.217]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 251.00 MiB)
13:21:19 [13:21:19.217]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.00 MiB)
13:21:19 libra_evals_verified: 1 (mem: 251.00 MiB)
13:21:19 pairing_check_verified: 1 (mem: 251.00 MiB)
13:21:19 [13:21:19.219]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 251.00 MiB)
13:21:19 verified: 1 (mem: 251.00 MiB)
13:21:19 [13:21:19.220]
INFO:
bb-prover Successfully verified proof from key in 49.56829100000141 ms
13:21:19 [13:21:19.422]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":84.2442970000011,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
13:21:19 [13:21:19.428]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:21:19 [13:21:19.428]
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/bef85c32/bb/tmp-GBcLQY -b /tmp/bef85c32/bb/tmp-GBcLQY/RootParityArtifact-bytecode -w /tmp/bef85c32/bb/tmp-GBcLQY/partial-witness.gz -v --init_kzg_accumulator -v
13:21:19 [13:21:19.459]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 251.00 MiB)
13:21:19 Scheme is: ultra_honk, num threads: 128 (mem: 251.00 MiB)
13:21:19 --scheme: ultra_honk (mem: 251.00 MiB)
13:21:19 --bytecode_path: /tmp/bef85c32/bb/tmp-GBcLQY/RootParityArtifact-bytecode (mem: 251.00 MiB)
13:21:19 --witness_path: /tmp/bef85c32/bb/tmp-GBcLQY/partial-witness.gz (mem: 251.00 MiB)
13:21:19 --output_path: /tmp/bef85c32/bb/tmp-GBcLQY (mem: 251.00 MiB)
13:21:19 Warning: the following option is called more than once (mem: 251.00 MiB)
13:21:19 --verbose: true (mem: 251.00 MiB)
13:21:19 --oracle_hash: poseidon2 (mem: 251.00 MiB)
13:21:19 --output_format: bytes_and_fields (mem: 251.00 MiB)
13:21:19 --write_vk: true (mem: 251.00 MiB)
13:21:19 --disable_zk: true (mem: 251.00 MiB)
13:21:19 --init_kzg_accumulator: true (mem: 251.00 MiB)
13:21:19 [13:21:19.641]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.00 MiB)
13:21:21 [13:21:21.670]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 423.06 MiB)
13:21:24 [13:21:24.052]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 787.29 MiB)
13:21:26 [13:21:26.455]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1059.04 MiB)
13:21:29 [13:21:29.224]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1430.66 MiB)
13:21:29 [13:21:29.224]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1430.66 MiB)
13:21:30 [13:21:30.606]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1843.92 MiB)
13:21:30 [13:21:30.991]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5485.79 MiB)
13:21:32 [13:21:32.890]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3665 ms. (mem: 6063.79 MiB)
13:21:33 [13:21:33.017]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6063.79 MiB)
13:21:33 [13:21:33.018]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6063.79 MiB)
13:21:33 [13:21:33.906]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6063.79 MiB)
13:21:38 [13:21:38.170]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6063.79 MiB)
13:21:44 [13:21:44.046]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6063.79 MiB)
13:21:46 [13:21:46.075]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6731.18 MiB)
13:21:49 [13:21:49.762]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6731.18 MiB)
13:21:57 [13:21:57.060]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6731.18 MiB)
13:21:58 [13:21:58.837]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6731.18 MiB)
13:21:58 [13:21:58.852]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6731.18 MiB)
13:21:59 [13:21:59.449]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/bef85c32/bb/tmp-GBcLQY/public_inputs" (mem: 6731.18 MiB)
13:21:59 [13:21:59.449]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/bef85c32/bb/tmp-GBcLQY/public_inputs_fields.json" (mem: 6731.18 MiB)
13:21:59 Proof saved to "/tmp/bef85c32/bb/tmp-GBcLQY/proof" (mem: 6731.18 MiB)
13:21:59 [13:21:59.449]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/bef85c32/bb/tmp-GBcLQY/proof_fields.json" (mem: 6731.18 MiB)
13:21:59 VK saved to "/tmp/bef85c32/bb/tmp-GBcLQY/vk" (mem: 6731.18 MiB)
13:21:59 [13:21:59.450]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/bef85c32/bb/tmp-GBcLQY/vk_fields.json" (mem: 6731.18 MiB)
13:21:59 [13:21:59.618]
INFO:
bb-prover Generated proof for RootParityArtifact in 40187 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40186.092535,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:21:59 [13:21:59.623]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:21:59 [13:21:59.623]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bef85c32/bb/tmp-lNczgr/proof -k /tmp/bef85c32/bb/tmp-lNczgr/vk -i /tmp/bef85c32/bb/tmp-lNczgr/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:21:59 [13:21:59.644]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.00 MiB)
13:21:59 Scheme is: ultra_honk, num threads: 128 (mem: 251.00 MiB)
13:21:59 --public_inputs_path: /tmp/bef85c32/bb/tmp-lNczgr/public_inputs (mem: 251.00 MiB)
13:21:59 --proof_path: /tmp/bef85c32/bb/tmp-lNczgr/proof (mem: 251.00 MiB)
13:21:59 --vk_path: /tmp/bef85c32/bb/tmp-lNczgr/vk (mem: 251.00 MiB)
13:21:59 --verbose: true (mem: 251.00 MiB)
13:21:59 --scheme: ultra_honk (mem: 251.00 MiB)
13:21:59 --oracle_hash: poseidon2 (mem: 251.00 MiB)
13:21:59 --disable_zk: true (mem: 251.00 MiB)
13:21:59 [13:21:59.645]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 251.00 MiB)
13:21:59 [13:21:59.660]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.00 MiB)
13:21:59 [13:21:59.661]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 251.00 MiB)
13:21:59 [13:21:59.662]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.00 MiB)
13:21:59 libra_evals_verified: 1 (mem: 251.00 MiB)
13:21:59 pairing_check_verified: 1 (mem: 251.00 MiB)
13:21:59 [13:21:59.664]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 251.00 MiB)
13:21:59 verified: 1 (mem: 251.00 MiB)
13:21:59 [13:21:59.665]
INFO:
bb-prover Successfully verified proof from key in 41.90531999999803 ms
13:21:59 [13:21:59.667]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:21:59 [13:21:59.667]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bef85c32/bb/tmp-GfMp08/proof -k /tmp/bef85c32/bb/tmp-GfMp08/vk -i /tmp/bef85c32/bb/tmp-GfMp08/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:21:59 [13:21:59.691]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.00 MiB)
13:21:59 [13:21:59.692]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.00 MiB)
13:21:59 --public_inputs_path: /tmp/bef85c32/bb/tmp-GfMp08/public_inputs (mem: 251.00 MiB)
13:21:59 --proof_path: /tmp/bef85c32/bb/tmp-GfMp08/proof (mem: 251.00 MiB)
13:21:59 --vk_path: /tmp/bef85c32/bb/tmp-GfMp08/vk (mem: 251.00 MiB)
13:21:59 --verbose: true (mem: 251.00 MiB)
13:21:59 --scheme: ultra_honk (mem: 251.00 MiB)
13:21:59 --oracle_hash: poseidon2 (mem: 251.00 MiB)
13:21:59 --disable_zk: true (mem: 251.00 MiB)
13:21:59 [13:21:59.692]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 251.00 MiB)
13:21:59 [13:21:59.708]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.00 MiB)
13:21:59 [13:21:59.709]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 251.00 MiB)
13:21:59 [13:21:59.710]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.00 MiB)
13:21:59 libra_evals_verified: 1 (mem: 251.00 MiB)
13:21:59 pairing_check_verified: 1 (mem: 251.00 MiB)
13:21:59 Proof verified successfully (mem: 251.00
13:21:59 [13:21:59.710]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
13:21:59 verified: 1 (mem: 251.00 MiB)
13:21:59 [13:21:59.712]
INFO:
bb-prover Successfully verified proof from key in 44.97741800000222 ms
13:21:59 [13:21:59.783]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
13:21:59
13:21:59 [13:21:59.788]
ERROR:
bb-prover Error running operation at /tmp/bef85c32/bb/tmp-tQOiwX: Error: Failed to generate witness: Failed assertion
13:21:59
13:21:59 [13:21:59.948]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":62.375609999995504,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
13:21:59 [13:21:59.949]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:21:59 [13:21:59.950]
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/bef85c32/bb/tmp-rm2DdI -b /tmp/bef85c32/bb/tmp-rm2DdI/RootParityArtifact-bytecode -w /tmp/bef85c32/bb/tmp-rm2DdI/partial-witness.gz -v --init_kzg_accumulator -v
13:21:59 [13:21:59.970]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 251.00 MiB)
13:21:59 Scheme is: ultra_honk, num threads: 128 (mem:
13:21:59 [13:21:59.971]
INFO:
bb-prover RootParityArtifact BB out - 251.00 MiB)
13:21:59 --scheme: ultra_honk (mem: 251.00 MiB)
13:21:59 --bytecode_path: /tmp/bef85c32/bb/tmp-rm2DdI/RootParityArtifact-bytecode (mem: 251.00 MiB)
13:21:59 --witness_path: /tmp/bef85c32/bb/tmp-rm2DdI/partial-witness.gz (mem: 251.00 MiB)
13:21:59 --output_path: /tmp/bef85c32/bb/tmp-rm2DdI (mem: 251.00 MiB)
13:21:59 Warning: the following option is called more than once (mem: 251.00 MiB)
13:21:59 --verbose: true (mem: 251.00 MiB)
13:21:59 --oracle_hash: poseidon2 (mem: 251.00 MiB)
13:21:59 --output_format: bytes_and_fields (mem: 251.00 MiB)
13:21:59 --write_vk: true (mem: 251.00 MiB)
13:21:59 --disable_zk: true (mem: 251.00 MiB)
13:21:59 --init_kzg_accumulator: true (mem: 251.00 MiB)
13:22:00 [13:22:00.155]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.00 MiB)
13:22:00 [13:22:00.172]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 251.00 MiB)
13:22:02 [13:22:02.055]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 418.06 MiB)
13:22:04 [13:22:04.201]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 779.63 MiB)
13:22:07 [13:22:07.156]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1045.39 MiB)
13:22:10 [13:22:10.667]
INFO:
bb-prover RootParityArtifact BB out - created circuit
13:22:10 [13:22:10.668]
INFO:
bb-prover RootParityArtifact BB out - (mem: 1415.89 MiB)
13:22:10 [13:22:10.671]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1415.89 MiB)
13:22:12 [13:22:12.324]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1828.83 MiB)
13:22:12 [13:22:12.894]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5489.71 MiB)
13:22:14 [13:22:14.937]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4267 ms. (mem: 6065.71 MiB)
13:22:15 [13:22:15.053]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6065.71 MiB)
13:22:15 [13:22:15.053]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6065.71 MiB)
13:22:15 [13:22:15.742]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6065.71 MiB)
13:22:19 [13:22:19.947]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6065.71 MiB)
13:22:24 [13:22:24.002]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6065.71 MiB)
13:22:25 [13:22:25.757]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6784.66 MiB)
13:22:27 [13:22:27.802]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6784.66 MiB)
13:22:34 [13:22:34.302]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6784.66 MiB)
13:22:36 [13:22:36.274]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6784.66 MiB)
13:22:36 [13:22:36.295]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving.
13:22:36 [13:22:36.295]
INFO:
bb-prover RootParityArtifact BB out - (mem:
13:22:36 [13:22:36.296]
INFO:
bb-prover RootParityArtifact BB out - 6784.66
13:22:36 [13:22:36.299]
INFO:
bb-prover RootParityArtifact BB out - MiB)
13:22:36 [13:22:36.846]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/bef85c32/bb/tmp-rm2DdI/public_inputs"
13:22:36 [13:22:36.847]
INFO:
bb-prover RootParityArtifact BB out - (mem:
13:22:36 [13:22:36.848]
INFO:
bb-prover RootParityArtifact BB out - 6784.66
13:22:36 [13:22:36.848]
INFO:
bb-prover RootParityArtifact BB out - MiB)
13:22:36 [13:22:36.850]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/bef85c32/bb/tmp-rm2DdI/public_inputs_fields.json" (mem: 6784.66 MiB)
13:22:36 Proof saved to "/tmp/bef85c32/bb/tmp-rm2DdI/proof" (mem: 6784.66 MiB)
13:22:36 Proof fields saved to "/tmp/bef85c32/bb/tmp-rm2DdI/proof_fields.json" (mem: 6784.66 MiB)
13:22:36 VK saved to "/tmp/bef85c32/bb/tmp-rm2DdI/vk" (mem: 6784.66 MiB)
13:22:36 VK fields saved to "/tmp/bef85c32/bb/tmp-rm2DdI/vk_fields.json" (mem: 6784.66 MiB)
13:22:37 [13:22:37.043]
INFO:
bb-prover Generated proof for RootParityArtifact in 37089 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":37088.202101,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:22:37 [13:22:37.047]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:22:37 [13:22:37.047]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bef85c32/bb/tmp-Jiz2tA/proof -k /tmp/bef85c32/bb/tmp-Jiz2tA/vk -i /tmp/bef85c32/bb/tmp-Jiz2tA/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:22:37 [13:22:37.068]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.00 MiB)
13:22:37 [13:22:37.069]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.00 MiB)
13:22:37 --public_inputs_path: /tmp/bef85c32/bb/tmp-Jiz2tA/public_inputs (mem: 251.00 MiB)
13:22:37 --proof_path: /tmp/bef85c32/bb/tmp-Jiz2tA/proof (mem: 251.00 MiB)
13:22:37 --vk_path: /tmp/bef85c32/bb/tmp-Jiz2tA/vk (mem: 251.00 MiB)
13:22:37 --verbose: true (mem: 251.00 MiB)
13:22:37 --scheme: ultra_honk (mem: 251.00 MiB)
13:22:37 --oracle_hash: poseidon2 (mem: 251.00 MiB)
13:22:37 --disable_zk: true (mem: 251.00 MiB)
13:22:37 [13:22:37.069]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 251.00 MiB)
13:22:37 [13:22:37.081]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 251.00 MiB)
13:22:37 Proof verification failed (mem: 251.00 MiB)
13:22:37 verified: 0 (mem: 251.00 MiB)
13:22:37 [13:22:37.082]
VERBOSE:
bb-prover bb-prover (verify) BB out -
13:22:37 [13:22:37.083]
ERROR:
bb-prover Error running operation at /tmp/bef85c32/bb/tmp-Jiz2tA: ProvingError: Failed to verify proof from key!
13:22:37 [13:22:37.268]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":81.57642799998575,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
13:22:37 [13:22:37.271]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:22:37 [13:22:37.271]
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/bef85c32/bb/tmp-baTKph -b /tmp/bef85c32/bb/tmp-baTKph/RootParityArtifact-bytecode -w /tmp/bef85c32/bb/tmp-baTKph/partial-witness.gz -v --init_kzg_accumulator -v
13:22:37 [13:22:37.299]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 251.00 MiB)
13:22:37 Scheme is: ultra_honk, num threads: 128 (mem: 251.00 MiB)
13:22:37 --scheme: ultra_honk (mem: 251.00 MiB)
13:22:37 --bytecode_path: /tmp/bef85c32/bb/tmp-baTKph/RootParityArtifact-bytecode (mem: 251.00 MiB)
13:22:37 --witness_path: /tmp/bef85c32/bb/tmp-baTKph/partial-witness.gz (mem: 251.00 MiB)
13:22:37 --output_path: /tmp/bef85c32/bb/tmp-baTKph (mem: 251.00 MiB)
13:22:37 Warning: the following option is called more than once (mem: 251.00 MiB)
13:22:37 --verbose: true (mem: 251.00 MiB)
13:22:37 --oracle_hash: poseidon2 (mem: 251.00 MiB)
13:22:37 --output_format: bytes_and_fields (mem: 251.00 MiB)
13:22:37 --write_vk: true (mem: 251.00 MiB)
13:22:37 --disable_zk: true (mem: 251.00 MiB)
13:22:37 --init_kzg_accumulator: true (mem: 251.00 MiB)
13:22:37 [13:22:37.488]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.00 MiB)
13:22:37 [13:22:37.506]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 251.00 MiB)
13:22:39 [13:22:39.525]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 419.00 MiB)
13:22:41 [13:22:41.941]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 787.93 MiB)
13:22:44 [13:22:44.046]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1061.68 MiB)
13:22:46 [13:22:46.127]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1433.20 MiB)
13:22:46 [13:22:46.127]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1433.20 MiB)
13:22:47 [13:22:47.368]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1846.95 MiB)
13:22:47 [13:22:47.914]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5485.40 MiB)
13:22:49 [13:22:49.444]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3315 ms. (mem: 6060.40 MiB)
13:22:49 [13:22:49.563]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6060.40 MiB)
13:22:49 [13:22:49.564]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6060.40 MiB)
13:22:50 [13:22:50.273]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6060.40 MiB)
13:22:53 [13:22:53.489]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6060.40 MiB)
13:22:57 [13:22:57.944]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6060.40 MiB)
13:23:00 [13:23:00.367]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6793.66 MiB)
13:23:02 [13:23:02.411]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6793.66 MiB)
13:23:08 [13:23:08.908]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6793.66 MiB)
13:23:10 [13:23:10.670]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6793.66 MiB)
13:23:10 [13:23:10.684]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6793.66 MiB)
13:23:11 [13:23:11.304]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/bef85c32/bb/tmp-baTKph/public_inputs" (mem: 6793.66 MiB)
13:23:11 Public inputs fields saved to "/tmp/bef85c32/bb/tmp-baTKph/public_inputs_fields.json" (mem: 6793.66 MiB)
13:23:11 Proof saved to "/tmp/bef85c32/bb/tmp-baTKph/proof" (mem: 6793.66 MiB)
13:23:11 [13:23:11.305]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/bef85c32/bb/tmp-baTKph/proof_fields.json" (mem: 6793.66 MiB)
13:23:11 VK saved to "/tmp/bef85c32/bb/tmp-baTKph/vk" (mem: 6793.66 MiB)
13:23:11 VK fields saved to "/tmp/bef85c32/bb/tmp-baTKph/vk_fields.json" (mem: 6793.66 MiB)
13:23:11 [13:23:11.505]
INFO:
bb-prover Generated proof for RootParityArtifact in 34233 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34232.20874399999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:23:11 [13:23:11.508]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:23:11 [13:23:11.508]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bef85c32/bb/tmp-FC07bu/proof -k /tmp/bef85c32/bb/tmp-FC07bu/vk -i /tmp/bef85c32/bb/tmp-FC07bu/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:23:11 [13:23:11.532]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.00 MiB)
13:23:11 [13:23:11.533]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.00 MiB)
13:23:11 --public_inputs_path: /tmp/bef85c32/bb/tmp-FC07bu/public_inputs (mem: 251.00 MiB)
13:23:11 --proof_path: /tmp/bef85c32/bb/tmp-FC07bu/proof (mem: 251.00 MiB)
13:23:11 --vk_path: /tmp/bef85c32/bb/tmp-FC07bu/vk (mem: 251.00 MiB)
13:23:11 --verbose: true (mem: 251.00 MiB)
13:23:11 --scheme: ultra_honk (mem: 251.00 MiB)
13:23:11 --oracle_hash: poseidon2 (mem: 251.00 MiB)
13:23:11 --disable_zk: true (mem: 251.00 MiB)
13:23:11 [13:23:11.533]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 251.00 MiB)
13:23:11 [13:23:11.546]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 251.00 MiB)
13:23:11 Proof verification failed (mem: 251.00 MiB)
13:23:11 [13:23:11.547]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 251.00 MiB)
13:23:11 [13:23:11.548]
ERROR:
bb-prover Error running operation at /tmp/bef85c32/bb/tmp-FC07bu: ProvingError: Failed to verify proof from key!
13:23:11 [13:23:11.550]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
13:23:11
PASS src/test/bb_prover_parity.test.ts (
125.754 s)
13:23:11 prover/bb_prover/parity
13:23:11
✓ proves the parity circuits (117768 ms)
13:23:11
13:23:11
Test Suites: 1 passed, 1 total
13:23:11
Tests: 1 passed, 1 total
13:23:11
Snapshots: 0 total
13:23:11
Time: 125.846 s
13:23:11
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
13:23:11
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?