Parent Log:
http://ci.aztec-labs.com/43b01264fa252894
Command: f1d5df06d37e0c0f: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/5c77169d7f01a9e15bc19b05fa231fd96111d7dd
Env: REF_NAME=gh-readonly-queue/next/pr-15042-d5c48d855d83e19712c6b72281801c6fce176ec1 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 18 14:57:00 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15042_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
14:57:00 +++ id -u
14:57:00 +++ id -g
14:57:00 ++ 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'\'''
14:57:01 + cid=aec5de4feda83160ea30b3b15f7b125e269500ec0a17ebc7625ce35ed25646ea
14:57:01 + set +x
14:57:02 {"level":25,"time":1750258622935,"pid":7,"hostname":"aec5de4feda8","module":"logger","msg":"Logger initialized with level verbose"}
14:57:12 [14:57:12.699]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-4JIC6z/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
14:57:12 [14:57:12.790]
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/7ad3b4a3/bb
14:57:12 [14:57:12.793]
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/7ad3b4a3/acvm
14:57:12 [14:57:12.795]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/7ad3b4a3/bb
14:57:12 [14:57:12.796]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/7ad3b4a3/acvm
14:57:12 [14:57:12.800]
INFO:
prover-client:proving-broker Proving Broker started
14:57:12 [14:57:12.807]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
14:57:13 [14:57:13.059]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":83.28971199999978,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:57:13 [14:57:13.075]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":113.82281499999954,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:57:13 [14:57:13.095]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":67.75108600000021,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:57:13 [14:57:13.104]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:57:13 [14:57:13.105]
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/7ad3b4a3/bb/tmp-GwgU8c -b /tmp/7ad3b4a3/bb/tmp-GwgU8c/BaseParityArtifact-bytecode -w /tmp/7ad3b4a3/bb/tmp-GwgU8c/partial-witness.gz -v --init_kzg_accumulator -v
14:57:13 [14:57:13.144]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:57:13 [14:57:13.145]
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/7ad3b4a3/bb/tmp-QsEVb3 -b /tmp/7ad3b4a3/bb/tmp-QsEVb3/BaseParityArtifact-bytecode -w /tmp/7ad3b4a3/bb/tmp-QsEVb3/partial-witness.gz -v --init_kzg_accumulator -v
14:57:13 [14:57:13.178]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.44 MiB)
14:57:13 Scheme is: ultra_honk, num threads: 128 (mem: 251.44 MiB)
14:57:13 --scheme: ultra_honk (mem: 251.44 MiB)
14:57:13 --bytecode_path: /tmp/7ad3b4a3/bb/tmp-GwgU8c/BaseParityArtifact-bytecode (mem: 251.44 MiB)
14:57:13 --witness_path: /tmp/7ad3b4a3/bb/tmp-GwgU8c/partial-witness.gz (mem: 251.44 MiB)
14:57:13 --output_path: /tmp/7ad3b4a3/bb/tmp-GwgU8c (mem: 251.44 MiB)
14:57:13 Warning: the following option is called more than once (mem: 251.44 MiB)
14:57:13 --verbose: true (mem: 251.44 MiB)
14:57:13 --oracle_hash: poseidon2 (mem: 251.44 MiB)
14:57:13 --output_format: bytes_and_fields (mem: 251.44 MiB)
14:57:13 --write_vk: true (mem: 251.44 MiB)
14:57:13 --disable_zk: true (mem: 251.44 MiB)
14:57:13 --init_kzg_accumulator: true (mem: 251.44 MiB)
14:57:13 [14:57:13.179]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.44 MiB)
14:57:13 Scheme is: ultra_honk, num threads: 128 (mem: 251.44 MiB)
14:57:13 --scheme: ultra_honk (mem: 251.44 MiB)
14:57:13 --bytecode_path: /tmp/7ad3b4a3/bb/tmp-QsEVb3/BaseParityArtifact-bytecode (mem: 251.44 MiB)
14:57:13 --witness_path: /tmp/7ad3b4a3/bb/tmp-QsEVb3/partial-witness.gz (mem: 251.44 MiB)
14:57:13 --output_path: /tmp/7ad3b4a3/bb/tmp-QsEVb3 (mem: 251.44 MiB)
14:57:13 Warning: the following option is called more than once (mem: 251.44 MiB)
14:57:13 --verbose: true (mem: 251.44 MiB)
14:57:13 --oracle_hash: poseidon2 (mem: 251.44 MiB)
14:57:13 --output_format: bytes_and_fields (mem: 251.44 MiB)
14:57:13 --write_vk: true (mem: 251.44 MiB)
14:57:13 --disable_zk: true (mem: 251.44 MiB)
14:57:13 --init_kzg_accumulator: true (mem: 251.44 MiB)
14:57:13 [14:57:13.181]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:57:13 [14:57:13.181]
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/7ad3b4a3/bb/tmp-cVuUdb -b /tmp/7ad3b4a3/bb/tmp-cVuUdb/BaseParityArtifact-bytecode -w /tmp/7ad3b4a3/bb/tmp-cVuUdb/partial-witness.gz -v --init_kzg_accumulator -v
14:57:13 [14:57:13.233]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":107.09447499999987,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:57:13 [14:57:13.236]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.45 MiB)
14:57:13 Scheme is: ultra_honk, num threads: 128 (mem: 251.45 MiB)
14:57:13 --scheme: ultra_honk (mem: 251.45 MiB)
14:57:13 --bytecode_path: /tmp/7ad3b4a3/bb/tmp-cVuUdb/BaseParityArtifact-bytecode (mem: 251.45 MiB)
14:57:13 --witness_path: /tmp/7ad3b4a3/bb/tmp-cVuUdb/partial-witness.gz (mem: 251.45 MiB)
14:57:13 --output_path: /tmp/7ad3b4a3/bb/tmp-cVuUdb (mem: 251.45 MiB)
14:57:13 Warning: the following option is called more than once (mem: 251.45 MiB)
14:57:13 --verbose: true (mem: 251.45 MiB)
14:57:13 --oracle_hash: poseidon2 (mem: 251.45 MiB)
14:57:13 --output_format: bytes_and_fields (mem: 251.45 MiB)
14:57:13 --write_vk: true (mem: 251.45 MiB)
14:57:13 --disable_zk: true (mem: 251.45 MiB)
14:57:13 --init_kzg_accumulator: true (mem: 251.45 MiB)
14:57:13 [14:57:13.241]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:57:13 [14:57:13.241]
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/7ad3b4a3/bb/tmp-eTmxfi -b /tmp/7ad3b4a3/bb/tmp-eTmxfi/BaseParityArtifact-bytecode -w /tmp/7ad3b4a3/bb/tmp-eTmxfi/partial-witness.gz -v --init_kzg_accumulator -v
14:57:13 [14:57:13.273]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.48 MiB)
14:57:13 Scheme is: ultra_honk, num threads: 128 (mem: 251.48 MiB)
14:57:13 --scheme: ultra_honk (mem: 251.48 MiB)
14:57:13 --bytecode_path: /tmp/7ad3b4a3/bb/tmp-eTmxfi/BaseParityArtifact-bytecode (mem: 251.48 MiB)
14:57:13 --witness_path: /tmp/7ad3b4a3/bb/tmp-eTmxfi/partial-witness.gz (mem: 251.48 MiB)
14:57:13 --output_path: /tmp/7ad3b4a3/bb/tmp-eTmxfi (mem: 251.48 MiB)
14:57:13 Warning: the following option is called more than once (mem: 251.48 MiB)
14:57:13 --verbose: true (mem: 251.48 MiB)
14:57:13 --oracle_hash: poseidon2 (mem: 251.48 MiB)
14:57:13 --output_format: bytes_and_fields (mem: 251.48 MiB)
14:57:13 --write_vk: true (mem: 251.48 MiB)
14:57:13 --disable_zk: true (mem: 251.48 MiB)
14:57:13 --init_kzg_accumulator: true (mem: 251.48 MiB)
14:57:13 [14:57:13.333]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.44 MiB)
14:57:13 [14:57:13.334]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.44 MiB)
14:57:13 [14:57:13.338]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.44 MiB)
14:57:13 [14:57:13.349]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.44 MiB)
14:57:13 Constructing DeciderProvingKey (mem: 251.44 MiB)
14:57:13 [14:57:13.354]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
14:57:13 [14:57:13.355]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 251.44 MiB)
14:57:13 [14:57:13.460]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.48 MiB)
14:57:13 Constructing DeciderProvingKey (mem: 251.48 MiB)
14:57:13 [14:57:13.474]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.48 MiB)
14:57:13 [14:57:13.488]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
14:57:13 [14:57:13.489]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
14:57:13 [14:57:13.489]
INFO:
bb-prover BaseParityArtifact BB out - 251.45
14:57:13 [14:57:13.490]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
14:57:13 [14:57:13.492]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.45 MiB)
14:57:13 [14:57:13.497]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.45 MiB)
14:57:13 [14:57:13.593]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.44 MiB)
14:57:13 [14:57:13.642]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.44 MiB)
14:57:13 [14:57:13.681]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 346 ms. (mem: 251.44 MiB)
14:57:13 [14:57:13.692]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.44 MiB)
14:57:13 [14:57:13.699]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.44 MiB)
14:57:13 [14:57:13.704]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.45 MiB)
14:57:13 [14:57:13.738]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.44 MiB)
14:57:13 [14:57:13.740]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 389 ms. (mem: 251.44 MiB)
14:57:13 [14:57:13.750]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.44 MiB)
14:57:13 [14:57:13.756]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem:
14:57:13 [14:57:13.757]
INFO:
bb-prover BaseParityArtifact BB out - 251.44 MiB)
14:57:13 [14:57:13.791]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.44 MiB)
14:57:13 [14:57:13.796]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 302 ms. (mem: 251.45 MiB)
14:57:13 [14:57:13.799]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.45 MiB)
14:57:13 [14:57:13.809]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.45 MiB)
14:57:13 [14:57:13.842]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.45 MiB)
14:57:13 [14:57:13.942]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.48 MiB)
14:57:14 [14:57:14.112]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 651 ms. (mem: 251.48 MiB)
14:57:14 [14:57:14.119]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.48 MiB)
14:57:14 [14:57:14.131]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.48 MiB)
14:57:14 [14:57:14.160]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.48 MiB)
14:57:14 [14:57:14.646]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.44 MiB)
14:57:14 [14:57:14.761]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.44 MiB)
14:57:14 [14:57:14.766]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.45 MiB)
14:57:15 [14:57:15.063]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.48 MiB)
14:57:15 [14:57:15.344]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.44 MiB)
14:57:15 [14:57:15.347]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.44 MiB)
14:57:15 [14:57:15.441]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.45 MiB)
14:57:15 [14:57:15.582]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.48 MiB)
14:57:15 [14:57:15.634]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.44 MiB)
14:57:15 [14:57:15.644]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 254.35 MiB)
14:57:15 [14:57:15.685]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.04 MiB)
14:57:15 [14:57:15.755]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.48 MiB)
14:57:15 [14:57:15.791]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem:
14:57:15 [14:57:15.796]
INFO:
bb-prover BaseParityArtifact BB out - 254.35 MiB)
14:57:15 [14:57:15.799]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.44 MiB)
14:57:15 [14:57:15.816]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.04 MiB)
14:57:15 [14:57:15.915]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.48 MiB)
14:57:17 [14:57:17.004]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 254.35 MiB)
14:57:17 [14:57:17.056]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 254.35 MiB)
14:57:17 [14:57:17.058]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 254.35 MiB)
14:57:17 [14:57:17.063]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/7ad3b4a3/bb/tmp-QsEVb3/public_inputs" (mem: 254.35 MiB)
14:57:17 [14:57:17.065]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/7ad3b4a3/bb/tmp-QsEVb3/public_inputs_fields.json" (mem: 254.35 MiB)
14:57:17 Proof saved to "/tmp/7ad3b4a3/bb/tmp-QsEVb3/proof" (mem: 254.35 MiB)
14:57:17 Proof fields saved to "/tmp/7ad3b4a3/bb/tmp-QsEVb3/proof_fields.json" (mem: 254.35 MiB)
14:57:17 VK saved to "/tmp/7ad3b4a3/bb/tmp-QsEVb3/vk" (mem: 254.35 MiB)
14:57:17 VK fields saved to "/tmp/7ad3b4a3/bb/tmp-QsEVb3/vk_fields.json" (mem: 254.35 MiB)
14:57:17 [14:57:17.127]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3974 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3973.1264979999996,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:57:17 [14:57:17.129]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.44 MiB)
14:57:17 [14:57:17.161]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.162]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7ad3b4a3/bb/tmp-4H0kCn/proof -k /tmp/7ad3b4a3/bb/tmp-4H0kCn/vk -i /tmp/7ad3b4a3/bb/tmp-4H0kCn/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.191]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.04 MiB)
14:57:17 [14:57:17.191]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.44 MiB)
14:57:17 finished decider proving. (mem: 251.44 MiB)
14:57:17 Public inputs saved to "/tmp/7ad3b4a3/bb/tmp-GwgU8c/public_inputs" (mem: 251.44 MiB)
14:57:17 Public inputs fields saved to "/tmp/7ad3b4a3/bb/tmp-GwgU8c/public_inputs_fields.json" (mem: 251.44 MiB)
14:57:17 Proof saved to "/tmp/7ad3b4a3/bb/tmp-GwgU8c/proof" (mem: 251.44 MiB)
14:57:17 Proof fields saved to "/tmp/7ad3b4a3/bb/tmp-GwgU8c/proof_fields.json" (mem: 251.44 MiB)
14:57:17 VK saved to "/tmp/7ad3b4a3/bb/tmp-GwgU8c/vk" (mem: 251.44 MiB)
14:57:17 VK fields saved to "/tmp/7ad3b4a3/bb/tmp-GwgU8c/vk_fields.json" (mem: 251.44 MiB)
14:57:17 [14:57:17.205]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.49 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 251.49 MiB)
14:57:17 --public_inputs_path: /tmp/7ad3b4a3/bb/tmp-4H0kCn/public_inputs (mem: 251.49 MiB)
14:57:17 --proof_path: /tmp/7ad3b4a3/bb/tmp-4H0kCn/proof (mem: 251.49 MiB)
14:57:17 --vk_path: /tmp/7ad3b4a3/bb/tmp-4H0kCn/vk (mem: 251.49 MiB)
14:57:17 --verbose: true (mem: 251.49 MiB)
14:57:17 --scheme: ultra_honk (mem: 251.49 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 251.49 MiB)
14:57:17 --disable_zk: true (mem: 251.49 MiB)
14:57:17 [14:57:17.212]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7
14:57:17 [14:57:17.213]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
14:57:17 [14:57:17.214]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.49 MiB)
14:57:17 [14:57:17.224]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.04 MiB)
14:57:17 finished decider proving. (mem: 252.04 MiB)
14:57:17 Public inputs saved to "/tmp/7ad3b4a3/bb/tmp-cVuUdb/public_inputs" (mem: 252.04 MiB)
14:57:17 Public inputs fields saved to "/tmp/7ad3b4a3/bb/tmp-cVuUdb/public_inputs_fields.json" (mem: 252.04 MiB)
14:57:17 Proof saved to "/tmp/7ad3b4a3/bb/tmp-cVuUdb/proof" (mem: 252.04 MiB)
14:57:17 Proof fields saved to "/tmp/7ad3b4a3/bb/tmp-cVuUdb/proof_fields.json" (mem: 252.04 MiB)
14:57:17 VK saved to "/tmp/7ad3b4a3/bb/tmp-cVuUdb/vk" (mem: 252.04 MiB)
14:57:17 VK fields saved to "/tmp/7ad3b4a3/bb/tmp-cVuUdb/vk_fields.json" (mem: 252.04 MiB)
14:57:17 [14:57:17.226]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.48 MiB)
14:57:17 [14:57:17.251]
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.49 MiB)
14:57:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.49 MiB)
14:57:17 sumcheck_verified: 1 (mem: 251.49 MiB)
14:57:17 libra_evals_verified: 1 (mem: 251.49 MiB)
14:57:17 pairing_check_verified: 1 (mem: 251.49 MiB)
14:57:17 Proof verified successfully (mem: 251.49 MiB)
14:57:17 verified: 1 (mem: 251.49 MiB)
14:57:17 [14:57:17.253]
INFO:
bb-prover Successfully verified proof from key in 91.42995800000062 ms
14:57:17 [14:57:17.267]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.48 MiB)
14:57:17 [14:57:17.274]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 251.48 MiB)
14:57:17 Public inputs saved to "/tmp/7ad3b4a3/bb/tmp-eTmxfi/public_inputs" (mem: 251.48 MiB)
14:57:17 Public inputs fields saved to "/tmp/7ad3b4a3/bb/tmp-eTmxfi/public_inputs_fields.json" (mem: 251.48 MiB)
14:57:17 Proof saved to "/tmp/7ad3b4a3/bb/tmp-eTmxfi/proof" (mem: 251.48 MiB)
14:57:17 Proof fields saved to "/tmp/7ad3b4a3/bb/tmp-eTmxfi/proof_fields.json" (mem: 251.48 MiB)
14:57:17 VK saved to "/tmp/7ad3b4a3/bb/tmp-eTmxfi/vk" (mem: 251.48 MiB)
14:57:17 VK fields saved to "/tmp/7ad3b4a3/bb/tmp-eTmxfi/vk_fields.json" (mem: 251.48 MiB)
14:57:17 [14:57:17.288]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4104 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4103.701342999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:57:17 [14:57:17.292]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4186 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4185.827336999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:57:17 [14:57:17.301]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.305]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7ad3b4a3/bb/tmp-lAjMYo/proof -k /tmp/7ad3b4a3/bb/tmp-lAjMYo/vk -i /tmp/7ad3b4a3/bb/tmp-lAjMYo/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.341]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4098 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4097.610309,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:57:17 [14:57:17.344]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.345]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7ad3b4a3/bb/tmp-ocIv71/proof -k /tmp/7ad3b4a3/bb/tmp-ocIv71/vk -i /tmp/7ad3b4a3/bb/tmp-ocIv71/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.366]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.58 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 251.58 MiB)
14:57:17 --public_inputs_path: /tmp/7ad3b4a3/bb/tmp-lAjMYo/public_inputs (mem: 251.58 MiB)
14:57:17 --proof_path: /tmp/7ad3b4a3/bb/tmp-lAjMYo/proof (mem: 251.58 MiB)
14:57:17 --vk_path: /tmp/7ad3b4a3/bb/tmp-lAjMYo/vk (mem: 251.58 MiB)
14:57:17 --verbose: true (mem: 251.58 MiB)
14:57:17 --scheme: ultra_honk (mem: 251.58 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 251.58 MiB)
14:57:17 --disable_zk: true (mem: 251.58 MiB)
14:57:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.58 MiB)
14:57:17 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.58 MiB)
14:57:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.58 MiB)
14:57:17 sumcheck_verified: 1 (mem: 251.58 MiB)
14:57:17 libra_evals_verified: 1 (mem: 251.58 MiB)
14:57:17 pairing_check_verified: 1 (mem: 251.58 MiB)
14:57:17 Proof verified successfully (mem: 251.58 MiB)
14:57:17 verified: 1 (mem: 251.58 MiB)
14:57:17 [14:57:17.367]
INFO:
bb-prover Successfully verified proof from key in 66.85935300000165 ms
14:57:17 [14:57:17.374]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.65 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 251.65 MiB)
14:57:17 --public_inputs_path: /tmp/7ad3b4a3/bb/tmp-ocIv71/public_inputs (mem: 251.65 MiB)
14:57:17 --proof_path: /tmp/7ad3b4a3/bb/tmp-ocIv71/proof (mem: 251.65 MiB)
14:57:17 --vk_path: /tmp/7ad3b4a3/bb/tmp-ocIv71/vk (mem: 251.65 MiB)
14:57:17 --verbose: true (mem: 251.65 MiB)
14:57:17 --scheme: ultra_honk (mem: 251.65 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 251.65 MiB)
14:57:17 --disable_zk: true (mem: 251.65 MiB)
14:57:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.65 MiB)
14:57:17 [14:57:17.376]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.376]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7ad3b4a3/bb/tmp-FJ3u86/proof -k /tmp/7ad3b4a3/bb/tmp-FJ3u86/vk -i /tmp/7ad3b4a3/bb/tmp-FJ3u86/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.406]
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.65 MiB)
14:57:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.65 MiB)
14:57:17 sumcheck_verified: 1 (mem: 251.65 MiB)
14:57:17 libra_evals_verified: 1 (mem: 251.65 MiB)
14:57:17 pairing_check_verified: 1 (mem: 251.65 MiB)
14:57:17 Proof verified successfully (mem: 251.65 MiB)
14:57:17 verified: 1 (mem: 251.65 MiB)
14:57:17 [14:57:17.407]
INFO:
bb-prover Successfully verified proof from key in 63.209429000000455 ms
14:57:17 [14:57:17.413]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.73 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 251.73 MiB)
14:57:17 --public_inputs_path: /tmp/7ad3b4a3/bb/tmp-FJ3u86/public_inputs (mem: 251.73 MiB)
14:57:17 --proof_path: /tmp/7ad3b4a3/bb/tmp-FJ3u86/proof (mem: 251.73 MiB)
14:57:17 --vk_path: /tmp/7ad3b4a3/bb/tmp-FJ3u86/vk (mem: 251.73 MiB)
14:57:17 --verbose: true (mem: 251.73 MiB)
14:57:17 --scheme: ultra_honk (mem: 251.73 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 251.73 MiB)
14:57:17 --disable_zk: true (mem: 251.73 MiB)
14:57:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.73 MiB)
14:57:17 [14:57:17.429]
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"
14:57:17 [14:57:17.433]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.73 MiB)
14:57:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.73 MiB)
14:57:17 [14:57:17.434]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.73 MiB)
14:57:17 libra_evals_verified: 1 (mem: 251.73 MiB)
14:57:17 pairing_check_verified: 1 (mem: 251.73 MiB)
14:57:17 Proof verified successfully (mem: 251.73 MiB)
14:57:17 verified: 1 (mem: 251.73 MiB)
14:57:17 [14:57:17.436]
INFO:
bb-prover Successfully verified proof from key in 60.116963000000396 ms
14:57:17 [14:57:17.448]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.449]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7ad3b4a3/bb/tmp-Mvha0O/proof -k /tmp/7ad3b4a3/bb/tmp-Mvha0O/vk -i /tmp/7ad3b4a3/bb/tmp-Mvha0O/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.479]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.480]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7ad3b4a3/bb/tmp-pMSxUp/proof -k /tmp/7ad3b4a3/bb/tmp-pMSxUp/vk -i /tmp/7ad3b4a3/bb/tmp-pMSxUp/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.508]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.509]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7ad3b4a3/bb/tmp-OCB88E/proof -k /tmp/7ad3b4a3/bb/tmp-OCB88E/vk -i /tmp/7ad3b4a3/bb/tmp-OCB88E/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.536]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.541]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7ad3b4a3/bb/tmp-c5691s/proof -k /tmp/7ad3b4a3/bb/tmp-c5691s/vk -i /tmp/7ad3b4a3/bb/tmp-c5691s/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.580]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.80 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 250.80 MiB)
14:57:17 --public_inputs_path: /tmp/7ad3b4a3/bb/tmp-Mvha0O/public_inputs (mem: 250.80 MiB)
14:57:17 --proof_path: /tmp/7ad3b4a3/bb/tmp-Mvha0O/proof (mem: 250.80 MiB)
14:57:17 --vk_path: /tmp/7ad3b4a3/bb/tmp-Mvha0O/vk (mem: 250.80 MiB)
14:57:17 --verbose: true (mem: 250.80 MiB)
14:57:17 --scheme: ultra_honk (mem: 250.80 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 250.80 MiB)
14:57:17 --disable_zk: true (mem: 250.80 MiB)
14:57:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.80 MiB)
14:57:17 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.80 MiB)
14:57:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.80 MiB)
14:57:17 sumcheck_verified: 1 (mem: 250.80 MiB)
14:57:17 libra_evals_verified: 1 (mem: 250.80 MiB)
14:57:17 pairing_check_verified: 1 (mem: 250.80 MiB)
14:57:17 Proof verified successfully (mem: 250.80 MiB)
14:57:17 verified: 1 (mem: 250.80 MiB)
14:57:17 [14:57:17.583]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.75 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 251.75 MiB)
14:57:17 --public_inputs_path: /tmp/7ad3b4a3/bb/tmp-pMSxUp/public_inputs (mem: 251.75 MiB)
14:57:17 --proof_path: /tmp/7ad3b4a3/bb/tmp-pMSxUp/proof (mem: 251.75 MiB)
14:57:17 --vk_path: /tmp/7ad3b4a3/bb/tmp-pMSxUp/vk (mem: 251.75 MiB)
14:57:17 --verbose: true (mem: 251.75 MiB)
14:57:17 --scheme: ultra_honk (mem: 251.75 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 251.75 MiB)
14:57:17 --disable_zk: true (mem: 251.75 MiB)
14:57:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.75 MiB)
14:57:17 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.75 MiB)
14:57:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.75 MiB)
14:57:17 sumcheck_verified: 1 (mem: 251.75 MiB)
14:57:17 libra_evals_verified: 1 (mem: 251.75 MiB)
14:57:17 pairing_check_verified: 1 (mem: 251.75 MiB)
14:57:17 Proof verified successfully (mem: 251.75 MiB)
14:57:17 verified: 1 (mem: 251.75 MiB)
14:57:17 [14:57:17.586]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.75 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 251.75 MiB)
14:57:17 --public_inputs_path: /tmp/7ad3b4a3/bb/tmp-OCB88E/public_inputs (mem: 251.75 MiB)
14:57:17 --proof_path: /tmp/7ad3b4a3/bb/tmp-OCB88E/proof (mem: 251.75 MiB)
14:57:17 --vk_path: /tmp/7ad3b4a3/bb/tmp-OCB88E/vk (mem: 251.75 MiB)
14:57:17 --verbose: true (mem: 251.75 MiB)
14:57:17 --scheme: ultra_honk (mem: 251.75 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 251.75 MiB)
14:57:17 --disable_zk: true (mem: 251.75 MiB)
14:57:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.75 MiB)
14:57:17 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.75 MiB)
14:57:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.75 MiB)
14:57:17 sumcheck_verified: 1 (mem: 251.75 MiB)
14:57:17 libra_evals_verified: 1 (mem: 251.75 MiB)
14:57:17 pairing_check_verified: 1 (mem: 251.75 MiB)
14:57:17 Proof verified successfully (mem: 251.75 MiB)
14:57:17 verified: 1 (mem: 251.75 MiB)
14:57:17 [14:57:17.588]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.75 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 251.75 MiB)
14:57:17 --public_inputs_path: /tmp/7ad3b4a3/bb/tmp-c5691s/public_inputs (mem: 251.75 MiB)
14:57:17 --proof_path: /tmp/7ad3b4a3/bb/tmp-c5691s/proof (mem: 251.75 MiB)
14:57:17 --vk_path: /tmp/7ad3b4a3/bb/tmp-c5691s/vk (mem: 251.75 MiB)
14:57:17 --verbose: true (mem: 251.75 MiB)
14:57:17 --scheme: ultra_honk (mem: 251.75 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 251.75 MiB)
14:57:17 --disable_zk: true (mem: 251.75 MiB)
14:57:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.75 MiB)
14:57:17 [14:57:17.590]
INFO:
bb-prover Successfully verified proof from key in 81.85183000000143 ms
14:57:17 [14:57:17.591]
INFO:
bb-prover Successfully verified proof from key in 112.11609300000055 ms
14:57:17 [14:57:17.591]
INFO:
bb-prover Successfully verified proof from key in 145.52159299999948 ms
14:57:17 [14:57:17.592]
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.75 MiB)
14:57:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.75 MiB)
14:57:17 [14:57:17.593]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.75 MiB)
14:57:17 libra_evals_verified: 1 (mem: 251.75 MiB)
14:57:17 pairing_check_verified: 1 (mem: 251.75 MiB)
14:57:17 Proof verified successfully (mem: 251.75 MiB)
14:57:17 verified: 1 (mem:
14:57:17 [14:57:17.593]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.75 MiB)
14:57:17 [14:57:17.597]
INFO:
bb-prover Successfully verified proof from key in 60.805764000000636 ms
14:57:17 [14:57:17.836]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":83.43825000000106,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
14:57:17 [14:57:17.841]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:57:17 [14:57:17.843]
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/7ad3b4a3/bb/tmp-cDavTQ -b /tmp/7ad3b4a3/bb/tmp-cDavTQ/RootParityArtifact-bytecode -w /tmp/7ad3b4a3/bb/tmp-cDavTQ/partial-witness.gz -v --init_kzg_accumulator -v
14:57:17 [14:57:17.875]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.89 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 253.89 MiB)
14:57:17 --scheme: ultra_honk (mem: 253.89 MiB)
14:57:17 --bytecode_path: /tmp/7ad3b4a3/bb/tmp-cDavTQ/RootParityArtifact-bytecode (mem: 253.89 MiB)
14:57:17 --witness_path: /tmp/7ad3b4a3/bb/tmp-cDavTQ/partial-witness.gz (mem: 253.89 MiB)
14:57:17 --output_path: /tmp/7ad3b4a3/bb/tmp-cDavTQ (mem: 253.89 MiB)
14:57:17 Warning: the following option is called more than once (mem: 253.89 MiB)
14:57:17 --verbose: true (mem: 253.89 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 253.89 MiB)
14:57:17 --output_format: bytes_and_fields (mem: 253.89 MiB)
14:57:17 --write_vk: true (mem: 253.89 MiB)
14:57:17 --disable_zk: true (mem: 253.89 MiB)
14:57:17 --init_kzg_accumulator: true (mem: 253.89 MiB)
14:57:18 [14:57:18.067]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.89 MiB)
14:57:20 [14:57:20.079]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 412.73 MiB)
14:57:22 [14:57:22.821]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 773.66 MiB)
14:57:25 [14:57:25.367]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1043.04 MiB)
14:57:28 [14:57:28.193]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1414.43 MiB)
14:57:28 [14:57:28.194]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1414.43 MiB)
14:57:29 [14:57:29.592]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1862.44 MiB)
14:57:30 [14:57:30.018]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5508.46 MiB)
14:57:32 [14:57:32.672]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4477 ms. (mem: 6076.46 MiB)
14:57:32 [14:57:32.823]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6076.46 MiB)
14:57:32 [14:57:32.971]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6561.14 MiB)
14:57:34 [14:57:34.407]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7329.43 MiB)
14:57:42 [14:57:42.761]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7329.43 MiB)
14:57:47 [14:57:47.607]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7329.43 MiB)
14:57:49 [14:57:49.716]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9136.72 MiB)
14:57:52 [14:57:52.470]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9136.72 MiB)
14:57:58 [14:57:58.801]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9136.72 MiB)
14:58:00 [14:58:00.250]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9136.72 MiB)
14:58:00 [14:58:00.286]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9136.72 MiB)
14:58:01 [14:58:01.246]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/7ad3b4a3/bb/tmp-cDavTQ/public_inputs" (mem: 9136.72 MiB)
14:58:01 Public inputs fields saved to "/tmp/7ad3b4a3/bb/tmp-cDavTQ/public_inputs_fields.json" (mem: 9136.72 MiB)
14:58:01 Proof saved to "/tmp/7ad3b4a3/bb/tmp-cDavTQ/proof" (mem: 9136.72 MiB)
14:58:01 Proof fields saved to "/tmp/7ad3b4a3/bb/tmp-cDavTQ/proof_fields.json" (mem: 9136.72 MiB)
14:58:01 VK saved to "/tmp/7ad3b4a3/bb/tmp-cDavTQ/vk" (mem: 9136.72 MiB)
14:58:01 VK fields saved to "/tmp/7ad3b4a3/bb/tmp-cDavTQ/vk_fields.json" (mem: 9136.72 MiB)
14:58:01 [14:58:01.628]
INFO:
bb-prover Generated proof for RootParityArtifact in 43784 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":43783.515003,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:58:01 [14:58:01.641]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:58:01 [14:58:01.641]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7ad3b4a3/bb/tmp-8tHX8Y/proof -k /tmp/7ad3b4a3/bb/tmp-8tHX8Y/vk -i /tmp/7ad3b4a3/bb/tmp-8tHX8Y/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:58:01 [14:58:01.687]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.90 MiB)
14:58:01 Scheme is: ultra_honk, num threads: 128 (mem: 253.90 MiB)
14:58:01 --public_inputs_path: /tmp/7ad3b4a3/bb/tmp-8tHX8Y/public_inputs (mem: 253.90 MiB)
14:58:01 --proof_path: /tmp/7ad3b4a3/bb/tmp-8tHX8Y/proof (mem: 253.90 MiB)
14:58:01 --vk_path: /tmp/7ad3b4a3/bb/tmp-8tHX8Y/vk (mem: 253.90 MiB)
14:58:01 --verbose: true (mem: 253.90 MiB)
14:58:01 --scheme: ultra_honk (mem: 253.90 MiB)
14:58:01 --oracle_hash: poseidon2 (mem: 253.90 MiB)
14:58:01 --disable_zk: true (mem: 253.90 MiB)
14:58:01 [14:58:01.688]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.90 MiB)
14:58:01 [14:58:01.702]
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.90 MiB)
14:58:01 [14:58:01.703]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.90 MiB)
14:58:01 sumcheck_verified: 1 (mem: 253.90 MiB)
14:58:01 libra_evals_verified: 1 (mem: 253.90 MiB)
14:58:01 pairing_check_verified: 1 (mem: 253.90 MiB)
14:58:01 Proof verified successfully (mem: 253.90 MiB)
14:58:01 [14:58:01.704]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 253.90 MiB)
14:58:01 [14:58:01.706]
INFO:
bb-prover Successfully verified proof from key in 65.04628899999807 ms
14:58:01 [14:58:01.719]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:58:01 [14:58:01.719]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7ad3b4a3/bb/tmp-GwHn4Z/proof -k /tmp/7ad3b4a3/bb/tmp-GwHn4Z/vk -i /tmp/7ad3b4a3/bb/tmp-GwHn4Z/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:58:01 [14:58:01.753]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.90 MiB)
14:58:01 Scheme is: ultra_honk, num threads: 128 (mem: 253.90 MiB)
14:58:01 --public_inputs_path: /tmp/7ad3b4a3/bb/tmp-GwHn4Z/public_inputs (mem: 253.90 MiB)
14:58:01 --proof_path: /tmp/7ad3b4a3/bb/tmp-GwHn4Z/proof (mem: 253.90 MiB)
14:58:01 --vk_path: /tmp/7ad3b4a3/bb/tmp-GwHn4Z/vk (mem: 253.90 MiB)
14:58:01 --verbose: true (mem: 253.90 MiB)
14:58:01 --scheme: ultra_honk (mem: 253.90 MiB)
14:58:01 --oracle_hash: poseidon2 (mem: 253.90 MiB)
14:58:01 --disable_zk: true (mem: 253.90 MiB)
14:58:01 vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.90 MiB)
14:58:01 [14:58:01.770]
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.90 MiB)
14:58:01 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.90 MiB)
14:58:01 [14:58:01.771]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.90 MiB)
14:58:01 libra_evals_verified: 1 (mem: 253.90 MiB)
14:58:01 pairing_check_verified: 1 (mem: 253.90 MiB)
14:58:01 Proof verified successfully (mem: 253.90 MiB)
14:58:01 verified: 1 (mem: 253.90 MiB)
14:58:01 [14:58:01.773]
INFO:
bb-prover Successfully verified proof from key in 54.541660999995656 ms
14:58:01 [14:58:01.870]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
14:58:01
14:58:01 [14:58:01.870]
ERROR:
bb-prover Error running operation at /tmp/7ad3b4a3/bb/tmp-21KbLp: Error: Failed to generate witness: Failed assertion
14:58:01
14:58:02 [14:58:02.120]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":94.20304900000338,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
14:58:02 [14:58:02.123]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:58:02 [14:58:02.124]
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/7ad3b4a3/bb/tmp-nLbULs -b /tmp/7ad3b4a3/bb/tmp-nLbULs/RootParityArtifact-bytecode -w /tmp/7ad3b4a3/bb/tmp-nLbULs/partial-witness.gz -v --init_kzg_accumulator -v
14:58:02 [14:58:02.157]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.90 MiB)
14:58:02 [14:58:02.158]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.90 MiB)
14:58:02 --scheme: ultra_honk (mem: 253.90 MiB)
14:58:02 --bytecode_path: /tmp/7ad3b4a3/bb/tmp-nLbULs/RootParityArtifact-bytecode (mem: 253.90 MiB)
14:58:02 --witness_path: /tmp/7ad3b4a3/bb/tmp-nLbULs/partial-witness.gz (mem: 253.90 MiB)
14:58:02 --output_path: /tmp/7ad3b4a3/bb/tmp-nLbULs (mem: 253.90 MiB)
14:58:02 Warning: the following option is called more than once (mem: 253.90 MiB)
14:58:02 --verbose: true (mem: 253.90 MiB)
14:58:02 --oracle_hash: poseidon2 (mem: 253.90 MiB)
14:58:02 --output_format: bytes_and_fields (mem: 253.90 MiB)
14:58:02 --write_vk: true (mem: 253.90 MiB)
14:58:02 --disable_zk: true (mem: 253.90 MiB)
14:58:02 --init_kzg_accumulator: true (mem: 253.90 MiB)
14:58:02 [14:58:02.365]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.90 MiB)
14:58:02 [14:58:02.386]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.90 MiB)
14:58:04 [14:58:04.665]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 401.21 MiB)
14:58:07 [14:58:07.309]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 762.89 MiB)
14:58:09 [14:58:09.612]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1031.74 MiB)
14:58:12 [14:58:12.062]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1403.84 MiB)
14:58:12 Constructing DeciderProvingKey (mem: 1403.84 MiB)
14:58:13 [14:58:13.573]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1852.85 MiB)
14:58:13 [14:58:13.946]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5513.51 MiB)
14:58:13 [14:58:13.948]
INFO:
bb-prover RootParityArtifact BB out -
14:58:15 [14:58:15.948]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3884 ms. (mem: 6084.51 MiB)
14:58:16 [14:58:16.088]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6084.51 MiB)
14:58:16 [14:58:16.217]
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.29 MiB)
14:58:17 [14:58:17.537]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7326.83 MiB)
14:58:22 [14:58:22.807]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7326.83 MiB)
14:58:26 [14:58:26.282]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7326.83 MiB)
14:58:28 [14:58:28.044]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9137.95 MiB)
14:58:30 [14:58:30.002]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9137.95 MiB)
14:58:37 [14:58:37.950]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9137.95 MiB)
14:58:39 [14:58:39.441]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof
14:58:39 [14:58:39.443]
INFO:
bb-prover RootParityArtifact BB out - (mem: 9137.95 MiB)
14:58:39 [14:58:39.475]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9137.95 MiB)
14:58:40 [14:58:40.525]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/7ad3b4a3/bb/tmp-nLbULs/public_inputs" (mem: 9137.95 MiB)
14:58:40 Public inputs fields saved to "/tmp/7ad3b4a3/bb/tmp-nLbULs/public_inputs_fields.json" (mem: 9137.95 MiB)
14:58:40 [14:58:40.526]
INFO:
bb-prover RootParityArtifact BB out - Proof saved to "/tmp/7ad3b4a3/bb/tmp-nLbULs/proof" (mem: 9137.95 MiB)
14:58:40 Proof fields saved to "/tmp/7ad3b4a3/bb/tmp-nLbULs/proof_fields.json" (mem: 9137.95 MiB)
14:58:40 VK saved to "/tmp/7ad3b4a3/bb/tmp-nLbULs/vk" (mem: 9137.95 MiB)
14:58:40 VK fields saved to "/tmp/7ad3b4a3/bb/tmp-nLbULs/vk_fields.json" (mem: 9137.95 MiB)
14:58:40 [14:58:40.797]
INFO:
bb-prover Generated proof for RootParityArtifact in 38673 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":38672.58071,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:58:40 [14:58:40.800]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:58:40 [14:58:40.800]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7ad3b4a3/bb/tmp-vAArmu/proof -k /tmp/7ad3b4a3/bb/tmp-vAArmu/vk -i /tmp/7ad3b4a3/bb/tmp-vAArmu/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:58:40 [14:58:40.822]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.90 MiB)
14:58:40 [14:58:40.823]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.90 MiB)
14:58:40 --public_inputs_path: /tmp/7ad3b4a3/bb/tmp-vAArmu/public_inputs (mem: 253.90 MiB)
14:58:40 --proof_path: /tmp/7ad3b4a3/bb/tmp-vAArmu/proof (mem: 253.90 MiB)
14:58:40 --vk_path: /tmp/7ad3b4a3/bb/tmp-vAArmu/vk (mem: 253.90 MiB)
14:58:40 --verbose: true (mem: 253.90 MiB)
14:58:40 --scheme: ultra_honk (mem: 253.90 MiB)
14:58:40 --oracle_hash: poseidon2 (mem: 253.90 MiB)
14:58:40 --disable_zk: true (mem: 253.90 MiB)
14:58:40 [14:58:40.823]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.90 MiB)
14:58:40 [14:58:40.833]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.90 MiB)
14:58:40 Proof verification failed (mem: 253.90 MiB)
14:58:40 verified: 0 (mem: 253.90 MiB)
14:58:40 [14:58:40.834]
ERROR:
bb-prover Error running operation at /tmp/7ad3b4a3/bb/tmp-vAArmu: ProvingError: Failed to verify proof from key!
14:58:40 [14:58:40.972]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":67.78429400001187,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
14:58:40 [14:58:40.973]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:58:40 [14:58:40.973]
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/7ad3b4a3/bb/tmp-LUgRoF -b /tmp/7ad3b4a3/bb/tmp-LUgRoF/RootParityArtifact-bytecode -w /tmp/7ad3b4a3/bb/tmp-LUgRoF/partial-witness.gz -v --init_kzg_accumulator -v
14:58:40 [14:58:40.995]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.90 MiB)
14:58:40 [14:58:40.996]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.90 MiB)
14:58:40 --scheme: ultra_honk (mem: 253.90 MiB)
14:58:40 --bytecode_path: /tmp/7ad3b4a3/bb/tmp-LUgRoF/RootParityArtifact-bytecode (mem: 253.90 MiB)
14:58:40 --witness_path: /tmp/7ad3b4a3/bb/tmp-LUgRoF/partial-witness.gz (mem: 253.90 MiB)
14:58:40 --output_path: /tmp/7ad3b4a3/bb/tmp-LUgRoF (mem: 253.90 MiB)
14:58:40 Warning: the following option is called more than once (mem: 253.90 MiB)
14:58:40 --verbose: true (mem: 253.90 MiB)
14:58:40 --oracle_hash: poseidon2 (mem: 253.90 MiB)
14:58:40 --output_format: bytes_and_fields (mem: 253.90 MiB)
14:58:40 --write_vk: true (mem: 253.90 MiB)
14:58:40 --disable_zk: true (mem: 253.90 MiB)
14:58:40 --init_kzg_accumulator: true (mem: 253.90 MiB)
14:58:41 [14:58:41.160]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.90 MiB)
14:58:41 [14:58:41.178]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.90 MiB)
14:58:43 [14:58:43.074]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 409.10 MiB)
14:58:45 [14:58:45.166]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 768.11 MiB)
14:58:46 [14:58:46.962]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1035.73 MiB)
14:58:49 [14:58:49.656]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1407.58 MiB)
14:58:49 [14:58:49.657]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1407.58 MiB)
14:58:51 [14:58:51.083]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1856.95 MiB)
14:58:51 [14:58:51.486]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5509.91 MiB)
14:58:53 [14:58:53.222]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3564 ms. (mem: 6076.91 MiB)
14:58:53 [14:58:53.381]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6076.91 MiB)
14:58:53 [14:58:53.471]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6554.48 MiB)
14:58:54 [14:58:54.677]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7323.12 MiB)
14:59:00 [14:59:00.031]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7323.12 MiB)
14:59:03 [14:59:03.123]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7323.12 MiB)
14:59:04 [14:59:04.734]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9137.25 MiB)
14:59:06 [14:59:06.772]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9137.25 MiB)
14:59:12 [14:59:12.327]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9137.25 MiB)
14:59:13 [14:59:13.681]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9137.25 MiB)
14:59:13 [14:59:13.717]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9137.25 MiB)
14:59:14 [14:59:14.401]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/7ad3b4a3/bb/tmp-LUgRoF/public_inputs" (mem: 9137.25 MiB)
14:59:14 Public inputs fields saved to "/tmp/7ad3b4a3/bb/tmp-LUgRoF/public_inputs_fields.json" (mem: 9137.25 MiB)
14:59:14 [14:59:14.401]
INFO:
bb-prover RootParityArtifact BB out - Proof saved to "/tmp/7ad3b4a3/bb/tmp-LUgRoF/proof" (mem: 9137.25 MiB)
14:59:14 Proof fields saved to "/tmp/7ad3b4a3/bb/tmp-LUgRoF/proof_fields.json" (mem: 9137.25 MiB)
14:59:14 VK saved to "/tmp/7ad3b4a3/bb/tmp-LUgRoF/vk" (mem: 9137.25 MiB)
14:59:14 VK fields saved to "/tmp/7ad3b4a3/bb/tmp-LUgRoF/vk_fields.json" (mem: 9137.25 MiB)
14:59:14 [14:59:14.632]
INFO:
bb-prover Generated proof for RootParityArtifact in 33658 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":33657.130208999995,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:59:14 [14:59:14.635]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:59:14 [14:59:14.635]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/7ad3b4a3/bb/tmp-YQ5AzZ/proof -k /tmp/7ad3b4a3/bb/tmp-YQ5AzZ/vk -i /tmp/7ad3b4a3/bb/tmp-YQ5AzZ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:59:14 [14:59:14.653]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
14:59:14 [14:59:14.653]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.90 MiB)
14:59:14 Scheme is: ultra_honk, num threads: 128 (mem: 253.90 MiB)
14:59:14 --public_inputs_path: /tmp/7ad3b4a3/bb/tmp-YQ5AzZ/public_inputs (mem: 253.90 MiB)
14:59:14 --proof_path: /tmp/7ad3b4a3/bb/tmp-YQ5AzZ/proof (mem: 253.90 MiB)
14:59:14 --vk_path: /tmp/7ad3b4a3/bb/tmp-YQ5AzZ/vk (mem: 253.90 MiB)
14:59:14 --verbose: true (mem: 253.90 MiB)
14:59:14 --scheme: ultra_honk (mem: 253.90 MiB)
14:59:14 --oracle_hash: poseidon2 (mem: 253.90 MiB)
14:59:14 --disable_zk: true (mem: 253.90 MiB)
14:59:14 [14:59:14.653]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.90 MiB)
14:59:14 [14:59:14.662]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.90 MiB)
14:59:14 Proof verification failed (mem: 253.90 MiB)
14:59:14 [14:59:14.663]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 253.90 MiB)
14:59:14 [14:59:14.664]
ERROR:
bb-prover Error running operation at /tmp/7ad3b4a3/bb/tmp-YQ5AzZ: ProvingError: Failed to verify proof from key!
14:59:14 [14:59:14.666]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
14:59:14
PASS src/test/bb_prover_parity.test.ts (
131.974 s)
14:59:14 prover/bb_prover/parity
14:59:14
✓ proves the parity circuits (121855 ms)
14:59:14
14:59:14
Test Suites: 1 passed, 1 total
14:59:14
Tests: 1 passed, 1 total
14:59:14
Snapshots: 0 total
14:59:14
Time: 132.068 s
14:59:14
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
14:59:14
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?