Parent Log:
http://ci.aztec-labs.com/af05ce9d2806d82a
Command: 2a84f19e72ab8189: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/69efc9daf98e823f486416900de52fe8a44f25d9
Env: REF_NAME=gh-readonly-queue/next/pr-15187-6e2f55a89973b55c8c3c210b7f3a692b4d3d6473 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 23 16:03:48 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15187_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
16:03:48 +++ id -u
16:03:48 +++ id -g
16:03:48 ++ 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'\'''
16:03:48 + cid=7e6f74df3232bcf1602b997bce5fd48329e4410c186c2e467cbd5469e8f2ee47
16:03:48 + set +x
16:03:50 {"level":25,"time":1750694630329,"pid":7,"hostname":"7e6f74df3232","module":"logger","msg":"Logger initialized with level verbose"}
16:03:57 [16:03:57.693]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-ohdSC1/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
16:03:57 [16:03:57.793]
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/ed9a8877/bb
16:03:57 [16:03:57.795]
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/ed9a8877/acvm
16:03:57 [16:03:57.796]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/ed9a8877/bb
16:03:57 [16:03:57.797]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/ed9a8877/acvm
16:03:57 [16:03:57.800]
INFO:
prover-client:proving-broker Proving Broker started
16:03:57 [16:03:57.802]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
16:03:58 [16:03:58.001]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":73.89988900000026,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
16:03:58 [16:03:58.025]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":53.85896800000046,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
16:03:58 [16:03:58.040]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":45.11138000000028,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
16:03:58 [16:03:58.042]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
16:03:58 [16:03:58.042]
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/ed9a8877/bb/tmp-waSR41 -b /tmp/ed9a8877/bb/tmp-waSR41/BaseParityArtifact-bytecode -w /tmp/ed9a8877/bb/tmp-waSR41/partial-witness.gz -v --init_kzg_accumulator -v
16:03:58 [16:03:58.063]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
16:03:58 [16:03:58.064]
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/ed9a8877/bb/tmp-yJ8bEf -b /tmp/ed9a8877/bb/tmp-yJ8bEf/BaseParityArtifact-bytecode -w /tmp/ed9a8877/bb/tmp-yJ8bEf/partial-witness.gz -v --init_kzg_accumulator -v
16:03:58 [16:03:58.100]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
16:03:58 [16:03:58.102]
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/ed9a8877/bb/tmp-iNV0ZK -b /tmp/ed9a8877/bb/tmp-iNV0ZK/BaseParityArtifact-bytecode -w /tmp/ed9a8877/bb/tmp-iNV0ZK/partial-witness.gz -v --init_kzg_accumulator -v
16:03:58 [16:03:58.127]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 240.55 MiB)
16:03:58 Scheme is: ultra_honk, num threads: 128 (mem: 240.55 MiB)
16:03:58 --scheme: ultra_honk (mem: 240.55 MiB)
16:03:58 --bytecode_path: /tmp/ed9a8877/bb/tmp-waSR41/BaseParityArtifact-bytecode (mem: 240.55 MiB)
16:03:58 --witness_path: /tmp/ed9a8877/bb/tmp-waSR41/partial-witness.gz (mem: 240.55 MiB)
16:03:58 --output_path: /tmp/ed9a8877/bb/tmp-waSR41 (mem: 240.55 MiB)
16:03:58 Warning: the following option is called more than once (mem: 240.55 MiB)
16:03:58 --verbose: true (mem: 240.55 MiB)
16:03:58 --oracle_hash: poseidon2 (mem: 240.55 MiB)
16:03:58 --output_format: bytes_and_fields (mem: 240.55 MiB)
16:03:58 --write_vk: true (mem: 240.55 MiB)
16:03:58 --disable_zk: true (mem: 240.55 MiB)
16:03:58 --init_kzg_accumulator: true (mem: 240.55 MiB)
16:03:58 [16:03:58.129]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 240.55 MiB)
16:03:58 Scheme is: ultra_honk, num threads: 128 (mem: 240.55 MiB)
16:03:58 --scheme: ultra_honk (mem: 240.55 MiB)
16:03:58 --bytecode_path: /tmp/ed9a8877/bb/tmp-yJ8bEf/BaseParityArtifact-bytecode (mem: 240.55 MiB)
16:03:58 --witness_path: /tmp/ed9a8877/bb/tmp-yJ8bEf/partial-witness.gz (mem: 240.55 MiB)
16:03:58 --output_path: /tmp/ed9a8877/bb/tmp-yJ8bEf (mem: 240.55 MiB)
16:03:58 Warning: the following option is called more than once (mem: 240.55 MiB)
16:03:58 --verbose: true (mem: 240.55 MiB)
16:03:58 --oracle_hash: poseidon2 (mem: 240.55 MiB)
16:03:58 --output_format: bytes_and_fields (mem: 240.55 MiB)
16:03:58 --write_vk: true (mem: 240.55 MiB)
16:03:58 --disable_zk: true (mem: 240.55 MiB)
16:03:58 --init_kzg_accumulator: true (mem: 240.55 MiB)
16:03:58 [16:03:58.138]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":77.51950200000101,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
16:03:58 [16:03:58.144]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 240.55 MiB)
16:03:58 Scheme is: ultra_honk, num threads: 128 (mem: 240.55 MiB)
16:03:58 --scheme: ultra_honk (mem: 240.55 MiB)
16:03:58 --bytecode_path: /tmp/ed9a8877/bb/tmp-iNV0ZK/BaseParityArtifact-bytecode (mem: 240.55 MiB)
16:03:58 --witness_path: /tmp/ed9a8877/bb/tmp-iNV0ZK/partial-witness.gz (mem: 240.55 MiB)
16:03:58 --output_path: /tmp/ed9a8877/bb/tmp-iNV0ZK (mem: 240.55 MiB)
16:03:58 Warning: the following option is called more than once (mem: 240.55 MiB)
16:03:58 --verbose: true (mem: 240.55 MiB)
16:03:58 --oracle_hash: poseidon2 (mem: 240.55 MiB)
16:03:58 --output_format: bytes_and_fields (mem: 240.55 MiB)
16:03:58 --write_vk: true (mem: 240.55 MiB)
16:03:58 --disable_zk: true (mem: 240.55 MiB)
16:03:58 --init_kzg_accumulator: true (mem: 240.55 MiB)
16:03:58 [16:03:58.150]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
16:03:58 [16:03:58.150]
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/ed9a8877/bb/tmp-kAB8qL -b /tmp/ed9a8877/bb/tmp-kAB8qL/BaseParityArtifact-bytecode -w /tmp/ed9a8877/bb/tmp-kAB8qL/partial-witness.gz -v --init_kzg_accumulator -v
16:03:58 [16:03:58.191]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 240.59 MiB)
16:03:58 Scheme is: ultra_honk, num threads: 128 (mem: 240.59 MiB)
16:03:58 --scheme: ultra_honk (mem: 240.59 MiB)
16:03:58 --bytecode_path: /tmp/ed9a8877/bb/tmp-kAB8qL/BaseParityArtifact-bytecode (mem: 240.59 MiB)
16:03:58 --witness_path: /tmp/ed9a8877/bb/tmp-kAB8qL/partial-witness.gz (mem: 240.59 MiB)
16:03:58 --output_path: /tmp/ed9a8877/bb/tmp-kAB8qL (mem: 240.59 MiB)
16:03:58 Warning: the following option is called more than once (mem: 240.59 MiB)
16:03:58 --verbose: true (mem: 240.59 MiB)
16:03:58 --oracle_hash: poseidon2 (mem: 240.59 MiB)
16:03:58 --output_format: bytes_and_fields (mem: 240.59 MiB)
16:03:58 --write_vk: true (mem: 240.59 MiB)
16:03:58 --disable_zk: true (mem: 240.59 MiB)
16:03:58 --init_kzg_accumulator: true (mem: 240.59 MiB)
16:03:58 [16:03:58.221]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 240.55 MiB)
16:03:58 Constructing DeciderProvingKey (mem: 240.55 MiB)
16:03:58 [16:03:58.225]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
16:03:58 [16:03:58.228]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 240.55 MiB)
16:03:58 [16:03:58.251]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 240.55 MiB)
16:03:58 Constructing DeciderProvingKey (mem: 240.55 MiB)
16:03:58 [16:03:58.258]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 240.55 MiB)
16:03:58 [16:03:58.280]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 240.55 MiB)
16:03:58 [16:03:58.281]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 240.55 MiB)
16:03:58 [16:03:58.285]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 240.55 MiB)
16:03:58 [16:03:58.348]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 240.59 MiB)
16:03:58 Constructing DeciderProvingKey (mem: 240.59 MiB)
16:03:58 [16:03:58.351]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 240.59 MiB)
16:03:58 [16:03:58.472]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 240.55 MiB)
16:03:58 [16:03:58.524]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 240.55 MiB)
16:03:58 [16:03:58.534]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 240.59 MiB)
16:03:58 [16:03:58.536]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 240.55 MiB)
16:03:58 [16:03:58.585]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 364 ms. (mem: 240.55 MiB)
16:03:58 [16:03:58.591]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 240.55 MiB)
16:03:58 [16:03:58.593]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 240.55 MiB)
16:03:58 [16:03:58.602]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 322 ms. (mem: 240.55 MiB)
16:03:58 [16:03:58.604]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 240.55 MiB)
16:03:58 [16:03:58.609]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 240.55 MiB)
16:03:58 [16:03:58.623]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 240.55 MiB)
16:03:58 Initialized BN254 CRS from memory with num points = 65537 (mem: 240.55 MiB)
16:03:58 [16:03:58.640]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 379 ms. (mem: 240.55 MiB)
16:03:58 WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 240.55 MiB)
16:03:58 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 240.55 MiB)
16:03:58 [16:03:58.664]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 240.55 MiB)
16:03:58 [16:03:58.708]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 359 ms. (mem: 240.59 MiB)
16:03:58 [16:03:58.718]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance.
16:03:58 [16:03:58.728]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 240.59 MiB)
16:03:58 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 240.59 MiB)
16:03:58 [16:03:58.740]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 240.59 MiB)
16:03:59 [16:03:59.734]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 240.59 MiB)
16:03:59 [16:03:59.855]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 240.55 MiB)
16:03:59 [16:03:59.944]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 240.55 MiB)
16:04:00 [16:03:59.999]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 240.55 MiB)
16:04:00 [16:04:00.427]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 240.59 MiB)
16:04:00 [16:04:00.476]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 240.55 MiB)
16:04:00 [16:04:00.592]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 240.55 MiB)
16:04:00 [16:04:00.688]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 240.55 MiB)
16:04:00 [16:04:00.751]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 240.59 MiB)
16:04:00 [16:04:00.762]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem:
16:04:00 [16:04:00.765]
INFO:
bb-prover BaseParityArtifact BB out - 240.55 MiB)
16:04:00 [16:04:00.828]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 240.55 MiB)
16:04:00 [16:04:00.891]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 240.55 MiB)
16:04:01 [16:04:01.035]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 240.59 MiB)
16:04:01 [16:04:01.035]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 240.55 MiB)
16:04:01 [16:04:01.074]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 240.55 MiB)
16:04:01 [16:04:01.091]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 240.55 MiB)
16:04:02 [16:04:02.563]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 240.55 MiB)
16:04:02 [16:04:02.626]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 240.55 MiB)
16:04:02 [16:04:02.672]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 240.55 MiB)
16:04:02 finished decider proving. (mem: 240.55 MiB)
16:04:02 [16:04:02.673]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/ed9a8877/bb/tmp-yJ8bEf/public_inputs" (mem: 240.55 MiB)
16:04:02 Public inputs fields saved to "/tmp/ed9a8877/bb/tmp-yJ8bEf/public_inputs_fields.json" (mem: 240.55 MiB)
16:04:02 Proof saved to "/tmp/ed9a8877/bb/tmp-yJ8bEf/proof" (mem: 240.55 MiB)
16:04:02 [16:04:02.674]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/ed9a8877/bb/tmp-yJ8bEf/proof_fields.json" (mem: 240.55 MiB)
16:04:02 [16:04:02.675]
INFO:
bb-prover BaseParityArtifact BB out - VK saved to "/tmp/ed9a8877/bb/tmp-yJ8bEf/vk" (mem: 240.55 MiB)
16:04:02 VK fields saved to "/tmp/ed9a8877/bb/tmp-yJ8bEf/vk_fields.json" (mem: 240.55 MiB)
16:04:02 [16:04:02.725]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 240.59 MiB)
16:04:02 [16:04:02.733]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 240.55 MiB)
16:04:02 [16:04:02.748]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 240.55 MiB)
16:04:02 finished decider proving. (mem: 240.55 MiB)
16:04:02 [16:04:02.813]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/ed9a8877/bb/tmp-waSR41/public_inputs" (mem: 240.55 MiB)
16:04:02 Public inputs fields saved to "/tmp/ed9a8877/bb/tmp-waSR41/public_inputs_fields.json" (mem: 240.55 MiB)
16:04:02 Proof saved to "/tmp/ed9a8877/bb/tmp-waSR41/proof" (mem: 240.55 MiB)
16:04:02 Proof fields saved to "/tmp/ed9a8877/bb/tmp-waSR41/proof_fields.json" (mem: 240.55 MiB)
16:04:02 VK saved to "/tmp/ed9a8877/bb/tmp-waSR41/vk" (mem: 240.55 MiB)
16:04:02 VK fields saved to "/tmp/ed9a8877/bb/tmp-waSR41/vk_fields.json" (mem: 240.55 MiB)
16:04:02 [16:04:02.820]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4709 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4708.665413000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:04:02 [16:04:02.837]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:04:02 [16:04:02.840]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ed9a8877/bb/tmp-eCBHfc/proof -k /tmp/ed9a8877/bb/tmp-eCBHfc/vk -i /tmp/ed9a8877/bb/tmp-eCBHfc/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:04:02 [16:04:02.878]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 240.59 MiB)
16:04:02 finished decider proving. (mem: 240.59 MiB)
16:04:02 Public inputs saved to "/tmp/ed9a8877/bb/tmp-kAB8qL/public_inputs" (mem: 240.59 MiB)
16:04:02 Public inputs fields saved to "/tmp/ed9a8877/bb/tmp-kAB8qL/public_inputs_fields.json" (mem: 240.59 MiB)
16:04:02 Proof saved to "/tmp/ed9a8877/bb/tmp-kAB8qL/proof" (mem: 240.59 MiB)
16:04:02 Proof fields saved to "/tmp/ed9a8877/bb/tmp-kAB8qL/proof_fields.json" (mem: 240.59 MiB)
16:04:02 VK saved to "/tmp/ed9a8877/bb/tmp-kAB8qL/vk" (mem: 240.59 MiB)
16:04:02 VK fields saved to "/tmp/ed9a8877/bb/tmp-kAB8qL/vk_fields.json" (mem: 240.59 MiB)
16:04:02 [16:04:02.879]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 240.55 MiB)
16:04:02 finished decider proving. (mem: 240.55 MiB)
16:04:02 Public inputs saved to "/tmp/ed9a8877/bb/tmp-iNV0ZK/public_inputs" (mem: 240.55 MiB)
16:04:02 Public inputs fields saved to "/tmp/ed9a8877/bb/tmp-iNV0ZK/public_inputs_fields.json" (mem: 240.55 MiB)
16:04:02 Proof saved to "/tmp/ed9a8877/bb/tmp-iNV0ZK/proof" (mem: 240.55 MiB)
16:04:02 Proof fields saved to "/tmp/ed9a8877/bb/tmp-iNV0ZK/proof_fields.json" (mem: 240.55 MiB)
16:04:02 VK saved to "/tmp/ed9a8877/bb/tmp-iNV0ZK/vk" (mem: 240.55 MiB)
16:04:02 VK fields saved to "/tmp/ed9a8877/bb/tmp-iNV0ZK/vk_fields.json" (mem: 240.55 MiB)
16:04:02 [16:04:02.880]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 240.59 MiB)
16:04:02 Scheme is: ultra_honk, num threads: 128 (mem: 240.59 MiB)
16:04:02 --public_inputs_path: /tmp/ed9a8877/bb/tmp-eCBHfc/public_inputs (mem: 240.59 MiB)
16:04:02 --proof_path: /tmp/ed9a8877/bb/tmp-eCBHfc/proof (mem: 240.59 MiB)
16:04:02 --vk_path: /tmp/ed9a8877/bb/tmp-eCBHfc/vk (mem: 240.59 MiB)
16:04:02 --verbose: true (mem: 240.59 MiB)
16:04:02 --scheme: ultra_honk (mem: 240.59 MiB)
16:04:02 --oracle_hash: poseidon2 (mem: 240.59 MiB)
16:04:02 --disable_zk: true (mem: 240.59 MiB)
16:04:02 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 240.59 MiB)
16:04:02 [16:04:02.886]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4840 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4839.907165999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:04:02 [16:04:02.892]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:04:02 [16:04:02.892]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ed9a8877/bb/tmp-5g6gS6/proof -k /tmp/ed9a8877/bb/tmp-5g6gS6/vk -i /tmp/ed9a8877/bb/tmp-5g6gS6/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:04:02 [16:04:02.919]
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: 240.59 MiB)
16:04:02 Initialized BN254 CRS from memory with num points = 1 (mem: 240.59 MiB)
16:04:02 sumcheck_verified: 1 (mem: 240.59 MiB)
16:04:02 libra_evals_verified: 1 (mem: 240.59 MiB)
16:04:02 pairing_check_verified: 1 (mem: 240.59 MiB)
16:04:02 Proof verified successfully (mem: 240.59 MiB)
16:04:02 verified: 1 (mem: 240.59 MiB)
16:04:02 [16:04:02.922]
INFO:
bb-prover Successfully verified proof from key in 84.49849499999982 ms
16:04:02 [16:04:02.927]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 240.61 MiB)
16:04:02 Scheme is: ultra_honk, num threads: 128 (mem: 240.61 MiB)
16:04:02 --public_inputs_path: /tmp/ed9a8877/bb/tmp-5g6gS6/public_inputs (mem: 240.61 MiB)
16:04:02 --proof_path: /tmp/ed9a8877/bb/tmp-5g6gS6/proof (mem: 240.61 MiB)
16:04:02 --vk_path: /tmp/ed9a8877/bb/tmp-5g6gS6/vk (mem: 240.61 MiB)
16:04:02 --verbose: true (mem: 240.61 MiB)
16:04:02 --scheme: ultra_honk (mem: 240.61 MiB)
16:04:02 --oracle_hash: poseidon2 (mem: 240.61 MiB)
16:04:02 --disable_zk: true (mem: 240.61 MiB)
16:04:02 [16:04:02.928]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 240.61 MiB)
16:04:02 [16:04:02.932]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4822 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4821.189535000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:04:02 [16:04:02.947]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4788 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4787.550878,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:04:02 [16:04:02.949]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:04:02 [16:04:02.950]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ed9a8877/bb/tmp-xIYJuZ/proof -k /tmp/ed9a8877/bb/tmp-xIYJuZ/vk -i /tmp/ed9a8877/bb/tmp-xIYJuZ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:04:02 [16:04:02.976]
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: 240.61 MiB)
16:04:02 Initialized BN254 CRS from memory with num points = 1 (mem: 240.61 MiB)
16:04:02 sumcheck_verified: 1 (mem: 240.61 MiB)
16:04:02 libra_evals_verified: 1 (mem: 240.61 MiB)
16:04:02 pairing_check_verified: 1 (mem: 240.61 MiB)
16:04:02 Proof verified successfully (mem: 240.61 MiB)
16:04:02 verified: 1 (mem: 240.61 MiB)
16:04:02 [16:04:02.978]
INFO:
bb-prover Successfully verified proof from key in 86.6264689999989 ms
16:04:02 [16:04:02.980]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 240.76 MiB)
16:04:02 Scheme is: ultra_honk, num threads: 128 (mem: 240.76 MiB)
16:04:02 --public_inputs_path: /tmp/ed9a8877/bb/tmp-xIYJuZ/public_inputs (mem: 240.76 MiB)
16:04:02 --proof_path: /tmp/ed9a8877/bb/tmp-xIYJuZ/proof (mem: 240.76 MiB)
16:04:02 --vk_path: /tmp/ed9a8877/bb/tmp-xIYJuZ/vk (mem: 240.76 MiB)
16:04:02 --verbose: true (mem: 240.76 MiB)
16:04:02 --scheme: ultra_honk (mem: 240.76 MiB)
16:04:02 --oracle_hash: poseidon2 (mem: 240.76 MiB)
16:04:02 --disable_zk: true (mem: 240.76 MiB)
16:04:02 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 240.76 MiB)
16:04:02 [16:04:02.985]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:04:02 [16:04:02.986]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ed9a8877/bb/tmp-Uklsvj/proof -k /tmp/ed9a8877/bb/tmp-Uklsvj/vk -i /tmp/ed9a8877/bb/tmp-Uklsvj/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:04:03 [16:04:03.022]
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: 240.76 MiB)
16:04:03 Initialized BN254 CRS from memory with num points = 1 (mem: 240.76 MiB)
16:04:03 sumcheck_verified: 1 (mem: 240.76 MiB)
16:04:03 libra_evals_verified: 1 (mem: 240.76 MiB)
16:04:03 pairing_check_verified: 1 (mem: 240.76 MiB)
16:04:03 Proof verified successfully (mem: 240.76 MiB)
16:04:03 verified: 1 (mem: 240.76 MiB)
16:04:03 [16:04:03.023]
INFO:
bb-prover Successfully verified proof from key in 74.00204499999927 ms
16:04:03 [16:04:03.024]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 240.79 MiB)
16:04:03 Scheme is: ultra_honk, num threads: 128 (mem: 240.79 MiB)
16:04:03 --public_inputs_path: /tmp/ed9a8877/bb/tmp-Uklsvj/public_inputs (mem: 240.79 MiB)
16:04:03 --proof_path: /tmp/ed9a8877/bb/tmp-Uklsvj/proof (mem: 240.79 MiB)
16:04:03 --vk_path: /tmp/ed9a8877/bb/tmp-Uklsvj/vk (mem: 240.79 MiB)
16:04:03 --verbose: true (mem: 240.79 MiB)
16:04:03 --scheme: ultra_honk (mem: 240.79 MiB)
16:04:03 --oracle_hash: poseidon2 (mem: 240.79 MiB)
16:04:03 --disable_zk: true (mem: 240.79 MiB)
16:04:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 240.79 MiB)
16:04:03 [16:04:03.039]
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: 240.79 MiB)
16:04:03 [16:04:03.039]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 240.79 MiB)
16:04:03 [16:04:03.041]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 240.79 MiB)
16:04:03 libra_evals_verified: 1 (mem: 240.79 MiB)
16:04:03 pairing_check_verified: 1 (mem: 240.79 MiB)
16:04:03 Proof verified successfully (mem: 240.79 MiB)
16:04:03 verified: 1 (mem: 240.79 MiB)
16:04:03 [16:04:03.043]
INFO:
bb-prover Successfully verified proof from key in 57.92823599999974 ms
16:04:03 [16:04:03.054]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:04:03 [16:04:03.055]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ed9a8877/bb/tmp-QfwSfG/proof -k /tmp/ed9a8877/bb/tmp-QfwSfG/vk -i /tmp/ed9a8877/bb/tmp-QfwSfG/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:04:03 [16:04:03.083]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:04:03 [16:04:03.084]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ed9a8877/bb/tmp-ryyoMa/proof -k /tmp/ed9a8877/bb/tmp-ryyoMa/vk -i /tmp/ed9a8877/bb/tmp-ryyoMa/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:04:03 [16:04:03.118]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:04:03 [16:04:03.119]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ed9a8877/bb/tmp-dKAR6F/proof -k /tmp/ed9a8877/bb/tmp-dKAR6F/vk -i /tmp/ed9a8877/bb/tmp-dKAR6F/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:04:03 [16:04:03.146]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:04:03 [16:04:03.146]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ed9a8877/bb/tmp-2KwKat/proof -k /tmp/ed9a8877/bb/tmp-2KwKat/vk -i /tmp/ed9a8877/bb/tmp-2KwKat/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:04:03 [16:04:03.174]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 240.86 MiB)
16:04:03 Scheme is: ultra_honk, num threads: 128 (mem: 240.86 MiB)
16:04:03 --public_inputs_path: /tmp/ed9a8877/bb/tmp-QfwSfG/public_inputs (mem: 240.86 MiB)
16:04:03 --proof_path: /tmp/ed9a8877/bb/tmp-QfwSfG/proof (mem: 240.86 MiB)
16:04:03 --vk_path: /tmp/ed9a8877/bb/tmp-QfwSfG/vk (mem: 240.86 MiB)
16:04:03 --verbose: true (mem: 240.86 MiB)
16:04:03 --scheme: ultra_honk (mem: 240.86 MiB)
16:04:03 --oracle_hash: poseidon2 (mem: 240.86 MiB)
16:04:03 --disable_zk: true (mem: 240.86 MiB)
16:04:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 240.86 MiB)
16:04:03 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 240.86 MiB)
16:04:03 Initialized BN254 CRS from memory with num points = 1 (mem: 240.86 MiB)
16:04:03 sumcheck_verified: 1 (mem: 240.86 MiB)
16:04:03 libra_evals_verified: 1 (mem: 240.86 MiB)
16:04:03 pairing_check_verified: 1 (mem: 240.86 MiB)
16:04:03 Proof verified successfully (mem: 240.86 MiB)
16:04:03 verified: 1 (mem: 240.86 MiB)
16:04:03 [16:04:03.175]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 240.86 MiB)
16:04:03 Scheme is: ultra_honk, num threads: 128 (mem: 240.86 MiB)
16:04:03 --public_inputs_path: /tmp/ed9a8877/bb/tmp-ryyoMa/public_inputs (mem: 240.86 MiB)
16:04:03 --proof_path: /tmp/ed9a8877/bb/tmp-ryyoMa/proof (mem: 240.86 MiB)
16:04:03 --vk_path: /tmp/ed9a8877/bb/tmp-ryyoMa/vk (mem: 240.86 MiB)
16:04:03 --verbose: true (mem: 240.86 MiB)
16:04:03 --scheme: ultra_honk (mem: 240.86 MiB)
16:04:03 --oracle_hash: poseidon2 (mem: 240.86 MiB)
16:04:03 --disable_zk: true (mem: 240.86 MiB)
16:04:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 240.86 MiB)
16:04:03 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 240.86 MiB)
16:04:03 Initialized BN254 CRS from memory with num points = 1 (mem: 240.86 MiB)
16:04:03 sumcheck_verified: 1 (mem: 240.86 MiB)
16:04:03 libra_evals_verified: 1 (mem: 240.86 MiB)
16:04:03 pairing_check_verified: 1 (mem: 240.86 MiB)
16:04:03 Proof verified successfully (mem: 240.86 MiB)
16:04:03 verified: 1 (mem: 240.86 MiB)
16:04:03 [16:04:03.178]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 240.86 MiB)
16:04:03 Scheme is: ultra_honk, num threads: 128 (mem: 240.86 MiB)
16:04:03 --public_inputs_path: /tmp/ed9a8877/bb/tmp-dKAR6F/public_inputs (mem: 240.86 MiB)
16:04:03 --proof_path: /tmp/ed9a8877/bb/tmp-dKAR6F/proof (mem: 240.86 MiB)
16:04:03 --vk_path: /tmp/ed9a8877/bb/tmp-dKAR6F/vk (mem: 240.86 MiB)
16:04:03 --verbose: true (mem: 240.86 MiB)
16:04:03 --scheme: ultra_honk (mem: 240.86 MiB)
16:04:03 --oracle_hash: poseidon2 (mem: 240.86 MiB)
16:04:03 --disable_zk: true (mem: 240.86 MiB)
16:04:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 240.86 MiB)
16:04:03 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 240.86 MiB)
16:04:03 Initialized BN254 CRS from memory with num points = 1 (mem: 240.86 MiB)
16:04:03 sumcheck_verified: 1 (mem: 240.86 MiB)
16:04:03 libra_evals_verified: 1 (mem: 240.86 MiB)
16:04:03 pairing_check_verified: 1 (mem: 240.86 MiB)
16:04:03 Proof verified successfully (mem: 240.86 MiB)
16:04:03 verified: 1 (mem: 240.86 MiB)
16:04:03 [16:04:03.179]
INFO:
bb-prover Successfully verified proof from key in 95.9038040000014 ms
16:04:03 [16:04:03.180]
INFO:
bb-prover Successfully verified proof from key in 125.5355070000005 ms
16:04:03 [16:04:03.180]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 240.86 MiB)
16:04:03 Scheme is: ultra_honk, num threads: 128 (mem: 240.86 MiB)
16:04:03 --public_inputs_path: /tmp/ed9a8877/bb/tmp-2KwKat/public_inputs (mem: 240.86 MiB)
16:04:03 --proof_path: /tmp/ed9a8877/bb/tmp-2KwKat/proof (mem: 240.86 MiB)
16:04:03 --vk_path: /tmp/ed9a8877/bb/tmp-2KwKat/vk (mem: 240.86 MiB)
16:04:03 --verbose: true (mem: 240.86 MiB)
16:04:03 --scheme: ultra_honk (mem: 240.86 MiB)
16:04:03 --oracle_hash: poseidon2 (mem: 240.86 MiB)
16:04:03 --disable_zk: true (mem: 240.86 MiB)
16:04:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 240.86 MiB)
16:04:03 [16:04:03.181]
INFO:
bb-prover Successfully verified proof from key in 63.26373000000058 ms
16:04:03 [16:04:03.187]
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: 240.86 MiB)
16:04:03 [16:04:03.188]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 240.86 MiB)
16:04:03 [16:04:03.188]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 240.86 MiB)
16:04:03 libra_evals_verified: 1 (mem: 240.86 MiB)
16:04:03 pairing_check_verified: 1 (mem: 240.86 MiB)
16:04:03 Proof verified successfully (mem: 240.86 MiB)
16:04:03 [16:04:03.189]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 240.86 MiB)
16:04:03 [16:04:03.191]
INFO:
bb-prover Successfully verified proof from key in 44.93798099999913 ms
16:04:03 [16:04:03.412]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":81.31703400000151,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
16:04:03 [16:04:03.415]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
16:04:03 [16:04:03.415]
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/ed9a8877/bb/tmp-Yxqnsb -b /tmp/ed9a8877/bb/tmp-Yxqnsb/RootParityArtifact-bytecode -w /tmp/ed9a8877/bb/tmp-Yxqnsb/partial-witness.gz -v --init_kzg_accumulator -v
16:04:03 [16:04:03.447]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
16:04:03 [16:04:03.448]
INFO:
bb-prover RootParityArtifact BB out - (mem:
16:04:03 [16:04:03.449]
INFO:
bb-prover RootParityArtifact BB out - 245.25 MiB)
16:04:03 Scheme is: ultra_honk, num threads: 128 (mem: 245.25 MiB)
16:04:03 --scheme: ultra_honk (mem: 245.25 MiB)
16:04:03 --bytecode_path: /tmp/ed9a8877/bb/tmp-Yxqnsb/RootParityArtifact-bytecode (mem: 245.25 MiB)
16:04:03 --witness_path: /tmp/ed9a8877/bb/tmp-Yxqnsb/partial-witness.gz (mem: 245.25 MiB)
16:04:03 --output_path: /tmp/ed9a8877/bb/tmp-Yxqnsb (mem: 245.25 MiB)
16:04:03 Warning: the following option is called more than once (mem: 245.25 MiB)
16:04:03 --verbose: true (mem: 245.25 MiB)
16:04:03 --oracle_hash: poseidon2 (mem: 245.25 MiB)
16:04:03 --output_format: bytes_and_fields (mem: 245.25 MiB)
16:04:03 --write_vk: true (mem: 245.25 MiB)
16:04:03 --disable_zk: true (mem: 245.25 MiB)
16:04:03 --init_kzg_accumulator: true (mem: 245.25 MiB)
16:04:03 [16:04:03.667]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 245.25 MiB)
16:04:05 [16:04:05.692]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 420.79 MiB)
16:04:08 [16:04:08.077]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 785.64 MiB)
16:04:10 [16:04:10.330]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1057.16 MiB)
16:04:13 [16:04:13.056]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1427.17 MiB)
16:04:13 [16:04:13.056]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1427.17 MiB)
16:04:14 [16:04:14.398]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1842.01 MiB)
16:04:14 [16:04:14.870]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5491.44 MiB)
16:04:16 [16:04:16.644]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3588 ms. (mem: 6065.44 MiB)
16:04:16 [16:04:16.775]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6065.44 MiB)
16:04:16 [16:04:16.776]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6065.44 MiB)
16:04:17 [16:04:17.518]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6065.44 MiB)
16:04:22 [16:04:22.368]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6065.44 MiB)
16:04:28 [16:04:28.010]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6065.44 MiB)
16:04:30 [16:04:30.513]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6748.65 MiB)
16:04:33 [16:04:33.653]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6748.65 MiB)
16:04:41 [16:04:41.483]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6748.65 MiB)
16:04:43 [16:04:43.284]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6748.65 MiB)
16:04:43 [16:04:43.295]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6748.65 MiB)
16:04:43 [16:04:43.809]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/ed9a8877/bb/tmp-Yxqnsb/public_inputs" (mem: 6748.65 MiB)
16:04:43 [16:04:43.810]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/ed9a8877/bb/tmp-Yxqnsb/public_inputs_fields.json" (mem: 6748.65 MiB)
16:04:43 Proof saved to "/tmp/ed9a8877/bb/tmp-Yxqnsb/proof" (mem: 6748.65 MiB)
16:04:43 Proof fields saved to "/tmp/ed9a8877/bb/tmp-Yxqnsb/proof_fields.json" (mem: 6748.65 MiB)
16:04:43 VK saved to "/tmp/ed9a8877/bb/tmp-Yxqnsb/vk" (mem: 6748.65 MiB)
16:04:43 VK fields saved to "/tmp/ed9a8877/bb/tmp-Yxqnsb/vk_fields.json" (mem: 6748.65 MiB)
16:04:43 [16:04:43.979]
INFO:
bb-prover Generated proof for RootParityArtifact in 40560 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40559.281551,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:04:43 [16:04:43.986]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:04:43 [16:04:43.987]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ed9a8877/bb/tmp-w80S1d/proof -k /tmp/ed9a8877/bb/tmp-w80S1d/vk -i /tmp/ed9a8877/bb/tmp-w80S1d/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:04:44 [16:04:44.014]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 245.26 MiB)
16:04:44 Scheme is: ultra_honk, num threads: 128 (mem: 245.26 MiB)
16:04:44 --public_inputs_path: /tmp/ed9a8877/bb/tmp-w80S1d/public_inputs (mem: 245.26 MiB)
16:04:44 --proof_path: /tmp/ed9a8877/bb/tmp-w80S1d/proof (mem: 245.26 MiB)
16:04:44 --vk_path: /tmp/ed9a8877/bb/tmp-w80S1d/vk (mem: 245.26 MiB)
16:04:44 --verbose: true (mem: 245.26 MiB)
16:04:44 --scheme: ultra_honk (mem: 245.26 MiB)
16:04:44 --oracle_hash: poseidon2 (mem: 245.26 MiB)
16:04:44 --disable_zk: true (mem: 245.26 MiB)
16:04:44 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 245.26 MiB)
16:04:44 [16:04:44.032]
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: 245.26 MiB)
16:04:44 Initialized BN254 CRS from memory with num points = 1 (mem: 245.26 MiB)
16:04:44 [16:04:44.033]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 245.26 MiB)
16:04:44 libra_evals_verified: 1 (mem: 245.26 MiB)
16:04:44 pairing_check_verified: 1 (mem: 245.26 MiB)
16:04:44 Proof verified successfully (mem: 245.26 MiB)
16:04:44 [16:04:44.034]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 245.26 MiB)
16:04:44 [16:04:44.035]
INFO:
bb-prover Successfully verified proof from key in 49.34870199999568 ms
16:04:44 [16:04:44.042]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:04:44 [16:04:44.043]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ed9a8877/bb/tmp-KKdVv5/proof -k /tmp/ed9a8877/bb/tmp-KKdVv5/vk -i /tmp/ed9a8877/bb/tmp-KKdVv5/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:04:44 [16:04:44.068]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 245.26 MiB)
16:04:44 Scheme is: ultra_honk, num threads: 128 (mem: 245.26 MiB)
16:04:44 --public_inputs_path: /tmp/ed9a8877/bb/tmp-KKdVv5/public_inputs (mem: 245.26 MiB)
16:04:44 --proof_path: /tmp/ed9a8877/bb/tmp-KKdVv5/proof (mem: 245.26 MiB)
16:04:44 --vk_path: /tmp/ed9a8877/bb/tmp-KKdVv5/vk (mem: 245.26 MiB)
16:04:44 [16:04:44.069]
VERBOSE:
bb-prover bb-prover (verify) BB out - --verbose: true (mem: 245.26 MiB)
16:04:44 --scheme: ultra_honk (mem: 245.26 MiB)
16:04:44 --oracle_hash: poseidon2 (mem: 245.26 MiB)
16:04:44 --disable_zk: true (mem: 245.26 MiB)
16:04:44 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 245.26 MiB)
16:04:44 [16:04:44.087]
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: 245.26 MiB)
16:04:44 [16:04:44.088]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 245.26 MiB)
16:04:44 [16:04:44.088]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 245.26 MiB)
16:04:44 libra_evals_verified: 1 (mem: 245.26 MiB)
16:04:44 pairing_check_verified: 1 (mem: 245.26 MiB)
16:04:44 Proof verified successfully (mem: 245.26 MiB)
16:04:44 verified: 1 (mem: 245.26 MiB)
16:04:44 [16:04:44.090]
INFO:
bb-prover Successfully verified proof from key in 47.7337469999984 ms
16:04:44 [16:04:44.169]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
16:04:44
16:04:44 [16:04:44.170]
ERROR:
bb-prover Error running operation at /tmp/ed9a8877/bb/tmp-PWSBcD: Error: Failed to generate witness: Failed assertion
16:04:44
16:04:44 [16:04:44.353]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":77.82787100000132,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
16:04:44 [16:04:44.354]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
16:04:44 [16:04:44.355]
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/ed9a8877/bb/tmp-KKAdST -b /tmp/ed9a8877/bb/tmp-KKAdST/RootParityArtifact-bytecode -w /tmp/ed9a8877/bb/tmp-KKAdST/partial-witness.gz -v --init_kzg_accumulator -v
16:04:44 [16:04:44.380]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 248.64 MiB)
16:04:44 Scheme is: ultra_honk, num threads: 128 (mem: 248.64 MiB)
16:04:44 --scheme: ultra_honk (mem: 248.64 MiB)
16:04:44 --bytecode_path: /tmp/ed9a8877/bb/tmp-KKAdST/RootParityArtifact-bytecode (mem: 248.64 MiB)
16:04:44 --witness_path: /tmp/ed9a8877/bb/tmp-KKAdST/partial-witness.gz (mem: 248.64 MiB)
16:04:44 --output_path: /tmp/ed9a8877/bb/tmp-KKAdST (mem: 248.64 MiB)
16:04:44 Warning: the following option is called more than once (mem: 248.64 MiB)
16:04:44 --verbose: true (mem: 248.64 MiB)
16:04:44 --oracle_hash: poseidon2 (mem: 248.64 MiB)
16:04:44 --output_format: bytes_and_fields (mem: 248.64 MiB)
16:04:44 --write_vk: true (mem: 248.64 MiB)
16:04:44 --disable_zk: true (mem: 248.64 MiB)
16:04:44 --init_kzg_accumulator: true (mem: 248.64 MiB)
16:04:44 [16:04:44.585]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 248.64 MiB)
16:04:44 [16:04:44.599]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 248.64 MiB)
16:04:46 [16:04:46.511]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 415.25 MiB)
16:04:48 [16:04:48.976]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 781.34 MiB)
16:04:51 [16:04:51.286]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1053.20 MiB)
16:04:54 [16:04:54.215]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1423.38 MiB)
16:04:54 [16:04:54.216]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1423.38 MiB)
16:04:55 [16:04:55.767]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1835.31 MiB)
16:04:56 [16:04:56.113]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5488.64 MiB)
16:04:57 [16:04:57.972]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3754 ms. (mem: 6069.64 MiB)
16:04:58 [16:04:58.111]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6069.64 MiB)
16:04:58 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6069.64 MiB)
16:04:58 [16:04:58.821]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6069.64 MiB)
16:05:02 [16:05:02.508]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6069.64 MiB)
16:05:06 [16:05:06.740]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6069.64 MiB)
16:05:08 [16:05:08.193]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6785.60 MiB)
16:05:10 [16:05:10.043]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6785.60 MiB)
16:05:17 [16:05:17.024]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6785.60 MiB)
16:05:19 [16:05:19.780]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6785.60 MiB)
16:05:19 [16:05:19.793]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6785.60 MiB)
16:05:20 [16:05:20.253]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/ed9a8877/bb/tmp-KKAdST/public_inputs" (mem: 6785.60 MiB)
16:05:20 [16:05:20.254]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/ed9a8877/bb/tmp-KKAdST/public_inputs_fields.json" (mem: 6785.60 MiB)
16:05:20 Proof saved to "/tmp/ed9a8877/bb/tmp-KKAdST/proof" (mem: 6785.60 MiB)
16:05:20 Proof fields saved to "/tmp/ed9a8877/bb/tmp-KKAdST/proof_fields.json" (mem: 6785.60 MiB)
16:05:20 VK saved to "/tmp/ed9a8877/bb/tmp-KKAdST/vk" (mem: 6785.60 MiB)
16:05:20 VK fields saved to "/tmp/ed9a8877/bb/tmp-KKAdST/vk_fields.json" (mem: 6785.60 MiB)
16:05:20 [16:05:20.454]
INFO:
bb-prover Generated proof for RootParityArtifact in 36098 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":36097.409901,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:05:20 [16:05:20.459]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:05:20 [16:05:20.459]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ed9a8877/bb/tmp-nAPUC5/proof -k /tmp/ed9a8877/bb/tmp-nAPUC5/vk -i /tmp/ed9a8877/bb/tmp-nAPUC5/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:05:20 [16:05:20.484]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 248.64 MiB)
16:05:20 [16:05:20.485]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 248.64 MiB)
16:05:20 --public_inputs_path: /tmp/ed9a8877/bb/tmp-nAPUC5/public_inputs (mem: 248.64 MiB)
16:05:20 --proof_path: /tmp/ed9a8877/bb/tmp-nAPUC5/proof (mem: 248.64 MiB)
16:05:20 --vk_path: /tmp/ed9a8877/bb/tmp-nAPUC5/vk (mem: 248.64 MiB)
16:05:20 --verbose: true (mem: 248.64 MiB)
16:05:20 --scheme: ultra_honk (mem: 248.64 MiB)
16:05:20 --oracle_hash: poseidon2 (mem: 248.64 MiB)
16:05:20 --disable_zk: true (mem: 248.64 MiB)
16:05:20 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 248.64 MiB)
16:05:20 [16:05:20.495]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 248.64 MiB)
16:05:20 Proof verification failed (mem: 248.64 MiB)
16:05:20 verified: 0 (mem: 248.64 MiB)
16:05:20 [16:05:20.500]
ERROR:
bb-prover Error running operation at /tmp/ed9a8877/bb/tmp-nAPUC5: ProvingError: Failed to verify proof from key!
16:05:20 [16:05:20.667]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":76.80086599999049,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
16:05:20 [16:05:20.669]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
16:05:20 [16:05:20.669]
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/ed9a8877/bb/tmp-dG15M8 -b /tmp/ed9a8877/bb/tmp-dG15M8/RootParityArtifact-bytecode -w /tmp/ed9a8877/bb/tmp-dG15M8/partial-witness.gz -v --init_kzg_accumulator -v
16:05:20 [16:05:20.694]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 248.64 MiB)
16:05:20 Scheme is: ultra_honk, num threads: 128 (mem: 248.64 MiB)
16:05:20 --scheme: ultra_honk (mem: 248.64 MiB)
16:05:20 --bytecode_path: /tmp/ed9a8877/bb/tmp-dG15M8/RootParityArtifact-bytecode (mem: 248.64 MiB)
16:05:20 --witness_path: /tmp/ed9a8877/bb/tmp-dG15M8/partial-witness.gz (mem: 248.64 MiB)
16:05:20 --output_path: /tmp/ed9a8877/bb/tmp-dG15M8 (mem: 248.64 MiB)
16:05:20 Warning: the following option is called more than once (mem: 248.64 MiB)
16:05:20 --verbose: true (mem: 248.64 MiB)
16:05:20 --oracle_hash: poseidon2 (mem: 248.64 MiB)
16:05:20 --output_format: bytes_and_fields (mem: 248.64 MiB)
16:05:20 --write_vk: true (mem: 248.64 MiB)
16:05:20 --disable_zk: true (mem: 248.64 MiB)
16:05:20 --init_kzg_accumulator: true (mem: 248.64 MiB)
16:05:20 [16:05:20.877]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 248.64 MiB)
16:05:20 [16:05:20.895]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 248.64 MiB)
16:05:23 [16:05:23.364]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 421.30 MiB)
16:05:25 [16:05:25.340]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 789.46 MiB)
16:05:27 [16:05:27.442]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1060.87 MiB)
16:05:29 [16:05:29.512]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1431.94 MiB)
16:05:29 [16:05:29.512]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1431.94 MiB)
16:05:30 [16:05:30.864]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1845.70 MiB)
16:05:31 [16:05:31.207]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5492.83 MiB)
16:05:32 [16:05:32.790]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3278 ms. (mem: 6065.83 MiB)
16:05:32 [16:05:32.921]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6065.83 MiB)
16:05:32 [16:05:32.922]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6065.83 MiB)
16:05:33 [16:05:33.634]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6065.83 MiB)
16:05:37 [16:05:37.346]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6065.83 MiB)
16:05:42 [16:05:42.451]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6065.83 MiB)
16:05:45 [16:05:45.187]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6785.68 MiB)
16:05:47 [16:05:47.237]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6785.68 MiB)
16:05:53 [16:05:53.139]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6785.68 MiB)
16:05:54 [16:05:54.882]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6785.68 MiB)
16:05:54 [16:05:54.895]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6785.68 MiB)
16:05:55 [16:05:55.550]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/ed9a8877/bb/tmp-dG15M8/public_inputs" (mem: 6785.68 MiB)
16:05:55 Public inputs fields saved to "/tmp/ed9a8877/bb/tmp-dG15M8/public_inputs_fields.json" (mem: 6785.68 MiB)
16:05:55 Proof saved to "/tmp/ed9a8877/bb/tmp-dG15M8/proof" (mem: 6785.68 MiB)
16:05:55 [16:05:55.552]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/ed9a8877/bb/tmp-dG15M8/proof_fields.json" (mem: 6785.68 MiB)
16:05:55 VK saved to "/tmp/ed9a8877/bb/tmp-dG15M8/vk" (mem: 6785.68 MiB)
16:05:55 VK fields saved to "/tmp/ed9a8877/bb/tmp-dG15M8/vk_fields.json" (mem: 6785.68 MiB)
16:05:55 [16:05:55.747]
INFO:
bb-prover Generated proof for RootParityArtifact in 35076 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":35075.36471899999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:05:55 [16:05:55.751]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:05:55 [16:05:55.752]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ed9a8877/bb/tmp-jsq4Tg/proof -k /tmp/ed9a8877/bb/tmp-jsq4Tg/vk -i /tmp/ed9a8877/bb/tmp-jsq4Tg/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:05:55 [16:05:55.777]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 248.64 MiB)
16:05:55 [16:05:55.777]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 248.64 MiB)
16:05:55 --public_inputs_path: /tmp/ed9a8877/bb/tmp-jsq4Tg/public_inputs (mem: 248.64 MiB)
16:05:55 --proof_path: /tmp/ed9a8877/bb/tmp-jsq4Tg/proof (mem: 248.64 MiB)
16:05:55 --vk_path: /tmp/ed9a8877/bb/tmp-jsq4Tg/vk (mem: 248.64 MiB)
16:05:55 --verbose: true (mem: 248.64 MiB)
16:05:55 --scheme: ultra_honk (mem: 248.64 MiB)
16:05:55 --oracle_hash: poseidon2 (mem: 248.64 MiB)
16:05:55 --disable_zk: true (mem: 248.64 MiB)
16:05:55 [16:05:55.778]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 248.64 MiB)
16:05:55 [16:05:55.791]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 248.64 MiB)
16:05:55 Proof verification failed (mem: 248.64 MiB)
16:05:55 verified: 0 (mem: 248.64 MiB)
16:05:55 [16:05:55.793]
ERROR:
bb-prover Error running operation at /tmp/ed9a8877/bb/tmp-jsq4Tg: ProvingError: Failed to verify proof from key!
16:05:55 [16:05:55.796]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
16:05:55
PASS src/test/bb_prover_parity.test.ts (
125.692 s)
16:05:55 prover/bb_prover/parity
16:05:55
✓ proves the parity circuits (117991 ms)
16:05:55
16:05:55
Test Suites: 1 passed, 1 total
16:05:55
Tests: 1 passed, 1 total
16:05:55
Snapshots: 0 total
16:05:55
Time: 125.791 s
16:05:55
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
16:05:55
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?