Parent Log:
http://ci.aztec-labs.com/b2eb697211f6f465
Command: 68e9475192d7aeac: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/301dce04331dcfb583b7508b91491de618d4acf4
Env: REF_NAME=gh-readonly-queue/next/pr-15208-9b8ea5acda76687342ddb62595e293281661f029 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 23 10:19:58 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15208_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
10:19:58 +++ id -u
10:19:58 +++ id -g
10:19:58 ++ 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'\'''
10:19:58 + cid=6e02f37298caeda12c5ed8edd9f53f907ff498fd8346a1a62a6d27abb9478ef8
10:19:58 + set +x
10:20:00 {"level":25,"time":1750674000666,"pid":7,"hostname":"6e02f37298ca","module":"logger","msg":"Logger initialized with level verbose"}
10:20:08 [10:20:08.869]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-vtX9tn/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
10:20:08 [10:20:08.931]
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/1f395e11/bb
10:20:08 [10:20:08.933]
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/1f395e11/acvm
10:20:08 [10:20:08.934]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/1f395e11/bb
10:20:08 [10:20:08.934]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/1f395e11/acvm
10:20:08 [10:20:08.937]
INFO:
prover-client:proving-broker Proving Broker started
10:20:08 [10:20:08.939]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
10:20:09 [10:20:09.146]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":65.68755000000056,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:20:09 [10:20:09.165]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":90.37473299999874,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:20:09 [10:20:09.180]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":50.51842400000169,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:20:09 [10:20:09.183]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:20:09 [10:20:09.184]
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/1f395e11/bb/tmp-p3LlvQ -b /tmp/1f395e11/bb/tmp-p3LlvQ/BaseParityArtifact-bytecode -w /tmp/1f395e11/bb/tmp-p3LlvQ/partial-witness.gz -v --init_kzg_accumulator -v
10:20:09 [10:20:09.218]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":37.60765800000081,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:20:09 [10:20:09.219]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:20:09 [10:20:09.220]
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/1f395e11/bb/tmp-IQtJJX -b /tmp/1f395e11/bb/tmp-IQtJJX/BaseParityArtifact-bytecode -w /tmp/1f395e11/bb/tmp-IQtJJX/partial-witness.gz -v --init_kzg_accumulator -v
10:20:09 [10:20:09.239]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.42 MiB)
10:20:09 Scheme is: ultra_honk, num threads: 128 (mem: 253.42 MiB)
10:20:09 --scheme: ultra_honk (mem: 253.42 MiB)
10:20:09 --bytecode_path: /tmp/1f395e11/bb/tmp-p3LlvQ/BaseParityArtifact-bytecode (mem: 253.42 MiB)
10:20:09 --witness_path: /tmp/1f395e11/bb/tmp-p3LlvQ/partial-witness.gz (mem: 253.42 MiB)
10:20:09 --output_path: /tmp/1f395e11/bb/tmp-p3LlvQ (mem: 253.42 MiB)
10:20:09 Warning: the following option is called more than once (mem: 253.42 MiB)
10:20:09 --verbose: true (mem: 253.42 MiB)
10:20:09 --oracle_hash: poseidon2 (mem: 253.42 MiB)
10:20:09 --output_format: bytes_and_fields (mem: 253.42 MiB)
10:20:09 --write_vk: true (mem: 253.42 MiB)
10:20:09 --disable_zk: true (mem: 253.42 MiB)
10:20:09 --init_kzg_accumulator: true (mem: 253.42 MiB)
10:20:09 [10:20:09.240]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:20:09 [10:20:09.240]
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/1f395e11/bb/tmp-RYLcoW -b /tmp/1f395e11/bb/tmp-RYLcoW/BaseParityArtifact-bytecode -w /tmp/1f395e11/bb/tmp-RYLcoW/partial-witness.gz -v --init_kzg_accumulator -v
10:20:09 [10:20:09.260]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.46 MiB)
10:20:09 Scheme is: ultra_honk, num threads: 128 (mem: 253.46 MiB)
10:20:09 --scheme: ultra_honk (mem: 253.46 MiB)
10:20:09 --bytecode_path: /tmp/1f395e11/bb/tmp-IQtJJX/BaseParityArtifact-bytecode (mem: 253.46 MiB)
10:20:09 --witness_path: /tmp/1f395e11/bb/tmp-IQtJJX/partial-witness.gz (mem: 253.46 MiB)
10:20:09 --output_path: /tmp/1f395e11/bb/tmp-IQtJJX (mem: 253.46 MiB)
10:20:09 Warning: the following option is called more than once (mem: 253.46 MiB)
10:20:09 --verbose: true (mem: 253.46 MiB)
10:20:09 --oracle_hash: poseidon2 (mem: 253.46 MiB)
10:20:09 --output_format: bytes_and_fields (mem: 253.46 MiB)
10:20:09 --write_vk: true (mem: 253.46 MiB)
10:20:09 --disable_zk: true (mem: 253.46 MiB)
10:20:09 --init_kzg_accumulator: true (mem: 253.46 MiB)
10:20:09 [10:20:09.263]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem:
10:20:09 [10:20:09.263]
INFO:
bb-prover BaseParityArtifact BB out - 253.46 MiB)
10:20:09 Scheme is: ultra_honk, num threads: 128 (mem: 253.46 MiB)
10:20:09 --scheme: ultra_honk (mem: 253.46 MiB)
10:20:09 --bytecode_path: /tmp/1f395e11/bb/tmp-RYLcoW/BaseParityArtifact-bytecode (mem: 253.46 MiB)
10:20:09 --witness_path: /tmp/1f395e11/bb/tmp-RYLcoW/partial-witness.gz (mem: 253.46 MiB)
10:20:09 --output_path: /tmp/1f395e11/bb/tmp-RYLcoW (mem: 253.46 MiB)
10:20:09 Warning: the following option is called more than once (mem: 253.46 MiB)
10:20:09 --verbose: true (mem: 253.46 MiB)
10:20:09 --oracle_hash: poseidon2 (mem: 253.46 MiB)
10:20:09 --output_format: bytes_and_fields (mem: 253.46 MiB)
10:20:09 --write_vk: true (mem: 253.46 MiB)
10:20:09 --disable_zk: true (mem: 253.46 MiB)
10:20:09 --init_kzg_accumulator: true (mem: 253.46 MiB)
10:20:09 [10:20:09.265]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:20:09 [10:20:09.265]
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/1f395e11/bb/tmp-xjcNSW -b /tmp/1f395e11/bb/tmp-xjcNSW/BaseParityArtifact-bytecode -w /tmp/1f395e11/bb/tmp-xjcNSW/partial-witness.gz -v --init_kzg_accumulator -v
10:20:09 [10:20:09.297]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.46 MiB)
10:20:09 Scheme is: ultra_honk, num threads: 128 (mem: 253.46 MiB)
10:20:09 --scheme: ultra_honk (mem: 253.46 MiB)
10:20:09 --bytecode_path: /tmp/1f395e11/bb/tmp-xjcNSW/BaseParityArtifact-bytecode (mem: 253.46 MiB)
10:20:09 --witness_path: /tmp/1f395e11/bb/tmp-xjcNSW/partial-witness.gz (mem: 253.46 MiB)
10:20:09 --output_path: /tmp/1f395e11/bb/tmp-xjcNSW (mem: 253.46 MiB)
10:20:09 Warning: the following option is called more than once (mem: 253.46 MiB)
10:20:09 --verbose: true (mem: 253.46 MiB)
10:20:09 --oracle_hash: poseidon2 (mem: 253.46 MiB)
10:20:09 --output_format: bytes_and_fields (mem: 253.46 MiB)
10:20:09 --write_vk: true (mem: 253.46 MiB)
10:20:09 --disable_zk: true (mem: 253.46 MiB)
10:20:09 --init_kzg_accumulator: true (mem: 253.46 MiB)
10:20:09 [10:20:09.363]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.42 MiB)
10:20:09 Constructing DeciderProvingKey (mem: 253.42 MiB)
10:20:09 [10:20:09.365]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
10:20:09 [10:20:09.365]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 253.42 MiB)
10:20:09 [10:20:09.421]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.46 MiB)
10:20:09 Constructing DeciderProvingKey (mem: 253.46 MiB)
10:20:09 [10:20:09.425]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.46 MiB)
10:20:09 [10:20:09.429]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.46 MiB)
10:20:09 Constructing DeciderProvingKey (mem: 253.46 MiB)
10:20:09 [10:20:09.432]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.46 MiB)
10:20:09 [10:20:09.456]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.46 MiB)
10:20:09 Constructing DeciderProvingKey (mem: 253.46 MiB)
10:20:09 [10:20:09.458]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
10:20:09 [10:20:09.459]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
10:20:09 [10:20:09.459]
INFO:
bb-prover BaseParityArtifact BB out - 253.46
10:20:09 [10:20:09.460]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
10:20:09 [10:20:09.584]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.42 MiB)
10:20:09 [10:20:09.654]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.46 MiB)
10:20:09 [10:20:09.655]
INFO:
bb-prover BaseParityArtifact BB out -
10:20:09 [10:20:09.684]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.46 MiB)
10:20:09 [10:20:09.696]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 334 ms. (mem: 253.42 MiB)
10:20:09 [10:20:09.706]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.42 MiB)
10:20:09 [10:20:09.707]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.42 MiB)
10:20:09 [10:20:09.711]
INFO:
bb-prover BaseParityArtifact BB out - populating trace...
10:20:09 [10:20:09.712]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 253.46 MiB)
10:20:09 [10:20:09.725]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 253.42 MiB)
10:20:09 [10:20:09.738]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 315 ms. (mem: 253.46 MiB)
10:20:09 [10:20:09.742]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.46 MiB)
10:20:09 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.46 MiB)
10:20:09 [10:20:09.754]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 253.46 MiB)
10:20:09 [10:20:09.794]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 364 ms. (mem: 253.46 MiB)
10:20:09 [10:20:09.798]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.46 MiB)
10:20:09 [10:20:09.799]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.46 MiB)
10:20:09 [10:20:09.808]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 253.46 MiB)
10:20:09 [10:20:09.850]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 394 ms. (mem: 253.46 MiB)
10:20:09 [10:20:09.857]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.46 MiB)
10:20:09 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.46 MiB)
10:20:09 [10:20:09.866]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 253.46 MiB)
10:20:10 [10:20:10.843]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.42 MiB)
10:20:10 [10:20:10.892]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.46 MiB)
10:20:10 [10:20:10.974]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.46 MiB)
10:20:11 [10:20:11.067]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.46 MiB)
10:20:11 [10:20:11.425]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.42 MiB)
10:20:11 [10:20:11.558]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.46 MiB)
10:20:11 [10:20:11.669]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.46 MiB)
10:20:11 [10:20:11.774]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.46 MiB)
10:20:11 [10:20:11.831]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 253.46 MiB)
10:20:11 [10:20:11.843]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 253.42 MiB)
10:20:11 [10:20:11.947]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 253.46 MiB)
10:20:11 [10:20:11.987]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 253.46 MiB)
10:20:12 [10:20:12.042]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 253.42 MiB)
10:20:12 [10:20:12.047]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 253.46 MiB)
10:20:12 [10:20:12.078]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 253.46 MiB)
10:20:12 [10:20:12.163]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 253.46 MiB)
10:20:13 [10:20:13.850]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.46 MiB)
10:20:13 [10:20:13.854]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.42 MiB)
10:20:13 [10:20:13.966]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.46 MiB)
10:20:13 finished decider proving. (mem: 253.46 MiB)
10:20:13 [10:20:13.966]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/1f395e11/bb/tmp-RYLcoW/public_inputs" (mem: 253.46 MiB)
10:20:13 Public inputs fields saved to "/tmp/1f395e11/bb/tmp-RYLcoW/public_inputs_fields.json" (mem: 253.46 MiB)
10:20:13 Proof saved to "/tmp/1f395e11/bb/tmp-RYLcoW/proof" (mem: 253.46 MiB)
10:20:13 [10:20:13.967]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/1f395e11/bb/tmp-RYLcoW/proof_fields.json" (mem: 253.46 MiB)
10:20:13 VK saved to "/tmp/1f395e11/bb/tmp-RYLcoW/vk" (mem: 253.46 MiB)
10:20:13 VK fields saved to "/tmp/1f395e11/bb/tmp-RYLcoW/vk_fields.json"
10:20:13 [10:20:13.967]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 253.46 MiB)
10:20:14 [10:20:14.026]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.42 MiB)
10:20:14 finished decider proving.
10:20:14 [10:20:14.030]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 253.42 MiB)
10:20:14 [10:20:14.032]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/1f395e11/bb/tmp-p3LlvQ/public_inputs" (mem: 253.42 MiB)
10:20:14 Public inputs fields saved to "/tmp/1f395e11/bb/tmp-p3LlvQ/public_inputs_fields.json" (mem: 253.42 MiB)
10:20:14 Proof saved to "/tmp/1f395e11/bb/tmp-p3LlvQ/proof" (mem: 253.42 MiB)
10:20:14 Proof fields saved to "/tmp/1f395e11/bb/tmp-p3LlvQ/proof_fields.json" (mem: 253.42 MiB)
10:20:14 VK saved to "/tmp/1f395e11/bb/tmp-p3LlvQ/vk" (mem: 253.42 MiB)
10:20:14 VK fields saved to "/tmp/1f395e11/bb/tmp-p3LlvQ/vk_fields.json" (mem: 253.42 MiB)
10:20:14 [10:20:14.068]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.46 MiB)
10:20:14 [10:20:14.081]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4823 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4822.540703000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:20:14 [10:20:14.093]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4905 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4904.909095999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:20:14 [10:20:14.099]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:20:14 [10:20:14.101]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/1f395e11/bb/tmp-6JYnve/proof -k /tmp/1f395e11/bb/tmp-6JYnve/vk -i /tmp/1f395e11/bb/tmp-6JYnve/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:20:14 [10:20:14.139]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:20:14 [10:20:14.140]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/1f395e11/bb/tmp-C5aY8a/proof -k /tmp/1f395e11/bb/tmp-C5aY8a/vk -i /tmp/1f395e11/bb/tmp-C5aY8a/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:20:14 [10:20:14.176]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.51 MiB)
10:20:14 Scheme is: ultra_honk, num threads: 128 (mem: 253.51 MiB)
10:20:14 --public_inputs_path: /tmp/1f395e11/bb/tmp-6JYnve/public_inputs (mem: 253.51 MiB)
10:20:14 --proof_path: /tmp/1f395e11/bb/tmp-6JYnve/proof (mem: 253.51 MiB)
10:20:14 --vk_path: /tmp/1f395e11/bb/tmp-6JYnve/vk (mem: 253.51 MiB)
10:20:14 --verbose: true (mem: 253.51 MiB)
10:20:14 --scheme: ultra_honk (mem: 253.51 MiB)
10:20:14 --oracle_hash: poseidon2 (mem: 253.51 MiB)
10:20:14 --disable_zk: true (mem: 253.51 MiB)
10:20:14 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.51 MiB)
10:20:14 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.51 MiB)
10:20:14 Initialized BN254 CRS from memory with num points = 1 (mem: 253.51 MiB)
10:20:14 sumcheck_verified: 1 (mem: 253.51 MiB)
10:20:14 libra_evals_verified: 1 (mem: 253.51 MiB)
10:20:14 pairing_check_verified: 1 (mem: 253.51 MiB)
10:20:14 Proof verified successfully (mem: 253.51 MiB)
10:20:14 verified: 1 (mem: 253.51 MiB)
10:20:14 [10:20:14.177]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.46 MiB)
10:20:14 [10:20:14.178]
INFO:
bb-prover Successfully verified proof from key in 79.21005700000023 ms
10:20:14 [10:20:14.178]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.46 MiB)
10:20:14 finished decider proving. (mem: 253.46 MiB)
10:20:14 [10:20:14.179]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/1f395e11/bb/tmp-xjcNSW/public_inputs" (mem: 253.46 MiB)
10:20:14 Public inputs fields saved to "/tmp/1f395e11/bb/tmp-xjcNSW/public_inputs_fields.json" (mem: 253.46 MiB)
10:20:14 [10:20:14.179]
INFO:
bb-prover BaseParityArtifact BB out - Proof saved to "/tmp/1f395e11/bb/tmp-xjcNSW/proof" (mem: 253.46 MiB)
10:20:14 [10:20:14.180]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/1f395e11/bb/tmp-xjcNSW/proof_fields.json" (mem: 253.46 MiB)
10:20:14 VK saved to "/tmp/1f395e11/bb/tmp-xjcNSW/vk" (mem: 253.46 MiB)
10:20:14 VK fields saved to "/tmp/1f395e11/bb/tmp-xjcNSW/vk_fields.json" (mem: 253.46 MiB)
10:20:14 [10:20:14.182]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.51 MiB)
10:20:14 Scheme is: ultra_honk, num threads: 128 (mem: 253.51 MiB)
10:20:14 --public_inputs_path: /tmp/1f395e11/bb/tmp-C5aY8a/public_inputs (mem: 253.51 MiB)
10:20:14 --proof_path: /tmp/1f395e11/bb/tmp-C5aY8a/proof (mem: 253.51 MiB)
10:20:14 --vk_path: /tmp/1f395e11/bb/tmp-C5aY8a/vk (mem: 253.51 MiB)
10:20:14 --verbose: true (mem: 253.51 MiB)
10:20:14 --scheme: ultra_honk (mem: 253.51 MiB)
10:20:14 --oracle_hash: poseidon2 (mem: 253.51 MiB)
10:20:14 --disable_zk: true (mem: 253.51 MiB)
10:20:14 [10:20:14.185]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.51 MiB)
10:20:14 [10:20:14.198]
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"
10:20:14 [10:20:14.200]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
10:20:14 [10:20:14.201]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.51
10:20:14 [10:20:14.202]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
10:20:14 Initialized BN254 CRS from memory with num points = 1 (mem: 253.51 MiB)
10:20:14 [10:20:14.204]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.51 MiB)
10:20:14 libra_evals_verified: 1 (mem: 253.51 MiB)
10:20:14 pairing_check_verified: 1 (mem:
10:20:14 [10:20:14.205]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.51 MiB)
10:20:14 Proof verified successfully (mem: 253.51 MiB)
10:20:14 verified: 1 (mem: 253.51 MiB)
10:20:14 [10:20:14.206]
INFO:
bb-prover Successfully verified proof from key in 67.6679550000008 ms
10:20:14 [10:20:14.252]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.46 MiB)
10:20:14 finished decider proving. (mem: 253.46 MiB)
10:20:14 Public inputs saved to "/tmp/1f395e11/bb/tmp-IQtJJX/public_inputs" (mem: 253.46 MiB)
10:20:14 Public inputs fields saved to "/tmp/1f395e11/bb/tmp-IQtJJX/public_inputs_fields.json" (mem: 253.46 MiB)
10:20:14 Proof saved to "/tmp/1f395e11/bb/tmp-IQtJJX/proof" (mem: 253.46 MiB)
10:20:14 Proof fields saved to "/tmp/1f395e11/bb/tmp-IQtJJX/proof_fields.json" (mem: 253.46 MiB)
10:20:14 VK saved to "/tmp/1f395e11/bb/tmp-IQtJJX/vk" (mem: 253.46 MiB)
10:20:14 VK fields saved to "/tmp/1f395e11/bb/tmp-IQtJJX/vk_fields.json" (mem: 253.46 MiB)
10:20:14 [10:20:14.256]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4989 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4988.510689999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:20:14 [10:20:14.258]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:20:14 [10:20:14.259]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/1f395e11/bb/tmp-Z8Khic/proof -k /tmp/1f395e11/bb/tmp-Z8Khic/vk -i /tmp/1f395e11/bb/tmp-Z8Khic/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:20:14 [10:20:14.293]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.54 MiB)
10:20:14 Scheme is: ultra_honk, num threads: 128 (mem: 253.54 MiB)
10:20:14 --public_inputs_path: /tmp/1f395e11/bb/tmp-Z8Khic/public_inputs (mem: 253.54 MiB)
10:20:14 --proof_path: /tmp/1f395e11/bb/tmp-Z8Khic/proof (mem: 253.54 MiB)
10:20:14 --vk_path: /tmp/1f395e11/bb/tmp-Z8Khic/vk (mem: 253.54 MiB)
10:20:14 --verbose: true (mem: 253.54 MiB)
10:20:14 --scheme: ultra_honk (mem: 253.54 MiB)
10:20:14 --oracle_hash: poseidon2 (mem: 253.54 MiB)
10:20:14 --disable_zk: true (mem: 253.54 MiB)
10:20:14 [10:20:14.294]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.54 MiB)
10:20:14 [10:20:14.312]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5087 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5086.577857,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:20:14 [10:20:14.317]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:20:14 [10:20:14.317]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/1f395e11/bb/tmp-aVism5/proof -k /tmp/1f395e11/bb/tmp-aVism5/vk -i /tmp/1f395e11/bb/tmp-aVism5/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:20:14 [10:20:14.341]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.54 MiB)
10:20:14 Initialized BN254 CRS from memory with num points = 1 (mem: 253.54 MiB)
10:20:14 sumcheck_verified: 1 (mem: 253.54 MiB)
10:20:14 libra_evals_verified: 1 (mem: 253.54 MiB)
10:20:14 pairing_check_verified: 1 (mem: 253.54 MiB)
10:20:14 Proof verified successfully (mem: 253.54 MiB)
10:20:14 verified: 1 (mem: 253.54 MiB)
10:20:14 [10:20:14.342]
INFO:
bb-prover Successfully verified proof from key in 83.88319899999988 ms
10:20:14 [10:20:14.346]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
10:20:14 [10:20:14.347]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.62 MiB)
10:20:14 Scheme is: ultra_honk, num threads: 128 (mem: 253.62 MiB)
10:20:14 --public_inputs_path: /tmp/1f395e11/bb/tmp-aVism5/public_inputs (mem: 253.62 MiB)
10:20:14 --proof_path: /tmp/1f395e11/bb/tmp-aVism5/proof (mem: 253.62 MiB)
10:20:14 --vk_path: /tmp/1f395e11/bb/tmp-aVism5/vk (mem: 253.62 MiB)
10:20:14 --verbose: true (mem: 253.62 MiB)
10:20:14 --scheme: ultra_honk (mem: 253.62 MiB)
10:20:14 --oracle_hash: poseidon2 (mem: 253.62 MiB)
10:20:14 --disable_zk: true (mem: 253.62 MiB)
10:20:14 [10:20:14.348]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.62 MiB)
10:20:14 [10:20:14.361]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.62 MiB)
10:20:14 [10:20:14.362]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 253.62 MiB)
10:20:14 [10:20:14.363]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.62 MiB)
10:20:14 libra_evals_verified: 1 (mem: 253.62 MiB)
10:20:14 pairing_check_verified: 1 (mem: 253.62
10:20:14 [10:20:14.364]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
10:20:14 Proof verified successfully (mem: 253.62 MiB)
10:20:14 verified: 1 (mem: 253.62 MiB)
10:20:14 [10:20:14.365]
INFO:
bb-prover Successfully verified proof from key in 48.21047400000134 ms
10:20:14 [10:20:14.383]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:20:14 [10:20:14.383]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/1f395e11/bb/tmp-Qo6VhU/proof -k /tmp/1f395e11/bb/tmp-Qo6VhU/vk -i /tmp/1f395e11/bb/tmp-Qo6VhU/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:20:14 [10:20:14.405]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:20:14 [10:20:14.406]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/1f395e11/bb/tmp-mDgl3H/proof -k /tmp/1f395e11/bb/tmp-mDgl3H/vk -i /tmp/1f395e11/bb/tmp-mDgl3H/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:20:14 [10:20:14.433]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:20:14 [10:20:14.433]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/1f395e11/bb/tmp-Gj6rKL/proof -k /tmp/1f395e11/bb/tmp-Gj6rKL/vk -i /tmp/1f395e11/bb/tmp-Gj6rKL/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:20:14 [10:20:14.453]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:20:14 [10:20:14.453]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/1f395e11/bb/tmp-WAxduV/proof -k /tmp/1f395e11/bb/tmp-WAxduV/vk -i /tmp/1f395e11/bb/tmp-WAxduV/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:20:14 [10:20:14.475]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.71 MiB)
10:20:14 Scheme is: ultra_honk, num threads: 128 (mem: 252.71 MiB)
10:20:14 --public_inputs_path: /tmp/1f395e11/bb/tmp-Qo6VhU/public_inputs (mem: 252.71 MiB)
10:20:14 --proof_path: /tmp/1f395e11/bb/tmp-Qo6VhU/proof (mem: 252.71 MiB)
10:20:14 --vk_path: /tmp/1f395e11/bb/tmp-Qo6VhU/vk (mem: 252.71 MiB)
10:20:14 --verbose: true (mem: 252.71 MiB)
10:20:14 --scheme: ultra_honk (mem: 252.71 MiB)
10:20:14 --oracle_hash: poseidon2 (mem: 252.71 MiB)
10:20:14 --disable_zk: true (mem: 252.71 MiB)
10:20:14 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.71 MiB)
10:20:14 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.71 MiB)
10:20:14 Initialized BN254 CRS from memory with num points = 1 (mem: 252.71 MiB)
10:20:14 sumcheck_verified: 1 (mem: 252.71 MiB)
10:20:14 libra_evals_verified: 1 (mem: 252.71 MiB)
10:20:14 pairing_check_verified: 1 (mem: 252.71 MiB)
10:20:14 Proof verified successfully (mem: 252.71 MiB)
10:20:14 verified: 1 (mem: 252.71 MiB)
10:20:14 [10:20:14.480]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.71 MiB)
10:20:14 Scheme is: ultra_honk, num threads: 128 (mem: 253.71 MiB)
10:20:14 --public_inputs_path: /tmp/1f395e11/bb/tmp-mDgl3H/public_inputs (mem: 253.71 MiB)
10:20:14 --proof_path: /tmp/1f395e11/bb/tmp-mDgl3H/proof (mem: 253.71 MiB)
10:20:14 --vk_path: /tmp/1f395e11/bb/tmp-mDgl3H/vk (mem: 253.71 MiB)
10:20:14 --verbose: true (mem: 253.71 MiB)
10:20:14 --scheme: ultra_honk (mem: 253.71 MiB)
10:20:14 --oracle_hash: poseidon2 (mem: 253.71 MiB)
10:20:14 --disable_zk: true (mem: 253.71 MiB)
10:20:14 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.71 MiB)
10:20:14 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.71 MiB)
10:20:14 Initialized BN254 CRS from memory with num points = 1 (mem: 253.71 MiB)
10:20:14 sumcheck_verified: 1 (mem: 253.71 MiB)
10:20:14 libra_evals_verified: 1 (mem: 253.71 MiB)
10:20:14 pairing_check_verified: 1 (mem: 253.71 MiB)
10:20:14 Proof verified successfully (mem: 253.71 MiB)
10:20:14 verified: 1 (mem: 253.71 MiB)
10:20:14 [10:20:14.481]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.71 MiB)
10:20:14 Scheme is: ultra_honk, num threads: 128 (mem: 253.71 MiB)
10:20:14 --public_inputs_path: /tmp/1f395e11/bb/tmp-Gj6rKL/public_inputs (mem: 253.71 MiB)
10:20:14 --proof_path: /tmp/1f395e11/bb/tmp-Gj6rKL/proof (mem: 253.71 MiB)
10:20:14 --vk_path: /tmp/1f395e11/bb/tmp-Gj6rKL/vk (mem: 253.71 MiB)
10:20:14 --verbose: true (mem: 253.71 MiB)
10:20:14 --scheme: ultra_honk (mem: 253.71 MiB)
10:20:14 --oracle_hash: poseidon2 (mem: 253.71 MiB)
10:20:14 --disable_zk: true (mem: 253.71 MiB)
10:20:14 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.71 MiB)
10:20:14 [10:20:14.482]
INFO:
bb-prover Successfully verified proof from key in 77.67663100000027 ms
10:20:14 [10:20:14.482]
INFO:
bb-prover Successfully verified proof from key in 99.45686200000091 ms
10:20:14 [10:20:14.484]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.33 MiB)
10:20:14 [10:20:14.485]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.33 MiB)
10:20:14 --public_inputs_path: /tmp/1f395e11/bb/tmp-WAxduV/public_inputs (mem: 253.33 MiB)
10:20:14 --proof_path: /tmp/1f395e11/bb/tmp-WAxduV/proof (mem: 253.33 MiB)
10:20:14 --vk_path: /tmp/1f395e11/bb/tmp-WAxduV/vk (mem: 253.33 MiB)
10:20:14 --verbose: true (mem: 253.33 MiB)
10:20:14 --scheme: ultra_honk (mem: 253.33 MiB)
10:20:14 --oracle_hash: poseidon2 (mem: 253.33 MiB)
10:20:14 --disable_zk: true (mem: 253.33 MiB)
10:20:14 [10:20:14.486]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.33 MiB)
10:20:14 [10:20:14.487]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.71 MiB)
10:20:14 Initialized BN254 CRS from memory with num points = 1 (mem: 253.71 MiB)
10:20:14 [10:20:14.488]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.71 MiB)
10:20:14 libra_evals_verified: 1 (mem: 253.71 MiB)
10:20:14 pairing_check_verified: 1 (mem: 253.71 MiB)
10:20:14 Proof verified successfully (mem: 253.71 MiB)
10:20:14 verified: 1 (mem: 253.71 MiB)
10:20:14 [10:20:14.489]
INFO:
bb-prover Successfully verified proof from key in 56.758194 ms
10:20:14 [10:20:14.510]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.33 MiB)
10:20:14 [10:20:14.511]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 253.33 MiB)
10:20:14 [10:20:14.512]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.33 MiB)
10:20:14 libra_evals_verified: 1 (mem: 253.33 MiB)
10:20:14 pairing_check_verified: 1 (mem: 253.33 MiB)
10:20:14 Proof verified successfully (mem: 253.33 MiB)
10:20:14 [10:20:14.512]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 253.33 MiB)
10:20:14 [10:20:14.514]
INFO:
bb-prover Successfully verified proof from key in 60.909647000000405 ms
10:20:14 [10:20:14.725]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":93.45617599999969,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:20:14 [10:20:14.727]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:20:14 [10:20:14.727]
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/1f395e11/bb/tmp-GF7QSx -b /tmp/1f395e11/bb/tmp-GF7QSx/RootParityArtifact-bytecode -w /tmp/1f395e11/bb/tmp-GF7QSx/partial-witness.gz -v --init_kzg_accumulator -v
10:20:14 [10:20:14.754]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.73 MiB)
10:20:14 [10:20:14.754]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.73 MiB)
10:20:14 --scheme: ultra_honk (mem: 255.73 MiB)
10:20:14 --bytecode_path: /tmp/1f395e11/bb/tmp-GF7QSx/RootParityArtifact-bytecode (mem: 255.73 MiB)
10:20:14 --witness_path: /tmp/1f395e11/bb/tmp-GF7QSx/partial-witness.gz (mem: 255.73 MiB)
10:20:14 --output_path: /tmp/1f395e11/bb/tmp-GF7QSx (mem: 255.73 MiB)
10:20:14 Warning: the following option is called more than once (mem: 255.73 MiB)
10:20:14 --verbose: true (mem: 255.73 MiB)
10:20:14 --oracle_hash: poseidon2 (mem: 255.73 MiB)
10:20:14 --output_format: bytes_and_fields (mem: 255.73 MiB)
10:20:14 --write_vk: true (mem: 255.73 MiB)
10:20:14 --disable_zk: true (mem: 255.73 MiB)
10:20:14 --init_kzg_accumulator: true (mem: 255.73 MiB)
10:20:14 [10:20:14.960]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.73 MiB)
10:20:17 [10:20:17.023]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 419.27 MiB)
10:20:19 [10:20:19.391]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 788.21 MiB)
10:20:21 [10:20:21.461]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1060.96 MiB)
10:20:24 [10:20:24.095]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1432.04 MiB)
10:20:24 [10:20:24.097]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1432.04 MiB)
10:20:25 [10:20:25.551]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1842.80 MiB)
10:20:25 [10:20:25.913]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5488.18 MiB)
10:20:28 [10:20:28.150]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4051 ms. (mem: 6061.18 MiB)
10:20:28 [10:20:28.274]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6061.18 MiB)
10:20:28 [10:20:28.275]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6061.18 MiB)
10:20:29 [10:20:29.152]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6061.18 MiB)
10:20:33 [10:20:33.962]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6061.18 MiB)
10:20:39 [10:20:39.635]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6061.18 MiB)
10:20:42 [10:20:42.085]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6736.60 MiB)
10:20:45 [10:20:45.505]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6736.60 MiB)
10:20:52 [10:20:52.616]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6736.60 MiB)
10:20:54 [10:20:54.351]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6736.60 MiB)
10:20:54 [10:20:54.361]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6736.60 MiB)
10:20:54 [10:20:54.914]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/1f395e11/bb/tmp-GF7QSx/public_inputs" (mem: 6736.60 MiB)
10:20:54 [10:20:54.915]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/1f395e11/bb/tmp-GF7QSx/public_inputs_fields.json" (mem: 6736.60 MiB)
10:20:54 Proof saved to "/tmp/1f395e11/bb/tmp-GF7QSx/proof" (mem: 6736.60 MiB)
10:20:54 Proof fields saved to "/tmp/1f395e11/bb/tmp-GF7QSx/proof_fields.json" (mem: 6736.60 MiB)
10:20:54 [10:20:54.916]
INFO:
bb-prover RootParityArtifact BB out - VK saved to "/tmp/1f395e11/bb/tmp-GF7QSx/vk" (mem: 6736.60 MiB)
10:20:54 VK fields saved to "/tmp/1f395e11/bb/tmp-GF7QSx/vk_fields.json" (mem: 6736.60 MiB)
10:20:55 [10:20:55.080]
INFO:
bb-prover Generated proof for RootParityArtifact in 40350 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40349.540264,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:20:55 [10:20:55.084]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:20:55 [10:20:55.085]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/1f395e11/bb/tmp-DLvPyc/proof -k /tmp/1f395e11/bb/tmp-DLvPyc/vk -i /tmp/1f395e11/bb/tmp-DLvPyc/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:20:55 [10:20:55.109]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.73 MiB)
10:20:55 [10:20:55.110]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.73 MiB)
10:20:55 --public_inputs_path: /tmp/1f395e11/bb/tmp-DLvPyc/public_inputs (mem: 255.73 MiB)
10:20:55 --proof_path: /tmp/1f395e11/bb/tmp-DLvPyc/proof (mem: 255.73 MiB)
10:20:55 --vk_path: /tmp/1f395e11/bb/tmp-DLvPyc/vk (mem: 255.73 MiB)
10:20:55 --verbose: true (mem: 255.73 MiB)
10:20:55 --scheme: ultra_honk (mem: 255.73 MiB)
10:20:55 --oracle_hash: poseidon2 (mem: 255.73 MiB)
10:20:55 --disable_zk: true (mem: 255.73 MiB)
10:20:55 [10:20:55.110]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.73 MiB)
10:20:55 [10:20:55.123]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 255.73 MiB)
10:20:55 [10:20:55.123]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 255.73 MiB)
10:20:55 [10:20:55.124]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 255.73 MiB)
10:20:55 libra_evals_verified: 1 (mem: 255.73 MiB)
10:20:55 pairing_check_verified: 1 (mem: 255.73 MiB)
10:20:55 Proof verified successfully (mem: 255.73 MiB)
10:20:55 verified: 1 (mem: 255.73 MiB)
10:20:55 [10:20:55.125]
INFO:
bb-prover Successfully verified proof from key in 41.163690000001225 ms
10:20:55 [10:20:55.128]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:20:55 [10:20:55.129]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/1f395e11/bb/tmp-SZrmx3/proof -k /tmp/1f395e11/bb/tmp-SZrmx3/vk -i /tmp/1f395e11/bb/tmp-SZrmx3/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:20:55 [10:20:55.150]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.73 MiB)
10:20:55 Scheme is: ultra_honk, num threads: 128 (mem: 255.73 MiB)
10:20:55 [10:20:55.150]
VERBOSE:
bb-prover bb-prover (verify) BB out -
10:20:55 --public_inputs_path: /tmp/1f395e11/bb/tmp-SZrmx3/public_inputs (mem: 255.73 MiB)
10:20:55 --proof_path: /tmp/1f395e11/bb/tmp-SZrmx3/proof (mem: 255.73 MiB)
10:20:55 --vk_path: /tmp/1f395e11/bb/tmp-SZrmx3/vk (mem: 255.73 MiB)
10:20:55 --verbose: true (mem: 255.73 MiB)
10:20:55 --scheme: ultra_honk (mem: 255.73 MiB)
10:20:55 --oracle_hash: poseidon2 (mem: 255.73 MiB)
10:20:55 --disable_zk: true (mem: 255.73 MiB)
10:20:55 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.73 MiB)
10:20:55 [10:20:55.165]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 255.73 MiB)
10:20:55 [10:20:55.166]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 255.73 MiB)
10:20:55 [10:20:55.167]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 255.73 MiB)
10:20:55 libra_evals_verified: 1 (mem: 255.73 MiB)
10:20:55 pairing_check_verified: 1 (mem: 255.73 MiB)
10:20:55 Proof verified successfully (mem: 255.73 MiB)
10:20:55 verified: 1 (mem: 255.73 MiB)
10:20:55 [10:20:55.168]
INFO:
bb-prover Successfully verified proof from key in 39.6281930000041 ms
10:20:55 [10:20:55.269]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
10:20:55
10:20:55 [10:20:55.270]
ERROR:
bb-prover Error running operation at /tmp/1f395e11/bb/tmp-g8H9WJ: Error: Failed to generate witness: Failed assertion
10:20:55
10:20:55 [10:20:55.441]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":72.42983800000366,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
10:20:55 [10:20:55.444]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:20:55 [10:20:55.445]
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/1f395e11/bb/tmp-ggTeXT -b /tmp/1f395e11/bb/tmp-ggTeXT/RootParityArtifact-bytecode -w /tmp/1f395e11/bb/tmp-ggTeXT/partial-witness.gz -v --init_kzg_accumulator -v
10:20:55 [10:20:55.472]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.73 MiB)
10:20:55 [10:20:55.472]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.73 MiB)
10:20:55 --scheme: ultra_honk (mem: 255.73 MiB)
10:20:55 --bytecode_path: /tmp/1f395e11/bb/tmp-ggTeXT/RootParityArtifact-bytecode (mem: 255.73 MiB)
10:20:55 --witness_path: /tmp/1f395e11/bb/tmp-ggTeXT/partial-witness.gz (mem: 255.73 MiB)
10:20:55 --output_path: /tmp/1f395e11/bb/tmp-ggTeXT (mem: 255.73 MiB)
10:20:55 Warning: the following option is called more than once (mem: 255.73 MiB)
10:20:55 --verbose: true (mem: 255.73 MiB)
10:20:55 --oracle_hash: poseidon2 (mem: 255.73 MiB)
10:20:55 --output_format: bytes_and_fields (mem: 255.73 MiB)
10:20:55 --write_vk: true (mem: 255.73 MiB)
10:20:55 --disable_zk: true (mem: 255.73 MiB)
10:20:55 --init_kzg_accumulator: true (mem: 255.73 MiB)
10:20:55 [10:20:55.653]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.73 MiB)
10:20:55 [10:20:55.671]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 255.73 MiB)
10:20:57 [10:20:57.751]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 417.34 MiB)
10:21:00 [10:21:00.165]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 781.72 MiB)
10:21:02 [10:21:02.391]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1049.86 MiB)
10:21:04 [10:21:04.902]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1423.03 MiB)
10:21:04 Constructing DeciderProvingKey (mem: 1423.03 MiB)
10:21:06 [10:21:06.286]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1833.78 MiB)
10:21:06 [10:21:06.670]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5482.88 MiB)
10:21:08 [10:21:08.451]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3554 ms. (mem: 6065.88 MiB)
10:21:08 [10:21:08.576]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6065.88 MiB)
10:21:08 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6065.88 MiB)
10:21:09 [10:21:09.472]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6065.88 MiB)
10:21:13 [10:21:13.029]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6065.88 MiB)
10:21:17 [10:21:17.136]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6065.88 MiB)
10:21:18 [10:21:18.596]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6790.79 MiB)
10:21:20 [10:21:20.498]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6790.79 MiB)
10:21:27 [10:21:27.288]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6790.79 MiB)
10:21:29 [10:21:29.554]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6790.79 MiB)
10:21:29 [10:21:29.573]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6790.79 MiB)
10:21:30 [10:21:30.016]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/1f395e11/bb/tmp-ggTeXT/public_inputs" (mem: 6790.79 MiB)
10:21:30 [10:21:30.017]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/1f395e11/bb/tmp-ggTeXT/public_inputs_fields.json" (mem: 6790.79 MiB)
10:21:30 Proof saved to "/tmp/1f395e11/bb/tmp-ggTeXT/proof" (mem: 6790.79 MiB)
10:21:30 Proof fields saved to "/tmp/1f395e11/bb/tmp-ggTeXT/proof_fields.json" (mem: 6790.79 MiB)
10:21:30 [10:21:30.017]
INFO:
bb-prover RootParityArtifact BB out - VK saved to "/tmp/1f395e11/bb/tmp-ggTeXT/vk" (mem: 6790.79 MiB)
10:21:30 VK fields saved to "/tmp/1f395e11/bb/tmp-ggTeXT/vk_fields.json" (mem: 6790.79 MiB)
10:21:30 [10:21:30.243]
INFO:
bb-prover Generated proof for RootParityArtifact in 34795 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34794.629479999996,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:21:30 [10:21:30.251]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:21:30 [10:21:30.252]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/1f395e11/bb/tmp-88bwFV/proof -k /tmp/1f395e11/bb/tmp-88bwFV/vk -i /tmp/1f395e11/bb/tmp-88bwFV/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:21:30 [10:21:30.278]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
10:21:30 [10:21:30.278]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 255.73 MiB)
10:21:30 Scheme is: ultra_honk, num threads: 128 (mem: 255.73 MiB)
10:21:30 --public_inputs_path: /tmp/1f395e11/bb/tmp-88bwFV/public_inputs (mem: 255.73 MiB)
10:21:30 --proof_path: /tmp/1f395e11/bb/tmp-88bwFV/proof (mem: 255.73 MiB)
10:21:30 --vk_path: /tmp/1f395e11/bb/tmp-88bwFV/vk (mem: 255.73 MiB)
10:21:30 --verbose: true (mem: 255.73 MiB)
10:21:30 --scheme: ultra_honk (mem: 255.73 MiB)
10:21:30 --oracle_hash: poseidon2 (mem: 255.73 MiB)
10:21:30 --disable_zk: true (mem: 255.73 MiB)
10:21:30 [10:21:30.282]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.73 MiB)
10:21:30 [10:21:30.292]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed!
10:21:30 [10:21:30.292]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
10:21:30 [10:21:30.293]
VERBOSE:
bb-prover bb-prover (verify) BB out - 255.73
10:21:30 [10:21:30.293]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
10:21:30 [10:21:30.293]
VERBOSE:
bb-prover bb-prover (verify) BB out -
10:21:30 [10:21:30.293]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verification failed
10:21:30 [10:21:30.294]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
10:21:30 [10:21:30.294]
VERBOSE:
bb-prover bb-prover (verify) BB out - 255.73
10:21:30 [10:21:30.294]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
10:21:30 [10:21:30.294]
VERBOSE:
bb-prover bb-prover (verify) BB out -
10:21:30 [10:21:30.296]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 255.73 MiB)
10:21:30 [10:21:30.297]
ERROR:
bb-prover Error running operation at /tmp/1f395e11/bb/tmp-88bwFV: ProvingError: Failed to verify proof from key!
10:21:30 [10:21:30.470]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":78.51391700000386,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:21:30 [10:21:30.471]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:21:30 [10:21:30.471]
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/1f395e11/bb/tmp-LVPyju -b /tmp/1f395e11/bb/tmp-LVPyju/RootParityArtifact-bytecode -w /tmp/1f395e11/bb/tmp-LVPyju/partial-witness.gz -v --init_kzg_accumulator -v
10:21:30 [10:21:30.500]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.73 MiB)
10:21:30 Scheme is: ultra_honk, num threads: 128 (mem: 255.73 MiB)
10:21:30 --scheme: ultra_honk (mem: 255.73 MiB)
10:21:30 --bytecode_path: /tmp/1f395e11/bb/tmp-LVPyju/RootParityArtifact-bytecode (mem: 255.73 MiB)
10:21:30 --witness_path: /tmp/1f395e11/bb/tmp-LVPyju/partial-witness.gz (mem: 255.73 MiB)
10:21:30 --output_path: /tmp/1f395e11/bb/tmp-LVPyju (mem: 255.73 MiB)
10:21:30 Warning: the following option is called more than once (mem: 255.73 MiB)
10:21:30 --verbose: true (mem: 255.73 MiB)
10:21:30 --oracle_hash: poseidon2 (mem: 255.73 MiB)
10:21:30 --output_format: bytes_and_fields (mem: 255.73 MiB)
10:21:30 --write_vk: true (mem: 255.73 MiB)
10:21:30 --disable_zk: true (mem: 255.73 MiB)
10:21:30 --init_kzg_accumulator: true (mem: 255.73 MiB)
10:21:30 [10:21:30.693]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.73 MiB)
10:21:30 [10:21:30.708]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 255.73 MiB)
10:21:32 [10:21:32.714]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 423.01 MiB)
10:21:35 [10:21:35.024]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 791.81 MiB)
10:21:37 [10:21:37.156]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1065.22 MiB)
10:21:39 [10:21:39.454]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1436.40 MiB)
10:21:39 [10:21:39.454]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1436.40 MiB)
10:21:40 [10:21:40.712]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1850.15 MiB)
10:21:41 [10:21:41.070]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5488.43 MiB)
10:21:42 [10:21:42.611]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3156 ms. (mem: 6068.43 MiB)
10:21:42 [10:21:42.741]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6068.43 MiB)
10:21:42 [10:21:42.742]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6068.43 MiB)
10:21:43 [10:21:43.433]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6068.43 MiB)
10:21:47 [10:21:47.116]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6068.43 MiB)
10:21:51 [10:21:51.902]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6068.43 MiB)
10:21:53 [10:21:53.492]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6784.27 MiB)
10:21:55 [10:21:55.631]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6784.27 MiB)
10:22:01 [10:22:01.862]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6784.27 MiB)
10:22:03 [10:22:03.597]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6784.27 MiB)
10:22:03 [10:22:03.612]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6784.27 MiB)
10:22:04 [10:22:04.150]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/1f395e11/bb/tmp-LVPyju/public_inputs" (mem: 6784.27 MiB)
10:22:04 Public inputs fields saved to "/tmp/1f395e11/bb/tmp-LVPyju/public_inputs_fields.json" (mem: 6784.27 MiB)
10:22:04 Proof saved to "/tmp/1f395e11/bb/tmp-LVPyju/proof" (mem: 6784.27 MiB)
10:22:04 [10:22:04.152]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/1f395e11/bb/tmp-LVPyju/proof_fields.json" (mem: 6784.27 MiB)
10:22:04 VK saved to "/tmp/1f395e11/bb/tmp-LVPyju/vk" (mem: 6784.27 MiB)
10:22:04 VK fields saved to "/tmp/1f395e11/bb/tmp-LVPyju/vk_fields.json" (mem: 6784.27 MiB)
10:22:04 [10:22:04.333]
INFO:
bb-prover Generated proof for RootParityArtifact in 33859 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":33858.792367,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:22:04 [10:22:04.337]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:22:04 [10:22:04.338]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/1f395e11/bb/tmp-HDMmmz/proof -k /tmp/1f395e11/bb/tmp-HDMmmz/vk -i /tmp/1f395e11/bb/tmp-HDMmmz/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:22:04 [10:22:04.360]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.73 MiB)
10:22:04 [10:22:04.361]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.73 MiB)
10:22:04 --public_inputs_path: /tmp/1f395e11/bb/tmp-HDMmmz/public_inputs (mem: 255.73 MiB)
10:22:04 --proof_path: /tmp/1f395e11/bb/tmp-HDMmmz/proof (mem: 255.73 MiB)
10:22:04 --vk_path: /tmp/1f395e11/bb/tmp-HDMmmz/vk (mem: 255.73 MiB)
10:22:04 --verbose: true (mem: 255.73 MiB)
10:22:04 --scheme: ultra_honk (mem: 255.73 MiB)
10:22:04 --oracle_hash: poseidon2 (mem: 255.73 MiB)
10:22:04 --disable_zk: true (mem: 255.73 MiB)
10:22:04 [10:22:04.362]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.73 MiB)
10:22:04 [10:22:04.371]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 255.73 MiB)
10:22:04 Proof verification failed (mem: 255.73 MiB)
10:22:04 verified: 0 (mem: 255.73 MiB)
10:22:04 [10:22:04.372]
ERROR:
bb-prover Error running operation at /tmp/1f395e11/bb/tmp-HDMmmz: ProvingError: Failed to verify proof from key!
10:22:04 [10:22:04.375]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
10:22:04
PASS src/test/bb_prover_parity.test.ts (
123.933 s)
10:22:04 prover/bb_prover/parity
10:22:04
✓ proves the parity circuits (115432 ms)
10:22:04
10:22:04
Test Suites: 1 passed, 1 total
10:22:04
Tests: 1 passed, 1 total
10:22:04
Snapshots: 0 total
10:22:04
Time: 124.033 s
10:22:04
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
10:22:04
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?