Parent Log:
http://ci.aztec-labs.com/03b9ba3e2cc99f2a
Command: 1fec7f5307cfdb51: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/7e505bcd7fcd90a7d5fe893194272157cc9ec848
Env: REF_NAME=gh-readonly-queue/next/pr-15159-88a99fb5fb938035dfeff0d9ed0cfd81b9eb2c5a CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Thu Jun 19 16:30:02 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15159_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
16:30:02 +++ id -u
16:30:02 +++ id -g
16:30:02 ++ 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'\'''
16:30:03 + cid=cf911f0bbe9121e7611ab20181d42a9cf97433b760e087762c7e2c922de7593a
16:30:03 + set +x
16:30:05 {"level":25,"time":1750350605101,"pid":7,"hostname":"cf911f0bbe91","module":"logger","msg":"Logger initialized with level verbose"}
16:30:14 [16:30:14.633]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-Aw0w2f/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
16:30:14 [16:30:14.710]
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/9cf78588/bb
16:30:14 [16:30:14.712]
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/9cf78588/acvm
16:30:14 [16:30:14.714]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/9cf78588/bb
16:30:14 [16:30:14.714]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/9cf78588/acvm
16:30:14 [16:30:14.718]
INFO:
prover-client:proving-broker Proving Broker started
16:30:14 [16:30:14.721]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
16:30:15 [16:30:15.018]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":93.35491499999989,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
16:30:15 [16:30:15.032]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":131.52914999999848,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
16:30:15 [16:30:15.044]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":77.89091999999982,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
16:30:15 [16:30:15.053]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
16:30:15 [16:30:15.054]
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/9cf78588/bb/tmp-vnLujp -b /tmp/9cf78588/bb/tmp-vnLujp/BaseParityArtifact-bytecode -w /tmp/9cf78588/bb/tmp-vnLujp/partial-witness.gz -v --init_kzg_accumulator -v
16:30:15 [16:30:15.094]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
16:30:15 [16:30:15.095]
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/9cf78588/bb/tmp-wOd5GG -b /tmp/9cf78588/bb/tmp-wOd5GG/BaseParityArtifact-bytecode -w /tmp/9cf78588/bb/tmp-wOd5GG/partial-witness.gz -v --init_kzg_accumulator -v
16:30:15 [16:30:15.137]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
16:30:15 [16:30:15.137]
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/9cf78588/bb/tmp-Goj37e -b /tmp/9cf78588/bb/tmp-Goj37e/BaseParityArtifact-bytecode -w /tmp/9cf78588/bb/tmp-Goj37e/partial-witness.gz -v --init_kzg_accumulator -v
16:30:15 [16:30:15.172]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.09 MiB)
16:30:15 Scheme is: ultra_honk, num threads: 128 (mem: 253.09 MiB)
16:30:15 --scheme: ultra_honk (mem: 253.09 MiB)
16:30:15 --bytecode_path: /tmp/9cf78588/bb/tmp-vnLujp/BaseParityArtifact-bytecode (mem: 253.09 MiB)
16:30:15 --witness_path: /tmp/9cf78588/bb/tmp-vnLujp/partial-witness.gz (mem: 253.09 MiB)
16:30:15 --output_path: /tmp/9cf78588/bb/tmp-vnLujp (mem: 253.09 MiB)
16:30:15 Warning: the following option is called more than once (mem: 253.09 MiB)
16:30:15 --verbose: true (mem: 253.09 MiB)
16:30:15 --oracle_hash: poseidon2 (mem: 253.09 MiB)
16:30:15 --output_format: bytes_and_fields (mem: 253.09 MiB)
16:30:15 --write_vk: true (mem: 253.09 MiB)
16:30:15 --disable_zk: true (mem: 253.09 MiB)
16:30:15 --init_kzg_accumulator: true (mem: 253.09 MiB)
16:30:15 [16:30:15.174]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.54 MiB)
16:30:15 Scheme is: ultra_honk, num threads: 128 (mem: 253.54 MiB)
16:30:15 --scheme: ultra_honk (mem: 253.54 MiB)
16:30:15 --bytecode_path: /tmp/9cf78588/bb/tmp-wOd5GG/BaseParityArtifact-bytecode (mem: 253.54 MiB)
16:30:15 --witness_path: /tmp/9cf78588/bb/tmp-wOd5GG/partial-witness.gz (mem: 253.54 MiB)
16:30:15 --output_path: /tmp/9cf78588/bb/tmp-wOd5GG (mem: 253.54 MiB)
16:30:15 Warning: the following option is called more than once (mem: 253.54 MiB)
16:30:15 --verbose: true (mem: 253.54 MiB)
16:30:15 --oracle_hash: poseidon2 (mem: 253.54 MiB)
16:30:15 --output_format: bytes_and_fields (mem: 253.54 MiB)
16:30:15 --write_vk: true (mem: 253.54 MiB)
16:30:15 --disable_zk: true (mem: 253.54 MiB)
16:30:15 --init_kzg_accumulator: true (mem: 253.54 MiB)
16:30:15 [16:30:15.184]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":98.18179800000144,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
16:30:15 [16:30:15.186]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.54 MiB)
16:30:15 Scheme is: ultra_honk, num threads: 128 (mem: 253.54 MiB)
16:30:15 --scheme: ultra_honk (mem: 253.54 MiB)
16:30:15 --bytecode_path: /tmp/9cf78588/bb/tmp-Goj37e/BaseParityArtifact-bytecode (mem: 253.54 MiB)
16:30:15 --witness_path: /tmp/9cf78588/bb/tmp-Goj37e/partial-witness.gz (mem: 253.54 MiB)
16:30:15 --output_path: /tmp/9cf78588/bb/tmp-Goj37e (mem: 253.54 MiB)
16:30:15 Warning: the following option is called more than once (mem: 253.54 MiB)
16:30:15 --verbose: true (mem: 253.54 MiB)
16:30:15 --oracle_hash: poseidon2 (mem: 253.54 MiB)
16:30:15 --output_format: bytes_and_fields (mem: 253.54 MiB)
16:30:15 --write_vk: true (mem: 253.54 MiB)
16:30:15 --disable_zk: true (mem: 253.54 MiB)
16:30:15 --init_kzg_accumulator: true (mem: 253.54 MiB)
16:30:15 [16:30:15.187]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
16:30:15 [16:30:15.188]
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/9cf78588/bb/tmp-U8YijW -b /tmp/9cf78588/bb/tmp-U8YijW/BaseParityArtifact-bytecode -w /tmp/9cf78588/bb/tmp-U8YijW/partial-witness.gz -v --init_kzg_accumulator -v
16:30:15 [16:30:15.237]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove
16:30:15 [16:30:15.239]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
16:30:15 [16:30:15.239]
INFO:
bb-prover BaseParityArtifact BB out - 253.59
16:30:15 [16:30:15.240]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
16:30:15 [16:30:15.240]
INFO:
bb-prover BaseParityArtifact BB out -
16:30:15 [16:30:15.242]
INFO:
bb-prover BaseParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.59 MiB)
16:30:15 --scheme: ultra_honk (mem: 253.59 MiB)
16:30:15 --bytecode_path: /tmp/9cf78588/bb/tmp-U8YijW/BaseParityArtifact-bytecode (mem: 253.59 MiB)
16:30:15 --witness_path: /tmp/9cf78588/bb/tmp-U8YijW/partial-witness.gz (mem: 253.59 MiB)
16:30:15 --output_path: /tmp/9cf78588/bb/tmp-U8YijW (mem: 253.59 MiB)
16:30:15 Warning: the following option is called more than once (mem: 253.59 MiB)
16:30:15 --verbose: true (mem: 253.59 MiB)
16:30:15 --oracle_hash: poseidon2 (mem: 253.59 MiB)
16:30:15 --output_format: bytes_and_fields (mem: 253.59 MiB)
16:30:15 --write_vk: true (mem: 253.59 MiB)
16:30:15 --disable_zk: true (mem: 253.59 MiB)
16:30:15 --init_kzg_accumulator: true (mem: 253.59 MiB)
16:30:15 [16:30:15.259]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.09 MiB)
16:30:15 [16:30:15.260]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 253.09 MiB)
16:30:15 [16:30:15.263]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.09 MiB)
16:30:15 [16:30:15.324]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.54 MiB)
16:30:15 [16:30:15.325]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 253.54 MiB)
16:30:15 [16:30:15.329]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.54 MiB)
16:30:15 [16:30:15.381]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.54 MiB)
16:30:15 Constructing DeciderProvingKey (mem: 253.54 MiB)
16:30:15 [16:30:15.384]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.54 MiB)
16:30:15 [16:30:15.465]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.09 MiB)
16:30:15 [16:30:15.466]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.59 MiB)
16:30:15 [16:30:15.469]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 253.59 MiB)
16:30:15 [16:30:15.474]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.59 MiB)
16:30:15 [16:30:15.554]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 294 ms. (mem: 253.09 MiB)
16:30:15 [16:30:15.562]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.09 MiB)
16:30:15 [16:30:15.587]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.09 MiB)
16:30:15 [16:30:15.608]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 253.09 MiB)
16:30:15 [16:30:15.643]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.54 MiB)
16:30:15 [16:30:15.652]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.54 MiB)
16:30:15 [16:30:15.653]
INFO:
bb-prover BaseParityArtifact BB out -
16:30:15 [16:30:15.665]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.59 MiB)
16:30:15 [16:30:15.804]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 321 ms. (mem: 253.59 MiB)
16:30:15 [16:30:15.806]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 479 ms. (mem: 253.54 MiB)
16:30:15 [16:30:15.818]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.59 MiB)
16:30:15 [16:30:15.819]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.54 MiB)
16:30:15 [16:30:15.826]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.59 MiB)
16:30:15 [16:30:15.827]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.54 MiB)
16:30:15 [16:30:15.832]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 444 ms. (mem: 253.54 MiB)
16:30:15 [16:30:15.854]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.54 MiB)
16:30:15 [16:30:15.859]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.54 MiB)
16:30:15 [16:30:15.866]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 253.59 MiB)
16:30:15 [16:30:15.878]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 253.54 MiB)
16:30:15 [16:30:15.896]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 253.54 MiB)
16:30:16 [16:30:16.592]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.09 MiB)
16:30:16 [16:30:16.761]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.59 MiB)
16:30:16 [16:30:16.839]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.54 MiB)
16:30:16 [16:30:16.916]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.54 MiB)
16:30:17 [16:30:17.395]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.09 MiB)
16:30:17 [16:30:17.427]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.59 MiB)
16:30:17 [16:30:17.515]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.54 MiB)
16:30:17 [16:30:17.593]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.54 MiB)
16:30:17 [16:30:17.650]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 253.09 MiB)
16:30:17 [16:30:17.675]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 261.53 MiB)
16:30:17 [16:30:17.765]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 254.93 MiB)
16:30:17 [16:30:17.837]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 253.09 MiB)
16:30:17 [16:30:17.857]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 260.11 MiB)
16:30:17 [16:30:17.866]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 261.53 MiB)
16:30:17 [16:30:17.962]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 254.93 MiB)
16:30:18 [16:30:18.038]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 260.11 MiB)
16:30:19 [16:30:19.246]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.09 MiB)
16:30:19 [16:30:19.301]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.09 MiB)
16:30:19 [16:30:19.317]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 253.09 MiB)
16:30:19 [16:30:19.337]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/9cf78588/bb/tmp-vnLujp/public_inputs" (mem: 253.09 MiB)
16:30:19 Public inputs fields saved to "/tmp/9cf78588/bb/tmp-vnLujp/public_inputs_fields.json" (mem: 253.09 MiB)
16:30:19 Proof saved to "/tmp/9cf78588/bb/tmp-vnLujp/proof" (mem: 253.09 MiB)
16:30:19 Proof fields saved to "/tmp/9cf78588/bb/tmp-vnLujp/proof_fields.json" (mem: 253.09 MiB)
16:30:19 VK saved to "/tmp/9cf78588/bb/tmp-vnLujp/vk" (mem: 253.09 MiB)
16:30:19 VK fields saved to "/tmp/9cf78588/bb/tmp-vnLujp/vk_fields.json" (mem: 253.09 MiB)
16:30:19 [16:30:19.359]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 261.53 MiB)
16:30:19 [16:30:19.426]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4336 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4335.270052,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:30:19 [16:30:19.428]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 261.53 MiB)
16:30:19 [16:30:19.435]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 261.53 MiB)
16:30:19 Public inputs saved to "/tmp/9cf78588/bb/tmp-U8YijW/public_inputs" (mem: 261.53 MiB)
16:30:19 Public inputs fields saved to "/tmp/9cf78588/bb/tmp-U8YijW/public_inputs_fields.json" (mem: 261.53 MiB)
16:30:19 Proof saved to "/tmp/9cf78588/bb/tmp-U8YijW/proof" (mem: 261.53 MiB)
16:30:19 [16:30:19.437]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/9cf78588/bb/tmp-U8YijW/proof_fields.json" (mem: 261.53 MiB)
16:30:19 VK saved to "/tmp/9cf78588/bb/tmp-U8YijW/vk" (mem: 261.53 MiB)
16:30:19 VK fields saved to "/tmp/9cf78588/bb/tmp-U8YijW/vk_fields.json" (mem: 261.53 MiB)
16:30:19 [16:30:19.443]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:30:19 [16:30:19.443]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9cf78588/bb/tmp-F4xyXt/proof -k /tmp/9cf78588/bb/tmp-F4xyXt/vk -i /tmp/9cf78588/bb/tmp-F4xyXt/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:30:19 [16:30:19.475]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 254.93 MiB)
16:30:19 [16:30:19.477]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
16:30:19 [16:30:19.478]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
16:30:19 [16:30:19.478]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.59
16:30:19 [16:30:19.479]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
16:30:19 Scheme is: ultra_honk, num threads: 128 (mem: 253.59 MiB)
16:30:19 [16:30:19.479]
VERBOSE:
bb-prover bb-prover (verify) BB out -
16:30:19 --public_inputs_path: /tmp/9cf78588/bb/tmp-F4xyXt/public_inputs (mem: 253.59 MiB)
16:30:19 --proof_path: /tmp/9cf78588/bb/tmp-F4xyXt/proof (mem: 253.59
16:30:19 [16:30:19.479]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
16:30:19 --vk_path: /tmp/9cf78588/bb/tmp-F4xyXt/vk (mem: 253.59 MiB)
16:30:19 --verbose: true (mem: 253.59 MiB)
16:30:19 --scheme: ultra_honk (mem: 253.59 MiB)
16:30:19 [16:30:19.480]
VERBOSE:
bb-prover bb-prover (verify) BB out - --oracle_hash: poseidon2 (mem: 253.59 MiB)
16:30:19 --disable_zk: true (mem: 253.59 MiB)
16:30:19 [16:30:19.480]
VERBOSE:
bb-prover bb-prover (verify) BB out -
16:30:19 [16:30:19.481]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.59 MiB)
16:30:19 [16:30:19.485]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4294 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4293.4039619999985,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:30:19 [16:30:19.488]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:30:19 [16:30:19.488]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9cf78588/bb/tmp-c74ZaS/proof -k /tmp/9cf78588/bb/tmp-c74ZaS/vk -i /tmp/9cf78588/bb/tmp-c74ZaS/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:30:19 [16:30:19.514]
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.59 MiB)
16:30:19 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.59 MiB)
16:30:19 [16:30:19.518]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.59 MiB)
16:30:19 Scheme is: ultra_honk, num threads: 128 (mem: 253.59 MiB)
16:30:19 --public_inputs_path: /tmp/9cf78588/bb/tmp-c74ZaS/public_inputs (mem: 253.59 MiB)
16:30:19 --proof_path: /tmp/9cf78588/bb/tmp-c74ZaS/proof (mem: 253.59 MiB)
16:30:19 --vk_path: /tmp/9cf78588/bb/tmp-c74ZaS/vk (mem: 253.59 MiB)
16:30:19 --verbose: true (mem: 253.59 MiB)
16:30:19 --scheme: ultra_honk (mem: 253.59 MiB)
16:30:19 --oracle_hash: poseidon2 (mem: 253.59 MiB)
16:30:19 --disable_zk: true (mem: 253.59 MiB)
16:30:19 [16:30:19.520]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.59 MiB)
16:30:19 [16:30:19.524]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.59 MiB)
16:30:19 [16:30:19.524]
VERBOSE:
bb-prover bb-prover (verify) BB out - libra_evals_verified: 1 (mem: 253.59 MiB)
16:30:19 pairing_check_verified: 1 (mem: 253.59 MiB)
16:30:19 Proof verified successfully (mem: 253.59 MiB)
16:30:19 verified: 1 (mem: 253.59 MiB)
16:30:19 [16:30:19.526]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 254.93 MiB)
16:30:19 [16:30:19.529]
INFO:
bb-prover Successfully verified proof from key in 85.98284600000079 ms
16:30:19 [16:30:19.530]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 254.93 MiB)
16:30:19 [16:30:19.531]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/9cf78588/bb/tmp-wOd5GG/public_inputs" (mem: 254.93 MiB)
16:30:19 [16:30:19.531]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/9cf78588/bb/tmp-wOd5GG/public_inputs_fields.json" (mem: 254.93 MiB)
16:30:19 Proof saved to "/tmp/9cf78588/bb/tmp-wOd5GG/proof" (mem: 254.93 MiB)
16:30:19 [16:30:19.532]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/9cf78588/bb/tmp-wOd5GG/proof_fields.json" (mem: 254.93 MiB)
16:30:19 VK saved to "/tmp/9cf78588/bb/tmp-wOd5GG/vk" (mem: 254.93 MiB)
16:30:19 [16:30:19.532]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/9cf78588/bb/tmp-wOd5GG/vk_fields.json" (mem: 254.93 MiB)
16:30:19 [16:30:19.544]
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.59 MiB)
16:30:19 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.59 MiB)
16:30:19 [16:30:19.547]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.59 MiB)
16:30:19 libra_evals_verified: 1 (mem: 253.59 MiB)
16:30:19 pairing_check_verified: 1 (mem: 253.59 MiB)
16:30:19 Proof verified successfully (mem: 253.59 MiB)
16:30:19 verified: 1 (mem: 253.59 MiB)
16:30:19 [16:30:19.548]
INFO:
bb-prover Successfully verified proof from key in 60.28353900000002 ms
16:30:19 [16:30:19.583]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4484 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4483.295183,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:30:19 [16:30:19.588]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:30:19 [16:30:19.588]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9cf78588/bb/tmp-m9H3KC/proof -k /tmp/9cf78588/bb/tmp-m9H3KC/vk -i /tmp/9cf78588/bb/tmp-m9H3KC/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:30:19 [16:30:19.619]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 260.11 MiB)
16:30:19 [16:30:19.629]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.67 MiB)
16:30:19 Scheme is: ultra_honk, num threads: 128 (mem: 253.67 MiB)
16:30:19 --public_inputs_path: /tmp/9cf78588/bb/tmp-m9H3KC/public_inputs (mem: 253.67 MiB)
16:30:19 --proof_path: /tmp/9cf78588/bb/tmp-m9H3KC/proof (mem: 253.67 MiB)
16:30:19 --vk_path: /tmp/9cf78588/bb/tmp-m9H3KC/vk (mem: 253.67 MiB)
16:30:19 --verbose: true (mem: 253.67 MiB)
16:30:19 --scheme: ultra_honk (mem: 253.67 MiB)
16:30:19 --oracle_hash: poseidon2 (mem: 253.67 MiB)
16:30:19 --disable_zk: true (mem: 253.67 MiB)
16:30:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.67 MiB)
16:30:19 [16:30:19.652]
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"
16:30:19 [16:30:19.653]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
16:30:19 [16:30:19.654]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.67
16:30:19 [16:30:19.655]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
16:30:19 [16:30:19.655]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025
16:30:19 [16:30:19.656]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 253.67 MiB)
16:30:19 [16:30:19.657]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.67 MiB)
16:30:19 libra_evals_verified: 1 (mem: 253.67 MiB)
16:30:19 pairing_check_verified: 1 (mem: 253.67 MiB)
16:30:19 Proof verified successfully (mem:
16:30:19 [16:30:19.657]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.67 MiB)
16:30:19 verified: 1 (mem: 253.67 MiB)
16:30:19 [16:30:19.659]
INFO:
bb-prover Successfully verified proof from key in 70.88977100000011 ms
16:30:19 [16:30:19.668]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 260.11 MiB)
16:30:19 finished decider proving. (mem: 260.11 MiB)
16:30:19 [16:30:19.673]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/9cf78588/bb/tmp-Goj37e/public_inputs" (mem: 260.11 MiB)
16:30:19 [16:30:19.677]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/9cf78588/bb/tmp-Goj37e/public_inputs_fields.json" (mem: 260.11 MiB)
16:30:19 Proof saved to "/tmp/9cf78588/bb/tmp-Goj37e/proof" (mem: 260.11 MiB)
16:30:19 Proof fields saved to "/tmp/9cf78588/bb/tmp-Goj37e/proof_fields.json" (mem: 260.11 MiB)
16:30:19 VK saved to "/tmp/9cf78588/bb/tmp-Goj37e/vk" (mem: 260.11 MiB)
16:30:19 VK fields saved to "/tmp/9cf78588/bb/tmp-Goj37e/vk_fields.json" (mem: 260.11 MiB)
16:30:19 [16:30:19.753]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4613 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4612.040590999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:30:19 [16:30:19.761]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:30:19 [16:30:19.761]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9cf78588/bb/tmp-6cSRBw/proof -k /tmp/9cf78588/bb/tmp-6cSRBw/vk -i /tmp/9cf78588/bb/tmp-6cSRBw/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:30:19 [16:30:19.798]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
16:30:19 [16:30:19.799]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 253.74 MiB)
16:30:19 Scheme is: ultra_honk, num threads: 128 (mem: 253.74 MiB)
16:30:19 --public_inputs_path: /tmp/9cf78588/bb/tmp-6cSRBw/public_inputs (mem: 253.74 MiB)
16:30:19 --proof_path: /tmp/9cf78588/bb/tmp-6cSRBw/proof (mem: 253.74 MiB)
16:30:19 --vk_path: /tmp/9cf78588/bb/tmp-6cSRBw/vk (mem: 253.74 MiB)
16:30:19 --verbose: true (mem: 253.74 MiB)
16:30:19 --scheme: ultra_honk (mem: 253.74 MiB)
16:30:19 --oracle_hash: poseidon2 (mem: 253.74 MiB)
16:30:19 --disable_zk: true (mem: 253.74 MiB)
16:30:19 [16:30:19.800]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.74 MiB)
16:30:19 [16:30:19.817]
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.74 MiB)
16:30:19 [16:30:19.819]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.74 MiB)
16:30:19 sumcheck_verified: 1 (mem: 253.74 MiB)
16:30:19 libra_evals_verified: 1 (mem: 253.74 MiB)
16:30:19 pairing_check_verified: 1 (mem: 253.74 MiB)
16:30:19 Proof verified successfully (mem: 253.74 MiB)
16:30:19 verified: 1 (mem: 253.74 MiB)
16:30:19 [16:30:19.821]
INFO:
bb-prover Successfully verified proof from key in 60.41457300000002 ms
16:30:19 [16:30:19.840]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:30:19 [16:30:19.840]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9cf78588/bb/tmp-tbOwe7/proof -k /tmp/9cf78588/bb/tmp-tbOwe7/vk -i /tmp/9cf78588/bb/tmp-tbOwe7/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:30:19 [16:30:19.872]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:30:19 [16:30:19.873]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9cf78588/bb/tmp-Z9gBS9/proof -k /tmp/9cf78588/bb/tmp-Z9gBS9/vk -i /tmp/9cf78588/bb/tmp-Z9gBS9/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:30:19 [16:30:19.905]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:30:19 [16:30:19.906]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9cf78588/bb/tmp-0GKwOU/proof -k /tmp/9cf78588/bb/tmp-0GKwOU/vk -i /tmp/9cf78588/bb/tmp-0GKwOU/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:30:19 [16:30:19.934]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:30:19 [16:30:19.938]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9cf78588/bb/tmp-RLk7Lv/proof -k /tmp/9cf78588/bb/tmp-RLk7Lv/vk -i /tmp/9cf78588/bb/tmp-RLk7Lv/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:30:19 [16:30:19.975]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.74 MiB)
16:30:19 Scheme is: ultra_honk, num threads: 128 (mem: 253.74 MiB)
16:30:19 --public_inputs_path: /tmp/9cf78588/bb/tmp-tbOwe7/public_inputs (mem: 253.74 MiB)
16:30:19 --proof_path: /tmp/9cf78588/bb/tmp-tbOwe7/proof (mem: 253.74 MiB)
16:30:19 --vk_path: /tmp/9cf78588/bb/tmp-tbOwe7/vk (mem: 253.74 MiB)
16:30:19 --verbose: true (mem: 253.74 MiB)
16:30:19 --scheme: ultra_honk (mem: 253.74 MiB)
16:30:19 --oracle_hash: poseidon2 (mem: 253.74 MiB)
16:30:19 --disable_zk: true (mem: 253.74 MiB)
16:30:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.74 MiB)
16:30:19 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.74 MiB)
16:30:19 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.74 MiB)
16:30:19 sumcheck_verified: 1 (mem: 253.74 MiB)
16:30:19 libra_evals_verified: 1 (mem: 253.74 MiB)
16:30:19 pairing_check_verified: 1 (mem: 253.74 MiB)
16:30:19 Proof verified successfully (mem: 253.74 MiB)
16:30:19 verified: 1 (mem: 253.74 MiB)
16:30:19 [16:30:19.979]
INFO:
bb-prover Successfully verified proof from key in 139.0220219999992 ms
16:30:19 [16:30:19.980]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.74 MiB)
16:30:19 Scheme is: ultra_honk, num threads: 128 (mem: 253.74 MiB)
16:30:19 --public_inputs_path: /tmp/9cf78588/bb/tmp-Z9gBS9/public_inputs (mem: 253.74 MiB)
16:30:19 --proof_path: /tmp/9cf78588/bb/tmp-Z9gBS9/proof (mem: 253.74 MiB)
16:30:19 --vk_path: /tmp/9cf78588/bb/tmp-Z9gBS9/vk (mem: 253.74 MiB)
16:30:19 --verbose: true (mem: 253.74 MiB)
16:30:19 --scheme: ultra_honk (mem: 253.74 MiB)
16:30:19 --oracle_hash: poseidon2 (mem: 253.74 MiB)
16:30:19 --disable_zk: true (mem: 253.74 MiB)
16:30:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.74 MiB)
16:30:19 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.74 MiB)
16:30:19 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.74 MiB)
16:30:19 sumcheck_verified: 1 (mem: 253.74 MiB)
16:30:19 libra_evals_verified: 1 (mem: 253.74 MiB)
16:30:19 pairing_check_verified: 1 (mem: 253.74 MiB)
16:30:19 Proof verified successfully (mem: 253.74 MiB)
16:30:19 verified: 1 (mem: 253.74 MiB)
16:30:19 [16:30:19.980]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.74 MiB)
16:30:19 Scheme is: ultra_honk, num threads: 128 (mem: 253.74 MiB)
16:30:19 --public_inputs_path: /tmp/9cf78588/bb/tmp-0GKwOU/public_inputs (mem: 253.74 MiB)
16:30:19 --proof_path: /tmp/9cf78588/bb/tmp-0GKwOU/proof (mem: 253.74 MiB)
16:30:19 --vk_path: /tmp/9cf78588/bb/tmp-0GKwOU/vk (mem: 253.74 MiB)
16:30:19 --verbose: true (mem: 253.74 MiB)
16:30:19 --scheme: ultra_honk (mem: 253.74 MiB)
16:30:19 --oracle_hash: poseidon2 (mem: 253.74 MiB)
16:30:19 --disable_zk: true (mem: 253.74 MiB)
16:30:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.74 MiB)
16:30:19 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.74 MiB)
16:30:19 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.74 MiB)
16:30:19 sumcheck_verified: 1 (mem: 253.74 MiB)
16:30:19 libra_evals_verified: 1 (mem: 253.74 MiB)
16:30:19 pairing_check_verified: 1 (mem: 253.74 MiB)
16:30:19 Proof verified successfully (mem: 253.74 MiB)
16:30:19 verified: 1 (mem: 253.74 MiB)
16:30:19 [16:30:19.981]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.98 MiB)
16:30:19 Scheme is: ultra_honk, num threads: 128 (mem: 252.98 MiB)
16:30:19 --public_inputs_path: /tmp/9cf78588/bb/tmp-RLk7Lv/public_inputs (mem: 252.98 MiB)
16:30:19 --proof_path: /tmp/9cf78588/bb/tmp-RLk7Lv/proof (mem: 252.98 MiB)
16:30:19 --vk_path: /tmp/9cf78588/bb/tmp-RLk7Lv/vk (mem: 252.98 MiB)
16:30:19 --verbose: true (mem: 252.98 MiB)
16:30:19 --scheme: ultra_honk (mem: 252.98 MiB)
16:30:19 --oracle_hash: poseidon2 (mem: 252.98 MiB)
16:30:19 --disable_zk: true (mem: 252.98 MiB)
16:30:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.98 MiB)
16:30:19 [16:30:19.981]
INFO:
bb-prover Successfully verified proof from key in 76.35876000000098 ms
16:30:19 [16:30:19.982]
INFO:
bb-prover Successfully verified proof from key in 109.74335400000018 ms
16:30:19 [16:30:19.995]
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.98 MiB)
16:30:19 [16:30:19.996]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 252.98 MiB)
16:30:20 [16:30:20.000]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.98 MiB)
16:30:20 libra_evals_verified: 1 (mem: 252.98 MiB)
16:30:20 pairing_check_verified: 1 (mem: 252.98 MiB)
16:30:20 Proof verified successfully (mem: 252.98 MiB)
16:30:20 verified: 1 (mem: 252.98 MiB)
16:30:20 [16:30:20.002]
INFO:
bb-prover Successfully verified proof from key in 67.54350500000146 ms
16:30:20 [16:30:20.261]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":100.83321599999908,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
16:30:20 [16:30:20.267]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
16:30:20 [16:30:20.267]
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/9cf78588/bb/tmp-9DNpdY -b /tmp/9cf78588/bb/tmp-9DNpdY/RootParityArtifact-bytecode -w /tmp/9cf78588/bb/tmp-9DNpdY/partial-witness.gz -v --init_kzg_accumulator -v
16:30:20 [16:30:20.302]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.88 MiB)
16:30:20 [16:30:20.303]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.88 MiB)
16:30:20 --scheme: ultra_honk (mem: 255.88 MiB)
16:30:20 --bytecode_path: /tmp/9cf78588/bb/tmp-9DNpdY/RootParityArtifact-bytecode (mem: 255.88 MiB)
16:30:20 --witness_path: /tmp/9cf78588/bb/tmp-9DNpdY/partial-witness.gz (mem: 255.88 MiB)
16:30:20 --output_path: /tmp/9cf78588/bb/tmp-9DNpdY (mem: 255.88 MiB)
16:30:20 Warning: the following option is called more than once (mem: 255.88 MiB)
16:30:20 --verbose: true (mem: 255.88 MiB)
16:30:20 --oracle_hash: poseidon2 (mem: 255.88 MiB)
16:30:20 --output_format: bytes_and_fields (mem: 255.88 MiB)
16:30:20 --write_vk: true (mem: 255.88 MiB)
16:30:20 --disable_zk: true (mem: 255.88 MiB)
16:30:20 --init_kzg_accumulator: true (mem: 255.88 MiB)
16:30:20 [16:30:20.500]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.88 MiB)
16:30:22 [16:30:22.548]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 420.30 MiB)
16:30:25 [16:30:25.133]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 786.77 MiB)
16:30:27 [16:30:27.580]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1051.20 MiB)
16:30:30 [16:30:30.273]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1425.79 MiB)
16:30:30 [16:30:30.274]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1425.79 MiB)
16:30:31 [16:30:31.722]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1875.86 MiB)
16:30:32 [16:30:32.221]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5524.86 MiB)
16:30:34 [16:30:34.864]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4588 ms. (mem: 6071.86 MiB)
16:30:35 [16:30:34.999]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance.
16:30:35 [16:30:35.061]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6071.86 MiB)
16:30:35 [16:30:35.415]
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.98 MiB)
16:30:36 [16:30:36.730]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329
16:30:36 [16:30:36.731]
INFO:
bb-prover RootParityArtifact BB out - (mem:
16:30:36 [16:30:36.731]
INFO:
bb-prover RootParityArtifact BB out - 7336.98
16:30:36 [16:30:36.732]
INFO:
bb-prover RootParityArtifact BB out - MiB)
16:30:36 [16:30:36.732]
INFO:
bb-prover RootParityArtifact BB out -
16:30:44 [16:30:44.724]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7336.98 MiB)
16:30:49 [16:30:49.857]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7336.98 MiB)
16:30:52 [16:30:52.510]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8964.70 MiB)
16:30:55 [16:30:55.060]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8965.70 MiB)
16:31:02 [16:31:02.195]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8965.70 MiB)
16:31:03 [16:31:03.925]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8965.70 MiB)
16:31:03 [16:31:03.947]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8965.70 MiB)
16:31:04 [16:31:04.984]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/9cf78588/bb/tmp-9DNpdY/public_inputs" (mem: 8965.70 MiB)
16:31:04 Public inputs fields saved to "/tmp/9cf78588/bb/tmp-9DNpdY/public_inputs_fields.json" (mem: 8965.70 MiB)
16:31:04 Proof saved to "/tmp/9cf78588/bb/tmp-9DNpdY/proof" (mem: 8965.70 MiB)
16:31:04 Proof fields saved to "/tmp/9cf78588/bb/tmp-9DNpdY/proof_fields.json" (mem: 8965.70 MiB)
16:31:04 VK saved to "/tmp/9cf78588/bb/tmp-9DNpdY/vk" (mem: 8965.70 MiB)
16:31:04 VK fields saved to "/tmp/9cf78588/bb/tmp-9DNpdY/vk_fields.json" (mem: 8965.70 MiB)
16:31:05 [16:31:05.246]
INFO:
bb-prover Generated proof for RootParityArtifact in 44976 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":44975.537392,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:31:05 [16:31:05.250]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:31:05 [16:31:05.251]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9cf78588/bb/tmp-Mf8XdO/proof -k /tmp/9cf78588/bb/tmp-Mf8XdO/vk -i /tmp/9cf78588/bb/tmp-Mf8XdO/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:31:05 [16:31:05.282]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.89 MiB)
16:31:05 Scheme is: ultra_honk, num threads: 128 (mem: 255.89 MiB)
16:31:05 --public_inputs_path: /tmp/9cf78588/bb/tmp-Mf8XdO/public_inputs (mem: 255.89 MiB)
16:31:05 --proof_path: /tmp/9cf78588/bb/tmp-Mf8XdO/proof (mem: 255.89 MiB)
16:31:05 --vk_path: /tmp/9cf78588/bb/tmp-Mf8XdO/vk (mem: 255.89 MiB)
16:31:05 --verbose: true (mem:
16:31:05 [16:31:05.283]
VERBOSE:
bb-prover bb-prover (verify) BB out - 255.89 MiB)
16:31:05 --scheme: ultra_honk (mem: 255.89 MiB)
16:31:05 --oracle_hash: poseidon2 (mem: 255.89 MiB)
16:31:05 --disable_zk: true (mem: 255.89 MiB)
16:31:05 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.89 MiB)
16:31:05 [16:31:05.303]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 255.89 MiB)
16:31:05 Initialized BN254 CRS from memory with num points = 1025 (mem: 255.89 MiB)
16:31:05 sumcheck_verified: 1 (mem: 255.89 MiB)
16:31:05 libra_evals_verified: 1 (mem: 255.89 MiB)
16:31:05 pairing_check_verified: 1 (mem: 255.89 MiB)
16:31:05 Proof verified successfully (mem: 255.89 MiB)
16:31:05 verified: 1 (mem: 255.89 MiB)
16:31:05 [16:31:05.310]
INFO:
bb-prover Successfully verified proof from key in 59.64297199999419 ms
16:31:05 [16:31:05.314]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:31:05 [16:31:05.314]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9cf78588/bb/tmp-YwOmTT/proof -k /tmp/9cf78588/bb/tmp-YwOmTT/vk -i /tmp/9cf78588/bb/tmp-YwOmTT/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:31:05 [16:31:05.348]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.89 MiB)
16:31:05 Scheme is: ultra_honk, num threads: 128 (mem: 255.89 MiB)
16:31:05 --public_inputs_path: /tmp/9cf78588/bb/tmp-YwOmTT/public_inputs (mem: 255.89 MiB)
16:31:05 --proof_path: /tmp/9cf78588/bb/tmp-YwOmTT/proof (mem: 255.89 MiB)
16:31:05 --vk_path: /tmp/9cf78588/bb/tmp-YwOmTT/vk (mem: 255.89 MiB)
16:31:05 --verbose: true (mem: 255.89 MiB)
16:31:05 --scheme: ultra_honk (mem: 255.89 MiB)
16:31:05 --oracle_hash: poseidon2 (mem: 255.89 MiB)
16:31:05 --disable_zk: true (mem: 255.89 MiB)
16:31:05 [16:31:05.349]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.89 MiB)
16:31:05 [16:31:05.362]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 255.89 MiB)
16:31:05 [16:31:05.363]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 255.89 MiB)
16:31:05 [16:31:05.364]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 255.89 MiB)
16:31:05 libra_evals_verified: 1 (mem: 255.89 MiB)
16:31:05 pairing_check_verified: 1 (mem: 255.89 MiB)
16:31:05 Proof verified successfully (mem: 255.89 MiB)
16:31:05 verified: 1 (mem: 255.89 MiB)
16:31:05 [16:31:05.365]
INFO:
bb-prover Successfully verified proof from key in 51.52861000000121 ms
16:31:05 [16:31:05.466]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
16:31:05
16:31:05 [16:31:05.466]
ERROR:
bb-prover Error running operation at /tmp/9cf78588/bb/tmp-jwN9zT: Error: Failed to generate witness: Failed assertion
16:31:05
16:31:05 [16:31:05.739]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":90.19240600000194,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
16:31:05 [16:31:05.743]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
16:31:05 [16:31:05.744]
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/9cf78588/bb/tmp-UIYqOP -b /tmp/9cf78588/bb/tmp-UIYqOP/RootParityArtifact-bytecode -w /tmp/9cf78588/bb/tmp-UIYqOP/partial-witness.gz -v --init_kzg_accumulator -v
16:31:05 [16:31:05.787]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.25 MiB)
16:31:05 Scheme is: ultra_honk, num threads: 128 (mem: 255.25 MiB)
16:31:05 --scheme: ultra_honk (mem: 255.25 MiB)
16:31:05 --bytecode_path: /tmp/9cf78588/bb/tmp-UIYqOP/RootParityArtifact-bytecode (mem: 255.25 MiB)
16:31:05 --witness_path: /tmp/9cf78588/bb/tmp-UIYqOP/partial-witness.gz (mem: 255.25 MiB)
16:31:05 --output_path: /tmp/9cf78588/bb/tmp-UIYqOP (mem: 255.25 MiB)
16:31:05 Warning: the following option is called more than once (mem: 255.25 MiB)
16:31:05 --verbose: true (mem: 255.25 MiB)
16:31:05 --oracle_hash: poseidon2 (mem: 255.25 MiB)
16:31:05 --output_format: bytes_and_fields (mem: 255.25 MiB)
16:31:05 --write_vk: true (mem: 255.25 MiB)
16:31:05 --disable_zk: true (mem: 255.25 MiB)
16:31:05 --init_kzg_accumulator: true (mem: 255.25 MiB)
16:31:06 [16:31:05.993]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.25 MiB)
16:31:06 [16:31:06.014]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 255.25 MiB)
16:31:08 [16:31:08.178]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 415.14 MiB)
16:31:11 [16:31:11.078]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 766.72 MiB)
16:31:13 [16:31:13.688]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1032.30 MiB)
16:31:16 [16:31:16.370]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1406.16 MiB)
16:31:16 [16:31:16.371]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1406.16 MiB)
16:31:17 [16:31:17.614]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1857.57 MiB)
16:31:17 [16:31:17.990]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5525.57 MiB)
16:31:19 [16:31:19.891]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3519 ms. (mem: 6070.57 MiB)
16:31:20 [16:31:20.046]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6070.57 MiB)
16:31:20 [16:31:20.283]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6554.96 MiB)
16:31:21 [16:31:21.452]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7328.96 MiB)
16:31:27 [16:31:27.328]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7328.96 MiB)
16:31:32 [16:31:32.181]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7328.96 MiB)
16:31:34 [16:31:34.788]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8972.54 MiB)
16:31:36 [16:31:36.693]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8972.54 MiB)
16:31:42 [16:31:42.738]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8972.54 MiB)
16:31:44 [16:31:44.110]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8972.54 MiB)
16:31:44 [16:31:44.126]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8972.54 MiB)
16:31:44 [16:31:44.999]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/9cf78588/bb/tmp-UIYqOP/public_inputs" (mem: 8972.54 MiB)
16:31:44 Public inputs fields saved to "/tmp/9cf78588/bb/tmp-UIYqOP/public_inputs_fields.json" (mem: 8972.54 MiB)
16:31:44 Proof saved to "/tmp/9cf78588/bb/tmp-UIYqOP/proof" (mem: 8972.54 MiB)
16:31:44 [16:31:45.000]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/9cf78588/bb/tmp-UIYqOP/proof_fields.json" (mem: 8972.54 MiB)
16:31:44 VK saved to "/tmp/9cf78588/bb/tmp-UIYqOP/vk" (mem: 8972.54 MiB)
16:31:44 VK fields saved to "/tmp/9cf78588/bb/tmp-UIYqOP/vk_fields.json" (mem: 8972.54 MiB)
16:31:45 [16:31:45.271]
INFO:
bb-prover Generated proof for RootParityArtifact in 39526 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":39525.290171,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:31:45 [16:31:45.273]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:31:45 [16:31:45.273]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9cf78588/bb/tmp-9Vwtbu/proof -k /tmp/9cf78588/bb/tmp-9Vwtbu/vk -i /tmp/9cf78588/bb/tmp-9Vwtbu/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:31:45 [16:31:45.294]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.89 MiB)
16:31:45 Scheme is: ultra_honk, num threads: 128 (mem: 255.89 MiB)
16:31:45 --public_inputs_path: /tmp/9cf78588/bb/tmp-9Vwtbu/public_inputs (mem: 255.89 MiB)
16:31:45 --proof_path: /tmp/9cf78588/bb/tmp-9Vwtbu/proof (mem: 255.89 MiB)
16:31:45 --vk_path: /tmp/9cf78588/bb/tmp-9Vwtbu/vk (mem: 255.89 MiB)
16:31:45 --verbose: true (mem: 255.89 MiB)
16:31:45 --scheme: ultra_honk (mem: 255.89 MiB)
16:31:45 --oracle_hash: poseidon2 (mem:
16:31:45 [16:31:45.295]
VERBOSE:
bb-prover bb-prover (verify) BB out - 255.89 MiB)
16:31:45 --disable_zk: true (mem: 255.89 MiB)
16:31:45 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.89 MiB)
16:31:45 [16:31:45.304]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 255.89 MiB)
16:31:45 Proof verification failed (mem: 255.89 MiB)
16:31:45 verified: 0 (mem: 255.89 MiB)
16:31:45 [16:31:45.306]
ERROR:
bb-prover Error running operation at /tmp/9cf78588/bb/tmp-9Vwtbu: ProvingError: Failed to verify proof from key!
16:31:45 [16:31:45.440]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":62.29271900000458,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
16:31:45 [16:31:45.441]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
16:31:45 [16:31:45.442]
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/9cf78588/bb/tmp-pelM9D -b /tmp/9cf78588/bb/tmp-pelM9D/RootParityArtifact-bytecode -w /tmp/9cf78588/bb/tmp-pelM9D/partial-witness.gz -v --init_kzg_accumulator -v
16:31:45 [16:31:45.466]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.89 MiB)
16:31:45 Scheme is: ultra_honk, num threads: 128 (mem: 255.89 MiB)
16:31:45 --scheme: ultra_honk (mem: 255.89 MiB)
16:31:45 --bytecode_path: /tmp/9cf78588/bb/tmp-pelM9D/RootParityArtifact-bytecode (mem: 255.89 MiB)
16:31:45 --witness_path: /tmp/9cf78588/bb/tmp-pelM9D/partial-witness.gz (mem: 255.89 MiB)
16:31:45 --output_path: /tmp/9cf78588/bb/tmp-pelM9D (mem: 255.89 MiB)
16:31:45 Warning: the following option is called more than once (mem: 255.89 MiB)
16:31:45 --verbose: true (mem: 255.89 MiB)
16:31:45 --oracle_hash: poseidon2 (mem: 255.89 MiB)
16:31:45 --output_format: bytes_and_fields (mem: 255.89 MiB)
16:31:45 --write_vk: true (mem: 255.89 MiB)
16:31:45 [16:31:45.467]
INFO:
bb-prover RootParityArtifact BB out - --disable_zk: true (mem: 255.89 MiB)
16:31:45 --init_kzg_accumulator: true (mem: 255.89 MiB)
16:31:45 [16:31:45.597]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.89 MiB)
16:31:45 [16:31:45.608]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 255.89 MiB)
16:31:47 [16:31:47.274]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 424.14 MiB)
16:31:48 [16:31:48.860]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 791.19 MiB)
16:31:50 [16:31:50.694]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1057.85 MiB)
16:31:52 [16:31:52.902]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1430.96 MiB)
16:31:52 [16:31:52.904]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1430.96 MiB)
16:31:54 [16:31:54.155]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1882.74 MiB)
16:31:54 [16:31:54.574]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5528.74 MiB)
16:31:56 [16:31:56.042]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3139 ms. (mem: 6079.74 MiB)
16:31:56 [16:31:56.203]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6079.74 MiB)
16:31:56 [16:31:56.312]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6558.01 MiB)
16:31:57 [16:31:57.409]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7332.01 MiB)
16:32:02 [16:32:02.703]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7332.01 MiB)
16:32:07 [16:32:07.165]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7332.01 MiB)
16:32:09 [16:32:09.192]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8974.41 MiB)
16:32:11 [16:32:11.114]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8974.41 MiB)
16:32:16 [16:32:16.795]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8974.41 MiB)
16:32:18 [16:32:18.247]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8974.41 MiB)
16:32:18 [16:32:18.257]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8974.41 MiB)
16:32:19 [16:32:19.357]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/9cf78588/bb/tmp-pelM9D/public_inputs" (mem: 8974.41 MiB)
16:32:19 [16:32:19.358]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/9cf78588/bb/tmp-pelM9D/public_inputs_fields.json" (mem: 8974.41 MiB)
16:32:19 Proof saved to "/tmp/9cf78588/bb/tmp-pelM9D/proof" (mem: 8974.41 MiB)
16:32:19 [16:32:19.359]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/9cf78588/bb/tmp-pelM9D/proof_fields.json" (mem: 8974.41 MiB)
16:32:19 VK saved to "/tmp/9cf78588/bb/tmp-pelM9D/vk" (mem: 8974.41 MiB)
16:32:19 VK fields saved to "/tmp/9cf78588/bb/tmp-pelM9D/vk_fields.json" (mem: 8974.41 MiB)
16:32:19 [16:32:19.651]
INFO:
bb-prover Generated proof for RootParityArtifact in 34207 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34206.42383599999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
16:32:19 [16:32:19.654]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
16:32:19 [16:32:19.654]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/9cf78588/bb/tmp-0eN6kb/proof -k /tmp/9cf78588/bb/tmp-0eN6kb/vk -i /tmp/9cf78588/bb/tmp-0eN6kb/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
16:32:19 [16:32:19.682]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.89 MiB)
16:32:19 [16:32:19.683]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.89 MiB)
16:32:19 --public_inputs_path: /tmp/9cf78588/bb/tmp-0eN6kb/public_inputs (mem: 255.89 MiB)
16:32:19 --proof_path: /tmp/9cf78588/bb/tmp-0eN6kb/proof (mem: 255.89 MiB)
16:32:19 --vk_path: /tmp/9cf78588/bb/tmp-0eN6kb/vk (mem: 255.89 MiB)
16:32:19 --verbose: true (mem: 255.89 MiB)
16:32:19 --scheme: ultra_honk (mem: 255.89 MiB)
16:32:19 --oracle_hash: poseidon2 (mem: 255.89 MiB)
16:32:19 --disable_zk: true (mem: 255.89 MiB)
16:32:19 [16:32:19.683]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.89 MiB)
16:32:19 [16:32:19.692]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 255.89 MiB)
16:32:19 Proof verification failed (mem: 255.89 MiB)
16:32:19 [16:32:19.693]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 255.89 MiB)
16:32:19 [16:32:19.694]
ERROR:
bb-prover Error running operation at /tmp/9cf78588/bb/tmp-0eN6kb: ProvingError: Failed to verify proof from key!
16:32:19 [16:32:19.698]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
16:32:19
PASS src/test/bb_prover_parity.test.ts (
134.84 s)
16:32:19 prover/bb_prover/parity
16:32:19
✓ proves the parity circuits (124971 ms)
16:32:19
16:32:19
Test Suites: 1 passed, 1 total
16:32:19
Tests: 1 passed, 1 total
16:32:19
Snapshots: 0 total
16:32:19
Time: 134.938 s
16:32:19
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
16:32:19
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?