Parent Log:
http://ci.aztec-labs.com/a86e01d3b8d093a5
Command: 73379369dc8552ae: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/73e6175e802437ee93b26885b6aff2fc12640523
Env: REF_NAME=gh-readonly-queue/next/pr-15163-4608046e462faf9ff3fbee265ba34dbecb5d0b31 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 23 14:09:56 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15163_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
14:09:56 +++ id -u
14:09:56 +++ id -g
14:09:56 ++ 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'\'''
14:09:57 + cid=7e85bb00ff8222bb66c3eaf97b248461658181602a65c5dba3151107e502c078
14:09:57 + set +x
14:09:59 {"level":25,"time":1750687799000,"pid":7,"hostname":"7e85bb00ff82","module":"logger","msg":"Logger initialized with level verbose"}
14:10:07 [14:10:07.221]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-gU5FCR/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
14:10:07 [14:10:07.285]
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/3d31aa7e/bb
14:10:07 [14:10:07.286]
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/3d31aa7e/acvm
14:10:07 [14:10:07.289]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/3d31aa7e/bb
14:10:07 [14:10:07.290]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/3d31aa7e/acvm
14:10:07 [14:10:07.293]
INFO:
prover-client:proving-broker Proving Broker started
14:10:07 [14:10:07.295]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
14:10:07 [14:10:07.535]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":55.253819000001386,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:10:07 [14:10:07.558]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":78.28158199999962,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:10:07 [14:10:07.566]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":111.35621299999912,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:10:07 [14:10:07.574]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":38.98333300000013,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:10:07 [14:10:07.576]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:10:07 [14:10:07.577]
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/3d31aa7e/bb/tmp-7IoRHn -b /tmp/3d31aa7e/bb/tmp-7IoRHn/BaseParityArtifact-bytecode -w /tmp/3d31aa7e/bb/tmp-7IoRHn/partial-witness.gz -v --init_kzg_accumulator -v
14:10:07 [14:10:07.596]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:10:07 [14:10:07.597]
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/3d31aa7e/bb/tmp-MfDANS -b /tmp/3d31aa7e/bb/tmp-MfDANS/BaseParityArtifact-bytecode -w /tmp/3d31aa7e/bb/tmp-MfDANS/partial-witness.gz -v --init_kzg_accumulator -v
14:10:07 [14:10:07.628]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:10:07 [14:10:07.630]
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/3d31aa7e/bb/tmp-Qy2uXT -b /tmp/3d31aa7e/bb/tmp-Qy2uXT/BaseParityArtifact-bytecode -w /tmp/3d31aa7e/bb/tmp-Qy2uXT/partial-witness.gz -v --init_kzg_accumulator -v
14:10:07 [14:10:07.657]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.42 MiB)
14:10:07 Scheme is: ultra_honk, num threads: 128 (mem: 252.42 MiB)
14:10:07 --scheme: ultra_honk (mem: 252.42 MiB)
14:10:07 --bytecode_path: /tmp/3d31aa7e/bb/tmp-7IoRHn/BaseParityArtifact-bytecode (mem: 252.42 MiB)
14:10:07 --witness_path: /tmp/3d31aa7e/bb/tmp-7IoRHn/partial-witness.gz (mem: 252.42 MiB)
14:10:07 --output_path: /tmp/3d31aa7e/bb/tmp-7IoRHn (mem: 252.42 MiB)
14:10:07 Warning: the following option is called more than once (mem: 252.42 MiB)
14:10:07 --verbose: true (mem: 252.42 MiB)
14:10:07 --oracle_hash: poseidon2 (mem: 252.42 MiB)
14:10:07 --output_format: bytes_and_fields (mem: 252.42 MiB)
14:10:07 --write_vk: true (mem: 252.42 MiB)
14:10:07 --disable_zk: true (mem: 252.42 MiB)
14:10:07 --init_kzg_accumulator: true (mem: 252.42 MiB)
14:10:07 [14:10:07.661]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.42 MiB)
14:10:07 Scheme is: ultra_honk, num threads: 128 (mem: 252.42 MiB)
14:10:07 --scheme: ultra_honk (mem: 252.42 MiB)
14:10:07 --bytecode_path: /tmp/3d31aa7e/bb/tmp-MfDANS/BaseParityArtifact-bytecode (mem: 252.42 MiB)
14:10:07 --witness_path: /tmp/3d31aa7e/bb/tmp-MfDANS/partial-witness.gz (mem: 252.42 MiB)
14:10:07 --output_path: /tmp/3d31aa7e/bb/tmp-MfDANS (mem: 252.42 MiB)
14:10:07 Warning: the following option is called more than once (mem: 252.42 MiB)
14:10:07 --verbose: true (mem: 252.42 MiB)
14:10:07 --oracle_hash: poseidon2 (mem: 252.42 MiB)
14:10:07 --output_format: bytes_and_fields (mem: 252.42 MiB)
14:10:07 --write_vk: true (mem: 252.42 MiB)
14:10:07 --disable_zk: true (mem: 252.42 MiB)
14:10:07 --init_kzg_accumulator: true (mem: 252.42 MiB)
14:10:07 [14:10:07.662]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:10:07 [14:10:07.662]
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/3d31aa7e/bb/tmp-iiE5k2 -b /tmp/3d31aa7e/bb/tmp-iiE5k2/BaseParityArtifact-bytecode -w /tmp/3d31aa7e/bb/tmp-iiE5k2/partial-witness.gz -v --init_kzg_accumulator -v
14:10:07 [14:10:07.684]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.96 MiB)
14:10:07 Scheme is: ultra_honk, num threads: 128 (mem: 251.96 MiB)
14:10:07 --scheme: ultra_honk (mem: 251.96 MiB)
14:10:07 --bytecode_path: /tmp/3d31aa7e/bb/tmp-Qy2uXT/BaseParityArtifact-bytecode (mem: 251.96 MiB)
14:10:07 --witness_path: /tmp/3d31aa7e/bb/tmp-Qy2uXT/partial-witness.gz (mem: 251.96 MiB)
14:10:07 --output_path: /tmp/3d31aa7e/bb/tmp-Qy2uXT (mem: 251.96 MiB)
14:10:07 Warning: the following option is called more than once (mem: 251.96 MiB)
14:10:07 --verbose: true (mem: 251.96 MiB)
14:10:07 --oracle_hash: poseidon2 (mem: 251.96 MiB)
14:10:07 --output_format: bytes_and_fields (mem: 251.96 MiB)
14:10:07 --write_vk: true (mem: 251.96 MiB)
14:10:07 --disable_zk: true (mem: 251.96 MiB)
14:10:07 --init_kzg_accumulator: true (mem: 251.96 MiB)
14:10:07 [14:10:07.688]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.43 MiB)
14:10:07 Scheme is: ultra_honk, num threads: 128 (mem:
14:10:07 [14:10:07.690]
INFO:
bb-prover BaseParityArtifact BB out - 252.43 MiB)
14:10:07 --scheme: ultra_honk (mem: 252.43 MiB)
14:10:07 --bytecode_path: /tmp/3d31aa7e/bb/tmp-iiE5k2/BaseParityArtifact-bytecode (mem: 252.43 MiB)
14:10:07 --witness_path: /tmp/3d31aa7e/bb/tmp-iiE5k2/partial-witness.gz (mem: 252.43 MiB)
14:10:07 --output_path: /tmp/3d31aa7e/bb/tmp-iiE5k2 (mem: 252.43 MiB)
14:10:07 Warning: the following option is called more than once (mem: 252.43 MiB)
14:10:07 --verbose: true (mem: 252.43 MiB)
14:10:07 --oracle_hash: poseidon2 (mem: 252.43 MiB)
14:10:07 --output_format: bytes_and_fields (mem: 252.43 MiB)
14:10:07 --write_vk: true (mem: 252.43 MiB)
14:10:07 --disable_zk: true (mem: 252.43 MiB)
14:10:07 --init_kzg_accumulator: true (mem: 252.43 MiB)
14:10:07 [14:10:07.764]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.42 MiB)
14:10:07 Constructing DeciderProvingKey (mem: 252.42 MiB)
14:10:07 [14:10:07.768]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.42 MiB)
14:10:07 [14:10:07.821]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.42 MiB)
14:10:07 [14:10:07.829]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 252.42 MiB)
14:10:07 [14:10:07.836]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.43 MiB)
14:10:07 [14:10:07.836]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 252.43 MiB)
14:10:07 [14:10:07.842]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.43 MiB)
14:10:07 [14:10:07.843]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.42 MiB)
14:10:07 [14:10:07.884]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.96 MiB)
14:10:07 [14:10:07.887]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.96 MiB)
14:10:07 [14:10:07.892]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.96 MiB)
14:10:07 [14:10:07.924]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.42 MiB)
14:10:08 [14:10:08.002]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 221 ms. (mem: 252.42 MiB)
14:10:08 [14:10:08.014]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.42 MiB)
14:10:08 [14:10:08.018]
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.42 MiB)
14:10:08 [14:10:08.019]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.42 MiB)
14:10:08 [14:10:08.024]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.43 MiB)
14:10:08 [14:10:08.027]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 252.42 MiB)
14:10:08 [14:10:08.140]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 302 ms. (mem: 252.43 MiB)
14:10:08 [14:10:08.142]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 320 ms. (mem: 252.42 MiB)
14:10:08 [14:10:08.145]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.96 MiB)
14:10:08 [14:10:08.148]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.42 MiB)
14:10:08 [14:10:08.149]
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.42 MiB)
14:10:08 [14:10:08.150]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.43 MiB)
14:10:08 [14:10:08.150]
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.43 MiB)
14:10:08 [14:10:08.161]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 252.42 MiB)
14:10:08 [14:10:08.162]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 252.43 MiB)
14:10:08 [14:10:08.221]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 335 ms. (mem: 251.96 MiB)
14:10:08 [14:10:08.227]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.96 MiB)
14:10:08 [14:10:08.231]
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.96 MiB)
14:10:08 [14:10:08.236]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 251.96 MiB)
14:10:09 [14:10:09.068]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.42 MiB)
14:10:09 [14:10:09.192]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.42 MiB)
14:10:09 [14:10:09.414]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.96 MiB)
14:10:09 [14:10:09.629]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.43 MiB)
14:10:09 [14:10:09.639]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.42 MiB)
14:10:09 [14:10:09.775]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.42 MiB)
14:10:09 [14:10:09.977]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.96 MiB)
14:10:10 [14:10:10.031]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.42 MiB)
14:10:10 [14:10:10.138]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.42 MiB)
14:10:10 [14:10:10.151]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.43 MiB)
14:10:10 [14:10:10.307]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.42 MiB)
14:10:10 [14:10:10.313]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.96 MiB)
14:10:10 [14:10:10.387]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.42 MiB)
14:10:10 [14:10:10.458]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.43 MiB)
14:10:10 [14:10:10.529]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.96 MiB)
14:10:10 [14:10:10.589]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.43 MiB)
14:10:11 [14:10:11.876]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.42 MiB)
14:10:11 [14:10:11.947]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.42 MiB)
14:10:11 finished decider proving. (mem: 252.42 MiB)
14:10:11 [14:10:11.948]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/3d31aa7e/bb/tmp-MfDANS/public_inputs" (mem: 252.42 MiB)
14:10:11 Public inputs fields saved to "/tmp/3d31aa7e/bb/tmp-MfDANS/public_inputs_fields.json" (mem: 252.42 MiB)
14:10:11 Proof saved to "/tmp/3d31aa7e/bb/tmp-MfDANS/proof" (mem: 252.42 MiB)
14:10:11 Proof fields saved to "/tmp/3d31aa7e/bb/tmp-MfDANS/proof_fields.json" (mem: 252.42 MiB)
14:10:11 VK saved to "/tmp/3d31aa7e/bb/tmp-MfDANS/vk" (mem: 252.42 MiB)
14:10:11 [14:10:11.949]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/3d31aa7e/bb/tmp-MfDANS/vk_fields.json" (mem: 252.42 MiB)
14:10:12 [14:10:12.008]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4393 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4392.579312999998,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:10:12 [14:10:12.031]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:10:12 [14:10:12.032]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3d31aa7e/bb/tmp-BonCJU/proof -k /tmp/3d31aa7e/bb/tmp-BonCJU/vk -i /tmp/3d31aa7e/bb/tmp-BonCJU/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:10:12 [14:10:12.059]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
14:10:12 [14:10:12.059]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
14:10:12 [14:10:12.060]
VERBOSE:
bb-prover bb-prover (verify) BB out - 252.43
14:10:12 [14:10:12.062]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
14:10:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.43 MiB)
14:10:12 --public_inputs_path: /tmp/3d31aa7e/bb/tmp-BonCJU/public_inputs (mem: 252.43 MiB)
14:10:12 --proof_path: /tmp/3d31aa7e/bb/tmp-BonCJU/proof (mem: 252.43 MiB)
14:10:12 --vk_path: /tmp/3d31aa7e/bb/tmp-BonCJU/vk (mem: 252.43 MiB)
14:10:12 --verbose: true (mem: 252.43 MiB)
14:10:12 --scheme: ultra_honk (mem: 252.43 MiB)
14:10:12 --oracle_hash: poseidon2 (mem: 252.43 MiB)
14:10:12 --disable_zk: true (mem: 252.43 MiB)
14:10:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.43 MiB)
14:10:12 [14:10:12.078]
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"
14:10:12 [14:10:12.079]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
14:10:12 [14:10:12.079]
VERBOSE:
bb-prover bb-prover (verify) BB out - 252.43
14:10:12 [14:10:12.079]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
14:10:12 [14:10:12.083]
VERBOSE:
bb-prover bb-prover (verify) BB out -
14:10:12 Initialized BN254 CRS from memory with num points = 1 (mem: 252.43 MiB)
14:10:12 sumcheck_verified: 1 (mem: 252.43 MiB)
14:10:12 libra_evals_verified: 1 (mem: 252.43 MiB)
14:10:12 pairing_check_verified: 1 (mem: 252.43 MiB)
14:10:12 Proof verified successfully (mem: 252.43 MiB)
14:10:12 verified: 1 (mem: 252.43 MiB)
14:10:12 [14:10:12.084]
INFO:
bb-prover Successfully verified proof from key in 52.48017600000094 ms
14:10:12 [14:10:12.179]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.42 MiB)
14:10:12 [14:10:12.305]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.42 MiB)
14:10:12 [14:10:12.307]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 252.42 MiB)
14:10:12 Public inputs saved to "/tmp/3d31aa7e/bb/tmp-7IoRHn/public_inputs" (mem: 252.42 MiB)
14:10:12 Public inputs fields saved to "/tmp/3d31aa7e/bb/tmp-7IoRHn/public_inputs_fields.json" (mem: 252.42 MiB)
14:10:12 Proof saved to "/tmp/3d31aa7e/bb/tmp-7IoRHn/proof" (mem: 252.42 MiB)
14:10:12 Proof fields saved to "/tmp/3d31aa7e/bb/tmp-7IoRHn/proof_fields.json" (mem: 252.42 MiB)
14:10:12 VK saved to "/tmp/3d31aa7e/bb/tmp-7IoRHn/vk" (mem: 252.42 MiB)
14:10:12 VK fields saved to "/tmp/3d31aa7e/bb/tmp-7IoRHn/vk_fields.json" (mem: 252.42 MiB)
14:10:12 [14:10:12.356]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.43 MiB)
14:10:12 [14:10:12.357]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.96 MiB)
14:10:12 [14:10:12.360]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4781 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4780.056406999998,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:10:12 [14:10:12.363]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:10:12 [14:10:12.363]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3d31aa7e/bb/tmp-bgKog9/proof -k /tmp/3d31aa7e/bb/tmp-bgKog9/vk -i /tmp/3d31aa7e/bb/tmp-bgKog9/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:10:12 [14:10:12.440]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.43 MiB)
14:10:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.43 MiB)
14:10:12 --public_inputs_path: /tmp/3d31aa7e/bb/tmp-bgKog9/public_inputs (mem: 252.43 MiB)
14:10:12 --proof_path: /tmp/3d31aa7e/bb/tmp-bgKog9/proof (mem: 252.43 MiB)
14:10:12 --vk_path: /tmp/3d31aa7e/bb/tmp-bgKog9/vk (mem: 252.43 MiB)
14:10:12 --verbose: true (mem: 252.43 MiB)
14:10:12 --scheme: ultra_honk (mem: 252.43 MiB)
14:10:12 --oracle_hash: poseidon2 (mem: 252.43 MiB)
14:10:12 --disable_zk: true (mem: 252.43 MiB)
14:10:12 [14:10:12.444]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.43 MiB)
14:10:12 [14:10:12.458]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.43 MiB)
14:10:12 [14:10:12.458]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 252.43 MiB)
14:10:12 Public inputs saved to "/tmp/3d31aa7e/bb/tmp-iiE5k2/public_inputs" (mem: 252.43 MiB)
14:10:12 Public inputs fields saved to "/tmp/3d31aa7e/bb/tmp-iiE5k2/public_inputs_fields.json" (mem: 252.43 MiB)
14:10:12 Proof saved to "/tmp/3d31aa7e/bb/tmp-iiE5k2/proof" (mem: 252.43 MiB)
14:10:12 [14:10:12.462]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.96 MiB)
14:10:12 finished decider proving. (mem: 251.96 MiB)
14:10:12 Public inputs saved to "/tmp/3d31aa7e/bb/tmp-Qy2uXT/public_inputs" (mem: 251.96 MiB)
14:10:12 Public inputs fields saved to "/tmp/3d31aa7e/bb/tmp-Qy2uXT/public_inputs_fields.json" (mem: 251.96 MiB)
14:10:12 Proof saved to "/tmp/3d31aa7e/bb/tmp-Qy2uXT/proof" (mem: 251.96 MiB)
14:10:12 Proof fields saved to "/tmp/3d31aa7e/bb/tmp-Qy2uXT/proof_fields.json" (mem: 251.96 MiB)
14:10:12 VK saved to "/tmp/3d31aa7e/bb/tmp-Qy2uXT/vk" (mem: 251.96 MiB)
14:10:12 VK fields saved to "/tmp/3d31aa7e/bb/tmp-Qy2uXT/vk_fields.json" (mem: 251.96 MiB)
14:10:12 [14:10:12.463]
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.43 MiB)
14:10:12 [14:10:12.473]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/3d31aa7e/bb/tmp-iiE5k2/proof_fields.json" (mem: 252.43 MiB)
14:10:12 VK saved to "/tmp/3d31aa7e/bb/tmp-iiE5k2/vk" (mem: 252.43 MiB)
14:10:12 VK fields saved to "/tmp/3d31aa7e/bb/tmp-iiE5k2/vk_fields.json" (mem: 252.43 MiB)
14:10:12 [14:10:12.483]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1
14:10:12 [14:10:12.497]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 252.43 MiB)
14:10:12 sumcheck_verified: 1 (mem: 252.43 MiB)
14:10:12 libra_evals_verified: 1 (mem: 252.43 MiB)
14:10:12 pairing_check_verified: 1 (mem: 252.43 MiB)
14:10:12 Proof verified successfully (mem: 252.43 MiB)
14:10:12 verified: 1 (mem: 252.43 MiB)
14:10:12 [14:10:12.501]
INFO:
bb-prover Successfully verified proof from key in 137.89156199999888 ms
14:10:12 [14:10:12.515]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4848 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4847.701449,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:10:12 [14:10:12.519]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:10:12 [14:10:12.519]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3d31aa7e/bb/tmp-xWj0uL/proof -k /tmp/3d31aa7e/bb/tmp-xWj0uL/vk -i /tmp/3d31aa7e/bb/tmp-xWj0uL/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:10:12 [14:10:12.546]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4916 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4915.6368969999985,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:10:12 [14:10:12.549]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:10:12 [14:10:12.549]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3d31aa7e/bb/tmp-qTnn9K/proof -k /tmp/3d31aa7e/bb/tmp-qTnn9K/vk -i /tmp/3d31aa7e/bb/tmp-qTnn9K/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:10:12 [14:10:12.573]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.50 MiB)
14:10:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.50 MiB)
14:10:12 --public_inputs_path: /tmp/3d31aa7e/bb/tmp-xWj0uL/public_inputs (mem: 252.50 MiB)
14:10:12 --proof_path: /tmp/3d31aa7e/bb/tmp-xWj0uL/proof (mem: 252.50 MiB)
14:10:12 --vk_path: /tmp/3d31aa7e/bb/tmp-xWj0uL/vk (mem: 252.50 MiB)
14:10:12 --verbose: true (mem: 252.50 MiB)
14:10:12 --scheme: ultra_honk (mem: 252.50 MiB)
14:10:12 --oracle_hash: poseidon2 (mem: 252.50 MiB)
14:10:12 --disable_zk: true (mem: 252.50 MiB)
14:10:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.50 MiB)
14:10:12 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.50 MiB)
14:10:12 Initialized BN254 CRS from memory with num points = 1 (mem: 252.50 MiB)
14:10:12 sumcheck_verified: 1 (mem: 252.50 MiB)
14:10:12 libra_evals_verified: 1 (mem: 252.50 MiB)
14:10:12 pairing_check_verified: 1 (mem: 252.50 MiB)
14:10:12 Proof verified successfully (mem: 252.50 MiB)
14:10:12 verified: 1 (mem: 252.50 MiB)
14:10:12 [14:10:12.575]
INFO:
bb-prover Successfully verified proof from key in 55.8094889999993 ms
14:10:12 [14:10:12.580]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
14:10:12 [14:10:12.584]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 252.58 MiB)
14:10:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.58 MiB)
14:10:12 --public_inputs_path: /tmp/3d31aa7e/bb/tmp-qTnn9K/public_inputs (mem: 252.58 MiB)
14:10:12 --proof_path: /tmp/3d31aa7e/bb/tmp-qTnn9K/proof (mem: 252.58 MiB)
14:10:12 --vk_path: /tmp/3d31aa7e/bb/tmp-qTnn9K/vk (mem: 252.58 MiB)
14:10:12 --verbose: true (mem: 252.58 MiB)
14:10:12 --scheme: ultra_honk (mem: 252.58 MiB)
14:10:12 --oracle_hash: poseidon2 (mem: 252.58 MiB)
14:10:12 --disable_zk: true (mem: 252.58 MiB)
14:10:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.58 MiB)
14:10:12 [14:10:12.603]
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.58 MiB)
14:10:12 [14:10:12.604]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 252.58 MiB)
14:10:12 [14:10:12.605]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.58 MiB)
14:10:12 libra_evals_verified: 1 (mem: 252.58 MiB)
14:10:12 pairing_check_verified: 1 (mem: 252.58 MiB)
14:10:12 Proof verified successfully (mem: 252.58 MiB)
14:10:12 [14:10:12.606]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 252.58 MiB)
14:10:12 [14:10:12.607]
INFO:
bb-prover Successfully verified proof from key in 57.98139000000083 ms
14:10:12 [14:10:12.618]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:10:12 [14:10:12.618]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3d31aa7e/bb/tmp-xedJf4/proof -k /tmp/3d31aa7e/bb/tmp-xedJf4/vk -i /tmp/3d31aa7e/bb/tmp-xedJf4/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:10:12 [14:10:12.637]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:10:12 [14:10:12.637]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3d31aa7e/bb/tmp-1xblFA/proof -k /tmp/3d31aa7e/bb/tmp-1xblFA/vk -i /tmp/3d31aa7e/bb/tmp-1xblFA/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:10:12 [14:10:12.668]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:10:12 [14:10:12.669]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3d31aa7e/bb/tmp-kgZwpu/proof -k /tmp/3d31aa7e/bb/tmp-kgZwpu/vk -i /tmp/3d31aa7e/bb/tmp-kgZwpu/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:10:12 [14:10:12.709]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.67 MiB)
14:10:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.67 MiB)
14:10:12 --public_inputs_path: /tmp/3d31aa7e/bb/tmp-xedJf4/public_inputs (mem: 252.67 MiB)
14:10:12 --proof_path: /tmp/3d31aa7e/bb/tmp-xedJf4/proof (mem: 252.67 MiB)
14:10:12 --vk_path: /tmp/3d31aa7e/bb/tmp-xedJf4/vk (mem: 252.67 MiB)
14:10:12 --verbose: true (mem: 252.67 MiB)
14:10:12 --scheme: ultra_honk (mem: 252.67 MiB)
14:10:12 --oracle_hash: poseidon2 (mem: 252.67 MiB)
14:10:12 --disable_zk: true (mem: 252.67 MiB)
14:10:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.67 MiB)
14:10:12 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.67 MiB)
14:10:12 Initialized BN254 CRS from memory with num points = 1 (mem: 252.67 MiB)
14:10:12 sumcheck_verified: 1 (mem: 252.67 MiB)
14:10:12 libra_evals_verified: 1 (mem: 252.67 MiB)
14:10:12 pairing_check_verified: 1 (mem: 252.67 MiB)
14:10:12 Proof verified successfully (mem: 252.67 MiB)
14:10:12 verified: 1 (mem: 252.67 MiB)
14:10:12 [14:10:12.710]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.67 MiB)
14:10:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.67 MiB)
14:10:12 --public_inputs_path: /tmp/3d31aa7e/bb/tmp-1xblFA/public_inputs (mem: 252.67 MiB)
14:10:12 --proof_path: /tmp/3d31aa7e/bb/tmp-1xblFA/proof (mem: 252.67 MiB)
14:10:12 --vk_path: /tmp/3d31aa7e/bb/tmp-1xblFA/vk (mem: 252.67 MiB)
14:10:12 --verbose: true (mem: 252.67 MiB)
14:10:12 --scheme: ultra_honk (mem: 252.67 MiB)
14:10:12 --oracle_hash: poseidon2 (mem: 252.67 MiB)
14:10:12 --disable_zk: true (mem: 252.67 MiB)
14:10:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.67 MiB)
14:10:12 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.67 MiB)
14:10:12 Initialized BN254 CRS from memory with num points = 1 (mem: 252.67 MiB)
14:10:12 sumcheck_verified: 1 (mem: 252.67 MiB)
14:10:12 libra_evals_verified: 1 (mem: 252.67 MiB)
14:10:12 pairing_check_verified: 1 (mem: 252.67 MiB)
14:10:12 Proof verified successfully (mem: 252.67 MiB)
14:10:12 verified: 1 (mem: 252.67 MiB)
14:10:12 [14:10:12.711]
INFO:
bb-prover Successfully verified proof from key in 93.0267189999995 ms
14:10:12 [14:10:12.715]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:10:12 [14:10:12.715]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3d31aa7e/bb/tmp-fuGmQA/proof -k /tmp/3d31aa7e/bb/tmp-fuGmQA/vk -i /tmp/3d31aa7e/bb/tmp-fuGmQA/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:10:12 [14:10:12.742]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.67 MiB)
14:10:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.67 MiB)
14:10:12 --public_inputs_path: /tmp/3d31aa7e/bb/tmp-kgZwpu/public_inputs (mem: 252.67 MiB)
14:10:12 --proof_path: /tmp/3d31aa7e/bb/tmp-kgZwpu/proof (mem: 252.67 MiB)
14:10:12 --vk_path: /tmp/3d31aa7e/bb/tmp-kgZwpu/vk (mem: 252.67 MiB)
14:10:12 --verbose: true (mem: 252.67 MiB)
14:10:12 --scheme: ultra_honk (mem: 252.67 MiB)
14:10:12 --oracle_hash: poseidon2 (mem: 252.67 MiB)
14:10:12 --disable_zk: true (mem: 252.67 MiB)
14:10:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.67 MiB)
14:10:12 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.67 MiB)
14:10:12 Initialized BN254 CRS from memory with num points = 1 (mem: 252.67 MiB)
14:10:12 sumcheck_verified: 1 (mem: 252.67 MiB)
14:10:12 libra_evals_verified: 1 (mem: 252.67 MiB)
14:10:12 pairing_check_verified: 1 (mem: 252.67 MiB)
14:10:12 Proof verified successfully (mem: 252.67 MiB)
14:10:12 verified: 1 (mem: 252.67 MiB)
14:10:12 [14:10:12.743]
INFO:
bb-prover Successfully verified proof from key in 106.49303200000031 ms
14:10:12 [14:10:12.744]
INFO:
bb-prover Successfully verified proof from key in 76.03025999999954 ms
14:10:12 [14:10:12.746]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
14:10:12 [14:10:12.747]
VERBOSE:
bb-prover bb-prover (verify) BB out - 252.67 MiB)
14:10:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.67 MiB)
14:10:12 --public_inputs_path: /tmp/3d31aa7e/bb/tmp-fuGmQA/public_inputs (mem: 252.67 MiB)
14:10:12 --proof_path: /tmp/3d31aa7e/bb/tmp-fuGmQA/proof (mem: 252.67 MiB)
14:10:12 --vk_path: /tmp/3d31aa7e/bb/tmp-fuGmQA/vk (mem: 252.67 MiB)
14:10:12 --verbose: true (mem: 252.67 MiB)
14:10:12 --scheme: ultra_honk (mem: 252.67 MiB)
14:10:12 --oracle_hash: poseidon2 (mem: 252.67 MiB)
14:10:12 --disable_zk: true (mem: 252.67 MiB)
14:10:12 [14:10:12.748]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.67 MiB)
14:10:12 [14:10:12.768]
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.67 MiB)
14:10:12 [14:10:12.773]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 252.67 MiB)
14:10:12 sumcheck_verified: 1 (mem: 252.67 MiB)
14:10:12 libra_evals_verified: 1 (mem: 252.67 MiB)
14:10:12 pairing_check_verified: 1 (mem: 252.67 MiB)
14:10:12 Proof verified successfully (mem: 252.67 MiB)
14:10:12 verified: 1 (mem: 252.67 MiB)
14:10:12 [14:10:12.774]
INFO:
bb-prover Successfully verified proof from key in 59.01389999999992 ms
14:10:12 [14:10:12.984]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":80.94835200000125,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
14:10:12 [14:10:12.992]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:10:12 [14:10:12.992]
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/3d31aa7e/bb/tmp-uaqNo0 -b /tmp/3d31aa7e/bb/tmp-uaqNo0/RootParityArtifact-bytecode -w /tmp/3d31aa7e/bb/tmp-uaqNo0/partial-witness.gz -v --init_kzg_accumulator -v
14:10:13 [14:10:13.019]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
14:10:13 [14:10:13.019]
INFO:
bb-prover RootParityArtifact BB out - (mem:
14:10:13 [14:10:13.020]
INFO:
bb-prover RootParityArtifact BB out - 254.42 MiB)
14:10:13 Scheme is: ultra_honk, num threads: 128 (mem: 254.42 MiB)
14:10:13 --scheme: ultra_honk (mem: 254.42 MiB)
14:10:13 --bytecode_path: /tmp/3d31aa7e/bb/tmp-uaqNo0/RootParityArtifact-bytecode (mem: 254.42 MiB)
14:10:13 --witness_path: /tmp/3d31aa7e/bb/tmp-uaqNo0/partial-witness.gz (mem: 254.42 MiB)
14:10:13 --output_path: /tmp/3d31aa7e/bb/tmp-uaqNo0 (mem: 254.42 MiB)
14:10:13 Warning: the following option is called more than once (mem: 254.42 MiB)
14:10:13 --verbose: true (mem: 254.42 MiB)
14:10:13 --oracle_hash: poseidon2 (mem: 254.42 MiB)
14:10:13 --output_format: bytes_and_fields (mem: 254.42 MiB)
14:10:13 --write_vk: true (mem: 254.42 MiB)
14:10:13 --disable_zk: true (mem: 254.42 MiB)
14:10:13 --init_kzg_accumulator: true (mem: 254.42 MiB)
14:10:13 [14:10:13.208]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.42 MiB)
14:10:15 [14:10:15.270]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 424.98 MiB)
14:10:17 [14:10:17.989]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 792.19 MiB)
14:10:20 [14:10:20.106]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1063.67 MiB)
14:10:22 [14:10:22.523]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1436.42 MiB)
14:10:22 Constructing DeciderProvingKey (mem: 1436.42 MiB)
14:10:23 [14:10:23.856]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1848.45 MiB)
14:10:24 [14:10:24.298]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5486.48 MiB)
14:10:26 [14:10:26.060]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3537 ms. (mem: 6073.48 MiB)
14:10:26 [14:10:26.206]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6073.48 MiB)
14:10:26 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6073.48 MiB)
14:10:27 [14:10:27.080]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6073.48 MiB)
14:10:31 [14:10:31.408]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6073.48 MiB)
14:10:36 [14:10:36.969]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6073.48 MiB)
14:10:38 [14:10:38.875]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6749.60 MiB)
14:10:41 [14:10:41.264]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6749.60 MiB)
14:10:49 [14:10:49.456]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6749.60 MiB)
14:10:51 [14:10:51.256]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6749.60 MiB)
14:10:51 [14:10:51.266]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6749.60 MiB)
14:10:51 [14:10:51.733]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/3d31aa7e/bb/tmp-uaqNo0/public_inputs" (mem: 6749.60 MiB)
14:10:51 Public inputs fields saved to "/tmp/3d31aa7e/bb/tmp-uaqNo0/public_inputs_fields.json" (mem: 6749.60 MiB)
14:10:51 [14:10:51.734]
INFO:
bb-prover RootParityArtifact BB out - Proof saved to "/tmp/3d31aa7e/bb/tmp-uaqNo0/proof" (mem: 6749.60 MiB)
14:10:51 Proof fields saved to "/tmp/3d31aa7e/bb/tmp-uaqNo0/proof_fields.json" (mem: 6749.60 MiB)
14:10:51 VK saved to "/tmp/3d31aa7e/bb/tmp-uaqNo0/vk" (mem: 6749.60 MiB)
14:10:51 VK fields saved to "/tmp/3d31aa7e/bb/tmp-uaqNo0/vk_fields.json" (mem: 6749.60 MiB)
14:10:51 [14:10:51.917]
INFO:
bb-prover Generated proof for RootParityArtifact in 38921 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":38920.350191,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:10:51 [14:10:51.921]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:10:51 [14:10:51.921]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3d31aa7e/bb/tmp-90XuEo/proof -k /tmp/3d31aa7e/bb/tmp-90XuEo/vk -i /tmp/3d31aa7e/bb/tmp-90XuEo/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:10:51 [14:10:51.943]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.43 MiB)
14:10:51 Scheme is: ultra_honk, num threads: 128 (mem: 254.43 MiB)
14:10:51 --public_inputs_path: /tmp/3d31aa7e/bb/tmp-90XuEo/public_inputs (mem: 254.43 MiB)
14:10:51 --proof_path: /tmp/3d31aa7e/bb/tmp-90XuEo/proof (mem: 254.43 MiB)
14:10:51 --vk_path: /tmp/3d31aa7e/bb/tmp-90XuEo/vk (mem: 254.43 MiB)
14:10:51 --verbose: true (mem: 254.43 MiB)
14:10:51 --scheme: ultra_honk (mem: 254.43 MiB)
14:10:51 --oracle_hash: poseidon2 (mem: 254.43 MiB)
14:10:51 --disable_zk: true (mem: 254.43 MiB)
14:10:51 [14:10:51.944]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.43 MiB)
14:10:51 [14:10:51.964]
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.43 MiB)
14:10:51 Initialized BN254 CRS from memory with num points = 1 (mem: 254.43 MiB)
14:10:51 [14:10:51.965]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1
14:10:51 [14:10:51.967]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 254.43 MiB)
14:10:51 libra_evals_verified: 1 (mem: 254.43 MiB)
14:10:51 pairing_check_verified: 1 (mem: 254.43 MiB)
14:10:51 Proof verified successfully (mem: 254.43 MiB)
14:10:51 verified: 1 (mem: 254.43 MiB)
14:10:51 [14:10:51.969]
INFO:
bb-prover Successfully verified proof from key in 48.17241899999499 ms
14:10:51 [14:10:51.974]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:10:51 [14:10:51.974]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3d31aa7e/bb/tmp-OHZmXh/proof -k /tmp/3d31aa7e/bb/tmp-OHZmXh/vk -i /tmp/3d31aa7e/bb/tmp-OHZmXh/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:10:52 [14:10:51.998]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.43 MiB)
14:10:52 [14:10:51.999]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.43 MiB)
14:10:52 --public_inputs_path: /tmp/3d31aa7e/bb/tmp-OHZmXh/public_inputs (mem: 254.43 MiB)
14:10:52 --proof_path: /tmp/3d31aa7e/bb/tmp-OHZmXh/proof (mem: 254.43 MiB)
14:10:52 --vk_path: /tmp/3d31aa7e/bb/tmp-OHZmXh/vk (mem: 254.43 MiB)
14:10:52 --verbose: true (mem: 254.43 MiB)
14:10:52 --scheme: ultra_honk (mem: 254.43 MiB)
14:10:52 --oracle_hash: poseidon2 (mem: 254.43 MiB)
14:10:52 --disable_zk: true (mem: 254.43 MiB)
14:10:52 [14:10:51.999]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.43 MiB)
14:10:52 [14:10:52.016]
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.43 MiB)
14:10:52 [14:10:52.017]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 254.43 MiB)
14:10:52 [14:10:52.018]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.43 MiB)
14:10:52 libra_evals_verified: 1 (mem: 254.43 MiB)
14:10:52 pairing_check_verified: 1 (mem: 254.43 MiB)
14:10:52 Proof verified successfully (mem: 254.43 MiB)
14:10:52 verified: 1 (mem: 254.43 MiB)
14:10:52 [14:10:52.020]
INFO:
bb-prover Successfully verified proof from key in 46.14827800000057 ms
14:10:52 [14:10:52.108]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
14:10:52
14:10:52 [14:10:52.108]
ERROR:
bb-prover Error running operation at /tmp/3d31aa7e/bb/tmp-Az26Mf: Error: Failed to generate witness: Failed assertion
14:10:52
14:10:52 [14:10:52.315]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":87.69822199999908,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
14:10:52 [14:10:52.317]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:10:52 [14:10:52.317]
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/3d31aa7e/bb/tmp-HuGYV6 -b /tmp/3d31aa7e/bb/tmp-HuGYV6/RootParityArtifact-bytecode -w /tmp/3d31aa7e/bb/tmp-HuGYV6/partial-witness.gz -v --init_kzg_accumulator -v
14:10:52 [14:10:52.335]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.43 MiB)
14:10:52 [14:10:52.336]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.43 MiB)
14:10:52 --scheme: ultra_honk (mem: 254.43 MiB)
14:10:52 --bytecode_path: /tmp/3d31aa7e/bb/tmp-HuGYV6/RootParityArtifact-bytecode (mem: 254.43 MiB)
14:10:52 --witness_path: /tmp/3d31aa7e/bb/tmp-HuGYV6/partial-witness.gz (mem: 254.43 MiB)
14:10:52 --output_path: /tmp/3d31aa7e/bb/tmp-HuGYV6 (mem: 254.43 MiB)
14:10:52 Warning: the following option is called more than once (mem: 254.43 MiB)
14:10:52 --verbose: true (mem: 254.43 MiB)
14:10:52 --oracle_hash: poseidon2 (mem: 254.43 MiB)
14:10:52 --output_format: bytes_and_fields (mem: 254.43 MiB)
14:10:52 --write_vk: true (mem: 254.43 MiB)
14:10:52 --disable_zk: true (mem: 254.43 MiB)
14:10:52 --init_kzg_accumulator: true (mem: 254.43 MiB)
14:10:52 [14:10:52.505]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.43 MiB)
14:10:52 [14:10:52.518]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 254.43 MiB)
14:10:54 [14:10:54.340]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 422.13 MiB)
14:10:56 [14:10:56.540]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 788.72 MiB)
14:10:58 [14:10:58.862]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1051.55 MiB)
14:11:02 [14:11:02.298]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1421.09 MiB)
14:11:02 Constructing DeciderProvingKey (mem: 1421.09 MiB)
14:11:03 [14:11:03.781]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1834.38 MiB)
14:11:04 [14:11:04.261]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5493.29 MiB)
14:11:06 [14:11:06.211]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3918 ms. (mem: 6069.29 MiB)
14:11:06 [14:11:06.344]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6069.29 MiB)
14:11:06 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6069.29 MiB)
14:11:07 [14:11:07.170]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6069.29 MiB)
14:11:11 [14:11:11.417]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6069.29 MiB)
14:11:15 [14:11:15.690]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6069.29 MiB)
14:11:17 [14:11:17.153]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6783.83 MiB)
14:11:19 [14:11:19.002]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6783.83 MiB)
14:11:25 [14:11:25.500]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6783.83 MiB)
14:11:27 [14:11:27.816]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6783.83 MiB)
14:11:27 [14:11:27.829]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6783.83 MiB)
14:11:28 [14:11:28.204]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/3d31aa7e/bb/tmp-HuGYV6/public_inputs" (mem: 6783.83 MiB)
14:11:28 Public inputs fields saved to "/tmp/3d31aa7e/bb/tmp-HuGYV6/public_inputs_fields.json"
14:11:28 [14:11:28.205]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6783.83 MiB)
14:11:28 Proof saved to "/tmp/3d31aa7e/bb/tmp-HuGYV6/proof" (mem: 6783.83 MiB)
14:11:28 Proof fields saved to "/tmp/3d31aa7e/bb/tmp-HuGYV6/proof_fields.json" (mem: 6783.83 MiB)
14:11:28 VK saved to "/tmp/3d31aa7e/bb/tmp-HuGYV6/vk" (mem: 6783.83 MiB)
14:11:28 VK fields saved to "/tmp/3d31aa7e/bb/tmp-HuGYV6/vk_fields.json" (mem: 6783.83 MiB)
14:11:28 [14:11:28.394]
INFO:
bb-prover Generated proof for RootParityArtifact in 36074 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":36073.12182200001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:11:28 [14:11:28.399]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:11:28 [14:11:28.400]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3d31aa7e/bb/tmp-gYhC3h/proof -k /tmp/3d31aa7e/bb/tmp-gYhC3h/vk -i /tmp/3d31aa7e/bb/tmp-gYhC3h/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:11:28 [14:11:28.423]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.43 MiB)
14:11:28 Scheme is: ultra_honk, num threads: 128 (mem: 254.43 MiB)
14:11:28 --public_inputs_path: /tmp/3d31aa7e/bb/tmp-gYhC3h/public_inputs (mem: 254.43 MiB)
14:11:28 --proof_path: /tmp/3d31aa7e/bb/tmp-gYhC3h/proof (mem: 254.43 MiB)
14:11:28 --vk_path: /tmp/3d31aa7e/bb/tmp-gYhC3h/vk (mem: 254.43 MiB)
14:11:28 --verbose: true (mem: 254.43 MiB)
14:11:28 --scheme: ultra_honk (mem: 254.43 MiB)
14:11:28 --oracle_hash: poseidon2 (mem: 254.43 MiB)
14:11:28 --disable_zk: true (mem: 254.43 MiB)
14:11:28 [14:11:28.424]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.43 MiB)
14:11:28 [14:11:28.434]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 254.43 MiB)
14:11:28 Proof verification failed (mem: 254.43 MiB)
14:11:28 [14:11:28.435]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 254.43 MiB)
14:11:28 [14:11:28.438]
ERROR:
bb-prover Error running operation at /tmp/3d31aa7e/bb/tmp-gYhC3h: ProvingError: Failed to verify proof from key!
14:11:28 [14:11:28.605]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":83.40040700000827,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
14:11:28 [14:11:28.606]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:11:28 [14:11:28.607]
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/3d31aa7e/bb/tmp-lWCRgE -b /tmp/3d31aa7e/bb/tmp-lWCRgE/RootParityArtifact-bytecode -w /tmp/3d31aa7e/bb/tmp-lWCRgE/partial-witness.gz -v --init_kzg_accumulator -v
14:11:28 [14:11:28.625]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.43 MiB)
14:11:28 [14:11:28.626]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.43 MiB)
14:11:28 --scheme: ultra_honk (mem: 254.43 MiB)
14:11:28 --bytecode_path: /tmp/3d31aa7e/bb/tmp-lWCRgE/RootParityArtifact-bytecode (mem: 254.43 MiB)
14:11:28 --witness_path: /tmp/3d31aa7e/bb/tmp-lWCRgE/partial-witness.gz (mem: 254.43 MiB)
14:11:28 --output_path: /tmp/3d31aa7e/bb/tmp-lWCRgE (mem: 254.43 MiB)
14:11:28 Warning: the following option is called more than once (mem: 254.43 MiB)
14:11:28 --verbose: true (mem: 254.43 MiB)
14:11:28 --oracle_hash: poseidon2 (mem: 254.43 MiB)
14:11:28 --output_format: bytes_and_fields (mem: 254.43 MiB)
14:11:28 --write_vk: true (mem: 254.43 MiB)
14:11:28 --disable_zk: true (mem: 254.43 MiB)
14:11:28 --init_kzg_accumulator: true (mem: 254.43 MiB)
14:11:28 [14:11:28.806]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.43 MiB)
14:11:28 [14:11:28.825]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 254.43 MiB)
14:11:30 [14:11:30.816]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 425.65 MiB)
14:11:33 [14:11:33.166]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 793.87 MiB)
14:11:35 [14:11:35.407]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1065.95 MiB)
14:11:37 [14:11:37.824]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1437.59 MiB)
14:11:37 [14:11:37.825]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1437.59 MiB)
14:11:39 [14:11:39.126]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1851.35 MiB)
14:11:39 [14:11:39.540]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5480.84 MiB)
14:11:41 [14:11:41.219]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3393 ms. (mem: 6059.84 MiB)
14:11:41 [14:11:41.342]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6059.84 MiB)
14:11:41 [14:11:41.342]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6059.84 MiB)
14:11:41 [14:11:41.963]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6059.84 MiB)
14:11:45 [14:11:45.250]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6059.84 MiB)
14:11:49 [14:11:49.313]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6059.84 MiB)
14:11:50 [14:11:50.755]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6786.96 MiB)
14:11:52 [14:11:52.766]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6786.96 MiB)
14:11:59 [14:11:59.097]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6786.96 MiB)
14:12:00 [14:12:00.846]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6786.96 MiB)
14:12:00 [14:12:00.864]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6786.96 MiB)
14:12:01 [14:12:01.272]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/3d31aa7e/bb/tmp-lWCRgE/public_inputs" (mem: 6786.96 MiB)
14:12:01 [14:12:01.273]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/3d31aa7e/bb/tmp-lWCRgE/public_inputs_fields.json" (mem: 6786.96 MiB)
14:12:01 Proof saved to "/tmp/3d31aa7e/bb/tmp-lWCRgE/proof" (mem: 6786.96 MiB)
14:12:01 [14:12:01.273]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/3d31aa7e/bb/tmp-lWCRgE/proof_fields.json" (mem: 6786.96 MiB)
14:12:01 VK saved to "/tmp/3d31aa7e/bb/tmp-lWCRgE/vk" (mem: 6786.96 MiB)
14:12:01 [14:12:01.273]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/3d31aa7e/bb/tmp-lWCRgE/vk_fields.json" (mem: 6786.96 MiB)
14:12:01 [14:12:01.463]
INFO:
bb-prover Generated proof for RootParityArtifact in 32855 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":32854.577126000004,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:12:01 [14:12:01.465]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:12:01 [14:12:01.465]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/3d31aa7e/bb/tmp-tclER0/proof -k /tmp/3d31aa7e/bb/tmp-tclER0/vk -i /tmp/3d31aa7e/bb/tmp-tclER0/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:12:01 [14:12:01.486]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.43 MiB)
14:12:01 [14:12:01.486]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.43 MiB)
14:12:01 --public_inputs_path: /tmp/3d31aa7e/bb/tmp-tclER0/public_inputs (mem: 254.43 MiB)
14:12:01 --proof_path: /tmp/3d31aa7e/bb/tmp-tclER0/proof (mem: 254.43 MiB)
14:12:01 --vk_path: /tmp/3d31aa7e/bb/tmp-tclER0/vk (mem: 254.43 MiB)
14:12:01 --verbose: true (mem: 254.43 MiB)
14:12:01 --scheme: ultra_honk (mem: 254.43 MiB)
14:12:01 --oracle_hash: poseidon2 (mem: 254.43 MiB)
14:12:01 --disable_zk: true (mem: 254.43 MiB)
14:12:01 [14:12:01.487]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.43 MiB)
14:12:01 [14:12:01.496]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 254.43 MiB)
14:12:01 Proof verification failed (mem: 254.43 MiB)
14:12:01 verified: 0 (mem: 254.43 MiB)
14:12:01 [14:12:01.498]
ERROR:
bb-prover Error running operation at /tmp/3d31aa7e/bb/tmp-tclER0: ProvingError: Failed to verify proof from key!
14:12:01 [14:12:01.501]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
14:12:01
PASS src/test/bb_prover_parity.test.ts (
122.751 s)
14:12:01 prover/bb_prover/parity
14:12:01
✓ proves the parity circuits (114202 ms)
14:12:01
14:12:01
Test Suites: 1 passed, 1 total
14:12:01
Tests: 1 passed, 1 total
14:12:01
Snapshots: 0 total
14:12:01
Time: 122.837 s
14:12:01
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
14:12:01
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?