Parent Log:
http://ci.aztec-labs.com/5f36e2ea2d725352
Command: 061ac9e48ee668e8: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/cf10794ebb7367fb6a26d1d402fd83c2aef3d888
Env: REF_NAME=gh-readonly-queue/next/pr-15193-372980b2f09de871ee7152879dcda8bdfe254b9d CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 20:05:10 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15193_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
20:05:10 +++ id -u
20:05:10 +++ id -g
20:05:10 ++ 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'\'''
20:05:11 + cid=5ccc24e337473b424f44d2f15b0ce15504dcd6ba7452510a9fb7a29ca299d3cf
20:05:11 + set +x
20:05:13 {"level":25,"time":1750449913220,"pid":7,"hostname":"5ccc24e33747","module":"logger","msg":"Logger initialized with level verbose"}
20:05:21 [20:05:21.561]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-94m3Bb/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
20:05:21 [20:05:21.663]
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/e81a949a/bb
20:05:21 [20:05:21.665]
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/e81a949a/acvm
20:05:21 [20:05:21.666]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/e81a949a/bb
20:05:21 [20:05:21.667]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/e81a949a/acvm
20:05:21 [20:05:21.670]
INFO:
prover-client:proving-broker Proving Broker started
20:05:21 [20:05:21.672]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
20:05:21 [20:05:21.899]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":62.28309999999874,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
20:05:21 [20:05:21.924]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":46.41208600000027,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
20:05:21 [20:05:21.936]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":70.16935800000101,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
20:05:21 [20:05:21.944]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
20:05:21 [20:05:21.945]
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/e81a949a/bb/tmp-q7Hsr8 -b /tmp/e81a949a/bb/tmp-q7Hsr8/BaseParityArtifact-bytecode -w /tmp/e81a949a/bb/tmp-q7Hsr8/partial-witness.gz -v --init_kzg_accumulator -v
20:05:21 [20:05:21.975]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
20:05:21 [20:05:21.976]
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/e81a949a/bb/tmp-miWprD -b /tmp/e81a949a/bb/tmp-miWprD/BaseParityArtifact-bytecode -w /tmp/e81a949a/bb/tmp-miWprD/partial-witness.gz -v --init_kzg_accumulator -v
20:05:22 [20:05:22.003]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
20:05:22 [20:05:22.003]
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/e81a949a/bb/tmp-i7GWp7 -b /tmp/e81a949a/bb/tmp-i7GWp7/BaseParityArtifact-bytecode -w /tmp/e81a949a/bb/tmp-i7GWp7/partial-witness.gz -v --init_kzg_accumulator -v
20:05:22 [20:05:22.031]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 249.72 MiB)
20:05:22 Scheme is: ultra_honk, num threads: 128 (mem: 249.72 MiB)
20:05:22 --scheme: ultra_honk (mem: 249.72 MiB)
20:05:22 --bytecode_path: /tmp/e81a949a/bb/tmp-q7Hsr8/BaseParityArtifact-bytecode (mem: 249.72 MiB)
20:05:22 --witness_path: /tmp/e81a949a/bb/tmp-q7Hsr8/partial-witness.gz (mem: 249.72 MiB)
20:05:22 --output_path: /tmp/e81a949a/bb/tmp-q7Hsr8 (mem: 249.72 MiB)
20:05:22 Warning: the following option is called more than once (mem: 249.72 MiB)
20:05:22 --verbose: true (mem: 249.72 MiB)
20:05:22 --oracle_hash: poseidon2 (mem: 249.72 MiB)
20:05:22 --output_format: bytes_and_fields (mem: 249.72 MiB)
20:05:22 --write_vk: true (mem: 249.72 MiB)
20:05:22 --disable_zk: true (mem: 249.72 MiB)
20:05:22 --init_kzg_accumulator: true (mem: 249.72 MiB)
20:05:22 [20:05:22.032]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 249.72 MiB)
20:05:22 Scheme is: ultra_honk, num threads: 128 (mem: 249.72 MiB)
20:05:22 --scheme: ultra_honk (mem: 249.72 MiB)
20:05:22 --bytecode_path: /tmp/e81a949a/bb/tmp-miWprD/BaseParityArtifact-bytecode (mem: 249.72 MiB)
20:05:22 --witness_path: /tmp/e81a949a/bb/tmp-miWprD/partial-witness.gz (mem: 249.72 MiB)
20:05:22 --output_path: /tmp/e81a949a/bb/tmp-miWprD (mem: 249.72 MiB)
20:05:22 Warning: the following option is called more than once (mem: 249.72 MiB)
20:05:22 --verbose: true (mem: 249.72 MiB)
20:05:22 --oracle_hash: poseidon2 (mem: 249.72 MiB)
20:05:22 --output_format: bytes_and_fields (mem: 249.72 MiB)
20:05:22 --write_vk: true (mem: 249.72 MiB)
20:05:22 --disable_zk: true (mem: 249.72 MiB)
20:05:22 --init_kzg_accumulator: true (mem: 249.72 MiB)
20:05:22 [20:05:22.033]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 249.72 MiB)
20:05:22 Scheme is: ultra_honk, num threads: 128 (mem: 249.72 MiB)
20:05:22 --scheme: ultra_honk (mem: 249.72 MiB)
20:05:22 --bytecode_path: /tmp/e81a949a/bb/tmp-i7GWp7/BaseParityArtifact-bytecode (mem: 249.72 MiB)
20:05:22 --witness_path: /tmp/e81a949a/bb/tmp-i7GWp7/partial-witness.gz (mem: 249.72 MiB)
20:05:22 --output_path: /tmp/e81a949a/bb/tmp-i7GWp7 (mem: 249.72 MiB)
20:05:22 Warning: the following option is called more than once (mem: 249.72 MiB)
20:05:22 --verbose: true (mem: 249.72 MiB)
20:05:22 --oracle_hash: poseidon2 (mem: 249.72 MiB)
20:05:22 --output_format: bytes_and_fields (mem: 249.72 MiB)
20:05:22 --write_vk: true (mem: 249.72 MiB)
20:05:22 --disable_zk: true (mem: 249.72 MiB)
20:05:22 --init_kzg_accumulator: true (mem: 249.72 MiB)
20:05:22 [20:05:22.041]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":126.80410900000061,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
20:05:22 [20:05:22.043]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
20:05:22 [20:05:22.044]
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/e81a949a/bb/tmp-ySWNtr -b /tmp/e81a949a/bb/tmp-ySWNtr/BaseParityArtifact-bytecode -w /tmp/e81a949a/bb/tmp-ySWNtr/partial-witness.gz -v --init_kzg_accumulator -v
20:05:22 [20:05:22.070]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove
20:05:22 [20:05:22.071]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 249.77 MiB)
20:05:22 Scheme is: ultra_honk, num threads: 128 (mem: 249.77 MiB)
20:05:22 --scheme: ultra_honk (mem: 249.77 MiB)
20:05:22 --bytecode_path: /tmp/e81a949a/bb/tmp-ySWNtr/BaseParityArtifact-bytecode (mem: 249.77 MiB)
20:05:22 --witness_path: /tmp/e81a949a/bb/tmp-ySWNtr/partial-witness.gz (mem: 249.77 MiB)
20:05:22 --output_path: /tmp/e81a949a/bb/tmp-ySWNtr (mem: 249.77 MiB)
20:05:22 Warning: the following option is called more than once (mem: 249.77 MiB)
20:05:22 --verbose: true (mem: 249.77 MiB)
20:05:22 --oracle_hash: poseidon2 (mem: 249.77 MiB)
20:05:22 --output_format: bytes_and_fields (mem: 249.77 MiB)
20:05:22 --write_vk: true (mem: 249.77 MiB)
20:05:22 --disable_zk: true (mem: 249.77 MiB)
20:05:22 --init_kzg_accumulator: true (mem: 249.77 MiB)
20:05:22 [20:05:22.170]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 249.72 MiB)
20:05:22 Constructing DeciderProvingKey (mem: 249.72 MiB)
20:05:22 [20:05:22.173]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
20:05:22 [20:05:22.174]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
20:05:22 [20:05:22.174]
INFO:
bb-prover BaseParityArtifact BB out - 249.72
20:05:22 [20:05:22.175]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
20:05:22 [20:05:22.175]
INFO:
bb-prover BaseParityArtifact BB out -
20:05:22 [20:05:22.175]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 249.72 MiB)
20:05:22 Constructing DeciderProvingKey (mem: 249.72 MiB)
20:05:22 [20:05:22.180]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 249.72 MiB)
20:05:22 [20:05:22.227]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
20:05:22 [20:05:22.229]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 249.72 MiB)
20:05:22 Constructing DeciderProvingKey (mem: 249.72 MiB)
20:05:22 [20:05:22.236]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 249.72 MiB)
20:05:22 [20:05:22.262]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 249.77 MiB)
20:05:22 Constructing DeciderProvingKey (mem: 249.77 MiB)
20:05:22 [20:05:22.266]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
20:05:22 [20:05:22.266]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
20:05:22 [20:05:22.267]
INFO:
bb-prover BaseParityArtifact BB out - 249.77
20:05:22 [20:05:22.267]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
20:05:22 [20:05:22.268]
INFO:
bb-prover BaseParityArtifact BB out -
20:05:22 [20:05:22.405]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 249.72 MiB)
20:05:22 [20:05:22.408]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 249.72 MiB)
20:05:22 [20:05:22.474]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 249.72 MiB)
20:05:22 [20:05:22.477]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 301 ms. (mem: 249.72 MiB)
20:05:22 [20:05:22.485]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 249.72 MiB)
20:05:22 [20:05:22.485]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.72 MiB)
20:05:22 [20:05:22.496]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 249.72 MiB)
20:05:22 [20:05:22.503]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 335 ms. (mem: 249.72 MiB)
20:05:22 [20:05:22.511]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 249.72 MiB)
20:05:22 [20:05:22.515]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.72 MiB)
20:05:22 [20:05:22.527]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 249.72 MiB)
20:05:22 [20:05:22.567]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 249.77 MiB)
20:05:22 [20:05:22.633]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 398 ms. (mem: 249.72 MiB)
20:05:22 [20:05:22.642]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 249.72 MiB)
20:05:22 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.72 MiB)
20:05:22 [20:05:22.653]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 249.72 MiB)
20:05:22 [20:05:22.724]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 463 ms. (mem: 249.77 MiB)
20:05:22 [20:05:22.731]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 249.77 MiB)
20:05:22 [20:05:22.736]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.77 MiB)
20:05:22 [20:05:22.760]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 249.77 MiB)
20:05:23 [20:05:23.638]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.72 MiB)
20:05:23 [20:05:23.678]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.72 MiB)
20:05:23 [20:05:23.966]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.72 MiB)
20:05:24 [20:05:24.053]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.77 MiB)
20:05:24 [20:05:24.297]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 249.72 MiB)
20:05:24 [20:05:24.339]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 249.72 MiB)
20:05:24 [20:05:24.563]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 249.72 MiB)
20:05:24 [20:05:24.659]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 249.72 MiB)
20:05:24 [20:05:24.720]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 249.77 MiB)
20:05:24 [20:05:24.731]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 249.72 MiB)
20:05:24 [20:05:24.855]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem:
20:05:24 [20:05:24.856]
INFO:
bb-prover BaseParityArtifact BB out - 249.72 MiB)
20:05:24 [20:05:24.868]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 249.72 MiB)
20:05:24 [20:05:24.883]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 249.72 MiB)
20:05:24 [20:05:24.952]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 249.77 MiB)
20:05:25 [20:05:25.096]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 249.72 MiB)
20:05:25 [20:05:25.150]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 249.77 MiB)
20:05:26 [20:05:26.447]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 249.72 MiB)
20:05:26 [20:05:26.526]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem:
20:05:26 [20:05:26.530]
INFO:
bb-prover BaseParityArtifact BB out - 249.72 MiB)
20:05:26 finished decider proving. (mem: 249.72 MiB)
20:05:26 Public inputs saved to "/tmp/e81a949a/bb/tmp-miWprD/public_inputs" (mem: 249.72 MiB)
20:05:26 Public inputs fields saved to "/tmp/e81a949a/bb/tmp-miWprD/public_inputs_fields.json" (mem: 249.72 MiB)
20:05:26 Proof saved to "/tmp/e81a949a/bb/tmp-miWprD/proof" (mem: 249.72 MiB)
20:05:26 Proof fields saved to "/tmp/e81a949a/bb/tmp-miWprD/proof_fields.json" (mem: 249.72 MiB)
20:05:26 VK saved to "/tmp/e81a949a/bb/tmp-miWprD/vk" (mem: 249.72 MiB)
20:05:26 VK fields saved to "/tmp/e81a949a/bb/tmp-miWprD/vk_fields.json" (mem: 249.72 MiB)
20:05:26 [20:05:26.535]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 249.72 MiB)
20:05:26 [20:05:26.648]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4639 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4638.715685000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
20:05:26 [20:05:26.656]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 249.72 MiB)
20:05:26 finished decider proving. (mem: 249.72 MiB)
20:05:26 Public inputs saved to "/tmp/e81a949a/bb/tmp-q7Hsr8/public_inputs" (mem: 249.72 MiB)
20:05:26 Public inputs fields saved to "/tmp/e81a949a/bb/tmp-q7Hsr8/public_inputs_fields.json" (mem: 249.72 MiB)
20:05:26 Proof saved to "/tmp/e81a949a/bb/tmp-q7Hsr8/proof" (mem: 249.72 MiB)
20:05:26 Proof fields saved to "/tmp/e81a949a/bb/tmp-q7Hsr8/proof_fields.json" (mem: 249.72 MiB)
20:05:26 VK saved to "/tmp/e81a949a/bb/tmp-q7Hsr8/vk" (mem: 249.72 MiB)
20:05:26 VK fields saved to "/tmp/e81a949a/bb/tmp-q7Hsr8/vk_fields.json" (mem: 249.72 MiB)
20:05:26 [20:05:26.668]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
20:05:26 [20:05:26.669]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e81a949a/bb/tmp-DXoruY/proof -k /tmp/e81a949a/bb/tmp-DXoruY/vk -i /tmp/e81a949a/bb/tmp-DXoruY/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
20:05:26 [20:05:26.697]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 249.72 MiB)
20:05:26 [20:05:26.702]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.79 MiB)
20:05:26 Scheme is: ultra_honk, num threads: 128 (mem: 249.79 MiB)
20:05:26 --public_inputs_path: /tmp/e81a949a/bb/tmp-DXoruY/public_inputs (mem: 249.79 MiB)
20:05:26 --proof_path: /tmp/e81a949a/bb/tmp-DXoruY/proof (mem: 249.79 MiB)
20:05:26 --vk_path: /tmp/e81a949a/bb/tmp-DXoruY/vk (mem: 249.79 MiB)
20:05:26 --verbose: true (mem: 249.79 MiB)
20:05:26 --scheme: ultra_honk (mem: 249.79 MiB)
20:05:26 --oracle_hash: poseidon2 (mem: 249.79 MiB)
20:05:26 --disable_zk: true (mem: 249.79 MiB)
20:05:26 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.79 MiB)
20:05:26 [20:05:26.720]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4767 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4766.438377,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
20:05:26 [20:05:26.733]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.79 MiB)
20:05:26 Initialized BN254 CRS from memory with num points = 1 (mem: 249.79 MiB)
20:05:26 [20:05:26.734]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 249.79 MiB)
20:05:26 libra_evals_verified: 1 (mem: 249.79 MiB)
20:05:26 pairing_check_verified: 1 (mem: 249.79 MiB)
20:05:26 Proof verified successfully (mem: 249.79 MiB)
20:05:26 verified: 1 (mem: 249.79 MiB)
20:05:26 [20:05:26.736]
INFO:
bb-prover Successfully verified proof from key in 67.61276399999952 ms
20:05:26 [20:05:26.737]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
20:05:26 [20:05:26.738]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e81a949a/bb/tmp-EaUg01/proof -k /tmp/e81a949a/bb/tmp-EaUg01/vk -i /tmp/e81a949a/bb/tmp-EaUg01/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
20:05:26 [20:05:26.769]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 249.72 MiB)
20:05:26 finished decider proving. (mem: 249.72 MiB)
20:05:26 Public inputs saved to "/tmp/e81a949a/bb/tmp-i7GWp7/public_inputs" (mem: 249.72 MiB)
20:05:26 Public inputs fields saved to "/tmp/e81a949a/bb/tmp-i7GWp7/public_inputs_fields.json" (mem: 249.72 MiB)
20:05:26 [20:05:26.771]
INFO:
bb-prover BaseParityArtifact BB out - Proof saved to "/tmp/e81a949a/bb/tmp-i7GWp7/proof" (mem: 249.72 MiB)
20:05:26 Proof fields saved to "/tmp/e81a949a/bb/tmp-i7GWp7/proof_fields.json" (mem: 249.72 MiB)
20:05:26 VK saved to "/tmp/e81a949a/bb/tmp-i7GWp7/vk" (mem: 249.72 MiB)
20:05:26 VK fields saved to "/tmp/e81a949a/bb/tmp-i7GWp7/vk_fields.json" (mem: 249.72 MiB)
20:05:26 [20:05:26.775]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
20:05:26 [20:05:26.777]
VERBOSE:
bb-prover bb-prover (verify) BB out - 249.80 MiB)
20:05:26 Scheme is: ultra_honk, num threads: 128 (mem: 249.80 MiB)
20:05:26 --public_inputs_path: /tmp/e81a949a/bb/tmp-EaUg01/public_inputs (mem: 249.80 MiB)
20:05:26 --proof_path: /tmp/e81a949a/bb/tmp-EaUg01/proof (mem: 249.80 MiB)
20:05:26 --vk_path: /tmp/e81a949a/bb/tmp-EaUg01/vk (mem: 249.80 MiB)
20:05:26 --verbose: true (mem: 249.80 MiB)
20:05:26 --scheme: ultra_honk (mem: 249.80 MiB)
20:05:26 --oracle_hash: poseidon2 (mem: 249.80 MiB)
20:05:26 --disable_zk: true (mem: 249.80 MiB)
20:05:26 [20:05:26.777]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.80 MiB)
20:05:26 [20:05:26.795]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.80 MiB)
20:05:26 Initialized BN254 CRS from memory with num points = 1 (mem: 249.80 MiB)
20:05:26 [20:05:26.798]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 249.80 MiB)
20:05:26 libra_evals_verified: 1 (mem: 249.80 MiB)
20:05:26 pairing_check_verified: 1 (mem: 249.80 MiB)
20:05:26 Proof verified successfully (mem: 249.80 MiB)
20:05:26 verified: 1 (mem: 249.80 MiB)
20:05:26 [20:05:26.803]
INFO:
bb-prover Successfully verified proof from key in 65.63145700000132 ms
20:05:26 [20:05:26.826]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4807 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4806.853726000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
20:05:26 [20:05:26.831]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
20:05:26 [20:05:26.831]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e81a949a/bb/tmp-0qQsOd/proof -k /tmp/e81a949a/bb/tmp-0qQsOd/vk -i /tmp/e81a949a/bb/tmp-0qQsOd/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
20:05:26 [20:05:26.884]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
20:05:26 [20:05:26.888]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 249.89 MiB)
20:05:26 Scheme is: ultra_honk, num threads: 128 (mem: 249.89 MiB)
20:05:26 --public_inputs_path: /tmp/e81a949a/bb/tmp-0qQsOd/public_inputs (mem: 249.89 MiB)
20:05:26 --proof_path: /tmp/e81a949a/bb/tmp-0qQsOd/proof (mem: 249.89 MiB)
20:05:26 --vk_path: /tmp/e81a949a/bb/tmp-0qQsOd/vk (mem: 249.89 MiB)
20:05:26 --verbose: true (mem: 249.89 MiB)
20:05:26 --scheme: ultra_honk (mem: 249.89 MiB)
20:05:26 --oracle_hash: poseidon2 (mem: 249.89 MiB)
20:05:26 --disable_zk: true (mem: 249.89 MiB)
20:05:26 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.89 MiB)
20:05:26 [20:05:26.903]
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"
20:05:26 [20:05:26.906]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 249.89 MiB)
20:05:26 Initialized BN254 CRS from memory with num points = 1 (mem: 249.89 MiB)
20:05:26 sumcheck_verified: 1 (mem: 249.89 MiB)
20:05:26 libra_evals_verified: 1 (mem: 249.89 MiB)
20:05:26 pairing_check_verified: 1 (mem: 249.89 MiB)
20:05:26 Proof verified successfully (mem: 249.89 MiB)
20:05:26 verified: 1 (mem: 249.89 MiB)
20:05:26 [20:05:26.907]
INFO:
bb-prover Successfully verified proof from key in 76.77707499999997 ms
20:05:26 [20:05:26.995]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 249.77 MiB)
20:05:27 [20:05:27.095]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 249.77 MiB)
20:05:27 finished decider proving. (mem: 249.77 MiB)
20:05:27 [20:05:27.098]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/e81a949a/bb/tmp-ySWNtr/public_inputs" (mem: 249.77 MiB)
20:05:27 Public inputs fields saved to "/tmp/e81a949a/bb/tmp-ySWNtr/public_inputs_fields.json" (mem: 249.77 MiB)
20:05:27 Proof saved to "/tmp/e81a949a/bb/tmp-ySWNtr/proof" (mem: 249.77 MiB)
20:05:27 Proof fields saved to "/tmp/e81a949a/bb/tmp-ySWNtr/proof_fields.json" (mem: 249.77 MiB)
20:05:27 VK saved to "/tmp/e81a949a/bb/tmp-ySWNtr/vk" (mem: 249.77 MiB)
20:05:27 VK fields saved to "/tmp/e81a949a/bb/tmp-ySWNtr/vk_fields.json" (mem: 249.77 MiB)
20:05:27 [20:05:27.165]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5116 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5115.504076000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
20:05:27 [20:05:27.169]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
20:05:27 [20:05:27.170]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e81a949a/bb/tmp-8MeEkN/proof -k /tmp/e81a949a/bb/tmp-8MeEkN/vk -i /tmp/e81a949a/bb/tmp-8MeEkN/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
20:05:27 [20:05:27.203]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.92 MiB)
20:05:27 [20:05:27.204]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 249.92 MiB)
20:05:27 --public_inputs_path: /tmp/e81a949a/bb/tmp-8MeEkN/public_inputs (mem: 249.92 MiB)
20:05:27 --proof_path: /tmp/e81a949a/bb/tmp-8MeEkN/proof (mem: 249.92 MiB)
20:05:27 --vk_path: /tmp/e81a949a/bb/tmp-8MeEkN/vk (mem: 249.92 MiB)
20:05:27 --verbose: true (mem: 249.92 MiB)
20:05:27 --scheme: ultra_honk (mem: 249.92 MiB)
20:05:27 --oracle_hash: poseidon2 (mem: 249.92 MiB)
20:05:27 --disable_zk: true (mem: 249.92 MiB)
20:05:27 [20:05:27.204]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.92 MiB)
20:05:27 [20:05:27.223]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.92 MiB)
20:05:27 Initialized BN254 CRS from memory with num points = 1 (mem: 249.92 MiB)
20:05:27 sumcheck_verified: 1 (mem: 249.92 MiB)
20:05:27 libra_evals_verified: 1 (mem: 249.92 MiB)
20:05:27 pairing_check_verified: 1 (mem: 249.92 MiB)
20:05:27 Proof verified successfully (mem: 249.92 MiB)
20:05:27 verified: 1 (mem: 249.92 MiB)
20:05:27 [20:05:27.225]
INFO:
bb-prover Successfully verified proof from key in 56.09711799999968 ms
20:05:27 [20:05:27.241]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
20:05:27 [20:05:27.242]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e81a949a/bb/tmp-SDfZXO/proof -k /tmp/e81a949a/bb/tmp-SDfZXO/vk -i /tmp/e81a949a/bb/tmp-SDfZXO/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
20:05:27 [20:05:27.265]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
20:05:27 [20:05:27.265]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e81a949a/bb/tmp-zeg6oY/proof -k /tmp/e81a949a/bb/tmp-zeg6oY/vk -i /tmp/e81a949a/bb/tmp-zeg6oY/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
20:05:27 [20:05:27.290]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
20:05:27 [20:05:27.291]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e81a949a/bb/tmp-d9fpW5/proof -k /tmp/e81a949a/bb/tmp-d9fpW5/vk -i /tmp/e81a949a/bb/tmp-d9fpW5/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
20:05:27 [20:05:27.314]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
20:05:27 [20:05:27.314]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e81a949a/bb/tmp-4v0hqV/proof -k /tmp/e81a949a/bb/tmp-4v0hqV/vk -i /tmp/e81a949a/bb/tmp-4v0hqV/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
20:05:27 [20:05:27.342]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.01 MiB)
20:05:27 Scheme is: ultra_honk, num threads: 128 (mem: 250.01 MiB)
20:05:27 --public_inputs_path: /tmp/e81a949a/bb/tmp-SDfZXO/public_inputs (mem: 250.01 MiB)
20:05:27 --proof_path: /tmp/e81a949a/bb/tmp-SDfZXO/proof (mem: 250.01 MiB)
20:05:27 --vk_path: /tmp/e81a949a/bb/tmp-SDfZXO/vk (mem: 250.01 MiB)
20:05:27 --verbose: true (mem: 250.01 MiB)
20:05:27 --scheme: ultra_honk (mem: 250.01 MiB)
20:05:27 --oracle_hash: poseidon2 (mem: 250.01 MiB)
20:05:27 --disable_zk: true (mem: 250.01 MiB)
20:05:27 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.01 MiB)
20:05:27 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.01 MiB)
20:05:27 Initialized BN254 CRS from memory with num points = 1 (mem: 250.01 MiB)
20:05:27 sumcheck_verified: 1 (mem: 250.01 MiB)
20:05:27 libra_evals_verified: 1 (mem: 250.01 MiB)
20:05:27 pairing_check_verified: 1 (mem: 250.01 MiB)
20:05:27 Proof verified successfully (mem: 250.01 MiB)
20:05:27 verified: 1 (mem: 250.01 MiB)
20:05:27 [20:05:27.343]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.01 MiB)
20:05:27 Scheme is: ultra_honk, num threads: 128 (mem: 250.01 MiB)
20:05:27 --public_inputs_path: /tmp/e81a949a/bb/tmp-zeg6oY/public_inputs (mem: 250.01 MiB)
20:05:27 --proof_path: /tmp/e81a949a/bb/tmp-zeg6oY/proof (mem: 250.01 MiB)
20:05:27 --vk_path: /tmp/e81a949a/bb/tmp-zeg6oY/vk (mem: 250.01 MiB)
20:05:27 --verbose: true (mem: 250.01 MiB)
20:05:27 --scheme: ultra_honk (mem: 250.01 MiB)
20:05:27 --oracle_hash: poseidon2 (mem: 250.01 MiB)
20:05:27 --disable_zk: true (mem: 250.01 MiB)
20:05:27 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.01 MiB)
20:05:27 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.01 MiB)
20:05:27 Initialized BN254 CRS from memory with num points = 1 (mem: 250.01 MiB)
20:05:27 sumcheck_verified: 1 (mem: 250.01 MiB)
20:05:27 libra_evals_verified: 1 (mem: 250.01 MiB)
20:05:27 pairing_check_verified: 1 (mem: 250.01 MiB)
20:05:27 Proof verified successfully (mem: 250.01 MiB)
20:05:27 verified: 1 (mem: 250.01 MiB)
20:05:27 [20:05:27.344]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.01 MiB)
20:05:27 Scheme is: ultra_honk, num threads: 128 (mem: 250.01 MiB)
20:05:27 --public_inputs_path: /tmp/e81a949a/bb/tmp-d9fpW5/public_inputs (mem: 250.01 MiB)
20:05:27 --proof_path: /tmp/e81a949a/bb/tmp-d9fpW5/proof (mem: 250.01 MiB)
20:05:27 --vk_path: /tmp/e81a949a/bb/tmp-d9fpW5/vk (mem: 250.01 MiB)
20:05:27 --verbose: true (mem: 250.01 MiB)
20:05:27 --scheme: ultra_honk (mem: 250.01 MiB)
20:05:27 --oracle_hash: poseidon2 (mem: 250.01 MiB)
20:05:27 --disable_zk: true (mem: 250.01 MiB)
20:05:27 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.01 MiB)
20:05:27 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.01 MiB)
20:05:27 Initialized BN254 CRS from memory with num points = 1 (mem: 250.01 MiB)
20:05:27 sumcheck_verified: 1 (mem: 250.01 MiB)
20:05:27 libra_evals_verified: 1 (mem: 250.01 MiB)
20:05:27 pairing_check_verified: 1 (mem: 250.01 MiB)
20:05:27 Proof verified successfully (mem: 250.01 MiB)
20:05:27 verified: 1 (mem: 250.01 MiB)
20:05:27 [20:05:27.346]
INFO:
bb-prover Successfully verified proof from key in 56.03508200000033 ms
20:05:27 [20:05:27.346]
INFO:
bb-prover Successfully verified proof from key in 81.85439899999983 ms
20:05:27 [20:05:27.347]
INFO:
bb-prover Successfully verified proof from key in 105.61699099999896 ms
20:05:27 [20:05:27.347]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.01 MiB)
20:05:27 Scheme is: ultra_honk, num threads: 128 (mem: 250.01 MiB)
20:05:27 --public_inputs_path: /tmp/e81a949a/bb/tmp-4v0hqV/public_inputs (mem: 250.01 MiB)
20:05:27 --proof_path: /tmp/e81a949a/bb/tmp-4v0hqV/proof (mem: 250.01 MiB)
20:05:27 --vk_path: /tmp/e81a949a/bb/tmp-4v0hqV/vk (mem: 250.01 MiB)
20:05:27 --verbose: true (mem: 250.01 MiB)
20:05:27 --scheme: ultra_honk (mem: 250.01 MiB)
20:05:27 --oracle_hash: poseidon2 (mem: 250.01 MiB)
20:05:27 --disable_zk: true (mem: 250.01 MiB)
20:05:27 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.01 MiB)
20:05:27 [20:05:27.361]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.01 MiB)
20:05:27 [20:05:27.362]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 250.01 MiB)
20:05:27 [20:05:27.365]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.01 MiB)
20:05:27 libra_evals_verified: 1 (mem: 250.01 MiB)
20:05:27 pairing_check_verified: 1 (mem: 250.01 MiB)
20:05:27 Proof verified successfully (mem: 250.01 MiB)
20:05:27 verified: 1 (mem: 250.01 MiB)
20:05:27 [20:05:27.367]
INFO:
bb-prover Successfully verified proof from key in 52.69052600000032 ms
20:05:27 [20:05:27.579]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":90.02912000000106,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
20:05:27 [20:05:27.581]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
20:05:27 [20:05:27.581]
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/e81a949a/bb/tmp-FCvabM -b /tmp/e81a949a/bb/tmp-FCvabM/RootParityArtifact-bytecode -w /tmp/e81a949a/bb/tmp-FCvabM/partial-witness.gz -v --init_kzg_accumulator -v
20:05:27 [20:05:27.613]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.18 MiB)
20:05:27 Scheme is: ultra_honk, num threads: 128 (mem: 252.18 MiB)
20:05:27 --scheme: ultra_honk (mem: 252.18 MiB)
20:05:27 --bytecode_path: /tmp/e81a949a/bb/tmp-FCvabM/RootParityArtifact-bytecode (mem: 252.18 MiB)
20:05:27 --witness_path: /tmp/e81a949a/bb/tmp-FCvabM/partial-witness.gz (mem: 252.18 MiB)
20:05:27 --output_path: /tmp/e81a949a/bb/tmp-FCvabM (mem: 252.18 MiB)
20:05:27 Warning: the following option is called more than once (mem: 252.18 MiB)
20:05:27 --verbose: true (mem: 252.18 MiB)
20:05:27 --oracle_hash: poseidon2 (mem: 252.18 MiB)
20:05:27 --output_format: bytes_and_fields (mem: 252.18 MiB)
20:05:27 --write_vk: true (mem: 252.18 MiB)
20:05:27 --disable_zk: true (mem: 252.18 MiB)
20:05:27 --init_kzg_accumulator: true (mem: 252.18 MiB)
20:05:27 [20:05:27.819]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.18 MiB)
20:05:30 [20:05:30.124]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 420.47 MiB)
20:05:32 [20:05:32.777]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 788.69 MiB)
20:05:35 [20:05:35.085]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1061.75 MiB)
20:05:37 [20:05:37.608]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1433.26 MiB)
20:05:37 [20:05:37.609]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1433.26 MiB)
20:05:38 [20:05:38.991]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1847.01 MiB)
20:05:39 [20:05:39.391]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5486.09 MiB)
20:05:41 [20:05:41.362]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3752 ms. (mem: 6060.09 MiB)
20:05:41 [20:05:41.509]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6060.09 MiB)
20:05:41 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6060.09 MiB)
20:05:42 [20:05:42.551]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6060.09 MiB)
20:05:47 [20:05:47.220]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6060.09 MiB)
20:05:53 [20:05:53.878]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6060.09 MiB)
20:05:56 [20:05:56.494]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6730.88 MiB)
20:05:59 [20:05:59.722]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6730.88 MiB)
20:06:07 [20:06:07.150]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6730.88 MiB)
20:06:09 [20:06:09.070]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6730.88 MiB)
20:06:09 [20:06:09.084]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6730.88 MiB)
20:06:09 [20:06:09.613]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/e81a949a/bb/tmp-FCvabM/public_inputs" (mem: 6730.88 MiB)
20:06:09 Public inputs fields saved to "/tmp/e81a949a/bb/tmp-FCvabM/public_inputs_fields.json" (mem: 6730.88 MiB)
20:06:09 Proof saved to "/tmp/e81a949a/bb/tmp-FCvabM/proof" (mem: 6730.88 MiB)
20:06:09 Proof fields saved to "/tmp/e81a949a/bb/tmp-FCvabM/proof_fields.json" (mem: 6730.88 MiB)
20:06:09 VK saved to "/tmp/e81a949a/bb/tmp-FCvabM/vk" (mem: 6730.88 MiB)
20:06:09 VK fields saved to "/tmp/e81a949a/bb/tmp-FCvabM/vk_fields.json" (mem: 6730.88 MiB)
20:06:09 [20:06:09.779]
INFO:
bb-prover Generated proof for RootParityArtifact in 42196 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":42195.646804,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
20:06:09 [20:06:09.782]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
20:06:09 [20:06:09.782]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e81a949a/bb/tmp-duCfP8/proof -k /tmp/e81a949a/bb/tmp-duCfP8/vk -i /tmp/e81a949a/bb/tmp-duCfP8/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
20:06:09 [20:06:09.807]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.18 MiB)
20:06:09 [20:06:09.808]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.18 MiB)
20:06:09 --public_inputs_path: /tmp/e81a949a/bb/tmp-duCfP8/public_inputs (mem: 252.18 MiB)
20:06:09 --proof_path: /tmp/e81a949a/bb/tmp-duCfP8/proof (mem: 252.18 MiB)
20:06:09 --vk_path: /tmp/e81a949a/bb/tmp-duCfP8/vk (mem: 252.18 MiB)
20:06:09 --verbose: true (mem: 252.18 MiB)
20:06:09 --scheme: ultra_honk (mem: 252.18 MiB)
20:06:09 --oracle_hash: poseidon2 (mem: 252.18 MiB)
20:06:09 --disable_zk: true (mem: 252.18 MiB)
20:06:09 [20:06:09.808]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 252.18 MiB)
20:06:09 [20:06:09.823]
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: 252.18 MiB)
20:06:09 [20:06:09.824]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 252.18 MiB)
20:06:09 [20:06:09.825]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.18 MiB)
20:06:09 libra_evals_verified: 1 (mem: 252.18 MiB)
20:06:09 pairing_check_verified: 1 (mem: 252.18
20:06:09 [20:06:09.825]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
20:06:09 Proof verified successfully (mem: 252.18 MiB)
20:06:09 verified: 1 (mem: 252.18 MiB)
20:06:09 [20:06:09.826]
INFO:
bb-prover Successfully verified proof from key in 44.41753200000676 ms
20:06:09 [20:06:09.831]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
20:06:09 [20:06:09.831]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e81a949a/bb/tmp-J7sJ9r/proof -k /tmp/e81a949a/bb/tmp-J7sJ9r/vk -i /tmp/e81a949a/bb/tmp-J7sJ9r/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
20:06:09 [20:06:09.856]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.18 MiB)
20:06:09 [20:06:09.857]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.18 MiB)
20:06:09 --public_inputs_path: /tmp/e81a949a/bb/tmp-J7sJ9r/public_inputs (mem: 252.18 MiB)
20:06:09 --proof_path: /tmp/e81a949a/bb/tmp-J7sJ9r/proof (mem: 252.18 MiB)
20:06:09 --vk_path: /tmp/e81a949a/bb/tmp-J7sJ9r/vk (mem: 252.18 MiB)
20:06:09 --verbose: true (mem: 252.18 MiB)
20:06:09 --scheme: ultra_honk (mem: 252.18 MiB)
20:06:09 --oracle_hash: poseidon2 (mem: 252.18 MiB)
20:06:09 --disable_zk: true (mem: 252.18 MiB)
20:06:09 [20:06:09.859]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 252.18 MiB)
20:06:09 [20:06:09.870]
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: 252.18 MiB)
20:06:09 [20:06:09.871]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 252.18 MiB)
20:06:09 sumcheck_verified: 1 (mem: 252.18 MiB)
20:06:09 libra_evals_verified: 1 (mem: 252.18 MiB)
20:06:09 pairing_check_verified: 1 (mem: 252.18 MiB)
20:06:09 Proof verified successfully (mem: 252.18 MiB)
20:06:09 verified: 1 (mem: 252.18 MiB)
20:06:09 [20:06:09.873]
INFO:
bb-prover Successfully verified proof from key in 42.03453100000479 ms
20:06:09 [20:06:09.956]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
20:06:09
20:06:09 [20:06:09.957]
ERROR:
bb-prover Error running operation at /tmp/e81a949a/bb/tmp-CRp2lC: Error: Failed to generate witness: Failed assertion
20:06:09
20:06:10 [20:06:10.159]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":82.07400199999392,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
20:06:10 [20:06:10.160]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
20:06:10 [20:06:10.160]
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/e81a949a/bb/tmp-6wB2K2 -b /tmp/e81a949a/bb/tmp-6wB2K2/RootParityArtifact-bytecode -w /tmp/e81a949a/bb/tmp-6wB2K2/partial-witness.gz -v --init_kzg_accumulator -v
20:06:10 [20:06:10.180]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.18 MiB)
20:06:10 Scheme is: ultra_honk, num threads: 128 (mem: 252.18 MiB)
20:06:10 --scheme: ultra_honk (mem: 252.18 MiB)
20:06:10 --bytecode_path: /tmp/e81a949a/bb/tmp-6wB2K2/RootParityArtifact-bytecode (mem: 252.18 MiB)
20:06:10 --witness_path: /tmp/e81a949a/bb/tmp-6wB2K2/partial-witness.gz (mem: 252.18 MiB)
20:06:10 --output_path: /tmp/e81a949a/bb/tmp-6wB2K2 (mem: 252.18 MiB)
20:06:10 Warning: the following option is called more than once (mem: 252.18 MiB)
20:06:10 --verbose: true (mem: 252.18 MiB)
20:06:10 --oracle_hash: poseidon2 (mem: 252.18 MiB)
20:06:10 --output_format: bytes_and_fields (mem: 252.18 MiB)
20:06:10 --write_vk: true (mem: 252.18 MiB)
20:06:10 --disable_zk: true (mem: 252.18 MiB)
20:06:10 --init_kzg_accumulator: true (mem: 252.18 MiB)
20:06:10 [20:06:10.348]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.18 MiB)
20:06:10 [20:06:10.363]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 252.18 MiB)
20:06:12 [20:06:12.713]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 417.90 MiB)
20:06:15 [20:06:15.387]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 785.91 MiB)
20:06:17 [20:06:17.907]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1055.57 MiB)
20:06:20 [20:06:20.743]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1423.23 MiB)
20:06:20 [20:06:20.744]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1423.23 MiB)
20:06:22 [20:06:22.128]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1838.17 MiB)
20:06:22 [20:06:22.494]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5482.66 MiB)
20:06:24 [20:06:24.452]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3704 ms. (mem: 6059.66 MiB)
20:06:24 [20:06:24.611]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6059.66 MiB)
20:06:24 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6059.66 MiB)
20:06:25 [20:06:25.557]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6059.66 MiB)
20:06:29 [20:06:29.656]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6059.66 MiB)
20:06:34 [20:06:34.680]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6059.66 MiB)
20:06:36 [20:06:36.969]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6794.64 MiB)
20:06:39 [20:06:39.168]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6794.64 MiB)
20:06:47 [20:06:47.288]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6794.64 MiB)
20:06:49 [20:06:49.898]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6794.64 MiB)
20:06:49 [20:06:49.916]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6794.64 MiB)
20:06:50 [20:06:50.538]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/e81a949a/bb/tmp-6wB2K2/public_inputs" (mem: 6794.64 MiB)
20:06:50 [20:06:50.539]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/e81a949a/bb/tmp-6wB2K2/public_inputs_fields.json" (mem: 6794.64 MiB)
20:06:50 Proof saved to "/tmp/e81a949a/bb/tmp-6wB2K2/proof" (mem: 6794.64 MiB)
20:06:50 [20:06:50.539]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/e81a949a/bb/tmp-6wB2K2/proof_fields.json" (mem: 6794.64 MiB)
20:06:50 VK saved to "/tmp/e81a949a/bb/tmp-6wB2K2/vk" (mem: 6794.64 MiB)
20:06:50 [20:06:50.540]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/e81a949a/bb/tmp-6wB2K2/vk_fields.json" (mem: 6794.64 MiB)
20:06:50 [20:06:50.713]
INFO:
bb-prover Generated proof for RootParityArtifact in 40551 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40550.574758999996,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
20:06:50 [20:06:50.716]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
20:06:50 [20:06:50.716]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e81a949a/bb/tmp-gy8W90/proof -k /tmp/e81a949a/bb/tmp-gy8W90/vk -i /tmp/e81a949a/bb/tmp-gy8W90/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
20:06:50 [20:06:50.736]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.18 MiB)
20:06:50 Scheme is: ultra_honk, num threads: 128 (mem: 252.18 MiB)
20:06:50 --public_inputs_path: /tmp/e81a949a/bb/tmp-gy8W90/public_inputs (mem: 252.18 MiB)
20:06:50 --proof_path: /tmp/e81a949a/bb/tmp-gy8W90/proof (mem: 252.18 MiB)
20:06:50 --vk_path: /tmp/e81a949a/bb/tmp-gy8W90/vk (mem: 252.18 MiB)
20:06:50 --verbose: true (mem: 252.18 MiB)
20:06:50 --scheme: ultra_honk (mem: 252.18 MiB)
20:06:50 --oracle_hash: poseidon2 (mem: 252.18 MiB)
20:06:50 --disable_zk: true (mem: 252.18 MiB)
20:06:50 [20:06:50.737]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 252.18 MiB)
20:06:50 [20:06:50.746]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 252.18 MiB)
20:06:50 Proof verification failed (mem: 252.18 MiB)
20:06:50 verified: 0 (mem: 252.18
20:06:50 [20:06:50.747]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
20:06:50 [20:06:50.748]
ERROR:
bb-prover Error running operation at /tmp/e81a949a/bb/tmp-gy8W90: ProvingError: Failed to verify proof from key!
20:06:50 [20:06:50.897]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":64.12052399999811,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
20:06:50 [20:06:50.899]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
20:06:50 [20:06:50.900]
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/e81a949a/bb/tmp-SdaheC -b /tmp/e81a949a/bb/tmp-SdaheC/RootParityArtifact-bytecode -w /tmp/e81a949a/bb/tmp-SdaheC/partial-witness.gz -v --init_kzg_accumulator -v
20:06:50 [20:06:50.921]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.18 MiB)
20:06:50 [20:06:50.922]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.18 MiB)
20:06:50 --scheme: ultra_honk (mem: 252.18 MiB)
20:06:50 --bytecode_path: /tmp/e81a949a/bb/tmp-SdaheC/RootParityArtifact-bytecode (mem: 252.18 MiB)
20:06:50 --witness_path: /tmp/e81a949a/bb/tmp-SdaheC/partial-witness.gz (mem: 252.18 MiB)
20:06:50 --output_path: /tmp/e81a949a/bb/tmp-SdaheC (mem: 252.18 MiB)
20:06:50 Warning: the following option is called more than once (mem: 252.18 MiB)
20:06:50 --verbose: true (mem: 252.18 MiB)
20:06:50 --oracle_hash: poseidon2 (mem: 252.18 MiB)
20:06:50 --output_format: bytes_and_fields (mem: 252.18 MiB)
20:06:50 --write_vk: true (mem: 252.18 MiB)
20:06:50 --disable_zk: true (mem: 252.18 MiB)
20:06:50 --init_kzg_accumulator: true (mem: 252.18 MiB)
20:06:51 [20:06:51.061]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.18 MiB)
20:06:51 [20:06:51.073]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 252.18 MiB)
20:06:53 [20:06:53.416]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 420.47 MiB)
20:06:56 [20:06:56.049]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7
20:06:56 [20:06:56.050]
INFO:
bb-prover RootParityArtifact BB out - (mem:
20:06:56 [20:06:56.050]
INFO:
bb-prover RootParityArtifact BB out - 783.75
20:06:56 [20:06:56.051]
INFO:
bb-prover RootParityArtifact BB out - MiB)
20:06:56 [20:06:56.051]
INFO:
bb-prover RootParityArtifact BB out -
20:06:58 [20:06:58.261]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1054.94 MiB)
20:07:00 [20:07:00.599]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1426.29 MiB)
20:07:00 [20:07:00.600]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1426.29 MiB)
20:07:01 [20:07:01.782]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1839.04 MiB)
20:07:02 [20:07:02.215]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5483.82 MiB)
20:07:03 [20:07:03.880]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3280 ms. (mem: 6061.82 MiB)
20:07:04 [20:07:04.020]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6061.82 MiB)
20:07:04 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6061.82 MiB)
20:07:04 [20:07:04.910]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6061.82 MiB)
20:07:08 [20:07:08.644]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6061.82 MiB)
20:07:13 [20:07:13.519]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6061.82 MiB)
20:07:15 [20:07:15.756]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6781.64 MiB)
20:07:17 [20:07:17.911]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6781.64 MiB)
20:07:24 [20:07:24.007]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6781.64 MiB)
20:07:25 [20:07:25.810]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6781.64 MiB)
20:07:25 [20:07:25.821]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6781.64 MiB)
20:07:26 [20:07:26.402]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/e81a949a/bb/tmp-SdaheC/public_inputs" (mem: 6781.64 MiB)
20:07:26 [20:07:26.403]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/e81a949a/bb/tmp-SdaheC/public_inputs_fields.json" (mem: 6781.64 MiB)
20:07:26 Proof saved to "/tmp/e81a949a/bb/tmp-SdaheC/proof" (mem: 6781.64 MiB)
20:07:26 [20:07:26.403]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/e81a949a/bb/tmp-SdaheC/proof_fields.json" (mem: 6781.64 MiB)
20:07:26 VK saved to "/tmp/e81a949a/bb/tmp-SdaheC/vk" (mem: 6781.64 MiB)
20:07:26 VK fields saved to "/tmp/e81a949a/bb/tmp-SdaheC/vk_fields.json" (mem: 6781.64 MiB)
20:07:26 [20:07:26.608]
INFO:
bb-prover Generated proof for RootParityArtifact in 35706 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":35705.426712000015,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
20:07:26 [20:07:26.610]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
20:07:26 [20:07:26.610]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e81a949a/bb/tmp-8MRj8S/proof -k /tmp/e81a949a/bb/tmp-8MRj8S/vk -i /tmp/e81a949a/bb/tmp-8MRj8S/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
20:07:26 [20:07:26.631]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.18 MiB)
20:07:26 [20:07:26.632]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.18 MiB)
20:07:26 --public_inputs_path: /tmp/e81a949a/bb/tmp-8MRj8S/public_inputs (mem: 252.18 MiB)
20:07:26 --proof_path: /tmp/e81a949a/bb/tmp-8MRj8S/proof (mem: 252.18 MiB)
20:07:26 --vk_path: /tmp/e81a949a/bb/tmp-8MRj8S/vk (mem: 252.18 MiB)
20:07:26 --verbose: true (mem: 252.18 MiB)
20:07:26 --scheme: ultra_honk (mem: 252.18 MiB)
20:07:26 --oracle_hash: poseidon2 (mem: 252.18 MiB)
20:07:26 --disable_zk: true (mem: 252.18 MiB)
20:07:26 [20:07:26.632]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 252.18 MiB)
20:07:26 [20:07:26.641]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 252.18 MiB)
20:07:26 Proof verification failed (mem: 252.18 MiB)
20:07:26 [20:07:26.642]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 252.18 MiB)
20:07:26 [20:07:26.643]
ERROR:
bb-prover Error running operation at /tmp/e81a949a/bb/tmp-8MRj8S: ProvingError: Failed to verify proof from key!
20:07:26 [20:07:26.647]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
20:07:26
PASS src/test/bb_prover_parity.test.ts (
133.658 s)
20:07:26 prover/bb_prover/parity
20:07:26
✓ proves the parity circuits (124970 ms)
20:07:26
20:07:26
Test Suites: 1 passed, 1 total
20:07:26
Tests: 1 passed, 1 total
20:07:26
Snapshots: 0 total
20:07:26
Time: 133.758 s
20:07:26
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
20:07:26
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?