Parent Log:
http://ci.aztec-labs.com/05df7c4176b10f8a
Command: f44e1b4f382283e1: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/df137f9440a970af2eb6e2ee94c48bf3bf47e207
Env: REF_NAME=gh-readonly-queue/next/pr-15157-08d3f55874836a573c4756b0cc7279160b0813a3 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 10:00:44 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15157_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
10:00:44 +++ id -u
10:00:44 +++ id -g
10:00:44 ++ docker run -d --name prover-client_src_test_bb_prover_parity.test.ts --net=none --cpuset-cpus=0-127 --cpus=16 --memory=96g --user 1000:1000 -v/home/aztec-dev:/home/aztec-dev --mount type=tmpfs,target=/tmp,tmpfs-size=1g --workdir /home/aztec-dev/aztec-packages -e HOME -e VERBOSE -e GIT_CONFIG_GLOBAL=/home/aztec-dev/aztec-packages/build-images/src/home/.gitconfig -e FORCE_COLOR=true -e CPUS -e MEM aztecprotocol/build:3.0 /bin/bash -c 'timeout -v 600s bash -c '\''LOG_LEVEL=verbose yarn-project/scripts/run_test.sh prover-client/src/test/bb_prover_parity.test.ts'\'''
10:00:45 + cid=0bdda8a2400985d433a03aac7016884ee5a096e21f6ac3deaaf0df21c90cd89d
10:00:45 + set +x
10:00:46 {"level":25,"time":1750413646940,"pid":7,"hostname":"0bdda8a24009","module":"logger","msg":"Logger initialized with level verbose"}
10:00:56 [10:00:56.054]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-TsmOsA/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
10:00:56 [10:00:56.127]
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/2a4a2849/bb
10:00:56 [10:00:56.128]
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/2a4a2849/acvm
10:00:56 [10:00:56.129]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/2a4a2849/bb
10:00:56 [10:00:56.130]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/2a4a2849/acvm
10:00:56 [10:00:56.133]
INFO:
prover-client:proving-broker Proving Broker started
10:00:56 [10:00:56.135]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
10:00:56 [10:00:56.351]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":58.97123199999987,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:00:56 [10:00:56.364]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":62.99972700000035,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:00:56 [10:00:56.375]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":44.98380099999849,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:00:56 [10:00:56.379]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:00:56 [10:00:56.379]
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/2a4a2849/bb/tmp-JzRwhb -b /tmp/2a4a2849/bb/tmp-JzRwhb/BaseParityArtifact-bytecode -w /tmp/2a4a2849/bb/tmp-JzRwhb/partial-witness.gz -v --init_kzg_accumulator -v
10:00:56 [10:00:56.402]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:00:56 [10:00:56.405]
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/2a4a2849/bb/tmp-5yCB7e -b /tmp/2a4a2849/bb/tmp-5yCB7e/BaseParityArtifact-bytecode -w /tmp/2a4a2849/bb/tmp-5yCB7e/partial-witness.gz -v --init_kzg_accumulator -v
10:00:56 [10:00:56.435]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:00:56 [10:00:56.436]
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/2a4a2849/bb/tmp-AkcFAK -b /tmp/2a4a2849/bb/tmp-AkcFAK/BaseParityArtifact-bytecode -w /tmp/2a4a2849/bb/tmp-AkcFAK/partial-witness.gz -v --init_kzg_accumulator -v
10:00:56 [10:00:56.456]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 254.35 MiB)
10:00:56 Scheme is: ultra_honk, num threads: 128 (mem: 254.35 MiB)
10:00:56 --scheme: ultra_honk (mem: 254.35 MiB)
10:00:56 --bytecode_path: /tmp/2a4a2849/bb/tmp-JzRwhb/BaseParityArtifact-bytecode (mem: 254.35 MiB)
10:00:56 --witness_path: /tmp/2a4a2849/bb/tmp-JzRwhb/partial-witness.gz (mem: 254.35 MiB)
10:00:56 --output_path: /tmp/2a4a2849/bb/tmp-JzRwhb (mem: 254.35 MiB)
10:00:56 Warning: the following option is called more than once (mem: 254.35 MiB)
10:00:56 --verbose: true (mem: 254.35 MiB)
10:00:56 --oracle_hash: poseidon2 (mem: 254.35 MiB)
10:00:56 --output_format: bytes_and_fields (mem: 254.35 MiB)
10:00:56 --write_vk: true (mem: 254.35 MiB)
10:00:56 --disable_zk: true (mem: 254.35 MiB)
10:00:56 --init_kzg_accumulator: true (mem: 254.35 MiB)
10:00:56 [10:00:56.457]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 254.35 MiB)
10:00:56 Scheme is: ultra_honk, num threads: 128 (mem: 254.35 MiB)
10:00:56 --scheme: ultra_honk (mem: 254.35 MiB)
10:00:56 --bytecode_path: /tmp/2a4a2849/bb/tmp-5yCB7e/BaseParityArtifact-bytecode (mem: 254.35 MiB)
10:00:56 --witness_path: /tmp/2a4a2849/bb/tmp-5yCB7e/partial-witness.gz (mem: 254.35 MiB)
10:00:56 --output_path: /tmp/2a4a2849/bb/tmp-5yCB7e (mem: 254.35 MiB)
10:00:56 Warning: the following option is called more than once (mem: 254.35 MiB)
10:00:56 --verbose: true (mem: 254.35 MiB)
10:00:56 --oracle_hash: poseidon2 (mem: 254.35 MiB)
10:00:56 --output_format: bytes_and_fields (mem: 254.35 MiB)
10:00:56 --write_vk: true (mem: 254.35 MiB)
10:00:56 --disable_zk: true (mem: 254.35 MiB)
10:00:56 --init_kzg_accumulator: true (mem: 254.35 MiB)
10:00:56 [10:00:56.467]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":66.02756899999986,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:00:56 [10:00:56.470]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 254.35 MiB)
10:00:56 Scheme is: ultra_honk, num threads: 128 (mem: 254.35 MiB)
10:00:56 --scheme: ultra_honk (mem: 254.35 MiB)
10:00:56 --bytecode_path: /tmp/2a4a2849/bb/tmp-AkcFAK/BaseParityArtifact-bytecode (mem: 254.35 MiB)
10:00:56 --witness_path: /tmp/2a4a2849/bb/tmp-AkcFAK/partial-witness.gz (mem: 254.35 MiB)
10:00:56 --output_path: /tmp/2a4a2849/bb/tmp-AkcFAK (mem: 254.35 MiB)
10:00:56 Warning: the following option is called more than once (mem: 254.35 MiB)
10:00:56 --verbose: true (mem: 254.35 MiB)
10:00:56 --oracle_hash: poseidon2 (mem: 254.35 MiB)
10:00:56 --output_format: bytes_and_fields (mem: 254.35 MiB)
10:00:56 --write_vk: true (mem: 254.35 MiB)
10:00:56 --disable_zk: true (mem: 254.35 MiB)
10:00:56 --init_kzg_accumulator: true (mem: 254.35 MiB)
10:00:56 [10:00:56.476]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:00:56 [10:00:56.477]
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/2a4a2849/bb/tmp-nBuxTJ -b /tmp/2a4a2849/bb/tmp-nBuxTJ/BaseParityArtifact-bytecode -w /tmp/2a4a2849/bb/tmp-nBuxTJ/partial-witness.gz -v --init_kzg_accumulator -v
10:00:56 [10:00:56.518]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 254.05 MiB)
10:00:56 Scheme is: ultra_honk, num threads: 128 (mem: 254.05 MiB)
10:00:56 --scheme: ultra_honk (mem: 254.05 MiB)
10:00:56 --bytecode_path: /tmp/2a4a2849/bb/tmp-nBuxTJ/BaseParityArtifact-bytecode (mem: 254.05 MiB)
10:00:56 --witness_path: /tmp/2a4a2849/bb/tmp-nBuxTJ/partial-witness.gz (mem: 254.05 MiB)
10:00:56 --output_path: /tmp/2a4a2849/bb/tmp-nBuxTJ (mem: 254.05 MiB)
10:00:56 Warning: the following option is called more than once (mem: 254.05 MiB)
10:00:56 --verbose: true (mem: 254.05 MiB)
10:00:56 --oracle_hash: poseidon2 (mem: 254.05 MiB)
10:00:56 --output_format: bytes_and_fields (mem: 254.05 MiB)
10:00:56 --write_vk: true (mem: 254.05 MiB)
10:00:56 --disable_zk: true (mem: 254.05 MiB)
10:00:56 --init_kzg_accumulator: true (mem: 254.05 MiB)
10:00:56 [10:00:56.581]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 254.35 MiB)
10:00:56 Constructing DeciderProvingKey (mem: 254.35 MiB)
10:00:56 [10:00:56.585]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 254.35 MiB)
10:00:56 [10:00:56.605]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 254.35 MiB)
10:00:56 [10:00:56.606]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 254.35 MiB)
10:00:56 [10:00:56.611]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 254.35 MiB)
10:00:56 [10:00:56.631]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 254.35 MiB)
10:00:56 Constructing DeciderProvingKey (mem: 254.35 MiB)
10:00:56 [10:00:56.633]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 254.35 MiB)
10:00:56 [10:00:56.675]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 254.05 MiB)
10:00:56 [10:00:56.675]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 254.05 MiB)
10:00:56 [10:00:56.680]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 254.05 MiB)
10:00:56 [10:00:56.800]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 254.35
10:00:56 [10:00:56.801]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
10:00:56 [10:00:56.827]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 254.35 MiB)
10:00:56 [10:00:56.881]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 254.35 MiB)
10:00:56 [10:00:56.893]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 259 ms. (mem: 254.35 MiB)
10:00:56 [10:00:56.905]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 254.35 MiB)
10:00:56 [10:00:56.912]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.35 MiB)
10:00:56 [10:00:56.916]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 254.05 MiB)
10:00:56 [10:00:56.929]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 348 ms. (mem: 254.35 MiB)
10:00:56 [10:00:56.938]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 254.35 MiB)
10:00:56 [10:00:56.948]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 254.35 MiB)
10:00:56 [10:00:56.950]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.35 MiB)
10:00:56 [10:00:56.980]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 254.35 MiB)
10:00:57 [10:00:57.024]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 415 ms. (mem: 254.35 MiB)
10:00:57 [10:00:57.025]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 346 ms. (mem: 254.05 MiB)
10:00:57 [10:00:57.033]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 254.35 MiB)
10:00:57 [10:00:57.036]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 254.05 MiB)
10:00:57 [10:00:57.042]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.05 MiB)
10:00:57 [10:00:57.047]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.35 MiB)
10:00:57 [10:00:57.073]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 254.35 MiB)
10:00:57 [10:00:57.075]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 254.05 MiB)
10:00:57 [10:00:57.890]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.35 MiB)
10:00:57 [10:00:57.998]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.35 MiB)
10:00:58 [10:00:58.166]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.05 MiB)
10:00:58 [10:00:58.179]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.35 MiB)
10:00:58 [10:00:58.565]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 254.35 MiB)
10:00:58 [10:00:58.722]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 254.35 MiB)
10:00:58 [10:00:58.810]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 254.05 MiB)
10:00:58 [10:00:58.812]
INFO:
bb-prover BaseParityArtifact BB out -
10:00:58 [10:00:58.844]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 254.35 MiB)
10:00:58 [10:00:58.893]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 263.18 MiB)
10:00:58 [10:00:58.995]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem:
10:00:58 [10:00:58.996]
INFO:
bb-prover BaseParityArtifact BB out - 263.43 MiB)
10:00:59 [10:00:59.061]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 262.38 MiB)
10:00:59 [10:00:59.094]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 254.11 MiB)
10:00:59 [10:00:59.100]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 263.18 MiB)
10:00:59 [10:00:59.195]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 263.43 MiB)
10:00:59 [10:00:59.203]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 262.38 MiB)
10:00:59 [10:00:59.243]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 254.11 MiB)
10:00:59 [10:00:59.246]
INFO:
bb-prover BaseParityArtifact BB out -
10:01:00 [10:01:00.370]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 263.18 MiB)
10:01:00 [10:01:00.447]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 263.18 MiB)
10:01:00 [10:01:00.449]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 263.18 MiB)
10:01:00 [10:01:00.453]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/2a4a2849/bb/tmp-5yCB7e/public_inputs" (mem: 263.18 MiB)
10:01:00 Public inputs fields saved to "/tmp/2a4a2849/bb/tmp-5yCB7e/public_inputs_fields.json" (mem: 263.18 MiB)
10:01:00 Proof saved to "/tmp/2a4a2849/bb/tmp-5yCB7e/proof" (mem: 263.18 MiB)
10:01:00 [10:01:00.454]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/2a4a2849/bb/tmp-5yCB7e/proof_fields.json" (mem: 263.18 MiB)
10:01:00 VK saved to "/tmp/2a4a2849/bb/tmp-5yCB7e/vk" (mem: 263.18 MiB)
10:01:00 VK fields saved to "/tmp/2a4a2849/bb/tmp-5yCB7e/vk_fields.json" (mem: 263.18 MiB)
10:01:00 [10:01:00.481]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 262.38 MiB)
10:01:00 [10:01:00.512]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4090 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4089.459312000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:01:00 [10:01:00.520]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:01:00 [10:01:00.521]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2a4a2849/bb/tmp-vord2e/proof -k /tmp/2a4a2849/bb/tmp-vord2e/vk -i /tmp/2a4a2849/bb/tmp-vord2e/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:01:00 [10:01:00.562]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 263.43 MiB)
10:01:00 [10:01:00.564]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 262.38 MiB)
10:01:00 finished decider proving. (mem: 262.38 MiB)
10:01:00 Public inputs saved to "/tmp/2a4a2849/bb/tmp-JzRwhb/public_inputs" (mem: 262.38 MiB)
10:01:00 Public inputs fields saved to "/tmp/2a4a2849/bb/tmp-JzRwhb/public_inputs_fields.json" (mem: 262.38 MiB)
10:01:00 Proof saved to "/tmp/2a4a2849/bb/tmp-JzRwhb/proof" (mem: 262.38 MiB)
10:01:00 Proof fields saved to "/tmp/2a4a2849/bb/tmp-JzRwhb/proof_fields.json" (mem: 262.38 MiB)
10:01:00 VK saved to "/tmp/2a4a2849/bb/tmp-JzRwhb/vk" (mem: 262.38 MiB)
10:01:00 VK fields saved to "/tmp/2a4a2849/bb/tmp-JzRwhb/vk_fields.json" (mem: 262.38 MiB)
10:01:00 [10:01:00.565]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.39 MiB)
10:01:00 Scheme is: ultra_honk, num threads: 128 (mem: 254.39 MiB)
10:01:00 --public_inputs_path: /tmp/2a4a2849/bb/tmp-vord2e/public_inputs (mem: 254.39 MiB)
10:01:00 --proof_path: /tmp/2a4a2849/bb/tmp-vord2e/proof (mem: 254.39 MiB)
10:01:00 --vk_path: /tmp/2a4a2849/bb/tmp-vord2e/vk (mem: 254.39 MiB)
10:01:00 --verbose: true (mem: 254.39 MiB)
10:01:00 --scheme: ultra_honk (mem: 254.39 MiB)
10:01:00 --oracle_hash: poseidon2 (mem: 254.39 MiB)
10:01:00 --disable_zk: true (mem: 254.39 MiB)
10:01:00 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.39 MiB)
10:01:00 [10:01:00.585]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.39 MiB)
10:01:00 Initialized BN254 CRS from memory with num points = 1025 (mem: 254.39 MiB)
10:01:00 [10:01:00.587]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1
10:01:00 [10:01:00.588]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
10:01:00 [10:01:00.590]
VERBOSE:
bb-prover bb-prover (verify) BB out - 254.39 MiB)
10:01:00 libra_evals_verified: 1 (mem: 254.39 MiB)
10:01:00 pairing_check_verified: 1 (mem: 254.39 MiB)
10:01:00 Proof verified successfully (mem: 254.39 MiB)
10:01:00 verified: 1 (mem: 254.39 MiB)
10:01:00 [10:01:00.592]
INFO:
bb-prover Successfully verified proof from key in 71.3347020000001 ms
10:01:00 [10:01:00.598]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 263.43 MiB)
10:01:00 [10:01:00.600]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 263.43 MiB)
10:01:00 [10:01:00.607]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/2a4a2849/bb/tmp-AkcFAK/public_inputs" (mem: 263.43 MiB)
10:01:00 [10:01:00.608]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/2a4a2849/bb/tmp-AkcFAK/public_inputs_fields.json" (mem: 263.43 MiB)
10:01:00 Proof saved to "/tmp/2a4a2849/bb/tmp-AkcFAK/proof" (mem: 263.43 MiB)
10:01:00 Proof fields saved to "/tmp/2a4a2849/bb/tmp-AkcFAK/proof_fields.json" (mem: 263.43 MiB)
10:01:00 VK saved to "/tmp/2a4a2849/bb/tmp-AkcFAK/vk" (mem: 263.43 MiB)
10:01:00 VK fields saved to "/tmp/2a4a2849/bb/tmp-AkcFAK/vk_fields.json" (mem: 263.43 MiB)
10:01:00 [10:01:00.619]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4235 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4234.539203999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:01:00 [10:01:00.628]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:01:00 [10:01:00.629]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2a4a2849/bb/tmp-DFpPkq/proof -k /tmp/2a4a2849/bb/tmp-DFpPkq/vk -i /tmp/2a4a2849/bb/tmp-DFpPkq/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:01:00 [10:01:00.659]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 254.11 MiB)
10:01:00 [10:01:00.671]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4226 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4225.212899,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:01:00 [10:01:00.672]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.78 MiB)
10:01:00 Scheme is: ultra_honk, num threads: 128 (mem: 253.78 MiB)
10:01:00 --public_inputs_path: /tmp/2a4a2849/bb/tmp-DFpPkq/public_inputs (mem: 253.78 MiB)
10:01:00 --proof_path: /tmp/2a4a2849/bb/tmp-DFpPkq/proof (mem: 253.78 MiB)
10:01:00 --vk_path: /tmp/2a4a2849/bb/tmp-DFpPkq/vk (mem: 253.78 MiB)
10:01:00 --verbose: true (mem: 253.78 MiB)
10:01:00 --scheme: ultra_honk (mem: 253.78 MiB)
10:01:00 --oracle_hash: poseidon2 (mem: 253.78 MiB)
10:01:00 --disable_zk: true (mem: 253.78 MiB)
10:01:00 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.78 MiB)
10:01:00 [10:01:00.676]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 254.11 MiB)
10:01:00 [10:01:00.677]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:01:00 [10:01:00.677]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2a4a2849/bb/tmp-tykcU0/proof -k /tmp/2a4a2849/bb/tmp-tykcU0/vk -i /tmp/2a4a2849/bb/tmp-tykcU0/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:01:00 [10:01:00.707]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 254.11 MiB)
10:01:00 Public inputs saved to "/tmp/2a4a2849/bb/tmp-nBuxTJ/public_inputs" (mem: 254.11 MiB)
10:01:00 Public inputs fields saved to "/tmp/2a4a2849/bb/tmp-nBuxTJ/public_inputs_fields.json" (mem: 254.11 MiB)
10:01:00 Proof saved to "/tmp/2a4a2849/bb/tmp-nBuxTJ/proof" (mem: 254.11 MiB)
10:01:00 Proof fields saved to "/tmp/2a4a2849/bb/tmp-nBuxTJ/proof_fields.json" (mem: 254.11 MiB)
10:01:00 VK saved to "/tmp/2a4a2849/bb/tmp-nBuxTJ/vk" (mem: 254.11 MiB)
10:01:00 VK fields saved to "/tmp/2a4a2849/bb/tmp-nBuxTJ/vk_fields.json" (mem: 254.11 MiB)
10:01:00 [10:01:00.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: 253.78 MiB)
10:01:00 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.78 MiB)
10:01:00 sumcheck_verified: 1 (mem: 253.78 MiB)
10:01:00 libra_evals_verified: 1 (mem: 253.78 MiB)
10:01:00 pairing_check_verified: 1 (mem: 253.78 MiB)
10:01:00 Proof verified successfully (mem: 253.78 MiB)
10:01:00 verified: 1 (mem: 253.78 MiB)
10:01:00 [10:01:00.716]
INFO:
bb-prover Successfully verified proof from key in 87.4042470000004 ms
10:01:00 [10:01:00.722]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.40 MiB)
10:01:00 Scheme is: ultra_honk, num threads: 128 (mem: 254.40 MiB)
10:01:00 --public_inputs_path: /tmp/2a4a2849/bb/tmp-tykcU0/public_inputs (mem: 254.40 MiB)
10:01:00 --proof_path: /tmp/2a4a2849/bb/tmp-tykcU0/proof (mem: 254.40 MiB)
10:01:00 --vk_path: /tmp/2a4a2849/bb/tmp-tykcU0/vk (mem: 254.40 MiB)
10:01:00 --verbose: true (mem: 254.40 MiB)
10:01:00 --scheme: ultra_honk (mem: 254.40 MiB)
10:01:00 --oracle_hash: poseidon2 (mem: 254.40 MiB)
10:01:00 --disable_zk: true (mem: 254.40 MiB)
10:01:00 [10:01:00.728]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4250 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4249.156649999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:01:00 [10:01:00.730]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.40 MiB)
10:01:00 [10:01:00.745]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.40 MiB)
10:01:00 Initialized BN254 CRS from memory with num points = 1025 (mem: 254.40 MiB)
10:01:00 [10:01:00.747]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.40 MiB)
10:01:00 libra_evals_verified: 1 (mem: 254.40 MiB)
10:01:00 [10:01:00.747]
VERBOSE:
bb-prover bb-prover (verify) BB out - pairing_check_verified: 1 (mem: 254.40 MiB)
10:01:00 Proof verified successfully (mem: 254.40 MiB)
10:01:00 verified: 1 (mem: 254.40 MiB)
10:01:00 [10:01:00.748]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:01:00 [10:01:00.748]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2a4a2849/bb/tmp-X3QuUN/proof -k /tmp/2a4a2849/bb/tmp-X3QuUN/vk -i /tmp/2a4a2849/bb/tmp-X3QuUN/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:01:00 [10:01:00.770]
INFO:
bb-prover Successfully verified proof from key in 93.09390499999972 ms
10:01:00 [10:01:00.776]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.59 MiB)
10:01:00 Scheme is: ultra_honk, num threads: 128 (mem: 254.59 MiB)
10:01:00 --public_inputs_path: /tmp/2a4a2849/bb/tmp-X3QuUN/public_inputs (mem: 254.59 MiB)
10:01:00 --proof_path: /tmp/2a4a2849/bb/tmp-X3QuUN/proof (mem: 254.59 MiB)
10:01:00 --vk_path: /tmp/2a4a2849/bb/tmp-X3QuUN/vk (mem: 254.59 MiB)
10:01:00 --verbose: true (mem: 254.59 MiB)
10:01:00 --scheme: ultra_honk (mem: 254.59 MiB)
10:01:00 --oracle_hash: poseidon2 (mem: 254.59 MiB)
10:01:00 --disable_zk: true (mem: 254.59 MiB)
10:01:00 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.59 MiB)
10:01:00 [10:01:00.791]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.59 MiB)
10:01:00 [10:01:00.794]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 254.59 MiB)
10:01:00 sumcheck_verified: 1 (mem: 254.59 MiB)
10:01:00 libra_evals_verified: 1 (mem: 254.59 MiB)
10:01:00 pairing_check_verified: 1 (mem: 254.59 MiB)
10:01:00 Proof verified successfully (mem: 254.59 MiB)
10:01:00 verified: 1 (mem: 254.59 MiB)
10:01:00 [10:01:00.795]
INFO:
bb-prover Successfully verified proof from key in 47.000371999998606 ms
10:01:00 [10:01:00.804]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:01:00 [10:01:00.804]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2a4a2849/bb/tmp-b81wXE/proof -k /tmp/2a4a2849/bb/tmp-b81wXE/vk -i /tmp/2a4a2849/bb/tmp-b81wXE/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:01:00 [10:01:00.830]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:01:00 [10:01:00.831]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2a4a2849/bb/tmp-DXYuLv/proof -k /tmp/2a4a2849/bb/tmp-DXYuLv/vk -i /tmp/2a4a2849/bb/tmp-DXYuLv/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:01:00 [10:01:00.853]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:01:00 [10:01:00.853]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2a4a2849/bb/tmp-dStYsJ/proof -k /tmp/2a4a2849/bb/tmp-dStYsJ/vk -i /tmp/2a4a2849/bb/tmp-dStYsJ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:01:00 [10:01:00.875]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:01:00 [10:01:00.875]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2a4a2849/bb/tmp-ncRNNM/proof -k /tmp/2a4a2849/bb/tmp-ncRNNM/vk -i /tmp/2a4a2849/bb/tmp-ncRNNM/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:01:00 [10:01:00.895]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.67 MiB)
10:01:00 Scheme is: ultra_honk, num threads: 128 (mem: 254.67 MiB)
10:01:00 --public_inputs_path: /tmp/2a4a2849/bb/tmp-b81wXE/public_inputs (mem: 254.67 MiB)
10:01:00 --proof_path: /tmp/2a4a2849/bb/tmp-b81wXE/proof (mem: 254.67 MiB)
10:01:00 --vk_path: /tmp/2a4a2849/bb/tmp-b81wXE/vk (mem: 254.67 MiB)
10:01:00 --verbose: true (mem: 254.67 MiB)
10:01:00 --scheme: ultra_honk (mem: 254.67 MiB)
10:01:00 --oracle_hash: poseidon2 (mem: 254.67 MiB)
10:01:00 --disable_zk: true (mem: 254.67 MiB)
10:01:00 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.67 MiB)
10:01:00 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.67 MiB)
10:01:00 Initialized BN254 CRS from memory with num points = 1025 (mem: 254.67 MiB)
10:01:00 sumcheck_verified: 1 (mem: 254.67 MiB)
10:01:00 libra_evals_verified: 1 (mem: 254.67 MiB)
10:01:00 pairing_check_verified: 1 (mem: 254.67 MiB)
10:01:00 Proof verified successfully (mem: 254.67 MiB)
10:01:00 verified: 1 (mem: 254.67 MiB)
10:01:00 [10:01:00.896]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.67 MiB)
10:01:00 Scheme is: ultra_honk, num threads: 128 (mem: 254.67 MiB)
10:01:00 --public_inputs_path: /tmp/2a4a2849/bb/tmp-DXYuLv/public_inputs (mem: 254.67 MiB)
10:01:00 --proof_path: /tmp/2a4a2849/bb/tmp-DXYuLv/proof (mem: 254.67 MiB)
10:01:00 --vk_path: /tmp/2a4a2849/bb/tmp-DXYuLv/vk (mem: 254.67 MiB)
10:01:00 --verbose: true (mem: 254.67 MiB)
10:01:00 --scheme: ultra_honk (mem: 254.67 MiB)
10:01:00 --oracle_hash: poseidon2 (mem: 254.67 MiB)
10:01:00 --disable_zk: true (mem: 254.67 MiB)
10:01:00 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.67 MiB)
10:01:00 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.67 MiB)
10:01:00 Initialized BN254 CRS from memory with num points = 1025 (mem: 254.67 MiB)
10:01:00 sumcheck_verified: 1 (mem: 254.67 MiB)
10:01:00 libra_evals_verified: 1 (mem: 254.67 MiB)
10:01:00 pairing_check_verified: 1 (mem: 254.67 MiB)
10:01:00 Proof verified successfully (mem: 254.67 MiB)
10:01:00 verified: 1 (mem: 254.67 MiB)
10:01:00 [10:01:00.897]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.67 MiB)
10:01:00 Scheme is: ultra_honk, num threads: 128 (mem: 254.67 MiB)
10:01:00 --public_inputs_path: /tmp/2a4a2849/bb/tmp-dStYsJ/public_inputs (mem: 254.67 MiB)
10:01:00 --proof_path: /tmp/2a4a2849/bb/tmp-dStYsJ/proof (mem: 254.67 MiB)
10:01:00 --vk_path: /tmp/2a4a2849/bb/tmp-dStYsJ/vk (mem: 254.67 MiB)
10:01:00 --verbose: true (mem: 254.67 MiB)
10:01:00 --scheme: ultra_honk (mem: 254.67 MiB)
10:01:00 --oracle_hash: poseidon2 (mem: 254.67 MiB)
10:01:00 --disable_zk: true (mem: 254.67 MiB)
10:01:00 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.67 MiB)
10:01:00 [10:01:00.897]
INFO:
bb-prover Successfully verified proof from key in 67.0838619999995 ms
10:01:00 [10:01:00.898]
INFO:
bb-prover Successfully verified proof from key in 94.0198049999999 ms
10:01:00 [10:01:00.899]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.67 MiB)
10:01:00 Initialized BN254 CRS from memory with num points = 1025 (mem: 254.67 MiB)
10:01:00 [10:01:00.899]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.67 MiB)
10:01:00 libra_evals_verified: 1 (mem: 254.67 MiB)
10:01:00 pairing_check_verified: 1 (mem: 254.67 MiB)
10:01:00 Proof verified successfully (mem: 254.67 MiB)
10:01:00 [10:01:00.900]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.67 MiB)
10:01:00 Scheme is: ultra_honk, num threads: 128 (mem: 254.67 MiB)
10:01:00 --public_inputs_path: /tmp/2a4a2849/bb/tmp-ncRNNM/public_inputs (mem: 254.67 MiB)
10:01:00 --proof_path: /tmp/2a4a2849/bb/tmp-ncRNNM/proof (mem: 254.67 MiB)
10:01:00 --vk_path: /tmp/2a4a2849/bb/tmp-ncRNNM/vk (mem: 254.67 MiB)
10:01:00 --verbose: true (mem: 254.67 MiB)
10:01:00 --scheme: ultra_honk (mem: 254.67 MiB)
10:01:00 --oracle_hash: poseidon2 (mem: 254.67 MiB)
10:01:00 --disable_zk: true (mem: 254.67 MiB)
10:01:00 [10:01:00.900]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 254.67 MiB)
10:01:00 [10:01:00.901]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.67 MiB)
10:01:00 [10:01:00.903]
INFO:
bb-prover Successfully verified proof from key in 50.72220000000016 ms
10:01:00 [10:01:00.917]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.67 MiB)
10:01:00 [10:01:00.919]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 254.67 MiB)
10:01:00 sumcheck_verified: 1 (mem: 254.67 MiB)
10:01:00 libra_evals_verified: 1 (mem: 254.67 MiB)
10:01:00 pairing_check_verified: 1 (mem: 254.67 MiB)
10:01:00 Proof verified successfully (mem: 254.67 MiB)
10:01:00 verified: 1 (mem: 254.67 MiB)
10:01:00 [10:01:00.920]
INFO:
bb-prover Successfully verified proof from key in 45.725296000000526 ms
10:01:01 [10:01:01.172]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":100.52077099999951,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:01:01 [10:01:01.175]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:01:01 [10:01:01.176]
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/2a4a2849/bb/tmp-XXyews -b /tmp/2a4a2849/bb/tmp-XXyews/RootParityArtifact-bytecode -w /tmp/2a4a2849/bb/tmp-XXyews/partial-witness.gz -v --init_kzg_accumulator -v
10:01:01 [10:01:01.215]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 256.49 MiB)
10:01:01 Scheme is: ultra_honk, num threads: 128 (mem: 256.49 MiB)
10:01:01 --scheme: ultra_honk (mem: 256.49 MiB)
10:01:01 --bytecode_path: /tmp/2a4a2849/bb/tmp-XXyews/RootParityArtifact-bytecode (mem: 256.49 MiB)
10:01:01 --witness_path: /tmp/2a4a2849/bb/tmp-XXyews/partial-witness.gz (mem: 256.49 MiB)
10:01:01 --output_path: /tmp/2a4a2849/bb/tmp-XXyews (mem: 256.49 MiB)
10:01:01 Warning: the following option is called more than once (mem: 256.49 MiB)
10:01:01 --verbose: true (mem: 256.49 MiB)
10:01:01 --oracle_hash: poseidon2 (mem: 256.49 MiB)
10:01:01 --output_format: bytes_and_fields (mem: 256.49 MiB)
10:01:01 --write_vk: true (mem: 256.49 MiB)
10:01:01 --disable_zk: true (mem: 256.49 MiB)
10:01:01 --init_kzg_accumulator: true (mem: 256.49 MiB)
10:01:01 [10:01:01.417]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.49 MiB)
10:01:03 [10:01:03.505]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 416.40 MiB)
10:01:05 [10:01:05.918]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 784.23 MiB)
10:01:08 [10:01:08.100]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1051.54 MiB)
10:01:10 [10:01:10.503]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1424.20 MiB)
10:01:10 [10:01:10.505]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1424.20 MiB)
10:01:11 [10:01:11.821]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1876.02 MiB)
10:01:12 [10:01:12.184]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5526.02 MiB)
10:01:14 [10:01:14.228]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3723 ms. (mem: 6076.02 MiB)
10:01:14 [10:01:14.410]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6076.02 MiB)
10:01:14 [10:01:14.613]
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.87 MiB)
10:01:15 [10:01:15.876]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7332.87 MiB)
10:01:24 [10:01:24.514]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7332.87 MiB)
10:01:29 [10:01:29.679]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7332.87 MiB)
10:01:31 [10:01:31.592]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8974.34 MiB)
10:01:33 [10:01:33.883]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8974.34 MiB)
10:01:39 [10:01:39.483]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8974.34 MiB)
10:01:40 [10:01:40.930]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8974.34 MiB)
10:01:40 [10:01:40.962]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8974.34 MiB)
10:01:41 [10:01:41.746]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/2a4a2849/bb/tmp-XXyews/public_inputs" (mem: 8974.34 MiB)
10:01:41 Public inputs fields saved to "/tmp/2a4a2849/bb/tmp-XXyews/public_inputs_fields.json" (mem: 8974.34 MiB)
10:01:41 Proof saved to "/tmp/2a4a2849/bb/tmp-XXyews/proof" (mem: 8974.34 MiB)
10:01:41 Proof fields saved to "/tmp/2a4a2849/bb/tmp-XXyews/proof_fields.json" (mem: 8974.34 MiB)
10:01:41 VK saved to "/tmp/2a4a2849/bb/tmp-XXyews/vk" (mem: 8974.34 MiB)
10:01:41 VK fields saved to "/tmp/2a4a2849/bb/tmp-XXyews/vk_fields.json" (mem: 8974.34 MiB)
10:01:42 [10:01:42.005]
INFO:
bb-prover Generated proof for RootParityArtifact in 40824 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40823.54242,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:01:42 [10:01:42.010]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:01:42 [10:01:42.010]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2a4a2849/bb/tmp-TZnboR/proof -k /tmp/2a4a2849/bb/tmp-TZnboR/vk -i /tmp/2a4a2849/bb/tmp-TZnboR/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:01:42 [10:01:42.035]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.50 MiB)
10:01:42 [10:01:42.036]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 256.50 MiB)
10:01:42 --public_inputs_path: /tmp/2a4a2849/bb/tmp-TZnboR/public_inputs (mem: 256.50 MiB)
10:01:42 --proof_path: /tmp/2a4a2849/bb/tmp-TZnboR/proof (mem: 256.50 MiB)
10:01:42 --vk_path: /tmp/2a4a2849/bb/tmp-TZnboR/vk (mem: 256.50 MiB)
10:01:42 --verbose: true (mem: 256.50 MiB)
10:01:42 --scheme: ultra_honk (mem: 256.50 MiB)
10:01:42 --oracle_hash: poseidon2 (mem: 256.50 MiB)
10:01:42 --disable_zk: true (mem: 256.50 MiB)
10:01:42 [10:01:42.036]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.50 MiB)
10:01:42 [10:01:42.052]
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: 256.50 MiB)
10:01:42 [10:01:42.053]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 256.50 MiB)
10:01:42 [10:01:42.053]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 256.50 MiB)
10:01:42 libra_evals_verified: 1 (mem: 256.50 MiB)
10:01:42 pairing_check_verified: 1 (mem: 256.50 MiB)
10:01:42 Proof verified successfully (mem: 256.50 MiB)
10:01:42 verified: 1 (mem: 256.50 MiB)
10:01:42 [10:01:42.056]
INFO:
bb-prover Successfully verified proof from key in 46.820764999996754 ms
10:01:42 [10:01:42.060]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:01:42 [10:01:42.061]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2a4a2849/bb/tmp-LaxIBi/proof -k /tmp/2a4a2849/bb/tmp-LaxIBi/vk -i /tmp/2a4a2849/bb/tmp-LaxIBi/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:01:42 [10:01:42.084]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.50 MiB)
10:01:42 [10:01:42.085]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 256.50 MiB)
10:01:42 --public_inputs_path: /tmp/2a4a2849/bb/tmp-LaxIBi/public_inputs (mem: 256.50 MiB)
10:01:42 --proof_path: /tmp/2a4a2849/bb/tmp-LaxIBi/proof (mem: 256.50 MiB)
10:01:42 --vk_path: /tmp/2a4a2849/bb/tmp-LaxIBi/vk (mem: 256.50 MiB)
10:01:42 --verbose: true (mem: 256.50 MiB)
10:01:42 --scheme: ultra_honk (mem: 256.50 MiB)
10:01:42 --oracle_hash: poseidon2 (mem: 256.50 MiB)
10:01:42 --disable_zk: true (mem: 256.50 MiB)
10:01:42 [10:01:42.087]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.50 MiB)
10:01:42 [10:01:42.100]
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: 256.50 MiB)
10:01:42 Initialized BN254 CRS from memory with num points = 1025 (mem: 256.50 MiB)
10:01:42 [10:01:42.105]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 256.50 MiB)
10:01:42 libra_evals_verified: 1 (mem: 256.50 MiB)
10:01:42 pairing_check_verified: 1 (mem: 256.50 MiB)
10:01:42 Proof verified successfully (mem: 256.50 MiB)
10:01:42 verified: 1 (mem: 256.50 MiB)
10:01:42 [10:01:42.106]
INFO:
bb-prover Successfully verified proof from key in 45.800178999998025 ms
10:01:42 [10:01:42.209]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
10:01:42
10:01:42 [10:01:42.211]
ERROR:
bb-prover Error running operation at /tmp/2a4a2849/bb/tmp-aXQNK2: Error: Failed to generate witness: Failed assertion
10:01:42
10:01:42 [10:01:42.428]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":88.33117599999969,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
10:01:42 [10:01:42.430]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:01:42 [10:01:42.430]
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/2a4a2849/bb/tmp-I3p5r1 -b /tmp/2a4a2849/bb/tmp-I3p5r1/RootParityArtifact-bytecode -w /tmp/2a4a2849/bb/tmp-I3p5r1/partial-witness.gz -v --init_kzg_accumulator -v
10:01:42 [10:01:42.456]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 256.50 MiB)
10:01:42 [10:01:42.457]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 256.50 MiB)
10:01:42 --scheme: ultra_honk (mem: 256.50 MiB)
10:01:42 --bytecode_path: /tmp/2a4a2849/bb/tmp-I3p5r1/RootParityArtifact-bytecode (mem: 256.50 MiB)
10:01:42 --witness_path: /tmp/2a4a2849/bb/tmp-I3p5r1/partial-witness.gz (mem: 256.50 MiB)
10:01:42 --output_path: /tmp/2a4a2849/bb/tmp-I3p5r1 (mem: 256.50 MiB)
10:01:42 Warning: the following option is called more than once (mem: 256.50 MiB)
10:01:42 --verbose: true (mem: 256.50 MiB)
10:01:42 --oracle_hash: poseidon2 (mem: 256.50 MiB)
10:01:42 --output_format: bytes_and_fields (mem: 256.50 MiB)
10:01:42 --write_vk: true (mem: 256.50 MiB)
10:01:42 --disable_zk: true (mem: 256.50 MiB)
10:01:42 --init_kzg_accumulator: true (mem: 256.50 MiB)
10:01:42 [10:01:42.644]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.50 MiB)
10:01:42 [10:01:42.661]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 256.50 MiB)
10:01:44 [10:01:44.658]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 413.84 MiB)
10:01:47 [10:01:47.007]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 780.62 MiB)
10:01:49 [10:01:49.146]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1046.96 MiB)
10:01:51 [10:01:51.560]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1418.91 MiB)
10:01:51 Constructing DeciderProvingKey (mem: 1418.91 MiB)
10:01:53 [10:01:53.001]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1869.34 MiB)
10:01:53 [10:01:53.402]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5521.34 MiB)
10:01:55 [10:01:55.395]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3835 ms. (mem: 6071.34 MiB)
10:01:55 [10:01:55.550]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6071.34 MiB)
10:01:55 [10:01:55.909]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6557.91 MiB)
10:01:57 [10:01:57.169]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7331.91 MiB)
10:02:04 [10:02:04.022]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7331.91 MiB)
10:02:07 [10:02:07.781]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7331.91 MiB)
10:02:09 [10:02:09.617]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8968.22 MiB)
10:02:11 [10:02:11.672]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8968.22 MiB)
10:02:17 [10:02:17.567]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8968.22 MiB)
10:02:19 [10:02:18.997]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8968.22 MiB)
10:02:19 [10:02:19.025]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving.
10:02:19 [10:02:19.026]
INFO:
bb-prover RootParityArtifact BB out - (mem: 8968.22 MiB)
10:02:19 [10:02:19.939]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/2a4a2849/bb/tmp-I3p5r1/public_inputs" (mem: 8968.22 MiB)
10:02:19 [10:02:19.940]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/2a4a2849/bb/tmp-I3p5r1/public_inputs_fields.json" (mem: 8968.22 MiB)
10:02:19 Proof saved to "/tmp/2a4a2849/bb/tmp-I3p5r1/proof" (mem: 8968.22 MiB)
10:02:19 [10:02:19.941]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/2a4a2849/bb/tmp-I3p5r1/proof_fields.json" (mem: 8968.22 MiB)
10:02:19 VK saved to "/tmp/2a4a2849/bb/tmp-I3p5r1/vk" (mem: 8968.22 MiB)
10:02:19 VK fields saved to "/tmp/2a4a2849/bb/tmp-I3p5r1/vk_fields.json" (mem: 8968.22 MiB)
10:02:20 [10:02:20.154]
INFO:
bb-prover Generated proof for RootParityArtifact in 37722 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":37721.926016,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:02:20 [10:02:20.157]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:02:20 [10:02:20.157]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2a4a2849/bb/tmp-MnW6ut/proof -k /tmp/2a4a2849/bb/tmp-MnW6ut/vk -i /tmp/2a4a2849/bb/tmp-MnW6ut/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:02:20 [10:02:20.179]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.50 MiB)
10:02:20 Scheme is: ultra_honk, num threads: 128 (mem: 256.50 MiB)
10:02:20 --public_inputs_path: /tmp/2a4a2849/bb/tmp-MnW6ut/public_inputs (mem: 256.50 MiB)
10:02:20 --proof_path: /tmp/2a4a2849/bb/tmp-MnW6ut/proof (mem: 256.50 MiB)
10:02:20 --vk_path: /tmp/2a4a2849/bb/tmp-MnW6ut/vk (mem: 256.50 MiB)
10:02:20 --verbose: true (mem: 256.50 MiB)
10:02:20 --scheme: ultra_honk (mem: 256.50 MiB)
10:02:20 --oracle_hash: poseidon2 (mem: 256.50 MiB)
10:02:20 --disable_zk: true (mem: 256.50 MiB)
10:02:20 [10:02:20.180]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.50 MiB)
10:02:20 [10:02:20.190]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 256.50 MiB)
10:02:20 Proof verification failed (mem: 256.50 MiB)
10:02:20 [10:02:20.190]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 256.50 MiB)
10:02:20 [10:02:20.193]
ERROR:
bb-prover Error running operation at /tmp/2a4a2849/bb/tmp-MnW6ut: ProvingError: Failed to verify proof from key!
10:02:20 [10:02:20.335]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":66.99383799999487,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:02:20 [10:02:20.336]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:02:20 [10:02:20.336]
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/2a4a2849/bb/tmp-LAspmO -b /tmp/2a4a2849/bb/tmp-LAspmO/RootParityArtifact-bytecode -w /tmp/2a4a2849/bb/tmp-LAspmO/partial-witness.gz -v --init_kzg_accumulator -v
10:02:20 [10:02:20.356]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 256.50 MiB)
10:02:20 Scheme is: ultra_honk, num threads: 128 (mem: 256.50 MiB)
10:02:20 --scheme: ultra_honk (mem: 256.50 MiB)
10:02:20 --bytecode_path: /tmp/2a4a2849/bb/tmp-LAspmO/RootParityArtifact-bytecode (mem: 256.50 MiB)
10:02:20 --witness_path: /tmp/2a4a2849/bb/tmp-LAspmO/partial-witness.gz (mem: 256.50 MiB)
10:02:20 --output_path: /tmp/2a4a2849/bb/tmp-LAspmO (mem: 256.50 MiB)
10:02:20 Warning: the following option is called more than once (mem: 256.50 MiB)
10:02:20 --verbose: true (mem: 256.50 MiB)
10:02:20 --oracle_hash: poseidon2 (mem: 256.50 MiB)
10:02:20 --output_format: bytes_and_fields (mem: 256.50 MiB)
10:02:20 --write_vk: true (mem: 256.50 MiB)
10:02:20 --disable_zk: true (mem: 256.50 MiB)
10:02:20 --init_kzg_accumulator: true (mem: 256.50 MiB)
10:02:20 [10:02:20.535]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.50 MiB)
10:02:20 [10:02:20.551]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 256.50 MiB)
10:02:22 [10:02:22.433]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 423.68 MiB)
10:02:24 [10:02:24.742]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 792.19 MiB)
10:02:26 [10:02:26.659]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1059.57 MiB)
10:02:28 [10:02:28.839]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1433.08 MiB)
10:02:28 [10:02:28.839]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1433.08 MiB)
10:02:29 [10:02:29.936]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1883.59 MiB)
10:02:30 [10:02:30.321]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5528.59 MiB)
10:02:31 [10:02:31.735]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 2895 ms. (mem: 6076.59 MiB)
10:02:31 [10:02:31.841]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6076.59 MiB)
10:02:31 [10:02:31.974]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6556.54 MiB)
10:02:33 [10:02:33.160]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7330.54 MiB)
10:02:38 [10:02:38.527]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7330.54 MiB)
10:02:42 [10:02:42.542]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7330.54 MiB)
10:02:44 [10:02:44.876]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8969.03 MiB)
10:02:44 [10:02:44.877]
INFO:
bb-prover RootParityArtifact BB out -
10:02:46 [10:02:46.825]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8969.03 MiB)
10:02:52 [10:02:52.057]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8969.03 MiB)
10:02:53 [10:02:53.764]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8969.03 MiB)
10:02:53 [10:02:53.773]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8969.03 MiB)
10:02:54 [10:02:54.545]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/2a4a2849/bb/tmp-LAspmO/public_inputs" (mem: 8969.03 MiB)
10:02:54 [10:02:54.546]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/2a4a2849/bb/tmp-LAspmO/public_inputs_fields.json" (mem: 8969.03 MiB)
10:02:54 Proof saved to "/tmp/2a4a2849/bb/tmp-LAspmO/proof" (mem: 8969.03 MiB)
10:02:54 Proof fields saved to "/tmp/2a4a2849/bb/tmp-LAspmO/proof_fields.json" (mem: 8969.03 MiB)
10:02:54 VK saved to "/tmp/2a4a2849/bb/tmp-LAspmO/vk" (mem: 8969.03 MiB)
10:02:54 VK fields saved to "/tmp/2a4a2849/bb/tmp-LAspmO/vk_fields.json" (mem: 8969.03 MiB)
10:02:54 [10:02:54.744]
INFO:
bb-prover Generated proof for RootParityArtifact in 34407 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34406.112247,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:02:54 [10:02:54.747]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:02:54 [10:02:54.747]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2a4a2849/bb/tmp-SfaadP/proof -k /tmp/2a4a2849/bb/tmp-SfaadP/vk -i /tmp/2a4a2849/bb/tmp-SfaadP/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:02:54 [10:02:54.768]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.50 MiB)
10:02:54 Scheme is: ultra_honk, num threads: 128 (mem: 256.50 MiB)
10:02:54 --public_inputs_path: /tmp/2a4a2849/bb/tmp-SfaadP/public_inputs (mem: 256.50 MiB)
10:02:54 --proof_path: /tmp/2a4a2849/bb/tmp-SfaadP/proof (mem: 256.50 MiB)
10:02:54 --vk_path: /tmp/2a4a2849/bb/tmp-SfaadP/vk (mem: 256.50 MiB)
10:02:54 --verbose: true (mem: 256.50 MiB)
10:02:54 --scheme: ultra_honk (mem: 256.50 MiB)
10:02:54 --oracle_hash: poseidon2 (mem: 256.50 MiB)
10:02:54 --disable_zk: true (mem: 256.50 MiB)
10:02:54 [10:02:54.769]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.50 MiB)
10:02:54 [10:02:54.778]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 256.50 MiB)
10:02:54 Proof verification failed (mem: 256.50 MiB)
10:02:54 verified: 0 (mem: 256.50 MiB)
10:02:54 [10:02:54.779]
ERROR:
bb-prover Error running operation at /tmp/2a4a2849/bb/tmp-SfaadP: ProvingError: Failed to verify proof from key!
10:02:54 [10:02:54.782]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
10:02:54
PASS src/test/bb_prover_parity.test.ts (
128.08 s)
10:02:54 prover/bb_prover/parity
10:02:54
✓ proves the parity circuits (118643 ms)
10:02:54
10:02:54
Test Suites: 1 passed, 1 total
10:02:54
Tests: 1 passed, 1 total
10:02:54
Snapshots: 0 total
10:02:54
Time: 128.184 s
10:02:54
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
10:02:54
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?