Parent Log:
http://ci.aztec-labs.com/9835e3d1ddb4ce05
Command: 4ef547fa5e299294: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/d4893155ff105399557b55c16450c39921c70d11
Env: REF_NAME=gh-readonly-queue/next/pr-15218-7edf16da6c056f9499e2dfd9c71fb9b7580f9bfc CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 24 10:22:54 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15218_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
10:22:54 +++ id -u
10:22:54 +++ id -g
10:22:54 ++ 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:22:55 + cid=49b5949d6d15b00c449e3ddc8ad1dc0a424601afa52de66eb37bb41851fe5d9b
10:22:55 + set +x
10:22:57 {"level":25,"time":1750760577083,"pid":7,"hostname":"49b5949d6d15","module":"logger","msg":"Logger initialized with level verbose"}
10:23:05 [10:23:05.102]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-TmKVZy/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
10:23:05 [10:23:05.171]
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/23742b72/bb
10:23:05 [10:23:05.173]
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/23742b72/acvm
10:23:05 [10:23:05.175]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/23742b72/bb
10:23:05 [10:23:05.177]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/23742b72/acvm
10:23:05 [10:23:05.182]
INFO:
prover-client:proving-broker Proving Broker started
10:23:05 [10:23:05.184]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
10:23:05 [10:23:05.338]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":53.40368699999999,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:23:05 [10:23:05.352]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":72.43332200000077,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:23:05 [10:23:05.381]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:23:05 [10:23:05.381]
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/23742b72/bb/tmp-8SwGiF -b /tmp/23742b72/bb/tmp-8SwGiF/BaseParityArtifact-bytecode -w /tmp/23742b72/bb/tmp-8SwGiF/partial-witness.gz -v --init_kzg_accumulator -v
10:23:05 [10:23:05.406]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:23:05 [10:23:05.407]
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/23742b72/bb/tmp-VDWeNt -b /tmp/23742b72/bb/tmp-VDWeNt/BaseParityArtifact-bytecode -w /tmp/23742b72/bb/tmp-VDWeNt/partial-witness.gz -v --init_kzg_accumulator -v
10:23:05 [10:23:05.436]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.82 MiB)
10:23:05 Scheme is: ultra_honk, num threads: 128 (mem: 250.82 MiB)
10:23:05 --scheme: ultra_honk (mem: 250.82 MiB)
10:23:05 --bytecode_path: /tmp/23742b72/bb/tmp-8SwGiF/BaseParityArtifact-bytecode (mem: 250.82 MiB)
10:23:05 --witness_path: /tmp/23742b72/bb/tmp-8SwGiF/partial-witness.gz (mem: 250.82 MiB)
10:23:05 --output_path: /tmp/23742b72/bb/tmp-8SwGiF (mem: 250.82 MiB)
10:23:05 Warning: the following option is called more than once (mem: 250.82 MiB)
10:23:05 --verbose: true (mem: 250.82 MiB)
10:23:05 --oracle_hash: poseidon2 (mem: 250.82 MiB)
10:23:05 --output_format: bytes_and_fields (mem: 250.82 MiB)
10:23:05 --write_vk: true (mem: 250.82 MiB)
10:23:05 --disable_zk: true (mem: 250.82 MiB)
10:23:05 --init_kzg_accumulator: true (mem: 250.82 MiB)
10:23:05 [10:23:05.442]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.32 MiB)
10:23:05 Scheme is: ultra_honk, num threads: 128 (mem: 251.32 MiB)
10:23:05 --scheme: ultra_honk (mem: 251.32 MiB)
10:23:05 --bytecode_path: /tmp/23742b72/bb/tmp-VDWeNt/BaseParityArtifact-bytecode (mem: 251.32 MiB)
10:23:05 --witness_path: /tmp/23742b72/bb/tmp-VDWeNt/partial-witness.gz (mem: 251.32 MiB)
10:23:05 --output_path: /tmp/23742b72/bb/tmp-VDWeNt (mem: 251.32 MiB)
10:23:05 Warning: the following option is called more than once (mem: 251.32 MiB)
10:23:05 --verbose: true (mem: 251.32 MiB)
10:23:05 --oracle_hash: poseidon2 (mem: 251.32 MiB)
10:23:05 --output_format: bytes_and_fields (mem: 251.32 MiB)
10:23:05 --write_vk: true (mem: 251.32 MiB)
10:23:05 --disable_zk: true (mem: 251.32 MiB)
10:23:05 --init_kzg_accumulator: true (mem: 251.32 MiB)
10:23:05 [10:23:05.454]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":61.54014300000017,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:23:05 [10:23:05.478]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":83.861852,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:23:05 [10:23:05.486]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:23:05 [10:23:05.487]
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/23742b72/bb/tmp-PVcMXT -b /tmp/23742b72/bb/tmp-PVcMXT/BaseParityArtifact-bytecode -w /tmp/23742b72/bb/tmp-PVcMXT/partial-witness.gz -v --init_kzg_accumulator -v
10:23:05 [10:23:05.520]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:23:05 [10:23:05.521]
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/23742b72/bb/tmp-PnzwuU -b /tmp/23742b72/bb/tmp-PnzwuU/BaseParityArtifact-bytecode -w /tmp/23742b72/bb/tmp-PnzwuU/partial-witness.gz -v --init_kzg_accumulator -v
10:23:05 [10:23:05.542]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.41 MiB)
10:23:05 Scheme is: ultra_honk, num threads: 128 (mem: 251.41 MiB)
10:23:05 --scheme: ultra_honk (mem: 251.41 MiB)
10:23:05 --bytecode_path: /tmp/23742b72/bb/tmp-PVcMXT/BaseParityArtifact-bytecode (mem: 251.41 MiB)
10:23:05 --witness_path: /tmp/23742b72/bb/tmp-PVcMXT/partial-witness.gz (mem: 251.41 MiB)
10:23:05 --output_path: /tmp/23742b72/bb/tmp-PVcMXT (mem: 251.41 MiB)
10:23:05 Warning: the following option is called more than once (mem: 251.41 MiB)
10:23:05 --verbose: true (mem: 251.41 MiB)
10:23:05 --oracle_hash: poseidon2 (mem: 251.41 MiB)
10:23:05 --output_format: bytes_and_fields (mem: 251.41 MiB)
10:23:05 --write_vk: true (mem: 251.41 MiB)
10:23:05 --disable_zk: true (mem: 251.41 MiB)
10:23:05 --init_kzg_accumulator: true (mem: 251.41 MiB)
10:23:05 [10:23:05.546]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.41 MiB)
10:23:05 [10:23:05.547]
INFO:
bb-prover BaseParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.41 MiB)
10:23:05 --scheme: ultra_honk (mem: 251.41 MiB)
10:23:05 --bytecode_path: /tmp/23742b72/bb/tmp-PnzwuU/BaseParityArtifact-bytecode (mem: 251.41 MiB)
10:23:05 --witness_path: /tmp/23742b72/bb/tmp-PnzwuU/partial-witness.gz (mem: 251.41 MiB)
10:23:05 --output_path: /tmp/23742b72/bb/tmp-PnzwuU (mem: 251.41 MiB)
10:23:05 Warning: the following option is called more than once (mem: 251.41 MiB)
10:23:05 --verbose: true (mem: 251.41 MiB)
10:23:05 --oracle_hash: poseidon2 (mem: 251.41 MiB)
10:23:05 --output_format: bytes_and_fields (mem: 251.41 MiB)
10:23:05 --write_vk: true (mem: 251.41 MiB)
10:23:05 --disable_zk: true (mem: 251.41 MiB)
10:23:05 --init_kzg_accumulator: true (mem: 251.41 MiB)
10:23:05 [10:23:05.598]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.82 MiB)
10:23:05 Constructing DeciderProvingKey (mem: 250.82 MiB)
10:23:05 [10:23:05.599]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
10:23:05 [10:23:05.599]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
10:23:05 [10:23:05.600]
INFO:
bb-prover BaseParityArtifact BB out - 250.82
10:23:05 [10:23:05.600]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
10:23:05 [10:23:05.600]
INFO:
bb-prover BaseParityArtifact BB out -
10:23:05 [10:23:05.614]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
10:23:05 [10:23:05.615]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
10:23:05 [10:23:05.618]
INFO:
bb-prover BaseParityArtifact BB out - 251.32 MiB)
10:23:05 Constructing DeciderProvingKey (mem: 251.32 MiB)
10:23:05 [10:23:05.621]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.32 MiB)
10:23:05 [10:23:05.670]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.41 MiB)
10:23:05 Constructing DeciderProvingKey (mem: 251.41 MiB)
10:23:05 [10:23:05.674]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.41 MiB)
10:23:05 [10:23:05.734]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.41 MiB)
10:23:05 [10:23:05.735]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.41 MiB)
10:23:05 [10:23:05.740]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.41 MiB)
10:23:05 [10:23:05.780]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.82 MiB)
10:23:05 [10:23:05.840]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.32 MiB)
10:23:05 [10:23:05.861]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 259 ms. (mem: 250.82 MiB)
10:23:05 [10:23:05.864]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.82 MiB)
10:23:05 [10:23:05.865]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.82 MiB)
10:23:05 [10:23:05.879]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.82 MiB)
10:23:05 [10:23:05.917]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.41 MiB)
10:23:05 [10:23:05.960]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 343 ms. (mem: 251.32 MiB)
10:23:05 [10:23:05.967]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.32 MiB)
10:23:05 [10:23:05.968]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.32 MiB)
10:23:05 [10:23:05.983]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 251.32 MiB)
10:23:06 [10:23:05.991]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 320 ms. (mem: 251.41 MiB)
10:23:06 [10:23:05.998]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.41 MiB)
10:23:06 [10:23:06.001]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.41 MiB)
10:23:06 [10:23:06.012]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 251.41 MiB)
10:23:06 [10:23:06.120]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.41 MiB)
10:23:06 [10:23:06.454]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 719 ms. (mem: 251.41 MiB)
10:23:06 [10:23:06.461]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.41 MiB)
10:23:06 [10:23:06.465]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.41 MiB)
10:23:06 [10:23:06.478]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 251.41 MiB)
10:23:07 [10:23:07.032]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.82 MiB)
10:23:07 [10:23:07.159]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.32 MiB)
10:23:07 [10:23:07.241]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.41 MiB)
10:23:07 [10:23:07.733]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.82 MiB)
10:23:07 [10:23:07.742]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.32 MiB)
10:23:07 [10:23:07.848]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.41 MiB)
10:23:07 [10:23:07.851]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.41 MiB)
10:23:08 [10:23:08.036]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.32 MiB)
10:23:08 [10:23:08.101]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.82 MiB)
10:23:08 [10:23:08.253]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.41 MiB)
10:23:08 [10:23:08.271]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.41 MiB)
10:23:08 [10:23:08.343]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.32 MiB)
10:23:08 [10:23:08.384]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.82 MiB)
10:23:08 [10:23:08.441]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.41 MiB)
10:23:08 [10:23:08.504]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.41 MiB)
10:23:08 [10:23:08.643]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.41 MiB)
10:23:09 [10:23:09.874]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.32 MiB)
10:23:09 [10:23:09.945]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.32 MiB)
10:23:09 finished decider proving. (mem: 251.32 MiB)
10:23:09 Public inputs saved to "/tmp/23742b72/bb/tmp-VDWeNt/public_inputs" (mem: 251.32 MiB)
10:23:09 Public inputs fields saved to "/tmp/23742b72/bb/tmp-VDWeNt/public_inputs_fields.json" (mem: 251.32 MiB)
10:23:09 Proof saved to "/tmp/23742b72/bb/tmp-VDWeNt/proof" (mem: 251.32
10:23:09 [10:23:09.947]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
10:23:09 Proof fields saved to "/tmp/23742b72/bb/tmp-VDWeNt/proof_fields.json" (mem: 251.32 MiB)
10:23:09 VK saved to "/tmp/23742b72/bb/tmp-VDWeNt/vk" (mem: 251.32 MiB)
10:23:09 VK fields saved to "/tmp/23742b72/bb/tmp-VDWeNt/vk_fields.json" (mem: 251.32 MiB)
10:23:09 [10:23:09.991]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4579 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4578.299360999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:23:09 [10:23:09.996]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:23:09 [10:23:09.996]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/23742b72/bb/tmp-DM0Nvr/proof -k /tmp/23742b72/bb/tmp-DM0Nvr/vk -i /tmp/23742b72/bb/tmp-DM0Nvr/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:23:10 [10:23:10.034]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.70 MiB)
10:23:10 Scheme is: ultra_honk, num threads: 128 (mem: 250.70 MiB)
10:23:10 --public_inputs_path: /tmp/23742b72/bb/tmp-DM0Nvr/public_inputs (mem: 250.70 MiB)
10:23:10 --proof_path: /tmp/23742b72/bb/tmp-DM0Nvr/proof (mem: 250.70 MiB)
10:23:10 --vk_path: /tmp/23742b72/bb/tmp-DM0Nvr/vk (mem: 250.70 MiB)
10:23:10 --verbose: true (mem: 250.70 MiB)
10:23:10 --scheme: ultra_honk (mem: 250.70 MiB)
10:23:10 --oracle_hash: poseidon2 (mem: 250.70 MiB)
10:23:10 --disable_zk: true (mem: 250.70 MiB)
10:23:10 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.70 MiB)
10:23:10 [10:23:10.051]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.82 MiB)
10:23:10 [10:23:10.054]
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: 250.70 MiB)
10:23:10 [10:23:10.057]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 250.70 MiB)
10:23:10 sumcheck_verified: 1 (mem: 250.70 MiB)
10:23:10 libra_evals_verified: 1 (mem: 250.70 MiB)
10:23:10 pairing_check_verified: 1 (mem: 250.70 MiB)
10:23:10 Proof verified successfully (mem: 250.70 MiB)
10:23:10 verified: 1 (mem: 250.70 MiB)
10:23:10 [10:23:10.058]
INFO:
bb-prover Successfully verified proof from key in 62.41620000000148 ms
10:23:10 [10:23:10.070]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.41 MiB)
10:23:10 [10:23:10.177]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.41 MiB)
10:23:10 [10:23:10.178]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 251.41 MiB)
10:23:10 Public inputs saved to "/tmp/23742b72/bb/tmp-PVcMXT/public_inputs" (mem: 251.41 MiB)
10:23:10 Public inputs fields saved to "/tmp/23742b72/bb/tmp-PVcMXT/public_inputs_fields.json" (mem: 251.41 MiB)
10:23:10 Proof saved to "/tmp/23742b72/bb/tmp-PVcMXT/proof" (mem: 251.41 MiB)
10:23:10 [10:23:10.178]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/23742b72/bb/tmp-PVcMXT/proof_fields.json" (mem: 251.41 MiB)
10:23:10 VK saved to "/tmp/23742b72/bb/tmp-PVcMXT/vk" (mem: 251.41 MiB)
10:23:10 VK fields saved to "/tmp/23742b72/bb/tmp-PVcMXT/vk_fields.json" (mem: 251.41 MiB)
10:23:10 [10:23:10.214]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.82 MiB)
10:23:10 finished decider proving. (mem: 250.82 MiB)
10:23:10 [10:23:10.214]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/23742b72/bb/tmp-8SwGiF/public_inputs" (mem: 250.82 MiB)
10:23:10 Public inputs fields saved to "/tmp/23742b72/bb/tmp-8SwGiF/public_inputs_fields.json" (mem: 250.82 MiB)
10:23:10 Proof saved to "/tmp/23742b72/bb/tmp-8SwGiF/proof" (mem: 250.82 MiB)
10:23:10 Proof fields saved to "/tmp/23742b72/bb/tmp-8SwGiF/proof_fields.json" (mem: 250.82 MiB)
10:23:10 VK saved to "/tmp/23742b72/bb/tmp-8SwGiF/vk" (mem: 250.82 MiB)
10:23:10 VK fields saved to "/tmp/23742b72/bb/tmp-8SwGiF/vk_fields.json" (mem: 250.82 MiB)
10:23:10 [10:23:10.312]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4928 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4927.997300999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:23:10 [10:23:10.314]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4823 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4822.189007999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:23:10 [10:23:10.320]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:23:10 [10:23:10.320]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/23742b72/bb/tmp-iiQ9Cu/proof -k /tmp/23742b72/bb/tmp-iiQ9Cu/vk -i /tmp/23742b72/bb/tmp-iiQ9Cu/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:23:10 [10:23:10.360]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:23:10 [10:23:10.360]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/23742b72/bb/tmp-mVqshv/proof -k /tmp/23742b72/bb/tmp-mVqshv/vk -i /tmp/23742b72/bb/tmp-mVqshv/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:23:10 [10:23:10.399]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.53 MiB)
10:23:10 Scheme is: ultra_honk, num threads: 128 (mem: 251.53 MiB)
10:23:10 --public_inputs_path: /tmp/23742b72/bb/tmp-iiQ9Cu/public_inputs (mem: 251.53 MiB)
10:23:10 --proof_path: /tmp/23742b72/bb/tmp-iiQ9Cu/proof (mem: 251.53 MiB)
10:23:10 --vk_path: /tmp/23742b72/bb/tmp-iiQ9Cu/vk (mem: 251.53 MiB)
10:23:10 --verbose: true (mem: 251.53 MiB)
10:23:10 --scheme: ultra_honk (mem: 251.53 MiB)
10:23:10 --oracle_hash: poseidon2 (mem: 251.53 MiB)
10:23:10 --disable_zk: true (mem: 251.53 MiB)
10:23:10 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.53 MiB)
10:23:10 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.53 MiB)
10:23:10 Initialized BN254 CRS from memory with num points = 1 (mem: 251.53 MiB)
10:23:10 sumcheck_verified: 1 (mem: 251.53 MiB)
10:23:10 libra_evals_verified: 1 (mem: 251.53 MiB)
10:23:10 pairing_check_verified: 1 (mem: 251.53 MiB)
10:23:10 Proof verified successfully (mem: 251.53 MiB)
10:23:10 verified: 1 (mem: 251.53 MiB)
10:23:10 [10:23:10.402]
INFO:
bb-prover Successfully verified proof from key in 81.87244400000054 ms
10:23:10 [10:23:10.402]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.53 MiB)
10:23:10 Scheme is: ultra_honk, num threads: 128 (mem: 251.53 MiB)
10:23:10 --public_inputs_path: /tmp/23742b72/bb/tmp-mVqshv/public_inputs (mem: 251.53 MiB)
10:23:10 --proof_path: /tmp/23742b72/bb/tmp-mVqshv/proof (mem: 251.53 MiB)
10:23:10 --vk_path: /tmp/23742b72/bb/tmp-mVqshv/vk (mem: 251.53 MiB)
10:23:10 --verbose: true (mem: 251.53 MiB)
10:23:10 --scheme: ultra_honk (mem: 251.53 MiB)
10:23:10 --oracle_hash: poseidon2 (mem: 251.53 MiB)
10:23:10 --disable_zk: true (mem: 251.53 MiB)
10:23:10 [10:23:10.403]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.53 MiB)
10:23:10 [10:23:10.419]
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: 251.53 MiB)
10:23:10 [10:23:10.420]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 251.53 MiB)
10:23:10 [10:23:10.421]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.53 MiB)
10:23:10 libra_evals_verified: 1 (mem: 251.53 MiB)
10:23:10 pairing_check_verified: 1 (mem: 251.53 MiB)
10:23:10 Proof verified successfully (mem: 251.53 MiB)
10:23:10 [10:23:10.422]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 251.53 MiB)
10:23:10 [10:23:10.423]
INFO:
bb-prover Successfully verified proof from key in 62.99428100000114 ms
10:23:10 [10:23:10.464]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.41 MiB)
10:23:10 [10:23:10.526]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.41 MiB)
10:23:10 finished decider proving. (mem: 251.41 MiB)
10:23:10 Public inputs saved to "/tmp/23742b72/bb/tmp-PnzwuU/public_inputs" (mem: 251.41 MiB)
10:23:10 Public inputs fields saved to "/tmp/23742b72/bb/tmp-PnzwuU/public_inputs_fields.json" (mem: 251.41 MiB)
10:23:10 Proof saved to "/tmp/23742b72/bb/tmp-PnzwuU/proof" (mem: 251.41 MiB)
10:23:10 Proof fields saved to "/tmp/23742b72/bb/tmp-PnzwuU/proof_fields.json" (mem: 251.41 MiB)
10:23:10 VK saved to "/tmp/23742b72/bb/tmp-PnzwuU/vk" (mem: 251.41 MiB)
10:23:10 VK fields saved to "/tmp/23742b72/bb/tmp-PnzwuU/vk_fields.json" (mem: 251.41 MiB)
10:23:10 [10:23:10.575]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5045 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5044.590421999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:23:10 [10:23:10.580]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:23:10 [10:23:10.581]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/23742b72/bb/tmp-JjR8o3/proof -k /tmp/23742b72/bb/tmp-JjR8o3/vk -i /tmp/23742b72/bb/tmp-JjR8o3/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:23:10 [10:23:10.611]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.61 MiB)
10:23:10 [10:23:10.612]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.61 MiB)
10:23:10 --public_inputs_path: /tmp/23742b72/bb/tmp-JjR8o3/public_inputs (mem: 251.61 MiB)
10:23:10 --proof_path: /tmp/23742b72/bb/tmp-JjR8o3/proof (mem: 251.61 MiB)
10:23:10 --vk_path: /tmp/23742b72/bb/tmp-JjR8o3/vk (mem: 251.61 MiB)
10:23:10 --verbose: true (mem: 251.61 MiB)
10:23:10 --scheme: ultra_honk (mem: 251.61 MiB)
10:23:10 --oracle_hash: poseidon2 (mem: 251.61 MiB)
10:23:10 --disable_zk: true (mem: 251.61 MiB)
10:23:10 [10:23:10.612]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.61 MiB)
10:23:10 [10:23:10.629]
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: 251.61 MiB)
10:23:10 Initialized BN254 CRS from memory with num points = 1 (mem: 251.61 MiB)
10:23:10 [10:23:10.636]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.61 MiB)
10:23:10 libra_evals_verified: 1 (mem: 251.61 MiB)
10:23:10 pairing_check_verified: 1 (mem: 251.61 MiB)
10:23:10 Proof verified successfully (mem: 251.61 MiB)
10:23:10 verified: 1 (mem: 251.61 MiB)
10:23:10 [10:23:10.637]
INFO:
bb-prover Successfully verified proof from key in 57.099898000000394 ms
10:23:10 [10:23:10.649]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:23:10 [10:23:10.649]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/23742b72/bb/tmp-iazEDc/proof -k /tmp/23742b72/bb/tmp-iazEDc/vk -i /tmp/23742b72/bb/tmp-iazEDc/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:23:10 [10:23:10.668]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:23:10 [10:23:10.669]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/23742b72/bb/tmp-VPnEsA/proof -k /tmp/23742b72/bb/tmp-VPnEsA/vk -i /tmp/23742b72/bb/tmp-VPnEsA/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:23:10 [10:23:10.697]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:23:10 [10:23:10.697]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/23742b72/bb/tmp-7NkMHp/proof -k /tmp/23742b72/bb/tmp-7NkMHp/vk -i /tmp/23742b72/bb/tmp-7NkMHp/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:23:10 [10:23:10.721]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:23:10 [10:23:10.722]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/23742b72/bb/tmp-c6jZ0m/proof -k /tmp/23742b72/bb/tmp-c6jZ0m/vk -i /tmp/23742b72/bb/tmp-c6jZ0m/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:23:10 [10:23:10.753]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.68 MiB)
10:23:10 Scheme is: ultra_honk, num threads: 128 (mem: 251.68 MiB)
10:23:10 --public_inputs_path: /tmp/23742b72/bb/tmp-iazEDc/public_inputs (mem: 251.68 MiB)
10:23:10 --proof_path: /tmp/23742b72/bb/tmp-iazEDc/proof (mem: 251.68 MiB)
10:23:10 --vk_path: /tmp/23742b72/bb/tmp-iazEDc/vk (mem: 251.68 MiB)
10:23:10 --verbose: true (mem: 251.68 MiB)
10:23:10 --scheme: ultra_honk (mem: 251.68 MiB)
10:23:10 --oracle_hash: poseidon2 (mem: 251.68 MiB)
10:23:10 --disable_zk: true (mem: 251.68 MiB)
10:23:10 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.68 MiB)
10:23:10 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.68 MiB)
10:23:10 Initialized BN254 CRS from memory with num points = 1 (mem: 251.68 MiB)
10:23:10 sumcheck_verified: 1 (mem: 251.68 MiB)
10:23:10 libra_evals_verified: 1 (mem: 251.68 MiB)
10:23:10 pairing_check_verified: 1 (mem: 251.68 MiB)
10:23:10 Proof verified successfully (mem: 251.68 MiB)
10:23:10 verified: 1 (mem: 251.68 MiB)
10:23:10 [10:23:10.754]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.68 MiB)
10:23:10 Scheme is: ultra_honk, num threads: 128 (mem: 251.68 MiB)
10:23:10 --public_inputs_path: /tmp/23742b72/bb/tmp-VPnEsA/public_inputs (mem: 251.68 MiB)
10:23:10 --proof_path: /tmp/23742b72/bb/tmp-VPnEsA/proof (mem: 251.68 MiB)
10:23:10 --vk_path: /tmp/23742b72/bb/tmp-VPnEsA/vk (mem: 251.68 MiB)
10:23:10 --verbose: true (mem: 251.68 MiB)
10:23:10 --scheme: ultra_honk (mem: 251.68 MiB)
10:23:10 --oracle_hash: poseidon2 (mem: 251.68 MiB)
10:23:10 --disable_zk: true (mem: 251.68 MiB)
10:23:10 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.68 MiB)
10:23:10 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.68 MiB)
10:23:10 Initialized BN254 CRS from memory with num points = 1 (mem: 251.68 MiB)
10:23:10 sumcheck_verified: 1 (mem: 251.68 MiB)
10:23:10 libra_evals_verified: 1 (mem: 251.68 MiB)
10:23:10 pairing_check_verified: 1 (mem: 251.68 MiB)
10:23:10 Proof verified successfully (mem: 251.68 MiB)
10:23:10 verified: 1 (mem: 251.68 MiB)
10:23:10 [10:23:10.755]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.68 MiB)
10:23:10 Scheme is: ultra_honk, num threads: 128 (mem: 251.68 MiB)
10:23:10 --public_inputs_path: /tmp/23742b72/bb/tmp-7NkMHp/public_inputs (mem: 251.68 MiB)
10:23:10 --proof_path: /tmp/23742b72/bb/tmp-7NkMHp/proof (mem: 251.68 MiB)
10:23:10 --vk_path: /tmp/23742b72/bb/tmp-7NkMHp/vk (mem: 251.68 MiB)
10:23:10 --verbose: true (mem: 251.68 MiB)
10:23:10 --scheme: ultra_honk (mem: 251.68 MiB)
10:23:10 --oracle_hash: poseidon2 (mem: 251.68 MiB)
10:23:10 --disable_zk: true (mem: 251.68 MiB)
10:23:10 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.68 MiB)
10:23:10 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.68 MiB)
10:23:10 Initialized BN254 CRS from memory with num points = 1 (mem: 251.68 MiB)
10:23:10 sumcheck_verified: 1 (mem: 251.68 MiB)
10:23:10 libra_evals_verified: 1 (mem: 251.68 MiB)
10:23:10 pairing_check_verified: 1 (mem: 251.68 MiB)
10:23:10 Proof verified successfully (mem: 251.68 MiB)
10:23:10 verified: 1 (mem: 251.68 MiB)
10:23:10 [10:23:10.756]
INFO:
bb-prover Successfully verified proof from key in 59.655596000000514 ms
10:23:10 [10:23:10.757]
INFO:
bb-prover Successfully verified proof from key in 88.56489199999851 ms
10:23:10 [10:23:10.757]
INFO:
bb-prover Successfully verified proof from key in 108.75060000000121 ms
10:23:10 [10:23:10.758]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.68 MiB)
10:23:10 Scheme is: ultra_honk, num threads: 128 (mem: 251.68 MiB)
10:23:10 --public_inputs_path: /tmp/23742b72/bb/tmp-c6jZ0m/public_inputs (mem: 251.68 MiB)
10:23:10 --proof_path: /tmp/23742b72/bb/tmp-c6jZ0m/proof (mem: 251.68 MiB)
10:23:10 --vk_path: /tmp/23742b72/bb/tmp-c6jZ0m/vk (mem: 251.68 MiB)
10:23:10 --verbose: true (mem: 251.68 MiB)
10:23:10 --scheme: ultra_honk (mem: 251.68 MiB)
10:23:10 --oracle_hash: poseidon2 (mem: 251.68 MiB)
10:23:10 --disable_zk: true (mem: 251.68 MiB)
10:23:10 [10:23:10.760]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.68 MiB)
10:23:10 [10:23:10.776]
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: 251.68 MiB)
10:23:10 [10:23:10.779]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 251.68 MiB)
10:23:10 sumcheck_verified: 1 (mem: 251.68 MiB)
10:23:10 libra_evals_verified: 1 (mem: 251.68 MiB)
10:23:10 pairing_check_verified: 1 (mem: 251.68 MiB)
10:23:10 Proof verified successfully (mem: 251.68 MiB)
10:23:10 verified: 1 (mem: 251.68 MiB)
10:23:10 [10:23:10.780]
INFO:
bb-prover Successfully verified proof from key in 59.25344899999982 ms
10:23:10 [10:23:10.966]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":78.00237899999956,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:23:10 [10:23:10.970]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:23:10 [10:23:10.970]
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/23742b72/bb/tmp-0OrjIB -b /tmp/23742b72/bb/tmp-0OrjIB/RootParityArtifact-bytecode -w /tmp/23742b72/bb/tmp-0OrjIB/partial-witness.gz -v --init_kzg_accumulator -v
10:23:11 [10:23:11.005]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.93 MiB)
10:23:11 [10:23:11.006]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.93 MiB)
10:23:11 --scheme: ultra_honk (mem: 252.93 MiB)
10:23:11 --bytecode_path: /tmp/23742b72/bb/tmp-0OrjIB/RootParityArtifact-bytecode (mem: 252.93 MiB)
10:23:11 --witness_path: /tmp/23742b72/bb/tmp-0OrjIB/partial-witness.gz (mem: 252.93 MiB)
10:23:11 --output_path: /tmp/23742b72/bb/tmp-0OrjIB (mem: 252.93 MiB)
10:23:11 Warning: the following option is called more than once (mem: 252.93 MiB)
10:23:11 --verbose: true (mem: 252.93 MiB)
10:23:11 --oracle_hash: poseidon2 (mem: 252.93 MiB)
10:23:11 --output_format: bytes_and_fields (mem: 252.93 MiB)
10:23:11 --write_vk: true (mem: 252.93 MiB)
10:23:11 --disable_zk: true (mem: 252.93 MiB)
10:23:11 --init_kzg_accumulator: true (mem: 252.93 MiB)
10:23:11 [10:23:11.165]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.93 MiB)
10:23:13 [10:23:13.151]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 415.51 MiB)
10:23:15 [10:23:15.530]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 791.53 MiB)
10:23:17 [10:23:17.766]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1049.46 MiB)
10:23:20 [10:23:20.289]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1424.37 MiB)
10:23:20 [10:23:20.290]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1424.37 MiB)
10:23:21 [10:23:21.715]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1808.59 MiB)
10:23:22 [10:23:22.072]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5444.57 MiB)
10:23:23 [10:23:23.947]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3657 ms. (mem: 6027.57 MiB)
10:23:24 [10:23:24.073]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6027.57 MiB)
10:23:24 [10:23:24.073]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6027.57 MiB)
10:23:24 [10:23:24.843]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6027.57 MiB)
10:23:29 [10:23:29.969]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6027.57 MiB)
10:23:35 [10:23:35.917]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6027.57 MiB)
10:23:38 [10:23:38.347]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6715.59 MiB)
10:23:41 [10:23:41.566]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6715.59 MiB)
10:23:49 [10:23:49.230]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6715.59 MiB)
10:23:50 [10:23:50.971]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6715.59 MiB)
10:23:51 [10:23:51.000]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6715.59 MiB)
10:23:51 [10:23:51.445]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/23742b72/bb/tmp-0OrjIB/public_inputs" (mem: 6715.59 MiB)
10:23:51 [10:23:51.445]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/23742b72/bb/tmp-0OrjIB/public_inputs_fields.json" (mem: 6715.59 MiB)
10:23:51 Proof saved to "/tmp/23742b72/bb/tmp-0OrjIB/proof" (mem: 6715.59 MiB)
10:23:51 Proof fields saved to "/tmp/23742b72/bb/tmp-0OrjIB/proof_fields.json" (mem: 6715.59 MiB)
10:23:51 VK saved to "/tmp/23742b72/bb/tmp-0OrjIB/vk" (mem: 6715.59 MiB)
10:23:51 VK fields saved to "/tmp/23742b72/bb/tmp-0OrjIB/vk_fields.json" (mem: 6715.59 MiB)
10:23:51 [10:23:51.624]
INFO:
bb-prover Generated proof for RootParityArtifact in 40653 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40652.839735,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:23:51 [10:23:51.627]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:23:51 [10:23:51.628]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/23742b72/bb/tmp-kba1Rj/proof -k /tmp/23742b72/bb/tmp-kba1Rj/vk -i /tmp/23742b72/bb/tmp-kba1Rj/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:23:51 [10:23:51.651]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.94 MiB)
10:23:51 Scheme is: ultra_honk, num threads: 128 (mem: 252.94 MiB)
10:23:51 [10:23:51.651]
VERBOSE:
bb-prover bb-prover (verify) BB out -
10:23:51 --public_inputs_path: /tmp/23742b72/bb/tmp-kba1Rj/public_inputs (mem: 252.94 MiB)
10:23:51 --proof_path: /tmp/23742b72/bb/tmp-kba1Rj/proof (mem: 252.94 MiB)
10:23:51 --vk_path: /tmp/23742b72/bb/tmp-kba1Rj/vk (mem: 252.94 MiB)
10:23:51 --verbose: true (mem: 252.94 MiB)
10:23:51 --scheme: ultra_honk (mem: 252.94 MiB)
10:23:51 --oracle_hash: poseidon2 (mem: 252.94 MiB)
10:23:51 --disable_zk: true (mem: 252.94 MiB)
10:23:51 [10:23:51.652]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 252.94 MiB)
10:23:51 [10:23:51.668]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.94 MiB)
10:23:51 [10:23:51.668]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 252.94 MiB)
10:23:51 [10:23:51.669]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.94 MiB)
10:23:51 libra_evals_verified: 1 (mem: 252.94 MiB)
10:23:51 pairing_check_verified: 1 (mem: 252.94 MiB)
10:23:51 Proof verified successfully (mem: 252.94 MiB)
10:23:51 [10:23:51.670]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 252.94 MiB)
10:23:51 [10:23:51.671]
INFO:
bb-prover Successfully verified proof from key in 43.33961899999849 ms
10:23:51 [10:23:51.675]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:23:51 [10:23:51.676]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/23742b72/bb/tmp-cEc8K9/proof -k /tmp/23742b72/bb/tmp-cEc8K9/vk -i /tmp/23742b72/bb/tmp-cEc8K9/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:23:51 [10:23:51.697]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.94 MiB)
10:23:51 [10:23:51.698]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.94 MiB)
10:23:51 --public_inputs_path: /tmp/23742b72/bb/tmp-cEc8K9/public_inputs (mem: 252.94 MiB)
10:23:51 --proof_path: /tmp/23742b72/bb/tmp-cEc8K9/proof (mem: 252.94 MiB)
10:23:51 --vk_path: /tmp/23742b72/bb/tmp-cEc8K9/vk (mem: 252.94 MiB)
10:23:51 --verbose: true (mem: 252.94 MiB)
10:23:51 --scheme: ultra_honk (mem: 252.94 MiB)
10:23:51 --oracle_hash: poseidon2 (mem: 252.94 MiB)
10:23:51 --disable_zk: true (mem: 252.94 MiB)
10:23:51 [10:23:51.698]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 252.94 MiB)
10:23:51 [10:23:51.714]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.94 MiB)
10:23:51 [10:23:51.715]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 252.94 MiB)
10:23:51 [10:23:51.715]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.94 MiB)
10:23:51 libra_evals_verified: 1 (mem: 252.94 MiB)
10:23:51 pairing_check_verified: 1 (mem: 252.94 MiB)
10:23:51 [10:23:51.716]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 252.94 MiB)
10:23:51 verified: 1 (mem: 252.94 MiB)
10:23:51 [10:23:51.717]
INFO:
bb-prover Successfully verified proof from key in 41.590094999999565 ms
10:23:51 [10:23:51.780]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
10:23:51
10:23:51 [10:23:51.781]
ERROR:
bb-prover Error running operation at /tmp/23742b72/bb/tmp-pdY65v: Error: Failed to generate witness: Failed assertion
10:23:51
10:23:51 [10:23:51.952]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":54.68975599999976,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
10:23:51 [10:23:51.953]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:23:51 [10:23:51.954]
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/23742b72/bb/tmp-sNXb18 -b /tmp/23742b72/bb/tmp-sNXb18/RootParityArtifact-bytecode -w /tmp/23742b72/bb/tmp-sNXb18/partial-witness.gz -v --init_kzg_accumulator -v
10:23:51 [10:23:51.979]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.94 MiB)
10:23:51 Scheme is: ultra_honk, num threads: 128 (mem: 252.94 MiB)
10:23:51 --scheme: ultra_honk (mem: 252.94 MiB)
10:23:51 --bytecode_path: /tmp/23742b72/bb/tmp-sNXb18/RootParityArtifact-bytecode (mem: 252.94 MiB)
10:23:51 --witness_path: /tmp/23742b72/bb/tmp-sNXb18/partial-witness.gz (mem: 252.94 MiB)
10:23:51 --output_path: /tmp/23742b72/bb/tmp-sNXb18 (mem: 252.94 MiB)
10:23:51 Warning: the following option is called more than once (mem: 252.94 MiB)
10:23:51 --verbose: true (mem: 252.94 MiB)
10:23:51 --oracle_hash: poseidon2 (mem: 252.94 MiB)
10:23:51 --output_format: bytes_and_fields (mem: 252.94 MiB)
10:23:51 --write_vk: true (mem: 252.94 MiB)
10:23:51 --disable_zk: true (mem: 252.94 MiB)
10:23:51 --init_kzg_accumulator: true (mem: 252.94 MiB)
10:23:52 [10:23:52.117]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.94 MiB)
10:23:52 [10:23:52.126]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 252.94 MiB)
10:23:54 [10:23:54.104]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 408.58 MiB)
10:23:56 [10:23:56.214]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 785.55 MiB)
10:23:58 [10:23:58.560]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1039.20 MiB)
10:24:01 [10:24:01.530]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1414.84 MiB)
10:24:01 [10:24:01.531]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1414.84 MiB)
10:24:03 [10:24:03.195]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1800.99 MiB)
10:24:03 [10:24:03.785]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5439.50 MiB)
10:24:05 [10:24:05.634]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4102 ms. (mem: 6031.50 MiB)
10:24:05 [10:24:05.763]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance.
10:24:05 [10:24:05.764]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6031.50 MiB)
10:24:05 [10:24:05.764]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6031.50 MiB)
10:24:06 [10:24:06.652]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6031.50 MiB)
10:24:10 [10:24:10.943]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6031.50 MiB)
10:24:15 [10:24:15.229]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6031.50 MiB)
10:24:16 [10:24:16.802]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6724.65 MiB)
10:24:18 [10:24:18.916]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6724.65 MiB)
10:24:25 [10:24:25.327]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6724.65 MiB)
10:24:27 [10:24:27.505]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6724.65 MiB)
10:24:27 [10:24:27.545]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6724.65 MiB)
10:24:28 [10:24:28.126]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/23742b72/bb/tmp-sNXb18/public_inputs" (mem: 6724.65 MiB)
10:24:28 [10:24:28.126]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/23742b72/bb/tmp-sNXb18/public_inputs_fields.json" (mem: 6724.65 MiB)
10:24:28 Proof saved to "/tmp/23742b72/bb/tmp-sNXb18/proof" (mem: 6724.65 MiB)
10:24:28 Proof fields saved to "/tmp/23742b72/bb/tmp-sNXb18/proof_fields.json" (mem: 6724.65 MiB)
10:24:28 [10:24:28.127]
INFO:
bb-prover RootParityArtifact BB out - VK saved to "/tmp/23742b72/bb/tmp-sNXb18/vk" (mem: 6724.65 MiB)
10:24:28 VK fields saved to "/tmp/23742b72/bb/tmp-sNXb18/vk_fields.json" (mem: 6724.65 MiB)
10:24:28 [10:24:28.292]
INFO:
bb-prover Generated proof for RootParityArtifact in 36336 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":36335.922923000006,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:24:28 [10:24:28.295]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:24:28 [10:24:28.295]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/23742b72/bb/tmp-kvln7y/proof -k /tmp/23742b72/bb/tmp-kvln7y/vk -i /tmp/23742b72/bb/tmp-kvln7y/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:24:28 [10:24:28.317]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.94 MiB)
10:24:28 [10:24:28.317]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.94 MiB)
10:24:28 --public_inputs_path: /tmp/23742b72/bb/tmp-kvln7y/public_inputs (mem: 252.94 MiB)
10:24:28 --proof_path: /tmp/23742b72/bb/tmp-kvln7y/proof (mem: 252.94 MiB)
10:24:28 --vk_path: /tmp/23742b72/bb/tmp-kvln7y/vk (mem: 252.94 MiB)
10:24:28 --verbose: true (mem: 252.94 MiB)
10:24:28 --scheme: ultra_honk (mem: 252.94 MiB)
10:24:28 --oracle_hash: poseidon2 (mem: 252.94 MiB)
10:24:28 --disable_zk: true (mem: 252.94 MiB)
10:24:28 [10:24:28.318]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 252.94 MiB)
10:24:28 [10:24:28.327]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 252.94 MiB)
10:24:28 Proof verification failed (mem: 252.94 MiB)
10:24:28 verified: 0 (mem: 252.94 MiB)
10:24:28 [10:24:28.328]
ERROR:
bb-prover Error running operation at /tmp/23742b72/bb/tmp-kvln7y: ProvingError: Failed to verify proof from key!
10:24:28 [10:24:28.504]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":79.18573599999945,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:24:28 [10:24:28.505]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:24:28 [10:24:28.506]
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/23742b72/bb/tmp-3BCxxh -b /tmp/23742b72/bb/tmp-3BCxxh/RootParityArtifact-bytecode -w /tmp/23742b72/bb/tmp-3BCxxh/partial-witness.gz -v --init_kzg_accumulator -v
10:24:28 [10:24:28.531]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.94 MiB)
10:24:28 [10:24:28.532]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.94 MiB)
10:24:28 --scheme: ultra_honk (mem: 252.94 MiB)
10:24:28 --bytecode_path: /tmp/23742b72/bb/tmp-3BCxxh/RootParityArtifact-bytecode (mem: 252.94 MiB)
10:24:28 --witness_path: /tmp/23742b72/bb/tmp-3BCxxh/partial-witness.gz (mem: 252.94 MiB)
10:24:28 --output_path: /tmp/23742b72/bb/tmp-3BCxxh (mem: 252.94 MiB)
10:24:28 Warning: the following option is called more than once (mem: 252.94 MiB)
10:24:28 --verbose: true (mem: 252.94 MiB)
10:24:28 --oracle_hash: poseidon2 (mem: 252.94 MiB)
10:24:28 --output_format: bytes_and_fields (mem: 252.94 MiB)
10:24:28 --write_vk: true (mem: 252.94 MiB)
10:24:28 --disable_zk: true (mem: 252.94 MiB)
10:24:28 --init_kzg_accumulator: true (mem: 252.94 MiB)
10:24:28 [10:24:28.729]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.94 MiB)
10:24:28 [10:24:28.741]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 252.94 MiB)
10:24:30 [10:24:30.690]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 419.11 MiB)
10:24:32 [10:24:32.996]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 798.07 MiB)
10:24:34 [10:24:34.888]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1056.75 MiB)
10:24:37 [10:24:37.093]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1433.51 MiB)
10:24:37 [10:24:37.094]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1433.51 MiB)
10:24:38 [10:24:38.250]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1819.13 MiB)
10:24:38 [10:24:38.639]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5450.16 MiB)
10:24:40 [10:24:40.206]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3112 ms. (mem: 6027.16 MiB)
10:24:40 [10:24:40.322]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6027.16 MiB)
10:24:40 [10:24:40.323]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6027.16 MiB)
10:24:40 [10:24:40.981]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6027.16 MiB)
10:24:44 [10:24:44.409]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6027.16 MiB)
10:24:49 [10:24:49.279]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6027.16 MiB)
10:24:52 [10:24:52.503]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6725.07 MiB)
10:24:54 [10:24:54.811]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6725.07 MiB)
10:25:00 [10:25:00.871]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6725.07 MiB)
10:25:02 [10:25:02.630]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6725.07 MiB)
10:25:02 [10:25:02.658]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6725.07 MiB)
10:25:03 [10:25:03.344]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/23742b72/bb/tmp-3BCxxh/public_inputs" (mem: 6725.07 MiB)
10:25:03 Public inputs fields saved to "/tmp/23742b72/bb/tmp-3BCxxh/public_inputs_fields.json" (mem: 6725.07 MiB)
10:25:03 Proof saved to "/tmp/23742b72/bb/tmp-3BCxxh/proof" (mem: 6725.07 MiB)
10:25:03 Proof fields saved to "/tmp/23742b72/bb/tmp-3BCxxh/proof_fields.json" (mem: 6725.07 MiB)
10:25:03 VK saved to "/tmp/23742b72/bb/tmp-3BCxxh/vk" (mem: 6725.07 MiB)
10:25:03 VK fields saved to "/tmp/23742b72/bb/tmp-3BCxxh/vk_fields.json" (mem: 6725.07 MiB)
10:25:03 [10:25:03.548]
INFO:
bb-prover Generated proof for RootParityArtifact in 35040 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":35039.792703,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:25:03 [10:25:03.550]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:25:03 [10:25:03.550]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/23742b72/bb/tmp-E6tPZx/proof -k /tmp/23742b72/bb/tmp-E6tPZx/vk -i /tmp/23742b72/bb/tmp-E6tPZx/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:25:03 [10:25:03.572]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.94 MiB)
10:25:03 [10:25:03.573]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.94 MiB)
10:25:03 --public_inputs_path: /tmp/23742b72/bb/tmp-E6tPZx/public_inputs (mem: 252.94 MiB)
10:25:03 --proof_path: /tmp/23742b72/bb/tmp-E6tPZx/proof (mem: 252.94 MiB)
10:25:03 --vk_path: /tmp/23742b72/bb/tmp-E6tPZx/vk (mem: 252.94 MiB)
10:25:03 --verbose: true (mem: 252.94 MiB)
10:25:03 --scheme: ultra_honk (mem: 252.94 MiB)
10:25:03 --oracle_hash: poseidon2 (mem: 252.94 MiB)
10:25:03 --disable_zk: true (mem: 252.94 MiB)
10:25:03 [10:25:03.573]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 252.94 MiB)
10:25:03 [10:25:03.583]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 252.94 MiB)
10:25:03 Proof verification failed (mem: 252.94 MiB)
10:25:03 verified: 0 (mem: 252.94 MiB)
10:25:03 [10:25:03.585]
ERROR:
bb-prover Error running operation at /tmp/23742b72/bb/tmp-E6tPZx: ProvingError: Failed to verify proof from key!
10:25:03 [10:25:03.588]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
10:25:03
PASS src/test/bb_prover_parity.test.ts (
126.742 s)
10:25:03 prover/bb_prover/parity
10:25:03
✓ proves the parity circuits (118400 ms)
10:25:03
10:25:03
Test Suites: 1 passed, 1 total
10:25:03
Tests: 1 passed, 1 total
10:25:03
Snapshots: 0 total
10:25:03
Time: 126.845 s
10:25:03
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
10:25:03
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?