Parent Log:
http://ci.aztec-labs.com/cdbc1ad9ad1f0b81
Command: d75f86cb759aa806: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/bae1f0ed01e43b291f60c0888e05ceb15d4bb6f6
Env: REF_NAME=gh-readonly-queue/next/pr-15151-aac426c9418162aeee8162ed45014b9393d605b8 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 09:26:08 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15151_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
09:26:08 +++ id -u
09:26:08 +++ id -g
09:26:08 ++ 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'\'''
09:26:09 + cid=efdad6954e198c6f94bc24c72915b5ec76ca9b8545a308e3016acc507cb5182b
09:26:09 + set +x
09:26:10 {"level":25,"time":1750411570713,"pid":7,"hostname":"efdad6954e19","module":"logger","msg":"Logger initialized with level verbose"}
09:26:19 [09:26:19.259]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-CUcZsp/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
09:26:19 [09:26:19.337]
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/4f2c93bf/bb
09:26:19 [09:26:19.345]
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/4f2c93bf/acvm
09:26:19 [09:26:19.347]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/4f2c93bf/bb
09:26:19 [09:26:19.348]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/4f2c93bf/acvm
09:26:19 [09:26:19.353]
INFO:
prover-client:proving-broker Proving Broker started
09:26:19 [09:26:19.356]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
09:26:19 [09:26:19.564]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":44.58002000000124,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:26:19 [09:26:19.577]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":72.12291600000026,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:26:19 [09:26:19.596]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":50.53995500000019,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:26:19 [09:26:19.599]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:26:19 [09:26:19.599]
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/4f2c93bf/bb/tmp-83z8ww -b /tmp/4f2c93bf/bb/tmp-83z8ww/BaseParityArtifact-bytecode -w /tmp/4f2c93bf/bb/tmp-83z8ww/partial-witness.gz -v --init_kzg_accumulator -v
09:26:19 [09:26:19.620]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:26:19 [09:26:19.621]
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/4f2c93bf/bb/tmp-bAlNJ6 -b /tmp/4f2c93bf/bb/tmp-bAlNJ6/BaseParityArtifact-bytecode -w /tmp/4f2c93bf/bb/tmp-bAlNJ6/partial-witness.gz -v --init_kzg_accumulator -v
09:26:19 [09:26:19.644]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.29 MiB)
09:26:19 Scheme is: ultra_honk, num threads: 128 (mem: 252.29 MiB)
09:26:19 --scheme: ultra_honk (mem: 252.29 MiB)
09:26:19 --bytecode_path: /tmp/4f2c93bf/bb/tmp-83z8ww/BaseParityArtifact-bytecode (mem: 252.29 MiB)
09:26:19 --witness_path: /tmp/4f2c93bf/bb/tmp-83z8ww/partial-witness.gz (mem: 252.29 MiB)
09:26:19 --output_path: /tmp/4f2c93bf/bb/tmp-83z8ww (mem: 252.29 MiB)
09:26:19 Warning: the following option is called more than once (mem: 252.29 MiB)
09:26:19 --verbose: true (mem: 252.29 MiB)
09:26:19 --oracle_hash: poseidon2 (mem: 252.29 MiB)
09:26:19 --output_format: bytes_and_fields (mem: 252.29 MiB)
09:26:19 --write_vk: true (mem: 252.29 MiB)
09:26:19 --disable_zk: true (mem: 252.29 MiB)
09:26:19 --init_kzg_accumulator: true (mem: 252.29 MiB)
09:26:19 [09:26:19.646]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:26:19 [09:26:19.646]
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/4f2c93bf/bb/tmp-uAVfVp -b /tmp/4f2c93bf/bb/tmp-uAVfVp/BaseParityArtifact-bytecode -w /tmp/4f2c93bf/bb/tmp-uAVfVp/partial-witness.gz -v --init_kzg_accumulator -v
09:26:19 [09:26:19.672]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.29 MiB)
09:26:19 Scheme is: ultra_honk, num threads: 128 (mem: 252.29 MiB)
09:26:19 --scheme: ultra_honk (mem: 252.29 MiB)
09:26:19 --bytecode_path: /tmp/4f2c93bf/bb/tmp-bAlNJ6/BaseParityArtifact-bytecode (mem: 252.29 MiB)
09:26:19 --witness_path: /tmp/4f2c93bf/bb/tmp-bAlNJ6/partial-witness.gz (mem: 252.29 MiB)
09:26:19 --output_path: /tmp/4f2c93bf/bb/tmp-bAlNJ6 (mem: 252.29 MiB)
09:26:19 Warning: the following option is called more than once (mem: 252.29 MiB)
09:26:19 --verbose: true (mem: 252.29 MiB)
09:26:19 --oracle_hash: poseidon2 (mem: 252.29 MiB)
09:26:19 --output_format: bytes_and_fields (mem: 252.29 MiB)
09:26:19 --write_vk: true (mem: 252.29 MiB)
09:26:19 --disable_zk: true (mem: 252.29 MiB)
09:26:19 --init_kzg_accumulator: true (mem: 252.29 MiB)
09:26:19 [09:26:19.687]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":90.35664999999972,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:26:19 [09:26:19.690]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.26 MiB)
09:26:19 Scheme is: ultra_honk, num threads: 128 (mem: 252.26 MiB)
09:26:19 --scheme: ultra_honk (mem: 252.26 MiB)
09:26:19 --bytecode_path: /tmp/4f2c93bf/bb/tmp-uAVfVp/BaseParityArtifact-bytecode (mem: 252.26 MiB)
09:26:19 --witness_path: /tmp/4f2c93bf/bb/tmp-uAVfVp/partial-witness.gz (mem: 252.26 MiB)
09:26:19 --output_path: /tmp/4f2c93bf/bb/tmp-uAVfVp (mem: 252.26 MiB)
09:26:19 Warning: the following option is called more than once (mem: 252.26 MiB)
09:26:19 --verbose: true (mem: 252.26 MiB)
09:26:19 --oracle_hash: poseidon2 (mem: 252.26 MiB)
09:26:19 --output_format: bytes_and_fields (mem: 252.26 MiB)
09:26:19 --write_vk: true (mem: 252.26 MiB)
09:26:19 --disable_zk: true (mem: 252.26 MiB)
09:26:19 --init_kzg_accumulator: true (mem: 252.26 MiB)
09:26:19 [09:26:19.695]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:26:19 [09:26:19.696]
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/4f2c93bf/bb/tmp-8PGUC4 -b /tmp/4f2c93bf/bb/tmp-8PGUC4/BaseParityArtifact-bytecode -w /tmp/4f2c93bf/bb/tmp-8PGUC4/partial-witness.gz -v --init_kzg_accumulator -v
09:26:19 [09:26:19.736]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.32 MiB)
09:26:19 Scheme is: ultra_honk, num threads: 128 (mem: 251.32 MiB)
09:26:19 --scheme: ultra_honk (mem: 251.32 MiB)
09:26:19 --bytecode_path: /tmp/4f2c93bf/bb/tmp-8PGUC4/BaseParityArtifact-bytecode (mem: 251.32 MiB)
09:26:19 --witness_path: /tmp/4f2c93bf/bb/tmp-8PGUC4/partial-witness.gz (mem: 251.32 MiB)
09:26:19 --output_path: /tmp/4f2c93bf/bb/tmp-8PGUC4 (mem: 251.32 MiB)
09:26:19 Warning: the following option is called more than once (mem: 251.32 MiB)
09:26:19 --verbose: true (mem: 251.32 MiB)
09:26:19 --oracle_hash: poseidon2 (mem: 251.32 MiB)
09:26:19 --output_format: bytes_and_fields (mem: 251.32 MiB)
09:26:19 --write_vk: true (mem: 251.32 MiB)
09:26:19 --disable_zk: true (mem: 251.32 MiB)
09:26:19 --init_kzg_accumulator: true (mem: 251.32 MiB)
09:26:19 [09:26:19.830]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.29 MiB)
09:26:19 Constructing DeciderProvingKey (mem: 252.29 MiB)
09:26:19 [09:26:19.832]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
09:26:19 [09:26:19.832]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
09:26:19 [09:26:19.833]
INFO:
bb-prover BaseParityArtifact BB out - 252.29
09:26:19 [09:26:19.833]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
09:26:19 [09:26:19.833]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.29 MiB)
09:26:19 [09:26:19.834]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 252.29 MiB)
09:26:19 [09:26:19.834]
INFO:
bb-prover BaseParityArtifact BB out -
09:26:19 [09:26:19.838]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.29 MiB)
09:26:19 [09:26:19.867]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.26 MiB)
09:26:19 Constructing DeciderProvingKey (mem: 252.26 MiB)
09:26:19 [09:26:19.873]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.26 MiB)
09:26:19 [09:26:19.948]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.32 MiB)
09:26:19 [09:26:19.949]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.32 MiB)
09:26:19 [09:26:19.953]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.32 MiB)
09:26:20 [09:26:20.059]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.29 MiB)
09:26:20 [09:26:20.119]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.29 MiB)
09:26:20 [09:26:20.141]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 313 ms. (mem: 252.29 MiB)
09:26:20 [09:26:20.154]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.26 MiB)
09:26:20 [09:26:20.165]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.29 MiB)
09:26:20 [09:26:20.180]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.29 MiB)
09:26:20 [09:26:20.197]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.32 MiB)
09:26:20 [09:26:20.206]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.29 MiB)
09:26:20 [09:26:20.215]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 380 ms. (mem: 252.29 MiB)
09:26:20 [09:26:20.226]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.29 MiB)
09:26:20 [09:26:20.259]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 391 ms. (mem: 252.26 MiB)
09:26:20 [09:26:20.269]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.26 MiB)
09:26:20 [09:26:20.270]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.29 MiB)
09:26:20 [09:26:20.282]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.26 MiB)
09:26:20 [09:26:20.301]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.29 MiB)
09:26:20 [09:26:20.317]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.26 MiB)
09:26:20 [09:26:20.373]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 427 ms. (mem: 251.32 MiB)
09:26:20 [09:26:20.384]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.32 MiB)
09:26:20 [09:26:20.425]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.32 MiB)
09:26:20 [09:26:20.461]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.32 MiB)
09:26:21 [09:26:21.326]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.29 MiB)
09:26:21 [09:26:21.438]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.29 MiB)
09:26:21 [09:26:21.495]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.26 MiB)
09:26:21 [09:26:21.621]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem:
09:26:21 [09:26:21.621]
INFO:
bb-prover BaseParityArtifact BB out - 251.32 MiB)
09:26:22 [09:26:22.037]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.29 MiB)
09:26:22 [09:26:22.131]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.29 MiB)
09:26:22 [09:26:22.232]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.26 MiB)
09:26:22 [09:26:22.333]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.32 MiB)
09:26:22 [09:26:22.364]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 254.61 MiB)
09:26:22 [09:26:22.365]
INFO:
bb-prover BaseParityArtifact BB out -
09:26:22 [09:26:22.393]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 256.74 MiB)
09:26:22 [09:26:22.534]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem:
09:26:22 [09:26:22.535]
INFO:
bb-prover BaseParityArtifact BB out - 257.61 MiB)
09:26:22 [09:26:22.539]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 254.61 MiB)
09:26:22 [09:26:22.564]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 261.99 MiB)
09:26:22 [09:26:22.634]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 258.74 MiB)
09:26:22 [09:26:22.721]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 261.99 MiB)
09:26:22 [09:26:22.757]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 258.61 MiB)
09:26:23 [09:26:23.648]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 254.61 MiB)
09:26:23 [09:26:23.699]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 254.61 MiB)
09:26:23 [09:26:23.701]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 254.61 MiB)
09:26:23 [09:26:23.705]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/4f2c93bf/bb/tmp-bAlNJ6/public_inputs" (mem: 254.61 MiB)
09:26:23 [09:26:23.705]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/4f2c93bf/bb/tmp-bAlNJ6/public_inputs_fields.json" (mem: 254.61 MiB)
09:26:23 Proof saved to "/tmp/4f2c93bf/bb/tmp-bAlNJ6/proof" (mem: 254.61 MiB)
09:26:23 [09:26:23.706]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/4f2c93bf/bb/tmp-bAlNJ6/proof_fields.json" (mem: 254.61 MiB)
09:26:23 VK saved to "/tmp/4f2c93bf/bb/tmp-bAlNJ6/vk" (mem: 254.61 MiB)
09:26:23 [09:26:23.706]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/4f2c93bf/bb/tmp-bAlNJ6/vk_fields.json" (mem: 254.61 MiB)
09:26:23 [09:26:23.755]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4126 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4125.883212000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:26:23 [09:26:23.761]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:26:23 [09:26:23.762]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f2c93bf/bb/tmp-cftcHY/proof -k /tmp/4f2c93bf/bb/tmp-cftcHY/vk -i /tmp/4f2c93bf/bb/tmp-cftcHY/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:26:23 [09:26:23.786]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 258.74 MiB)
09:26:23 [09:26:23.787]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 261.99 MiB)
09:26:23 [09:26:23.793]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.34 MiB)
09:26:23 Scheme is: ultra_honk, num threads: 128 (mem: 252.34 MiB)
09:26:23 --public_inputs_path: /tmp/4f2c93bf/bb/tmp-cftcHY/public_inputs (mem: 252.34 MiB)
09:26:23 --proof_path: /tmp/4f2c93bf/bb/tmp-cftcHY/proof (mem: 252.34 MiB)
09:26:23 --vk_path: /tmp/4f2c93bf/bb/tmp-cftcHY/vk (mem: 252.34 MiB)
09:26:23 --verbose: true (mem: 252.34 MiB)
09:26:23 --scheme: ultra_honk (mem: 252.34 MiB)
09:26:23 --oracle_hash: poseidon2 (mem: 252.34 MiB)
09:26:23 --disable_zk: true (mem: 252.34 MiB)
09:26:23 [09:26:23.795]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.34 MiB)
09:26:23 [09:26:23.810]
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"
09:26:23 [09:26:23.813]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 252.34 MiB)
09:26:23 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.34 MiB)
09:26:23 [09:26:23.818]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1
09:26:23 [09:26:23.824]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 252.34 MiB)
09:26:23 libra_evals_verified: 1 (mem: 252.34 MiB)
09:26:23 pairing_check_verified: 1 (mem: 252.34 MiB)
09:26:23 Proof verified successfully (mem: 252.34 MiB)
09:26:23 verified: 1 (mem: 252.34 MiB)
09:26:23 [09:26:23.825]
INFO:
bb-prover Successfully verified proof from key in 63.78983900000094 ms
09:26:23 [09:26:23.840]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 261.99 MiB)
09:26:23 finished decider proving. (mem: 261.99 MiB)
09:26:23 [09:26:23.843]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 258.74 MiB)
09:26:23 finished decider proving. (mem: 258.74 MiB)
09:26:23 [09:26:23.845]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/4f2c93bf/bb/tmp-8PGUC4/public_inputs" (mem: 261.99 MiB)
09:26:23 [09:26:23.845]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/4f2c93bf/bb/tmp-8PGUC4/public_inputs_fields.json" (mem: 261.99 MiB)
09:26:23 Proof saved to "/tmp/4f2c93bf/bb/tmp-8PGUC4/proof" (mem: 261.99 MiB)
09:26:23 [09:26:23.846]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/4f2c93bf/bb/tmp-8PGUC4/proof_fields.json" (mem: 261.99 MiB)
09:26:23 VK saved to "/tmp/4f2c93bf/bb/tmp-8PGUC4/vk" (mem: 261.99 MiB)
09:26:23 [09:26:23.846]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/4f2c93bf/bb/tmp-83z8ww/public_inputs" (mem: 258.74 MiB)
09:26:23 Public inputs fields saved to "/tmp/4f2c93bf/bb/tmp-83z8ww/public_inputs_fields.json" (mem: 258.74 MiB)
09:26:23 Proof saved to "/tmp/4f2c93bf/bb/tmp-83z8ww/proof" (mem: 258.74 MiB)
09:26:23 [09:26:23.847]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/4f2c93bf/bb/tmp-8PGUC4/vk_fields.json" (mem: 261.99 MiB)
09:26:23 [09:26:23.847]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/4f2c93bf/bb/tmp-83z8ww/proof_fields.json" (mem: 258.74 MiB)
09:26:23 VK saved to "/tmp/4f2c93bf/bb/tmp-83z8ww/vk" (mem: 258.74 MiB)
09:26:23 VK fields saved to "/tmp/4f2c93bf/bb/tmp-83z8ww/vk_fields.json" (mem: 258.74 MiB)
09:26:23 [09:26:23.931]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4227 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4226.182041,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:26:23 [09:26:23.934]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4323 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4322.906008,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:26:23 [09:26:23.939]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:26:23 [09:26:23.939]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f2c93bf/bb/tmp-RQEBcs/proof -k /tmp/4f2c93bf/bb/tmp-RQEBcs/vk -i /tmp/4f2c93bf/bb/tmp-RQEBcs/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:26:23 [09:26:23.958]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:26:23 [09:26:23.959]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f2c93bf/bb/tmp-L5SRoq/proof -k /tmp/4f2c93bf/bb/tmp-L5SRoq/vk -i /tmp/4f2c93bf/bb/tmp-L5SRoq/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:26:23 [09:26:23.986]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.41 MiB)
09:26:23 Scheme is: ultra_honk, num threads: 128 (mem: 252.41 MiB)
09:26:23 --public_inputs_path: /tmp/4f2c93bf/bb/tmp-RQEBcs/public_inputs (mem: 252.41 MiB)
09:26:23 --proof_path: /tmp/4f2c93bf/bb/tmp-RQEBcs/proof (mem: 252.41 MiB)
09:26:23 --vk_path: /tmp/4f2c93bf/bb/tmp-RQEBcs/vk (mem: 252.41 MiB)
09:26:23 --verbose: true (mem: 252.41 MiB)
09:26:23 --scheme: ultra_honk (mem: 252.41 MiB)
09:26:23 --oracle_hash: poseidon2 (mem: 252.41 MiB)
09:26:23 --disable_zk: true (mem: 252.41 MiB)
09:26:23 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.41 MiB)
09:26:23 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.41 MiB)
09:26:23 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.41 MiB)
09:26:23 sumcheck_verified: 1 (mem: 252.41 MiB)
09:26:23 libra_evals_verified: 1 (mem: 252.41 MiB)
09:26:23 pairing_check_verified: 1 (mem: 252.41 MiB)
09:26:23 Proof verified successfully (mem: 252.41 MiB)
09:26:23 verified: 1 (mem: 252.41 MiB)
09:26:23 [09:26:23.987]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 258.61 MiB)
09:26:23 [09:26:23.987]
INFO:
bb-prover Successfully verified proof from key in 48.726708000000144 ms
09:26:23 [09:26:23.989]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.45 MiB)
09:26:23 [09:26:23.990]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.45 MiB)
09:26:23 --public_inputs_path: /tmp/4f2c93bf/bb/tmp-L5SRoq/public_inputs (mem: 252.45 MiB)
09:26:23 --proof_path: /tmp/4f2c93bf/bb/tmp-L5SRoq/proof (mem: 252.45 MiB)
09:26:23 --vk_path: /tmp/4f2c93bf/bb/tmp-L5SRoq/vk (mem: 252.45 MiB)
09:26:23 --verbose: true (mem: 252.45 MiB)
09:26:23 --scheme: ultra_honk (mem: 252.45 MiB)
09:26:23 --oracle_hash: poseidon2 (mem: 252.45 MiB)
09:26:23 --disable_zk: true (mem: 252.45 MiB)
09:26:23 [09:26:23.991]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.45 MiB)
09:26:24 [09:26:24.006]
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.45 MiB)
09:26:24 [09:26:24.011]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 252.45 MiB)
09:26:24 [09:26:24.015]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.45 MiB)
09:26:24 [09:26:24.015]
VERBOSE:
bb-prover bb-prover (verify) BB out - libra_evals_verified: 1 (mem: 252.45 MiB)
09:26:24 pairing_check_verified: 1 (mem: 252.45 MiB)
09:26:24 Proof verified successfully (mem: 252.45 MiB)
09:26:24 verified: 1 (mem: 252.45 MiB)
09:26:24 [09:26:24.017]
INFO:
bb-prover Successfully verified proof from key in 58.72680799999944 ms
09:26:24 [09:26:24.031]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 258.61 MiB)
09:26:24 [09:26:24.034]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 258.61 MiB)
09:26:24 [09:26:24.040]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/4f2c93bf/bb/tmp-uAVfVp/public_inputs" (mem: 258.61 MiB)
09:26:24 Public inputs fields saved to "/tmp/4f2c93bf/bb/tmp-uAVfVp/public_inputs_fields.json" (mem: 258.61 MiB)
09:26:24 Proof saved to "/tmp/4f2c93bf/bb/tmp-uAVfVp/proof" (mem: 258.61 MiB)
09:26:24 Proof fields saved to "/tmp/4f2c93bf/bb/tmp-uAVfVp/proof_fields.json" (mem: 258.61 MiB)
09:26:24 VK saved to "/tmp/4f2c93bf/bb/tmp-uAVfVp/vk" (mem: 258.61 MiB)
09:26:24 VK fields saved to "/tmp/4f2c93bf/bb/tmp-uAVfVp/vk_fields.json" (mem: 258.61 MiB)
09:26:24 [09:26:24.097]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4444 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4443.4658039999995,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:26:24 [09:26:24.103]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:26:24 [09:26:24.103]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f2c93bf/bb/tmp-QEwAhl/proof -k /tmp/4f2c93bf/bb/tmp-QEwAhl/vk -i /tmp/4f2c93bf/bb/tmp-QEwAhl/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:26:24 [09:26:24.127]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.50 MiB)
09:26:24 [09:26:24.129]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.50 MiB)
09:26:24 --public_inputs_path: /tmp/4f2c93bf/bb/tmp-QEwAhl/public_inputs (mem: 252.50 MiB)
09:26:24 --proof_path: /tmp/4f2c93bf/bb/tmp-QEwAhl/proof (mem: 252.50 MiB)
09:26:24 --vk_path: /tmp/4f2c93bf/bb/tmp-QEwAhl/vk (mem: 252.50 MiB)
09:26:24 --verbose: true (mem: 252.50 MiB)
09:26:24 --scheme: ultra_honk (mem: 252.50 MiB)
09:26:24 --oracle_hash: poseidon2 (mem: 252.50 MiB)
09:26:24 --disable_zk: true (mem: 252.50 MiB)
09:26:24 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.50 MiB)
09:26:24 [09:26:24.144]
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.50 MiB)
09:26:24 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.50 MiB)
09:26:24 [09:26:24.149]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.50 MiB)
09:26:24 libra_evals_verified: 1 (mem: 252.50 MiB)
09:26:24 pairing_check_verified: 1 (mem: 252.50 MiB)
09:26:24 Proof verified successfully (mem: 252.50 MiB)
09:26:24 verified: 1 (mem: 252.50 MiB)
09:26:24 [09:26:24.150]
INFO:
bb-prover Successfully verified proof from key in 47.38896299999942 ms
09:26:24 [09:26:24.171]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:26:24 [09:26:24.172]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f2c93bf/bb/tmp-eQV81p/proof -k /tmp/4f2c93bf/bb/tmp-eQV81p/vk -i /tmp/4f2c93bf/bb/tmp-eQV81p/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:26:24 [09:26:24.196]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:26:24 [09:26:24.197]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f2c93bf/bb/tmp-bZpdlM/proof -k /tmp/4f2c93bf/bb/tmp-bZpdlM/vk -i /tmp/4f2c93bf/bb/tmp-bZpdlM/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:26:24 [09:26:24.223]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:26:24 [09:26:24.224]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f2c93bf/bb/tmp-FcI7ip/proof -k /tmp/4f2c93bf/bb/tmp-FcI7ip/vk -i /tmp/4f2c93bf/bb/tmp-FcI7ip/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:26:24 [09:26:24.248]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.54 MiB)
09:26:24 Scheme is: ultra_honk, num threads: 128 (mem: 252.54 MiB)
09:26:24 --public_inputs_path: /tmp/4f2c93bf/bb/tmp-eQV81p/public_inputs (mem: 252.54 MiB)
09:26:24 --proof_path: /tmp/4f2c93bf/bb/tmp-eQV81p/proof (mem: 252.54 MiB)
09:26:24 --vk_path: /tmp/4f2c93bf/bb/tmp-eQV81p/vk (mem: 252.54 MiB)
09:26:24 --verbose: true (mem: 252.54 MiB)
09:26:24 --scheme: ultra_honk (mem: 252.54 MiB)
09:26:24 --oracle_hash: poseidon2 (mem: 252.54 MiB)
09:26:24 --disable_zk: true (mem: 252.54 MiB)
09:26:24 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.54 MiB)
09:26:24 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.54 MiB)
09:26:24 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.54 MiB)
09:26:24 sumcheck_verified: 1 (mem: 252.54 MiB)
09:26:24 libra_evals_verified: 1 (mem: 252.54 MiB)
09:26:24 pairing_check_verified: 1 (mem: 252.54 MiB)
09:26:24 Proof verified successfully (mem: 252.54 MiB)
09:26:24 verified: 1 (mem: 252.54 MiB)
09:26:24 [09:26:24.254]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:26:24 [09:26:24.255]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f2c93bf/bb/tmp-2Nt8q0/proof -k /tmp/4f2c93bf/bb/tmp-2Nt8q0/vk -i /tmp/4f2c93bf/bb/tmp-2Nt8q0/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:26:24 [09:26:24.300]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.54 MiB)
09:26:24 Scheme is: ultra_honk, num threads: 128 (mem: 252.54 MiB)
09:26:24 --public_inputs_path: /tmp/4f2c93bf/bb/tmp-bZpdlM/public_inputs (mem: 252.54 MiB)
09:26:24 --proof_path: /tmp/4f2c93bf/bb/tmp-bZpdlM/proof (mem: 252.54 MiB)
09:26:24 --vk_path: /tmp/4f2c93bf/bb/tmp-bZpdlM/vk (mem: 252.54 MiB)
09:26:24 --verbose: true (mem: 252.54 MiB)
09:26:24 --scheme: ultra_honk (mem: 252.54 MiB)
09:26:24 --oracle_hash: poseidon2 (mem: 252.54 MiB)
09:26:24 --disable_zk: true (mem: 252.54 MiB)
09:26:24 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.54 MiB)
09:26:24 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.54 MiB)
09:26:24 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.54 MiB)
09:26:24 sumcheck_verified: 1 (mem: 252.54 MiB)
09:26:24 libra_evals_verified: 1 (mem: 252.54 MiB)
09:26:24 pairing_check_verified: 1 (mem: 252.54 MiB)
09:26:24 Proof verified successfully (mem: 252.54 MiB)
09:26:24 verified: 1 (mem: 252.54 MiB)
09:26:24 [09:26:24.302]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.54 MiB)
09:26:24 Scheme is: ultra_honk, num threads: 128 (mem: 252.54 MiB)
09:26:24 --public_inputs_path: /tmp/4f2c93bf/bb/tmp-FcI7ip/public_inputs (mem: 252.54 MiB)
09:26:24 --proof_path: /tmp/4f2c93bf/bb/tmp-FcI7ip/proof (mem: 252.54 MiB)
09:26:24 --vk_path: /tmp/4f2c93bf/bb/tmp-FcI7ip/vk (mem: 252.54 MiB)
09:26:24 --verbose: true (mem: 252.54 MiB)
09:26:24 --scheme: ultra_honk (mem: 252.54 MiB)
09:26:24 --oracle_hash: poseidon2 (mem: 252.54 MiB)
09:26:24 --disable_zk: true (mem: 252.54 MiB)
09:26:24 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.54 MiB)
09:26:24 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.54 MiB)
09:26:24 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.54 MiB)
09:26:24 sumcheck_verified: 1 (mem: 252.54 MiB)
09:26:24 libra_evals_verified: 1 (mem: 252.54 MiB)
09:26:24 pairing_check_verified: 1 (mem: 252.54 MiB)
09:26:24 Proof verified successfully (mem: 252.54 MiB)
09:26:24 verified: 1 (mem: 252.54 MiB)
09:26:24 [09:26:24.304]
INFO:
bb-prover Successfully verified proof from key in 107.12509800000043 ms
09:26:24 [09:26:24.305]
INFO:
bb-prover Successfully verified proof from key in 133.69216799999958 ms
09:26:24 [09:26:24.306]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.54 MiB)
09:26:24 Scheme is: ultra_honk, num threads: 128 (mem: 252.54 MiB)
09:26:24 --public_inputs_path: /tmp/4f2c93bf/bb/tmp-2Nt8q0/public_inputs (mem: 252.54 MiB)
09:26:24 --proof_path: /tmp/4f2c93bf/bb/tmp-2Nt8q0/proof (mem: 252.54 MiB)
09:26:24 --vk_path: /tmp/4f2c93bf/bb/tmp-2Nt8q0/vk (mem: 252.54 MiB)
09:26:24 --verbose: true (mem: 252.54 MiB)
09:26:24 --scheme: ultra_honk (mem: 252.54 MiB)
09:26:24 --oracle_hash: poseidon2 (mem: 252.54 MiB)
09:26:24 --disable_zk: true (mem: 252.54 MiB)
09:26:24 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.54 MiB)
09:26:24 [09:26:24.308]
INFO:
bb-prover Successfully verified proof from key in 84.89042899999913 ms
09:26:24 [09:26:24.322]
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.54 MiB)
09:26:24 [09:26:24.326]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 252.54 MiB)
09:26:24 [09:26:24.330]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.54 MiB)
09:26:24 libra_evals_verified: 1 (mem: 252.54 MiB)
09:26:24 pairing_check_verified: 1 (mem: 252.54 MiB)
09:26:24 Proof verified successfully (mem: 252.54 MiB)
09:26:24 verified: 1 (mem: 252.54 MiB)
09:26:24 [09:26:24.332]
INFO:
bb-prover Successfully verified proof from key in 78.02199999999903 ms
09:26:24 [09:26:24.562]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":87.40817400000014,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
09:26:24 [09:26:24.564]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:26:24 [09:26:24.565]
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/4f2c93bf/bb/tmp-lCSazw -b /tmp/4f2c93bf/bb/tmp-lCSazw/RootParityArtifact-bytecode -w /tmp/4f2c93bf/bb/tmp-lCSazw/partial-witness.gz -v --init_kzg_accumulator -v
09:26:24 [09:26:24.597]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.71 MiB)
09:26:24 Scheme is: ultra_honk, num threads: 128 (mem: 254.71 MiB)
09:26:24 --scheme: ultra_honk (mem: 254.71 MiB)
09:26:24 --bytecode_path: /tmp/4f2c93bf/bb/tmp-lCSazw/RootParityArtifact-bytecode (mem: 254.71 MiB)
09:26:24 --witness_path: /tmp/4f2c93bf/bb/tmp-lCSazw/partial-witness.gz (mem: 254.71 MiB)
09:26:24 --output_path: /tmp/4f2c93bf/bb/tmp-lCSazw (mem: 254.71 MiB)
09:26:24 Warning: the following option is called more than once (mem: 254.71 MiB)
09:26:24 --verbose: true (mem: 254.71 MiB)
09:26:24 --oracle_hash: poseidon2 (mem: 254.71 MiB)
09:26:24 --output_format: bytes_and_fields (mem: 254.71 MiB)
09:26:24 --write_vk: true (mem: 254.71 MiB)
09:26:24 --disable_zk: true (mem: 254.71 MiB)
09:26:24 --init_kzg_accumulator: true (mem: 254.71 MiB)
09:26:24 [09:26:24.786]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.71 MiB)
09:26:26 [09:26:26.844]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 420.11 MiB)
09:26:29 [09:26:29.531]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 786.70 MiB)
09:26:31 [09:26:31.642]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1053.41 MiB)
09:26:34 [09:26:34.079]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1427.86 MiB)
09:26:34 [09:26:34.080]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1427.86 MiB)
09:26:35 [09:26:35.488]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1879.26 MiB)
09:26:35 [09:26:35.867]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5529.26 MiB)
09:26:38 [09:26:38.098]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4017 ms. (mem: 6078.26 MiB)
09:26:38 [09:26:38.247]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6078.26 MiB)
09:26:38 [09:26:38.500]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6559.31 MiB)
09:26:39 [09:26:39.756]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7333.31 MiB)
09:26:48 [09:26:48.181]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7333.31 MiB)
09:26:53 [09:26:53.653]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7333.31 MiB)
09:26:56 [09:26:56.012]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8970.14 MiB)
09:26:58 [09:26:58.343]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8971.14 MiB)
09:27:03 [09:27:03.774]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8971.14 MiB)
09:27:05 [09:27:05.056]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8971.14 MiB)
09:27:05 [09:27:05.064]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8971.14 MiB)
09:27:05 [09:27:05.971]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/4f2c93bf/bb/tmp-lCSazw/public_inputs" (mem: 8971.14 MiB)
09:27:05 Public inputs fields saved to "/tmp/4f2c93bf/bb/tmp-lCSazw/public_inputs_fields.json" (mem: 8971.14 MiB)
09:27:05 Proof saved to "/tmp/4f2c93bf/bb/tmp-lCSazw/proof" (mem: 8971.14 MiB)
09:27:05 Proof fields saved to "/tmp/4f2c93bf/bb/tmp-lCSazw/proof_fields.json" (mem: 8971.14 MiB)
09:27:05 VK saved to "/tmp/4f2c93bf/bb/tmp-lCSazw/vk" (mem: 8971.14 MiB)
09:27:05 VK fields saved to "/tmp/4f2c93bf/bb/tmp-lCSazw/vk_fields.json" (mem: 8971.14 MiB)
09:27:06 [09:27:06.231]
INFO:
bb-prover Generated proof for RootParityArtifact in 41662 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":41661.730749999995,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:27:06 [09:27:06.234]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:27:06 [09:27:06.235]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f2c93bf/bb/tmp-lce8Iy/proof -k /tmp/4f2c93bf/bb/tmp-lce8Iy/vk -i /tmp/4f2c93bf/bb/tmp-lce8Iy/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:27:06 [09:27:06.256]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.73 MiB)
09:27:06 Scheme is: ultra_honk, num threads: 128 (mem: 254.73 MiB)
09:27:06 --public_inputs_path: /tmp/4f2c93bf/bb/tmp-lce8Iy/public_inputs (mem: 254.73 MiB)
09:27:06 --proof_path: /tmp/4f2c93bf/bb/tmp-lce8Iy/proof (mem: 254.73 MiB)
09:27:06 --vk_path: /tmp/4f2c93bf/bb/tmp-lce8Iy/vk (mem: 254.73 MiB)
09:27:06 --verbose: true (mem: 254.73 MiB)
09:27:06 --scheme: ultra_honk (mem: 254.73 MiB)
09:27:06 --oracle_hash: poseidon2 (mem: 254.73 MiB)
09:27:06 [09:27:06.257]
VERBOSE:
bb-prover bb-prover (verify) BB out - --disable_zk: true (mem: 254.73 MiB)
09:27:06 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.73 MiB)
09:27:06 [09:27:06.275]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.73 MiB)
09:27:06 [09:27:06.276]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 254.73 MiB)
09:27:06 [09:27:06.277]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.73 MiB)
09:27:06 libra_evals_verified: 1 (mem: 254.73 MiB)
09:27:06 pairing_check_verified: 1 (mem: 254.73 MiB)
09:27:06 [09:27:06.277]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 254.73 MiB)
09:27:06 verified: 1 (mem: 254.73 MiB)
09:27:06 [09:27:06.279]
INFO:
bb-prover Successfully verified proof from key in 44.49630099999922 ms
09:27:06 [09:27:06.282]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:27:06 [09:27:06.283]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f2c93bf/bb/tmp-WlIlIu/proof -k /tmp/4f2c93bf/bb/tmp-WlIlIu/vk -i /tmp/4f2c93bf/bb/tmp-WlIlIu/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:27:06 [09:27:06.306]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
09:27:06 [09:27:06.306]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 254.73 MiB)
09:27:06 Scheme is: ultra_honk, num threads: 128 (mem: 254.73 MiB)
09:27:06 --public_inputs_path: /tmp/4f2c93bf/bb/tmp-WlIlIu/public_inputs (mem: 254.73 MiB)
09:27:06 --proof_path: /tmp/4f2c93bf/bb/tmp-WlIlIu/proof (mem: 254.73 MiB)
09:27:06 --vk_path: /tmp/4f2c93bf/bb/tmp-WlIlIu/vk (mem: 254.73 MiB)
09:27:06 --verbose: true (mem: 254.73 MiB)
09:27:06 --scheme: ultra_honk (mem: 254.73 MiB)
09:27:06 --oracle_hash: poseidon2 (mem: 254.73 MiB)
09:27:06 --disable_zk: true (mem: 254.73 MiB)
09:27:06 [09:27:06.307]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.73 MiB)
09:27:06 [09:27:06.322]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.73 MiB)
09:27:06 Initialized BN254 CRS from memory with num points = 1025 (mem: 254.73 MiB)
09:27:06 [09:27:06.323]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.73 MiB)
09:27:06 libra_evals_verified: 1 (mem: 254.73 MiB)
09:27:06 pairing_check_verified: 1 (mem: 254.73 MiB)
09:27:06 Proof verified successfully (mem: 254.73 MiB)
09:27:06 verified: 1 (mem: 254.73 MiB)
09:27:06 [09:27:06.324]
INFO:
bb-prover Successfully verified proof from key in 42.538431000000855 ms
09:27:06 [09:27:06.419]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
09:27:06
09:27:06 [09:27:06.420]
ERROR:
bb-prover Error running operation at /tmp/4f2c93bf/bb/tmp-vbNfEh: Error: Failed to generate witness: Failed assertion
09:27:06
09:27:06 [09:27:06.639]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":91.33672600000136,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
09:27:06 [09:27:06.640]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:27:06 [09:27:06.641]
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/4f2c93bf/bb/tmp-rX6x6b -b /tmp/4f2c93bf/bb/tmp-rX6x6b/RootParityArtifact-bytecode -w /tmp/4f2c93bf/bb/tmp-rX6x6b/partial-witness.gz -v --init_kzg_accumulator -v
09:27:06 [09:27:06.669]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.73 MiB)
09:27:06 [09:27:06.670]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.73 MiB)
09:27:06 --scheme: ultra_honk (mem: 254.73 MiB)
09:27:06 --bytecode_path: /tmp/4f2c93bf/bb/tmp-rX6x6b/RootParityArtifact-bytecode (mem: 254.73 MiB)
09:27:06 --witness_path: /tmp/4f2c93bf/bb/tmp-rX6x6b/partial-witness.gz (mem: 254.73 MiB)
09:27:06 --output_path: /tmp/4f2c93bf/bb/tmp-rX6x6b (mem: 254.73 MiB)
09:27:06 Warning: the following option is called more than once (mem: 254.73 MiB)
09:27:06 --verbose: true (mem: 254.73 MiB)
09:27:06 --oracle_hash: poseidon2 (mem: 254.73 MiB)
09:27:06 --output_format: bytes_and_fields (mem: 254.73 MiB)
09:27:06 --write_vk: true (mem: 254.73 MiB)
09:27:06 --disable_zk: true (mem: 254.73 MiB)
09:27:06 --init_kzg_accumulator: true (mem: 254.73 MiB)
09:27:06 [09:27:06.883]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.73 MiB)
09:27:06 [09:27:06.904]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 254.73 MiB)
09:27:09 [09:27:09.298]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 409.02 MiB)
09:27:11 [09:27:11.907]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 771.61 MiB)
09:27:14 [09:27:14.083]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1038.29 MiB)
09:27:16 [09:27:16.563]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1413.25 MiB)
09:27:16 [09:27:16.563]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1413.25 MiB)
09:27:17 [09:27:17.997]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1863.49 MiB)
09:27:18 [09:27:18.373]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5517.49 MiB)
09:27:20 [09:27:20.132]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3568 ms. (mem: 6071.49 MiB)
09:27:20 [09:27:20.292]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6071.49 MiB)
09:27:20 [09:27:20.438]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6555.48 MiB)
09:27:21 [09:27:21.699]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7329.48 MiB)
09:27:27 [09:27:27.328]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7329.48 MiB)
09:27:31 [09:27:31.218]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7329.48 MiB)
09:27:33 [09:27:33.554]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8974.22 MiB)
09:27:35 [09:27:35.793]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8976.22 MiB)
09:27:42 [09:27:42.876]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8976.22 MiB)
09:27:44 [09:27:44.226]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8976.22 MiB)
09:27:44 [09:27:44.244]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8976.22 MiB)
09:27:45 [09:27:45.245]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/4f2c93bf/bb/tmp-rX6x6b/public_inputs" (mem: 8976.22 MiB)
09:27:45 [09:27:45.246]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/4f2c93bf/bb/tmp-rX6x6b/public_inputs_fields.json" (mem: 8976.22 MiB)
09:27:45 Proof saved to "/tmp/4f2c93bf/bb/tmp-rX6x6b/proof" (mem: 8976.22 MiB)
09:27:45 Proof fields saved to "/tmp/4f2c93bf/bb/tmp-rX6x6b/proof_fields.json" (mem: 8976.22 MiB)
09:27:45 [09:27:45.246]
INFO:
bb-prover RootParityArtifact BB out - VK saved to "/tmp/4f2c93bf/bb/tmp-rX6x6b/vk" (mem: 8976.22 MiB)
09:27:45 VK fields saved to "/tmp/4f2c93bf/bb/tmp-rX6x6b/vk_fields.json" (mem: 8976.22 MiB)
09:27:45 [09:27:45.535]
INFO:
bb-prover Generated proof for RootParityArtifact in 38885 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":38884.76416400001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:27:45 [09:27:45.540]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:27:45 [09:27:45.541]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f2c93bf/bb/tmp-kiL52t/proof -k /tmp/4f2c93bf/bb/tmp-kiL52t/vk -i /tmp/4f2c93bf/bb/tmp-kiL52t/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:27:45 [09:27:45.577]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.73 MiB)
09:27:45 [09:27:45.578]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.73 MiB)
09:27:45 --public_inputs_path: /tmp/4f2c93bf/bb/tmp-kiL52t/public_inputs (mem: 254.73 MiB)
09:27:45 --proof_path: /tmp/4f2c93bf/bb/tmp-kiL52t/proof (mem: 254.73 MiB)
09:27:45 --vk_path: /tmp/4f2c93bf/bb/tmp-kiL52t/vk (mem: 254.73 MiB)
09:27:45 --verbose: true (mem: 254.73 MiB)
09:27:45 --scheme: ultra_honk (mem: 254.73 MiB)
09:27:45 --oracle_hash: poseidon2 (mem: 254.73 MiB)
09:27:45 --disable_zk: true (mem: 254.73 MiB)
09:27:45 [09:27:45.581]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.73 MiB)
09:27:45 [09:27:45.591]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 254.73 MiB)
09:27:45 Proof verification failed (mem: 254.73 MiB)
09:27:45 [09:27:45.591]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 254.73 MiB)
09:27:45 [09:27:45.593]
ERROR:
bb-prover Error running operation at /tmp/4f2c93bf/bb/tmp-kiL52t: ProvingError: Failed to verify proof from key!
09:27:45 [09:27:45.847]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":97.81302000000142,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
09:27:45 [09:27:45.851]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:27:45 [09:27:45.852]
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/4f2c93bf/bb/tmp-Lx39Pd -b /tmp/4f2c93bf/bb/tmp-Lx39Pd/RootParityArtifact-bytecode -w /tmp/4f2c93bf/bb/tmp-Lx39Pd/partial-witness.gz -v --init_kzg_accumulator -v
09:27:45 [09:27:45.882]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.73 MiB)
09:27:45 Scheme is: ultra_honk, num threads: 128 (mem: 254.73 MiB)
09:27:45 --scheme: ultra_honk (mem: 254.73 MiB)
09:27:45 --bytecode_path: /tmp/4f2c93bf/bb/tmp-Lx39Pd/RootParityArtifact-bytecode (mem: 254.73 MiB)
09:27:45 --witness_path: /tmp/4f2c93bf/bb/tmp-Lx39Pd/partial-witness.gz (mem: 254.73 MiB)
09:27:45 --output_path: /tmp/4f2c93bf/bb/tmp-Lx39Pd (mem: 254.73 MiB)
09:27:45 Warning: the following option is called more than once (mem: 254.73 MiB)
09:27:45 --verbose: true (mem: 254.73 MiB)
09:27:45 --oracle_hash: poseidon2 (mem: 254.73 MiB)
09:27:45 --output_format: bytes_and_fields (mem: 254.73 MiB)
09:27:45 --write_vk: true (mem: 254.73 MiB)
09:27:45 --disable_zk: true (mem: 254.73 MiB)
09:27:45 --init_kzg_accumulator: true (mem: 254.73 MiB)
09:27:46 [09:27:46.082]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.73 MiB)
09:27:46 [09:27:46.096]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 254.73 MiB)
09:27:48 [09:27:48.047]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 421.95 MiB)
09:27:50 [09:27:50.404]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 788.30 MiB)
09:27:52 [09:27:52.262]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1057.15 MiB)
09:27:54 [09:27:54.402]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1431.46 MiB)
09:27:54 [09:27:54.402]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1431.46 MiB)
09:27:55 [09:27:55.529]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1882.86 MiB)
09:27:55 [09:27:55.879]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5528.86 MiB)
09:27:57 [09:27:57.546]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3143 ms. (mem: 6069.86 MiB)
09:27:57 [09:27:57.715]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6069.86 MiB)
09:27:57 [09:27:57.815]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat"
09:27:57 [09:27:57.816]
INFO:
bb-prover RootParityArtifact BB out - (mem:
09:27:57 [09:27:57.816]
INFO:
bb-prover RootParityArtifact BB out - 6552.67
09:27:57 [09:27:57.817]
INFO:
bb-prover RootParityArtifact BB out - MiB)
09:27:57 [09:27:57.817]
INFO:
bb-prover RootParityArtifact BB out -
09:27:59 [09:27:59.120]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7325.67 MiB)
09:28:04 [09:28:04.400]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7325.67 MiB)
09:28:08 [09:28:08.754]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7325.67 MiB)
09:28:11 [09:28:11.074]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8973.53 MiB)
09:28:13 [09:28:13.172]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8973.53 MiB)
09:28:18 [09:28:18.587]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8973.53 MiB)
09:28:19 [09:28:19.885]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8973.53 MiB)
09:28:19 [09:28:19.894]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8973.53 MiB)
09:28:20 [09:28:20.849]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/4f2c93bf/bb/tmp-Lx39Pd/public_inputs" (mem: 8973.53 MiB)
09:28:20 [09:28:20.850]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/4f2c93bf/bb/tmp-Lx39Pd/public_inputs_fields.json" (mem: 8973.53 MiB)
09:28:20 Proof saved to "/tmp/4f2c93bf/bb/tmp-Lx39Pd/proof" (mem: 8973.53 MiB)
09:28:20 Proof fields saved to "/tmp/4f2c93bf/bb/tmp-Lx39Pd/proof_fields.json" (mem: 8973.53 MiB)
09:28:20 [09:28:20.850]
INFO:
bb-prover RootParityArtifact BB out - VK saved to "/tmp/4f2c93bf/bb/tmp-Lx39Pd/vk" (mem: 8973.53 MiB)
09:28:20 VK fields saved to "/tmp/4f2c93bf/bb/tmp-Lx39Pd/vk_fields.json" (mem: 8973.53 MiB)
09:28:21 [09:28:21.130]
INFO:
bb-prover Generated proof for RootParityArtifact in 35277 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":35276.147224,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:28:21 [09:28:21.132]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:28:21 [09:28:21.133]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/4f2c93bf/bb/tmp-crB7Pe/proof -k /tmp/4f2c93bf/bb/tmp-crB7Pe/vk -i /tmp/4f2c93bf/bb/tmp-crB7Pe/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:28:21 [09:28:21.153]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.73 MiB)
09:28:21 [09:28:21.154]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.73 MiB)
09:28:21 --public_inputs_path: /tmp/4f2c93bf/bb/tmp-crB7Pe/public_inputs (mem: 254.73 MiB)
09:28:21 --proof_path: /tmp/4f2c93bf/bb/tmp-crB7Pe/proof (mem: 254.73 MiB)
09:28:21 --vk_path: /tmp/4f2c93bf/bb/tmp-crB7Pe/vk (mem: 254.73 MiB)
09:28:21 --verbose: true (mem: 254.73 MiB)
09:28:21 --scheme: ultra_honk (mem: 254.73 MiB)
09:28:21 --oracle_hash: poseidon2 (mem: 254.73 MiB)
09:28:21 --disable_zk: true (mem: 254.73 MiB)
09:28:21 [09:28:21.154]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.73 MiB)
09:28:21 [09:28:21.163]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 254.73 MiB)
09:28:21 Proof verification failed (mem: 254.73 MiB)
09:28:21 [09:28:21.164]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 254.73 MiB)
09:28:21 [09:28:21.165]
ERROR:
bb-prover Error running operation at /tmp/4f2c93bf/bb/tmp-crB7Pe: ProvingError: Failed to verify proof from key!
09:28:21 [09:28:21.167]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
09:28:21
PASS src/test/bb_prover_parity.test.ts (
130.697 s)
09:28:21 prover/bb_prover/parity
09:28:21
✓ proves the parity circuits (121807 ms)
09:28:21
09:28:21
Test Suites: 1 passed, 1 total
09:28:21
Tests: 1 passed, 1 total
09:28:21
Snapshots: 0 total
09:28:21
Time: 130.788 s
09:28:21
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
09:28:21
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?