Parent Log:
http://ci.aztec-labs.com/dafb1ddad3ade185
Command: d8033ca60b1dba76: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/9ddf7d35886489afed34aca3cb819b32c86194b4
Env: REF_NAME=gh-readonly-queue/next/pr-15215-99e234fe4473771b32124e0402885610a6a3f98a CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 24 09:18:37 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15215_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
09:18:37 +++ id -u
09:18:37 +++ id -g
09:18:37 ++ 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'\'''
09:18:38 + cid=f2db1941d062806cac57df8d0067be7c1987ad137722dfb83111d53260c0ba0d
09:18:38 + set +x
09:18:40 {"level":25,"time":1750756720362,"pid":7,"hostname":"f2db1941d062","module":"logger","msg":"Logger initialized with level verbose"}
09:18:48 [09:18:48.425]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-5ihMDF/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
09:18:48 [09:18:48.484]
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/92528f2f/bb
09:18:48 [09:18:48.486]
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/92528f2f/acvm
09:18:48 [09:18:48.487]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/92528f2f/bb
09:18:48 [09:18:48.487]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/92528f2f/acvm
09:18:48 [09:18:48.494]
INFO:
prover-client:proving-broker Proving Broker started
09:18:48 [09:18:48.497]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
09:18:48 [09:18:48.710]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":77.69920900000034,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:18:48 [09:18:48.724]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":102.14247799999976,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:18:48 [09:18:48.738]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":69.78670299999976,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:18:48 [09:18:48.741]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:18:48 [09:18:48.741]
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/92528f2f/bb/tmp-KDn1Ik -b /tmp/92528f2f/bb/tmp-KDn1Ik/BaseParityArtifact-bytecode -w /tmp/92528f2f/bb/tmp-KDn1Ik/partial-witness.gz -v --init_kzg_accumulator -v
09:18:48 [09:18:48.765]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:18:48 [09:18:48.766]
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/92528f2f/bb/tmp-B3hqa5 -b /tmp/92528f2f/bb/tmp-B3hqa5/BaseParityArtifact-bytecode -w /tmp/92528f2f/bb/tmp-B3hqa5/partial-witness.gz -v --init_kzg_accumulator -v
09:18:48 [09:18:48.787]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:18:48 [09:18:48.788]
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/92528f2f/bb/tmp-eERk8v -b /tmp/92528f2f/bb/tmp-eERk8v/BaseParityArtifact-bytecode -w /tmp/92528f2f/bb/tmp-eERk8v/partial-witness.gz -v --init_kzg_accumulator -v
09:18:48 [09:18:48.816]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 249.61 MiB)
09:18:48 Scheme is: ultra_honk, num threads: 128 (mem: 249.61 MiB)
09:18:48 --scheme: ultra_honk (mem: 249.61 MiB)
09:18:48 --bytecode_path: /tmp/92528f2f/bb/tmp-KDn1Ik/BaseParityArtifact-bytecode (mem: 249.61 MiB)
09:18:48 --witness_path: /tmp/92528f2f/bb/tmp-KDn1Ik/partial-witness.gz (mem: 249.61 MiB)
09:18:48 --output_path: /tmp/92528f2f/bb/tmp-KDn1Ik (mem: 249.61 MiB)
09:18:48 Warning: the following option is called more than once (mem: 249.61 MiB)
09:18:48 --verbose: true (mem: 249.61 MiB)
09:18:48 --oracle_hash: poseidon2 (mem: 249.61 MiB)
09:18:48 --output_format: bytes_and_fields (mem: 249.61 MiB)
09:18:48 --write_vk: true (mem: 249.61 MiB)
09:18:48 --disable_zk: true (mem: 249.61 MiB)
09:18:48 --init_kzg_accumulator: true (mem: 249.61 MiB)
09:18:48 [09:18:48.820]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.44 MiB)
09:18:48 Scheme is: ultra_honk, num threads: 128 (mem: 250.44 MiB)
09:18:48 --scheme: ultra_honk (mem: 250.44 MiB)
09:18:48 --bytecode_path: /tmp/92528f2f/bb/tmp-B3hqa5/BaseParityArtifact-bytecode (mem: 250.44 MiB)
09:18:48 --witness_path: /tmp/92528f2f/bb/tmp-B3hqa5/partial-witness.gz (mem: 250.44 MiB)
09:18:48 --output_path: /tmp/92528f2f/bb/tmp-B3hqa5 (mem: 250.44 MiB)
09:18:48 Warning: the following option is called more than once (mem: 250.44 MiB)
09:18:48 --verbose: true (mem: 250.44 MiB)
09:18:48 --oracle_hash: poseidon2 (mem: 250.44 MiB)
09:18:48 --output_format: bytes_and_fields (mem: 250.44 MiB)
09:18:48 --write_vk: true (mem: 250.44 MiB)
09:18:48 --disable_zk: true (mem: 250.44 MiB)
09:18:48 --init_kzg_accumulator: true (mem: 250.44 MiB)
09:18:48 [09:18:48.829]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":82.22152499999902,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:18:48 [09:18:48.830]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.44 MiB)
09:18:48 Scheme is: ultra_honk, num threads: 128 (mem: 250.44 MiB)
09:18:48 --scheme: ultra_honk (mem: 250.44 MiB)
09:18:48 --bytecode_path: /tmp/92528f2f/bb/tmp-eERk8v/BaseParityArtifact-bytecode (mem: 250.44 MiB)
09:18:48 --witness_path: /tmp/92528f2f/bb/tmp-eERk8v/partial-witness.gz (mem: 250.44 MiB)
09:18:48 --output_path: /tmp/92528f2f/bb/tmp-eERk8v (mem: 250.44 MiB)
09:18:48 Warning: the following option is called more than once (mem: 250.44 MiB)
09:18:48 --verbose: true (mem: 250.44 MiB)
09:18:48 --oracle_hash: poseidon2 (mem: 250.44 MiB)
09:18:48 --output_format: bytes_and_fields (mem: 250.44 MiB)
09:18:48 --write_vk: true (mem: 250.44 MiB)
09:18:48 --disable_zk: true (mem: 250.44 MiB)
09:18:48 --init_kzg_accumulator: true (mem: 250.44 MiB)
09:18:48 [09:18:48.835]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:18:48 [09:18:48.835]
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/92528f2f/bb/tmp-bz1qPp -b /tmp/92528f2f/bb/tmp-bz1qPp/BaseParityArtifact-bytecode -w /tmp/92528f2f/bb/tmp-bz1qPp/partial-witness.gz -v --init_kzg_accumulator -v
09:18:48 [09:18:48.866]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.48 MiB)
09:18:48 Scheme is: ultra_honk, num threads: 128 (mem: 250.48 MiB)
09:18:48 --scheme: ultra_honk (mem: 250.48 MiB)
09:18:48 --bytecode_path: /tmp/92528f2f/bb/tmp-bz1qPp/BaseParityArtifact-bytecode (mem: 250.48 MiB)
09:18:48 --witness_path: /tmp/92528f2f/bb/tmp-bz1qPp/partial-witness.gz (mem: 250.48 MiB)
09:18:48 --output_path: /tmp/92528f2f/bb/tmp-bz1qPp (mem: 250.48 MiB)
09:18:48 Warning: the following option is called more than once (mem: 250.48 MiB)
09:18:48 --verbose: true (mem: 250.48 MiB)
09:18:48 --oracle_hash: poseidon2 (mem: 250.48 MiB)
09:18:48 --output_format: bytes_and_fields (mem: 250.48 MiB)
09:18:48 --write_vk: true (mem: 250.48 MiB)
09:18:48 --disable_zk: true (mem: 250.48 MiB)
09:18:48 --init_kzg_accumulator: true (mem: 250.48 MiB)
09:18:48 [09:18:48.946]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.44 MiB)
09:18:48 [09:18:48.950]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.44 MiB)
09:18:48 [09:18:48.952]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.44 MiB)
09:18:48 [09:18:48.968]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 249.61 MiB)
09:18:48 Constructing DeciderProvingKey (mem: 249.61 MiB)
09:18:48 [09:18:48.974]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 249.61 MiB)
09:18:49 [09:18:49.053]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.44 MiB)
09:18:49 [09:18:49.054]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.44 MiB)
09:18:49 [09:18:49.058]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.44 MiB)
09:18:49 [09:18:49.068]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.48 MiB)
09:18:49 [09:18:49.069]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.48 MiB)
09:18:49 [09:18:49.073]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.48 MiB)
09:18:49 [09:18:49.132]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.44 MiB)
09:18:49 [09:18:49.150]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 249.61 MiB)
09:18:49 [09:18:49.192]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 244 ms. (mem: 250.44 MiB)
09:18:49 [09:18:49.197]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.44 MiB)
09:18:49 [09:18:49.199]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.44 MiB)
09:18:49 [09:18:49.214]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.44 MiB)
09:18:49 [09:18:49.231]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 262 ms. (mem: 249.61 MiB)
09:18:49 [09:18:49.237]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 249.61 MiB)
09:18:49 [09:18:49.239]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.61 MiB)
09:18:49 [09:18:49.239]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.48 MiB)
09:18:49 [09:18:49.240]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.44 MiB)
09:18:49 [09:18:49.251]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 249.61 MiB)
09:18:49 [09:18:49.391]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 321 ms. (mem: 250.48 MiB)
09:18:49 [09:18:49.397]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.48 MiB)
09:18:49 [09:18:49.398]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.48 MiB)
09:18:49 [09:18:49.409]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.48 MiB)
09:18:49 [09:18:49.410]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 355 ms. (mem: 250.44 MiB)
09:18:49 [09:18:49.419]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.44 MiB)
09:18:49 [09:18:49.419]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.44 MiB)
09:18:49 [09:18:49.446]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.44 MiB)
09:18:50 [09:18:50.472]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.61 MiB)
09:18:50 [09:18:50.502]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.44 MiB)
09:18:50 [09:18:50.523]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.48 MiB)
09:18:50 [09:18:50.566]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.44 MiB)
09:18:51 [09:18:51.114]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.44 MiB)
09:18:51 [09:18:51.204]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 249.61 MiB)
09:18:51 [09:18:51.220]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.48 MiB)
09:18:51 [09:18:51.297]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.44 MiB)
09:18:51 [09:18:51.467]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.44 MiB)
09:18:51 [09:18:51.468]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.44 MiB)
09:18:51 [09:18:51.487]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.48 MiB)
09:18:51 [09:18:51.610]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 249.61 MiB)
09:18:51 [09:18:51.634]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.44 MiB)
09:18:51 [09:18:51.662]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.44 MiB)
09:18:51 [09:18:51.671]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.48 MiB)
09:18:51 [09:18:51.781]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 249.61 MiB)
09:18:53 [09:18:53.011]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.44 MiB)
09:18:53 [09:18:53.064]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.44 MiB)
09:18:53 [09:18:53.132]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.44 MiB)
09:18:53 finished decider proving. (mem: 250.44 MiB)
09:18:53 [09:18:53.134]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/92528f2f/bb/tmp-eERk8v/public_inputs" (mem: 250.44 MiB)
09:18:53 Public inputs fields saved to "/tmp/92528f2f/bb/tmp-eERk8v/public_inputs_fields.json" (mem: 250.44
09:18:53 [09:18:53.135]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
09:18:53 [09:18:53.136]
INFO:
bb-prover BaseParityArtifact BB out - Proof saved to "/tmp/92528f2f/bb/tmp-eERk8v/proof" (mem: 250.44 MiB)
09:18:53 [09:18:53.140]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/92528f2f/bb/tmp-eERk8v/proof_fields.json" (mem: 250.44 MiB)
09:18:53 [09:18:53.141]
INFO:
bb-prover BaseParityArtifact BB out - VK saved to "/tmp/92528f2f/bb/tmp-eERk8v/vk" (mem: 250.44 MiB)
09:18:53 VK fields saved to "/tmp/92528f2f/bb/tmp-eERk8v/vk_fields.json" (mem: 250.44 MiB)
09:18:53 [09:18:53.218]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.44 MiB)
09:18:53 finished decider proving. (mem: 250.44 MiB)
09:18:53 Public inputs saved to "/tmp/92528f2f/bb/tmp-B3hqa5/public_inputs" (mem: 250.44 MiB)
09:18:53 Public inputs fields saved to "/tmp/92528f2f/bb/tmp-B3hqa5/public_inputs_fields.json" (mem: 250.44 MiB)
09:18:53 Proof saved to "/tmp/92528f2f/bb/tmp-B3hqa5/proof" (mem: 250.44 MiB)
09:18:53 Proof fields saved to "/tmp/92528f2f/bb/tmp-B3hqa5/proof_fields.json" (mem: 250.44 MiB)
09:18:53 VK saved to "/tmp/92528f2f/bb/tmp-B3hqa5/vk" (mem: 250.44 MiB)
09:18:53 VK fields saved to "/tmp/92528f2f/bb/tmp-B3hqa5/vk_fields.json" (mem: 250.44 MiB)
09:18:53 [09:18:53.230]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4435 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4434.653195999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:18:53 [09:18:53.256]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:18:53 [09:18:53.258]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/92528f2f/bb/tmp-lRlgvq/proof -k /tmp/92528f2f/bb/tmp-lRlgvq/vk -i /tmp/92528f2f/bb/tmp-lRlgvq/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:18:53 [09:18:53.310]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.89 MiB)
09:18:53 Scheme is: ultra_honk, num threads: 128 (mem: 249.89 MiB)
09:18:53 --public_inputs_path: /tmp/92528f2f/bb/tmp-lRlgvq/public_inputs (mem: 249.89 MiB)
09:18:53 --proof_path: /tmp/92528f2f/bb/tmp-lRlgvq/proof (mem: 249.89 MiB)
09:18:53 --vk_path: /tmp/92528f2f/bb/tmp-lRlgvq/vk (mem: 249.89 MiB)
09:18:53 --verbose: true (mem: 249.89 MiB)
09:18:53 --scheme: ultra_honk (mem: 249.89 MiB)
09:18:53 --oracle_hash: poseidon2 (mem: 249.89 MiB)
09:18:53 --disable_zk: true (mem: 249.89 MiB)
09:18:53 [09:18:53.317]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4540 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4539.936610999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:18:53 [09:18:53.325]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.89 MiB)
09:18:53 [09:18:53.328]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:18:53 [09:18:53.329]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/92528f2f/bb/tmp-TWXb7L/proof -k /tmp/92528f2f/bb/tmp-TWXb7L/vk -i /tmp/92528f2f/bb/tmp-TWXb7L/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:18:53 [09:18:53.351]
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: 249.89 MiB)
09:18:53 Initialized BN254 CRS from memory with num points = 1 (mem: 249.89 MiB)
09:18:53 [09:18:53.352]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 249.89 MiB)
09:18:53 libra_evals_verified: 1 (mem: 249.89 MiB)
09:18:53 pairing_check_verified: 1 (mem: 249.89 MiB)
09:18:53 Proof verified successfully (mem: 249.89 MiB)
09:18:53 verified: 1 (mem: 249.89 MiB)
09:18:53 [09:18:53.355]
INFO:
bb-prover Successfully verified proof from key in 99.44989800000076 ms
09:18:53 [09:18:53.356]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.50 MiB)
09:18:53 Scheme is: ultra_honk, num threads: 128 (mem: 250.50 MiB)
09:18:53 --public_inputs_path: /tmp/92528f2f/bb/tmp-TWXb7L/public_inputs (mem: 250.50 MiB)
09:18:53 --proof_path: /tmp/92528f2f/bb/tmp-TWXb7L/proof (mem: 250.50 MiB)
09:18:53 --vk_path: /tmp/92528f2f/bb/tmp-TWXb7L/vk (mem: 250.50 MiB)
09:18:53 --verbose: true (mem: 250.50 MiB)
09:18:53 --scheme: ultra_honk (mem: 250.50 MiB)
09:18:53 --oracle_hash: poseidon2 (mem: 250.50 MiB)
09:18:53 --disable_zk: true (mem: 250.50 MiB)
09:18:53 [09:18:53.356]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.50 MiB)
09:18:53 [09:18:53.374]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.50 MiB)
09:18:53 Initialized BN254 CRS from memory with num points = 1 (mem: 250.50 MiB)
09:18:53 [09:18:53.377]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.50 MiB)
09:18:53 libra_evals_verified: 1 (mem: 250.50 MiB)
09:18:53 pairing_check_verified: 1 (mem: 250.50 MiB)
09:18:53 Proof verified successfully (mem: 250.50 MiB)
09:18:53 verified: 1 (mem: 250.50 MiB)
09:18:53 [09:18:53.378]
INFO:
bb-prover Successfully verified proof from key in 49.91126500000064 ms
09:18:53 [09:18:53.445]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.48 MiB)
09:18:53 [09:18:53.577]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 249.61 MiB)
09:18:53 [09:18:53.582]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.48 MiB)
09:18:53 finished decider proving. (mem: 250.48 MiB)
09:18:53 [09:18:53.584]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/92528f2f/bb/tmp-bz1qPp/public_inputs" (mem: 250.48 MiB)
09:18:53 Public inputs fields saved to "/tmp/92528f2f/bb/tmp-bz1qPp/public_inputs_fields.json" (mem: 250.48 MiB)
09:18:53 Proof saved to "/tmp/92528f2f/bb/tmp-bz1qPp/proof" (mem: 250.48 MiB)
09:18:53 Proof fields saved to "/tmp/92528f2f/bb/tmp-bz1qPp/proof_fields.json" (mem: 250.48 MiB)
09:18:53 VK saved to "/tmp/92528f2f/bb/tmp-bz1qPp/vk" (mem: 250.48 MiB)
09:18:53 VK fields saved to "/tmp/92528f2f/bb/tmp-bz1qPp/vk_fields.json" (mem: 250.48 MiB)
09:18:53 [09:18:53.633]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 249.61 MiB)
09:18:53 finished decider proving. (mem: 249.61 MiB)
09:18:53 [09:18:53.634]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/92528f2f/bb/tmp-KDn1Ik/public_inputs" (mem: 249.61 MiB)
09:18:53 Public inputs fields saved to "/tmp/92528f2f/bb/tmp-KDn1Ik/public_inputs_fields.json" (mem: 249.61 MiB)
09:18:53 Proof saved to "/tmp/92528f2f/bb/tmp-KDn1Ik/proof" (mem: 249.61 MiB)
09:18:53 Proof fields saved to "/tmp/92528f2f/bb/tmp-KDn1Ik/proof_fields.json" (mem: 249.61 MiB)
09:18:53 VK saved to "/tmp/92528f2f/bb/tmp-KDn1Ik/vk" (mem: 249.61 MiB)
09:18:53 [09:18:53.634]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/92528f2f/bb/tmp-KDn1Ik/vk_fields.json" (mem: 249.61 MiB)
09:18:53 [09:18:53.639]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4801 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4800.621080000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:18:53 [09:18:53.646]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:18:53 [09:18:53.647]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/92528f2f/bb/tmp-u58zVq/proof -k /tmp/92528f2f/bb/tmp-u58zVq/vk -i /tmp/92528f2f/bb/tmp-u58zVq/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:18:53 [09:18:53.682]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.31 MiB)
09:18:53 Scheme is: ultra_honk, num threads: 128 (mem: 250.31 MiB)
09:18:53 --public_inputs_path: /tmp/92528f2f/bb/tmp-u58zVq/public_inputs (mem: 250.31 MiB)
09:18:53 --proof_path: /tmp/92528f2f/bb/tmp-u58zVq/proof (mem: 250.31 MiB)
09:18:53 --vk_path: /tmp/92528f2f/bb/tmp-u58zVq/vk (mem: 250.31 MiB)
09:18:53 --verbose: true (mem: 250.31 MiB)
09:18:53 --scheme: ultra_honk (mem: 250.31 MiB)
09:18:53 --oracle_hash: poseidon2 (mem: 250.31 MiB)
09:18:53 --disable_zk: true (mem: 250.31 MiB)
09:18:53 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.31 MiB)
09:18:53 [09:18:53.698]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4946 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4945.656306000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:18:53 [09:18:53.699]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.31 MiB)
09:18:53 Initialized BN254 CRS from memory with num points = 1 (mem: 250.31 MiB)
09:18:53 sumcheck_verified: 1 (mem: 250.31 MiB)
09:18:53 libra_evals_verified: 1 (mem: 250.31 MiB)
09:18:53 pairing_check_verified: 1 (mem: 250.31 MiB)
09:18:53 Proof verified successfully (mem: 250.31 MiB)
09:18:53 verified: 1 (mem: 250.31 MiB)
09:18:53 [09:18:53.700]
INFO:
bb-prover Successfully verified proof from key in 54.32492699999966 ms
09:18:53 [09:18:53.705]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:18:53 [09:18:53.706]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/92528f2f/bb/tmp-XtE386/proof -k /tmp/92528f2f/bb/tmp-XtE386/vk -i /tmp/92528f2f/bb/tmp-XtE386/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:18:53 [09:18:53.735]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
09:18:53 [09:18:53.736]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
09:18:53 [09:18:53.738]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.64 MiB)
09:18:53 Scheme is: ultra_honk, num threads: 128 (mem: 250.64 MiB)
09:18:53 --public_inputs_path: /tmp/92528f2f/bb/tmp-XtE386/public_inputs (mem: 250.64 MiB)
09:18:53 --proof_path: /tmp/92528f2f/bb/tmp-XtE386/proof (mem: 250.64 MiB)
09:18:53 --vk_path: /tmp/92528f2f/bb/tmp-XtE386/vk (mem: 250.64 MiB)
09:18:53 --verbose: true (mem: 250.64 MiB)
09:18:53 --scheme: ultra_honk (mem: 250.64 MiB)
09:18:53 --oracle_hash: poseidon2 (mem: 250.64 MiB)
09:18:53 --disable_zk: true (mem: 250.64 MiB)
09:18:53 [09:18:53.739]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7
09:18:53 [09:18:53.743]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.64 MiB)
09:18:53 [09:18:53.757]
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"
09:18:53 [09:18:53.758]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.64 MiB)
09:18:53 [09:18:53.758]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 250.64 MiB)
09:18:53 [09:18:53.760]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.64 MiB)
09:18:53 libra_evals_verified: 1 (mem: 250.64 MiB)
09:18:53 pairing_check_verified: 1 (mem: 250.64 MiB)
09:18:53 Proof verified successfully (mem: 250.64 MiB)
09:18:53 [09:18:53.761]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 250.64 MiB)
09:18:53 [09:18:53.762]
INFO:
bb-prover Successfully verified proof from key in 57.26607300000069 ms
09:18:53 [09:18:53.784]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:18:53 [09:18:53.787]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/92528f2f/bb/tmp-1a7LB0/proof -k /tmp/92528f2f/bb/tmp-1a7LB0/vk -i /tmp/92528f2f/bb/tmp-1a7LB0/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:18:53 [09:18:53.813]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:18:53 [09:18:53.814]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/92528f2f/bb/tmp-rGVQtP/proof -k /tmp/92528f2f/bb/tmp-rGVQtP/vk -i /tmp/92528f2f/bb/tmp-rGVQtP/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:18:53 [09:18:53.844]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:18:53 [09:18:53.848]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/92528f2f/bb/tmp-ypau08/proof -k /tmp/92528f2f/bb/tmp-ypau08/vk -i /tmp/92528f2f/bb/tmp-ypau08/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:18:53 [09:18:53.872]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:18:53 [09:18:53.872]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/92528f2f/bb/tmp-CQ6Xqx/proof -k /tmp/92528f2f/bb/tmp-CQ6Xqx/vk -i /tmp/92528f2f/bb/tmp-CQ6Xqx/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:18:53 [09:18:53.893]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.70 MiB)
09:18:53 Scheme is: ultra_honk, num threads: 128 (mem: 250.70 MiB)
09:18:53 --public_inputs_path: /tmp/92528f2f/bb/tmp-1a7LB0/public_inputs (mem: 250.70 MiB)
09:18:53 --proof_path: /tmp/92528f2f/bb/tmp-1a7LB0/proof (mem: 250.70 MiB)
09:18:53 --vk_path: /tmp/92528f2f/bb/tmp-1a7LB0/vk (mem: 250.70 MiB)
09:18:53 --verbose: true (mem: 250.70 MiB)
09:18:53 --scheme: ultra_honk (mem: 250.70 MiB)
09:18:53 --oracle_hash: poseidon2 (mem: 250.70 MiB)
09:18:53 --disable_zk: true (mem: 250.70 MiB)
09:18:53 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.70 MiB)
09:18:53 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.70 MiB)
09:18:53 Initialized BN254 CRS from memory with num points = 1 (mem: 250.70 MiB)
09:18:53 sumcheck_verified: 1 (mem: 250.70 MiB)
09:18:53 libra_evals_verified: 1 (mem: 250.70 MiB)
09:18:53 pairing_check_verified: 1 (mem: 250.70 MiB)
09:18:53 Proof verified successfully (mem: 250.70 MiB)
09:18:53 verified: 1 (mem: 250.70 MiB)
09:18:53 [09:18:53.894]
INFO:
bb-prover Successfully verified proof from key in 109.63634699999966 ms
09:18:53 [09:18:53.894]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.70 MiB)
09:18:53 Scheme is: ultra_honk, num threads: 128 (mem: 250.70 MiB)
09:18:53 --public_inputs_path: /tmp/92528f2f/bb/tmp-rGVQtP/public_inputs (mem: 250.70 MiB)
09:18:53 --proof_path: /tmp/92528f2f/bb/tmp-rGVQtP/proof (mem: 250.70 MiB)
09:18:53 --vk_path: /tmp/92528f2f/bb/tmp-rGVQtP/vk (mem: 250.70 MiB)
09:18:53 --verbose: true (mem: 250.70 MiB)
09:18:53 --scheme: ultra_honk (mem: 250.70 MiB)
09:18:53 --oracle_hash: poseidon2 (mem: 250.70 MiB)
09:18:53 --disable_zk: true (mem: 250.70 MiB)
09:18:53 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.70 MiB)
09:18:53 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.70 MiB)
09:18:53 Initialized BN254 CRS from memory with num points = 1 (mem: 250.70 MiB)
09:18:53 sumcheck_verified: 1 (mem: 250.70 MiB)
09:18:53 libra_evals_verified: 1 (mem: 250.70 MiB)
09:18:53 pairing_check_verified: 1 (mem: 250.70 MiB)
09:18:53 Proof verified successfully (mem: 250.70 MiB)
09:18:53 verified: 1 (mem: 250.70 MiB)
09:18:53 [09:18:53.895]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.70 MiB)
09:18:53 Scheme is: ultra_honk, num threads: 128 (mem: 249.70 MiB)
09:18:53 --public_inputs_path: /tmp/92528f2f/bb/tmp-ypau08/public_inputs (mem: 249.70 MiB)
09:18:53 --proof_path: /tmp/92528f2f/bb/tmp-ypau08/proof (mem: 249.70 MiB)
09:18:53 --vk_path: /tmp/92528f2f/bb/tmp-ypau08/vk (mem: 249.70 MiB)
09:18:53 --verbose: true (mem: 249.70 MiB)
09:18:53 --scheme: ultra_honk (mem: 249.70 MiB)
09:18:53 --oracle_hash: poseidon2 (mem: 249.70 MiB)
09:18:53 --disable_zk: true (mem: 249.70 MiB)
09:18:53 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.70 MiB)
09:18:53 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.70 MiB)
09:18:53 Initialized BN254 CRS from memory with num points = 1 (mem: 249.70 MiB)
09:18:53 sumcheck_verified: 1 (mem: 249.70 MiB)
09:18:53 libra_evals_verified: 1 (mem: 249.70 MiB)
09:18:53 pairing_check_verified: 1 (mem: 249.70 MiB)
09:18:53 Proof verified successfully (mem: 249.70 MiB)
09:18:53 verified: 1 (mem: 249.70 MiB)
09:18:53 [09:18:53.896]
INFO:
bb-prover Successfully verified proof from key in 82.59624299999996 ms
09:18:53 [09:18:53.904]
INFO:
bb-prover Successfully verified proof from key in 60.4671359999993 ms
09:18:53 [09:18:53.905]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.70 MiB)
09:18:53 Scheme is: ultra_honk, num threads: 128 (mem: 250.70 MiB)
09:18:53 --public_inputs_path: /tmp/92528f2f/bb/tmp-CQ6Xqx/public_inputs (mem: 250.70 MiB)
09:18:53 --proof_path: /tmp/92528f2f/bb/tmp-CQ6Xqx/proof (mem: 250.70 MiB)
09:18:53 --vk_path: /tmp/92528f2f/bb/tmp-CQ6Xqx/vk (mem: 250.70 MiB)
09:18:53 --verbose: true (mem: 250.70 MiB)
09:18:53 --scheme: ultra_honk (mem: 250.70 MiB)
09:18:53 --oracle_hash: poseidon2 (mem: 250.70 MiB)
09:18:53 --disable_zk: true (mem: 250.70 MiB)
09:18:53 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.70 MiB)
09:18:53 [09:18:53.921]
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"
09:18:53 [09:18:53.921]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.70 MiB)
09:18:53 [09:18:53.922]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 250.70 MiB)
09:18:53 [09:18:53.923]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.70 MiB)
09:18:53 libra_evals_verified: 1 (mem:
09:18:53 [09:18:53.923]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.70 MiB)
09:18:53 pairing_check_verified: 1 (mem: 250.70 MiB)
09:18:53 Proof verified successfully (mem: 250.70 MiB)
09:18:53 verified: 1 (mem: 250.70 MiB)
09:18:53 [09:18:53.926]
INFO:
bb-prover Successfully verified proof from key in 53.82400099999904 ms
09:18:54 [09:18:54.138]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":76.34425899999951,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
09:18:54 [09:18:54.141]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:18:54 [09:18:54.142]
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/92528f2f/bb/tmp-JMITE1 -b /tmp/92528f2f/bb/tmp-JMITE1/RootParityArtifact-bytecode -w /tmp/92528f2f/bb/tmp-JMITE1/partial-witness.gz -v --init_kzg_accumulator -v
09:18:54 [09:18:54.177]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem:
09:18:54 [09:18:54.178]
INFO:
bb-prover RootParityArtifact BB out - 252.22 MiB)
09:18:54 Scheme is: ultra_honk, num threads: 128 (mem: 252.22 MiB)
09:18:54 --scheme: ultra_honk (mem: 252.22 MiB)
09:18:54 --bytecode_path: /tmp/92528f2f/bb/tmp-JMITE1/RootParityArtifact-bytecode (mem: 252.22 MiB)
09:18:54 --witness_path: /tmp/92528f2f/bb/tmp-JMITE1/partial-witness.gz (mem: 252.22 MiB)
09:18:54 --output_path: /tmp/92528f2f/bb/tmp-JMITE1 (mem: 252.22 MiB)
09:18:54 Warning: the following option is called more than once (mem: 252.22 MiB)
09:18:54 --verbose: true (mem: 252.22 MiB)
09:18:54 --oracle_hash: poseidon2 (mem: 252.22 MiB)
09:18:54 --output_format: bytes_and_fields (mem: 252.22 MiB)
09:18:54 --write_vk: true (mem: 252.22 MiB)
09:18:54 --disable_zk: true (mem: 252.22 MiB)
09:18:54 --init_kzg_accumulator: true (mem: 252.22 MiB)
09:18:54 [09:18:54.346]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.22 MiB)
09:18:56 [09:18:56.644]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 414.89 MiB)
09:18:59 [09:18:59.087]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 787.50 MiB)
09:19:01 [09:19:01.336]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1042.71 MiB)
09:19:03 [09:19:03.785]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1419.91 MiB)
09:19:03 Constructing DeciderProvingKey (mem: 1419.91 MiB)
09:19:05 [09:19:05.119]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1805.48 MiB)
09:19:05 [09:19:05.553]
INFO:
bb-prover RootParityArtifact BB out - populating trace...
09:19:05 [09:19:05.554]
INFO:
bb-prover RootParityArtifact BB out - (mem: 5439.50 MiB)
09:19:07 [09:19:07.611]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3826 ms. (mem: 6029.50 MiB)
09:19:07 [09:19:07.753]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6029.50 MiB)
09:19:07 [09:19:07.754]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6029.50 MiB)
09:19:08 [09:19:08.658]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6029.50 MiB)
09:19:13 [09:19:13.017]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6029.50 MiB)
09:19:18 [09:19:18.579]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6029.50 MiB)
09:19:20 [09:19:20.669]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6718.51 MiB)
09:19:23 [09:19:23.507]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6718.51 MiB)
09:19:30 [09:19:30.668]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6718.51 MiB)
09:19:32 [09:19:32.423]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6718.51 MiB)
09:19:32 [09:19:32.456]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6718.51 MiB)
09:19:32 [09:19:32.926]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/92528f2f/bb/tmp-JMITE1/public_inputs" (mem: 6718.51 MiB)
09:19:32 [09:19:32.927]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/92528f2f/bb/tmp-JMITE1/public_inputs_fields.json" (mem: 6718.51 MiB)
09:19:32 Proof saved to "/tmp/92528f2f/bb/tmp-JMITE1/proof" (mem: 6718.51 MiB)
09:19:32 Proof fields saved to "/tmp/92528f2f/bb/tmp-JMITE1/proof_fields.json" (mem: 6718.51 MiB)
09:19:32 VK saved to "/tmp/92528f2f/bb/tmp-JMITE1/vk" (mem: 6718.51 MiB)
09:19:32 VK fields saved to "/tmp/92528f2f/bb/tmp-JMITE1/vk_fields.json" (mem: 6718.51 MiB)
09:19:33 [09:19:33.100]
INFO:
bb-prover Generated proof for RootParityArtifact in 38956 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":38955.345149,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:19:33 [09:19:33.104]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:19:33 [09:19:33.104]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/92528f2f/bb/tmp-3rpPVc/proof -k /tmp/92528f2f/bb/tmp-3rpPVc/vk -i /tmp/92528f2f/bb/tmp-3rpPVc/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:19:33 [09:19:33.141]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.25 MiB)
09:19:33 Scheme is: ultra_honk, num threads: 128 (mem: 252.25 MiB)
09:19:33 --public_inputs_path: /tmp/92528f2f/bb/tmp-3rpPVc/public_inputs (mem: 252.25 MiB)
09:19:33 --proof_path: /tmp/92528f2f/bb/tmp-3rpPVc/proof (mem: 252.25 MiB)
09:19:33 --vk_path: /tmp/92528f2f/bb/tmp-3rpPVc/vk (mem: 252.25 MiB)
09:19:33 --verbose: true (mem: 252.25 MiB)
09:19:33 --scheme: ultra_honk (mem: 252.25 MiB)
09:19:33 --oracle_hash: poseidon2 (mem: 252.25 MiB)
09:19:33 --disable_zk: true (mem: 252.25 MiB)
09:19:33 vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 252.25 MiB)
09:19:33 [09:19:33.156]
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.25 MiB)
09:19:33 [09:19:33.157]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 252.25 MiB)
09:19:33 [09:19:33.157]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.25 MiB)
09:19:33 libra_evals_verified: 1 (mem: 252.25 MiB)
09:19:33 pairing_check_verified: 1 (mem: 252.25 MiB)
09:19:33 Proof verified successfully (mem: 252.25 MiB)
09:19:33 [09:19:33.159]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 252.25 MiB)
09:19:33 [09:19:33.160]
INFO:
bb-prover Successfully verified proof from key in 56.17198900000221 ms
09:19:33 [09:19:33.171]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:19:33 [09:19:33.172]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/92528f2f/bb/tmp-noPKWU/proof -k /tmp/92528f2f/bb/tmp-noPKWU/vk -i /tmp/92528f2f/bb/tmp-noPKWU/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:19:33 [09:19:33.198]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.25 MiB)
09:19:33 [09:19:33.199]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.25 MiB)
09:19:33 --public_inputs_path: /tmp/92528f2f/bb/tmp-noPKWU/public_inputs (mem: 252.25 MiB)
09:19:33 --proof_path: /tmp/92528f2f/bb/tmp-noPKWU/proof (mem: 252.25 MiB)
09:19:33 --vk_path: /tmp/92528f2f/bb/tmp-noPKWU/vk (mem: 252.25 MiB)
09:19:33 --verbose: true (mem: 252.25 MiB)
09:19:33 --scheme: ultra_honk (mem: 252.25 MiB)
09:19:33 --oracle_hash: poseidon2 (mem: 252.25 MiB)
09:19:33 --disable_zk: true (mem: 252.25 MiB)
09:19:33 vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 252.25 MiB)
09:19:33 [09:19:33.213]
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.25 MiB)
09:19:33 Initialized BN254 CRS from memory with num points = 1 (mem: 252.25 MiB)
09:19:33 [09:19:33.214]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.25 MiB)
09:19:33 libra_evals_verified: 1 (mem: 252.25 MiB)
09:19:33 pairing_check_verified: 1 (mem: 252.25 MiB)
09:19:33 Proof verified successfully (mem: 252.25 MiB)
09:19:33 verified: 1 (mem: 252.25 MiB)
09:19:33 [09:19:33.216]
INFO:
bb-prover Successfully verified proof from key in 43.9669339999964 ms
09:19:33 [09:19:33.319]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
09:19:33
09:19:33 [09:19:33.320]
ERROR:
bb-prover Error running operation at /tmp/92528f2f/bb/tmp-m1BgyI: Error: Failed to generate witness: Failed assertion
09:19:33
09:19:33 [09:19:33.509]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":67.94819100000313,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
09:19:33 [09:19:33.516]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:19:33 [09:19:33.517]
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/92528f2f/bb/tmp-wDvOgb -b /tmp/92528f2f/bb/tmp-wDvOgb/RootParityArtifact-bytecode -w /tmp/92528f2f/bb/tmp-wDvOgb/partial-witness.gz -v --init_kzg_accumulator -v
09:19:33 [09:19:33.556]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
09:19:33 [09:19:33.558]
INFO:
bb-prover RootParityArtifact BB out - (mem: 251.41 MiB)
09:19:33 Scheme is: ultra_honk, num threads: 128 (mem: 251.41 MiB)
09:19:33 --scheme: ultra_honk (mem: 251.41 MiB)
09:19:33 --bytecode_path: /tmp/92528f2f/bb/tmp-wDvOgb/RootParityArtifact-bytecode (mem: 251.41 MiB)
09:19:33 --witness_path: /tmp/92528f2f/bb/tmp-wDvOgb/partial-witness.gz (mem: 251.41 MiB)
09:19:33 --output_path: /tmp/92528f2f/bb/tmp-wDvOgb (mem: 251.41 MiB)
09:19:33 Warning: the following option is called more than once (mem: 251.41 MiB)
09:19:33 --verbose: true (mem: 251.41 MiB)
09:19:33 --oracle_hash: poseidon2 (mem: 251.41 MiB)
09:19:33 --output_format: bytes_and_fields (mem: 251.41 MiB)
09:19:33 --write_vk: true (mem: 251.41 MiB)
09:19:33 --disable_zk: true (mem: 251.41 MiB)
09:19:33 --init_kzg_accumulator: true (mem: 251.41 MiB)
09:19:33 [09:19:33.704]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.41 MiB)
09:19:33 [09:19:33.714]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 251.41 MiB)
09:19:35 [09:19:35.598]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 414.36 MiB)
09:19:38 [09:19:38.076]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 788.91 MiB)
09:19:40 [09:19:40.863]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1044.42 MiB)
09:19:43 [09:19:43.862]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1420.70 MiB)
09:19:43 Constructing DeciderProvingKey (mem: 1420.70 MiB)
09:19:45 [09:19:45.358]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1804.70 MiB)
09:19:45 [09:19:45.872]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5438.94 MiB)
09:19:47 [09:19:47.521]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3658 ms. (mem: 6022.94 MiB)
09:19:47 [09:19:47.665]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6022.94 MiB)
09:19:47 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6022.94 MiB)
09:19:48 [09:19:48.413]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6022.94 MiB)
09:19:52 [09:19:52.092]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6022.94 MiB)
09:19:56 [09:19:56.469]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6022.94 MiB)
09:19:58 [09:19:58.618]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6717.16 MiB)
09:20:00 [09:20:00.722]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6717.16 MiB)
09:20:07 [09:20:07.680]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6717.16 MiB)
09:20:09 [09:20:09.747]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6717.16 MiB)
09:20:09 [09:20:09.775]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6717.16 MiB)
09:20:10 [09:20:10.388]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/92528f2f/bb/tmp-wDvOgb/public_inputs" (mem: 6717.16 MiB)
09:20:10 [09:20:10.389]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/92528f2f/bb/tmp-wDvOgb/public_inputs_fields.json" (mem: 6717.16 MiB)
09:20:10 Proof saved to "/tmp/92528f2f/bb/tmp-wDvOgb/proof" (mem: 6717.16 MiB)
09:20:10 Proof fields saved to "/tmp/92528f2f/bb/tmp-wDvOgb/proof_fields.json" (mem: 6717.16 MiB)
09:20:10 VK saved to "/tmp/92528f2f/bb/tmp-wDvOgb/vk" (mem: 6717.16 MiB)
09:20:10 [09:20:10.389]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/92528f2f/bb/tmp-wDvOgb/vk_fields.json" (mem: 6717.16 MiB)
09:20:10 [09:20:10.578]
INFO:
bb-prover Generated proof for RootParityArtifact in 37057 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":37056.843877,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:20:10 [09:20:10.583]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:20:10 [09:20:10.583]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/92528f2f/bb/tmp-aiJHIb/proof -k /tmp/92528f2f/bb/tmp-aiJHIb/vk -i /tmp/92528f2f/bb/tmp-aiJHIb/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:20:10 [09:20:10.604]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.25 MiB)
09:20:10 [09:20:10.607]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.25 MiB)
09:20:10 --public_inputs_path: /tmp/92528f2f/bb/tmp-aiJHIb/public_inputs (mem: 252.25 MiB)
09:20:10 --proof_path: /tmp/92528f2f/bb/tmp-aiJHIb/proof (mem: 252.25 MiB)
09:20:10 --vk_path: /tmp/92528f2f/bb/tmp-aiJHIb/vk (mem: 252.25 MiB)
09:20:10 --verbose: true (mem: 252.25 MiB)
09:20:10 --scheme: ultra_honk (mem: 252.25 MiB)
09:20:10 --oracle_hash: poseidon2 (mem: 252.25 MiB)
09:20:10 --disable_zk: true (mem: 252.25 MiB)
09:20:10 vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 252.25 MiB)
09:20:10 [09:20:10.621]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 252.25 MiB)
09:20:10 Proof verification failed (mem: 252.25 MiB)
09:20:10 verified: 0 (mem: 252.25 MiB)
09:20:10 [09:20:10.622]
ERROR:
bb-prover Error running operation at /tmp/92528f2f/bb/tmp-aiJHIb: ProvingError: Failed to verify proof from key!
09:20:10 [09:20:10.809]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":73.99718399999256,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
09:20:10 [09:20:10.811]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:20:10 [09:20:10.811]
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/92528f2f/bb/tmp-1LxHYe -b /tmp/92528f2f/bb/tmp-1LxHYe/RootParityArtifact-bytecode -w /tmp/92528f2f/bb/tmp-1LxHYe/partial-witness.gz -v --init_kzg_accumulator -v
09:20:10 [09:20:10.839]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.25 MiB)
09:20:10 Scheme is: ultra_honk, num threads: 128 (mem: 252.25 MiB)
09:20:10 --scheme: ultra_honk (mem: 252.25 MiB)
09:20:10 --bytecode_path: /tmp/92528f2f/bb/tmp-1LxHYe/RootParityArtifact-bytecode (mem: 252.25 MiB)
09:20:10 --witness_path: /tmp/92528f2f/bb/tmp-1LxHYe/partial-witness.gz (mem: 252.25 MiB)
09:20:10 --output_path: /tmp/92528f2f/bb/tmp-1LxHYe (mem: 252.25 MiB)
09:20:10 Warning: the following option is called more than once (mem: 252.25 MiB)
09:20:10 --verbose: true (mem: 252.25 MiB)
09:20:10 --oracle_hash: poseidon2 (mem: 252.25 MiB)
09:20:10 --output_format: bytes_and_fields (mem: 252.25 MiB)
09:20:10 --write_vk: true (mem: 252.25 MiB)
09:20:10 --disable_zk: true (mem: 252.25 MiB)
09:20:10 --init_kzg_accumulator: true (mem: 252.25 MiB)
09:20:11 [09:20:11.020]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.25 MiB)
09:20:11 [09:20:11.031]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 252.25 MiB)
09:20:13 [09:20:13.011]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 414.99 MiB)
09:20:15 [09:20:15.338]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 793.09 MiB)
09:20:17 [09:20:17.381]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1051.61 MiB)
09:20:19 [09:20:19.617]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1428.63 MiB)
09:20:19 [09:20:19.618]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1428.63 MiB)
09:20:20 [09:20:20.836]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1814.55 MiB)
09:20:21 [09:20:21.188]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5445.90 MiB)
09:20:22 [09:20:22.603]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 2985 ms. (mem: 6023.90 MiB)
09:20:22 [09:20:22.723]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6023.90 MiB)
09:20:22 [09:20:22.724]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6023.90 MiB)
09:20:23 [09:20:23.413]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6023.90 MiB)
09:20:27 [09:20:27.223]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6023.90 MiB)
09:20:32 [09:20:32.475]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6023.90 MiB)
09:20:34 [09:20:34.698]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6725.58 MiB)
09:20:36 [09:20:36.842]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6725.58 MiB)
09:20:42 [09:20:42.891]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6725.58 MiB)
09:20:44 [09:20:44.590]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6725.58 MiB)
09:20:44 [09:20:44.619]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6725.58 MiB)
09:20:45 [09:20:45.239]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/92528f2f/bb/tmp-1LxHYe/public_inputs" (mem: 6725.58 MiB)
09:20:45 [09:20:45.239]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/92528f2f/bb/tmp-1LxHYe/public_inputs_fields.json" (mem: 6725.58 MiB)
09:20:45 Proof saved to "/tmp/92528f2f/bb/tmp-1LxHYe/proof" (mem: 6725.58 MiB)
09:20:45 Proof fields saved to "/tmp/92528f2f/bb/tmp-1LxHYe/proof_fields.json" (mem: 6725.58 MiB)
09:20:45 VK saved to "/tmp/92528f2f/bb/tmp-1LxHYe/vk" (mem: 6725.58 MiB)
09:20:45 VK fields saved to "/tmp/92528f2f/bb/tmp-1LxHYe/vk_fields.json" (mem: 6725.58 MiB)
09:20:45 [09:20:45.394]
INFO:
bb-prover Generated proof for RootParityArtifact in 34581 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34580.530641000005,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:20:45 [09:20:45.397]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:20:45 [09:20:45.397]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/92528f2f/bb/tmp-mxkJ9H/proof -k /tmp/92528f2f/bb/tmp-mxkJ9H/vk -i /tmp/92528f2f/bb/tmp-mxkJ9H/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:20:45 [09:20:45.416]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.25 MiB)
09:20:45 [09:20:45.416]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.25 MiB)
09:20:45 --public_inputs_path: /tmp/92528f2f/bb/tmp-mxkJ9H/public_inputs (mem: 252.25 MiB)
09:20:45 --proof_path: /tmp/92528f2f/bb/tmp-mxkJ9H/proof (mem: 252.25 MiB)
09:20:45 --vk_path: /tmp/92528f2f/bb/tmp-mxkJ9H/vk (mem: 252.25 MiB)
09:20:45 --verbose: true (mem: 252.25 MiB)
09:20:45 --scheme: ultra_honk (mem: 252.25 MiB)
09:20:45 --oracle_hash: poseidon2 (mem: 252.25 MiB)
09:20:45 --disable_zk: true (mem: 252.25 MiB)
09:20:45 [09:20:45.417]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 252.25 MiB)
09:20:45 [09:20:45.427]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 252.25 MiB)
09:20:45 Proof verification failed (mem: 252.25 MiB)
09:20:45 verified: 0 (mem: 252.25 MiB)
09:20:45 [09:20:45.428]
ERROR:
bb-prover Error running operation at /tmp/92528f2f/bb/tmp-mxkJ9H: ProvingError: Failed to verify proof from key!
09:20:45 [09:20:45.431]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
09:20:45
PASS src/test/bb_prover_parity.test.ts (
125.33 s)
09:20:45 prover/bb_prover/parity
09:20:45
✓ proves the parity circuits (116930 ms)
09:20:45
09:20:45
Test Suites: 1 passed, 1 total
09:20:45
Tests: 1 passed, 1 total
09:20:45
Snapshots: 0 total
09:20:45
Time: 125.416 s
09:20:45
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
09:20:45
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?