Parent Log:
http://ci.aztec-labs.com/18c4f3fef5f7b3dc
Command: 9b90ba1cd25aa9c9: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/4ae29efe4b68ec58d68cf3708b9a36b94dad8b2b
Env: REF_NAME=gh-readonly-queue/next/pr-15129-5c77169d7f01a9e15bc19b05fa231fd96111d7dd CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 18 15:15:08 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15129_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
15:15:08 +++ id -u
15:15:08 +++ id -g
15:15:08 ++ 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'\'''
15:15:09 + cid=e00d4298bf2949c204471ec8792a8308bc6875a043912971f94eb4c736d9a9f9
15:15:09 + set +x
15:15:11 {"level":25,"time":1750259711115,"pid":7,"hostname":"e00d4298bf29","module":"logger","msg":"Logger initialized with level verbose"}
15:15:21 [15:15:21.910]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-1ipJX8/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
15:15:22 [15:15:22.016]
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/c29f0e82/bb
15:15:22 [15:15:22.024]
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/c29f0e82/acvm
15:15:22 [15:15:22.029]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/c29f0e82/bb
15:15:22 [15:15:22.030]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/c29f0e82/acvm
15:15:22 [15:15:22.036]
INFO:
prover-client:proving-broker Proving Broker started
15:15:22 [15:15:22.039]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
15:15:22 [15:15:22.305]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":69.96251200000006,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:15:22 [15:15:22.335]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":72.43177100000139,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:15:22 [15:15:22.361]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:15:22 [15:15:22.363]
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/c29f0e82/bb/tmp-8VkDKi -b /tmp/c29f0e82/bb/tmp-8VkDKi/BaseParityArtifact-bytecode -w /tmp/c29f0e82/bb/tmp-8VkDKi/partial-witness.gz -v --init_kzg_accumulator -v
15:15:22 [15:15:22.401]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:15:22 [15:15:22.403]
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/c29f0e82/bb/tmp-Wpyt92 -b /tmp/c29f0e82/bb/tmp-Wpyt92/BaseParityArtifact-bytecode -w /tmp/c29f0e82/bb/tmp-Wpyt92/partial-witness.gz -v --init_kzg_accumulator -v
15:15:22 [15:15:22.443]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.79 MiB)
15:15:22 Scheme is: ultra_honk, num threads: 128 (mem: 252.79 MiB)
15:15:22 --scheme: ultra_honk (mem: 252.79 MiB)
15:15:22 --bytecode_path: /tmp/c29f0e82/bb/tmp-8VkDKi/BaseParityArtifact-bytecode (mem: 252.79 MiB)
15:15:22 --witness_path: /tmp/c29f0e82/bb/tmp-8VkDKi/partial-witness.gz (mem: 252.79 MiB)
15:15:22 --output_path: /tmp/c29f0e82/bb/tmp-8VkDKi (mem: 252.79 MiB)
15:15:22 Warning: the following option is called more than once (mem: 252.79 MiB)
15:15:22 --verbose: true (mem: 252.79 MiB)
15:15:22 --oracle_hash: poseidon2 (mem: 252.79 MiB)
15:15:22 --output_format: bytes_and_fields (mem: 252.79 MiB)
15:15:22 --write_vk: true (mem: 252.79 MiB)
15:15:22 --disable_zk: true (mem: 252.79 MiB)
15:15:22 --init_kzg_accumulator: true (mem: 252.79 MiB)
15:15:22 [15:15:22.457]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":127.04539599999953,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:15:22 [15:15:22.470]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":160.93842200000108,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:15:22 [15:15:22.474]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.79 MiB)
15:15:22 Scheme is: ultra_honk, num threads: 128 (mem: 252.79 MiB)
15:15:22 --scheme: ultra_honk (mem: 252.79 MiB)
15:15:22 --bytecode_path: /tmp/c29f0e82/bb/tmp-Wpyt92/BaseParityArtifact-bytecode (mem: 252.79 MiB)
15:15:22 --witness_path: /tmp/c29f0e82/bb/tmp-Wpyt92/partial-witness.gz (mem: 252.79 MiB)
15:15:22 --output_path: /tmp/c29f0e82/bb/tmp-Wpyt92 (mem: 252.79 MiB)
15:15:22 Warning: the following option is called more than once (mem: 252.79 MiB)
15:15:22 --verbose: true (mem: 252.79 MiB)
15:15:22 --oracle_hash: poseidon2 (mem: 252.79 MiB)
15:15:22 --output_format: bytes_and_fields (mem: 252.79 MiB)
15:15:22 --write_vk: true (mem: 252.79 MiB)
15:15:22 --disable_zk: true (mem: 252.79 MiB)
15:15:22 --init_kzg_accumulator: true (mem: 252.79 MiB)
15:15:22 [15:15:22.477]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:15:22 [15:15:22.478]
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/c29f0e82/bb/tmp-zvGlGd -b /tmp/c29f0e82/bb/tmp-zvGlGd/BaseParityArtifact-bytecode -w /tmp/c29f0e82/bb/tmp-zvGlGd/partial-witness.gz -v --init_kzg_accumulator -v
15:15:22 [15:15:22.514]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:15:22 [15:15:22.516]
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/c29f0e82/bb/tmp-vsAa2n -b /tmp/c29f0e82/bb/tmp-vsAa2n/BaseParityArtifact-bytecode -w /tmp/c29f0e82/bb/tmp-vsAa2n/partial-witness.gz -v --init_kzg_accumulator -v
15:15:22 [15:15:22.573]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.88 MiB)
15:15:22 Scheme is: ultra_honk, num threads: 128 (mem: 252.88 MiB)
15:15:22 --scheme: ultra_honk (mem: 252.88 MiB)
15:15:22 --bytecode_path: /tmp/c29f0e82/bb/tmp-zvGlGd/BaseParityArtifact-bytecode (mem: 252.88 MiB)
15:15:22 --witness_path: /tmp/c29f0e82/bb/tmp-zvGlGd/partial-witness.gz (mem: 252.88 MiB)
15:15:22 --output_path: /tmp/c29f0e82/bb/tmp-zvGlGd (mem: 252.88 MiB)
15:15:22 Warning: the following option is called more than once (mem: 252.88 MiB)
15:15:22 --verbose: true (mem: 252.88 MiB)
15:15:22 --oracle_hash: poseidon2 (mem: 252.88 MiB)
15:15:22 --output_format: bytes_and_fields (mem: 252.88 MiB)
15:15:22 --write_vk: true (mem: 252.88 MiB)
15:15:22 --disable_zk: true (mem: 252.88 MiB)
15:15:22 --init_kzg_accumulator: true (mem: 252.88 MiB)
15:15:22 [15:15:22.583]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.88 MiB)
15:15:22 Scheme is: ultra_honk, num threads: 128 (mem: 252.88 MiB)
15:15:22 --scheme: ultra_honk (mem: 252.88 MiB)
15:15:22 --bytecode_path: /tmp/c29f0e82/bb/tmp-vsAa2n/BaseParityArtifact-bytecode (mem: 252.88 MiB)
15:15:22 --witness_path: /tmp/c29f0e82/bb/tmp-vsAa2n/partial-witness.gz (mem: 252.88 MiB)
15:15:22 --output_path: /tmp/c29f0e82/bb/tmp-vsAa2n (mem: 252.88 MiB)
15:15:22 Warning: the following option is called more than once (mem: 252.88 MiB)
15:15:22 --verbose: true (mem: 252.88 MiB)
15:15:22 --oracle_hash: poseidon2 (mem: 252.88 MiB)
15:15:22 --output_format: bytes_and_fields (mem: 252.88 MiB)
15:15:22 --write_vk: true (mem: 252.88 MiB)
15:15:22 --disable_zk: true (mem: 252.88 MiB)
15:15:22 --init_kzg_accumulator: true (mem: 252.88 MiB)
15:15:22 [15:15:22.606]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.79 MiB)
15:15:22 [15:15:22.608]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 252.79 MiB)
15:15:22 [15:15:22.612]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.79 MiB)
15:15:22 [15:15:22.618]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.79 MiB)
15:15:22 Constructing DeciderProvingKey (mem: 252.79 MiB)
15:15:22 [15:15:22.624]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.79 MiB)
15:15:22 [15:15:22.720]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.88 MiB)
15:15:22 [15:15:22.723]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 252.88 MiB)
15:15:22 [15:15:22.730]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.88 MiB)
15:15:22 [15:15:22.742]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
15:15:22 [15:15:22.745]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 252.88 MiB)
15:15:22 Constructing DeciderProvingKey (mem: 252.88 MiB)
15:15:22 [15:15:22.753]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
15:15:22 [15:15:22.756]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 252.88 MiB)
15:15:22 [15:15:22.791]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.79 MiB)
15:15:22 [15:15:22.882]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 275 ms. (mem: 252.79 MiB)
15:15:22 [15:15:22.886]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.79 MiB)
15:15:22 [15:15:22.890]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.79 MiB)
15:15:22 [15:15:22.897]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.79 MiB)
15:15:22 [15:15:22.918]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.79 MiB)
15:15:22 [15:15:22.970]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 350 ms. (mem: 252.79 MiB)
15:15:22 [15:15:22.978]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.79 MiB)
15:15:22 [15:15:22.983]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.88 MiB)
15:15:22 [15:15:22.987]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.79 MiB)
15:15:23 [15:15:23.018]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.79 MiB)
15:15:23 [15:15:23.024]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.88 MiB)
15:15:23 [15:15:23.106]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 359 ms. (mem: 252.88 MiB)
15:15:23 [15:15:23.109]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.88 MiB)
15:15:23 [15:15:23.113]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.88 MiB)
15:15:23 [15:15:23.120]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 398 ms. (mem: 252.88 MiB)
15:15:23 [15:15:23.128]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.88 MiB)
15:15:23 [15:15:23.134]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.88 MiB)
15:15:23 [15:15:23.136]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.88 MiB)
15:15:23 [15:15:23.170]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.88 MiB)
15:15:23 [15:15:23.645]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.79 MiB)
15:15:23 [15:15:23.853]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.79 MiB)
15:15:24 [15:15:24.004]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.88 MiB)
15:15:24 [15:15:24.012]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.88 MiB)
15:15:24 [15:15:24.360]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.79 MiB)
15:15:24 [15:15:24.425]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.79 MiB)
15:15:24 [15:15:24.606]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.88 MiB)
15:15:24 [15:15:24.607]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.88 MiB)
15:15:24 [15:15:24.668]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 262.12 MiB)
15:15:24 [15:15:24.732]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 254.78 MiB)
15:15:24 [15:15:24.867]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem:
15:15:24 [15:15:24.868]
INFO:
bb-prover BaseParityArtifact BB out - 262.12 MiB)
15:15:24 [15:15:24.870]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 264.56 MiB)
15:15:24 [15:15:24.897]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.97 MiB)
15:15:24 [15:15:24.938]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 255.78 MiB)
15:15:25 [15:15:25.055]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 264.56 MiB)
15:15:25 [15:15:25.124]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 253.97 MiB)
15:15:26 [15:15:26.134]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 262.12 MiB)
15:15:26 [15:15:26.214]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 262.12 MiB)
15:15:26 finished decider proving. (mem: 262.12 MiB)
15:15:26 [15:15:26.215]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/c29f0e82/bb/tmp-Wpyt92/public_inputs" (mem: 262.12 MiB)
15:15:26 Public inputs fields saved to "/tmp/c29f0e82/bb/tmp-Wpyt92/public_inputs_fields.json" (mem: 262.12 MiB)
15:15:26 Proof saved to "/tmp/c29f0e82/bb/tmp-Wpyt92/proof" (mem: 262.12 MiB)
15:15:26 Proof fields saved to "/tmp/c29f0e82/bb/tmp-Wpyt92/proof_fields.json" (mem: 262.12 MiB)
15:15:26 VK saved to "/tmp/c29f0e82/bb/tmp-Wpyt92/vk" (mem: 262.12 MiB)
15:15:26 [15:15:26.215]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/c29f0e82/bb/tmp-Wpyt92/vk_fields.json" (mem: 262.12 MiB)
15:15:26 [15:15:26.242]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 255.78 MiB)
15:15:26 [15:15:26.260]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3855 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3854.6525839999995,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:15:26 [15:15:26.263]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:15:26 [15:15:26.264]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c29f0e82/bb/tmp-bAX9BJ/proof -k /tmp/c29f0e82/bb/tmp-bAX9BJ/vk -i /tmp/c29f0e82/bb/tmp-bAX9BJ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:15:26 [15:15:26.315]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 255.78 MiB)
15:15:26 finished decider proving. (mem: 255.78 MiB)
15:15:26 Public inputs saved to "/tmp/c29f0e82/bb/tmp-8VkDKi/public_inputs" (mem: 255.78 MiB)
15:15:26 Public inputs fields saved to "/tmp/c29f0e82/bb/tmp-8VkDKi/public_inputs_fields.json" (mem: 255.78 MiB)
15:15:26 Proof saved to "/tmp/c29f0e82/bb/tmp-8VkDKi/proof" (mem: 255.78 MiB)
15:15:26 Proof fields saved to "/tmp/c29f0e82/bb/tmp-8VkDKi/proof_fields.json" (mem: 255.78 MiB)
15:15:26 VK saved to "/tmp/c29f0e82/bb/tmp-8VkDKi/vk" (mem: 255.78 MiB)
15:15:26 VK fields saved to "/tmp/c29f0e82/bb/tmp-8VkDKi/vk_fields.json" (mem: 255.78 MiB)
15:15:26 [15:15:26.321]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
15:15:26 [15:15:26.326]
VERBOSE:
bb-prover bb-prover (verify) BB out - 252.22 MiB)
15:15:26 Scheme is: ultra_honk, num threads: 128 (mem: 252.22 MiB)
15:15:26 --public_inputs_path: /tmp/c29f0e82/bb/tmp-bAX9BJ/public_inputs (mem: 252.22 MiB)
15:15:26 --proof_path: /tmp/c29f0e82/bb/tmp-bAX9BJ/proof (mem: 252.22 MiB)
15:15:26 --vk_path: /tmp/c29f0e82/bb/tmp-bAX9BJ/vk (mem: 252.22 MiB)
15:15:26 --verbose: true (mem: 252.22 MiB)
15:15:26 --scheme: ultra_honk (mem: 252.22 MiB)
15:15:26 --oracle_hash: poseidon2 (mem: 252.22 MiB)
15:15:26 --disable_zk: true (mem: 252.22 MiB)
15:15:26 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.22 MiB)
15:15:26 [15:15:26.330]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 264.56 MiB)
15:15:26 [15:15:26.343]
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.22 MiB)
15:15:26 [15:15:26.349]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 252.22 MiB)
15:15:26 sumcheck_verified: 1 (mem: 252.22 MiB)
15:15:26 libra_evals_verified: 1 (mem: 252.22 MiB)
15:15:26 pairing_check_verified: 1 (mem: 252.22 MiB)
15:15:26 Proof verified successfully (mem: 252.22 MiB)
15:15:26 verified: 1 (mem: 252.22 MiB)
15:15:26 [15:15:26.358]
INFO:
bb-prover Successfully verified proof from key in 94.19580499999938 ms
15:15:26 [15:15:26.372]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 264.56 MiB)
15:15:26 finished decider proving. (mem: 264.56 MiB)
15:15:26 Public inputs saved to "/tmp/c29f0e82/bb/tmp-vsAa2n/public_inputs" (mem: 264.56 MiB)
15:15:26 Public inputs fields saved to "/tmp/c29f0e82/bb/tmp-vsAa2n/public_inputs_fields.json" (mem: 264.56 MiB)
15:15:26 Proof saved to "/tmp/c29f0e82/bb/tmp-vsAa2n/proof" (mem: 264.56 MiB)
15:15:26 Proof fields saved to "/tmp/c29f0e82/bb/tmp-vsAa2n/proof_fields.json" (mem: 264.56 MiB)
15:15:26 VK saved to "/tmp/c29f0e82/bb/tmp-vsAa2n/vk" (mem: 264.56 MiB)
15:15:26 VK fields saved to "/tmp/c29f0e82/bb/tmp-vsAa2n/vk_fields.json" (mem: 264.56 MiB)
15:15:26 [15:15:26.401]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4018 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4017.4166650000006,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:15:26 [15:15:26.406]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:15:26 [15:15:26.406]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c29f0e82/bb/tmp-ZQbXsJ/proof -k /tmp/c29f0e82/bb/tmp-ZQbXsJ/vk -i /tmp/c29f0e82/bb/tmp-ZQbXsJ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:15:26 [15:15:26.433]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.97 MiB)
15:15:26 [15:15:26.448]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.89 MiB)
15:15:26 Scheme is: ultra_honk, num threads: 128 (mem: 252.89 MiB)
15:15:26 --public_inputs_path: /tmp/c29f0e82/bb/tmp-ZQbXsJ/public_inputs (mem: 252.89 MiB)
15:15:26 --proof_path: /tmp/c29f0e82/bb/tmp-ZQbXsJ/proof (mem: 252.89 MiB)
15:15:26 --vk_path: /tmp/c29f0e82/bb/tmp-ZQbXsJ/vk (mem: 252.89 MiB)
15:15:26 --verbose: true (mem: 252.89 MiB)
15:15:26 --scheme: ultra_honk (mem: 252.89 MiB)
15:15:26 --oracle_hash: poseidon2 (mem: 252.89 MiB)
15:15:26 --disable_zk: true (mem: 252.89 MiB)
15:15:26 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.89 MiB)
15:15:26 [15:15:26.477]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3927 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3926.8475070000004,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:15:26 [15:15:26.481]
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.89 MiB)
15:15:26 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.89 MiB)
15:15:26 sumcheck_verified: 1 (mem: 252.89 MiB)
15:15:26 libra_evals_verified: 1 (mem: 252.89 MiB)
15:15:26 pairing_check_verified: 1 (mem: 252.89 MiB)
15:15:26 Proof verified successfully (mem: 252.89 MiB)
15:15:26 verified: 1 (mem: 252.89 MiB)
15:15:26 [15:15:26.485]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.97 MiB)
15:15:26 finished decider proving. (mem: 253.97 MiB)
15:15:26 Public inputs saved to "/tmp/c29f0e82/bb/tmp-zvGlGd/public_inputs" (mem: 253.97 MiB)
15:15:26 Public inputs fields saved to "/tmp/c29f0e82/bb/tmp-zvGlGd/public_inputs_fields.json" (mem: 253.97 MiB)
15:15:26 Proof saved to "/tmp/c29f0e82/bb/tmp-zvGlGd/proof" (mem: 253.97 MiB)
15:15:26 Proof fields saved to "/tmp/c29f0e82/bb/tmp-zvGlGd/proof_fields.json" (mem: 253.97 MiB)
15:15:26 VK saved to "/tmp/c29f0e82/bb/tmp-zvGlGd/vk" (mem: 253.97 MiB)
15:15:26 VK fields saved to "/tmp/c29f0e82/bb/tmp-zvGlGd/vk_fields.json" (mem: 253.97 MiB)
15:15:26 [15:15:26.489]
INFO:
bb-prover Successfully verified proof from key in 82.91253000000142 ms
15:15:26 [15:15:26.499]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:15:26 [15:15:26.500]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c29f0e82/bb/tmp-X6Y9Zo/proof -k /tmp/c29f0e82/bb/tmp-X6Y9Zo/vk -i /tmp/c29f0e82/bb/tmp-X6Y9Zo/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:15:26 [15:15:26.541]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.96 MiB)
15:15:26 Scheme is: ultra_honk, num threads: 128 (mem: 252.96 MiB)
15:15:26 --public_inputs_path: /tmp/c29f0e82/bb/tmp-X6Y9Zo/public_inputs (mem: 252.96 MiB)
15:15:26 --proof_path: /tmp/c29f0e82/bb/tmp-X6Y9Zo/proof (mem: 252.96 MiB)
15:15:26 --vk_path: /tmp/c29f0e82/bb/tmp-X6Y9Zo/vk (mem: 252.96 MiB)
15:15:26 --verbose: true (mem: 252.96 MiB)
15:15:26 --scheme: ultra_honk (mem: 252.96 MiB)
15:15:26 --oracle_hash: poseidon2 (mem: 252.96 MiB)
15:15:26 --disable_zk: true (mem: 252.96 MiB)
15:15:26 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.96 MiB)
15:15:26 [15:15:26.545]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4057 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4056.7039049999985,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:15:26 [15:15:26.550]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:15:26 [15:15:26.550]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c29f0e82/bb/tmp-ehB6A9/proof -k /tmp/c29f0e82/bb/tmp-ehB6A9/vk -i /tmp/c29f0e82/bb/tmp-ehB6A9/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:15:26 [15:15:26.588]
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.96 MiB)
15:15:26 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.96 MiB)
15:15:26 sumcheck_verified: 1 (mem: 252.96 MiB)
15:15:26 libra_evals_verified: 1 (mem: 252.96 MiB)
15:15:26 pairing_check_verified: 1 (mem: 252.96 MiB)
15:15:26 Proof verified successfully (mem: 252.96 MiB)
15:15:26 verified: 1 (mem: 252.96 MiB)
15:15:26 [15:15:26.589]
INFO:
bb-prover Successfully verified proof from key in 90.04906200000187 ms
15:15:26 [15:15:26.591]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
15:15:26 [15:15:26.592]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.02 MiB)
15:15:26 Scheme is: ultra_honk, num threads: 128 (mem: 253.02 MiB)
15:15:26 --public_inputs_path: /tmp/c29f0e82/bb/tmp-ehB6A9/public_inputs (mem: 253.02 MiB)
15:15:26 --proof_path: /tmp/c29f0e82/bb/tmp-ehB6A9/proof (mem: 253.02 MiB)
15:15:26 --vk_path: /tmp/c29f0e82/bb/tmp-ehB6A9/vk (mem: 253.02 MiB)
15:15:26 --verbose: true (mem: 253.02 MiB)
15:15:26 --scheme: ultra_honk (mem: 253.02 MiB)
15:15:26 --oracle_hash: poseidon2 (mem: 253.02 MiB)
15:15:26 --disable_zk: true (mem: 253.02 MiB)
15:15:26 [15:15:26.593]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.02 MiB)
15:15:26 [15:15:26.607]
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.02 MiB)
15:15:26 [15:15:26.608]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.02 MiB)
15:15:26 [15:15:26.608]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.02 MiB)
15:15:26 libra_evals_verified: 1 (mem: 253.02 MiB)
15:15:26 pairing_check_verified: 1 (mem: 253.02 MiB)
15:15:26 Proof verified successfully (mem: 253.02 MiB)
15:15:26 verified: 1 (mem: 253.02 MiB)
15:15:26 [15:15:26.610]
INFO:
bb-prover Successfully verified proof from key in 60.03741100000116 ms
15:15:26 [15:15:26.632]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:15:26 [15:15:26.632]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c29f0e82/bb/tmp-AMqEsU/proof -k /tmp/c29f0e82/bb/tmp-AMqEsU/vk -i /tmp/c29f0e82/bb/tmp-AMqEsU/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:15:26 [15:15:26.656]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:15:26 [15:15:26.657]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c29f0e82/bb/tmp-HDt3II/proof -k /tmp/c29f0e82/bb/tmp-HDt3II/vk -i /tmp/c29f0e82/bb/tmp-HDt3II/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:15:26 [15:15:26.686]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:15:26 [15:15:26.687]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c29f0e82/bb/tmp-3XVZTO/proof -k /tmp/c29f0e82/bb/tmp-3XVZTO/vk -i /tmp/c29f0e82/bb/tmp-3XVZTO/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:15:26 [15:15:26.715]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:15:26 [15:15:26.718]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c29f0e82/bb/tmp-DqPls9/proof -k /tmp/c29f0e82/bb/tmp-DqPls9/vk -i /tmp/c29f0e82/bb/tmp-DqPls9/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:15:26 [15:15:26.746]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.10 MiB)
15:15:26 Scheme is: ultra_honk, num threads: 128 (mem: 253.10 MiB)
15:15:26 --public_inputs_path: /tmp/c29f0e82/bb/tmp-AMqEsU/public_inputs (mem: 253.10 MiB)
15:15:26 --proof_path: /tmp/c29f0e82/bb/tmp-AMqEsU/proof (mem: 253.10 MiB)
15:15:26 --vk_path: /tmp/c29f0e82/bb/tmp-AMqEsU/vk (mem: 253.10 MiB)
15:15:26 --verbose: true (mem: 253.10 MiB)
15:15:26 --scheme: ultra_honk (mem: 253.10 MiB)
15:15:26 --oracle_hash: poseidon2 (mem: 253.10 MiB)
15:15:26 --disable_zk: true (mem: 253.10 MiB)
15:15:26 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.10 MiB)
15:15:26 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.10 MiB)
15:15:26 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.10 MiB)
15:15:26 sumcheck_verified: 1 (mem: 253.10 MiB)
15:15:26 libra_evals_verified: 1 (mem: 253.10 MiB)
15:15:26 pairing_check_verified: 1 (mem: 253.10 MiB)
15:15:26 Proof verified successfully (mem: 253.10 MiB)
15:15:26 verified: 1 (mem: 253.10 MiB)
15:15:26 [15:15:26.747]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.10 MiB)
15:15:26 Scheme is: ultra_honk, num threads: 128 (mem: 253.10 MiB)
15:15:26 --public_inputs_path: /tmp/c29f0e82/bb/tmp-HDt3II/public_inputs (mem: 253.10 MiB)
15:15:26 --proof_path: /tmp/c29f0e82/bb/tmp-HDt3II/proof (mem: 253.10 MiB)
15:15:26 --vk_path: /tmp/c29f0e82/bb/tmp-HDt3II/vk (mem: 253.10 MiB)
15:15:26 --verbose: true (mem: 253.10 MiB)
15:15:26 --scheme: ultra_honk (mem: 253.10 MiB)
15:15:26 --oracle_hash: poseidon2 (mem: 253.10 MiB)
15:15:26 --disable_zk: true (mem: 253.10 MiB)
15:15:26 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.10 MiB)
15:15:26 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.10 MiB)
15:15:26 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.10 MiB)
15:15:26 sumcheck_verified: 1 (mem: 253.10 MiB)
15:15:26 libra_evals_verified: 1 (mem: 253.10 MiB)
15:15:26 pairing_check_verified: 1 (mem: 253.10 MiB)
15:15:26 Proof verified successfully (mem: 253.10 MiB)
15:15:26 verified: 1 (mem: 253.10 MiB)
15:15:26 [15:15:26.749]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.10 MiB)
15:15:26 Scheme is: ultra_honk, num threads: 128 (mem: 253.10 MiB)
15:15:26 --public_inputs_path: /tmp/c29f0e82/bb/tmp-3XVZTO/public_inputs (mem: 253.10 MiB)
15:15:26 --proof_path: /tmp/c29f0e82/bb/tmp-3XVZTO/proof (mem: 253.10 MiB)
15:15:26 --vk_path: /tmp/c29f0e82/bb/tmp-3XVZTO/vk (mem: 253.10 MiB)
15:15:26 --verbose: true (mem: 253.10 MiB)
15:15:26 --scheme: ultra_honk (mem: 253.10 MiB)
15:15:26 --oracle_hash: poseidon2 (mem: 253.10 MiB)
15:15:26 --disable_zk: true (mem: 253.10 MiB)
15:15:26 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.10 MiB)
15:15:26 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.10 MiB)
15:15:26 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.10 MiB)
15:15:26 sumcheck_verified: 1 (mem: 253.10 MiB)
15:15:26 libra_evals_verified: 1 (mem: 253.10 MiB)
15:15:26 pairing_check_verified: 1 (mem: 253.10 MiB)
15:15:26 Proof verified successfully (mem: 253.10 MiB)
15:15:26 verified: 1 (mem: 253.10 MiB)
15:15:26 [15:15:26.752]
INFO:
bb-prover Successfully verified proof from key in 65.76818600000115 ms
15:15:26 [15:15:26.752]
INFO:
bb-prover Successfully verified proof from key in 96.00012300000162 ms
15:15:26 [15:15:26.753]
INFO:
bb-prover Successfully verified proof from key in 121.08653399999821 ms
15:15:26 [15:15:26.753]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.10 MiB)
15:15:26 Scheme is: ultra_honk, num threads: 128 (mem:
15:15:26 [15:15:26.754]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.10 MiB)
15:15:26 --public_inputs_path: /tmp/c29f0e82/bb/tmp-DqPls9/public_inputs (mem: 253.10 MiB)
15:15:26 --proof_path: /tmp/c29f0e82/bb/tmp-DqPls9/proof (mem: 253.10 MiB)
15:15:26 --vk_path: /tmp/c29f0e82/bb/tmp-DqPls9/vk (mem: 253.10 MiB)
15:15:26 --verbose: true (mem: 253.10 MiB)
15:15:26 --scheme: ultra_honk (mem: 253.10 MiB)
15:15:26 --oracle_hash: poseidon2 (mem: 253.10 MiB)
15:15:26 --disable_zk: true (mem: 253.10 MiB)
15:15:26 [15:15:26.755]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.10 MiB)
15:15:26 [15:15:26.773]
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.10 MiB)
15:15:26 [15:15:26.774]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.10 MiB)
15:15:26 [15:15:26.776]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.10 MiB)
15:15:26 libra_evals_verified: 1 (mem: 253.10 MiB)
15:15:26 pairing_check_verified: 1 (mem: 253.10 MiB)
15:15:26 Proof verified successfully (mem: 253.10 MiB)
15:15:26 verified: 1 (mem: 253.10 MiB)
15:15:26 [15:15:26.777]
INFO:
bb-prover Successfully verified proof from key in 62.1235880000022 ms
15:15:26 [15:15:26.990]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":90.12995299999966,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
15:15:26 [15:15:26.992]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:15:26 [15:15:26.992]
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/c29f0e82/bb/tmp-jGjxaA -b /tmp/c29f0e82/bb/tmp-jGjxaA/RootParityArtifact-bytecode -w /tmp/c29f0e82/bb/tmp-jGjxaA/partial-witness.gz -v --init_kzg_accumulator -v
15:15:27 [15:15:27.024]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.12 MiB)
15:15:27 Scheme is: ultra_honk, num threads: 128 (mem: 255.12 MiB)
15:15:27 --scheme: ultra_honk (mem: 255.12 MiB)
15:15:27 --bytecode_path: /tmp/c29f0e82/bb/tmp-jGjxaA/RootParityArtifact-bytecode (mem: 255.12 MiB)
15:15:27 --witness_path: /tmp/c29f0e82/bb/tmp-jGjxaA/partial-witness.gz (mem: 255.12 MiB)
15:15:27 --output_path: /tmp/c29f0e82/bb/tmp-jGjxaA (mem: 255.12 MiB)
15:15:27 Warning: the following option is called more than once (mem: 255.12 MiB)
15:15:27 --verbose: true (mem: 255.12 MiB)
15:15:27 --oracle_hash: poseidon2 (mem: 255.12 MiB)
15:15:27 --output_format: bytes_and_fields (mem: 255.12 MiB)
15:15:27 --write_vk: true (mem: 255.12 MiB)
15:15:27 --disable_zk: true (mem: 255.12 MiB)
15:15:27 --init_kzg_accumulator: true (mem: 255.12 MiB)
15:15:27 [15:15:27.231]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.12 MiB)
15:15:29 [15:15:29.623]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 406.12 MiB)
15:15:32 [15:15:32.450]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 768.54 MiB)
15:15:34 [15:15:34.885]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1035.57 MiB)
15:15:37 [15:15:37.752]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1405.45 MiB)
15:15:37 [15:15:37.754]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1405.45 MiB)
15:15:39 [15:15:39.319]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1856.08 MiB)
15:15:39 [15:15:39.924]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5510.88 MiB)
15:15:42 [15:15:42.199]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4446 ms. (mem: 6079.88 MiB)
15:15:42 [15:15:42.354]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6079.88 MiB)
15:15:42 [15:15:42.488]
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.31 MiB)
15:15:44 [15:15:44.033]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7331.14 MiB)
15:15:52 [15:15:52.473]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7331.14 MiB)
15:15:56 [15:15:56.831]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7331.14 MiB)
15:15:58 [15:15:58.637]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9139.27 MiB)
15:16:01 [15:16:01.216]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9139.27 MiB)
15:16:07 [15:16:07.834]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9139.27 MiB)
15:16:09 [15:16:09.463]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9139.27 MiB)
15:16:09 [15:16:09.495]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9139.27 MiB)
15:16:10 [15:16:10.295]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/c29f0e82/bb/tmp-jGjxaA/public_inputs" (mem: 9139.27 MiB)
15:16:10 Public inputs fields saved to "/tmp/c29f0e82/bb/tmp-jGjxaA/public_inputs_fields.json" (mem: 9139.27 MiB)
15:16:10 Proof saved to "/tmp/c29f0e82/bb/tmp-jGjxaA/proof" (mem: 9139.27 MiB)
15:16:10 [15:16:10.296]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/c29f0e82/bb/tmp-jGjxaA/proof_fields.json" (mem: 9139.27 MiB)
15:16:10 VK saved to "/tmp/c29f0e82/bb/tmp-jGjxaA/vk" (mem: 9139.27 MiB)
15:16:10 VK fields saved to "/tmp/c29f0e82/bb/tmp-jGjxaA/vk_fields.json" (mem: 9139.27 MiB)
15:16:10 [15:16:10.584]
INFO:
bb-prover Generated proof for RootParityArtifact in 43580 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":43579.006444,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:16:10 [15:16:10.593]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:16:10 [15:16:10.594]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c29f0e82/bb/tmp-dzJ8xG/proof -k /tmp/c29f0e82/bb/tmp-dzJ8xG/vk -i /tmp/c29f0e82/bb/tmp-dzJ8xG/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:16:10 [15:16:10.634]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.15 MiB)
15:16:10 Scheme is: ultra_honk, num threads: 128 (mem: 255.15 MiB)
15:16:10 --public_inputs_path: /tmp/c29f0e82/bb/tmp-dzJ8xG/public_inputs (mem: 255.15 MiB)
15:16:10 --proof_path: /tmp/c29f0e82/bb/tmp-dzJ8xG/proof (mem: 255.15 MiB)
15:16:10 --vk_path: /tmp/c29f0e82/bb/tmp-dzJ8xG/vk (mem: 255.15 MiB)
15:16:10 --verbose: true (mem: 255.15 MiB)
15:16:10 --scheme: ultra_honk (mem: 255.15 MiB)
15:16:10 --oracle_hash: poseidon2 (mem: 255.15 MiB)
15:16:10 --disable_zk: true (mem: 255.15 MiB)
15:16:10 vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 255.15 MiB)
15:16:10 [15:16:10.651]
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.15 MiB)
15:16:10 [15:16:10.652]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 255.15 MiB)
15:16:10 [15:16:10.653]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 255.15 MiB)
15:16:10 libra_evals_verified: 1 (mem: 255.15 MiB)
15:16:10 pairing_check_verified: 1 (mem: 255.15 MiB)
15:16:10 [15:16:10.653]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 255.15 MiB)
15:16:10 verified: 1 (mem: 255.15 MiB)
15:16:10 [15:16:10.658]
INFO:
bb-prover Successfully verified proof from key in 62.223901999997906 ms
15:16:10 [15:16:10.671]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:16:10 [15:16:10.672]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c29f0e82/bb/tmp-SDUdGp/proof -k /tmp/c29f0e82/bb/tmp-SDUdGp/vk -i /tmp/c29f0e82/bb/tmp-SDUdGp/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:16:10 [15:16:10.707]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.31 MiB)
15:16:10 Scheme is: ultra_honk, num threads: 128 (mem: 254.31 MiB)
15:16:10 --public_inputs_path: /tmp/c29f0e82/bb/tmp-SDUdGp/public_inputs (mem: 254.31 MiB)
15:16:10 --proof_path: /tmp/c29f0e82/bb/tmp-SDUdGp/proof (mem: 254.31 MiB)
15:16:10 --vk_path: /tmp/c29f0e82/bb/tmp-SDUdGp/vk (mem: 254.31 MiB)
15:16:10 --verbose: true (mem: 254.31 MiB)
15:16:10 --scheme: ultra_honk (mem: 254.31 MiB)
15:16:10 --oracle_hash: poseidon2 (mem: 254.31 MiB)
15:16:10 --disable_zk: true (mem: 254.31 MiB)
15:16:10 [15:16:10.712]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 254.31 MiB)
15:16:10 [15:16:10.737]
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"
15:16:10 [15:16:10.740]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 254.31 MiB)
15:16:10 Initialized BN254 CRS from memory with num points = 1025 (mem: 254.31 MiB)
15:16:10 sumcheck_verified: 1 (mem: 254.31 MiB)
15:16:10 libra_evals_verified: 1 (mem: 254.31 MiB)
15:16:10 pairing_check_verified: 1 (mem: 254.31 MiB)
15:16:10 Proof verified successfully (mem: 254.31 MiB)
15:16:10 verified: 1 (mem: 254.31 MiB)
15:16:10 [15:16:10.743]
INFO:
bb-prover Successfully verified proof from key in 72.62103899999784 ms
15:16:10 [15:16:10.864]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
15:16:10
15:16:10 [15:16:10.865]
ERROR:
bb-prover Error running operation at /tmp/c29f0e82/bb/tmp-KhhWxU: Error: Failed to generate witness: Failed assertion
15:16:10
15:16:11 [15:16:11.168]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":102.41665199999989,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
15:16:11 [15:16:11.171]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:16:11 [15:16:11.171]
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/c29f0e82/bb/tmp-7uTjH7 -b /tmp/c29f0e82/bb/tmp-7uTjH7/RootParityArtifact-bytecode -w /tmp/c29f0e82/bb/tmp-7uTjH7/partial-witness.gz -v --init_kzg_accumulator -v
15:16:11 [15:16:11.215]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.76 MiB)
15:16:11 Scheme is: ultra_honk, num threads: 128 (mem: 254.76 MiB)
15:16:11 --scheme: ultra_honk (mem: 254.76 MiB)
15:16:11 --bytecode_path: /tmp/c29f0e82/bb/tmp-7uTjH7/RootParityArtifact-bytecode (mem: 254.76 MiB)
15:16:11 --witness_path: /tmp/c29f0e82/bb/tmp-7uTjH7/partial-witness.gz (mem: 254.76 MiB)
15:16:11 --output_path: /tmp/c29f0e82/bb/tmp-7uTjH7 (mem: 254.76 MiB)
15:16:11 Warning: the following option is called more than once (mem: 254.76 MiB)
15:16:11 --verbose: true (mem: 254.76 MiB)
15:16:11 [15:16:11.217]
INFO:
bb-prover RootParityArtifact BB out -
15:16:11 --oracle_hash: poseidon2 (mem: 254.76 MiB)
15:16:11 --output_format: bytes_and_fields (mem: 254.76 MiB)
15:16:11 --write_vk: true (mem: 254.76 MiB)
15:16:11 --disable_zk: true (mem: 254.76 MiB)
15:16:11 --init_kzg_accumulator: true (mem: 254.76 MiB)
15:16:11 [15:16:11.491]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.76 MiB)
15:16:11 [15:16:11.507]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 254.76 MiB)
15:16:14 [15:16:14.153]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 400.52 MiB)
15:16:16 [15:16:16.904]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 763.49 MiB)
15:16:19 [15:16:19.471]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1032.99 MiB)
15:16:22 [15:16:22.189]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1402.14 MiB)
15:16:22 [15:16:22.190]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1402.14 MiB)
15:16:23 [15:16:23.805]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1852.90 MiB)
15:16:24 [15:16:24.307]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5501.31 MiB)
15:16:26 [15:16:26.497]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4307 ms. (mem: 6067.31 MiB)
15:16:26 [15:16:26.659]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6067.31 MiB)
15:16:26 [15:16:26.937]
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.07 MiB)
15:16:28 [15:16:28.254]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7325.66 MiB)
15:16:35 [15:16:35.152]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7325.66 MiB)
15:16:39 [15:16:39.505]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7325.66 MiB)
15:16:41 [15:16:41.329]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9140.78 MiB)
15:16:44 [15:16:44.315]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9141.78 MiB)
15:16:51 [15:16:51.393]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9141.78 MiB)
15:16:53 [15:16:53.002]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9141.78 MiB)
15:16:53 [15:16:53.036]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9141.78 MiB)
15:16:53 [15:16:53.853]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/c29f0e82/bb/tmp-7uTjH7/public_inputs" (mem: 9141.78 MiB)
15:16:53 Public inputs fields saved to "/tmp/c29f0e82/bb/tmp-7uTjH7/public_inputs_fields.json" (mem: 9141.78 MiB)
15:16:53 Proof saved to "/tmp/c29f0e82/bb/tmp-7uTjH7/proof" (mem: 9141.78 MiB)
15:16:53 Proof fields saved to "/tmp/c29f0e82/bb/tmp-7uTjH7/proof_fields.json"
15:16:53 [15:16:53.857]
INFO:
bb-prover RootParityArtifact BB out - (mem: 9141.78 MiB)
15:16:53 VK saved to "/tmp/c29f0e82/bb/tmp-7uTjH7/vk" (mem: 9141.78 MiB)
15:16:53 VK fields saved to "/tmp/c29f0e82/bb/tmp-7uTjH7/vk_fields.json" (mem: 9141.78 MiB)
15:16:54 [15:16:54.195]
INFO:
bb-prover Generated proof for RootParityArtifact in 43022 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":43021.575516,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:16:54 [15:16:54.198]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:16:54 [15:16:54.198]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c29f0e82/bb/tmp-v3sp8L/proof -k /tmp/c29f0e82/bb/tmp-v3sp8L/vk -i /tmp/c29f0e82/bb/tmp-v3sp8L/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:16:54 [15:16:54.221]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.15 MiB)
15:16:54 [15:16:54.222]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.15 MiB)
15:16:54 --public_inputs_path: /tmp/c29f0e82/bb/tmp-v3sp8L/public_inputs (mem: 255.15 MiB)
15:16:54 --proof_path: /tmp/c29f0e82/bb/tmp-v3sp8L/proof (mem: 255.15 MiB)
15:16:54 --vk_path: /tmp/c29f0e82/bb/tmp-v3sp8L/vk (mem: 255.15 MiB)
15:16:54 --verbose: true (mem: 255.15 MiB)
15:16:54 --scheme: ultra_honk (mem: 255.15 MiB)
15:16:54 --oracle_hash: poseidon2 (mem: 255.15 MiB)
15:16:54 --disable_zk: true (mem: 255.15 MiB)
15:16:54 [15:16:54.223]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 255.15 MiB)
15:16:54 [15:16:54.233]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 255.15 MiB)
15:16:54 Proof verification failed (mem: 255.15 MiB)
15:16:54 [15:16:54.233]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 255.15 MiB)
15:16:54 [15:16:54.236]
ERROR:
bb-prover Error running operation at /tmp/c29f0e82/bb/tmp-v3sp8L: ProvingError: Failed to verify proof from key!
15:16:54 [15:16:54.387]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":69.549543000001,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
15:16:54 [15:16:54.388]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:16:54 [15:16:54.389]
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/c29f0e82/bb/tmp-039EU2 -b /tmp/c29f0e82/bb/tmp-039EU2/RootParityArtifact-bytecode -w /tmp/c29f0e82/bb/tmp-039EU2/partial-witness.gz -v --init_kzg_accumulator -v
15:16:54 [15:16:54.411]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.15 MiB)
15:16:54 [15:16:54.411]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.15 MiB)
15:16:54 --scheme: ultra_honk (mem: 255.15 MiB)
15:16:54 --bytecode_path: /tmp/c29f0e82/bb/tmp-039EU2/RootParityArtifact-bytecode (mem: 255.15 MiB)
15:16:54 --witness_path: /tmp/c29f0e82/bb/tmp-039EU2/partial-witness.gz (mem: 255.15 MiB)
15:16:54 --output_path: /tmp/c29f0e82/bb/tmp-039EU2 (mem: 255.15 MiB)
15:16:54 Warning: the following option is called more than once (mem: 255.15 MiB)
15:16:54 --verbose: true (mem: 255.15 MiB)
15:16:54 --oracle_hash: poseidon2 (mem: 255.15 MiB)
15:16:54 --output_format: bytes_and_fields (mem: 255.15 MiB)
15:16:54 --write_vk: true (mem: 255.15 MiB)
15:16:54 --disable_zk: true (mem: 255.15 MiB)
15:16:54 --init_kzg_accumulator: true (mem: 255.15 MiB)
15:16:54 [15:16:54.559]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.15 MiB)
15:16:54 [15:16:54.572]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 255.15 MiB)
15:16:56 [15:16:56.720]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 407.64 MiB)
15:16:58 [15:16:58.569]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 770.83 MiB)
15:17:00 [15:17:00.262]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1039.73 MiB)
15:17:03 [15:17:03.240]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1410.83 MiB)
15:17:03 Constructing DeciderProvingKey (mem: 1410.83 MiB)
15:17:04 [15:17:04.603]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1857.84 MiB)
15:17:05 [15:17:05.065]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5501.05 MiB)
15:17:06 [15:17:06.946]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3706 ms. (mem: 6066.05 MiB)
15:17:07 [15:17:07.061]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6066.05 MiB)
15:17:07 [15:17:07.172]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6551.57 MiB)
15:17:08 [15:17:08.421]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7320.62 MiB)
15:17:14 [15:17:14.089]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7320.62 MiB)
15:17:18 [15:17:18.036]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7320.62 MiB)
15:17:20 [15:17:20.822]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9141.75 MiB)
15:17:22 [15:17:22.908]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9141.75 MiB)
15:17:28 [15:17:28.304]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9141.75 MiB)
15:17:29 [15:17:29.633]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9141.75 MiB)
15:17:29 [15:17:29.676]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9141.75 MiB)
15:17:30 [15:17:30.485]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/c29f0e82/bb/tmp-039EU2/public_inputs" (mem: 9141.75 MiB)
15:17:30 [15:17:30.486]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/c29f0e82/bb/tmp-039EU2/public_inputs_fields.json" (mem: 9141.75 MiB)
15:17:30 Proof saved to "/tmp/c29f0e82/bb/tmp-039EU2/proof" (mem: 9141.75 MiB)
15:17:30 Proof fields saved to "/tmp/c29f0e82/bb/tmp-039EU2/proof_fields.json" (mem: 9141.75 MiB)
15:17:30 VK saved to "/tmp/c29f0e82/bb/tmp-039EU2/vk" (mem: 9141.75 MiB)
15:17:30 VK fields saved to "/tmp/c29f0e82/bb/tmp-039EU2/vk_fields.json" (mem: 9141.75 MiB)
15:17:30 [15:17:30.803]
INFO:
bb-prover Generated proof for RootParityArtifact in 36413 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":36412.82029399999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:17:30 [15:17:30.805]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:17:30 [15:17:30.805]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c29f0e82/bb/tmp-zQQXYK/proof -k /tmp/c29f0e82/bb/tmp-zQQXYK/vk -i /tmp/c29f0e82/bb/tmp-zQQXYK/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:17:30 [15:17:30.827]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.15 MiB)
15:17:30 [15:17:30.827]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.15 MiB)
15:17:30 --public_inputs_path: /tmp/c29f0e82/bb/tmp-zQQXYK/public_inputs (mem: 255.15 MiB)
15:17:30 --proof_path: /tmp/c29f0e82/bb/tmp-zQQXYK/proof (mem: 255.15 MiB)
15:17:30 --vk_path: /tmp/c29f0e82/bb/tmp-zQQXYK/vk (mem: 255.15 MiB)
15:17:30 --verbose: true (mem: 255.15 MiB)
15:17:30 --scheme: ultra_honk (mem: 255.15 MiB)
15:17:30 --oracle_hash: poseidon2 (mem: 255.15 MiB)
15:17:30 --disable_zk: true (mem: 255.15 MiB)
15:17:30 [15:17:30.829]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 255.15 MiB)
15:17:30 [15:17:30.837]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 255.15 MiB)
15:17:30 Proof verification failed (mem: 255.15 MiB)
15:17:30 verified: 0 (mem: 255.15 MiB)
15:17:30 [15:17:30.838]
ERROR:
bb-prover Error running operation at /tmp/c29f0e82/bb/tmp-zQQXYK: ProvingError: Failed to verify proof from key!
15:17:30 [15:17:30.841]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
15:17:30
PASS src/test/bb_prover_parity.test.ts (
139.989 s)
15:17:30 prover/bb_prover/parity
15:17:30
✓ proves the parity circuits (128780 ms)
15:17:30
15:17:30
Test Suites: 1 passed, 1 total
15:17:30
Tests: 1 passed, 1 total
15:17:30
Snapshots: 0 total
15:17:30
Time: 140.09 s
15:17:30
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
15:17:30
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?