Parent Log:
http://ci.aztec-labs.com/aba6973e27820d9a
Command: ed996b4a4522d156: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/6e2955d0d2cd7db82346ef547a4d19b57116ecb4
Env: REF_NAME=gh-readonly-queue/next/pr-15120-3c1b9d57eadcc8fb03a7ed42610cf0a1ae4a32eb CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 17 22:11:57 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15120_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
22:11:57 +++ id -u
22:11:57 +++ id -g
22:11:57 ++ 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'\'''
22:11:57 + cid=60f3b0e1908389a599dc38d8322bb4043d572cad93b2660bb4ef80251dcb2edc
22:11:57 + set +x
22:11:59 {"level":25,"time":1750198319757,"pid":7,"hostname":"60f3b0e19083","module":"logger","msg":"Logger initialized with level verbose"}
22:12:08 [22:12:08.804]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-0QU4CY/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
22:12:08 [22:12:08.871]
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/c3fe83a6/bb
22:12:08 [22:12:08.873]
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/c3fe83a6/acvm
22:12:08 [22:12:08.874]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/c3fe83a6/bb
22:12:08 [22:12:08.874]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/c3fe83a6/acvm
22:12:08 [22:12:08.880]
INFO:
prover-client:proving-broker Proving Broker started
22:12:08 [22:12:08.882]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
22:12:09 [22:12:09.129]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":76.93551200000002,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
22:12:09 [22:12:09.149]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":71.90185500000007,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
22:12:09 [22:12:09.156]
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/c3fe83a6/bb/tmp-n0eHAO -b /tmp/c3fe83a6/bb/tmp-n0eHAO/BaseParityArtifact-bytecode -w /tmp/c3fe83a6/bb/tmp-n0eHAO/partial-witness.gz -v --init_kzg_accumulator -v
22:12:09 [22:12:09.196]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.31 MiB)
22:12:09 Scheme is: ultra_honk, num threads: 128 (mem: 251.31 MiB)
22:12:09 --scheme: ultra_honk (mem: 251.31 MiB)
22:12:09 --bytecode_path: /tmp/c3fe83a6/bb/tmp-n0eHAO/BaseParityArtifact-bytecode (mem: 251.31 MiB)
22:12:09 --witness_path: /tmp/c3fe83a6/bb/tmp-n0eHAO/partial-witness.gz (mem: 251.31 MiB)
22:12:09 --output_path: /tmp/c3fe83a6/bb/tmp-n0eHAO (mem: 251.31 MiB)
22:12:09 Warning: the following option is called more than once (mem: 251.31 MiB)
22:12:09 --verbose: true (mem: 251.31 MiB)
22:12:09 --oracle_hash: poseidon2 (mem: 251.31 MiB)
22:12:09 --output_format: bytes_and_fields (mem: 251.31 MiB)
22:12:09 --write_vk: true (mem: 251.31 MiB)
22:12:09 --disable_zk: true (mem: 251.31 MiB)
22:12:09 --init_kzg_accumulator: true (mem: 251.31 MiB)
22:12:09 [22:12:09.206]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":60.77398399999947,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
22:12:09 [22:12:09.209]
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/c3fe83a6/bb/tmp-1MQzpj -b /tmp/c3fe83a6/bb/tmp-1MQzpj/BaseParityArtifact-bytecode -w /tmp/c3fe83a6/bb/tmp-1MQzpj/partial-witness.gz -v --init_kzg_accumulator -v
22:12:09 [22:12:09.242]
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/c3fe83a6/bb/tmp-Y9Bp4h -b /tmp/c3fe83a6/bb/tmp-Y9Bp4h/BaseParityArtifact-bytecode -w /tmp/c3fe83a6/bb/tmp-Y9Bp4h/partial-witness.gz -v --init_kzg_accumulator -v
22:12:09 [22:12:09.295]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":88.22876700000052,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
22:12:09 [22:12:09.296]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.36 MiB)
22:12:09 Scheme is: ultra_honk, num threads: 128 (mem: 251.36 MiB)
22:12:09 --scheme: ultra_honk (mem: 251.36 MiB)
22:12:09 --bytecode_path: /tmp/c3fe83a6/bb/tmp-1MQzpj/BaseParityArtifact-bytecode (mem: 251.36 MiB)
22:12:09 --witness_path: /tmp/c3fe83a6/bb/tmp-1MQzpj/partial-witness.gz (mem: 251.36 MiB)
22:12:09 --output_path: /tmp/c3fe83a6/bb/tmp-1MQzpj (mem: 251.36 MiB)
22:12:09 Warning: the following option is called more than once (mem: 251.36 MiB)
22:12:09 --verbose: true (mem: 251.36 MiB)
22:12:09 --oracle_hash: poseidon2 (mem: 251.36 MiB)
22:12:09 --output_format: bytes_and_fields (mem: 251.36 MiB)
22:12:09 --write_vk: true (mem: 251.36 MiB)
22:12:09 --disable_zk: true (mem: 251.36 MiB)
22:12:09 --init_kzg_accumulator: true (mem: 251.36 MiB)
22:12:09 [22:12:09.297]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.37 MiB)
22:12:09 Scheme is: ultra_honk, num threads: 128 (mem: 251.37 MiB)
22:12:09 --scheme: ultra_honk (mem: 251.37 MiB)
22:12:09 --bytecode_path: /tmp/c3fe83a6/bb/tmp-Y9Bp4h/BaseParityArtifact-bytecode (mem: 251.37 MiB)
22:12:09 --witness_path: /tmp/c3fe83a6/bb/tmp-Y9Bp4h/partial-witness.gz (mem: 251.37 MiB)
22:12:09 --output_path: /tmp/c3fe83a6/bb/tmp-Y9Bp4h (mem: 251.37 MiB)
22:12:09 Warning: the following option is called more than once (mem: 251.37 MiB)
22:12:09 --verbose: true (mem: 251.37 MiB)
22:12:09 --oracle_hash: poseidon2 (mem: 251.37 MiB)
22:12:09 --output_format: bytes_and_fields (mem: 251.37 MiB)
22:12:09 --write_vk: true (mem: 251.37 MiB)
22:12:09 --disable_zk: true (mem: 251.37 MiB)
22:12:09 --init_kzg_accumulator: true (mem: 251.37 MiB)
22:12:09 [22:12:09.299]
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/c3fe83a6/bb/tmp-PJPcJD -b /tmp/c3fe83a6/bb/tmp-PJPcJD/BaseParityArtifact-bytecode -w /tmp/c3fe83a6/bb/tmp-PJPcJD/partial-witness.gz -v --init_kzg_accumulator -v
22:12:09 [22:12:09.329]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.41 MiB)
22:12:09 Scheme is: ultra_honk, num threads: 128 (mem: 251.41 MiB)
22:12:09 --scheme: ultra_honk (mem: 251.41 MiB)
22:12:09 --bytecode_path: /tmp/c3fe83a6/bb/tmp-PJPcJD/BaseParityArtifact-bytecode (mem: 251.41 MiB)
22:12:09 --witness_path: /tmp/c3fe83a6/bb/tmp-PJPcJD/partial-witness.gz (mem: 251.41 MiB)
22:12:09 --output_path: /tmp/c3fe83a6/bb/tmp-PJPcJD (mem: 251.41 MiB)
22:12:09 Warning: the following option is called more than once (mem: 251.41 MiB)
22:12:09 --verbose: true (mem: 251.41 MiB)
22:12:09 --oracle_hash: poseidon2 (mem: 251.41 MiB)
22:12:09 --output_format: bytes_and_fields (mem: 251.41 MiB)
22:12:09 --write_vk: true (mem: 251.41 MiB)
22:12:09 --disable_zk: true (mem: 251.41 MiB)
22:12:09 --init_kzg_accumulator: true (mem: 251.41 MiB)
22:12:09 [22:12:09.365]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.31 MiB)
22:12:09 [22:12:09.368]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.31 MiB)
22:12:09 [22:12:09.370]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.31 MiB)
22:12:09 [22:12:09.402]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.36 MiB)
22:12:09 Constructing DeciderProvingKey (mem: 251.36 MiB)
22:12:09 [22:12:09.404]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
22:12:09 [22:12:09.405]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
22:12:09 [22:12:09.405]
INFO:
bb-prover BaseParityArtifact BB out - 251.36
22:12:09 [22:12:09.406]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
22:12:09 [22:12:09.406]
INFO:
bb-prover BaseParityArtifact BB out -
22:12:09 [22:12:09.516]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.41 MiB)
22:12:09 [22:12:09.517]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.41 MiB)
22:12:09 [22:12:09.520]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.41 MiB)
22:12:09 [22:12:09.522]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.31 MiB)
22:12:09 [22:12:09.560]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.37 MiB)
22:12:09 Constructing DeciderProvingKey (mem: 251.37 MiB)
22:12:09 [22:12:09.565]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.36 MiB)
22:12:09 [22:12:09.569]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.37 MiB)
22:12:09 [22:12:09.577]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 211 ms. (mem: 251.31 MiB)
22:12:09 [22:12:09.583]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.31 MiB)
22:12:09 [22:12:09.595]
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.31 MiB)
22:12:09 [22:12:09.615]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.31 MiB)
22:12:09 [22:12:09.644]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 244 ms. (mem: 251.36 MiB)
22:12:09 [22:12:09.657]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.36 MiB)
22:12:09 [22:12:09.668]
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.36 MiB)
22:12:09 [22:12:09.690]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.36 MiB)
22:12:09 [22:12:09.757]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.41 MiB)
22:12:09 [22:12:09.840]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.37 MiB)
22:12:09 [22:12:09.856]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 337 ms. (mem: 251.41 MiB)
22:12:09 [22:12:09.867]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.41 MiB)
22:12:09 [22:12:09.872]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.41 MiB)
22:12:09 [22:12:09.895]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.41 MiB)
22:12:09 [22:12:09.911]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 355 ms. (mem: 251.37 MiB)
22:12:09 [22:12:09.917]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.37 MiB)
22:12:09 [22:12:09.922]
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)
22:12:09 [22:12:09.946]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.37 MiB)
22:12:10 [22:12:10.304]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.31 MiB)
22:12:10 [22:12:10.750]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.37 MiB)
22:12:10 [22:12:10.760]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.36 MiB)
22:12:10 [22:12:10.762]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.41 MiB)
22:12:10 [22:12:10.938]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.31 MiB)
22:12:11 [22:12:11.172]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.37 MiB)
22:12:11 [22:12:11.233]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.36 MiB)
22:12:11 [22:12:11.243]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.41 MiB)
22:12:11 [22:12:11.328]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 257.53 MiB)
22:12:11 [22:12:11.374]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 255.00 MiB)
22:12:11 [22:12:11.458]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 253.95 MiB)
22:12:11 [22:12:11.525]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 258.53 MiB)
22:12:11 [22:12:11.551]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 256.75 MiB)
22:12:11 [22:12:11.573]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 255.00 MiB)
22:12:11 [22:12:11.656]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck
22:12:11 [22:12:11.680]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 253.95 MiB)
22:12:11 [22:12:11.698]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 256.75 MiB)
22:12:12 [22:12:12.747]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 258.53 MiB)
22:12:12 [22:12:12.773]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 255.00 MiB)
22:12:12 [22:12:12.807]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 258.53 MiB)
22:12:12 [22:12:12.825]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 258.53 MiB)
22:12:12 Public inputs saved to "/tmp/c3fe83a6/bb/tmp-n0eHAO/public_inputs" (mem: 258.53 MiB)
22:12:12 Public inputs fields saved to "/tmp/c3fe83a6/bb/tmp-n0eHAO/public_inputs_fields.json" (mem: 258.53 MiB)
22:12:12 Proof saved to "/tmp/c3fe83a6/bb/tmp-n0eHAO/proof" (mem: 258.53 MiB)
22:12:12 Proof fields saved to "/tmp/c3fe83a6/bb/tmp-n0eHAO/proof_fields.json" (mem: 258.53 MiB)
22:12:12 VK saved to "/tmp/c3fe83a6/bb/tmp-n0eHAO/vk" (mem: 258.53 MiB)
22:12:12 VK fields saved to "/tmp/c3fe83a6/bb/tmp-n0eHAO/vk_fields.json" (mem: 258.53 MiB)
22:12:12 [22:12:12.852]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 255.00 MiB)
22:12:12 finished decider proving. (mem: 255.00 MiB)
22:12:12 [22:12:12.861]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/c3fe83a6/bb/tmp-Y9Bp4h/public_inputs" (mem: 255.00 MiB)
22:12:12 Public inputs fields saved to "/tmp/c3fe83a6/bb/tmp-Y9Bp4h/public_inputs_fields.json" (mem: 255.00 MiB)
22:12:12 Proof saved to "/tmp/c3fe83a6/bb/tmp-Y9Bp4h/proof" (mem: 255.00 MiB)
22:12:12 Proof fields saved to "/tmp/c3fe83a6/bb/tmp-Y9Bp4h/proof_fields.json" (mem: 255.00 MiB)
22:12:12 VK saved to "/tmp/c3fe83a6/bb/tmp-Y9Bp4h/vk" (mem: 255.00 MiB)
22:12:12 VK fields saved to "/tmp/c3fe83a6/bb/tmp-Y9Bp4h/vk_fields.json" (mem: 255.00 MiB)
22:12:12 [22:12:12.904]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3728 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3727.935449999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
22:12:12 [22:12:12.920]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c3fe83a6/bb/tmp-ueV2NQ/proof -k /tmp/c3fe83a6/bb/tmp-ueV2NQ/vk -i /tmp/c3fe83a6/bb/tmp-ueV2NQ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
22:12:12 [22:12:12.947]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3702 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3701.606516,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
22:12:12 [22:12:12.949]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.42 MiB)
22:12:12 [22:12:12.950]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.42 MiB)
22:12:12 --public_inputs_path: /tmp/c3fe83a6/bb/tmp-ueV2NQ/public_inputs (mem: 251.42 MiB)
22:12:12 --proof_path: /tmp/c3fe83a6/bb/tmp-ueV2NQ/proof (mem: 251.42 MiB)
22:12:12 --vk_path: /tmp/c3fe83a6/bb/tmp-ueV2NQ/vk (mem: 251.42 MiB)
22:12:12 --verbose: true (mem: 251.42 MiB)
22:12:12 --scheme: ultra_honk (mem: 251.42 MiB)
22:12:12 --oracle_hash: poseidon2 (mem: 251.42 MiB)
22:12:12 --disable_zk: true (mem: 251.42 MiB)
22:12:12 [22:12:12.951]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.42 MiB)
22:12:12 [22:12:12.952]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c3fe83a6/bb/tmp-cE9r9A/proof -k /tmp/c3fe83a6/bb/tmp-cE9r9A/vk -i /tmp/c3fe83a6/bb/tmp-cE9r9A/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
22:12:12 [22:12:12.989]
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.42 MiB)
22:12:12 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.42 MiB)
22:12:12 sumcheck_verified: 1 (mem: 251.42 MiB)
22:12:12 libra_evals_verified: 1 (mem: 251.42 MiB)
22:12:12 pairing_check_verified: 1 (mem: 251.42 MiB)
22:12:12 Proof verified successfully (mem: 251.42 MiB)
22:12:12 verified: 1 (mem: 251.42 MiB)
22:12:12 [22:12:12.990]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.95 MiB)
22:12:12 [22:12:12.990]
INFO:
bb-prover Successfully verified proof from key in 70.45416800000021 ms
22:12:13 [22:12:13.001]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.77 MiB)
22:12:13 Scheme is: ultra_honk, num threads: 128 (mem: 250.77 MiB)
22:12:13 [22:12:13.004]
VERBOSE:
bb-prover bb-prover (verify) BB out - --public_inputs_path: /tmp/c3fe83a6/bb/tmp-cE9r9A/public_inputs
22:12:13 [22:12:13.006]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.77 MiB)
22:12:13 --proof_path: /tmp/c3fe83a6/bb/tmp-cE9r9A/proof (mem: 250.77 MiB)
22:12:13 --vk_path: /tmp/c3fe83a6/bb/tmp-cE9r9A/vk (mem: 250.77 MiB)
22:12:13 --verbose: true (mem: 250.77 MiB)
22:12:13 --scheme: ultra_honk (mem: 250.77 MiB)
22:12:13 --oracle_hash: poseidon2 (mem: 250.77 MiB)
22:12:13 --disable_zk: true (mem: 250.77 MiB)
22:12:13 [22:12:13.008]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.77 MiB)
22:12:13 [22:12:13.020]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.95 MiB)
22:12:13 [22:12:13.023]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 253.95 MiB)
22:12:13 [22:12:13.026]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/c3fe83a6/bb/tmp-1MQzpj/public_inputs" (mem: 253.95 MiB)
22:12:13 [22:12:13.026]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/c3fe83a6/bb/tmp-1MQzpj/public_inputs_fields.json" (mem: 253.95 MiB)
22:12:13 Proof saved to "/tmp/c3fe83a6/bb/tmp-1MQzpj/proof" (mem: 253.95 MiB)
22:12:13 [22:12:13.027]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/c3fe83a6/bb/tmp-1MQzpj/proof_fields.json" (mem: 253.95 MiB)
22:12:13 VK saved to "/tmp/c3fe83a6/bb/tmp-1MQzpj/vk" (mem: 253.95 MiB)
22:12:13 VK fields saved to "/tmp/c3fe83a6/bb/tmp-1MQzpj/vk_fields.json" (mem: 253.95 MiB)
22:12:13 [22:12:13.028]
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"
22:12:13 [22:12:13.029]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.77 MiB)
22:12:13 [22:12:13.029]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 250.77 MiB)
22:12:13 [22:12:13.031]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.77 MiB)
22:12:13 libra_evals_verified: 1 (mem: 250.77 MiB)
22:12:13 pairing_check_verified: 1 (mem: 250.77 MiB)
22:12:13 Proof verified successfully (mem: 250.77 MiB)
22:12:13 verified: 1 (mem: 250.77 MiB)
22:12:13 [22:12:13.035]
INFO:
bb-prover Successfully verified proof from key in 82.09826299999986 ms
22:12:13 [22:12:13.076]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3862 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3861.709587000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
22:12:13 [22:12:13.092]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 256.75 MiB)
22:12:13 [22:12:13.093]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c3fe83a6/bb/tmp-onM7yv/proof -k /tmp/c3fe83a6/bb/tmp-onM7yv/vk -i /tmp/c3fe83a6/bb/tmp-onM7yv/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
22:12:13 [22:12:13.130]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.57 MiB)
22:12:13 Scheme is: ultra_honk, num threads: 128 (mem: 251.57 MiB)
22:12:13 --public_inputs_path: /tmp/c3fe83a6/bb/tmp-onM7yv/public_inputs (mem: 251.57 MiB)
22:12:13 --proof_path: /tmp/c3fe83a6/bb/tmp-onM7yv/proof (mem: 251.57 MiB)
22:12:13 --vk_path: /tmp/c3fe83a6/bb/tmp-onM7yv/vk (mem: 251.57 MiB)
22:12:13 --verbose: true (mem: 251.57 MiB)
22:12:13 --scheme: ultra_honk (mem: 251.57 MiB)
22:12:13 --oracle_hash: poseidon2 (mem: 251.57 MiB)
22:12:13 --disable_zk: true (mem: 251.57 MiB)
22:12:13 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.57 MiB)
22:12:13 [22:12:13.152]
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"
22:12:13 [22:12:13.153]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.57 MiB)
22:12:13 [22:12:13.154]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.57 MiB)
22:12:13 [22:12:13.155]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem:
22:12:13 [22:12:13.156]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.57 MiB)
22:12:13 libra_evals_verified: 1 (mem: 251.57 MiB)
22:12:13 pairing_check_verified: 1 (mem: 251.57 MiB)
22:12:13 Proof verified successfully (mem: 251.57 MiB)
22:12:13 verified: 1 (mem: 251.57 MiB)
22:12:13 [22:12:13.157]
INFO:
bb-prover Successfully verified proof from key in 63.795900000000984 ms
22:12:13 [22:12:13.160]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 256.75 MiB)
22:12:13 [22:12:13.162]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 256.75 MiB)
22:12:13 [22:12:13.164]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/c3fe83a6/bb/tmp-PJPcJD/public_inputs" (mem: 256.75 MiB)
22:12:13 Public inputs fields saved to "/tmp/c3fe83a6/bb/tmp-PJPcJD/public_inputs_fields.json" (mem: 256.75 MiB)
22:12:13 [22:12:13.165]
INFO:
bb-prover BaseParityArtifact BB out - Proof saved to "/tmp/c3fe83a6/bb/tmp-PJPcJD/proof" (mem: 256.75 MiB)
22:12:13 Proof fields saved to "/tmp/c3fe83a6/bb/tmp-PJPcJD/proof_fields.json" (mem: 256.75 MiB)
22:12:13 VK saved to "/tmp/c3fe83a6/bb/tmp-PJPcJD/vk" (mem: 256.75 MiB)
22:12:13 [22:12:13.166]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/c3fe83a6/bb/tmp-PJPcJD/vk_fields.json" (mem: 256.75 MiB)
22:12:13 [22:12:13.206]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3905 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3904.060515000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
22:12:13 [22:12:13.209]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c3fe83a6/bb/tmp-ExDhtC/proof -k /tmp/c3fe83a6/bb/tmp-ExDhtC/vk -i /tmp/c3fe83a6/bb/tmp-ExDhtC/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
22:12:13 [22:12:13.239]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.60 MiB)
22:12:13 [22:12:13.240]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.60 MiB)
22:12:13 --public_inputs_path: /tmp/c3fe83a6/bb/tmp-ExDhtC/public_inputs (mem: 251.60 MiB)
22:12:13 --proof_path: /tmp/c3fe83a6/bb/tmp-ExDhtC/proof (mem: 251.60 MiB)
22:12:13 --vk_path: /tmp/c3fe83a6/bb/tmp-ExDhtC/vk (mem: 251.60 MiB)
22:12:13 --verbose: true (mem: 251.60 MiB)
22:12:13 --scheme: ultra_honk (mem: 251.60 MiB)
22:12:13 --oracle_hash: poseidon2 (mem: 251.60 MiB)
22:12:13 --disable_zk: true (mem: 251.60 MiB)
22:12:13 [22:12:13.241]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.60 MiB)
22:12:13 [22:12:13.256]
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.60 MiB)
22:12:13 [22:12:13.256]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.60 MiB)
22:12:13 [22:12:13.257]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.60 MiB)
22:12:13 [22:12:13.258]
VERBOSE:
bb-prover bb-prover (verify) BB out - libra_evals_verified: 1 (mem: 251.60 MiB)
22:12:13 pairing_check_verified: 1 (mem: 251.60 MiB)
22:12:13 Proof verified successfully (mem: 251.60 MiB)
22:12:13 verified: 1 (mem: 251.60 MiB)
22:12:13 [22:12:13.259]
INFO:
bb-prover Successfully verified proof from key in 50.714969999999084 ms
22:12:13 [22:12:13.267]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c3fe83a6/bb/tmp-yd1fPw/proof -k /tmp/c3fe83a6/bb/tmp-yd1fPw/vk -i /tmp/c3fe83a6/bb/tmp-yd1fPw/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
22:12:13 [22:12:13.295]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c3fe83a6/bb/tmp-M8Bpg0/proof -k /tmp/c3fe83a6/bb/tmp-M8Bpg0/vk -i /tmp/c3fe83a6/bb/tmp-M8Bpg0/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
22:12:13 [22:12:13.321]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c3fe83a6/bb/tmp-t721W7/proof -k /tmp/c3fe83a6/bb/tmp-t721W7/vk -i /tmp/c3fe83a6/bb/tmp-t721W7/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
22:12:13 [22:12:13.348]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c3fe83a6/bb/tmp-0ISCwj/proof -k /tmp/c3fe83a6/bb/tmp-0ISCwj/vk -i /tmp/c3fe83a6/bb/tmp-0ISCwj/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
22:12:13 [22:12:13.372]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.65 MiB)
22:12:13 Scheme is: ultra_honk, num threads: 128 (mem: 251.65 MiB)
22:12:13 --public_inputs_path: /tmp/c3fe83a6/bb/tmp-yd1fPw/public_inputs (mem: 251.65 MiB)
22:12:13 --proof_path: /tmp/c3fe83a6/bb/tmp-yd1fPw/proof (mem: 251.65 MiB)
22:12:13 --vk_path: /tmp/c3fe83a6/bb/tmp-yd1fPw/vk (mem: 251.65 MiB)
22:12:13 --verbose: true (mem: 251.65 MiB)
22:12:13 --scheme: ultra_honk (mem: 251.65 MiB)
22:12:13 --oracle_hash: poseidon2 (mem: 251.65 MiB)
22:12:13 --disable_zk: true (mem: 251.65 MiB)
22:12:13 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.65 MiB)
22:12:13 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.65 MiB)
22:12:13 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.65 MiB)
22:12:13 sumcheck_verified: 1 (mem: 251.65 MiB)
22:12:13 libra_evals_verified: 1 (mem: 251.65 MiB)
22:12:13 pairing_check_verified: 1 (mem: 251.65 MiB)
22:12:13 Proof verified successfully (mem: 251.65 MiB)
22:12:13 verified: 1 (mem: 251.65 MiB)
22:12:13 [22:12:13.373]
INFO:
bb-prover Successfully verified proof from key in 106.39165599999978 ms
22:12:13 [22:12:13.382]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.65 MiB)
22:12:13 Scheme is: ultra_honk, num threads: 128 (mem: 251.65 MiB)
22:12:13 --public_inputs_path: /tmp/c3fe83a6/bb/tmp-M8Bpg0/public_inputs (mem: 251.65 MiB)
22:12:13 --proof_path: /tmp/c3fe83a6/bb/tmp-M8Bpg0/proof (mem: 251.65 MiB)
22:12:13 --vk_path: /tmp/c3fe83a6/bb/tmp-M8Bpg0/vk (mem: 251.65 MiB)
22:12:13 --verbose: true (mem: 251.65 MiB)
22:12:13 --scheme: ultra_honk (mem: 251.65 MiB)
22:12:13 --oracle_hash: poseidon2 (mem: 251.65 MiB)
22:12:13 --disable_zk: true (mem: 251.65 MiB)
22:12:13 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.65 MiB)
22:12:13 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.65 MiB)
22:12:13 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.65 MiB)
22:12:13 sumcheck_verified: 1 (mem: 251.65 MiB)
22:12:13 libra_evals_verified: 1 (mem: 251.65 MiB)
22:12:13 pairing_check_verified: 1 (mem: 251.65 MiB)
22:12:13 Proof verified successfully (mem: 251.65 MiB)
22:12:13 verified: 1 (mem: 251.65 MiB)
22:12:13 [22:12:13.383]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.65 MiB)
22:12:13 Scheme is: ultra_honk, num threads: 128 (mem: 251.65 MiB)
22:12:13 --public_inputs_path: /tmp/c3fe83a6/bb/tmp-t721W7/public_inputs (mem: 251.65 MiB)
22:12:13 --proof_path: /tmp/c3fe83a6/bb/tmp-t721W7/proof (mem: 251.65 MiB)
22:12:13 --vk_path: /tmp/c3fe83a6/bb/tmp-t721W7/vk (mem: 251.65 MiB)
22:12:13 --verbose: true (mem: 251.65 MiB)
22:12:13 --scheme: ultra_honk (mem: 251.65 MiB)
22:12:13 --oracle_hash: poseidon2 (mem: 251.65 MiB)
22:12:13 --disable_zk: true (mem: 251.65 MiB)
22:12:13 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.65 MiB)
22:12:13 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.65 MiB)
22:12:13 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.65 MiB)
22:12:13 sumcheck_verified: 1 (mem: 251.65 MiB)
22:12:13 libra_evals_verified: 1 (mem: 251.65 MiB)
22:12:13 pairing_check_verified: 1 (mem: 251.65 MiB)
22:12:13 Proof verified successfully (mem: 251.65 MiB)
22:12:13 verified: 1 (mem: 251.65 MiB)
22:12:13 [22:12:13.384]
INFO:
bb-prover Successfully verified proof from key in 63.12723299999925 ms
22:12:13 [22:12:13.384]
INFO:
bb-prover Successfully verified proof from key in 89.08085800000117 ms
22:12:13 [22:12:13.386]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.65 MiB)
22:12:13 Scheme is: ultra_honk, num threads: 128 (mem: 251.65 MiB)
22:12:13 --public_inputs_path: /tmp/c3fe83a6/bb/tmp-0ISCwj/public_inputs (mem: 251.65 MiB)
22:12:13 --proof_path: /tmp/c3fe83a6/bb/tmp-0ISCwj/proof (mem: 251.65 MiB)
22:12:13 --vk_path: /tmp/c3fe83a6/bb/tmp-0ISCwj/vk (mem: 251.65 MiB)
22:12:13 --verbose: true (mem: 251.65 MiB)
22:12:13 --scheme: ultra_honk (mem: 251.65 MiB)
22:12:13 --oracle_hash: poseidon2 (mem: 251.65 MiB)
22:12:13 --disable_zk: true (mem: 251.65 MiB)
22:12:13 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.65 MiB)
22:12:13 [22:12:13.395]
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.65 MiB)
22:12:13 [22:12:13.398]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.65 MiB)
22:12:13 sumcheck_verified: 1 (mem: 251.65 MiB)
22:12:13 libra_evals_verified: 1 (mem: 251.65 MiB)
22:12:13 pairing_check_verified: 1 (mem: 251.65 MiB)
22:12:13 Proof verified successfully (mem: 251.65 MiB)
22:12:13 verified: 1 (mem: 251.65 MiB)
22:12:13 [22:12:13.401]
INFO:
bb-prover Successfully verified proof from key in 52.41474300000118 ms
22:12:13 [22:12:13.602]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":71.92280500000015,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
22:12:13 [22:12:13.604]
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/c3fe83a6/bb/tmp-ssAS77 -b /tmp/c3fe83a6/bb/tmp-ssAS77/RootParityArtifact-bytecode -w /tmp/c3fe83a6/bb/tmp-ssAS77/partial-witness.gz -v --init_kzg_accumulator -v
22:12:13 [22:12:13.644]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.74 MiB)
22:12:13 Scheme is: ultra_honk, num threads: 128 (mem: 253.74 MiB)
22:12:13 --scheme: ultra_honk (mem: 253.74 MiB)
22:12:13 --bytecode_path: /tmp/c3fe83a6/bb/tmp-ssAS77/RootParityArtifact-bytecode (mem: 253.74 MiB)
22:12:13 --witness_path: /tmp/c3fe83a6/bb/tmp-ssAS77/partial-witness.gz (mem: 253.74 MiB)
22:12:13 --output_path: /tmp/c3fe83a6/bb/tmp-ssAS77 (mem: 253.74
22:12:13 [22:12:13.645]
INFO:
bb-prover RootParityArtifact BB out - MiB)
22:12:13 Warning: the following option is called more than once (mem: 253.74 MiB)
22:12:13 --verbose: true (mem: 253.74 MiB)
22:12:13 --oracle_hash: poseidon2 (mem: 253.74 MiB)
22:12:13 --output_format: bytes_and_fields (mem: 253.74 MiB)
22:12:13 --write_vk: true (mem: 253.74 MiB)
22:12:13 --disable_zk: true (mem: 253.74 MiB)
22:12:13 --init_kzg_accumulator: true (mem: 253.74 MiB)
22:12:13 [22:12:13.877]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.74 MiB)
22:12:16 [22:12:16.127]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 409.46 MiB)
22:12:18 [22:12:18.887]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 767.11 MiB)
22:12:21 [22:12:21.409]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1031.31 MiB)
22:12:24 [22:12:24.214]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1399.30 MiB)
22:12:24 Constructing DeciderProvingKey (mem: 1399.30 MiB)
22:12:25 [22:12:25.604]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1850.28 MiB)
22:12:26 [22:12:25.999]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5503.79 MiB)
22:12:28 [22:12:28.101]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3888 ms. (mem: 6073.79 MiB)
22:12:28 [22:12:28.243]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6073.79 MiB)
22:12:28 [22:12:28.396]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6563.59 MiB)
22:12:29 [22:12:29.798]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7331.63 MiB)
22:12:37 [22:12:37.408]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7331.63 MiB)
22:12:42 [22:12:42.069]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7331.63 MiB)
22:12:44 [22:12:44.365]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9140.23 MiB)
22:12:46 [22:12:46.549]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9141.23 MiB)
22:12:52 [22:12:52.267]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9141.23 MiB)
22:12:53 [22:12:53.621]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof
22:12:53 [22:12:53.631]
INFO:
bb-prover RootParityArtifact BB out - (mem: 9141.23 MiB)
22:12:53 [22:12:53.656]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving.
22:12:53 [22:12:53.657]
INFO:
bb-prover RootParityArtifact BB out - (mem: 9141.23 MiB)
22:12:54 [22:12:54.523]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/c3fe83a6/bb/tmp-ssAS77/public_inputs" (mem: 9141.23 MiB)
22:12:54 [22:12:54.524]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/c3fe83a6/bb/tmp-ssAS77/public_inputs_fields.json" (mem: 9141.23 MiB)
22:12:54 Proof saved to "/tmp/c3fe83a6/bb/tmp-ssAS77/proof" (mem: 9141.23 MiB)
22:12:54 [22:12:54.524]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/c3fe83a6/bb/tmp-ssAS77/proof_fields.json" (mem: 9141.23 MiB)
22:12:54 VK saved to "/tmp/c3fe83a6/bb/tmp-ssAS77/vk" (mem: 9141.23 MiB)
22:12:54 VK fields saved to "/tmp/c3fe83a6/bb/tmp-ssAS77/vk_fields.json" (mem: 9141.23 MiB)
22:12:54 [22:12:54.815]
INFO:
bb-prover Generated proof for RootParityArtifact in 41208 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":41207.790093,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
22:12:54 [22:12:54.819]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c3fe83a6/bb/tmp-OHQDlP/proof -k /tmp/c3fe83a6/bb/tmp-OHQDlP/vk -i /tmp/c3fe83a6/bb/tmp-OHQDlP/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
22:12:54 [22:12:54.844]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.76 MiB)
22:12:54 [22:12:54.845]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.76 MiB)
22:12:54 --public_inputs_path: /tmp/c3fe83a6/bb/tmp-OHQDlP/public_inputs (mem: 253.76 MiB)
22:12:54 --proof_path: /tmp/c3fe83a6/bb/tmp-OHQDlP/proof (mem: 253.76 MiB)
22:12:54 --vk_path: /tmp/c3fe83a6/bb/tmp-OHQDlP/vk (mem: 253.76 MiB)
22:12:54 --verbose: true (mem: 253.76 MiB)
22:12:54 --scheme: ultra_honk (mem: 253.76 MiB)
22:12:54 --oracle_hash: poseidon2 (mem: 253.76 MiB)
22:12:54 --disable_zk: true (mem: 253.76 MiB)
22:12:54 [22:12:54.845]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.76 MiB)
22:12:54 [22:12:54.858]
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.76 MiB)
22:12:54 [22:12:54.859]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.76 MiB)
22:12:54 [22:12:54.859]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.76 MiB)
22:12:54 libra_evals_verified: 1 (mem: 253.76 MiB)
22:12:54 pairing_check_verified: 1 (mem: 253.76 MiB)
22:12:54 [22:12:54.860]
VERBOSE:
bb-prover bb-prover (verify) BB out -
22:12:54 Proof verified successfully (mem: 253.76 MiB)
22:12:54 verified: 1 (mem: 253.76 MiB)
22:12:54 [22:12:54.862]
INFO:
bb-prover Successfully verified proof from key in 43.013606000000436 ms
22:12:54 [22:12:54.864]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c3fe83a6/bb/tmp-F8gtz9/proof -k /tmp/c3fe83a6/bb/tmp-F8gtz9/vk -i /tmp/c3fe83a6/bb/tmp-F8gtz9/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
22:12:54 [22:12:54.889]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.76 MiB)
22:12:54 Scheme is: ultra_honk, num threads: 128 (mem: 253.76 MiB)
22:12:54 --public_inputs_path: /tmp/c3fe83a6/bb/tmp-F8gtz9/public_inputs (mem: 253.76 MiB)
22:12:54 --proof_path: /tmp/c3fe83a6/bb/tmp-F8gtz9/proof (mem: 253.76 MiB)
22:12:54 --vk_path: /tmp/c3fe83a6/bb/tmp-F8gtz9/vk (mem: 253.76 MiB)
22:12:54 --verbose: true (mem: 253.76 MiB)
22:12:54 --scheme: ultra_honk (mem: 253.76 MiB)
22:12:54 --oracle_hash: poseidon2 (mem: 253.76 MiB)
22:12:54 --disable_zk: true (mem: 253.76 MiB)
22:12:54 [22:12:54.890]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.76 MiB)
22:12:54 [22:12:54.907]
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.76 MiB)
22:12:54 [22:12:54.907]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.76 MiB)
22:12:54 [22:12:54.908]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.76 MiB)
22:12:54 libra_evals_verified: 1 (mem: 253.76 MiB)
22:12:54 pairing_check_verified: 1 (mem: 253.76 MiB)
22:12:54 Proof verified successfully (mem: 253.76 MiB)
22:12:54 verified: 1
22:12:54 [22:12:54.910]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 253.76 MiB)
22:12:54 [22:12:54.911]
INFO:
bb-prover Successfully verified proof from key in 46.72533100000146 ms
22:12:55 [22:12:54.998]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
22:12:55
22:12:55 [22:12:54.999]
ERROR:
bb-prover Error running operation at /tmp/c3fe83a6/bb/tmp-5FcLYk: Error: Failed to generate witness: Failed assertion
22:12:55
22:12:55 [22:12:55.269]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":99.61455900000146,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
22:12:55 [22:12:55.274]
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/c3fe83a6/bb/tmp-4YU0fZ -b /tmp/c3fe83a6/bb/tmp-4YU0fZ/RootParityArtifact-bytecode -w /tmp/c3fe83a6/bb/tmp-4YU0fZ/partial-witness.gz -v --init_kzg_accumulator -v
22:12:55 [22:12:55.308]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
22:12:55 [22:12:55.310]
INFO:
bb-prover RootParityArtifact BB out - (mem:
22:12:55 [22:12:55.310]
INFO:
bb-prover RootParityArtifact BB out - 253.76
22:12:55 [22:12:55.310]
INFO:
bb-prover RootParityArtifact BB out - MiB)
22:12:55 [22:12:55.311]
INFO:
bb-prover RootParityArtifact BB out -
22:12:55 [22:12:55.311]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.76 MiB)
22:12:55 --scheme: ultra_honk (mem: 253.76 MiB)
22:12:55 --bytecode_path: /tmp/c3fe83a6/bb/tmp-4YU0fZ/RootParityArtifact-bytecode (mem: 253.76 MiB)
22:12:55 --witness_path: /tmp/c3fe83a6/bb/tmp-4YU0fZ/partial-witness.gz (mem: 253.76 MiB)
22:12:55 --output_path: /tmp/c3fe83a6/bb/tmp-4YU0fZ (mem: 253.76 MiB)
22:12:55 Warning: the following option is called more than once (mem: 253.76 MiB)
22:12:55 --verbose: true (mem: 253.76 MiB)
22:12:55 --oracle_hash: poseidon2 (mem: 253.76 MiB)
22:12:55 --output_format: bytes_and_fields (mem: 253.76 MiB)
22:12:55 --write_vk: true (mem: 253.76 MiB)
22:12:55 --disable_zk: true (mem: 253.76 MiB)
22:12:55 --init_kzg_accumulator: true (mem: 253.76 MiB)
22:12:55 [22:12:55.512]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.76 MiB)
22:12:55 [22:12:55.530]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.76 MiB)
22:12:57 [22:12:57.524]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 398.48 MiB)
22:13:00 [22:13:00.178]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 759.67 MiB)
22:13:02 [22:13:02.489]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1027.24 MiB)
22:13:05 [22:13:05.108]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1396.65 MiB)
22:13:05 [22:13:05.109]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1396.65 MiB)
22:13:06 [22:13:06.643]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1845.52 MiB)
22:13:07 [22:13:07.167]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5499.86 MiB)
22:13:09 [22:13:09.338]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4228 ms. (mem: 6071.86 MiB)
22:13:09 [22:13:09.522]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6071.86 MiB)
22:13:09 [22:13:09.756]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6561.47 MiB)
22:13:11 [22:13:11.163]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7330.21 MiB)
22:13:17 [22:13:17.683]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7330.21 MiB)
22:13:21 [22:13:21.359]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7330.21 MiB)
22:13:23 [22:13:23.303]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9135.33 MiB)
22:13:25 [22:13:25.212]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9136.33 MiB)
22:13:31 [22:13:31.416]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9136.33 MiB)
22:13:33 [22:13:33.030]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9136.33 MiB)
22:13:33 [22:13:33.062]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9136.33 MiB)
22:13:33 [22:13:33.845]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/c3fe83a6/bb/tmp-4YU0fZ/public_inputs" (mem: 9136.33 MiB)
22:13:33 [22:13:33.846]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/c3fe83a6/bb/tmp-4YU0fZ/public_inputs_fields.json" (mem: 9136.33 MiB)
22:13:33 Proof saved to "/tmp/c3fe83a6/bb/tmp-4YU0fZ/proof" (mem: 9136.33 MiB)
22:13:33 [22:13:33.846]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/c3fe83a6/bb/tmp-4YU0fZ/proof_fields.json" (mem: 9136.33 MiB)
22:13:33 VK saved to "/tmp/c3fe83a6/bb/tmp-4YU0fZ/vk" (mem: 9136.33 MiB)
22:13:33 VK fields saved to "/tmp/c3fe83a6/bb/tmp-4YU0fZ/vk_fields.json" (mem: 9136.33 MiB)
22:13:34 [22:13:34.159]
INFO:
bb-prover Generated proof for RootParityArtifact in 38880 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":38879.116653000005,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
22:13:34 [22:13:34.162]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c3fe83a6/bb/tmp-2HCaL7/proof -k /tmp/c3fe83a6/bb/tmp-2HCaL7/vk -i /tmp/c3fe83a6/bb/tmp-2HCaL7/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
22:13:34 [22:13:34.188]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.76 MiB)
22:13:34 [22:13:34.190]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.76 MiB)
22:13:34 --public_inputs_path: /tmp/c3fe83a6/bb/tmp-2HCaL7/public_inputs (mem: 253.76 MiB)
22:13:34 --proof_path: /tmp/c3fe83a6/bb/tmp-2HCaL7/proof (mem: 253.76 MiB)
22:13:34 --vk_path: /tmp/c3fe83a6/bb/tmp-2HCaL7/vk (mem: 253.76 MiB)
22:13:34 --verbose: true (mem: 253.76 MiB)
22:13:34 --scheme: ultra_honk (mem: 253.76 MiB)
22:13:34 --oracle_hash: poseidon2 (mem: 253.76 MiB)
22:13:34 --disable_zk: true (mem: 253.76 MiB)
22:13:34 vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.76 MiB)
22:13:34 [22:13:34.200]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.76 MiB)
22:13:34 Proof verification failed (mem: 253.76 MiB)
22:13:34 [22:13:34.201]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 253.76 MiB)
22:13:34 [22:13:34.202]
ERROR:
bb-prover Error running operation at /tmp/c3fe83a6/bb/tmp-2HCaL7: ProvingError: Failed to verify proof from key!
22:13:34 [22:13:34.367]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":73.22004899999592,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
22:13:34 [22:13:34.369]
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/c3fe83a6/bb/tmp-wnYdAU -b /tmp/c3fe83a6/bb/tmp-wnYdAU/RootParityArtifact-bytecode -w /tmp/c3fe83a6/bb/tmp-wnYdAU/partial-witness.gz -v --init_kzg_accumulator -v
22:13:34 [22:13:34.394]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.76 MiB)
22:13:34 [22:13:34.395]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.76 MiB)
22:13:34 --scheme: ultra_honk (mem: 253.76 MiB)
22:13:34 --bytecode_path: /tmp/c3fe83a6/bb/tmp-wnYdAU/RootParityArtifact-bytecode (mem: 253.76 MiB)
22:13:34 --witness_path: /tmp/c3fe83a6/bb/tmp-wnYdAU/partial-witness.gz (mem: 253.76 MiB)
22:13:34 --output_path: /tmp/c3fe83a6/bb/tmp-wnYdAU (mem: 253.76 MiB)
22:13:34 Warning: the following option is called more than once (mem: 253.76 MiB)
22:13:34 --verbose: true (mem: 253.76 MiB)
22:13:34 --oracle_hash: poseidon2 (mem: 253.76 MiB)
22:13:34 --output_format: bytes_and_fields (mem: 253.76 MiB)
22:13:34 --write_vk: true (mem: 253.76 MiB)
22:13:34 --disable_zk: true (mem: 253.76 MiB)
22:13:34 --init_kzg_accumulator: true (mem: 253.76 MiB)
22:13:34 [22:13:34.566]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.76 MiB)
22:13:34 [22:13:34.583]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.76 MiB)
22:13:36 [22:13:36.693]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 411.47 MiB)
22:13:38 [22:13:38.909]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 768.17 MiB)
22:13:40 [22:13:40.996]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1036.78 MiB)
22:13:43 [22:13:43.645]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1408.48 MiB)
22:13:43 [22:13:43.645]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1408.48 MiB)
22:13:44 [22:13:44.777]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1858.50 MiB)
22:13:45 [22:13:45.136]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5507.91 MiB)
22:13:46 [22:13:46.600]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 2951 ms. (mem: 6078.91 MiB)
22:13:46 [22:13:46.736]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6078.91 MiB)
22:13:46 [22:13:46.894]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6557.45 MiB)
22:13:48 [22:13:48.235]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7325.76 MiB)
22:13:53 [22:13:53.839]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7325.76 MiB)
22:13:57 [22:13:57.616]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7325.76 MiB)
22:13:59 [22:13:59.059]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9133.89 MiB)
22:14:00 [22:14:00.869]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9133.89 MiB)
22:14:05 [22:14:05.736]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9133.89 MiB)
22:14:07 [22:14:07.057]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9133.89 MiB)
22:14:07 [22:14:07.084]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9133.89 MiB)
22:14:07 [22:14:07.831]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/c3fe83a6/bb/tmp-wnYdAU/public_inputs" (mem: 9133.89 MiB)
22:14:07 [22:14:07.831]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/c3fe83a6/bb/tmp-wnYdAU/public_inputs_fields.json" (mem: 9133.89 MiB)
22:14:07 Proof saved to "/tmp/c3fe83a6/bb/tmp-wnYdAU/proof" (mem: 9133.89 MiB)
22:14:07 Proof fields saved to "/tmp/c3fe83a6/bb/tmp-wnYdAU/proof_fields.json" (mem: 9133.89 MiB)
22:14:07 [22:14:07.832]
INFO:
bb-prover RootParityArtifact BB out - VK saved to "/tmp/c3fe83a6/bb/tmp-wnYdAU/vk" (mem: 9133.89 MiB)
22:14:07 VK fields saved to "/tmp/c3fe83a6/bb/tmp-wnYdAU/vk_fields.json" (mem: 9133.89 MiB)
22:14:08 [22:14:08.066]
INFO:
bb-prover Generated proof for RootParityArtifact in 33696 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":33695.791939,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
22:14:08 [22:14:08.068]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c3fe83a6/bb/tmp-vYF6Zv/proof -k /tmp/c3fe83a6/bb/tmp-vYF6Zv/vk -i /tmp/c3fe83a6/bb/tmp-vYF6Zv/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
22:14:08 [22:14:08.092]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.76 MiB)
22:14:08 Scheme is: ultra_honk, num threads: 128 (mem: 253.76 MiB)
22:14:08 --public_inputs_path: /tmp/c3fe83a6/bb/tmp-vYF6Zv/public_inputs (mem: 253.76 MiB)
22:14:08 --proof_path: /tmp/c3fe83a6/bb/tmp-vYF6Zv/proof (mem: 253.76 MiB)
22:14:08 --vk_path: /tmp/c3fe83a6/bb/tmp-vYF6Zv/vk (mem:
22:14:08 [22:14:08.093]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.76 MiB)
22:14:08 --verbose: true (mem: 253.76 MiB)
22:14:08 --scheme: ultra_honk (mem: 253.76 MiB)
22:14:08 --oracle_hash: poseidon2 (mem: 253.76 MiB)
22:14:08 --disable_zk: true (mem: 253.76 MiB)
22:14:08 [22:14:08.093]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 253.76 MiB)
22:14:08 [22:14:08.102]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.76 MiB)
22:14:08 Proof verification failed (mem: 253.76 MiB)
22:14:08 verified: 0 (mem: 253.76 MiB)
22:14:08 [22:14:08.104]
ERROR:
bb-prover Error running operation at /tmp/c3fe83a6/bb/tmp-vYF6Zv: ProvingError: Failed to verify proof from key!
22:14:08 [22:14:08.107]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
22:14:08
PASS src/test/bb_prover_parity.test.ts (
128.601 s)
22:14:08 prover/bb_prover/parity
22:14:08
✓ proves the parity circuits (119222 ms)
22:14:08
22:14:08
Test Suites: 1 passed, 1 total
22:14:08
Tests: 1 passed, 1 total
22:14:08
Snapshots: 0 total
22:14:08
Time: 128.714 s
22:14:08
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
22:14:08
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?