Parent Log:
http://ci.aztec-labs.com/158d8a6d9c4f7191
Command: 37aad4e9ebf491ef: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/bbf33e6534f745d2f5a11c2f359583e881120fc4
Env: REF_NAME=gh-readonly-queue/next/pr-15047-e56623c3f6400dc164642e49255b211d6fb03ac6 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 18 17:01:22 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15047_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
17:01:22 +++ id -u
17:01:22 +++ id -g
17:01:22 ++ 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'\'''
17:01:23 + cid=06f34d33bf6d250f78a932b8bd73fee4677ad6365b6f8c861a9ae2c9c4302000
17:01:23 + set +x
17:01:24 {"level":25,"time":1750266084782,"pid":7,"hostname":"06f34d33bf6d","module":"logger","msg":"Logger initialized with level verbose"}
17:01:34 [17:01:34.377]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-tGo4ii/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
17:01:34 [17:01:34.458]
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/869d4f77/bb
17:01:34 [17:01:34.462]
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/869d4f77/acvm
17:01:34 [17:01:34.465]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/869d4f77/bb
17:01:34 [17:01:34.467]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/869d4f77/acvm
17:01:34 [17:01:34.475]
INFO:
prover-client:proving-broker Proving Broker started
17:01:34 [17:01:34.479]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
17:01:34 [17:01:34.738]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":82.14776600000005,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
17:01:34 [17:01:34.755]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":42.91733799999929,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
17:01:34 [17:01:34.783]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":47.76962100000128,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
17:01:34 [17:01:34.788]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
17:01:34 [17:01:34.788]
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/869d4f77/bb/tmp-Wy7KAT -b /tmp/869d4f77/bb/tmp-Wy7KAT/BaseParityArtifact-bytecode -w /tmp/869d4f77/bb/tmp-Wy7KAT/partial-witness.gz -v --init_kzg_accumulator -v
17:01:34 [17:01:34.819]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
17:01:34 [17:01:34.819]
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/869d4f77/bb/tmp-z3PiLs -b /tmp/869d4f77/bb/tmp-z3PiLs/BaseParityArtifact-bytecode -w /tmp/869d4f77/bb/tmp-z3PiLs/partial-witness.gz -v --init_kzg_accumulator -v
17:01:34 [17:01:34.843]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.36 MiB)
17:01:34 Scheme is: ultra_honk, num threads: 128 (mem: 253.36 MiB)
17:01:34 --scheme: ultra_honk (mem: 253.36 MiB)
17:01:34 --bytecode_path: /tmp/869d4f77/bb/tmp-Wy7KAT/BaseParityArtifact-bytecode (mem: 253.36 MiB)
17:01:34 --witness_path: /tmp/869d4f77/bb/tmp-Wy7KAT/partial-witness.gz (mem: 253.36 MiB)
17:01:34 --output_path: /tmp/869d4f77/bb/tmp-Wy7KAT (mem: 253.36 MiB)
17:01:34 Warning: the following option is called more than once (mem: 253.36 MiB)
17:01:34 --verbose: true (mem: 253.36 MiB)
17:01:34 --oracle_hash: poseidon2 (mem: 253.36 MiB)
17:01:34 --output_format: bytes_and_fields (mem: 253.36 MiB)
17:01:34 --write_vk: true (mem: 253.36 MiB)
17:01:34 --disable_zk: true (mem: 253.36 MiB)
17:01:34 --init_kzg_accumulator: true (mem: 253.36 MiB)
17:01:34 [17:01:34.846]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
17:01:34 [17:01:34.847]
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/869d4f77/bb/tmp-urKgDW -b /tmp/869d4f77/bb/tmp-urKgDW/BaseParityArtifact-bytecode -w /tmp/869d4f77/bb/tmp-urKgDW/partial-witness.gz -v --init_kzg_accumulator -v
17:01:34 [17:01:34.870]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.36 MiB)
17:01:34 Scheme is: ultra_honk, num threads: 128 (mem: 253.36 MiB)
17:01:34 --scheme: ultra_honk (mem: 253.36 MiB)
17:01:34 --bytecode_path: /tmp/869d4f77/bb/tmp-z3PiLs/BaseParityArtifact-bytecode (mem: 253.36 MiB)
17:01:34 --witness_path: /tmp/869d4f77/bb/tmp-z3PiLs/partial-witness.gz (mem: 253.36 MiB)
17:01:34 --output_path: /tmp/869d4f77/bb/tmp-z3PiLs (mem: 253.36 MiB)
17:01:34 Warning: the following option is called more than once (mem: 253.36 MiB)
17:01:34 --verbose: true (mem: 253.36 MiB)
17:01:34 --oracle_hash: poseidon2 (mem: 253.36 MiB)
17:01:34 --output_format: bytes_and_fields (mem: 253.36 MiB)
17:01:34 --write_vk: true (mem: 253.36 MiB)
17:01:34 --disable_zk: true (mem: 253.36 MiB)
17:01:34 --init_kzg_accumulator: true (mem: 253.36 MiB)
17:01:34 [17:01:34.880]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":77.9644360000002,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
17:01:34 [17:01:34.881]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.29 MiB)
17:01:34 Scheme is: ultra_honk, num threads: 128 (mem: 252.29 MiB)
17:01:34 --scheme: ultra_honk (mem: 252.29 MiB)
17:01:34 --bytecode_path: /tmp/869d4f77/bb/tmp-urKgDW/BaseParityArtifact-bytecode (mem: 252.29 MiB)
17:01:34 --witness_path: /tmp/869d4f77/bb/tmp-urKgDW/partial-witness.gz (mem: 252.29 MiB)
17:01:34 --output_path: /tmp/869d4f77/bb/tmp-urKgDW (mem: 252.29 MiB)
17:01:34 Warning: the following option is called more than once (mem: 252.29 MiB)
17:01:34 --verbose: true (mem: 252.29 MiB)
17:01:34 --oracle_hash: poseidon2 (mem: 252.29 MiB)
17:01:34 --output_format: bytes_and_fields (mem: 252.29 MiB)
17:01:34 --write_vk: true (mem: 252.29 MiB)
17:01:34 --disable_zk: true (mem: 252.29 MiB)
17:01:34 --init_kzg_accumulator: true (mem: 252.29 MiB)
17:01:34 [17:01:34.885]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
17:01:34 [17:01:34.886]
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/869d4f77/bb/tmp-xbPKY5 -b /tmp/869d4f77/bb/tmp-xbPKY5/BaseParityArtifact-bytecode -w /tmp/869d4f77/bb/tmp-xbPKY5/partial-witness.gz -v --init_kzg_accumulator -v
17:01:34 [17:01:34.923]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.40 MiB)
17:01:34 Scheme is: ultra_honk, num threads: 128 (mem: 253.40 MiB)
17:01:34 --scheme: ultra_honk (mem: 253.40 MiB)
17:01:34 --bytecode_path: /tmp/869d4f77/bb/tmp-xbPKY5/BaseParityArtifact-bytecode (mem: 253.40 MiB)
17:01:34 --witness_path: /tmp/869d4f77/bb/tmp-xbPKY5/partial-witness.gz (mem: 253.40 MiB)
17:01:34 --output_path: /tmp/869d4f77/bb/tmp-xbPKY5 (mem: 253.40 MiB)
17:01:34 Warning: the following option is called more than once (mem: 253.40 MiB)
17:01:34 --verbose: true (mem: 253.40 MiB)
17:01:34 --oracle_hash: poseidon2 (mem: 253.40 MiB)
17:01:34 --output_format: bytes_and_fields (mem: 253.40 MiB)
17:01:34 --write_vk: true (mem: 253.40 MiB)
17:01:34 --disable_zk: true (mem: 253.40 MiB)
17:01:34 --init_kzg_accumulator: true (mem: 253.40 MiB)
17:01:34 [17:01:34.990]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.36 MiB)
17:01:34 Constructing DeciderProvingKey (mem: 253.36 MiB)
17:01:34 [17:01:34.993]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.36 MiB)
17:01:35 [17:01:35.029]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.29 MiB)
17:01:35 Constructing DeciderProvingKey
17:01:35 [17:01:35.030]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 252.29 MiB)
17:01:35 [17:01:35.032]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.29 MiB)
17:01:35 [17:01:35.067]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.36 MiB)
17:01:35 Constructing DeciderProvingKey (mem: 253.36 MiB)
17:01:35 [17:01:35.076]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
17:01:35 [17:01:35.081]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 253.36 MiB)
17:01:35 [17:01:35.137]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.40 MiB)
17:01:35 Constructing DeciderProvingKey (mem: 253.40 MiB)
17:01:35 [17:01:35.138]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.40 MiB)
17:01:35 [17:01:35.225]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.36 MiB)
17:01:35 [17:01:35.243]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.29 MiB)
17:01:35 [17:01:35.344]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 314 ms. (mem: 252.29 MiB)
17:01:35 [17:01:35.352]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 362 ms. (mem: 253.36 MiB)
17:01:35 [17:01:35.355]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.29 MiB)
17:01:35 [17:01:35.358]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.29 MiB)
17:01:35 [17:01:35.363]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.36 MiB)
17:01:35 [17:01:35.366]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.36 MiB)
17:01:35 [17:01:35.370]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.36 MiB)
17:01:35 [17:01:35.381]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.40 MiB)
17:01:35 [17:01:35.399]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.29 MiB)
17:01:35 [17:01:35.399]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 253.36 MiB)
17:01:35 [17:01:35.474]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 408 ms. (mem: 253.36 MiB)
17:01:35 [17:01:35.482]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.36 MiB)
17:01:35 [17:01:35.514]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.36 MiB)
17:01:35 [17:01:35.523]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 253.36 MiB)
17:01:35 [17:01:35.542]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 417 ms. (mem: 253.40 MiB)
17:01:35 [17:01:35.554]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.40 MiB)
17:01:35 [17:01:35.575]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.40 MiB)
17:01:35 [17:01:35.601]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 253.40 MiB)
17:01:36 [17:01:36.194]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.29 MiB)
17:01:36 [17:01:36.301]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.36 MiB)
17:01:36 [17:01:36.324]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.36 MiB)
17:01:36 [17:01:36.457]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.40 MiB)
17:01:36 [17:01:36.746]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.29 MiB)
17:01:36 [17:01:36.897]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.36 MiB)
17:01:36 [17:01:36.931]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem:
17:01:36 [17:01:36.939]
INFO:
bb-prover BaseParityArtifact BB out - 253.36 MiB)
17:01:36 [17:01:36.990]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.40 MiB)
17:01:37 [17:01:37.057]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 262.95 MiB)
17:01:37 [17:01:37.136]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 259.21 MiB)
17:01:37 [17:01:37.146]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 258.74 MiB)
17:01:37 [17:01:37.237]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 260.15 MiB)
17:01:37 [17:01:37.266]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 262.95 MiB)
17:01:37 [17:01:37.304]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 258.74 MiB)
17:01:37 [17:01:37.357]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 260.21 MiB)
17:01:37 [17:01:37.415]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 260.15 MiB)
17:01:38 [17:01:38.333]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 262.95 MiB)
17:01:38 [17:01:38.371]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 262.95 MiB)
17:01:38 [17:01:38.372]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 262.95 MiB)
17:01:38 [17:01:38.377]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/869d4f77/bb/tmp-urKgDW/public_inputs" (mem: 262.95 MiB)
17:01:38 [17:01:38.380]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/869d4f77/bb/tmp-urKgDW/public_inputs_fields.json" (mem: 262.95 MiB)
17:01:38 Proof saved to "/tmp/869d4f77/bb/tmp-urKgDW/proof" (mem: 262.95 MiB)
17:01:38 Proof fields saved to "/tmp/869d4f77/bb/tmp-urKgDW/proof_fields.json" (mem: 262.95 MiB)
17:01:38 VK saved to "/tmp/869d4f77/bb/tmp-urKgDW/vk" (mem: 262.95 MiB)
17:01:38 VK fields saved to "/tmp/869d4f77/bb/tmp-urKgDW/vk_fields.json" (mem: 262.95 MiB)
17:01:38 [17:01:38.448]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3596 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3595.606152999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:01:38 [17:01:38.453]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:01:38 [17:01:38.453]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/869d4f77/bb/tmp-uJ5SLO/proof -k /tmp/869d4f77/bb/tmp-uJ5SLO/vk -i /tmp/869d4f77/bb/tmp-uJ5SLO/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:01:38 [17:01:38.482]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.40 MiB)
17:01:38 Scheme is: ultra_honk, num threads: 128 (mem: 253.40 MiB)
17:01:38 --public_inputs_path: /tmp/869d4f77/bb/tmp-uJ5SLO/public_inputs (mem: 253.40 MiB)
17:01:38 --proof_path: /tmp/869d4f77/bb/tmp-uJ5SLO/proof (mem: 253.40 MiB)
17:01:38 --vk_path: /tmp/869d4f77/bb/tmp-uJ5SLO/vk (mem: 253.40 MiB)
17:01:38 --verbose: true (mem: 253.40 MiB)
17:01:38 --scheme: ultra_honk (mem: 253.40 MiB)
17:01:38 --oracle_hash: poseidon2 (mem: 253.40 MiB)
17:01:38 --disable_zk: true (mem: 253.40 MiB)
17:01:38 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.40 MiB)
17:01:38 [17:01:38.497]
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"
17:01:38 [17:01:38.498]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
17:01:38 [17:01:38.499]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.40 MiB)
17:01:38 [17:01:38.505]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.40 MiB)
17:01:38 sumcheck_verified: 1 (mem: 253.40 MiB)
17:01:38 libra_evals_verified: 1 (mem: 253.40 MiB)
17:01:38 pairing_check_verified: 1 (mem: 253.40 MiB)
17:01:38 Proof verified successfully (mem: 253.40 MiB)
17:01:38 verified: 1 (mem: 253.40 MiB)
17:01:38 [17:01:38.511]
INFO:
bb-prover Successfully verified proof from key in 57.52633600000081 ms
17:01:38 [17:01:38.549]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 258.74 MiB)
17:01:38 [17:01:38.619]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 258.74 MiB)
17:01:38 [17:01:38.623]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 258.74 MiB)
17:01:38 [17:01:38.629]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/869d4f77/bb/tmp-Wy7KAT/public_inputs" (mem: 258.74 MiB)
17:01:38 Public inputs fields saved to "/tmp/869d4f77/bb/tmp-Wy7KAT/public_inputs_fields.json" (mem: 258.74 MiB)
17:01:38 Proof saved to "/tmp/869d4f77/bb/tmp-Wy7KAT/proof" (mem: 258.74 MiB)
17:01:38 Proof fields saved to "/tmp/869d4f77/bb/tmp-Wy7KAT/proof_fields.json" (mem: 258.74 MiB)
17:01:38 VK saved to "/tmp/869d4f77/bb/tmp-Wy7KAT/vk" (mem: 258.74 MiB)
17:01:38 [17:01:38.630]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/869d4f77/bb/tmp-Wy7KAT/vk_fields.json" (mem: 258.74 MiB)
17:01:38 [17:01:38.642]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 260.21 MiB)
17:01:38 [17:01:38.703]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 260.21 MiB)
17:01:38 [17:01:38.710]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 260.21 MiB)
17:01:38 [17:01:38.714]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/869d4f77/bb/tmp-z3PiLs/public_inputs" (mem: 260.21 MiB)
17:01:38 Public inputs fields saved to "/tmp/869d4f77/bb/tmp-z3PiLs/public_inputs_fields.json" (mem: 260.21 MiB)
17:01:38 Proof saved to "/tmp/869d4f77/bb/tmp-z3PiLs/proof" (mem: 260.21 MiB)
17:01:38 [17:01:38.715]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/869d4f77/bb/tmp-z3PiLs/proof_fields.json" (mem: 260.21 MiB)
17:01:38 VK saved to "/tmp/869d4f77/bb/tmp-z3PiLs/vk" (mem: 260.21 MiB)
17:01:38 [17:01:38.715]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/869d4f77/bb/tmp-z3PiLs/vk_fields.json" (mem: 260.21 MiB)
17:01:38 [17:01:38.732]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3931 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3930.772311999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:01:38 [17:01:38.735]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:01:38 [17:01:38.736]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/869d4f77/bb/tmp-ktEZh6/proof -k /tmp/869d4f77/bb/tmp-ktEZh6/vk -i /tmp/869d4f77/bb/tmp-ktEZh6/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:01:38 [17:01:38.762]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 260.15 MiB)
17:01:38 [17:01:38.768]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.40 MiB)
17:01:38 Scheme is: ultra_honk, num threads: 128 (mem: 253.40 MiB)
17:01:38 --public_inputs_path: /tmp/869d4f77/bb/tmp-ktEZh6/public_inputs (mem: 253.40 MiB)
17:01:38 --proof_path: /tmp/869d4f77/bb/tmp-ktEZh6/proof (mem: 253.40 MiB)
17:01:38 --vk_path: /tmp/869d4f77/bb/tmp-ktEZh6/vk (mem: 253.40 MiB)
17:01:38 --verbose: true (mem: 253.40 MiB)
17:01:38 --scheme: ultra_honk (mem: 253.40 MiB)
17:01:38 --oracle_hash: poseidon2 (mem: 253.40 MiB)
17:01:38 --disable_zk: true (mem: 253.40 MiB)
17:01:38 [17:01:38.768]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.40 MiB)
17:01:38 [17:01:38.785]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3959 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3958.950628999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:01:38 [17:01:38.788]
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.40 MiB)
17:01:38 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.40 MiB)
17:01:38 [17:01:38.792]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:01:38 [17:01:38.793]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/869d4f77/bb/tmp-PbFp5V/proof -k /tmp/869d4f77/bb/tmp-PbFp5V/vk -i /tmp/869d4f77/bb/tmp-PbFp5V/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:01:38 [17:01:38.827]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.40 MiB)
17:01:38 libra_evals_verified: 1 (mem: 253.40 MiB)
17:01:38 pairing_check_verified: 1 (mem: 253.40 MiB)
17:01:38 Proof verified successfully (mem: 253.40 MiB)
17:01:38 verified: 1 (mem: 253.40 MiB)
17:01:38 [17:01:38.828]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 260.15 MiB)
17:01:38 finished decider proving. (mem: 260.15 MiB)
17:01:38 Public inputs saved to "/tmp/869d4f77/bb/tmp-xbPKY5/public_inputs" (mem: 260.15 MiB)
17:01:38 Public inputs fields saved to "/tmp/869d4f77/bb/tmp-xbPKY5/public_inputs_fields.json" (mem: 260.15 MiB)
17:01:38 Proof saved to "/tmp/869d4f77/bb/tmp-xbPKY5/proof" (mem: 260.15 MiB)
17:01:38 Proof fields saved to "/tmp/869d4f77/bb/tmp-xbPKY5/proof_fields.json" (mem: 260.15 MiB)
17:01:38 VK saved to "/tmp/869d4f77/bb/tmp-xbPKY5/vk" (mem: 260.15 MiB)
17:01:38 VK fields saved to "/tmp/869d4f77/bb/tmp-xbPKY5/vk_fields.json" (mem: 260.15 MiB)
17:01:38 [17:01:38.837]
INFO:
bb-prover Successfully verified proof from key in 102.12533600000097 ms
17:01:38 [17:01:38.842]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.43 MiB)
17:01:38 Scheme is: ultra_honk, num threads: 128 (mem: 253.43 MiB)
17:01:38 --public_inputs_path: /tmp/869d4f77/bb/tmp-PbFp5V/public_inputs (mem: 253.43 MiB)
17:01:38 --proof_path: /tmp/869d4f77/bb/tmp-PbFp5V/proof (mem: 253.43 MiB)
17:01:38 --vk_path: /tmp/869d4f77/bb/tmp-PbFp5V/vk (mem: 253.43 MiB)
17:01:38 --verbose: true (mem: 253.43 MiB)
17:01:38 --scheme: ultra_honk (mem: 253.43 MiB)
17:01:38 --oracle_hash: poseidon2 (mem: 253.43 MiB)
17:01:38 --disable_zk: true (mem: 253.43 MiB)
17:01:38 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.43 MiB)
17:01:38 [17:01:38.858]
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.43 MiB)
17:01:38 [17:01:38.859]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.43 MiB)
17:01:38 [17:01:38.860]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.43 MiB)
17:01:38 libra_evals_verified: 1 (mem: 253.43 MiB)
17:01:38 pairing_check_verified: 1 (mem: 253.43 MiB)
17:01:38 Proof verified successfully (mem: 253.43 MiB)
17:01:38 verified: 1 (mem: 253.43 MiB)
17:01:38 [17:01:38.862]
INFO:
bb-prover Successfully verified proof from key in 69.86063099999956 ms
17:01:38 [17:01:38.878]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3989 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3988.1412149999996,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:01:38 [17:01:38.881]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:01:38 [17:01:38.882]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/869d4f77/bb/tmp-vsUu8Q/proof -k /tmp/869d4f77/bb/tmp-vsUu8Q/vk -i /tmp/869d4f77/bb/tmp-vsUu8Q/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:01:38 [17:01:38.920]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.45 MiB)
17:01:38 [17:01:38.921]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.45 MiB)
17:01:38 --public_inputs_path: /tmp/869d4f77/bb/tmp-vsUu8Q/public_inputs (mem: 253.45 MiB)
17:01:38 --proof_path: /tmp/869d4f77/bb/tmp-vsUu8Q/proof (mem: 253.45 MiB)
17:01:38 --vk_path: /tmp/869d4f77/bb/tmp-vsUu8Q/vk (mem: 253.45 MiB)
17:01:38 --verbose: true (mem: 253.45 MiB)
17:01:38 --scheme: ultra_honk (mem: 253.45 MiB)
17:01:38 --oracle_hash: poseidon2 (mem: 253.45 MiB)
17:01:38 --disable_zk: true (mem: 253.45 MiB)
17:01:38 [17:01:38.923]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.45 MiB)
17:01:38 [17:01:38.941]
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.45 MiB)
17:01:38 [17:01:38.942]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.45 MiB)
17:01:38 [17:01:38.946]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.45 MiB)
17:01:38 libra_evals_verified: 1 (mem: 253.45 MiB)
17:01:38 pairing_check_verified: 1 (mem: 253.45 MiB)
17:01:38 Proof verified successfully (mem: 253.45 MiB)
17:01:38 verified: 1 (mem:
17:01:38 [17:01:38.947]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.45 MiB)
17:01:38 [17:01:38.958]
INFO:
bb-prover Successfully verified proof from key in 77.07355900000039 ms
17:01:38 [17:01:38.973]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:01:38 [17:01:38.974]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/869d4f77/bb/tmp-x17CjB/proof -k /tmp/869d4f77/bb/tmp-x17CjB/vk -i /tmp/869d4f77/bb/tmp-x17CjB/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:01:39 [17:01:38.993]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:01:39 [17:01:38.993]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/869d4f77/bb/tmp-IGg6JV/proof -k /tmp/869d4f77/bb/tmp-IGg6JV/vk -i /tmp/869d4f77/bb/tmp-IGg6JV/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:01:39 [17:01:39.024]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:01:39 [17:01:39.025]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/869d4f77/bb/tmp-UAfbOR/proof -k /tmp/869d4f77/bb/tmp-UAfbOR/vk -i /tmp/869d4f77/bb/tmp-UAfbOR/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:01:39 [17:01:39.048]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:01:39 [17:01:39.049]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/869d4f77/bb/tmp-mH7aqp/proof -k /tmp/869d4f77/bb/tmp-mH7aqp/vk -i /tmp/869d4f77/bb/tmp-mH7aqp/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:01:39 [17:01:39.076]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.57 MiB)
17:01:39 Scheme is: ultra_honk, num threads: 128 (mem: 253.57 MiB)
17:01:39 --public_inputs_path: /tmp/869d4f77/bb/tmp-x17CjB/public_inputs (mem: 253.57 MiB)
17:01:39 --proof_path: /tmp/869d4f77/bb/tmp-x17CjB/proof (mem: 253.57 MiB)
17:01:39 --vk_path: /tmp/869d4f77/bb/tmp-x17CjB/vk (mem: 253.57 MiB)
17:01:39 --verbose: true (mem: 253.57 MiB)
17:01:39 --scheme: ultra_honk (mem: 253.57 MiB)
17:01:39 --oracle_hash: poseidon2 (mem: 253.57 MiB)
17:01:39 --disable_zk: true (mem: 253.57 MiB)
17:01:39 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.57 MiB)
17:01:39 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.57 MiB)
17:01:39 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.57 MiB)
17:01:39 sumcheck_verified: 1 (mem: 253.57 MiB)
17:01:39 libra_evals_verified: 1 (mem: 253.57 MiB)
17:01:39 pairing_check_verified: 1 (mem: 253.57 MiB)
17:01:39 Proof verified successfully (mem: 253.57 MiB)
17:01:39 verified: 1 (mem: 253.57 MiB)
17:01:39 [17:01:39.078]
INFO:
bb-prover Successfully verified proof from key in 104.6665950000006 ms
17:01:39 [17:01:39.082]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.57 MiB)
17:01:39 Scheme is: ultra_honk, num threads: 128 (mem: 253.57 MiB)
17:01:39 --public_inputs_path: /tmp/869d4f77/bb/tmp-IGg6JV/public_inputs (mem: 253.57 MiB)
17:01:39 --proof_path: /tmp/869d4f77/bb/tmp-IGg6JV/proof (mem: 253.57 MiB)
17:01:39 --vk_path: /tmp/869d4f77/bb/tmp-IGg6JV/vk (mem: 253.57 MiB)
17:01:39 --verbose: true (mem: 253.57 MiB)
17:01:39 --scheme: ultra_honk (mem: 253.57 MiB)
17:01:39 --oracle_hash: poseidon2 (mem: 253.57 MiB)
17:01:39 --disable_zk: true (mem: 253.57 MiB)
17:01:39 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.57 MiB)
17:01:39 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.57 MiB)
17:01:39 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.57 MiB)
17:01:39 sumcheck_verified: 1 (mem: 253.57 MiB)
17:01:39 libra_evals_verified: 1 (mem: 253.57 MiB)
17:01:39 pairing_check_verified: 1 (mem: 253.57 MiB)
17:01:39 Proof verified successfully (mem: 253.57 MiB)
17:01:39 verified: 1 (mem: 253.57 MiB)
17:01:39 [17:01:39.083]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.57 MiB)
17:01:39 Scheme is: ultra_honk, num threads: 128 (mem: 253.57 MiB)
17:01:39 --public_inputs_path: /tmp/869d4f77/bb/tmp-UAfbOR/public_inputs (mem: 253.57 MiB)
17:01:39 --proof_path: /tmp/869d4f77/bb/tmp-UAfbOR/proof (mem: 253.57 MiB)
17:01:39 --vk_path: /tmp/869d4f77/bb/tmp-UAfbOR/vk (mem: 253.57 MiB)
17:01:39 --verbose: true (mem: 253.57 MiB)
17:01:39 --scheme: ultra_honk (mem: 253.57 MiB)
17:01:39 --oracle_hash: poseidon2 (mem: 253.57 MiB)
17:01:39 --disable_zk: true (mem: 253.57 MiB)
17:01:39 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.57 MiB)
17:01:39 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.57 MiB)
17:01:39 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.57 MiB)
17:01:39 sumcheck_verified: 1 (mem: 253.57 MiB)
17:01:39 libra_evals_verified: 1 (mem: 253.57 MiB)
17:01:39 pairing_check_verified: 1 (mem: 253.57 MiB)
17:01:39 Proof verified successfully (mem: 253.57 MiB)
17:01:39 verified: 1 (mem: 253.57 MiB)
17:01:39 [17:01:39.083]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.57 MiB)
17:01:39 Scheme is: ultra_honk, num threads: 128 (mem: 253.57 MiB)
17:01:39 --public_inputs_path: /tmp/869d4f77/bb/tmp-mH7aqp/public_inputs (mem: 253.57 MiB)
17:01:39 --proof_path: /tmp/869d4f77/bb/tmp-mH7aqp/proof (mem: 253.57 MiB)
17:01:39 --vk_path: /tmp/869d4f77/bb/tmp-mH7aqp/vk (mem: 253.57 MiB)
17:01:39 --verbose: true (mem: 253.57 MiB)
17:01:39 --scheme: ultra_honk (mem: 253.57 MiB)
17:01:39 --oracle_hash: poseidon2 (mem: 253.57 MiB)
17:01:39 --disable_zk: true (mem: 253.57 MiB)
17:01:39 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.57 MiB)
17:01:39 [17:01:39.084]
INFO:
bb-prover Successfully verified proof from key in 91.18637800000033 ms
17:01:39 [17:01:39.087]
INFO:
bb-prover Successfully verified proof from key in 63.15149399999973 ms
17:01:39 [17:01:39.101]
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.57 MiB)
17:01:39 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.57 MiB)
17:01:39 [17:01:39.102]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.57 MiB)
17:01:39 libra_evals_verified: 1 (mem: 253.57 MiB)
17:01:39 pairing_check_verified: 1 (mem: 253.57 MiB)
17:01:39 Proof verified successfully (mem: 253.57 MiB)
17:01:39 verified: 1 (mem: 253.57 MiB)
17:01:39 [17:01:39.105]
INFO:
bb-prover Successfully verified proof from key in 56.415484999999535 ms
17:01:39 [17:01:39.329]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":96.4783779999998,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
17:01:39 [17:01:39.334]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
17:01:39 [17:01:39.334]
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/869d4f77/bb/tmp-ZcjdtK -b /tmp/869d4f77/bb/tmp-ZcjdtK/RootParityArtifact-bytecode -w /tmp/869d4f77/bb/tmp-ZcjdtK/partial-witness.gz -v --init_kzg_accumulator -v
17:01:39 [17:01:39.377]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.39 MiB)
17:01:39 Scheme is: ultra_honk, num threads: 128 (mem: 255.39 MiB)
17:01:39 --scheme: ultra_honk (mem: 255.39 MiB)
17:01:39 --bytecode_path: /tmp/869d4f77/bb/tmp-ZcjdtK/RootParityArtifact-bytecode (mem: 255.39 MiB)
17:01:39 --witness_path: /tmp/869d4f77/bb/tmp-ZcjdtK/partial-witness.gz (mem: 255.39 MiB)
17:01:39 --output_path: /tmp/869d4f77/bb/tmp-ZcjdtK (mem: 255.39 MiB)
17:01:39 Warning: the following option is called more than once (mem: 255.39 MiB)
17:01:39 --verbose: true (mem: 255.39 MiB)
17:01:39 --oracle_hash: poseidon2 (mem: 255.39 MiB)
17:01:39 --output_format: bytes_and_fields (mem: 255.39 MiB)
17:01:39 --write_vk: true (mem: 255.39 MiB)
17:01:39 --disable_zk: true (mem: 255.39 MiB)
17:01:39 --init_kzg_accumulator: true (mem: 255.39 MiB)
17:01:39 [17:01:39.580]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.39 MiB)
17:01:41 [17:01:41.794]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 417.56 MiB)
17:01:44 [17:01:44.172]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 786.14 MiB)
17:01:46 [17:01:46.307]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1053.33 MiB)
17:01:48 [17:01:48.720]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1418.04 MiB)
17:01:48 [17:01:48.721]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1418.04 MiB)
17:01:50 [17:01:50.062]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1834.72 MiB)
17:01:50 [17:01:50.417]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5482.72 MiB)
17:01:52 [17:01:52.263]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3542 ms. (mem: 6065.72 MiB)
17:01:52 [17:01:52.410]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6065.72 MiB)
17:01:52 [17:01:52.618]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6534.20 MiB)
17:01:54 [17:01:54.052]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7303.40 MiB)
17:02:02 [17:02:02.055]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7303.40 MiB)
17:02:06 [17:02:06.383]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7303.40 MiB)
17:02:08 [17:02:08.387]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8968.53 MiB)
17:02:10 [17:02:10.505]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8968.53 MiB)
17:02:16 [17:02:16.556]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8968.53 MiB)
17:02:18 [17:02:18.092]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8968.53 MiB)
17:02:18 [17:02:18.106]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8968.53 MiB)
17:02:18 [17:02:18.913]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/869d4f77/bb/tmp-ZcjdtK/public_inputs" (mem: 8968.53 MiB)
17:02:18 [17:02:18.913]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/869d4f77/bb/tmp-ZcjdtK/public_inputs_fields.json" (mem: 8968.53 MiB)
17:02:18 Proof saved to "/tmp/869d4f77/bb/tmp-ZcjdtK/proof" (mem: 8968.53 MiB)
17:02:18 Proof fields saved to "/tmp/869d4f77/bb/tmp-ZcjdtK/proof_fields.json" (mem: 8968.53 MiB)
17:02:18 VK saved to "/tmp/869d4f77/bb/tmp-ZcjdtK/vk" (mem: 8968.53 MiB)
17:02:18 [17:02:18.914]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/869d4f77/bb/tmp-ZcjdtK/vk_fields.json" (mem: 8968.53 MiB)
17:02:19 [17:02:19.131]
INFO:
bb-prover Generated proof for RootParityArtifact in 39794 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":39793.890257,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:02:19 [17:02:19.135]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:02:19 [17:02:19.136]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/869d4f77/bb/tmp-nnWDmE/proof -k /tmp/869d4f77/bb/tmp-nnWDmE/vk -i /tmp/869d4f77/bb/tmp-nnWDmE/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:02:19 [17:02:19.161]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.41 MiB)
17:02:19 [17:02:19.162]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.41 MiB)
17:02:19 --public_inputs_path: /tmp/869d4f77/bb/tmp-nnWDmE/public_inputs (mem: 255.41 MiB)
17:02:19 --proof_path: /tmp/869d4f77/bb/tmp-nnWDmE/proof (mem: 255.41 MiB)
17:02:19 --vk_path: /tmp/869d4f77/bb/tmp-nnWDmE/vk (mem: 255.41 MiB)
17:02:19 --verbose: true (mem: 255.41 MiB)
17:02:19 --scheme: ultra_honk (mem: 255.41 MiB)
17:02:19 --oracle_hash: poseidon2 (mem: 255.41 MiB)
17:02:19 --disable_zk: true (mem: 255.41 MiB)
17:02:19 [17:02:19.162]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 255.41 MiB)
17:02:19 [17:02:19.181]
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: 255.41 MiB)
17:02:19 [17:02:19.182]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 255.41 MiB)
17:02:19 [17:02:19.183]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 255.41 MiB)
17:02:19 libra_evals_verified: 1 (mem: 255.41 MiB)
17:02:19 pairing_check_verified: 1 (mem: 255.41 MiB)
17:02:19 Proof verified successfully (mem: 255.41 MiB)
17:02:19 [17:02:19.184]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 255.41 MiB)
17:02:19 [17:02:19.185]
INFO:
bb-prover Successfully verified proof from key in 49.80769699999655 ms
17:02:19 [17:02:19.207]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:02:19 [17:02:19.207]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/869d4f77/bb/tmp-sWyPCd/proof -k /tmp/869d4f77/bb/tmp-sWyPCd/vk -i /tmp/869d4f77/bb/tmp-sWyPCd/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:02:19 [17:02:19.228]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.41 MiB)
17:02:19 Scheme is: ultra_honk, num threads: 128 (mem: 255.41 MiB)
17:02:19 --public_inputs_path: /tmp/869d4f77/bb/tmp-sWyPCd/public_inputs (mem: 255.41 MiB)
17:02:19 --proof_path: /tmp/869d4f77/bb/tmp-sWyPCd/proof (mem: 255.41 MiB)
17:02:19 --vk_path: /tmp/869d4f77/bb/tmp-sWyPCd/vk (mem: 255.41 MiB)
17:02:19 --verbose: true (mem: 255.41 MiB)
17:02:19 --scheme: ultra_honk (mem: 255.41 MiB)
17:02:19 --oracle_hash: poseidon2 (mem: 255.41 MiB)
17:02:19 --disable_zk: true (mem: 255.41 MiB)
17:02:19 [17:02:19.228]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 255.41 MiB)
17:02:19 [17:02:19.246]
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: 255.41 MiB)
17:02:19 [17:02:19.247]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 255.41 MiB)
17:02:19 [17:02:19.247]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 255.41 MiB)
17:02:19 libra_evals_verified: 1 (mem: 255.41 MiB)
17:02:19 pairing_check_verified: 1 (mem: 255.41 MiB)
17:02:19 [17:02:19.248]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 255.41 MiB)
17:02:19 verified: 1 (mem: 255.41 MiB)
17:02:19 [17:02:19.249]
INFO:
bb-prover Successfully verified proof from key in 42.613830000002054 ms
17:02:19 [17:02:19.314]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
17:02:19
17:02:19 [17:02:19.315]
ERROR:
bb-prover Error running operation at /tmp/869d4f77/bb/tmp-urbkcs: Error: Failed to generate witness: Failed assertion
17:02:19
17:02:19 [17:02:19.501]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":78.39284000000043,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
17:02:19 [17:02:19.503]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
17:02:19 [17:02:19.503]
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/869d4f77/bb/tmp-m8XECZ -b /tmp/869d4f77/bb/tmp-m8XECZ/RootParityArtifact-bytecode -w /tmp/869d4f77/bb/tmp-m8XECZ/partial-witness.gz -v --init_kzg_accumulator -v
17:02:19 [17:02:19.533]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem:
17:02:19 [17:02:19.536]
INFO:
bb-prover RootParityArtifact BB out - 255.95 MiB)
17:02:19 Scheme is: ultra_honk, num threads: 128 (mem: 255.95 MiB)
17:02:19 --scheme: ultra_honk (mem: 255.95 MiB)
17:02:19 --bytecode_path: /tmp/869d4f77/bb/tmp-m8XECZ/RootParityArtifact-bytecode (mem: 255.95 MiB)
17:02:19 --witness_path: /tmp/869d4f77/bb/tmp-m8XECZ/partial-witness.gz (mem: 255.95 MiB)
17:02:19 --output_path: /tmp/869d4f77/bb/tmp-m8XECZ (mem: 255.95 MiB)
17:02:19 Warning: the following option is called more than once (mem: 255.95 MiB)
17:02:19 --verbose: true (mem: 255.95 MiB)
17:02:19 --oracle_hash: poseidon2 (mem: 255.95 MiB)
17:02:19 --output_format: bytes_and_fields (mem: 255.95 MiB)
17:02:19 --write_vk: true (mem: 255.95 MiB)
17:02:19 --disable_zk: true (mem: 255.95 MiB)
17:02:19 --init_kzg_accumulator: true (mem: 255.95 MiB)
17:02:19 [17:02:19.745]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.95 MiB)
17:02:19 [17:02:19.761]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 255.95 MiB)
17:02:21 [17:02:21.693]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 419.45 MiB)
17:02:24 [17:02:24.145]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 784.66 MiB)
17:02:26 [17:02:26.495]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1046.77 MiB)
17:02:29 [17:02:29.120]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1412.05 MiB)
17:02:29 [17:02:29.123]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1412.05 MiB)
17:02:30 [17:02:30.638]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1830.34 MiB)
17:02:31 [17:02:31.025]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5482.34 MiB)
17:02:33 [17:02:33.289]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4168 ms. (mem: 6064.34 MiB)
17:02:33 [17:02:33.416]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6064.34 MiB)
17:02:33 [17:02:33.708]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6530.88 MiB)
17:02:35 [17:02:35.198]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7300.50 MiB)
17:02:42 [17:02:42.382]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7300.50 MiB)
17:02:46 [17:02:46.565]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7300.50 MiB)
17:02:48 [17:02:48.302]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8965.94 MiB)
17:02:50 [17:02:50.268]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8966.94 MiB)
17:02:56 [17:02:56.926]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8966.94 MiB)
17:02:58 [17:02:58.533]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8966.94 MiB)
17:02:58 [17:02:58.546]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving.
17:02:58 [17:02:58.549]
INFO:
bb-prover RootParityArtifact BB out - (mem: 8966.94 MiB)
17:02:59 [17:02:59.529]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/869d4f77/bb/tmp-m8XECZ/public_inputs" (mem: 8966.94 MiB)
17:02:59 [17:02:59.530]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/869d4f77/bb/tmp-m8XECZ/public_inputs_fields.json" (mem: 8966.94 MiB)
17:02:59 Proof saved to "/tmp/869d4f77/bb/tmp-m8XECZ/proof" (mem: 8966.94 MiB)
17:02:59 Proof fields saved to "/tmp/869d4f77/bb/tmp-m8XECZ/proof_fields.json" (mem: 8966.94 MiB)
17:02:59 VK saved to "/tmp/869d4f77/bb/tmp-m8XECZ/vk" (mem: 8966.94 MiB)
17:02:59 [17:02:59.530]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/869d4f77/bb/tmp-m8XECZ/vk_fields.json" (mem: 8966.94 MiB)
17:02:59 [17:02:59.793]
INFO:
bb-prover Generated proof for RootParityArtifact in 40288 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40287.298877,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:02:59 [17:02:59.796]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:02:59 [17:02:59.796]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/869d4f77/bb/tmp-f8r2TM/proof -k /tmp/869d4f77/bb/tmp-f8r2TM/vk -i /tmp/869d4f77/bb/tmp-f8r2TM/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:02:59 [17:02:59.816]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.95 MiB)
17:02:59 [17:02:59.817]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.95 MiB)
17:02:59 --public_inputs_path: /tmp/869d4f77/bb/tmp-f8r2TM/public_inputs (mem: 255.95 MiB)
17:02:59 --proof_path: /tmp/869d4f77/bb/tmp-f8r2TM/proof (mem: 255.95 MiB)
17:02:59 --vk_path: /tmp/869d4f77/bb/tmp-f8r2TM/vk (mem: 255.95 MiB)
17:02:59 --verbose: true (mem: 255.95 MiB)
17:02:59 --scheme: ultra_honk (mem: 255.95 MiB)
17:02:59 --oracle_hash: poseidon2 (mem: 255.95 MiB)
17:02:59 --disable_zk: true (mem: 255.95 MiB)
17:02:59 [17:02:59.817]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 255.95 MiB)
17:02:59 [17:02:59.827]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 255.95 MiB)
17:02:59 Proof verification failed (mem: 255.95 MiB)
17:02:59 verified: 0 (mem: 255.95 MiB)
17:02:59 [17:02:59.829]
ERROR:
bb-prover Error running operation at /tmp/869d4f77/bb/tmp-f8r2TM: ProvingError: Failed to verify proof from key!
17:02:59 [17:02:59.988]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":76.39871100000164,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
17:02:59 [17:02:59.989]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
17:02:59 [17:02:59.990]
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/869d4f77/bb/tmp-3p1dad -b /tmp/869d4f77/bb/tmp-3p1dad/RootParityArtifact-bytecode -w /tmp/869d4f77/bb/tmp-3p1dad/partial-witness.gz -v --init_kzg_accumulator -v
17:03:00 [17:03:00.011]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.95 MiB)
17:03:00 [17:03:00.012]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.95 MiB)
17:03:00 --scheme: ultra_honk (mem: 255.95 MiB)
17:03:00 --bytecode_path: /tmp/869d4f77/bb/tmp-3p1dad/RootParityArtifact-bytecode (mem: 255.95 MiB)
17:03:00 --witness_path: /tmp/869d4f77/bb/tmp-3p1dad/partial-witness.gz (mem: 255.95 MiB)
17:03:00 --output_path: /tmp/869d4f77/bb/tmp-3p1dad (mem: 255.95 MiB)
17:03:00 Warning: the following option is called more than once (mem: 255.95 MiB)
17:03:00 --verbose: true (mem: 255.95 MiB)
17:03:00 --oracle_hash: poseidon2 (mem: 255.95 MiB)
17:03:00 --output_format: bytes_and_fields (mem: 255.95 MiB)
17:03:00 --write_vk: true (mem: 255.95 MiB)
17:03:00 --disable_zk: true (mem: 255.95 MiB)
17:03:00 --init_kzg_accumulator: true (mem: 255.95 MiB)
17:03:00 [17:03:00.156]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.95 MiB)
17:03:00 [17:03:00.169]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 255.95 MiB)
17:03:02 [17:03:02.225]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 420.96 MiB)
17:03:04 [17:03:04.637]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 786.25 MiB)
17:03:06 [17:03:06.783]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1051.71 MiB)
17:03:09 [17:03:09.098]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1416.89 MiB)
17:03:09 [17:03:09.099]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1416.89 MiB)
17:03:10 [17:03:10.285]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1833.45 MiB)
17:03:10 [17:03:10.619]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5486.45 MiB)
17:03:12 [17:03:12.299]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3199 ms. (mem: 6066.45 MiB)
17:03:12 [17:03:12.436]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6066.45 MiB)
17:03:12 [17:03:12.563]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6530.75 MiB)
17:03:13 [17:03:13.886]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7299.14 MiB)
17:03:19 [17:03:19.516]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7299.14 MiB)
17:03:23 [17:03:23.934]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7299.14 MiB)
17:03:27 [17:03:27.108]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8964.27 MiB)
17:03:29 [17:03:29.315]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8964.27 MiB)
17:03:34 [17:03:34.046]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8964.27 MiB)
17:03:35 [17:03:35.336]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8964.27 MiB)
17:03:35 [17:03:35.348]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8964.27 MiB)
17:03:36 [17:03:36.205]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/869d4f77/bb/tmp-3p1dad/public_inputs" (mem: 8964.27 MiB)
17:03:36 [17:03:36.206]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/869d4f77/bb/tmp-3p1dad/public_inputs_fields.json" (mem: 8964.27 MiB)
17:03:36 Proof saved to "/tmp/869d4f77/bb/tmp-3p1dad/proof" (mem: 8964.27 MiB)
17:03:36 Proof fields saved to "/tmp/869d4f77/bb/tmp-3p1dad/proof_fields.json" (mem: 8964.27 MiB)
17:03:36 VK saved to "/tmp/869d4f77/bb/tmp-3p1dad/vk" (mem: 8964.27 MiB)
17:03:36 VK fields saved to "/tmp/869d4f77/bb/tmp-3p1dad/vk_fields.json" (mem: 8964.27 MiB)
17:03:36 [17:03:36.452]
INFO:
bb-prover Generated proof for RootParityArtifact in 36460 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":36459.643069,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:03:36 [17:03:36.454]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:03:36 [17:03:36.455]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/869d4f77/bb/tmp-cyYda9/proof -k /tmp/869d4f77/bb/tmp-cyYda9/vk -i /tmp/869d4f77/bb/tmp-cyYda9/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:03:36 [17:03:36.477]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
17:03:36 [17:03:36.477]
VERBOSE:
bb-prover bb-prover (verify) BB out - 255.95 MiB)
17:03:36 Scheme is: ultra_honk, num threads: 128 (mem: 255.95 MiB)
17:03:36 --public_inputs_path: /tmp/869d4f77/bb/tmp-cyYda9/public_inputs (mem: 255.95 MiB)
17:03:36 --proof_path: /tmp/869d4f77/bb/tmp-cyYda9/proof (mem: 255.95 MiB)
17:03:36 --vk_path: /tmp/869d4f77/bb/tmp-cyYda9/vk (mem: 255.95 MiB)
17:03:36 --verbose: true (mem: 255.95 MiB)
17:03:36 --scheme: ultra_honk (mem: 255.95 MiB)
17:03:36 --oracle_hash: poseidon2 (mem: 255.95 MiB)
17:03:36 --disable_zk: true (mem: 255.95 MiB)
17:03:36 [17:03:36.478]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 255.95 MiB)
17:03:36 [17:03:36.489]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 255.95 MiB)
17:03:36 Proof verification failed (mem: 255.95 MiB)
17:03:36 [17:03:36.490]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 255.95 MiB)
17:03:36 [17:03:36.491]
ERROR:
bb-prover Error running operation at /tmp/869d4f77/bb/tmp-cyYda9: ProvingError: Failed to verify proof from key!
17:03:36 [17:03:36.495]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
17:03:36
PASS src/test/bb_prover_parity.test.ts (
131.954 s)
17:03:36 prover/bb_prover/parity
17:03:36
✓ proves the parity circuits (122006 ms)
17:03:36
17:03:36
Test Suites: 1 passed, 1 total
17:03:36
Tests: 1 passed, 1 total
17:03:36
Snapshots: 0 total
17:03:36
Time: 132.044 s
17:03:36
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
17:03:36
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?