Parent Log:
http://ci.aztec-labs.com/d5005dbc6734dc9b
Command: 467c61bd41bfcfc4: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/2a96aa32179deb1c1a98c9bc93fbe72f0d016d62
Env: REF_NAME=gh-readonly-queue/next/pr-15284-aacd7d15462246c78893a25b05d292342c07b582 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 25 15:32:26 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15284_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
15:32:26 +++ id -u
15:32:26 +++ id -g
15:32:26 ++ 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'\'''
15:32:27 + cid=548727b4d877a344934cf3fb9b1ccc7e5271247cc8f72ede456e18f23eb1eaa1
15:32:27 + set +x
15:32:29 {"level":25,"time":1750865549498,"pid":7,"hostname":"548727b4d877","module":"logger","msg":"Logger initialized with level verbose"}
15:32:37 [15:32:37.808]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-fLNgQY/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
15:32:37 [15:32:37.866]
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/74427c70/bb
15:32:37 [15:32:37.867]
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/74427c70/acvm
15:32:37 [15:32:37.868]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/74427c70/bb
15:32:37 [15:32:37.868]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/74427c70/acvm
15:32:37 [15:32:37.871]
INFO:
prover-client:proving-broker Proving Broker started
15:32:37 [15:32:37.872]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
15:32:38 [15:32:38.054]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":58.23315399999956,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:32:38 [15:32:38.067]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":84.07300600000053,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:32:38 [15:32:38.083]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":50.11746999999923,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:32:38 [15:32:38.086]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:32:38 [15:32:38.087]
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/74427c70/bb/tmp-xmZ2rV -b /tmp/74427c70/bb/tmp-xmZ2rV/BaseParityArtifact-bytecode -w /tmp/74427c70/bb/tmp-xmZ2rV/partial-witness.gz -v --init_kzg_accumulator -v
15:32:38 [15:32:38.112]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:32:38 [15:32:38.112]
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/74427c70/bb/tmp-PghjKe -b /tmp/74427c70/bb/tmp-PghjKe/BaseParityArtifact-bytecode -w /tmp/74427c70/bb/tmp-PghjKe/partial-witness.gz -v --init_kzg_accumulator -v
15:32:38 [15:32:38.131]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.30 MiB)
15:32:38 Scheme is: ultra_honk, num threads: 128 (mem: 253.30 MiB)
15:32:38 --scheme: ultra_honk (mem: 253.30 MiB)
15:32:38 --bytecode_path: /tmp/74427c70/bb/tmp-xmZ2rV/BaseParityArtifact-bytecode (mem: 253.30 MiB)
15:32:38 --witness_path: /tmp/74427c70/bb/tmp-xmZ2rV/partial-witness.gz (mem: 253.30 MiB)
15:32:38 --output_path: /tmp/74427c70/bb/tmp-xmZ2rV (mem: 253.30 MiB)
15:32:38 Warning: the following option is called more than once (mem: 253.30 MiB)
15:32:38 --verbose: true (mem: 253.30 MiB)
15:32:38 --oracle_hash: poseidon2 (mem: 253.30 MiB)
15:32:38 --output_format: bytes_and_fields (mem: 253.30 MiB)
15:32:38 --write_vk: true (mem: 253.30 MiB)
15:32:38 --disable_zk: true (mem: 253.30 MiB)
15:32:38 --init_kzg_accumulator: true (mem: 253.30 MiB)
15:32:38 [15:32:38.132]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:32:38 [15:32:38.133]
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/74427c70/bb/tmp-Lth3xO -b /tmp/74427c70/bb/tmp-Lth3xO/BaseParityArtifact-bytecode -w /tmp/74427c70/bb/tmp-Lth3xO/partial-witness.gz -v --init_kzg_accumulator -v
15:32:38 [15:32:38.154]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.80 MiB)
15:32:38 Scheme is: ultra_honk, num threads: 128 (mem: 253.80 MiB)
15:32:38 --scheme: ultra_honk (mem: 253.80 MiB)
15:32:38 --bytecode_path: /tmp/74427c70/bb/tmp-PghjKe/BaseParityArtifact-bytecode (mem: 253.80 MiB)
15:32:38 --witness_path: /tmp/74427c70/bb/tmp-PghjKe/partial-witness.gz (mem: 253.80 MiB)
15:32:38 --output_path: /tmp/74427c70/bb/tmp-PghjKe (mem: 253.80 MiB)
15:32:38 Warning: the following option is called more than once (mem: 253.80 MiB)
15:32:38 --verbose: true (mem: 253.80 MiB)
15:32:38 --oracle_hash: poseidon2 (mem: 253.80 MiB)
15:32:38 --output_format: bytes_and_fields (mem: 253.80 MiB)
15:32:38 --write_vk: true (mem: 253.80 MiB)
15:32:38 --disable_zk: true (mem: 253.80 MiB)
15:32:38 --init_kzg_accumulator: true (mem: 253.80 MiB)
15:32:38 [15:32:38.163]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":77.7718789999999,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:32:38 [15:32:38.165]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.80 MiB)
15:32:38 Scheme is: ultra_honk, num threads: 128 (mem: 253.80 MiB)
15:32:38 --scheme: ultra_honk (mem: 253.80 MiB)
15:32:38 --bytecode_path: /tmp/74427c70/bb/tmp-Lth3xO/BaseParityArtifact-bytecode (mem: 253.80 MiB)
15:32:38 --witness_path: /tmp/74427c70/bb/tmp-Lth3xO/partial-witness.gz (mem: 253.80 MiB)
15:32:38 --output_path: /tmp/74427c70/bb/tmp-Lth3xO (mem: 253.80 MiB)
15:32:38 Warning: the following option is called more than once (mem: 253.80 MiB)
15:32:38 --verbose: true (mem: 253.80 MiB)
15:32:38 --oracle_hash: poseidon2 (mem: 253.80 MiB)
15:32:38 --output_format: bytes_and_fields (mem: 253.80 MiB)
15:32:38 --write_vk: true (mem: 253.80 MiB)
15:32:38 --disable_zk: true (mem: 253.80 MiB)
15:32:38 --init_kzg_accumulator: true (mem: 253.80 MiB)
15:32:38 [15:32:38.166]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:32:38 [15:32:38.166]
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/74427c70/bb/tmp-QiU9re -b /tmp/74427c70/bb/tmp-QiU9re/BaseParityArtifact-bytecode -w /tmp/74427c70/bb/tmp-QiU9re/partial-witness.gz -v --init_kzg_accumulator -v
15:32:38 [15:32:38.195]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove
15:32:38 [15:32:38.196]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
15:32:38 [15:32:38.196]
INFO:
bb-prover BaseParityArtifact BB out - 253.84
15:32:38 [15:32:38.197]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
15:32:38 [15:32:38.197]
INFO:
bb-prover BaseParityArtifact BB out -
15:32:38 [15:32:38.198]
INFO:
bb-prover BaseParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.84 MiB)
15:32:38 --scheme: ultra_honk (mem: 253.84 MiB)
15:32:38 --bytecode_path: /tmp/74427c70/bb/tmp-QiU9re/BaseParityArtifact-bytecode (mem: 253.84 MiB)
15:32:38 --witness_path: /tmp/74427c70/bb/tmp-QiU9re/partial-witness.gz (mem: 253.84 MiB)
15:32:38 --output_path: /tmp/74427c70/bb/tmp-QiU9re (mem: 253.84 MiB)
15:32:38 Warning: the following option is called more than once (mem: 253.84 MiB)
15:32:38 --verbose: true (mem: 253.84 MiB)
15:32:38 --oracle_hash: poseidon2 (mem: 253.84 MiB)
15:32:38 --output_format: bytes_and_fields (mem: 253.84 MiB)
15:32:38 --write_vk: true (mem: 253.84 MiB)
15:32:38 --disable_zk: true (mem: 253.84 MiB)
15:32:38 --init_kzg_accumulator: true (mem: 253.84 MiB)
15:32:38 [15:32:38.263]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.30 MiB)
15:32:38 Constructing DeciderProvingKey (mem: 253.30 MiB)
15:32:38 [15:32:38.264]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
15:32:38 [15:32:38.265]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
15:32:38 [15:32:38.265]
INFO:
bb-prover BaseParityArtifact BB out - 253.30
15:32:38 [15:32:38.265]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
15:32:38 [15:32:38.266]
INFO:
bb-prover BaseParityArtifact BB out -
15:32:38 [15:32:38.295]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
15:32:38 [15:32:38.295]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
15:32:38 [15:32:38.296]
INFO:
bb-prover BaseParityArtifact BB out - 253.80
15:32:38 [15:32:38.298]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
15:32:38 Constructing DeciderProvingKey (mem: 253.80 MiB)
15:32:38 [15:32:38.301]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.80 MiB)
15:32:38 [15:32:38.318]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.80 MiB)
15:32:38 Constructing DeciderProvingKey (mem: 253.80 MiB)
15:32:38 [15:32:38.323]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.80 MiB)
15:32:38 [15:32:38.375]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.84 MiB)
15:32:38 [15:32:38.376]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 253.84 MiB)
15:32:38 [15:32:38.379]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.84 MiB)
15:32:38 [15:32:38.423]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.30 MiB)
15:32:38 [15:32:38.517]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 254 ms. (mem: 253.30 MiB)
15:32:38 [15:32:38.521]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.30 MiB)
15:32:38 [15:32:38.523]
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.30 MiB)
15:32:38 [15:32:38.529]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.80 MiB)
15:32:38 [15:32:38.533]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.80 MiB)
15:32:38 [15:32:38.535]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 253.30 MiB)
15:32:38 [15:32:38.603]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.84 MiB)
15:32:38 [15:32:38.618]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 321 ms. (mem: 253.80 MiB)
15:32:38 [15:32:38.626]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 305 ms. (mem: 253.80 MiB)
15:32:38 [15:32:38.627]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.80 MiB)
15:32:38 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.80 MiB)
15:32:38 [15:32:38.629]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.80 MiB)
15:32:38 [15:32:38.630]
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.80 MiB)
15:32:38 [15:32:38.637]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 253.80 MiB)
15:32:38 [15:32:38.644]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 253.80 MiB)
15:32:38 [15:32:38.683]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 307 ms. (mem: 253.84 MiB)
15:32:38 [15:32:38.688]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.84 MiB)
15:32:38 [15:32:38.689]
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.84 MiB)
15:32:38 [15:32:38.701]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 253.84 MiB)
15:32:39 [15:32:39.695]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.30 MiB)
15:32:39 [15:32:39.844]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.80 MiB)
15:32:39 [15:32:39.879]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.80 MiB)
15:32:39 [15:32:39.929]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.84 MiB)
15:32:40 [15:32:40.214]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.30 MiB)
15:32:40 [15:32:40.331]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.80 MiB)
15:32:40 [15:32:40.461]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.80 MiB)
15:32:40 [15:32:40.541]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.84 MiB)
15:32:40 [15:32:40.627]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 253.30 MiB)
15:32:40 [15:32:40.666]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 253.80 MiB)
15:32:40 [15:32:40.720]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 253.80 MiB)
15:32:40 [15:32:40.840]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 253.84 MiB)
15:32:40 [15:32:40.850]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem:
15:32:40 [15:32:40.851]
INFO:
bb-prover BaseParityArtifact BB out - 253.30 MiB)
15:32:40 [15:32:40.861]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 253.80 MiB)
15:32:40 [15:32:40.949]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 253.80 MiB)
15:32:41 [15:32:41.059]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem:
15:32:41 [15:32:41.060]
INFO:
bb-prover BaseParityArtifact BB out - 253.84 MiB)
15:32:42 [15:32:42.479]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.30 MiB)
15:32:42 [15:32:42.556]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.30 MiB)
15:32:42 [15:32:42.560]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 253.30 MiB)
15:32:42 Public inputs saved to "/tmp/74427c70/bb/tmp-xmZ2rV/public_inputs" (mem: 253.30 MiB)
15:32:42 Public inputs fields saved to "/tmp/74427c70/bb/tmp-xmZ2rV/public_inputs_fields.json" (mem: 253.30 MiB)
15:32:42 Proof saved to "/tmp/74427c70/bb/tmp-xmZ2rV/proof" (mem: 253.30 MiB)
15:32:42 Proof fields saved to "/tmp/74427c70/bb/tmp-xmZ2rV/proof_fields.json" (mem: 253.30 MiB)
15:32:42 VK saved to "/tmp/74427c70/bb/tmp-xmZ2rV/vk" (mem: 253.30 MiB)
15:32:42 VK fields saved to "/tmp/74427c70/bb/tmp-xmZ2rV/vk_fields.json" (mem: 253.30 MiB)
15:32:42 [15:32:42.595]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.80 MiB)
15:32:42 [15:32:42.646]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4554 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4553.361883,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:32:42 [15:32:42.651]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:32:42 [15:32:42.652]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/74427c70/bb/tmp-0vy97y/proof -k /tmp/74427c70/bb/tmp-0vy97y/vk -i /tmp/74427c70/bb/tmp-0vy97y/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:32:42 [15:32:42.690]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.80 MiB)
15:32:42 finished decider proving. (mem: 253.80 MiB)
15:32:42 Public inputs saved to "/tmp/74427c70/bb/tmp-Lth3xO/public_inputs" (mem: 253.80 MiB)
15:32:42 Public inputs fields saved to "/tmp/74427c70/bb/tmp-Lth3xO/public_inputs_fields.json" (mem: 253.80 MiB)
15:32:42 Proof saved to "/tmp/74427c70/bb/tmp-Lth3xO/proof" (mem: 253.80 MiB)
15:32:42 Proof fields saved to "/tmp/74427c70/bb/tmp-Lth3xO/proof_fields.json" (mem: 253.80 MiB)
15:32:42 VK saved to "/tmp/74427c70/bb/tmp-Lth3xO/vk" (mem: 253.80 MiB)
15:32:42 VK fields saved to "/tmp/74427c70/bb/tmp-Lth3xO/vk_fields.json" (mem: 253.80 MiB)
15:32:42 [15:32:42.695]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
15:32:42 [15:32:42.698]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.85 MiB)
15:32:42 Scheme is: ultra_honk, num threads: 128 (mem: 253.85 MiB)
15:32:42 --public_inputs_path: /tmp/74427c70/bb/tmp-0vy97y/public_inputs (mem: 253.85 MiB)
15:32:42 --proof_path: /tmp/74427c70/bb/tmp-0vy97y/proof (mem: 253.85 MiB)
15:32:42 --vk_path: /tmp/74427c70/bb/tmp-0vy97y/vk (mem: 253.85 MiB)
15:32:42 --verbose: true (mem: 253.85 MiB)
15:32:42 --scheme: ultra_honk (mem: 253.85 MiB)
15:32:42 --oracle_hash: poseidon2 (mem: 253.85 MiB)
15:32:42 --disable_zk: true (mem: 253.85 MiB)
15:32:42 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.85 MiB)
15:32:42 [15:32:42.701]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem:
15:32:42 [15:32:42.706]
INFO:
bb-prover BaseParityArtifact BB out - 253.80 MiB)
15:32:42 [15:32:42.728]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4592 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4591.494908999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:32:42 [15:32:42.730]
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.85 MiB)
15:32:42 [15:32:42.730]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 253.85 MiB)
15:32:42 [15:32:42.732]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.85 MiB)
15:32:42 libra_evals_verified: 1 (mem: 253.85 MiB)
15:32:42 pairing_check_verified: 1 (mem: 253.85 MiB)
15:32:42 Proof verified successfully (mem: 253.85 MiB)
15:32:42 verified: 1 (mem: 253.85 MiB)
15:32:42 [15:32:42.734]
INFO:
bb-prover Successfully verified proof from key in 82.48857300000054 ms
15:32:42 [15:32:42.735]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:32:42 [15:32:42.735]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/74427c70/bb/tmp-ccfTvZ/proof -k /tmp/74427c70/bb/tmp-ccfTvZ/vk -i /tmp/74427c70/bb/tmp-ccfTvZ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:32:42 [15:32:42.802]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.88 MiB)
15:32:42 Scheme is: ultra_honk, num threads: 128 (mem: 252.88 MiB)
15:32:42 --public_inputs_path: /tmp/74427c70/bb/tmp-ccfTvZ/public_inputs (mem: 252.88 MiB)
15:32:42 --proof_path: /tmp/74427c70/bb/tmp-ccfTvZ/proof (mem: 252.88 MiB)
15:32:42 --vk_path: /tmp/74427c70/bb/tmp-ccfTvZ/vk (mem: 252.88 MiB)
15:32:42 --verbose: true (mem: 252.88 MiB)
15:32:42 --scheme: ultra_honk (mem: 252.88 MiB)
15:32:42 --oracle_hash: poseidon2 (mem: 252.88 MiB)
15:32:42 --disable_zk: true (mem: 252.88 MiB)
15:32:42 [15:32:42.828]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.88 MiB)
15:32:42 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.88 MiB)
15:32:42 Initialized BN254 CRS from memory with num points = 1 (mem: 252.88 MiB)
15:32:42 sumcheck_verified: 1 (mem: 252.88 MiB)
15:32:42 libra_evals_verified: 1 (mem: 252.88 MiB)
15:32:42 pairing_check_verified: 1 (mem: 252.88 MiB)
15:32:42 Proof verified successfully (mem: 252.88 MiB)
15:32:42 verified: 1 (mem: 252.88 MiB)
15:32:42 [15:32:42.841]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.80 MiB)
15:32:42 finished decider proving. (mem: 253.80 MiB)
15:32:42 Public inputs saved to "/tmp/74427c70/bb/tmp-PghjKe/public_inputs" (mem: 253.80 MiB)
15:32:42 Public inputs fields saved to "/tmp/74427c70/bb/tmp-PghjKe/public_inputs_fields.json" (mem: 253.80 MiB)
15:32:42 Proof saved to "/tmp/74427c70/bb/tmp-PghjKe/proof" (mem: 253.80 MiB)
15:32:42 Proof fields saved to "/tmp/74427c70/bb/tmp-PghjKe/proof_fields.json" (mem: 253.80 MiB)
15:32:42 VK saved to "/tmp/74427c70/bb/tmp-PghjKe/vk" (mem: 253.80 MiB)
15:32:42 VK fields saved to "/tmp/74427c70/bb/tmp-PghjKe/vk_fields.json" (mem: 253.80 MiB)
15:32:42 [15:32:42.867]
INFO:
bb-prover Successfully verified proof from key in 132.20025800000076 ms
15:32:42 [15:32:42.878]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4758 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4757.521253999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:32:42 [15:32:42.882]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:32:42 [15:32:42.883]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/74427c70/bb/tmp-pog7bh/proof -k /tmp/74427c70/bb/tmp-pog7bh/vk -i /tmp/74427c70/bb/tmp-pog7bh/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:32:42 [15:32:42.909]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.95 MiB)
15:32:42 [15:32:42.909]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.95 MiB)
15:32:42 --public_inputs_path: /tmp/74427c70/bb/tmp-pog7bh/public_inputs (mem: 253.95 MiB)
15:32:42 --proof_path: /tmp/74427c70/bb/tmp-pog7bh/proof (mem: 253.95 MiB)
15:32:42 --vk_path: /tmp/74427c70/bb/tmp-pog7bh/vk (mem: 253.95 MiB)
15:32:42 --verbose: true (mem: 253.95 MiB)
15:32:42 --scheme: ultra_honk (mem: 253.95 MiB)
15:32:42 --oracle_hash: poseidon2 (mem: 253.95 MiB)
15:32:42 --disable_zk: true (mem: 253.95 MiB)
15:32:42 [15:32:42.910]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.95 MiB)
15:32:42 [15:32:42.926]
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.95 MiB)
15:32:42 [15:32:42.926]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 253.95 MiB)
15:32:42 [15:32:42.927]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.95 MiB)
15:32:42 libra_evals_verified: 1 (mem: 253.95 MiB)
15:32:42 pairing_check_verified: 1 (mem: 253.95 MiB)
15:32:42 Proof verified successfully (mem: 253.95 MiB)
15:32:42 verified: 1 (mem: 253.95 MiB)
15:32:42 [15:32:42.929]
INFO:
bb-prover Successfully verified proof from key in 46.973557999999684 ms
15:32:42 [15:32:42.954]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.84 MiB)
15:32:43 [15:32:43.053]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.84 MiB)
15:32:43 finished decider proving. (mem: 253.84 MiB)
15:32:43 Public inputs saved to "/tmp/74427c70/bb/tmp-QiU9re/public_inputs" (mem: 253.84 MiB)
15:32:43 Public inputs fields saved to "/tmp/74427c70/bb/tmp-QiU9re/public_inputs_fields.json" (mem: 253.84 MiB)
15:32:43 Proof saved to "/tmp/74427c70/bb/tmp-QiU9re/proof" (mem: 253.84 MiB)
15:32:43 Proof fields saved to "/tmp/74427c70/bb/tmp-QiU9re/proof_fields.json" (mem: 253.84 MiB)
15:32:43 VK saved to "/tmp/74427c70/bb/tmp-QiU9re/vk" (mem: 253.84 MiB)
15:32:43 VK fields saved to "/tmp/74427c70/bb/tmp-QiU9re/vk_fields.json" (mem: 253.84 MiB)
15:32:43 [15:32:43.103]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4934 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4933.035851999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:32:43 [15:32:43.107]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:32:43 [15:32:43.107]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/74427c70/bb/tmp-0bNWQ1/proof -k /tmp/74427c70/bb/tmp-0bNWQ1/vk -i /tmp/74427c70/bb/tmp-0bNWQ1/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:32:43 [15:32:43.142]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.07 MiB)
15:32:43 Scheme is: ultra_honk, num threads: 128 (mem: 254.07 MiB)
15:32:43 --public_inputs_path: /tmp/74427c70/bb/tmp-0bNWQ1/public_inputs (mem: 254.07
15:32:43 [15:32:43.146]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
15:32:43 --proof_path: /tmp/74427c70/bb/tmp-0bNWQ1/proof (mem: 254.07 MiB)
15:32:43 --vk_path: /tmp/74427c70/bb/tmp-0bNWQ1/vk (mem: 254.07 MiB)
15:32:43 --verbose: true (mem: 254.07 MiB)
15:32:43 --scheme: ultra_honk (mem: 254.07 MiB)
15:32:43 --oracle_hash: poseidon2 (mem: 254.07 MiB)
15:32:43 --disable_zk: true (mem: 254.07 MiB)
15:32:43 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.07 MiB)
15:32:43 [15:32:43.158]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.07 MiB)
15:32:43 [15:32:43.159]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 254.07 MiB)
15:32:43 [15:32:43.163]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.07 MiB)
15:32:43 libra_evals_verified: 1 (mem: 254.07 MiB)
15:32:43 pairing_check_verified: 1 (mem: 254.07 MiB)
15:32:43 Proof verified successfully (mem:
15:32:43 [15:32:43.163]
VERBOSE:
bb-prover bb-prover (verify) BB out - 254.07 MiB)
15:32:43 verified: 1 (mem: 254.07 MiB)
15:32:43 [15:32:43.165]
INFO:
bb-prover Successfully verified proof from key in 58.2470059999996 ms
15:32:43 [15:32:43.184]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:32:43 [15:32:43.186]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/74427c70/bb/tmp-HsKd3I/proof -k /tmp/74427c70/bb/tmp-HsKd3I/vk -i /tmp/74427c70/bb/tmp-HsKd3I/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:32:43 [15:32:43.210]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:32:43 [15:32:43.210]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/74427c70/bb/tmp-nOXngK/proof -k /tmp/74427c70/bb/tmp-nOXngK/vk -i /tmp/74427c70/bb/tmp-nOXngK/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:32:43 [15:32:43.234]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:32:43 [15:32:43.235]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/74427c70/bb/tmp-OtTdDW/proof -k /tmp/74427c70/bb/tmp-OtTdDW/vk -i /tmp/74427c70/bb/tmp-OtTdDW/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:32:43 [15:32:43.253]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.10 MiB)
15:32:43 Scheme is: ultra_honk, num threads: 128 (mem: 254.10 MiB)
15:32:43 --public_inputs_path: /tmp/74427c70/bb/tmp-HsKd3I/public_inputs (mem: 254.10 MiB)
15:32:43 --proof_path: /tmp/74427c70/bb/tmp-HsKd3I/proof (mem: 254.10 MiB)
15:32:43 --vk_path: /tmp/74427c70/bb/tmp-HsKd3I/vk (mem: 254.10 MiB)
15:32:43 --verbose: true (mem: 254.10 MiB)
15:32:43 --scheme: ultra_honk (mem: 254.10 MiB)
15:32:43 --oracle_hash: poseidon2 (mem: 254.10 MiB)
15:32:43 --disable_zk: true (mem: 254.10 MiB)
15:32:43 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.10 MiB)
15:32:43 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.10 MiB)
15:32:43 Initialized BN254 CRS from memory with num points = 1 (mem: 254.10 MiB)
15:32:43 sumcheck_verified: 1 (mem: 254.10 MiB)
15:32:43 libra_evals_verified: 1 (mem: 254.10 MiB)
15:32:43 pairing_check_verified: 1 (mem: 254.10 MiB)
15:32:43 Proof verified successfully (mem: 254.10 MiB)
15:32:43 verified: 1 (mem: 254.10 MiB)
15:32:43 [15:32:43.254]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.65 MiB)
15:32:43 Scheme is: ultra_honk, num threads: 128 (mem: 253.65 MiB)
15:32:43 --public_inputs_path: /tmp/74427c70/bb/tmp-nOXngK/public_inputs (mem: 253.65 MiB)
15:32:43 --proof_path: /tmp/74427c70/bb/tmp-nOXngK/proof (mem: 253.65 MiB)
15:32:43 --vk_path: /tmp/74427c70/bb/tmp-nOXngK/vk (mem: 253.65 MiB)
15:32:43 --verbose: true (mem: 253.65 MiB)
15:32:43 --scheme: ultra_honk (mem: 253.65 MiB)
15:32:43 --oracle_hash: poseidon2 (mem: 253.65 MiB)
15:32:43 --disable_zk: true (mem: 253.65 MiB)
15:32:43 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.65 MiB)
15:32:43 [15:32:43.254]
INFO:
bb-prover Successfully verified proof from key in 70.32921700000043 ms
15:32:43 [15:32:43.255]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:32:43 [15:32:43.255]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/74427c70/bb/tmp-ltyyUG/proof -k /tmp/74427c70/bb/tmp-ltyyUG/vk -i /tmp/74427c70/bb/tmp-ltyyUG/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:32:43 [15:32:43.285]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.10 MiB)
15:32:43 Scheme is: ultra_honk, num threads: 128 (mem: 254.10 MiB)
15:32:43 --public_inputs_path: /tmp/74427c70/bb/tmp-OtTdDW/public_inputs (mem: 254.10 MiB)
15:32:43 --proof_path: /tmp/74427c70/bb/tmp-OtTdDW/proof (mem: 254.10 MiB)
15:32:43 --vk_path: /tmp/74427c70/bb/tmp-OtTdDW/vk (mem: 254.10 MiB)
15:32:43 --verbose: true (mem: 254.10 MiB)
15:32:43 --scheme: ultra_honk (mem: 254.10 MiB)
15:32:43 --oracle_hash: poseidon2 (mem: 254.10 MiB)
15:32:43 --disable_zk: true (mem: 254.10 MiB)
15:32:43 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.10 MiB)
15:32:43 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.10 MiB)
15:32:43 Initialized BN254 CRS from memory with num points = 1 (mem: 254.10 MiB)
15:32:43 sumcheck_verified: 1 (mem: 254.10 MiB)
15:32:43 libra_evals_verified: 1 (mem: 254.10 MiB)
15:32:43 pairing_check_verified: 1 (mem: 254.10 MiB)
15:32:43 Proof verified successfully (mem: 254.10 MiB)
15:32:43 verified: 1 (mem: 254.10 MiB)
15:32:43 [15:32:43.287]
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.65 MiB)
15:32:43 Initialized BN254 CRS from memory with num points = 1 (mem: 253.65 MiB)
15:32:43 sumcheck_verified: 1 (mem: 253.65 MiB)
15:32:43 libra_evals_verified: 1 (mem: 253.65 MiB)
15:32:43 pairing_check_verified: 1 (mem: 253.65 MiB)
15:32:43 Proof verified successfully (mem: 253.65 MiB)
15:32:43 verified: 1 (mem: 253.65 MiB)
15:32:43 [15:32:43.289]
INFO:
bb-prover Successfully verified proof from key in 79.43774699999994 ms
15:32:43 [15:32:43.290]
INFO:
bb-prover Successfully verified proof from key in 55.940337 ms
15:32:43 [15:32:43.290]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.10 MiB)
15:32:43 Scheme is: ultra_honk, num threads: 128 (mem: 254.10 MiB)
15:32:43 --public_inputs_path: /tmp/74427c70/bb/tmp-ltyyUG/public_inputs (mem: 254.10 MiB)
15:32:43 --proof_path: /tmp/74427c70/bb/tmp-ltyyUG/proof (mem: 254.10 MiB)
15:32:43 --vk_path: /tmp/74427c70/bb/tmp-ltyyUG/vk (mem: 254.10 MiB)
15:32:43 --verbose: true (mem: 254.10 MiB)
15:32:43 --scheme: ultra_honk (mem: 254.10 MiB)
15:32:43 --oracle_hash: poseidon2 (mem: 254.10 MiB)
15:32:43 --disable_zk: true (mem: 254.10 MiB)
15:32:43 [15:32:43.292]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.10 MiB)
15:32:43 [15:32:43.310]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.10 MiB)
15:32:43 Initialized BN254 CRS from memory with num points = 1 (mem: 254.10 MiB)
15:32:43 sumcheck_verified: 1 (mem: 254.10 MiB)
15:32:43 libra_evals_verified: 1 (mem: 254.10 MiB)
15:32:43 pairing_check_verified: 1 (mem: 254.10 MiB)
15:32:43 Proof verified successfully (mem: 254.10 MiB)
15:32:43 verified: 1 (mem: 254.10 MiB)
15:32:43 [15:32:43.312]
INFO:
bb-prover Successfully verified proof from key in 56.81592400000045 ms
15:32:43 [15:32:43.484]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":70.35913900000014,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
15:32:43 [15:32:43.485]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:32:43 [15:32:43.486]
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/74427c70/bb/tmp-5rEeug -b /tmp/74427c70/bb/tmp-5rEeug/RootParityArtifact-bytecode -w /tmp/74427c70/bb/tmp-5rEeug/partial-witness.gz -v --init_kzg_accumulator -v
15:32:43 [15:32:43.511]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.41 MiB)
15:32:43 Scheme is: ultra_honk, num threads: 128 (mem: 255.41 MiB)
15:32:43 --scheme: ultra_honk (mem: 255.41 MiB)
15:32:43 --bytecode_path: /tmp/74427c70/bb/tmp-5rEeug/RootParityArtifact-bytecode (mem: 255.41 MiB)
15:32:43 --witness_path: /tmp/74427c70/bb/tmp-5rEeug/partial-witness.gz (mem: 255.41 MiB)
15:32:43 --output_path: /tmp/74427c70/bb/tmp-5rEeug (mem: 255.41 MiB)
15:32:43 Warning: the following option is called more than once (mem: 255.41 MiB)
15:32:43 --verbose: true (mem: 255.41 MiB)
15:32:43 --oracle_hash: poseidon2 (mem: 255.41 MiB)
15:32:43 --output_format: bytes_and_fields (mem: 255.41 MiB)
15:32:43 --write_vk: true (mem: 255.41 MiB)
15:32:43 --disable_zk: true (mem: 255.41 MiB)
15:32:43 --init_kzg_accumulator: true (mem: 255.41 MiB)
15:32:43 [15:32:43.682]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.41 MiB)
15:32:45 [15:32:45.752]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 423.97 MiB)
15:32:48 [15:32:48.166]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 789.24 MiB)
15:32:50 [15:32:50.421]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1052.24 MiB)
15:32:53 [15:32:53.279]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1397.25 MiB)
15:32:53 [15:32:53.280]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1397.25 MiB)
15:32:54 [15:32:54.706]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1830.81 MiB)
15:32:55 [15:32:55.208]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5453.81 MiB)
15:32:57 [15:32:57.291]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4011 ms. (mem: 6011.81 MiB)
15:32:57 [15:32:57.458]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6011.81 MiB)
15:32:57 [15:32:57.459]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6011.81 MiB)
15:32:58 [15:32:58.260]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6011.81 MiB)
15:33:03 [15:33:03.604]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6011.81 MiB)
15:33:08 [15:33:08.958]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6011.81 MiB)
15:33:10 [15:33:10.987]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6726.20 MiB)
15:33:13 [15:33:13.763]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6726.20 MiB)
15:33:20 [15:33:20.943]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6726.20 MiB)
15:33:22 [15:33:22.858]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6726.20 MiB)
15:33:22 [15:33:22.889]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6726.20 MiB)
15:33:23 [15:33:23.357]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/74427c70/bb/tmp-5rEeug/public_inputs" (mem: 6726.20 MiB)
15:33:23 Public inputs fields saved to "/tmp/74427c70/bb/tmp-5rEeug/public_inputs_fields.json" (mem: 6726.20 MiB)
15:33:23 Proof saved to "/tmp/74427c70/bb/tmp-5rEeug/proof" (mem: 6726.20 MiB)
15:33:23 Proof fields saved to "/tmp/74427c70/bb/tmp-5rEeug/proof_fields.json" (mem: 6726.20 MiB)
15:33:23 VK saved to "/tmp/74427c70/bb/tmp-5rEeug/vk" (mem: 6726.20 MiB)
15:33:23 VK fields saved to "/tmp/74427c70/bb/tmp-5rEeug/vk_fields.json" (mem: 6726.20 MiB)
15:33:23 [15:33:23.528]
INFO:
bb-prover Generated proof for RootParityArtifact in 40038 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40037.822666,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:33:23 [15:33:23.531]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:33:23 [15:33:23.531]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/74427c70/bb/tmp-9RaSbt/proof -k /tmp/74427c70/bb/tmp-9RaSbt/vk -i /tmp/74427c70/bb/tmp-9RaSbt/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:33:23 [15:33:23.555]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.42 MiB)
15:33:23 [15:33:23.556]
VERBOSE:
bb-prover bb-prover (verify) BB out -
15:33:23 Scheme is: ultra_honk, num threads: 128 (mem: 255.42 MiB)
15:33:23 --public_inputs_path: /tmp/74427c70/bb/tmp-9RaSbt/public_inputs (mem: 255.42 MiB)
15:33:23 --proof_path: /tmp/74427c70/bb/tmp-9RaSbt/proof (mem: 255.42 MiB)
15:33:23 --vk_path: /tmp/74427c70/bb/tmp-9RaSbt/vk (mem: 255.42 MiB)
15:33:23 --verbose: true (mem: 255.42 MiB)
15:33:23 --scheme: ultra_honk (mem: 255.42 MiB)
15:33:23 --oracle_hash: poseidon2 (mem: 255.42 MiB)
15:33:23 --disable_zk: true (mem: 255.42 MiB)
15:33:23 [15:33:23.557]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 255.42 MiB)
15:33:23 [15:33:23.579]
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.42 MiB)
15:33:23 Initialized BN254 CRS from memory with num points = 1 (mem: 255.42 MiB)
15:33:23 [15:33:23.579]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 255.42 MiB)
15:33:23 libra_evals_verified: 1 (mem: 255.42 MiB)
15:33:23 pairing_check_verified: 1 (mem: 255.42 MiB)
15:33:23 Proof verified successfully (mem: 255.42 MiB)
15:33:23 verified: 1 (mem: 255.42 MiB)
15:33:23 [15:33:23.581]
INFO:
bb-prover Successfully verified proof from key in 49.873186999997415 ms
15:33:23 [15:33:23.587]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:33:23 [15:33:23.588]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/74427c70/bb/tmp-teLVv6/proof -k /tmp/74427c70/bb/tmp-teLVv6/vk -i /tmp/74427c70/bb/tmp-teLVv6/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:33:23 [15:33:23.615]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.42 MiB)
15:33:23 Scheme is: ultra_honk, num threads: 128 (mem: 255.42 MiB)
15:33:23 --public_inputs_path: /tmp/74427c70/bb/tmp-teLVv6/public_inputs (mem: 255.42 MiB)
15:33:23 --proof_path: /tmp/74427c70/bb/tmp-teLVv6/proof (mem: 255.42 MiB)
15:33:23 --vk_path: /tmp/74427c70/bb/tmp-teLVv6/vk (mem: 255.42 MiB)
15:33:23 --verbose: true (mem: 255.42 MiB)
15:33:23 --scheme: ultra_honk (mem: 255.42 MiB)
15:33:23 --oracle_hash: poseidon2 (mem: 255.42 MiB)
15:33:23 --disable_zk: true (mem: 255.42 MiB)
15:33:23 vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 255.42 MiB)
15:33:23 [15:33:23.632]
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.42 MiB)
15:33:23 [15:33:23.633]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 255.42 MiB)
15:33:23 [15:33:23.634]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 255.42 MiB)
15:33:23 libra_evals_verified: 1 (mem: 255.42 MiB)
15:33:23 pairing_check_verified: 1 (mem: 255.42 MiB)
15:33:23 Proof verified successfully (mem: 255.42 MiB)
15:33:23 [15:33:23.634]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 255.42 MiB)
15:33:23 [15:33:23.636]
INFO:
bb-prover Successfully verified proof from key in 47.94149200000538 ms
15:33:23 [15:33:23.729]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
15:33:23
15:33:23 [15:33:23.731]
ERROR:
bb-prover Error running operation at /tmp/74427c70/bb/tmp-TgryoB: Error: Failed to generate witness: Failed assertion
15:33:23
15:33:23 [15:33:23.927]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":67.25340900000447,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
15:33:23 [15:33:23.928]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:33:23 [15:33:23.929]
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/74427c70/bb/tmp-4wqY7p -b /tmp/74427c70/bb/tmp-4wqY7p/RootParityArtifact-bytecode -w /tmp/74427c70/bb/tmp-4wqY7p/partial-witness.gz -v --init_kzg_accumulator -v
15:33:23 [15:33:23.953]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.42 MiB)
15:33:23 Scheme is: ultra_honk, num threads: 128 (mem: 255.42 MiB)
15:33:23 --scheme: ultra_honk (mem: 255.42 MiB)
15:33:23 --bytecode_path: /tmp/74427c70/bb/tmp-4wqY7p/RootParityArtifact-bytecode (mem: 255.42 MiB)
15:33:23 --witness_path: /tmp/74427c70/bb/tmp-4wqY7p/partial-witness.gz (mem: 255.42 MiB)
15:33:23 --output_path: /tmp/74427c70/bb/tmp-4wqY7p (mem: 255.42 MiB)
15:33:23 Warning: the following option is called more than once (mem: 255.42 MiB)
15:33:23 --verbose: true (mem: 255.42 MiB)
15:33:23 --oracle_hash: poseidon2 (mem: 255.42 MiB)
15:33:23 --output_format: bytes_and_fields (mem: 255.42 MiB)
15:33:23 --write_vk: true (mem: 255.42 MiB)
15:33:23 --disable_zk: true (mem: 255.42 MiB)
15:33:23 --init_kzg_accumulator: true (mem: 255.42 MiB)
15:33:24 [15:33:24.132]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.42 MiB)
15:33:24 [15:33:24.142]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 255.42 MiB)
15:33:26 [15:33:26.114]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 425.32 MiB)
15:33:28 [15:33:28.370]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 789.76 MiB)
15:33:31 [15:33:31.103]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1047.84 MiB)
15:33:34 [15:33:34.353]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1390.98 MiB)
15:33:34 Constructing DeciderProvingKey (mem: 1390.98 MiB)
15:33:35 [15:33:35.945]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1825.25 MiB)
15:33:36 [15:33:36.312]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5453.25 MiB)
15:33:38 [15:33:38.067]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3715 ms. (mem: 6012.25 MiB)
15:33:38 [15:33:38.230]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6012.25 MiB)
15:33:38 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6012.25 MiB)
15:33:38 [15:33:38.946]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6012.25 MiB)
15:33:42 [15:33:42.783]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6012.25 MiB)
15:33:46 [15:33:46.769]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6012.25 MiB)
15:33:48 [15:33:48.217]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6733.70 MiB)
15:33:50 [15:33:50.120]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6733.70 MiB)
15:33:56 [15:33:56.987]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6733.70 MiB)
15:33:58 [15:33:58.796]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6733.70 MiB)
15:33:58 [15:33:58.834]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6733.70 MiB)
15:33:59 [15:33:59.328]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/74427c70/bb/tmp-4wqY7p/public_inputs" (mem: 6733.70 MiB)
15:33:59 [15:33:59.329]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/74427c70/bb/tmp-4wqY7p/public_inputs_fields.json" (mem: 6733.70 MiB)
15:33:59 Proof saved to "/tmp/74427c70/bb/tmp-4wqY7p/proof" (mem: 6733.70 MiB)
15:33:59 Proof fields saved to "/tmp/74427c70/bb/tmp-4wqY7p/proof_fields.json" (mem: 6733.70 MiB)
15:33:59 VK saved to "/tmp/74427c70/bb/tmp-4wqY7p/vk" (mem: 6733.70 MiB)
15:33:59 [15:33:59.329]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/74427c70/bb/tmp-4wqY7p/vk_fields.json" (mem: 6733.70 MiB)
15:33:59 [15:33:59.496]
INFO:
bb-prover Generated proof for RootParityArtifact in 35565 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":35564.981275,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:33:59 [15:33:59.498]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:33:59 [15:33:59.498]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/74427c70/bb/tmp-P3S8eZ/proof -k /tmp/74427c70/bb/tmp-P3S8eZ/vk -i /tmp/74427c70/bb/tmp-P3S8eZ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:33:59 [15:33:59.520]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.42 MiB)
15:33:59 Scheme is: ultra_honk, num threads: 128 (mem: 254.42 MiB)
15:33:59 --public_inputs_path: /tmp/74427c70/bb/tmp-P3S8eZ/public_inputs (mem: 254.42 MiB)
15:33:59 --proof_path: /tmp/74427c70/bb/tmp-P3S8eZ/proof (mem: 254.42 MiB)
15:33:59 --vk_path: /tmp/74427c70/bb/tmp-P3S8eZ/vk (mem:
15:33:59 [15:33:59.522]
VERBOSE:
bb-prover bb-prover (verify) BB out - 254.42 MiB)
15:33:59 --verbose: true (mem: 254.42 MiB)
15:33:59 --scheme: ultra_honk (mem: 254.42 MiB)
15:33:59 --oracle_hash: poseidon2 (mem: 254.42 MiB)
15:33:59 --disable_zk: true (mem: 254.42 MiB)
15:33:59 vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 254.42 MiB)
15:33:59 [15:33:59.532]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 254.42 MiB)
15:33:59 Proof verification failed (mem: 254.42 MiB)
15:33:59 verified: 0 (mem: 254.42 MiB)
15:33:59 [15:33:59.534]
ERROR:
bb-prover Error running operation at /tmp/74427c70/bb/tmp-P3S8eZ: ProvingError: Failed to verify proof from key!
15:33:59 [15:33:59.679]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":59.5631710000016,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
15:33:59 [15:33:59.681]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:33:59 [15:33:59.681]
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/74427c70/bb/tmp-cfMbC8 -b /tmp/74427c70/bb/tmp-cfMbC8/RootParityArtifact-bytecode -w /tmp/74427c70/bb/tmp-cfMbC8/partial-witness.gz -v --init_kzg_accumulator -v
15:33:59 [15:33:59.703]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.42 MiB)
15:33:59 [15:33:59.704]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.42 MiB)
15:33:59 --scheme: ultra_honk (mem: 255.42 MiB)
15:33:59 --bytecode_path: /tmp/74427c70/bb/tmp-cfMbC8/RootParityArtifact-bytecode (mem: 255.42 MiB)
15:33:59 --witness_path: /tmp/74427c70/bb/tmp-cfMbC8/partial-witness.gz (mem: 255.42 MiB)
15:33:59 --output_path: /tmp/74427c70/bb/tmp-cfMbC8 (mem: 255.42 MiB)
15:33:59 Warning: the following option is called more than once (mem: 255.42 MiB)
15:33:59 --verbose: true (mem: 255.42 MiB)
15:33:59 --oracle_hash: poseidon2 (mem: 255.42 MiB)
15:33:59 --output_format: bytes_and_fields (mem: 255.42 MiB)
15:33:59 --write_vk: true (mem: 255.42 MiB)
15:33:59 --disable_zk: true (mem: 255.42 MiB)
15:33:59 --init_kzg_accumulator: true (mem: 255.42 MiB)
15:33:59 [15:33:59.846]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.42 MiB)
15:33:59 [15:33:59.856]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 255.42 MiB)
15:34:01 [15:34:01.766]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 424.16 MiB)
15:34:04 [15:34:04.663]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 786.91 MiB)
15:34:06 [15:34:06.489]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1052.88 MiB)
15:34:08 [15:34:08.978]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1398.68 MiB)
15:34:08 [15:34:08.979]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1398.68 MiB)
15:34:10 [15:34:10.283]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1833.88 MiB)
15:34:10 [15:34:10.644]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5450.88 MiB)
15:34:12 [15:34:12.175]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3196 ms. (mem: 6011.88 MiB)
15:34:12 [15:34:12.326]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6011.88 MiB)
15:34:12 [15:34:12.327]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6011.88 MiB)
15:34:13 [15:34:13.045]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6011.88 MiB)
15:34:16 [15:34:16.420]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6011.88 MiB)
15:34:20 [15:34:20.529]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6011.88 MiB)
15:34:22 [15:34:22.271]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6742.59 MiB)
15:34:24 [15:34:24.347]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6742.59 MiB)
15:34:30 [15:34:30.487]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6742.59 MiB)
15:34:32 [15:34:32.241]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6742.59 MiB)
15:34:32 [15:34:32.272]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6742.59 MiB)
15:34:32 [15:34:32.724]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/74427c70/bb/tmp-cfMbC8/public_inputs" (mem: 6742.59 MiB)
15:34:32 [15:34:32.725]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/74427c70/bb/tmp-cfMbC8/public_inputs_fields.json" (mem: 6742.59 MiB)
15:34:32 Proof saved to "/tmp/74427c70/bb/tmp-cfMbC8/proof" (mem: 6742.59 MiB)
15:34:32 Proof fields saved to "/tmp/74427c70/bb/tmp-cfMbC8/proof_fields.json" (mem: 6742.59 MiB)
15:34:32 VK saved to "/tmp/74427c70/bb/tmp-cfMbC8/vk" (mem: 6742.59 MiB)
15:34:32 VK fields saved to "/tmp/74427c70/bb/tmp-cfMbC8/vk_fields.json" (mem: 6742.59 MiB)
15:34:32 [15:34:32.881]
INFO:
bb-prover Generated proof for RootParityArtifact in 33199 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":33198.29373599999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:34:32 [15:34:32.884]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:34:32 [15:34:32.884]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/74427c70/bb/tmp-lJVlPB/proof -k /tmp/74427c70/bb/tmp-lJVlPB/vk -i /tmp/74427c70/bb/tmp-lJVlPB/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:34:32 [15:34:32.903]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.42 MiB)
15:34:32 [15:34:32.904]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.42 MiB)
15:34:32 --public_inputs_path: /tmp/74427c70/bb/tmp-lJVlPB/public_inputs (mem: 255.42 MiB)
15:34:32 --proof_path: /tmp/74427c70/bb/tmp-lJVlPB/proof (mem: 255.42 MiB)
15:34:32 --vk_path: /tmp/74427c70/bb/tmp-lJVlPB/vk (mem: 255.42 MiB)
15:34:32 --verbose: true (mem: 255.42 MiB)
15:34:32 --scheme: ultra_honk (mem: 255.42 MiB)
15:34:32 --oracle_hash: poseidon2 (mem: 255.42 MiB)
15:34:32 --disable_zk: true (mem: 255.42 MiB)
15:34:32 [15:34:32.904]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 255.42 MiB)
15:34:32 [15:34:32.913]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 255.42 MiB)
15:34:32 Proof verification failed (mem: 255.42 MiB)
15:34:32 verified: 0 (mem: 255.42 MiB)
15:34:32 [15:34:32.914]
ERROR:
bb-prover Error running operation at /tmp/74427c70/bb/tmp-lJVlPB: ProvingError: Failed to verify proof from key!
15:34:32 [15:34:32.917]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
15:34:32
PASS src/test/bb_prover_parity.test.ts (
123.641 s)
15:34:32 prover/bb_prover/parity
15:34:32
✓ proves the parity circuits (115042 ms)
15:34:32
15:34:32
Test Suites: 1 passed, 1 total
15:34:32
Tests: 1 passed, 1 total
15:34:32
Snapshots: 0 total
15:34:32
Time: 123.726 s
15:34:32
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
15:34:32
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?