Parent Log:
http://ci.aztec-labs.com/4462dba3691bf87b
Command: e1036ad1e7e82d49: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/812a53d5d7c2057744dbf808172864443b5de7af
Env: REF_NAME=gh-readonly-queue/next/pr-14417-7a716b3fac2dc249573084a274291af7802ba659 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Thu Jun 26 13:32:31 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14417_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
13:32:31 +++ id -u
13:32:31 +++ id -g
13:32:31 ++ 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'\'''
13:32:32 + cid=5ea618881f527bf19f8a896b651a8077e773ce0969de82e8b488acd3400d095f
13:32:32 + set +x
13:32:33 {"level":25,"time":1750944753749,"pid":7,"hostname":"5ea618881f52","module":"logger","msg":"Logger initialized with level verbose"}
13:32:41 [13:32:41.629]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-iKF6Oo/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
13:32:41 [13:32:41.712]
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/dfb1a65e/bb
13:32:41 [13:32:41.717]
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/dfb1a65e/acvm
13:32:41 [13:32:41.720]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/dfb1a65e/bb
13:32:41 [13:32:41.721]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/dfb1a65e/acvm
13:32:41 [13:32:41.725]
INFO:
prover-client:proving-broker Proving Broker started
13:32:41 [13:32:41.728]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
13:32:41 [13:32:41.920]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":96.91542699999991,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:32:41 [13:32:41.935]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":63.680082000000766,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:32:41 [13:32:41.950]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":42.960535000000164,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:32:41 [13:32:41.952]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:32:41 [13:32:41.953]
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/dfb1a65e/bb/tmp-8qDWjt -b /tmp/dfb1a65e/bb/tmp-8qDWjt/BaseParityArtifact-bytecode -w /tmp/dfb1a65e/bb/tmp-8qDWjt/partial-witness.gz -v --init_kzg_accumulator -v
13:32:41 [13:32:41.978]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:32:41 [13:32:41.979]
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/dfb1a65e/bb/tmp-IFKd7x -b /tmp/dfb1a65e/bb/tmp-IFKd7x/BaseParityArtifact-bytecode -w /tmp/dfb1a65e/bb/tmp-IFKd7x/partial-witness.gz -v --init_kzg_accumulator -v
13:32:42 [13:32:42.011]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 255.77 MiB)
13:32:42 Scheme is: ultra_honk, num threads: 128 (mem: 255.77 MiB)
13:32:42 --scheme: ultra_honk (mem: 255.77 MiB)
13:32:42 --bytecode_path: /tmp/dfb1a65e/bb/tmp-8qDWjt/BaseParityArtifact-bytecode (mem: 255.77 MiB)
13:32:42 --witness_path: /tmp/dfb1a65e/bb/tmp-8qDWjt/partial-witness.gz (mem: 255.77 MiB)
13:32:42 --output_path: /tmp/dfb1a65e/bb/tmp-8qDWjt (mem: 255.77 MiB)
13:32:42 Warning: the following option is called more than once (mem: 255.77 MiB)
13:32:42 --verbose: true (mem: 255.77 MiB)
13:32:42 --oracle_hash: poseidon2 (mem: 255.77 MiB)
13:32:42 --output_format: bytes_and_fields (mem: 255.77 MiB)
13:32:42 --write_vk: true (mem: 255.77 MiB)
13:32:42 --disable_zk: true (mem: 255.77 MiB)
13:32:42 --init_kzg_accumulator: true (mem: 255.77 MiB)
13:32:42 [13:32:42.013]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 255.78 MiB)
13:32:42 Scheme is: ultra_honk, num threads: 128 (mem: 255.78 MiB)
13:32:42 --scheme: ultra_honk (mem: 255.78 MiB)
13:32:42 --bytecode_path: /tmp/dfb1a65e/bb/tmp-IFKd7x/BaseParityArtifact-bytecode (mem: 255.78 MiB)
13:32:42 --witness_path: /tmp/dfb1a65e/bb/tmp-IFKd7x/partial-witness.gz (mem: 255.78 MiB)
13:32:42 --output_path: /tmp/dfb1a65e/bb/tmp-IFKd7x (mem: 255.78 MiB)
13:32:42 Warning: the following option is called more than once (mem: 255.78 MiB)
13:32:42 --verbose: true (mem: 255.78 MiB)
13:32:42 --oracle_hash: poseidon2 (mem: 255.78 MiB)
13:32:42 --output_format: bytes_and_fields (mem: 255.78 MiB)
13:32:42 --write_vk: true (mem: 255.78 MiB)
13:32:42 --disable_zk: true (mem: 255.78 MiB)
13:32:42 --init_kzg_accumulator: true (mem: 255.78 MiB)
13:32:42 [13:32:42.014]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:32:42 [13:32:42.014]
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/dfb1a65e/bb/tmp-OiaXLA -b /tmp/dfb1a65e/bb/tmp-OiaXLA/BaseParityArtifact-bytecode -w /tmp/dfb1a65e/bb/tmp-OiaXLA/partial-witness.gz -v --init_kzg_accumulator -v
13:32:42 [13:32:42.065]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":66.21243200000026,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:32:42 [13:32:42.066]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 255.78 MiB)
13:32:42 Scheme is: ultra_honk, num threads: 128 (mem: 255.78 MiB)
13:32:42 --scheme: ultra_honk (mem: 255.78 MiB)
13:32:42 --bytecode_path: /tmp/dfb1a65e/bb/tmp-OiaXLA/BaseParityArtifact-bytecode (mem: 255.78 MiB)
13:32:42 --witness_path: /tmp/dfb1a65e/bb/tmp-OiaXLA/partial-witness.gz (mem: 255.78 MiB)
13:32:42 --output_path: /tmp/dfb1a65e/bb/tmp-OiaXLA (mem: 255.78 MiB)
13:32:42 Warning: the following option is called more than once (mem: 255.78 MiB)
13:32:42 --verbose: true (mem: 255.78 MiB)
13:32:42 --oracle_hash: poseidon2 (mem: 255.78 MiB)
13:32:42 --output_format: bytes_and_fields (mem: 255.78 MiB)
13:32:42 --write_vk: true (mem: 255.78 MiB)
13:32:42 --disable_zk: true (mem: 255.78 MiB)
13:32:42 --init_kzg_accumulator: true (mem: 255.78 MiB)
13:32:42 [13:32:42.068]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:32:42 [13:32:42.068]
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/dfb1a65e/bb/tmp-NlywAu -b /tmp/dfb1a65e/bb/tmp-NlywAu/BaseParityArtifact-bytecode -w /tmp/dfb1a65e/bb/tmp-NlywAu/partial-witness.gz -v --init_kzg_accumulator -v
13:32:42 [13:32:42.094]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 255.25 MiB)
13:32:42 [13:32:42.094]
INFO:
bb-prover BaseParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.25 MiB)
13:32:42 --scheme: ultra_honk (mem: 255.25 MiB)
13:32:42 --bytecode_path: /tmp/dfb1a65e/bb/tmp-NlywAu/BaseParityArtifact-bytecode (mem: 255.25 MiB)
13:32:42 --witness_path: /tmp/dfb1a65e/bb/tmp-NlywAu/partial-witness.gz (mem: 255.25 MiB)
13:32:42 --output_path: /tmp/dfb1a65e/bb/tmp-NlywAu (mem: 255.25 MiB)
13:32:42 Warning: the following option is called more than once (mem: 255.25 MiB)
13:32:42 --verbose: true (mem: 255.25 MiB)
13:32:42 --oracle_hash: poseidon2 (mem: 255.25 MiB)
13:32:42 --output_format: bytes_and_fields (mem: 255.25 MiB)
13:32:42 --write_vk: true (mem: 255.25 MiB)
13:32:42 --disable_zk: true (mem: 255.25 MiB)
13:32:42 --init_kzg_accumulator: true (mem: 255.25 MiB)
13:32:42 [13:32:42.140]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 255.77 MiB)
13:32:42 [13:32:42.140]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 255.77 MiB)
13:32:42 [13:32:42.144]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 255.77 MiB)
13:32:42 [13:32:42.151]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 255.78 MiB)
13:32:42 Constructing DeciderProvingKey (mem: 255.78 MiB)
13:32:42 [13:32:42.156]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 255.78 MiB)
13:32:42 [13:32:42.194]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 255.78 MiB)
13:32:42 Constructing DeciderProvingKey (mem: 255.78 MiB)
13:32:42 [13:32:42.200]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 255.78 MiB)
13:32:42 [13:32:42.252]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 255.25 MiB)
13:32:42 [13:32:42.253]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 255.25 MiB)
13:32:42 [13:32:42.256]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 255.25 MiB)
13:32:42 [13:32:42.337]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 255.78 MiB)
13:32:42 [13:32:42.339]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 255.77 MiB)
13:32:42 [13:32:42.379]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 255.78 MiB)
13:32:42 [13:32:42.403]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 262 ms. (mem: 255.77 MiB)
13:32:42 [13:32:42.408]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 255.77 MiB)
13:32:42 [13:32:42.410]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 255.77 MiB)
13:32:42 [13:32:42.420]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 255.77 MiB)
13:32:42 [13:32:42.430]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 278 ms. (mem: 255.78 MiB)
13:32:42 [13:32:42.435]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 255.78 MiB)
13:32:42 [13:32:42.435]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 255.78 MiB)
13:32:42 [13:32:42.446]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 255.78 MiB)
13:32:42 [13:32:42.455]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 261 ms. (mem: 255.78 MiB)
13:32:42 [13:32:42.461]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 255.78 MiB)
13:32:42 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 255.78 MiB)
13:32:42 [13:32:42.462]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 255.25 MiB)
13:32:42 [13:32:42.476]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 255.78 MiB)
13:32:42 [13:32:42.567]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 314 ms. (mem: 255.25 MiB)
13:32:42 [13:32:42.575]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 255.25 MiB)
13:32:42 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 255.25 MiB)
13:32:42 [13:32:42.582]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 255.25 MiB)
13:32:43 [13:32:43.498]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.77 MiB)
13:32:43 [13:32:43.683]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.78 MiB)
13:32:43 [13:32:43.691]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.78 MiB)
13:32:43 [13:32:43.819]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem:
13:32:43 [13:32:43.825]
INFO:
bb-prover BaseParityArtifact BB out - 255.25 MiB)
13:32:44 [13:32:44.018]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 255.77 MiB)
13:32:44 [13:32:44.205]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 255.78 MiB)
13:32:44 [13:32:44.243]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 255.78 MiB)
13:32:44 [13:32:44.347]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 255.25 MiB)
13:32:44 [13:32:44.381]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 255.77 MiB)
13:32:44 [13:32:44.481]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 255.78 MiB)
13:32:44 [13:32:44.537]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 255.78 MiB)
13:32:44 [13:32:44.599]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 255.25 MiB)
13:32:44 [13:32:44.643]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 255.77 MiB)
13:32:44 [13:32:44.732]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 255.78 MiB)
13:32:44 [13:32:44.809]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 255.78 MiB)
13:32:44 [13:32:44.864]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 255.25 MiB)
13:32:46 [13:32:46.187]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 255.77 MiB)
13:32:46 [13:32:46.269]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 255.77 MiB)
13:32:46 finished decider proving. (mem: 255.77 MiB)
13:32:46 [13:32:46.269]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/dfb1a65e/bb/tmp-8qDWjt/public_inputs" (mem: 255.77 MiB)
13:32:46 Public inputs fields saved to "/tmp/dfb1a65e/bb/tmp-8qDWjt/public_inputs_fields.json" (mem: 255.77 MiB)
13:32:46 Proof saved to "/tmp/dfb1a65e/bb/tmp-8qDWjt/proof" (mem: 255.77 MiB)
13:32:46 [13:32:46.270]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/dfb1a65e/bb/tmp-8qDWjt/proof_fields.json" (mem: 255.77 MiB)
13:32:46 [13:32:46.271]
INFO:
bb-prover BaseParityArtifact BB out - VK saved to "/tmp/dfb1a65e/bb/tmp-8qDWjt/vk" (mem: 255.77 MiB)
13:32:46 VK fields saved to "/tmp/dfb1a65e/bb/tmp-8qDWjt/vk_fields.json" (mem: 255.77 MiB)
13:32:46 [13:32:46.373]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4408 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4407.562475999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:32:46 [13:32:46.390]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:46 [13:32:46.391]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/dfb1a65e/bb/tmp-9RPqlS/proof -k /tmp/dfb1a65e/bb/tmp-9RPqlS/vk -i /tmp/dfb1a65e/bb/tmp-9RPqlS/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:46 [13:32:46.414]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 255.25 MiB)
13:32:46 [13:32:46.419]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
13:32:46 [13:32:46.419]
VERBOSE:
bb-prover bb-prover (verify) BB out - 255.82 MiB)
13:32:46 Scheme is: ultra_honk, num threads: 128 (mem: 255.82 MiB)
13:32:46 --public_inputs_path: /tmp/dfb1a65e/bb/tmp-9RPqlS/public_inputs (mem: 255.82 MiB)
13:32:46 --proof_path: /tmp/dfb1a65e/bb/tmp-9RPqlS/proof (mem: 255.82 MiB)
13:32:46 --vk_path: /tmp/dfb1a65e/bb/tmp-9RPqlS/vk (mem: 255.82 MiB)
13:32:46 --verbose: true (mem: 255.82 MiB)
13:32:46 --scheme: ultra_honk (mem: 255.82 MiB)
13:32:46 --oracle_hash: poseidon2 (mem: 255.82 MiB)
13:32:46 --disable_zk: true (mem: 255.82 MiB)
13:32:46 [13:32:46.420]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.82 MiB)
13:32:46 [13:32:46.433]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 255.78 MiB)
13:32:46 [13:32:46.434]
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.82 MiB)
13:32:46 Initialized BN254 CRS from memory with num points = 1 (mem: 255.82 MiB)
13:32:46 [13:32:46.436]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 255.82 MiB)
13:32:46 libra_evals_verified: 1 (mem: 255.82 MiB)
13:32:46 pairing_check_verified: 1 (mem: 255.82 MiB)
13:32:46 Proof verified successfully (mem: 255.82 MiB)
13:32:46 verified: 1 (mem: 255.82 MiB)
13:32:46 [13:32:46.437]
INFO:
bb-prover Successfully verified proof from key in 46.659277999999176 ms
13:32:46 [13:32:46.540]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 255.78 MiB)
13:32:46 finished decider proving. (mem: 255.78 MiB)
13:32:46 Public inputs saved to "/tmp/dfb1a65e/bb/tmp-OiaXLA/public_inputs" (mem: 255.78 MiB)
13:32:46 Public inputs fields saved to "/tmp/dfb1a65e/bb/tmp-OiaXLA/public_inputs_fields.json" (mem: 255.78 MiB)
13:32:46 Proof saved to "/tmp/dfb1a65e/bb/tmp-OiaXLA/proof" (mem: 255.78 MiB)
13:32:46 [13:32:46.541]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/dfb1a65e/bb/tmp-OiaXLA/proof_fields.json" (mem: 255.78 MiB)
13:32:46 VK saved to "/tmp/dfb1a65e/bb/tmp-OiaXLA/vk" (mem: 255.78 MiB)
13:32:46 VK fields saved to "/tmp/dfb1a65e/bb/tmp-OiaXLA/vk_fields.json" (mem: 255.78 MiB)
13:32:46 [13:32:46.542]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 255.25 MiB)
13:32:46 finished decider proving. (mem: 255.25 MiB)
13:32:46 Public inputs saved to "/tmp/dfb1a65e/bb/tmp-NlywAu/public_inputs" (mem: 255.25 MiB)
13:32:46 Public inputs fields saved to "/tmp/dfb1a65e/bb/tmp-NlywAu/public_inputs_fields.json" (mem: 255.25 MiB)
13:32:46 Proof saved to "/tmp/dfb1a65e/bb/tmp-NlywAu/proof" (mem: 255.25 MiB)
13:32:46 Proof fields saved to "/tmp/dfb1a65e/bb/tmp-NlywAu/proof_fields.json" (mem: 255.25 MiB)
13:32:46 [13:32:46.543]
INFO:
bb-prover BaseParityArtifact BB out - VK saved to "/tmp/dfb1a65e/bb/tmp-NlywAu/vk" (mem: 255.25 MiB)
13:32:46 VK fields saved to "/tmp/dfb1a65e/bb/tmp-NlywAu/vk_fields.json" (mem: 255.25 MiB)
13:32:46 [13:32:46.591]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4571 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4570.621172000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:32:46 [13:32:46.594]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:46 [13:32:46.594]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/dfb1a65e/bb/tmp-dFp8zP/proof -k /tmp/dfb1a65e/bb/tmp-dFp8zP/vk -i /tmp/dfb1a65e/bb/tmp-dFp8zP/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:46 [13:32:46.620]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.83 MiB)
13:32:46 Scheme is: ultra_honk, num threads: 128 (mem: 255.83 MiB)
13:32:46 --public_inputs_path: /tmp/dfb1a65e/bb/tmp-dFp8zP/public_inputs (mem: 255.83 MiB)
13:32:46 --proof_path: /tmp/dfb1a65e/bb/tmp-dFp8zP/proof (mem: 255.83 MiB)
13:32:46 --vk_path: /tmp/dfb1a65e/bb/tmp-dFp8zP/vk (mem: 255.83 MiB)
13:32:46 --verbose: true (mem: 255.83 MiB)
13:32:46 --scheme: ultra_honk (mem: 255.83 MiB)
13:32:46 --oracle_hash: poseidon2 (mem: 255.83 MiB)
13:32:46 --disable_zk: true (mem: 255.83 MiB)
13:32:46 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.83 MiB)
13:32:46 [13:32:46.631]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4559 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4558.787942000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:32:46 [13:32:46.636]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:46 [13:32:46.638]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/dfb1a65e/bb/tmp-PdG7Ss/proof -k /tmp/dfb1a65e/bb/tmp-PdG7Ss/vk -i /tmp/dfb1a65e/bb/tmp-PdG7Ss/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:46 [13:32:46.660]
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.83 MiB)
13:32:46 Initialized BN254 CRS from memory with num points = 1 (mem: 255.83 MiB)
13:32:46 sumcheck_verified: 1 (mem: 255.83 MiB)
13:32:46 libra_evals_verified: 1 (mem: 255.83 MiB)
13:32:46 pairing_check_verified: 1 (mem: 255.83 MiB)
13:32:46 Proof verified successfully (mem: 255.83 MiB)
13:32:46 verified: 1 (mem: 255.83 MiB)
13:32:46 [13:32:46.662]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 255.78 MiB)
13:32:46 [13:32:46.662]
INFO:
bb-prover Successfully verified proof from key in 68.69890099999975 ms
13:32:46 [13:32:46.690]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.88 MiB)
13:32:46 Scheme is: ultra_honk, num threads: 128 (mem: 255.88 MiB)
13:32:46 --public_inputs_path: /tmp/dfb1a65e/bb/tmp-PdG7Ss/public_inputs (mem: 255.88 MiB)
13:32:46 --proof_path: /tmp/dfb1a65e/bb/tmp-PdG7Ss/proof (mem: 255.88 MiB)
13:32:46 --vk_path: /tmp/dfb1a65e/bb/tmp-PdG7Ss/vk (mem: 255.88 MiB)
13:32:46 --verbose: true (mem: 255.88 MiB)
13:32:46 --scheme: ultra_honk (mem: 255.88 MiB)
13:32:46 --oracle_hash: poseidon2 (mem: 255.88 MiB)
13:32:46 --disable_zk: true (mem: 255.88 MiB)
13:32:46 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.88 MiB)
13:32:46 [13:32:46.702]
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.88 MiB)
13:32:46 Initialized BN254 CRS from memory with num points = 1 (mem: 255.88 MiB)
13:32:46 sumcheck_verified: 1 (mem: 255.88 MiB)
13:32:46 libra_evals_verified: 1 (mem: 255.88 MiB)
13:32:46 pairing_check_verified: 1 (mem: 255.88 MiB)
13:32:46 Proof verified successfully (mem: 255.88 MiB)
13:32:46 verified: 1 (mem: 255.88 MiB)
13:32:46 [13:32:46.703]
INFO:
bb-prover Successfully verified proof from key in 67.05777600000147 ms
13:32:46 [13:32:46.730]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 255.78 MiB)
13:32:46 finished decider proving. (mem: 255.78 MiB)
13:32:46 Public inputs saved to "/tmp/dfb1a65e/bb/tmp-IFKd7x/public_inputs" (mem: 255.78 MiB)
13:32:46 Public inputs fields saved to "/tmp/dfb1a65e/bb/tmp-IFKd7x/public_inputs_fields.json" (mem: 255.78 MiB)
13:32:46 Proof saved to "/tmp/dfb1a65e/bb/tmp-IFKd7x/proof" (mem: 255.78 MiB)
13:32:46 [13:32:46.731]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/dfb1a65e/bb/tmp-IFKd7x/proof_fields.json" (mem: 255.78 MiB)
13:32:46 VK saved to "/tmp/dfb1a65e/bb/tmp-IFKd7x/vk" (mem: 255.78 MiB)
13:32:46 VK fields saved to "/tmp/dfb1a65e/bb/tmp-IFKd7x/vk_fields.json" (mem: 255.78 MiB)
13:32:46 [13:32:46.785]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4804 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4803.576443,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:32:46 [13:32:46.788]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:46 [13:32:46.789]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/dfb1a65e/bb/tmp-RyiHuh/proof -k /tmp/dfb1a65e/bb/tmp-RyiHuh/vk -i /tmp/dfb1a65e/bb/tmp-RyiHuh/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:46 [13:32:46.812]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.96 MiB)
13:32:46 [13:32:46.813]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.96 MiB)
13:32:46 --public_inputs_path: /tmp/dfb1a65e/bb/tmp-RyiHuh/public_inputs (mem: 255.96 MiB)
13:32:46 --proof_path: /tmp/dfb1a65e/bb/tmp-RyiHuh/proof (mem: 255.96 MiB)
13:32:46 --vk_path: /tmp/dfb1a65e/bb/tmp-RyiHuh/vk (mem: 255.96 MiB)
13:32:46 --verbose: true (mem: 255.96 MiB)
13:32:46 --scheme: ultra_honk (mem: 255.96 MiB)
13:32:46 --oracle_hash: poseidon2 (mem: 255.96 MiB)
13:32:46 --disable_zk: true (mem: 255.96 MiB)
13:32:46 [13:32:46.815]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.96 MiB)
13:32:46 [13:32:46.830]
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.96 MiB)
13:32:46 [13:32:46.832]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 255.96 MiB)
13:32:46 [13:32:46.832]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 255.96 MiB)
13:32:46 libra_evals_verified: 1 (mem: 255.96 MiB)
13:32:46 pairing_check_verified: 1 (mem: 255.96 MiB)
13:32:46 Proof verified successfully (mem: 255.96 MiB)
13:32:46 verified: 1 (mem: 255.96 MiB)
13:32:46 [13:32:46.834]
INFO:
bb-prover Successfully verified proof from key in 45.62758000000031 ms
13:32:46 [13:32:46.841]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:46 [13:32:46.841]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/dfb1a65e/bb/tmp-sisDXE/proof -k /tmp/dfb1a65e/bb/tmp-sisDXE/vk -i /tmp/dfb1a65e/bb/tmp-sisDXE/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:46 [13:32:46.864]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:46 [13:32:46.864]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/dfb1a65e/bb/tmp-oTpGRA/proof -k /tmp/dfb1a65e/bb/tmp-oTpGRA/vk -i /tmp/dfb1a65e/bb/tmp-oTpGRA/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:46 [13:32:46.885]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:46 [13:32:46.886]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/dfb1a65e/bb/tmp-xm6GN9/proof -k /tmp/dfb1a65e/bb/tmp-xm6GN9/vk -i /tmp/dfb1a65e/bb/tmp-xm6GN9/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:46 [13:32:46.910]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:46 [13:32:46.910]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/dfb1a65e/bb/tmp-kPLinq/proof -k /tmp/dfb1a65e/bb/tmp-kPLinq/vk -i /tmp/dfb1a65e/bb/tmp-kPLinq/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:46 [13:32:46.935]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.03 MiB)
13:32:46 Scheme is: ultra_honk, num threads: 128 (mem: 256.03 MiB)
13:32:46 --public_inputs_path: /tmp/dfb1a65e/bb/tmp-sisDXE/public_inputs (mem: 256.03 MiB)
13:32:46 --proof_path: /tmp/dfb1a65e/bb/tmp-sisDXE/proof (mem: 256.03 MiB)
13:32:46 --vk_path: /tmp/dfb1a65e/bb/tmp-sisDXE/vk (mem: 256.03 MiB)
13:32:46 --verbose: true (mem: 256.03 MiB)
13:32:46 --scheme: ultra_honk (mem: 256.03 MiB)
13:32:46 --oracle_hash: poseidon2 (mem: 256.03 MiB)
13:32:46 --disable_zk: true (mem: 256.03 MiB)
13:32:46 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.03 MiB)
13:32:46 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 256.03 MiB)
13:32:46 Initialized BN254 CRS from memory with num points = 1 (mem: 256.03 MiB)
13:32:46 sumcheck_verified: 1 (mem: 256.03 MiB)
13:32:46 libra_evals_verified: 1 (mem: 256.03 MiB)
13:32:46 pairing_check_verified: 1 (mem: 256.03 MiB)
13:32:46 Proof verified successfully (mem: 256.03 MiB)
13:32:46 verified: 1 (mem: 256.03 MiB)
13:32:46 [13:32:46.936]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.03 MiB)
13:32:46 Scheme is: ultra_honk, num threads: 128 (mem: 256.03 MiB)
13:32:46 --public_inputs_path: /tmp/dfb1a65e/bb/tmp-oTpGRA/public_inputs (mem: 256.03 MiB)
13:32:46 --proof_path: /tmp/dfb1a65e/bb/tmp-oTpGRA/proof (mem: 256.03 MiB)
13:32:46 --vk_path: /tmp/dfb1a65e/bb/tmp-oTpGRA/vk (mem: 256.03 MiB)
13:32:46 --verbose: true (mem: 256.03 MiB)
13:32:46 --scheme: ultra_honk (mem: 256.03 MiB)
13:32:46 --oracle_hash: poseidon2 (mem: 256.03 MiB)
13:32:46 --disable_zk: true (mem: 256.03 MiB)
13:32:46 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.03 MiB)
13:32:46 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 256.03 MiB)
13:32:46 Initialized BN254 CRS from memory with num points = 1 (mem: 256.03 MiB)
13:32:46 sumcheck_verified: 1 (mem: 256.03 MiB)
13:32:46 libra_evals_verified: 1 (mem: 256.03 MiB)
13:32:46 pairing_check_verified: 1 (mem: 256.03 MiB)
13:32:46 Proof verified successfully (mem: 256.03 MiB)
13:32:46 verified: 1 (mem: 256.03 MiB)
13:32:46 [13:32:46.939]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.03 MiB)
13:32:46 Scheme is: ultra_honk, num threads: 128 (mem: 256.03 MiB)
13:32:46 --public_inputs_path: /tmp/dfb1a65e/bb/tmp-xm6GN9/public_inputs (mem: 256.03 MiB)
13:32:46 --proof_path: /tmp/dfb1a65e/bb/tmp-xm6GN9/proof (mem: 256.03 MiB)
13:32:46 --vk_path: /tmp/dfb1a65e/bb/tmp-xm6GN9/vk (mem: 256.03 MiB)
13:32:46 --verbose: true (mem: 256.03 MiB)
13:32:46 --scheme: ultra_honk (mem: 256.03 MiB)
13:32:46 --oracle_hash: poseidon2 (mem: 256.03 MiB)
13:32:46 --disable_zk: true (mem: 256.03 MiB)
13:32:46 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.03 MiB)
13:32:46 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 256.03 MiB)
13:32:46 Initialized BN254 CRS from memory with num points = 1 (mem: 256.03 MiB)
13:32:46 sumcheck_verified: 1 (mem: 256.03 MiB)
13:32:46 libra_evals_verified: 1 (mem: 256.03 MiB)
13:32:46 pairing_check_verified: 1 (mem: 256.03 MiB)
13:32:46 Proof verified successfully (mem: 256.03 MiB)
13:32:46 verified: 1 (mem: 256.03 MiB)
13:32:46 [13:32:46.940]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.03 MiB)
13:32:46 Scheme is: ultra_honk, num threads: 128 (mem: 256.03 MiB)
13:32:46 --public_inputs_path: /tmp/dfb1a65e/bb/tmp-kPLinq/public_inputs (mem: 256.03 MiB)
13:32:46 --proof_path: /tmp/dfb1a65e/bb/tmp-kPLinq/proof (mem: 256.03 MiB)
13:32:46 --vk_path: /tmp/dfb1a65e/bb/tmp-kPLinq/vk (mem: 256.03 MiB)
13:32:46 --verbose: true (mem: 256.03 MiB)
13:32:46 --scheme: ultra_honk (mem: 256.03 MiB)
13:32:46 --oracle_hash: poseidon2 (mem: 256.03 MiB)
13:32:46 --disable_zk: true (mem: 256.03 MiB)
13:32:46 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.03 MiB)
13:32:46 [13:32:46.941]
INFO:
bb-prover Successfully verified proof from key in 77.24419800000032 ms
13:32:46 [13:32:46.941]
INFO:
bb-prover Successfully verified proof from key in 100.47399500000029 ms
13:32:46 [13:32:46.942]
INFO:
bb-prover Successfully verified proof from key in 56.67110599999978 ms
13:32:46 [13:32:46.949]
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: 256.03 MiB)
13:32:46 [13:32:46.950]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 256.03 MiB)
13:32:46 [13:32:46.950]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 256.03 MiB)
13:32:46 libra_evals_verified: 1 (mem: 256.03 MiB)
13:32:46 pairing_check_verified: 1 (mem: 256.03 MiB)
13:32:46 [13:32:46.951]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 256.03 MiB)
13:32:46 verified: 1 (mem: 256.03 MiB)
13:32:46 [13:32:46.952]
INFO:
bb-prover Successfully verified proof from key in 42.63210600000093 ms
13:32:47 [13:32:47.124]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":66.29695399999946,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
13:32:47 [13:32:47.126]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:32:47 [13:32:47.127]
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/dfb1a65e/bb/tmp-epfWvN -b /tmp/dfb1a65e/bb/tmp-epfWvN/RootParityArtifact-bytecode -w /tmp/dfb1a65e/bb/tmp-epfWvN/partial-witness.gz -v --init_kzg_accumulator -v
13:32:47 [13:32:47.161]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 257.54 MiB)
13:32:47 Scheme is: ultra_honk, num threads: 128 (mem: 257.54 MiB)
13:32:47 --scheme: ultra_honk (mem: 257.54 MiB)
13:32:47 [13:32:47.162]
INFO:
bb-prover RootParityArtifact BB out -
13:32:47 --bytecode_path: /tmp/dfb1a65e/bb/tmp-epfWvN/RootParityArtifact-bytecode (mem: 257.54 MiB)
13:32:47 --witness_path: /tmp/dfb1a65e/bb/tmp-epfWvN/partial-witness.gz (mem: 257.54 MiB)
13:32:47 --output_path: /tmp/dfb1a65e/bb/tmp-epfWvN (mem: 257.54 MiB)
13:32:47 Warning: the following option is called more than once (mem: 257.54 MiB)
13:32:47 --verbose: true (mem: 257.54 MiB)
13:32:47 --oracle_hash: poseidon2 (mem: 257.54 MiB)
13:32:47 --output_format: bytes_and_fields (mem: 257.54 MiB)
13:32:47 --write_vk: true (mem: 257.54 MiB)
13:32:47 --disable_zk: true (mem: 257.54 MiB)
13:32:47 --init_kzg_accumulator: true (mem: 257.54 MiB)
13:32:47 [13:32:47.315]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 257.54 MiB)
13:32:49 [13:32:49.380]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 415.23 MiB)
13:32:51 [13:32:51.591]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 771.89 MiB)
13:32:53 [13:32:53.700]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1039.88 MiB)
13:32:56 [13:32:56.027]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1417.03 MiB)
13:32:56 [13:32:56.028]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1417.03 MiB)
13:32:57 [13:32:57.390]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1822.88 MiB)
13:32:57 [13:32:57.785]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5439.88 MiB)
13:32:59 [13:32:59.459]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3431 ms. (mem: 6038.88 MiB)
13:32:59 [13:32:59.598]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6038.88 MiB)
13:32:59 [13:32:59.599]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6038.88 MiB)
13:33:00 [13:33:00.675]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6038.88 MiB)
13:33:05 [13:33:05.453]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000bb46477f0ce0b6fc8b58279cfde5a8e9 (mem: 6038.88 MiB)
13:33:10 [13:33:10.725]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6038.88 MiB)
13:33:12 [13:33:12.852]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6823.07 MiB)
13:33:15 [13:33:15.111]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6823.07 MiB)
13:33:23 [13:33:23.494]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6823.07 MiB)
13:33:25 [13:33:25.253]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6823.07 MiB)
13:33:25 [13:33:25.263]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6823.07 MiB)
13:33:25 [13:33:25.740]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/dfb1a65e/bb/tmp-epfWvN/public_inputs" (mem: 6823.07 MiB)
13:33:25 Public inputs fields saved to "/tmp/dfb1a65e/bb/tmp-epfWvN/public_inputs_fields.json" (mem: 6823.07 MiB)
13:33:25 Proof saved to "/tmp/dfb1a65e/bb/tmp-epfWvN/proof" (mem: 6823.07 MiB)
13:33:25 [13:33:25.741]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/dfb1a65e/bb/tmp-epfWvN/proof_fields.json" (mem: 6823.07 MiB)
13:33:25 VK saved to "/tmp/dfb1a65e/bb/tmp-epfWvN/vk" (mem: 6823.07 MiB)
13:33:25 VK fields saved to "/tmp/dfb1a65e/bb/tmp-epfWvN/vk_fields.json" (mem: 6823.07 MiB)
13:33:25 [13:33:25.989]
INFO:
bb-prover Generated proof for RootParityArtifact in 38858 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":38857.527694000004,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:33:25 [13:33:25.999]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:33:25 [13:33:25.999]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/dfb1a65e/bb/tmp-FmQy0e/proof -k /tmp/dfb1a65e/bb/tmp-FmQy0e/vk -i /tmp/dfb1a65e/bb/tmp-FmQy0e/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:33:26 [13:33:26.024]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 257.55 MiB)
13:33:26 [13:33:26.024]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 257.55 MiB)
13:33:26 --public_inputs_path: /tmp/dfb1a65e/bb/tmp-FmQy0e/public_inputs (mem: 257.55 MiB)
13:33:26 --proof_path: /tmp/dfb1a65e/bb/tmp-FmQy0e/proof (mem: 257.55 MiB)
13:33:26 --vk_path: /tmp/dfb1a65e/bb/tmp-FmQy0e/vk (mem: 257.55 MiB)
13:33:26 --verbose: true (mem: 257.55 MiB)
13:33:26 --scheme: ultra_honk (mem: 257.55 MiB)
13:33:26 --oracle_hash: poseidon2 (mem: 257.55 MiB)
13:33:26 --disable_zk: true (mem: 257.55 MiB)
13:33:26 [13:33:26.025]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000bb46477f0ce0b6fc8b58279cfde5a8e9 (mem: 257.55 MiB)
13:33:26 [13:33:26.040]
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: 257.55 MiB)
13:33:26 [13:33:26.041]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 257.55 MiB)
13:33:26 [13:33:26.042]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 257.55 MiB)
13:33:26 libra_evals_verified: 1 (mem: 257.55 MiB)
13:33:26 pairing_check_verified: 1 (mem: 257.55 MiB)
13:33:26 Proof verified successfully (mem: 257.55 MiB)
13:33:26 [13:33:26.043]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 257.55 MiB)
13:33:26 [13:33:26.046]
INFO:
bb-prover Successfully verified proof from key in 47.48337100000208 ms
13:33:26 [13:33:26.054]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:33:26 [13:33:26.054]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/dfb1a65e/bb/tmp-dAslQZ/proof -k /tmp/dfb1a65e/bb/tmp-dAslQZ/vk -i /tmp/dfb1a65e/bb/tmp-dAslQZ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:33:26 [13:33:26.088]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 257.10 MiB)
13:33:26 Scheme is: ultra_honk, num threads: 128 (mem: 257.10 MiB)
13:33:26 --public_inputs_path: /tmp/dfb1a65e/bb/tmp-dAslQZ/public_inputs (mem: 257.10 MiB)
13:33:26 --proof_path: /tmp/dfb1a65e/bb/tmp-dAslQZ/proof (mem: 257.10 MiB)
13:33:26 --vk_path: /tmp/dfb1a65e/bb/tmp-dAslQZ/vk (mem: 257.10 MiB)
13:33:26 --verbose: true (mem: 257.10 MiB)
13:33:26 --scheme: ultra_honk (mem: 257.10 MiB)
13:33:26 --oracle_hash: poseidon2 (mem: 257.10 MiB)
13:33:26 --disable_zk: true (mem: 257.10 MiB)
13:33:26 [13:33:26.089]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000bb46477f0ce0b6fc8b58279cfde5a8e9 (mem: 257.10 MiB)
13:33:26 [13:33:26.107]
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: 257.10 MiB)
13:33:26 [13:33:26.108]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 257.10 MiB)
13:33:26 [13:33:26.109]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 257.10 MiB)
13:33:26 libra_evals_verified: 1 (mem: 257.10 MiB)
13:33:26 pairing_check_verified: 1 (mem: 257.10 MiB)
13:33:26 Proof verified successfully (mem: 257.10 MiB)
13:33:26 verified: 1 (mem: 257.10 MiB)
13:33:26 [13:33:26.111]
INFO:
bb-prover Successfully verified proof from key in 56.732560000004014 ms
13:33:26 [13:33:26.187]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
13:33:26
13:33:26 [13:33:26.188]
ERROR:
bb-prover Error running operation at /tmp/dfb1a65e/bb/tmp-Xs6204: Error: Failed to generate witness: Failed assertion
13:33:26
13:33:26 [13:33:26.356]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":71.00968399999692,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
13:33:26 [13:33:26.367]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:33:26 [13:33:26.368]
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/dfb1a65e/bb/tmp-Xn5Bh7 -b /tmp/dfb1a65e/bb/tmp-Xn5Bh7/RootParityArtifact-bytecode -w /tmp/dfb1a65e/bb/tmp-Xn5Bh7/partial-witness.gz -v --init_kzg_accumulator -v
13:33:26 [13:33:26.393]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 257.55 MiB)
13:33:26 [13:33:26.394]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 257.55 MiB)
13:33:26 --scheme: ultra_honk (mem: 257.55 MiB)
13:33:26 --bytecode_path: /tmp/dfb1a65e/bb/tmp-Xn5Bh7/RootParityArtifact-bytecode (mem: 257.55 MiB)
13:33:26 --witness_path: /tmp/dfb1a65e/bb/tmp-Xn5Bh7/partial-witness.gz (mem: 257.55 MiB)
13:33:26 --output_path: /tmp/dfb1a65e/bb/tmp-Xn5Bh7 (mem: 257.55 MiB)
13:33:26 Warning: the following option is called more than once (mem: 257.55 MiB)
13:33:26 --verbose: true (mem: 257.55 MiB)
13:33:26 --oracle_hash: poseidon2 (mem: 257.55 MiB)
13:33:26 --output_format: bytes_and_fields (mem: 257.55 MiB)
13:33:26 --write_vk: true (mem: 257.55 MiB)
13:33:26 --disable_zk: true (mem: 257.55 MiB)
13:33:26 --init_kzg_accumulator: true (mem: 257.55 MiB)
13:33:26 [13:33:26.553]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 257.55 MiB)
13:33:26 [13:33:26.563]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 257.55 MiB)
13:33:28 [13:33:28.481]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 412.88 MiB)
13:33:30 [13:33:30.783]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 760.52 MiB)
13:33:33 [13:33:33.146]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1021.68 MiB)
13:33:36 [13:33:36.154]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1395.59 MiB)
13:33:36 [13:33:36.159]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1395.59 MiB)
13:33:37 [13:33:37.807]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1803.57 MiB)
13:33:38 [13:33:38.500]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem:
13:33:38 [13:33:38.501]
INFO:
bb-prover RootParityArtifact BB out - 5439.57 MiB)
13:33:40 [13:33:40.393]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4237 ms. (mem: 6033.57 MiB)
13:33:40 [13:33:40.525]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6033.57 MiB)
13:33:40 [13:33:40.526]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6033.57 MiB)
13:33:41 [13:33:41.577]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6033.57 MiB)
13:33:45 [13:33:45.721]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000bb46477f0ce0b6fc8b58279cfde5a8e9 (mem: 6033.57 MiB)
13:33:50 [13:33:50.382]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6033.57 MiB)
13:33:52 [13:33:52.019]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6776.63 MiB)
13:33:54 [13:33:54.044]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6776.63 MiB)
13:34:00 [13:34:00.805]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6776.63 MiB)
13:34:02 [13:34:02.770]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6776.63 MiB)
13:34:02 [13:34:02.782]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6776.63 MiB)
13:34:03 [13:34:03.434]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/dfb1a65e/bb/tmp-Xn5Bh7/public_inputs" (mem: 6776.63 MiB)
13:34:03 [13:34:03.436]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/dfb1a65e/bb/tmp-Xn5Bh7/public_inputs_fields.json" (mem: 6776.63 MiB)
13:34:03 Proof saved to "/tmp/dfb1a65e/bb/tmp-Xn5Bh7/proof" (mem: 6776.63 MiB)
13:34:03 Proof fields saved to "/tmp/dfb1a65e/bb/tmp-Xn5Bh7/proof_fields.json" (mem: 6776.63 MiB)
13:34:03 VK saved to "/tmp/dfb1a65e/bb/tmp-Xn5Bh7/vk" (mem: 6776.63 MiB)
13:34:03 VK fields saved to "/tmp/dfb1a65e/bb/tmp-Xn5Bh7/vk_fields.json" (mem: 6776.63 MiB)
13:34:03 [13:34:03.682]
INFO:
bb-prover Generated proof for RootParityArtifact in 37309 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":37308.0837,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:34:03 [13:34:03.686]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:34:03 [13:34:03.686]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/dfb1a65e/bb/tmp-WZvCn6/proof -k /tmp/dfb1a65e/bb/tmp-WZvCn6/vk -i /tmp/dfb1a65e/bb/tmp-WZvCn6/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:34:03 [13:34:03.714]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
13:34:03 [13:34:03.717]
VERBOSE:
bb-prover bb-prover (verify) BB out - 257.55 MiB)
13:34:03 [13:34:03.720]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 257.55 MiB)
13:34:03 --public_inputs_path: /tmp/dfb1a65e/bb/tmp-WZvCn6/public_inputs (mem: 257.55 MiB)
13:34:03 --proof_path: /tmp/dfb1a65e/bb/tmp-WZvCn6/proof (mem: 257.55 MiB)
13:34:03 --vk_path: /tmp/dfb1a65e/bb/tmp-WZvCn6/vk (mem: 257.55 MiB)
13:34:03 --verbose: true (mem: 257.55 MiB)
13:34:03 --scheme: ultra_honk (mem: 257.55 MiB)
13:34:03 --oracle_hash: poseidon2 (mem: 257.55 MiB)
13:34:03 --disable_zk: true (mem: 257.55 MiB)
13:34:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000bb46477f0ce0b6fc8b58279cfde5a8e9 (mem: 257.55 MiB)
13:34:03 [13:34:03.730]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 257.55 MiB)
13:34:03 Proof verification failed (mem: 257.55 MiB)
13:34:03 verified: 0 (mem:
13:34:03 [13:34:03.730]
VERBOSE:
bb-prover bb-prover (verify) BB out - 257.55 MiB)
13:34:03 [13:34:03.732]
ERROR:
bb-prover Error running operation at /tmp/dfb1a65e/bb/tmp-WZvCn6: ProvingError: Failed to verify proof from key!
13:34:03 [13:34:03.910]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":65.87769000000844,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
13:34:03 [13:34:03.912]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:34:03 [13:34:03.912]
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/dfb1a65e/bb/tmp-PaapEt -b /tmp/dfb1a65e/bb/tmp-PaapEt/RootParityArtifact-bytecode -w /tmp/dfb1a65e/bb/tmp-PaapEt/partial-witness.gz -v --init_kzg_accumulator -v
13:34:03 [13:34:03.938]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 256.57 MiB)
13:34:03 Scheme is: ultra_honk, num threads: 128 (mem: 256.57 MiB)
13:34:03 --scheme: ultra_honk (mem: 256.57 MiB)
13:34:03 --bytecode_path: /tmp/dfb1a65e/bb/tmp-PaapEt/RootParityArtifact-bytecode (mem: 256.57 MiB)
13:34:03 --witness_path: /tmp/dfb1a65e/bb/tmp-PaapEt/partial-witness.gz (mem: 256.57 MiB)
13:34:03 --output_path: /tmp/dfb1a65e/bb/tmp-PaapEt (mem: 256.57 MiB)
13:34:03 Warning: the following option is called more than once (mem: 256.57 MiB)
13:34:03 --verbose: true (mem: 256.57 MiB)
13:34:03 --oracle_hash: poseidon2 (mem: 256.57 MiB)
13:34:03 --output_format: bytes_and_fields (mem: 256.57 MiB)
13:34:03 --write_vk: true (mem: 256.57 MiB)
13:34:03 --disable_zk: true (mem: 256.57 MiB)
13:34:03 --init_kzg_accumulator: true (mem: 256.57 MiB)
13:34:04 [13:34:04.081]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.57 MiB)
13:34:04 [13:34:04.089]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 256.57 MiB)
13:34:06 [13:34:06.162]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 413.87 MiB)
13:34:08 [13:34:08.348]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 771.60 MiB)
13:34:10 [13:34:10.421]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1039.22 MiB)
13:34:12 [13:34:12.633]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1416.69 MiB)
13:34:12 [13:34:12.633]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1416.69 MiB)
13:34:13 [13:34:13.791]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1822.91 MiB)
13:34:14 [13:34:14.207]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5443.91 MiB)
13:34:15 [13:34:15.568]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 2935 ms. (mem: 6039.91 MiB)
13:34:15 [13:34:15.711]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6039.91 MiB)
13:34:15 [13:34:15.712]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6039.91 MiB)
13:34:16 [13:34:16.651]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6039.91 MiB)
13:34:19 [13:34:19.909]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000bb46477f0ce0b6fc8b58279cfde5a8e9 (mem: 6039.91 MiB)
13:34:24 [13:34:24.298]
INFO:
bb-prover RootParityArtifact BB out - created oink proof
13:34:24 [13:34:24.299]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6039.91 MiB)
13:34:26 [13:34:26.387]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6777.55 MiB)
13:34:28 [13:34:28.373]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6777.55 MiB)
13:34:34 [13:34:34.780]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6777.55 MiB)
13:34:36 [13:34:36.444]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6777.55 MiB)
13:34:36 [13:34:36.457]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6777.55 MiB)
13:34:37 [13:34:37.029]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/dfb1a65e/bb/tmp-PaapEt/public_inputs" (mem: 6777.55 MiB)
13:34:37 [13:34:37.029]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/dfb1a65e/bb/tmp-PaapEt/public_inputs_fields.json" (mem: 6777.55 MiB)
13:34:37 Proof saved to "/tmp/dfb1a65e/bb/tmp-PaapEt/proof" (mem: 6777.55 MiB)
13:34:37 Proof fields saved to "/tmp/dfb1a65e/bb/tmp-PaapEt/proof_fields.json" (mem: 6777.55 MiB)
13:34:37 VK saved to "/tmp/dfb1a65e/bb/tmp-PaapEt/vk" (mem: 6777.55 MiB)
13:34:37 VK fields saved to "/tmp/dfb1a65e/bb/tmp-PaapEt/vk_fields.json" (mem: 6777.55 MiB)
13:34:37 [13:34:37.261]
INFO:
bb-prover Generated proof for RootParityArtifact in 33348 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":33347.445256000006,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:34:37 [13:34:37.264]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:34:37 [13:34:37.265]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/dfb1a65e/bb/tmp-SFWl0m/proof -k /tmp/dfb1a65e/bb/tmp-SFWl0m/vk -i /tmp/dfb1a65e/bb/tmp-SFWl0m/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:34:37 [13:34:37.285]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 257.55 MiB)
13:34:37 [13:34:37.285]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 257.55 MiB)
13:34:37 --public_inputs_path: /tmp/dfb1a65e/bb/tmp-SFWl0m/public_inputs (mem: 257.55 MiB)
13:34:37 --proof_path: /tmp/dfb1a65e/bb/tmp-SFWl0m/proof (mem: 257.55 MiB)
13:34:37 --vk_path: /tmp/dfb1a65e/bb/tmp-SFWl0m/vk (mem: 257.55 MiB)
13:34:37 --verbose: true (mem: 257.55 MiB)
13:34:37 --scheme: ultra_honk (mem: 257.55 MiB)
13:34:37 --oracle_hash: poseidon2 (mem: 257.55 MiB)
13:34:37 --disable_zk: true (mem: 257.55 MiB)
13:34:37 [13:34:37.286]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000bb46477f0ce0b6fc8b58279cfde5a8e9 (mem: 257.55 MiB)
13:34:37 [13:34:37.295]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 257.55 MiB)
13:34:37 Proof verification failed (mem: 257.55 MiB)
13:34:37 [13:34:37.295]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 257.55 MiB)
13:34:37 [13:34:37.296]
ERROR:
bb-prover Error running operation at /tmp/dfb1a65e/bb/tmp-SFWl0m: ProvingError: Failed to verify proof from key!
13:34:37 [13:34:37.298]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
13:34:37
PASS src/test/bb_prover_parity.test.ts (
123.773 s)
13:34:37 prover/bb_prover/parity
13:34:37
✓ proves the parity circuits (115567 ms)
13:34:37
13:34:37
Test Suites: 1 passed, 1 total
13:34:37
Tests: 1 passed, 1 total
13:34:37
Snapshots: 0 total
13:34:37
Time: 123.863 s
13:34:37
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
13:34:37
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?