Parent Log:
http://ci.aztec-labs.com/4709fb91efd811fe
Command: a8cc061dbe484831: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/c2e27576e66fad0caaa136e905b8439d70c05e37
Env: REF_NAME=gh-readonly-queue/next/pr-15181-58696523cc93fda453138a4f2c2dff72b21f0bfa CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 13:15:31 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15181_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:15:31 +++ id -u
13:15:31 +++ id -g
13:15: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:15:32 + cid=e7f1e878fc8ed9ffa2b23d0ab2e9d8c246e1f2315a8150c8c455f85848d48525
13:15:32 + set +x
13:15:33 {"level":25,"time":1750425333671,"pid":7,"hostname":"e7f1e878fc8e","module":"logger","msg":"Logger initialized with level verbose"}
13:15:43 [13:15:43.319]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-CGufde/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
13:15:43 [13:15:43.406]
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/efc9d710/bb
13:15:43 [13:15:43.407]
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/efc9d710/acvm
13:15:43 [13:15:43.412]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/efc9d710/bb
13:15:43 [13:15:43.413]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/efc9d710/acvm
13:15:43 [13:15:43.417]
INFO:
prover-client:proving-broker Proving Broker started
13:15:43 [13:15:43.422]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
13:15:43 [13:15:43.658]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":68.5219730000008,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:15:43 [13:15:43.677]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":102.82905000000028,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:15:43 [13:15:43.698]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:15:43 [13:15:43.699]
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/efc9d710/bb/tmp-YxKs02 -b /tmp/efc9d710/bb/tmp-YxKs02/BaseParityArtifact-bytecode -w /tmp/efc9d710/bb/tmp-YxKs02/partial-witness.gz -v --init_kzg_accumulator -v
13:15:43 [13:15:43.733]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:15:43 [13:15:43.734]
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/efc9d710/bb/tmp-4IDnNX -b /tmp/efc9d710/bb/tmp-4IDnNX/BaseParityArtifact-bytecode -w /tmp/efc9d710/bb/tmp-4IDnNX/partial-witness.gz -v --init_kzg_accumulator -v
13:15:43 [13:15:43.766]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.37 MiB)
13:15:43 Scheme is: ultra_honk, num threads: 128 (mem: 251.37 MiB)
13:15:43 --scheme: ultra_honk (mem: 251.37 MiB)
13:15:43 --bytecode_path: /tmp/efc9d710/bb/tmp-YxKs02/BaseParityArtifact-bytecode (mem: 251.37 MiB)
13:15:43 --witness_path: /tmp/efc9d710/bb/tmp-YxKs02/partial-witness.gz (mem: 251.37 MiB)
13:15:43 --output_path: /tmp/efc9d710/bb/tmp-YxKs02 (mem: 251.37 MiB)
13:15:43 Warning: the following option is called more than once (mem: 251.37 MiB)
13:15:43 --verbose: true (mem: 251.37 MiB)
13:15:43 --oracle_hash: poseidon2 (mem: 251.37 MiB)
13:15:43 --output_format: bytes_and_fields (mem: 251.37 MiB)
13:15:43 --write_vk: true (mem: 251.37 MiB)
13:15:43 --disable_zk: true (mem: 251.37 MiB)
13:15:43 --init_kzg_accumulator: true (mem: 251.37 MiB)
13:15:43 [13:15:43.769]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.37 MiB)
13:15:43 Scheme is: ultra_honk, num threads: 128 (mem: 251.37 MiB)
13:15:43 --scheme: ultra_honk (mem: 251.37 MiB)
13:15:43 --bytecode_path: /tmp/efc9d710/bb/tmp-4IDnNX/BaseParityArtifact-bytecode (mem: 251.37 MiB)
13:15:43 --witness_path: /tmp/efc9d710/bb/tmp-4IDnNX/partial-witness.gz (mem: 251.37 MiB)
13:15:43 --output_path: /tmp/efc9d710/bb/tmp-4IDnNX (mem: 251.37 MiB)
13:15:43 Warning: the following option is called more than once (mem: 251.37 MiB)
13:15:43 --verbose: true (mem: 251.37 MiB)
13:15:43 --oracle_hash: poseidon2 (mem: 251.37 MiB)
13:15:43 --output_format: bytes_and_fields (mem: 251.37 MiB)
13:15:43 --write_vk: true (mem: 251.37 MiB)
13:15:43 --disable_zk: true (mem: 251.37 MiB)
13:15:43 --init_kzg_accumulator: true (mem: 251.37 MiB)
13:15:43 [13:15:43.780]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":85.65122100000008,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:15:43 [13:15:43.791]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":119.85943600000064,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:15:43 [13:15:43.795]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:15:43 [13:15:43.796]
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/efc9d710/bb/tmp-NV3C1t -b /tmp/efc9d710/bb/tmp-NV3C1t/BaseParityArtifact-bytecode -w /tmp/efc9d710/bb/tmp-NV3C1t/partial-witness.gz -v --init_kzg_accumulator -v
13:15:43 [13:15:43.822]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:15:43 [13:15:43.822]
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/efc9d710/bb/tmp-JL5STA -b /tmp/efc9d710/bb/tmp-JL5STA/BaseParityArtifact-bytecode -w /tmp/efc9d710/bb/tmp-JL5STA/partial-witness.gz -v --init_kzg_accumulator -v
13:15:43 [13:15:43.850]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.46 MiB)
13:15:43 Scheme is: ultra_honk, num threads: 128 (mem: 251.46 MiB)
13:15:43 --scheme: ultra_honk (mem: 251.46 MiB)
13:15:43 --bytecode_path: /tmp/efc9d710/bb/tmp-NV3C1t/BaseParityArtifact-bytecode (mem: 251.46 MiB)
13:15:43 --witness_path: /tmp/efc9d710/bb/tmp-NV3C1t/partial-witness.gz (mem: 251.46 MiB)
13:15:43 --output_path: /tmp/efc9d710/bb/tmp-NV3C1t (mem: 251.46 MiB)
13:15:43 Warning: the following option is called more than once (mem: 251.46 MiB)
13:15:43 --verbose: true (mem: 251.46 MiB)
13:15:43 --oracle_hash: poseidon2 (mem: 251.46 MiB)
13:15:43 --output_format: bytes_and_fields (mem: 251.46 MiB)
13:15:43 --write_vk: true (mem: 251.46 MiB)
13:15:43 --disable_zk: true (mem: 251.46 MiB)
13:15:43 --init_kzg_accumulator: true (mem: 251.46 MiB)
13:15:43 [13:15:43.852]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem:
13:15:43 [13:15:43.853]
INFO:
bb-prover BaseParityArtifact BB out - 251.46 MiB)
13:15:43 Scheme is: ultra_honk, num threads: 128 (mem: 251.46 MiB)
13:15:43 --scheme: ultra_honk (mem: 251.46 MiB)
13:15:43 --bytecode_path: /tmp/efc9d710/bb/tmp-JL5STA/BaseParityArtifact-bytecode (mem: 251.46 MiB)
13:15:43 --witness_path: /tmp/efc9d710/bb/tmp-JL5STA/partial-witness.gz (mem: 251.46 MiB)
13:15:43 --output_path: /tmp/efc9d710/bb/tmp-JL5STA (mem: 251.46 MiB)
13:15:43 Warning: the following option is called more than once (mem: 251.46 MiB)
13:15:43 --verbose: true (mem: 251.46 MiB)
13:15:43 --oracle_hash: poseidon2 (mem: 251.46 MiB)
13:15:43 --output_format: bytes_and_fields (mem: 251.46 MiB)
13:15:43 --write_vk: true (mem: 251.46 MiB)
13:15:43 --disable_zk: true (mem: 251.46 MiB)
13:15:43 --init_kzg_accumulator: true (mem: 251.46 MiB)
13:15:43 [13:15:43.919]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.37 MiB)
13:15:43 Constructing DeciderProvingKey (mem: 251.37 MiB)
13:15:43 [13:15:43.924]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.37 MiB)
13:15:43 [13:15:43.974]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.37 MiB)
13:15:43 Constructing DeciderProvingKey (mem: 251.37 MiB)
13:15:43 [13:15:43.976]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
13:15:43 [13:15:43.976]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
13:15:43 [13:15:43.976]
INFO:
bb-prover BaseParityArtifact BB out - 251.37
13:15:43 [13:15:43.977]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
13:15:43 [13:15:43.977]
INFO:
bb-prover BaseParityArtifact BB out -
13:15:44 [13:15:44.011]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.46 MiB)
13:15:44 [13:15:44.013]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.46 MiB)
13:15:44 [13:15:44.017]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
13:15:44 [13:15:44.017]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
13:15:44 [13:15:44.017]
INFO:
bb-prover BaseParityArtifact BB out - 251.46
13:15:44 [13:15:44.018]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
13:15:44 [13:15:44.018]
INFO:
bb-prover BaseParityArtifact BB out -
13:15:44 [13:15:44.103]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.46 MiB)
13:15:44 [13:15:44.108]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.46 MiB)
13:15:44 [13:15:44.114]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
13:15:44 [13:15:44.118]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 251.46 MiB)
13:15:44 [13:15:44.162]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.37 MiB)
13:15:44 [13:15:44.228]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.37 MiB)
13:15:44 [13:15:44.261]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 333 ms. (mem: 251.37 MiB)
13:15:44 [13:15:44.262]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.37 MiB)
13:15:44 [13:15:44.269]
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.37 MiB)
13:15:44 [13:15:44.293]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.37 MiB)
13:15:44 [13:15:44.318]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.46 MiB)
13:15:44 [13:15:44.329]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 358 ms. (mem: 251.37 MiB)
13:15:44 [13:15:44.340]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.37 MiB)
13:15:44 [13:15:44.360]
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.37 MiB)
13:15:44 [13:15:44.410]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.37 MiB)
13:15:44 [13:15:44.415]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.46 MiB)
13:15:44 [13:15:44.525]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 511 ms. (mem: 251.46 MiB)
13:15:44 [13:15:44.536]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.46 MiB)
13:15:44 [13:15:44.555]
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.46 MiB)
13:15:44 [13:15:44.581]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.46 MiB)
13:15:44 [13:15:44.611]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 506 ms. (mem: 251.46 MiB)
13:15:44 [13:15:44.626]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.46 MiB)
13:15:44 [13:15:44.639]
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.46 MiB)
13:15:44 [13:15:44.658]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.46 MiB)
13:15:45 [13:15:45.314]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.37 MiB)
13:15:45 [13:15:45.486]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.46 MiB)
13:15:45 [13:15:45.488]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.37 MiB)
13:15:45 [13:15:45.575]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.46 MiB)
13:15:45 [13:15:45.818]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.37 MiB)
13:15:46 [13:15:46.025]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.37 MiB)
13:15:46 [13:15:46.083]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.46 MiB)
13:15:46 [13:15:46.090]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.46 MiB)
13:15:46 [13:15:46.097]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds...
13:15:46 [13:15:46.098]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 258.94 MiB)
13:15:46 [13:15:46.229]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 258.94 MiB)
13:15:46 [13:15:46.238]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 253.09 MiB)
13:15:46 [13:15:46.270]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.46 MiB)
13:15:46 [13:15:46.312]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.46 MiB)
13:15:46 [13:15:46.414]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 253.09 MiB)
13:15:46 [13:15:46.479]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.46 MiB)
13:15:46 [13:15:46.480]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 253.03 MiB)
13:15:47 [13:15:47.145]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 258.94 MiB)
13:15:47 [13:15:47.208]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 258.94 MiB)
13:15:47 finished decider proving. (mem: 258.94 MiB)
13:15:47 [13:15:47.211]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/efc9d710/bb/tmp-YxKs02/public_inputs" (mem: 258.94 MiB)
13:15:47 Public inputs fields saved to "/tmp/efc9d710/bb/tmp-YxKs02/public_inputs_fields.json" (mem: 258.94 MiB)
13:15:47 [13:15:47.212]
INFO:
bb-prover BaseParityArtifact BB out - Proof saved to "/tmp/efc9d710/bb/tmp-YxKs02/proof" (mem: 258.94 MiB)
13:15:47 Proof fields saved to "/tmp/efc9d710/bb/tmp-YxKs02/proof_fields.json" (mem: 258.94 MiB)
13:15:47 VK saved to "/tmp/efc9d710/bb/tmp-YxKs02/vk" (mem: 258.94 MiB)
13:15:47 VK fields saved to "/tmp/efc9d710/bb/tmp-YxKs02/vk_fields.json" (mem: 258.94 MiB)
13:15:47 [13:15:47.305]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3601 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3600.1320799999994,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:15:47 [13:15:47.308]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:47 [13:15:47.309]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/efc9d710/bb/tmp-zL5jLw/proof -k /tmp/efc9d710/bb/tmp-zL5jLw/vk -i /tmp/efc9d710/bb/tmp-zL5jLw/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:47 [13:15:47.335]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
13:15:47 [13:15:47.337]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.47 MiB)
13:15:47 Scheme is: ultra_honk, num threads: 128 (mem: 251.47 MiB)
13:15:47 --public_inputs_path: /tmp/efc9d710/bb/tmp-zL5jLw/public_inputs (mem: 251.47 MiB)
13:15:47 --proof_path: /tmp/efc9d710/bb/tmp-zL5jLw/proof (mem: 251.47 MiB)
13:15:47 --vk_path: /tmp/efc9d710/bb/tmp-zL5jLw/vk (mem: 251.47 MiB)
13:15:47 --verbose: true (mem: 251.47 MiB)
13:15:47 --scheme: ultra_honk (mem: 251.47 MiB)
13:15:47 --oracle_hash: poseidon2 (mem: 251.47 MiB)
13:15:47 --disable_zk: true (mem: 251.47 MiB)
13:15:47 [13:15:47.339]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.47 MiB)
13:15:47 [13:15:47.354]
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.47 MiB)
13:15:47 [13:15:47.355]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.47 MiB)
13:15:47 [13:15:47.356]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.47 MiB)
13:15:47 libra_evals_verified: 1 (mem: 251.47 MiB)
13:15:47 pairing_check_verified: 1 (mem: 251.47 MiB)
13:15:47 [13:15:47.357]
VERBOSE:
bb-prover bb-prover (verify) BB out -
13:15:47 Proof verified successfully (mem: 251.47 MiB)
13:15:47 verified: 1 (mem: 251.47 MiB)
13:15:47 [13:15:47.358]
INFO:
bb-prover Successfully verified proof from key in 49.476534999999785 ms
13:15:47 [13:15:47.527]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.09 MiB)
13:15:47 [13:15:47.580]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.09 MiB)
13:15:47 finished decider proving. (mem: 253.09 MiB)
13:15:47 [13:15:47.585]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/efc9d710/bb/tmp-4IDnNX/public_inputs" (mem: 253.09 MiB)
13:15:47 [13:15:47.585]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/efc9d710/bb/tmp-4IDnNX/public_inputs_fields.json" (mem: 253.09 MiB)
13:15:47 Proof saved to "/tmp/efc9d710/bb/tmp-4IDnNX/proof" (mem: 253.09 MiB)
13:15:47 [13:15:47.586]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/efc9d710/bb/tmp-4IDnNX/proof_fields.json" (mem: 253.09 MiB)
13:15:47 VK saved to "/tmp/efc9d710/bb/tmp-4IDnNX/vk" (mem: 253.09 MiB)
13:15:47 VK fields saved to "/tmp/efc9d710/bb/tmp-4IDnNX/vk_fields.json" (mem: 253.09 MiB)
13:15:47 [13:15:47.592]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.03 MiB)
13:15:47 [13:15:47.634]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3891 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3890.2760130000006,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:15:47 [13:15:47.650]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:47 [13:15:47.651]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/efc9d710/bb/tmp-bKS7V2/proof -k /tmp/efc9d710/bb/tmp-bKS7V2/vk -i /tmp/efc9d710/bb/tmp-bKS7V2/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:47 [13:15:47.692]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.03 MiB)
13:15:47 finished decider proving. (mem: 253.03 MiB)
13:15:47 Public inputs saved to "/tmp/efc9d710/bb/tmp-JL5STA/public_inputs" (mem: 253.03 MiB)
13:15:47 Public inputs fields saved to "/tmp/efc9d710/bb/tmp-JL5STA/public_inputs_fields.json" (mem: 253.03 MiB)
13:15:47 Proof saved to "/tmp/efc9d710/bb/tmp-JL5STA/proof" (mem: 253.03 MiB)
13:15:47 Proof fields saved to "/tmp/efc9d710/bb/tmp-JL5STA/proof_fields.json" (mem: 253.03 MiB)
13:15:47 VK saved to "/tmp/efc9d710/bb/tmp-JL5STA/vk" (mem: 253.03 MiB)
13:15:47 VK fields saved to "/tmp/efc9d710/bb/tmp-JL5STA/vk_fields.json" (mem: 253.03 MiB)
13:15:47 [13:15:47.694]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.46 MiB)
13:15:47 [13:15:47.701]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.06 MiB)
13:15:47 Scheme is: ultra_honk, num threads: 128 (mem: 251.06 MiB)
13:15:47 --public_inputs_path: /tmp/efc9d710/bb/tmp-bKS7V2/public_inputs (mem: 251.06 MiB)
13:15:47 --proof_path: /tmp/efc9d710/bb/tmp-bKS7V2/proof (mem: 251.06 MiB)
13:15:47 --vk_path: /tmp/efc9d710/bb/tmp-bKS7V2/vk (mem: 251.06 MiB)
13:15:47 --verbose: true (mem: 251.06 MiB)
13:15:47 --scheme: ultra_honk (mem: 251.06 MiB)
13:15:47 --oracle_hash: poseidon2 (mem: 251.06 MiB)
13:15:47 --disable_zk: true (mem: 251.06 MiB)
13:15:47 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.06 MiB)
13:15:47 [13:15:47.709]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3883 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3882.499050999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:15:47 [13:15:47.713]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:47 [13:15:47.714]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/efc9d710/bb/tmp-gen4rD/proof -k /tmp/efc9d710/bb/tmp-gen4rD/vk -i /tmp/efc9d710/bb/tmp-gen4rD/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:47 [13:15:47.739]
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.06 MiB)
13:15:47 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.06 MiB)
13:15:47 sumcheck_verified: 1 (mem: 251.06 MiB)
13:15:47 libra_evals_verified: 1 (mem: 251.06 MiB)
13:15:47 pairing_check_verified: 1 (mem: 251.06 MiB)
13:15:47 Proof verified successfully (mem: 251.06 MiB)
13:15:47 verified: 1 (mem: 251.06 MiB)
13:15:47 [13:15:47.741]
INFO:
bb-prover Successfully verified proof from key in 90.62057800000002 ms
13:15:47 [13:15:47.745]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.61 MiB)
13:15:47 Scheme is: ultra_honk, num threads: 128 (mem: 251.61 MiB)
13:15:47 --public_inputs_path: /tmp/efc9d710/bb/tmp-gen4rD/public_inputs (mem: 251.61 MiB)
13:15:47 --proof_path: /tmp/efc9d710/bb/tmp-gen4rD/proof (mem: 251.61 MiB)
13:15:47 --vk_path: /tmp/efc9d710/bb/tmp-gen4rD/vk (mem: 251.61 MiB)
13:15:47 --verbose: true (mem: 251.61 MiB)
13:15:47 --scheme: ultra_honk (mem: 251.61 MiB)
13:15:47 --oracle_hash: poseidon2 (mem: 251.61 MiB)
13:15:47 --disable_zk: true (mem: 251.61 MiB)
13:15:47 [13:15:47.746]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.61 MiB)
13:15:47 [13:15:47.750]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.46 MiB)
13:15:47 finished decider proving. (mem: 251.46 MiB)
13:15:47 [13:15:47.754]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/efc9d710/bb/tmp-NV3C1t/public_inputs" (mem: 251.46 MiB)
13:15:47 [13:15:47.755]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/efc9d710/bb/tmp-NV3C1t/public_inputs_fields.json" (mem: 251.46 MiB)
13:15:47 Proof saved to "/tmp/efc9d710/bb/tmp-NV3C1t/proof" (mem: 251.46 MiB)
13:15:47 [13:15:47.758]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/efc9d710/bb/tmp-NV3C1t/proof_fields.json" (mem: 251.46 MiB)
13:15:47 VK saved to "/tmp/efc9d710/bb/tmp-NV3C1t/vk" (mem: 251.46 MiB)
13:15:47 VK fields saved to "/tmp/efc9d710/bb/tmp-NV3C1t/vk_fields.json" (mem: 251.46 MiB)
13:15:47 [13:15:47.763]
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)
13:15:47 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.61 MiB)
13:15:47 [13:15:47.764]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.61 MiB)
13:15:47 libra_evals_verified: 1 (mem: 251.61 MiB)
13:15:47 pairing_check_verified: 1 (mem: 251.61 MiB)
13:15:47 Proof verified successfully (mem: 251.61 MiB)
13:15:47 verified: 1 (mem: 251.61 MiB)
13:15:47 [13:15:47.766]
INFO:
bb-prover Successfully verified proof from key in 52.953889000000345 ms
13:15:47 [13:15:47.802]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3999 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3998.1453710000005,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:15:47 [13:15:47.810]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:47 [13:15:47.810]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/efc9d710/bb/tmp-FRyAVL/proof -k /tmp/efc9d710/bb/tmp-FRyAVL/vk -i /tmp/efc9d710/bb/tmp-FRyAVL/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:47 [13:15:47.842]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.75 MiB)
13:15:47 [13:15:47.843]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 250.75 MiB)
13:15:47 --public_inputs_path: /tmp/efc9d710/bb/tmp-FRyAVL/public_inputs (mem: 250.75 MiB)
13:15:47 --proof_path: /tmp/efc9d710/bb/tmp-FRyAVL/proof (mem: 250.75 MiB)
13:15:47 --vk_path: /tmp/efc9d710/bb/tmp-FRyAVL/vk (mem: 250.75 MiB)
13:15:47 --verbose: true (mem: 250.75 MiB)
13:15:47 --scheme: ultra_honk (mem: 250.75 MiB)
13:15:47 --oracle_hash: poseidon2 (mem: 250.75 MiB)
13:15:47 --disable_zk: true (mem: 250.75 MiB)
13:15:47 [13:15:47.843]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.75 MiB)
13:15:47 [13:15:47.865]
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.75 MiB)
13:15:47 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.75 MiB)
13:15:47 sumcheck_verified: 1 (mem: 250.75 MiB)
13:15:47 libra_evals_verified: 1 (mem: 250.75 MiB)
13:15:47 pairing_check_verified: 1 (mem: 250.75 MiB)
13:15:47 Proof verified successfully (mem: 250.75 MiB)
13:15:47 verified: 1 (mem: 250.75 MiB)
13:15:47 [13:15:47.866]
INFO:
bb-prover Successfully verified proof from key in 56.67144699999881 ms
13:15:47 [13:15:47.879]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:47 [13:15:47.880]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/efc9d710/bb/tmp-WFOioO/proof -k /tmp/efc9d710/bb/tmp-WFOioO/vk -i /tmp/efc9d710/bb/tmp-WFOioO/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:47 [13:15:47.910]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:47 [13:15:47.912]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/efc9d710/bb/tmp-xk85AT/proof -k /tmp/efc9d710/bb/tmp-xk85AT/vk -i /tmp/efc9d710/bb/tmp-xk85AT/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:47 [13:15:47.936]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:47 [13:15:47.937]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/efc9d710/bb/tmp-DdWDJf/proof -k /tmp/efc9d710/bb/tmp-DdWDJf/vk -i /tmp/efc9d710/bb/tmp-DdWDJf/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:47 [13:15:47.963]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.70 MiB)
13:15:47 Scheme is: ultra_honk, num threads: 128 (mem: 251.70 MiB)
13:15:47 --public_inputs_path: /tmp/efc9d710/bb/tmp-WFOioO/public_inputs (mem: 251.70 MiB)
13:15:47 --proof_path: /tmp/efc9d710/bb/tmp-WFOioO/proof (mem: 251.70 MiB)
13:15:47 --vk_path: /tmp/efc9d710/bb/tmp-WFOioO/vk (mem: 251.70 MiB)
13:15:47 --verbose: true (mem: 251.70 MiB)
13:15:47 --scheme: ultra_honk (mem: 251.70 MiB)
13:15:47 --oracle_hash: poseidon2 (mem: 251.70 MiB)
13:15:47 --disable_zk: true (mem: 251.70 MiB)
13:15:47 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.70 MiB)
13:15:47 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.70 MiB)
13:15:47 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.70 MiB)
13:15:47 sumcheck_verified: 1 (mem: 251.70 MiB)
13:15:47 libra_evals_verified: 1 (mem: 251.70 MiB)
13:15:47 pairing_check_verified: 1 (mem: 251.70 MiB)
13:15:47 Proof verified successfully (mem: 251.70 MiB)
13:15:47 verified: 1 (mem: 251.70 MiB)
13:15:47 [13:15:47.965]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.70 MiB)
13:15:47 Scheme is: ultra_honk, num threads: 128 (mem: 251.70 MiB)
13:15:47 --public_inputs_path: /tmp/efc9d710/bb/tmp-xk85AT/public_inputs (mem: 251.70 MiB)
13:15:47 --proof_path: /tmp/efc9d710/bb/tmp-xk85AT/proof (mem: 251.70 MiB)
13:15:47 --vk_path: /tmp/efc9d710/bb/tmp-xk85AT/vk (mem: 251.70 MiB)
13:15:47 --verbose: true (mem: 251.70 MiB)
13:15:47 --scheme: ultra_honk (mem: 251.70 MiB)
13:15:47 --oracle_hash: poseidon2 (mem: 251.70 MiB)
13:15:47 --disable_zk: true (mem: 251.70 MiB)
13:15:47 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.70 MiB)
13:15:47 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.70 MiB)
13:15:47 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.70 MiB)
13:15:47 sumcheck_verified: 1 (mem: 251.70 MiB)
13:15:47 libra_evals_verified: 1 (mem: 251.70 MiB)
13:15:47 pairing_check_verified: 1 (mem: 251.70 MiB)
13:15:47 Proof verified successfully (mem: 251.70 MiB)
13:15:47 verified: 1 (mem: 251.70 MiB)
13:15:47 [13:15:47.966]
INFO:
bb-prover Successfully verified proof from key in 56.43456300000071 ms
13:15:47 [13:15:47.967]
INFO:
bb-prover Successfully verified proof from key in 88.08599899999899 ms
13:15:47 [13:15:47.968]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:47 [13:15:47.968]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/efc9d710/bb/tmp-Hp2JlX/proof -k /tmp/efc9d710/bb/tmp-Hp2JlX/vk -i /tmp/efc9d710/bb/tmp-Hp2JlX/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:47 [13:15:47.994]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.70 MiB)
13:15:47 Scheme is: ultra_honk, num threads: 128 (mem: 251.70 MiB)
13:15:47 --public_inputs_path: /tmp/efc9d710/bb/tmp-DdWDJf/public_inputs (mem: 251.70 MiB)
13:15:47 --proof_path: /tmp/efc9d710/bb/tmp-DdWDJf/proof (mem: 251.70 MiB)
13:15:47 --vk_path: /tmp/efc9d710/bb/tmp-DdWDJf/vk (mem: 251.70 MiB)
13:15:47 --verbose: true (mem: 251.70 MiB)
13:15:47 --scheme: ultra_honk (mem: 251.70 MiB)
13:15:48 --oracle_hash: poseidon2 (mem: 251.70 MiB)
13:15:48 --disable_zk: true (mem: 251.70 MiB)
13:15:48 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.70 MiB)
13:15:48 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.70 MiB)
13:15:48 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.70 MiB)
13:15:48 sumcheck_verified: 1 (mem: 251.70 MiB)
13:15:48 libra_evals_verified: 1 (mem: 251.70 MiB)
13:15:48 pairing_check_verified: 1 (mem: 251.70 MiB)
13:15:48 Proof verified successfully (mem: 251.70 MiB)
13:15:48 verified: 1 (mem: 251.70 MiB)
13:15:48 [13:15:47.996]
INFO:
bb-prover Successfully verified proof from key in 60.061039999998684 ms
13:15:48 [13:15:48.003]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
13:15:48 [13:15:48.004]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.70 MiB)
13:15:48 Scheme is: ultra_honk, num threads: 128 (mem: 251.70 MiB)
13:15:48 --public_inputs_path: /tmp/efc9d710/bb/tmp-Hp2JlX/public_inputs (mem: 251.70 MiB)
13:15:48 --proof_path: /tmp/efc9d710/bb/tmp-Hp2JlX/proof (mem: 251.70 MiB)
13:15:48 --vk_path: /tmp/efc9d710/bb/tmp-Hp2JlX/vk (mem: 251.70 MiB)
13:15:48 --verbose: true (mem: 251.70 MiB)
13:15:48 --scheme: ultra_honk (mem: 251.70 MiB)
13:15:48 --oracle_hash: poseidon2 (mem: 251.70 MiB)
13:15:48 --disable_zk: true (mem: 251.70 MiB)
13:15:48 [13:15:48.004]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.70 MiB)
13:15:48 [13:15:48.025]
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.70 MiB)
13:15:48 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.70 MiB)
13:15:48 [13:15:48.025]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.70 MiB)
13:15:48 libra_evals_verified: 1 (mem: 251.70 MiB)
13:15:48 pairing_check_verified: 1 (mem: 251.70 MiB)
13:15:48 Proof verified successfully (mem: 251.70 MiB)
13:15:48 verified: 1 (mem: 251.70 MiB)
13:15:48 [13:15:48.028]
INFO:
bb-prover Successfully verified proof from key in 59.91283800000019 ms
13:15:48 [13:15:48.226]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":90.78328099999999,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
13:15:48 [13:15:48.234]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:15:48 [13:15:48.234]
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/efc9d710/bb/tmp-GkRmVi -b /tmp/efc9d710/bb/tmp-GkRmVi/RootParityArtifact-bytecode -w /tmp/efc9d710/bb/tmp-GkRmVi/partial-witness.gz -v --init_kzg_accumulator -v
13:15:48 [13:15:48.264]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
13:15:48 [13:15:48.264]
INFO:
bb-prover RootParityArtifact BB out - (mem:
13:15:48 [13:15:48.265]
INFO:
bb-prover RootParityArtifact BB out - 253.89 MiB)
13:15:48 Scheme is: ultra_honk, num threads: 128 (mem: 253.89 MiB)
13:15:48 --scheme: ultra_honk (mem: 253.89 MiB)
13:15:48 --bytecode_path: /tmp/efc9d710/bb/tmp-GkRmVi/RootParityArtifact-bytecode (mem: 253.89 MiB)
13:15:48 --witness_path: /tmp/efc9d710/bb/tmp-GkRmVi/partial-witness.gz (mem: 253.89 MiB)
13:15:48 --output_path: /tmp/efc9d710/bb/tmp-GkRmVi (mem: 253.89 MiB)
13:15:48 Warning: the following option is called more than once (mem: 253.89 MiB)
13:15:48 --verbose: true (mem: 253.89 MiB)
13:15:48 --oracle_hash: poseidon2 (mem: 253.89 MiB)
13:15:48 --output_format: bytes_and_fields (mem: 253.89 MiB)
13:15:48 --write_vk: true (mem: 253.89 MiB)
13:15:48 --disable_zk: true (mem: 253.89 MiB)
13:15:48 --init_kzg_accumulator: true (mem: 253.89 MiB)
13:15:48 [13:15:48.476]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.89 MiB)
13:15:50 [13:15:50.513]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 405.76 MiB)
13:15:53 [13:15:53.059]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 773.74 MiB)
13:15:55 [13:15:55.300]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1044.50 MiB)
13:15:57 [13:15:57.760]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1418.79 MiB)
13:15:57 [13:15:57.761]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1418.79 MiB)
13:15:59 [13:15:59.106]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1855.19 MiB)
13:15:59 [13:15:59.467]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5458.83 MiB)
13:16:01 [13:16:01.577]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3813 ms. (mem: 6075.83 MiB)
13:16:01 [13:16:01.728]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance.
13:16:01 [13:16:01.728]
INFO:
bb-prover RootParityArtifact BB out - (mem:
13:16:01 [13:16:01.781]
INFO:
bb-prover RootParityArtifact BB out - 6075.83 MiB)
13:16:01 [13:16:01.900]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6562.94 MiB)
13:16:03 [13:16:03.238]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7332.13 MiB)
13:16:11 [13:16:11.184]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7332.13 MiB)
13:16:15 [13:16:15.932]
INFO:
bb-prover RootParityArtifact BB out - created oink proof
13:16:15 [13:16:15.933]
INFO:
bb-prover RootParityArtifact BB out - (mem: 7332.13 MiB)
13:16:18 [13:16:18.080]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9042.28 MiB)
13:16:20 [13:16:20.562]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9042.28 MiB)
13:16:26 [13:16:26.522]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9042.28 MiB)
13:16:27 [13:16:27.935]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9042.28 MiB)
13:16:27 [13:16:27.971]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9042.28 MiB)
13:16:28 [13:16:28.872]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/efc9d710/bb/tmp-GkRmVi/public_inputs" (mem: 9042.28 MiB)
13:16:28 [13:16:28.873]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/efc9d710/bb/tmp-GkRmVi/public_inputs_fields.json" (mem: 9042.28 MiB)
13:16:28 Proof saved to "/tmp/efc9d710/bb/tmp-GkRmVi/proof" (mem: 9042.28 MiB)
13:16:28 Proof fields saved to "/tmp/efc9d710/bb/tmp-GkRmVi/proof_fields.json" (mem: 9042.28 MiB)
13:16:28 VK saved to "/tmp/efc9d710/bb/tmp-GkRmVi/vk" (mem: 9042.28 MiB)
13:16:28 VK fields saved to "/tmp/efc9d710/bb/tmp-GkRmVi/vk_fields.json" (mem: 9042.28 MiB)
13:16:29 [13:16:29.115]
INFO:
bb-prover Generated proof for RootParityArtifact in 40879 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40878.474694000004,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:16:29 [13:16:29.117]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:16:29 [13:16:29.118]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/efc9d710/bb/tmp-D4a4Co/proof -k /tmp/efc9d710/bb/tmp-D4a4Co/vk -i /tmp/efc9d710/bb/tmp-D4a4Co/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:16:29 [13:16:29.137]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.89 MiB)
13:16:29 [13:16:29.138]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.89 MiB)
13:16:29 --public_inputs_path: /tmp/efc9d710/bb/tmp-D4a4Co/public_inputs (mem: 253.89 MiB)
13:16:29 --proof_path: /tmp/efc9d710/bb/tmp-D4a4Co/proof (mem: 253.89 MiB)
13:16:29 --vk_path: /tmp/efc9d710/bb/tmp-D4a4Co/vk (mem: 253.89 MiB)
13:16:29 --verbose: true (mem: 253.89 MiB)
13:16:29 --scheme: ultra_honk (mem: 253.89 MiB)
13:16:29 --oracle_hash: poseidon2 (mem: 253.89 MiB)
13:16:29 --disable_zk: true (mem: 253.89 MiB)
13:16:29 [13:16:29.138]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.89 MiB)
13:16:29 [13:16:29.153]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.89 MiB)
13:16:29 [13:16:29.154]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.89 MiB)
13:16:29 [13:16:29.154]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.89 MiB)
13:16:29 libra_evals_verified: 1 (mem: 253.89 MiB)
13:16:29 pairing_check_verified: 1 (mem: 253.89 MiB)
13:16:29 [13:16:29.155]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 253.89 MiB)
13:16:29 verified: 1 (mem: 253.89 MiB)
13:16:29 [13:16:29.156]
INFO:
bb-prover Successfully verified proof from key in 38.618415999997524 ms
13:16:29 [13:16:29.163]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:16:29 [13:16:29.164]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/efc9d710/bb/tmp-CtKb8b/proof -k /tmp/efc9d710/bb/tmp-CtKb8b/vk -i /tmp/efc9d710/bb/tmp-CtKb8b/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:16:29 [13:16:29.196]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.89 MiB)
13:16:29 [13:16:29.197]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.89 MiB)
13:16:29 --public_inputs_path: /tmp/efc9d710/bb/tmp-CtKb8b/public_inputs (mem: 253.89 MiB)
13:16:29 --proof_path: /tmp/efc9d710/bb/tmp-CtKb8b/proof (mem: 253.89 MiB)
13:16:29 --vk_path: /tmp/efc9d710/bb/tmp-CtKb8b/vk (mem: 253.89 MiB)
13:16:29 --verbose: true (mem: 253.89 MiB)
13:16:29 --scheme: ultra_honk (mem: 253.89 MiB)
13:16:29 --oracle_hash: poseidon2 (mem: 253.89 MiB)
13:16:29 --disable_zk: true (mem: 253.89 MiB)
13:16:29 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.89 MiB)
13:16:29 [13:16:29.212]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.89 MiB)
13:16:29 [13:16:29.214]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.89 MiB)
13:16:29 sumcheck_verified: 1 (mem: 253.89 MiB)
13:16:29 libra_evals_verified: 1 (mem: 253.89 MiB)
13:16:29 pairing_check_verified: 1 (mem: 253.89 MiB)
13:16:29 Proof verified successfully (mem: 253.89 MiB)
13:16:29 verified: 1 (mem: 253.89 MiB)
13:16:29 [13:16:29.216]
INFO:
bb-prover Successfully verified proof from key in 52.71586699999898 ms
13:16:29 [13:16:29.289]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
13:16:29
13:16:29 [13:16:29.290]
ERROR:
bb-prover Error running operation at /tmp/efc9d710/bb/tmp-5xvYrc: Error: Failed to generate witness: Failed assertion
13:16:29
13:16:29 [13:16:29.463]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":67.17745399999694,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
13:16:29 [13:16:29.464]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:16:29 [13:16:29.464]
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/efc9d710/bb/tmp-ezHZhO -b /tmp/efc9d710/bb/tmp-ezHZhO/RootParityArtifact-bytecode -w /tmp/efc9d710/bb/tmp-ezHZhO/partial-witness.gz -v --init_kzg_accumulator -v
13:16:29 [13:16:29.489]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.89 MiB)
13:16:29 [13:16:29.490]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.89 MiB)
13:16:29 --scheme: ultra_honk (mem: 253.89 MiB)
13:16:29 --bytecode_path: /tmp/efc9d710/bb/tmp-ezHZhO/RootParityArtifact-bytecode (mem: 253.89 MiB)
13:16:29 --witness_path: /tmp/efc9d710/bb/tmp-ezHZhO/partial-witness.gz (mem: 253.89 MiB)
13:16:29 --output_path: /tmp/efc9d710/bb/tmp-ezHZhO (mem: 253.89 MiB)
13:16:29 Warning: the following option is called more than once (mem: 253.89 MiB)
13:16:29 --verbose: true (mem: 253.89 MiB)
13:16:29 --oracle_hash: poseidon2 (mem: 253.89 MiB)
13:16:29 --output_format: bytes_and_fields (mem: 253.89 MiB)
13:16:29 --write_vk: true (mem: 253.89 MiB)
13:16:29 --disable_zk: true (mem: 253.89 MiB)
13:16:29 --init_kzg_accumulator: true (mem: 253.89 MiB)
13:16:29 [13:16:29.673]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.89 MiB)
13:16:29 [13:16:29.688]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.89 MiB)
13:16:31 [13:16:31.594]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 407.47 MiB)
13:16:34 [13:16:34.158]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 773.59 MiB)
13:16:36 [13:16:36.363]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1039.69 MiB)
13:16:39 [13:16:39.006]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1415.20 MiB)
13:16:39 Constructing DeciderProvingKey (mem: 1415.20 MiB)
13:16:40 [13:16:40.447]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1849.21 MiB)
13:16:41 [13:16:41.007]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5457.45 MiB)
13:16:43 [13:16:43.057]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4051 ms. (mem: 6075.45 MiB)
13:16:43 [13:16:43.191]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6075.45 MiB)
13:16:43 [13:16:43.301]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6551.96 MiB)
13:16:44 [13:16:44.774]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7320.90 MiB)
13:16:50 [13:16:50.273]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7320.90 MiB)
13:16:53 [13:16:53.531]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7320.90 MiB)
13:16:55 [13:16:55.348]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8990.45 MiB)
13:16:57 [13:16:57.419]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8990.45 MiB)
13:17:04 [13:17:04.183]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8990.45 MiB)
13:17:05 [13:17:05.974]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8990.45 MiB)
13:17:06 [13:17:06.005]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8990.45 MiB)
13:17:06 [13:17:06.908]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/efc9d710/bb/tmp-ezHZhO/public_inputs" (mem: 8990.45 MiB)
13:17:06 [13:17:06.908]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/efc9d710/bb/tmp-ezHZhO/public_inputs_fields.json" (mem: 8990.45 MiB)
13:17:06 Proof saved to "/tmp/efc9d710/bb/tmp-ezHZhO/proof" (mem: 8990.45 MiB)
13:17:06 [13:17:06.908]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/efc9d710/bb/tmp-ezHZhO/proof_fields.json" (mem: 8990.45 MiB)
13:17:06 [13:17:06.909]
INFO:
bb-prover RootParityArtifact BB out - VK saved to "/tmp/efc9d710/bb/tmp-ezHZhO/vk" (mem: 8990.45 MiB)
13:17:06 VK fields saved to "/tmp/efc9d710/bb/tmp-ezHZhO/vk_fields.json" (mem: 8990.45 MiB)
13:17:07 [13:17:07.114]
INFO:
bb-prover Generated proof for RootParityArtifact in 37647 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":37646.10509,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:17:07 [13:17:07.118]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:17:07 [13:17:07.118]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/efc9d710/bb/tmp-8tsKkN/proof -k /tmp/efc9d710/bb/tmp-8tsKkN/vk -i /tmp/efc9d710/bb/tmp-8tsKkN/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:17:07 [13:17:07.140]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.89 MiB)
13:17:07 [13:17:07.141]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.89 MiB)
13:17:07 --public_inputs_path: /tmp/efc9d710/bb/tmp-8tsKkN/public_inputs (mem: 253.89 MiB)
13:17:07 --proof_path: /tmp/efc9d710/bb/tmp-8tsKkN/proof (mem: 253.89 MiB)
13:17:07 --vk_path: /tmp/efc9d710/bb/tmp-8tsKkN/vk (mem: 253.89 MiB)
13:17:07 --verbose: true (mem: 253.89 MiB)
13:17:07 --scheme: ultra_honk (mem: 253.89 MiB)
13:17:07 --oracle_hash: poseidon2 (mem: 253.89 MiB)
13:17:07 --disable_zk: true (mem: 253.89 MiB)
13:17:07 [13:17:07.141]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.89 MiB)
13:17:07 [13:17:07.151]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.89 MiB)
13:17:07 Proof verification failed (mem: 253.89 MiB)
13:17:07 verified: 0 (mem:
13:17:07 [13:17:07.151]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.89 MiB)
13:17:07 [13:17:07.153]
ERROR:
bb-prover Error running operation at /tmp/efc9d710/bb/tmp-8tsKkN: ProvingError: Failed to verify proof from key!
13:17:07 [13:17:07.294]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":68.59109899999748,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
13:17:07 [13:17:07.296]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:17:07 [13:17:07.296]
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/efc9d710/bb/tmp-mY7wGQ -b /tmp/efc9d710/bb/tmp-mY7wGQ/RootParityArtifact-bytecode -w /tmp/efc9d710/bb/tmp-mY7wGQ/partial-witness.gz -v --init_kzg_accumulator -v
13:17:07 [13:17:07.328]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
13:17:07 [13:17:07.329]
INFO:
bb-prover RootParityArtifact BB out - (mem:
13:17:07 [13:17:07.329]
INFO:
bb-prover RootParityArtifact BB out - 253.86 MiB)
13:17:07 Scheme is: ultra_honk, num threads: 128 (mem: 253.86 MiB)
13:17:07 --scheme: ultra_honk (mem: 253.86 MiB)
13:17:07 --bytecode_path: /tmp/efc9d710/bb/tmp-mY7wGQ/RootParityArtifact-bytecode (mem: 253.86 MiB)
13:17:07 --witness_path: /tmp/efc9d710/bb/tmp-mY7wGQ/partial-witness.gz (mem: 253.86 MiB)
13:17:07 --output_path: /tmp/efc9d710/bb/tmp-mY7wGQ (mem: 253.86 MiB)
13:17:07 Warning: the following option is called more than once (mem: 253.86 MiB)
13:17:07 --verbose: true (mem: 253.86 MiB)
13:17:07 --oracle_hash: poseidon2 (mem: 253.86 MiB)
13:17:07 --output_format: bytes_and_fields (mem: 253.86 MiB)
13:17:07 --write_vk: true (mem: 253.86 MiB)
13:17:07 --disable_zk: true (mem: 253.86 MiB)
13:17:07 --init_kzg_accumulator: true (mem: 253.86 MiB)
13:17:07 [13:17:07.555]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.86 MiB)
13:17:07 [13:17:07.571]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.86 MiB)
13:17:09 [13:17:09.663]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 412.03 MiB)
13:17:11 [13:17:11.883]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 778.45 MiB)
13:17:13 [13:17:13.989]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1046.10 MiB)
13:17:16 [13:17:16.270]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1420.33 MiB)
13:17:16 [13:17:16.271]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1420.33 MiB)
13:17:17 [13:17:17.426]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1853.31 MiB)
13:17:17 [13:17:17.768]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5459.48 MiB)
13:17:19 [13:17:19.384]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3113 ms. (mem: 6070.48 MiB)
13:17:19 [13:17:19.586]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6070.48 MiB)
13:17:19 [13:17:19.664]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat"
13:17:19 [13:17:19.664]
INFO:
bb-prover RootParityArtifact BB out - (mem:
13:17:19 [13:17:19.665]
INFO:
bb-prover RootParityArtifact BB out - 6557.59
13:17:19 [13:17:19.665]
INFO:
bb-prover RootParityArtifact BB out - MiB)
13:17:19 [13:17:19.666]
INFO:
bb-prover RootParityArtifact BB out -
13:17:20 [13:17:20.972]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7326.34 MiB)
13:17:25 [13:17:25.927]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7326.34 MiB)
13:17:29 [13:17:29.067]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7326.34 MiB)
13:17:30 [13:17:30.583]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8993.47 MiB)
13:17:32 [13:17:32.622]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8993.47 MiB)
13:17:37 [13:17:37.952]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8993.47 MiB)
13:17:39 [13:17:39.674]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8993.47 MiB)
13:17:39 [13:17:39.707]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8993.47 MiB)
13:17:40 [13:17:40.416]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/efc9d710/bb/tmp-mY7wGQ/public_inputs" (mem: 8993.47 MiB)
13:17:40 Public inputs fields saved to "/tmp/efc9d710/bb/tmp-mY7wGQ/public_inputs_fields.json" (mem: 8993.47 MiB)
13:17:40 [13:17:40.417]
INFO:
bb-prover RootParityArtifact BB out - Proof saved to "/tmp/efc9d710/bb/tmp-mY7wGQ/proof" (mem: 8993.47 MiB)
13:17:40 Proof fields saved to "/tmp/efc9d710/bb/tmp-mY7wGQ/proof_fields.json" (mem: 8993.47 MiB)
13:17:40 VK saved to "/tmp/efc9d710/bb/tmp-mY7wGQ/vk" (mem: 8993.47 MiB)
13:17:40 [13:17:40.417]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/efc9d710/bb/tmp-mY7wGQ/vk_fields.json" (mem: 8993.47 MiB)
13:17:40 [13:17:40.699]
INFO:
bb-prover Generated proof for RootParityArtifact in 33401 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":33400.49248799999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:17:40 [13:17:40.702]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:17:40 [13:17:40.702]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/efc9d710/bb/tmp-uINpRB/proof -k /tmp/efc9d710/bb/tmp-uINpRB/vk -i /tmp/efc9d710/bb/tmp-uINpRB/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:17:40 [13:17:40.719]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.89 MiB)
13:17:40 [13:17:40.720]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.89 MiB)
13:17:40 --public_inputs_path: /tmp/efc9d710/bb/tmp-uINpRB/public_inputs (mem: 253.89 MiB)
13:17:40 --proof_path: /tmp/efc9d710/bb/tmp-uINpRB/proof (mem: 253.89 MiB)
13:17:40 --vk_path: /tmp/efc9d710/bb/tmp-uINpRB/vk (mem: 253.89 MiB)
13:17:40 --verbose: true (mem: 253.89 MiB)
13:17:40 --scheme: ultra_honk (mem: 253.89 MiB)
13:17:40 --oracle_hash: poseidon2 (mem: 253.89 MiB)
13:17:40 --disable_zk: true (mem: 253.89 MiB)
13:17:40 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.89 MiB)
13:17:40 [13:17:40.729]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.89 MiB)
13:17:40 Proof verification failed (mem: 253.89 MiB)
13:17:40 verified: 0 (mem: 253.89 MiB)
13:17:40 [13:17:40.731]
ERROR:
bb-prover Error running operation at /tmp/efc9d710/bb/tmp-uINpRB: ProvingError: Failed to verify proof from key!
13:17:40 [13:17:40.733]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
13:17:40
PASS src/test/bb_prover_parity.test.ts (
127.304 s)
13:17:40 prover/bb_prover/parity
13:17:40
✓ proves the parity circuits (117305 ms)
13:17:40
13:17:40
Test Suites: 1 passed, 1 total
13:17:40
Tests: 1 passed, 1 total
13:17:40
Snapshots: 0 total
13:17:40
Time: 127.402 s
13:17:40
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
13:17:40
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?