Parent Log:
http://ci.aztec-labs.com/0a3fab80774a5b56
Command: ef85c2b8680d9e9c: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/9ba478709ce5c48099f79f9531da8292811cb18a
Env: REF_NAME=gh-readonly-queue/staging/pr-15247-3863bc02d671057d0cffd4ced17ca317788ff190 CURRENT_VERSION=1.0.0 CI_FULL=1
Date: Tue Jun 24 14:54:59 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15247_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_staging
14:54:59 +++ id -u
14:54:59 +++ id -g
14:54:59 ++ 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'\'''
14:55:00 + cid=92fdadb39fc66d3f1ddf7abef11e06c0c9624b88ebf579d5f81139786dcb7792
14:55:00 + set +x
14:55:01 {"level":25,"time":1750776901890,"pid":7,"hostname":"92fdadb39fc6","module":"logger","msg":"Logger initialized with level verbose"}
14:55:10 [14:55:10.112]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-CBYoDo/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
14:55:10 [14:55:10.191]
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/2e61ec23/bb
14:55:10 [14:55:10.192]
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/2e61ec23/acvm
14:55:10 [14:55:10.193]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/2e61ec23/bb
14:55:10 [14:55:10.194]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/2e61ec23/acvm
14:55:10 [14:55:10.196]
INFO:
prover-client:proving-broker Proving Broker started
14:55:10 [14:55:10.199]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
14:55:10 [14:55:10.409]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":93.08212800000001,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:55:10 [14:55:10.432]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":84.79760600000009,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:55:10 [14:55:10.443]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":49.236478000000716,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:55:10 [14:55:10.449]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:55:10 [14:55:10.449]
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/2e61ec23/bb/tmp-PNvVZG -b /tmp/2e61ec23/bb/tmp-PNvVZG/BaseParityArtifact-bytecode -w /tmp/2e61ec23/bb/tmp-PNvVZG/partial-witness.gz -v --init_kzg_accumulator -v
14:55:10 [14:55:10.475]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:55:10 [14:55:10.476]
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/2e61ec23/bb/tmp-ic1QNp -b /tmp/2e61ec23/bb/tmp-ic1QNp/BaseParityArtifact-bytecode -w /tmp/2e61ec23/bb/tmp-ic1QNp/partial-witness.gz -v --init_kzg_accumulator -v
14:55:10 [14:55:10.500]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:55:10 [14:55:10.501]
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/2e61ec23/bb/tmp-Fkixtv -b /tmp/2e61ec23/bb/tmp-Fkixtv/BaseParityArtifact-bytecode -w /tmp/2e61ec23/bb/tmp-Fkixtv/partial-witness.gz -v --init_kzg_accumulator -v
14:55:10 [14:55:10.537]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.29 MiB)
14:55:10 Scheme is: ultra_honk, num threads: 128 (mem: 250.29 MiB)
14:55:10 --scheme: ultra_honk (mem: 250.29 MiB)
14:55:10 --bytecode_path: /tmp/2e61ec23/bb/tmp-PNvVZG/BaseParityArtifact-bytecode (mem: 250.29 MiB)
14:55:10 --witness_path: /tmp/2e61ec23/bb/tmp-PNvVZG/partial-witness.gz (mem: 250.29 MiB)
14:55:10 --output_path: /tmp/2e61ec23/bb/tmp-PNvVZG (mem: 250.29 MiB)
14:55:10 Warning: the following option is called more than once (mem: 250.29 MiB)
14:55:10 --verbose: true (mem: 250.29 MiB)
14:55:10 --oracle_hash: poseidon2 (mem: 250.29 MiB)
14:55:10 --output_format: bytes_and_fields (mem: 250.29 MiB)
14:55:10 --write_vk: true (mem: 250.29 MiB)
14:55:10 --disable_zk: true (mem: 250.29 MiB)
14:55:10 --init_kzg_accumulator: true (mem: 250.29 MiB)
14:55:10 [14:55:10.541]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.29 MiB)
14:55:10 Scheme is: ultra_honk, num threads: 128 (mem: 250.29 MiB)
14:55:10 --scheme: ultra_honk (mem: 250.29 MiB)
14:55:10 --bytecode_path: /tmp/2e61ec23/bb/tmp-ic1QNp/BaseParityArtifact-bytecode (mem: 250.29 MiB)
14:55:10 --witness_path: /tmp/2e61ec23/bb/tmp-ic1QNp/partial-witness.gz (mem: 250.29 MiB)
14:55:10 --output_path: /tmp/2e61ec23/bb/tmp-ic1QNp (mem: 250.29 MiB)
14:55:10 Warning: the following option is called more than once (mem: 250.29 MiB)
14:55:10 --verbose: true (mem: 250.29 MiB)
14:55:10 --oracle_hash: poseidon2 (mem: 250.29 MiB)
14:55:10 --output_format: bytes_and_fields (mem: 250.29 MiB)
14:55:10 --write_vk: true (mem: 250.29 MiB)
14:55:10 --disable_zk: true (mem: 250.29 MiB)
14:55:10 --init_kzg_accumulator: true (mem: 250.29 MiB)
14:55:10 [14:55:10.541]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.29 MiB)
14:55:10 Scheme is: ultra_honk, num threads: 128 (mem: 250.29 MiB)
14:55:10 --scheme: ultra_honk (mem: 250.29 MiB)
14:55:10 --bytecode_path: /tmp/2e61ec23/bb/tmp-Fkixtv/BaseParityArtifact-bytecode (mem: 250.29 MiB)
14:55:10 --witness_path: /tmp/2e61ec23/bb/tmp-Fkixtv/partial-witness.gz (mem: 250.29 MiB)
14:55:10 --output_path: /tmp/2e61ec23/bb/tmp-Fkixtv (mem: 250.29 MiB)
14:55:10 Warning: the following option is called more than once (mem: 250.29 MiB)
14:55:10 --verbose: true (mem: 250.29 MiB)
14:55:10 --oracle_hash: poseidon2 (mem: 250.29 MiB)
14:55:10 --output_format: bytes_and_fields (mem: 250.29 MiB)
14:55:10 --write_vk: true (mem: 250.29 MiB)
14:55:10 --disable_zk: true (mem: 250.29 MiB)
14:55:10 --init_kzg_accumulator: true (mem: 250.29 MiB)
14:55:10 [14:55:10.550]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":89.85957600000074,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:55:10 [14:55:10.551]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:55:10 [14:55:10.551]
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/2e61ec23/bb/tmp-CV0UV4 -b /tmp/2e61ec23/bb/tmp-CV0UV4/BaseParityArtifact-bytecode -w /tmp/2e61ec23/bb/tmp-CV0UV4/partial-witness.gz -v --init_kzg_accumulator -v
14:55:10 [14:55:10.589]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem:
14:55:10 [14:55:10.590]
INFO:
bb-prover BaseParityArtifact BB out - 250.32 MiB)
14:55:10 Scheme is: ultra_honk, num threads: 128 (mem: 250.32 MiB)
14:55:10 --scheme: ultra_honk (mem: 250.32 MiB)
14:55:10 --bytecode_path: /tmp/2e61ec23/bb/tmp-CV0UV4/BaseParityArtifact-bytecode (mem: 250.32 MiB)
14:55:10 --witness_path: /tmp/2e61ec23/bb/tmp-CV0UV4/partial-witness.gz (mem: 250.32 MiB)
14:55:10 --output_path: /tmp/2e61ec23/bb/tmp-CV0UV4 (mem: 250.32 MiB)
14:55:10 Warning: the following option is called more than once (mem: 250.32 MiB)
14:55:10 --verbose: true (mem: 250.32 MiB)
14:55:10 --oracle_hash: poseidon2 (mem: 250.32 MiB)
14:55:10 --output_format: bytes_and_fields (mem: 250.32 MiB)
14:55:10 --write_vk: true (mem: 250.32 MiB)
14:55:10 --disable_zk: true (mem: 250.32 MiB)
14:55:10 --init_kzg_accumulator: true (mem: 250.32 MiB)
14:55:10 [14:55:10.665]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.29 MiB)
14:55:10 [14:55:10.667]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.29 MiB)
14:55:10 [14:55:10.669]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.29 MiB)
14:55:10 [14:55:10.686]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.29 MiB)
14:55:10 Constructing DeciderProvingKey (mem: 250.29 MiB)
14:55:10 [14:55:10.691]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.29 MiB)
14:55:10 Constructing DeciderProvingKey (mem: 250.29 MiB)
14:55:10 [14:55:10.692]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.29 MiB)
14:55:10 [14:55:10.704]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.29 MiB)
14:55:10 [14:55:10.776]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.32 MiB)
14:55:10 Constructing DeciderProvingKey (mem: 250.32 MiB)
14:55:10 allocating polynomials object in proving key... (mem: 250.32 MiB)
14:55:10 [14:55:10.958]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.29 MiB)
14:55:10 [14:55:10.984]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.29 MiB)
14:55:11 [14:55:11.007]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.29 MiB)
14:55:11 [14:55:11.043]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 377 ms. (mem: 250.29 MiB)
14:55:11 [14:55:11.045]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem:
14:55:11 [14:55:11.046]
INFO:
bb-prover BaseParityArtifact BB out - 250.32 MiB)
14:55:11 [14:55:11.057]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.29 MiB)
14:55:11 [14:55:11.058]
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.29 MiB)
14:55:11 [14:55:11.069]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.29 MiB)
14:55:11 [14:55:11.173]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 484 ms. (mem: 250.29 MiB)
14:55:11 [14:55:11.177]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.29 MiB)
14:55:11 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.29 MiB)
14:55:11 [14:55:11.186]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.29 MiB)
14:55:11 [14:55:11.190]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 438 ms. (mem: 250.32 MiB)
14:55:11 [14:55:11.198]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.32 MiB)
14:55:11 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.32 MiB)
14:55:11 [14:55:11.209]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 515 ms. (mem: 250.29 MiB)
14:55:11 [14:55:11.211]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.32 MiB)
14:55:11 [14:55:11.213]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.29 MiB)
14:55:11 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.29 MiB)
14:55:11 [14:55:11.242]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.29 MiB)
14:55:12 [14:55:12.246]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.29 MiB)
14:55:12 [14:55:12.263]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.29 MiB)
14:55:12 [14:55:12.321]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.29 MiB)
14:55:12 [14:55:12.329]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.32 MiB)
14:55:12 [14:55:12.854]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.29 MiB)
14:55:12 [14:55:12.933]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.29 MiB)
14:55:13 [14:55:13.055]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.29 MiB)
14:55:13 [14:55:13.056]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.32 MiB)
14:55:13 [14:55:13.245]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.29 MiB)
14:55:13 [14:55:13.320]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.29 MiB)
14:55:13 [14:55:13.330]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.29 MiB)
14:55:13 [14:55:13.367]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.32 MiB)
14:55:13 [14:55:13.472]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.29 MiB)
14:55:13 [14:55:13.533]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.29 MiB)
14:55:13 [14:55:13.544]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.29 MiB)
14:55:13 [14:55:13.545]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.32 MiB)
14:55:15 [14:55:15.065]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.29 MiB)
14:55:15 [14:55:15.130]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem:
14:55:15 [14:55:15.131]
INFO:
bb-prover BaseParityArtifact BB out - 250.29 MiB)
14:55:15 finished decider proving. (mem: 250.29 MiB)
14:55:15 Public inputs saved to "/tmp/2e61ec23/bb/tmp-PNvVZG/public_inputs" (mem: 250.29 MiB)
14:55:15 Public inputs fields saved to "/tmp/2e61ec23/bb/tmp-PNvVZG/public_inputs_fields.json" (mem: 250.29 MiB)
14:55:15 Proof saved to "/tmp/2e61ec23/bb/tmp-PNvVZG/proof" (mem: 250.29 MiB)
14:55:15 Proof fields saved to "/tmp/2e61ec23/bb/tmp-PNvVZG/proof_fields.json" (mem: 250.29 MiB)
14:55:15 VK saved to "/tmp/2e61ec23/bb/tmp-PNvVZG/vk" (mem: 250.29 MiB)
14:55:15 VK fields saved to "/tmp/2e61ec23/bb/tmp-PNvVZG/vk_fields.json" (mem: 250.29 MiB)
14:55:15 [14:55:15.163]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.29 MiB)
14:55:15 [14:55:15.170]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4719 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4718.1629600000015,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:55:15 [14:55:15.173]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.32 MiB)
14:55:15 [14:55:15.176]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:55:15 [14:55:15.177]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2e61ec23/bb/tmp-rCfKXr/proof -k /tmp/2e61ec23/bb/tmp-rCfKXr/vk -i /tmp/2e61ec23/bb/tmp-rCfKXr/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:55:15 [14:55:15.233]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
14:55:15 [14:55:15.234]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
14:55:15 [14:55:15.235]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.33
14:55:15 [14:55:15.237]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
14:55:15 Scheme is: ultra_honk, num threads: 128 (mem: 250.33 MiB)
14:55:15 --public_inputs_path: /tmp/2e61ec23/bb/tmp-rCfKXr/public_inputs (mem: 250.33 MiB)
14:55:15 --proof_path: /tmp/2e61ec23/bb/tmp-rCfKXr/proof (mem: 250.33 MiB)
14:55:15 --vk_path: /tmp/2e61ec23/bb/tmp-rCfKXr/vk (mem: 250.33 MiB)
14:55:15 --verbose: true (mem: 250.33 MiB)
14:55:15 --scheme: ultra_honk (mem: 250.33 MiB)
14:55:15 --oracle_hash: poseidon2 (mem: 250.33 MiB)
14:55:15 --disable_zk: true (mem: 250.33 MiB)
14:55:15 [14:55:15.239]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7
14:55:15 [14:55:15.239]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.33 MiB)
14:55:15 [14:55:15.260]
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.33 MiB)
14:55:15 [14:55:15.266]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 250.33 MiB)
14:55:15 [14:55:15.270]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.33 MiB)
14:55:15 libra_evals_verified: 1 (mem: 250.33 MiB)
14:55:15 pairing_check_verified: 1 (mem: 250.33 MiB)
14:55:15 Proof verified successfully (mem: 250.33 MiB)
14:55:15 verified: 1 (mem: 250.33 MiB)
14:55:15 [14:55:15.275]
INFO:
bb-prover Successfully verified proof from key in 96.34106100000099 ms
14:55:15 [14:55:15.280]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.29 MiB)
14:55:15 [14:55:15.281]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 250.29 MiB)
14:55:15 Public inputs saved to "/tmp/2e61ec23/bb/tmp-ic1QNp/public_inputs" (mem: 250.29 MiB)
14:55:15 Public inputs fields saved to "/tmp/2e61ec23/bb/tmp-ic1QNp/public_inputs_fields.json" (mem: 250.29 MiB)
14:55:15 Proof saved to "/tmp/2e61ec23/bb/tmp-ic1QNp/proof"
14:55:15 [14:55:15.281]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 250.29 MiB)
14:55:15 [14:55:15.283]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/2e61ec23/bb/tmp-ic1QNp/proof_fields.json" (mem: 250.29 MiB)
14:55:15 VK saved to "/tmp/2e61ec23/bb/tmp-ic1QNp/vk" (mem: 250.29 MiB)
14:55:15 VK fields saved to "/tmp/2e61ec23/bb/tmp-ic1QNp/vk_fields.json" (mem: 250.29 MiB)
14:55:15 [14:55:15.312]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.32 MiB)
14:55:15 finished decider proving. (mem: 250.32 MiB)
14:55:15 Public inputs saved to "/tmp/2e61ec23/bb/tmp-CV0UV4/public_inputs" (mem: 250.32 MiB)
14:55:15 Public inputs fields saved to "/tmp/2e61ec23/bb/tmp-CV0UV4/public_inputs_fields.json" (mem: 250.32 MiB)
14:55:15 Proof saved to "/tmp/2e61ec23/bb/tmp-CV0UV4/proof" (mem: 250.32 MiB)
14:55:15 [14:55:15.320]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/2e61ec23/bb/tmp-CV0UV4/proof_fields.json" (mem: 250.32 MiB)
14:55:15 VK saved to "/tmp/2e61ec23/bb/tmp-CV0UV4/vk" (mem: 250.32 MiB)
14:55:15 VK fields saved to "/tmp/2e61ec23/bb/tmp-CV0UV4/vk_fields.json" (mem: 250.32 MiB)
14:55:15 [14:55:15.327]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.29 MiB)
14:55:15 [14:55:15.347]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4857 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4856.35821,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:55:15 [14:55:15.353]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:55:15 [14:55:15.355]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2e61ec23/bb/tmp-jlViAs/proof -k /tmp/2e61ec23/bb/tmp-jlViAs/vk -i /tmp/2e61ec23/bb/tmp-jlViAs/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:55:15 [14:55:15.409]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.35 MiB)
14:55:15 Scheme is: ultra_honk, num threads: 128 (mem: 250.35 MiB)
14:55:15 --public_inputs_path: /tmp/2e61ec23/bb/tmp-jlViAs/public_inputs (mem: 250.35 MiB)
14:55:15 --proof_path: /tmp/2e61ec23/bb/tmp-jlViAs/proof (mem: 250.35 MiB)
14:55:15 --vk_path: /tmp/2e61ec23/bb/tmp-jlViAs/vk (mem: 250.35 MiB)
14:55:15 --verbose: true (mem: 250.35 MiB)
14:55:15 --scheme: ultra_honk (mem: 250.35 MiB)
14:55:15 --oracle_hash: poseidon2 (mem: 250.35 MiB)
14:55:15 --disable_zk: true (mem: 250.35 MiB)
14:55:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.35 MiB)
14:55:15 [14:55:15.416]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.29 MiB)
14:55:15 finished decider proving. (mem: 250.29 MiB)
14:55:15 Public inputs saved to "/tmp/2e61ec23/bb/tmp-Fkixtv/public_inputs" (mem: 250.29 MiB)
14:55:15 Public inputs fields saved to "/tmp/2e61ec23/bb/tmp-Fkixtv/public_inputs_fields.json" (mem: 250.29 MiB)
14:55:15 Proof saved to "/tmp/2e61ec23/bb/tmp-Fkixtv/proof" (mem: 250.29 MiB)
14:55:15 Proof fields saved to "/tmp/2e61ec23/bb/tmp-Fkixtv/proof_fields.json" (mem: 250.29 MiB)
14:55:15 VK saved to "/tmp/2e61ec23/bb/tmp-Fkixtv/vk" (mem: 250.29 MiB)
14:55:15 VK fields saved to "/tmp/2e61ec23/bb/tmp-Fkixtv/vk_fields.json" (mem: 250.29 MiB)
14:55:15 [14:55:15.421]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4854 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4853.985760000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:55:15 [14:55:15.425]
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.35 MiB)
14:55:15 Initialized BN254 CRS from memory with num points = 1 (mem: 250.35 MiB)
14:55:15 [14:55:15.426]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.35 MiB)
14:55:15 libra_evals_verified: 1 (mem: 250.35 MiB)
14:55:15 pairing_check_verified: 1 (mem: 250.35 MiB)
14:55:15 Proof verified successfully (mem: 250.35 MiB)
14:55:15 verified: 1 (mem: 250.35 MiB)
14:55:15 [14:55:15.430]
INFO:
bb-prover Successfully verified proof from key in 76.76748200000111 ms
14:55:15 [14:55:15.431]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:55:15 [14:55:15.432]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2e61ec23/bb/tmp-Pokjxv/proof -k /tmp/2e61ec23/bb/tmp-Pokjxv/vk -i /tmp/2e61ec23/bb/tmp-Pokjxv/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:55:15 [14:55:15.466]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.43 MiB)
14:55:15 Scheme is: ultra_honk, num threads: 128 (mem: 250.43 MiB)
14:55:15 --public_inputs_path: /tmp/2e61ec23/bb/tmp-Pokjxv/public_inputs (mem: 250.43 MiB)
14:55:15 --proof_path: /tmp/2e61ec23/bb/tmp-Pokjxv/proof (mem: 250.43 MiB)
14:55:15 --vk_path: /tmp/2e61ec23/bb/tmp-Pokjxv/vk (mem: 250.43 MiB)
14:55:15 --verbose: true (mem: 250.43 MiB)
14:55:15 --scheme: ultra_honk (mem: 250.43 MiB)
14:55:15 --oracle_hash: poseidon2 (mem: 250.43 MiB)
14:55:15 --disable_zk: true (mem: 250.43 MiB)
14:55:15 [14:55:15.467]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.43 MiB)
14:55:15 [14:55:15.469]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4960 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4959.279028999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:55:15 [14:55:15.472]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:55:15 [14:55:15.472]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2e61ec23/bb/tmp-goJGpw/proof -k /tmp/2e61ec23/bb/tmp-goJGpw/vk -i /tmp/2e61ec23/bb/tmp-goJGpw/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:55:15 [14:55:15.494]
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.43 MiB)
14:55:15 Initialized BN254 CRS from memory with num points = 1 (mem: 250.43 MiB)
14:55:15 sumcheck_verified: 1 (mem: 250.43 MiB)
14:55:15 libra_evals_verified: 1 (mem: 250.43 MiB)
14:55:15 pairing_check_verified: 1 (mem: 250.43 MiB)
14:55:15 Proof verified successfully (mem: 250.43 MiB)
14:55:15 verified: 1 (mem: 250.43 MiB)
14:55:15 [14:55:15.496]
INFO:
bb-prover Successfully verified proof from key in 64.57548000000133 ms
14:55:15 [14:55:15.502]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.52 MiB)
14:55:15 Scheme is: ultra_honk, num threads: 128 (mem: 250.52 MiB)
14:55:15 --public_inputs_path: /tmp/2e61ec23/bb/tmp-goJGpw/public_inputs (mem: 250.52 MiB)
14:55:15 --proof_path: /tmp/2e61ec23/bb/tmp-goJGpw/proof (mem: 250.52 MiB)
14:55:15 --vk_path: /tmp/2e61ec23/bb/tmp-goJGpw/vk (mem: 250.52 MiB)
14:55:15 --verbose: true (mem: 250.52 MiB)
14:55:15 --scheme: ultra_honk (mem: 250.52 MiB)
14:55:15 --oracle_hash: poseidon2 (mem: 250.52 MiB)
14:55:15 --disable_zk: true (mem: 250.52 MiB)
14:55:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.52 MiB)
14:55:15 [14:55:15.515]
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"
14:55:15 [14:55:15.516]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
14:55:15 [14:55:15.516]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.52
14:55:15 [14:55:15.517]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
14:55:15 [14:55:15.517]
VERBOSE:
bb-prover bb-prover (verify) BB out -
14:55:15 [14:55:15.518]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1
14:55:15 [14:55:15.519]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.52 MiB)
14:55:15 [14:55:15.521]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.52 MiB)
14:55:15 libra_evals_verified: 1 (mem: 250.52 MiB)
14:55:15 pairing_check_verified: 1 (mem: 250.52 MiB)
14:55:15 Proof verified successfully (mem: 250.52 MiB)
14:55:15 verified: 1 (mem: 250.52 MiB)
14:55:15 [14:55:15.522]
INFO:
bb-prover Successfully verified proof from key in 50.09846000000107 ms
14:55:15 [14:55:15.531]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:55:15 [14:55:15.531]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2e61ec23/bb/tmp-rNrUsa/proof -k /tmp/2e61ec23/bb/tmp-rNrUsa/vk -i /tmp/2e61ec23/bb/tmp-rNrUsa/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:55:15 [14:55:15.554]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:55:15 [14:55:15.555]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2e61ec23/bb/tmp-2UFQGK/proof -k /tmp/2e61ec23/bb/tmp-2UFQGK/vk -i /tmp/2e61ec23/bb/tmp-2UFQGK/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:55:15 [14:55:15.581]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:55:15 [14:55:15.582]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2e61ec23/bb/tmp-aaAXsl/proof -k /tmp/2e61ec23/bb/tmp-aaAXsl/vk -i /tmp/2e61ec23/bb/tmp-aaAXsl/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:55:15 [14:55:15.613]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:55:15 [14:55:15.614]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2e61ec23/bb/tmp-XYgqsY/proof -k /tmp/2e61ec23/bb/tmp-XYgqsY/vk -i /tmp/2e61ec23/bb/tmp-XYgqsY/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:55:15 [14:55:15.636]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.57 MiB)
14:55:15 Scheme is: ultra_honk, num threads: 128 (mem: 250.57 MiB)
14:55:15 --public_inputs_path: /tmp/2e61ec23/bb/tmp-rNrUsa/public_inputs (mem: 250.57 MiB)
14:55:15 --proof_path: /tmp/2e61ec23/bb/tmp-rNrUsa/proof (mem: 250.57 MiB)
14:55:15 --vk_path: /tmp/2e61ec23/bb/tmp-rNrUsa/vk (mem: 250.57 MiB)
14:55:15 --verbose: true (mem: 250.57 MiB)
14:55:15 --scheme: ultra_honk (mem: 250.57 MiB)
14:55:15 --oracle_hash: poseidon2 (mem: 250.57 MiB)
14:55:15 --disable_zk: true (mem: 250.57 MiB)
14:55:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.57 MiB)
14:55:15 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.57 MiB)
14:55:15 Initialized BN254 CRS from memory with num points = 1 (mem: 250.57 MiB)
14:55:15 sumcheck_verified: 1 (mem: 250.57 MiB)
14:55:15 libra_evals_verified: 1 (mem: 250.57 MiB)
14:55:15 pairing_check_verified: 1 (mem: 250.57 MiB)
14:55:15 Proof verified successfully (mem: 250.57 MiB)
14:55:15 verified: 1 (mem: 250.57 MiB)
14:55:15 [14:55:15.637]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.57 MiB)
14:55:15 Scheme is: ultra_honk, num threads: 128 (mem: 250.57 MiB)
14:55:15 --public_inputs_path: /tmp/2e61ec23/bb/tmp-2UFQGK/public_inputs (mem: 250.57 MiB)
14:55:15 --proof_path: /tmp/2e61ec23/bb/tmp-2UFQGK/proof (mem: 250.57 MiB)
14:55:15 --vk_path: /tmp/2e61ec23/bb/tmp-2UFQGK/vk (mem: 250.57 MiB)
14:55:15 --verbose: true (mem: 250.57 MiB)
14:55:15 --scheme: ultra_honk (mem: 250.57 MiB)
14:55:15 --oracle_hash: poseidon2 (mem: 250.57 MiB)
14:55:15 --disable_zk: true (mem: 250.57 MiB)
14:55:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.57 MiB)
14:55:15 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.57 MiB)
14:55:15 Initialized BN254 CRS from memory with num points = 1 (mem: 250.57 MiB)
14:55:15 sumcheck_verified: 1 (mem: 250.57 MiB)
14:55:15 libra_evals_verified: 1 (mem: 250.57 MiB)
14:55:15 pairing_check_verified: 1 (mem: 250.57 MiB)
14:55:15 Proof verified successfully (mem: 250.57 MiB)
14:55:15 verified: 1 (mem: 250.57 MiB)
14:55:15 [14:55:15.643]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.57 MiB)
14:55:15 Scheme is: ultra_honk, num threads: 128 (mem: 250.57 MiB)
14:55:15 --public_inputs_path: /tmp/2e61ec23/bb/tmp-aaAXsl/public_inputs (mem: 250.57 MiB)
14:55:15 --proof_path: /tmp/2e61ec23/bb/tmp-aaAXsl/proof (mem: 250.57 MiB)
14:55:15 --vk_path: /tmp/2e61ec23/bb/tmp-aaAXsl/vk (mem: 250.57 MiB)
14:55:15 --verbose: true (mem: 250.57 MiB)
14:55:15 --scheme: ultra_honk (mem: 250.57 MiB)
14:55:15 --oracle_hash: poseidon2 (mem: 250.57 MiB)
14:55:15 --disable_zk: true (mem: 250.57 MiB)
14:55:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.57 MiB)
14:55:15 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.57 MiB)
14:55:15 Initialized BN254 CRS from memory with num points = 1 (mem: 250.57 MiB)
14:55:15 sumcheck_verified: 1 (mem: 250.57 MiB)
14:55:15 libra_evals_verified: 1 (mem: 250.57 MiB)
14:55:15 pairing_check_verified: 1 (mem: 250.57 MiB)
14:55:15 Proof verified successfully (mem: 250.57 MiB)
14:55:15 verified: 1 (mem: 250.57 MiB)
14:55:15 [14:55:15.644]
INFO:
bb-prover Successfully verified proof from key in 89.48182599999927 ms
14:55:15 [14:55:15.644]
INFO:
bb-prover Successfully verified proof from key in 113.38886700000148 ms
14:55:15 [14:55:15.645]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.57 MiB)
14:55:15 Scheme is: ultra_honk, num threads: 128 (mem: 250.57 MiB)
14:55:15 --public_inputs_path: /tmp/2e61ec23/bb/tmp-XYgqsY/public_inputs (mem: 250.57 MiB)
14:55:15 --proof_path: /tmp/2e61ec23/bb/tmp-XYgqsY/proof (mem: 250.57 MiB)
14:55:15 --vk_path: /tmp/2e61ec23/bb/tmp-XYgqsY/vk (mem: 250.57 MiB)
14:55:15 --verbose: true (mem: 250.57 MiB)
14:55:15 --scheme: ultra_honk (mem: 250.57 MiB)
14:55:15 --oracle_hash: poseidon2 (mem: 250.57 MiB)
14:55:15 --disable_zk: true (mem: 250.57 MiB)
14:55:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.57 MiB)
14:55:15 [14:55:15.645]
INFO:
bb-prover Successfully verified proof from key in 64.06142700000055 ms
14:55:15 [14:55:15.659]
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"
14:55:15 [14:55:15.661]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.57 MiB)
14:55:15 Initialized BN254 CRS from memory with num points = 1 (mem: 250.57 MiB)
14:55:15 [14:55:15.663]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.57 MiB)
14:55:15 libra_evals_verified: 1 (mem: 250.57 MiB)
14:55:15 pairing_check_verified: 1 (mem: 250.57 MiB)
14:55:15 Proof verified successfully (mem: 250.57 MiB)
14:55:15 verified: 1 (mem: 250.57 MiB)
14:55:15 [14:55:15.665]
INFO:
bb-prover Successfully verified proof from key in 51.204437999998845 ms
14:55:15 [14:55:15.875]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":82.394984999999,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
14:55:15 [14:55:15.877]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:55:15 [14:55:15.877]
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/2e61ec23/bb/tmp-fF7HAX -b /tmp/2e61ec23/bb/tmp-fF7HAX/RootParityArtifact-bytecode -w /tmp/2e61ec23/bb/tmp-fF7HAX/partial-witness.gz -v --init_kzg_accumulator -v
14:55:15 [14:55:15.906]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.92 MiB)
14:55:15 Scheme is: ultra_honk, num threads: 128 (mem: 253.92 MiB)
14:55:15 --scheme: ultra_honk (mem: 253.92 MiB)
14:55:15 --bytecode_path: /tmp/2e61ec23/bb/tmp-fF7HAX/RootParityArtifact-bytecode (mem: 253.92 MiB)
14:55:15 --witness_path: /tmp/2e61ec23/bb/tmp-fF7HAX/partial-witness.gz (mem: 253.92 MiB)
14:55:15 --output_path: /tmp/2e61ec23/bb/tmp-fF7HAX (mem: 253.92 MiB)
14:55:15 Warning: the following option is called more than once (mem: 253.92 MiB)
14:55:15 --verbose: true (mem: 253.92 MiB)
14:55:15 --oracle_hash: poseidon2 (mem: 253.92 MiB)
14:55:15 --output_format: bytes_and_fields (mem: 253.92 MiB)
14:55:15 --write_vk: true (mem: 253.92 MiB)
14:55:15 --disable_zk: true (mem: 253.92 MiB)
14:55:15 --init_kzg_accumulator: true (mem: 253.92 MiB)
14:55:16 [14:55:16.128]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.92 MiB)
14:55:18 [14:55:18.112]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 423.42 MiB)
14:55:20 [14:55:20.546]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 790.46 MiB)
14:55:22 [14:55:22.628]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1062.75 MiB)
14:55:25 [14:55:25.007]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1434.43 MiB)
14:55:25 [14:55:25.009]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1434.43 MiB)
14:55:26 [14:55:26.365]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1848.18 MiB)
14:55:26 [14:55:26.749]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5490.95 MiB)
14:55:28 [14:55:28.498]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3489 ms. (mem: 6067.95 MiB)
14:55:28 [14:55:28.634]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6067.95 MiB)
14:55:28 [14:55:28.635]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6067.95 MiB)
14:55:29 [14:55:29.515]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6067.95 MiB)
14:55:34 [14:55:34.440]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6067.95 MiB)
14:55:40 [14:55:40.429]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6067.95 MiB)
14:55:42 [14:55:42.405]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6744.52 MiB)
14:55:44 [14:55:44.891]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6744.52 MiB)
14:55:52 [14:55:52.948]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6744.52 MiB)
14:55:54 [14:55:54.735]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6744.52 MiB)
14:55:54 [14:55:54.748]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6744.52 MiB)
14:55:55 [14:55:55.257]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/2e61ec23/bb/tmp-fF7HAX/public_inputs" (mem: 6744.52 MiB)
14:55:55 Public inputs fields saved to "/tmp/2e61ec23/bb/tmp-fF7HAX/public_inputs_fields.json" (mem: 6744.52 MiB)
14:55:55 Proof saved to "/tmp/2e61ec23/bb/tmp-fF7HAX/proof" (mem: 6744.52 MiB)
14:55:55 Proof fields saved to "/tmp/2e61ec23/bb/tmp-fF7HAX/proof_fields.json" (mem: 6744.52 MiB)
14:55:55 VK saved to "/tmp/2e61ec23/bb/tmp-fF7HAX/vk" (mem: 6744.52 MiB)
14:55:55 VK fields saved to "/tmp/2e61ec23/bb/tmp-fF7HAX/vk_fields.json" (mem: 6744.52 MiB)
14:55:55 [14:55:55.435]
INFO:
bb-prover Generated proof for RootParityArtifact in 39552 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":39551.925792,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:55:55 [14:55:55.439]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:55:55 [14:55:55.440]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2e61ec23/bb/tmp-fRmO0e/proof -k /tmp/2e61ec23/bb/tmp-fRmO0e/vk -i /tmp/2e61ec23/bb/tmp-fRmO0e/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:55:55 [14:55:55.466]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.93 MiB)
14:55:55 [14:55:55.467]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.93 MiB)
14:55:55 --public_inputs_path: /tmp/2e61ec23/bb/tmp-fRmO0e/public_inputs (mem: 253.93 MiB)
14:55:55 --proof_path: /tmp/2e61ec23/bb/tmp-fRmO0e/proof (mem: 253.93 MiB)
14:55:55 --vk_path: /tmp/2e61ec23/bb/tmp-fRmO0e/vk (mem: 253.93 MiB)
14:55:55 --verbose: true (mem: 253.93 MiB)
14:55:55 --scheme: ultra_honk (mem: 253.93 MiB)
14:55:55 --oracle_hash: poseidon2 (mem: 253.93 MiB)
14:55:55 --disable_zk: true (mem: 253.93 MiB)
14:55:55 [14:55:55.467]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.93 MiB)
14:55:55 [14:55:55.482]
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.93 MiB)
14:55:55 [14:55:55.483]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 253.93 MiB)
14:55:55 [14:55:55.487]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.93 MiB)
14:55:55 libra_evals_verified: 1 (mem: 253.93 MiB)
14:55:55 pairing_check_verified: 1 (mem: 253.93 MiB)
14:55:55 Proof verified successfully (mem: 253.93 MiB)
14:55:55 verified: 1 (mem: 253.93 MiB)
14:55:55 [14:55:55.488]
INFO:
bb-prover Successfully verified proof from key in 48.92656200000056 ms
14:55:55 [14:55:55.492]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:55:55 [14:55:55.493]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2e61ec23/bb/tmp-CjDBfW/proof -k /tmp/2e61ec23/bb/tmp-CjDBfW/vk -i /tmp/2e61ec23/bb/tmp-CjDBfW/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:55:55 [14:55:55.530]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
14:55:55 [14:55:55.531]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 253.93 MiB)
14:55:55 Scheme is: ultra_honk, num threads: 128 (mem: 253.93 MiB)
14:55:55 --public_inputs_path: /tmp/2e61ec23/bb/tmp-CjDBfW/public_inputs (mem: 253.93 MiB)
14:55:55 --proof_path: /tmp/2e61ec23/bb/tmp-CjDBfW/proof (mem: 253.93 MiB)
14:55:55 --vk_path: /tmp/2e61ec23/bb/tmp-CjDBfW/vk (mem: 253.93 MiB)
14:55:55 --verbose: true (mem: 253.93 MiB)
14:55:55 --scheme: ultra_honk (mem: 253.93 MiB)
14:55:55 --oracle_hash: poseidon2 (mem: 253.93 MiB)
14:55:55 --disable_zk: true (mem: 253.93 MiB)
14:55:55 [14:55:55.532]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.93 MiB)
14:55:55 [14:55:55.549]
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.93 MiB)
14:55:55 [14:55:55.550]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 253.93 MiB)
14:55:55 [14:55:55.551]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.93 MiB)
14:55:55 libra_evals_verified: 1 (mem: 253.93 MiB)
14:55:55 pairing_check_verified: 1 (mem: 253.93 MiB)
14:55:55 Proof verified successfully (mem: 253.93 MiB)
14:55:55 verified: 1 (mem: 253.93 MiB)
14:55:55 [14:55:55.553]
INFO:
bb-prover Successfully verified proof from key in 60.04798700000538 ms
14:55:55 [14:55:55.647]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
14:55:55
14:55:55 [14:55:55.648]
ERROR:
bb-prover Error running operation at /tmp/2e61ec23/bb/tmp-RfLExF: Error: Failed to generate witness: Failed assertion
14:55:55
14:55:55 [14:55:55.850]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":84.05557099999714,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
14:55:55 [14:55:55.852]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:55:55 [14:55:55.852]
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/2e61ec23/bb/tmp-RVv3Sl -b /tmp/2e61ec23/bb/tmp-RVv3Sl/RootParityArtifact-bytecode -w /tmp/2e61ec23/bb/tmp-RVv3Sl/partial-witness.gz -v --init_kzg_accumulator -v
14:55:55 [14:55:55.874]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 256.26 MiB)
14:55:55 [14:55:55.874]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 256.26 MiB)
14:55:55 --scheme: ultra_honk (mem: 256.26 MiB)
14:55:55 --bytecode_path: /tmp/2e61ec23/bb/tmp-RVv3Sl/RootParityArtifact-bytecode (mem: 256.26 MiB)
14:55:55 --witness_path: /tmp/2e61ec23/bb/tmp-RVv3Sl/partial-witness.gz (mem: 256.26 MiB)
14:55:55 --output_path: /tmp/2e61ec23/bb/tmp-RVv3Sl (mem: 256.26 MiB)
14:55:55 Warning: the following option is called more than once (mem: 256.26 MiB)
14:55:55 --verbose: true (mem: 256.26 MiB)
14:55:55 --oracle_hash: poseidon2 (mem: 256.26 MiB)
14:55:55 --output_format: bytes_and_fields (mem: 256.26 MiB)
14:55:55 --write_vk: true (mem: 256.26 MiB)
14:55:55 --disable_zk: true (mem: 256.26 MiB)
14:55:55 --init_kzg_accumulator: true (mem: 256.26 MiB)
14:55:56 [14:55:56.026]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.26 MiB)
14:55:56 [14:55:56.039]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 256.26 MiB)
14:55:58 [14:55:58.080]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 414.42 MiB)
14:56:00 [14:56:00.450]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 781.79 MiB)
14:56:02 [14:56:02.518]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1054.73 MiB)
14:56:04 [14:56:04.959]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1427.40 MiB)
14:56:04 Constructing DeciderProvingKey (mem: 1427.40 MiB)
14:56:06 [14:56:06.501]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1839.66 MiB)
14:56:06 [14:56:06.861]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5488.83 MiB)
14:56:08 [14:56:08.556]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3593 ms. (mem: 6066.83 MiB)
14:56:08 [14:56:08.687]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance.
14:56:08 [14:56:08.688]
INFO:
bb-prover RootParityArtifact BB out - (mem:
14:56:08 [14:56:08.688]
INFO:
bb-prover RootParityArtifact BB out - 6066.83
14:56:08 [14:56:08.689]
INFO:
bb-prover RootParityArtifact BB out - MiB)
14:56:08 [14:56:08.690]
INFO:
bb-prover RootParityArtifact BB out -
14:56:08 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6066.83 MiB)
14:56:09 [14:56:09.622]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6066.83 MiB)
14:56:13 [14:56:13.511]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6066.83 MiB)
14:56:17 [14:56:17.921]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6066.83 MiB)
14:56:19 [14:56:19.701]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6781.55 MiB)
14:56:21 [14:56:21.964]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6781.55 MiB)
14:56:28 [14:56:28.401]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6781.55 MiB)
14:56:30 [14:56:30.578]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6781.55 MiB)
14:56:30 [14:56:30.590]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6781.55 MiB)
14:56:31 [14:56:31.074]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/2e61ec23/bb/tmp-RVv3Sl/public_inputs" (mem: 6781.55 MiB)
14:56:31 Public inputs fields saved to "/tmp/2e61ec23/bb/tmp-RVv3Sl/public_inputs_fields.json" (mem: 6781.55 MiB)
14:56:31 Proof saved to "/tmp/2e61ec23/bb/tmp-RVv3Sl/proof" (mem: 6781.55 MiB)
14:56:31 [14:56:31.078]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/2e61ec23/bb/tmp-RVv3Sl/proof_fields.json" (mem: 6781.55 MiB)
14:56:31 VK saved to "/tmp/2e61ec23/bb/tmp-RVv3Sl/vk" (mem: 6781.55 MiB)
14:56:31 VK fields saved to "/tmp/2e61ec23/bb/tmp-RVv3Sl/vk_fields.json" (mem: 6781.55 MiB)
14:56:31 [14:56:31.370]
INFO:
bb-prover Generated proof for RootParityArtifact in 35514 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":35513.506228000006,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:56:31 [14:56:31.381]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:56:31 [14:56:31.386]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2e61ec23/bb/tmp-6IsRUr/proof -k /tmp/2e61ec23/bb/tmp-6IsRUr/vk -i /tmp/2e61ec23/bb/tmp-6IsRUr/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:56:31 [14:56:31.420]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
14:56:31 [14:56:31.421]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
14:56:31 [14:56:31.422]
VERBOSE:
bb-prover bb-prover (verify) BB out - 257.26
14:56:31 [14:56:31.422]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
14:56:31 [14:56:31.423]
VERBOSE:
bb-prover bb-prover (verify) BB out -
14:56:31 [14:56:31.424]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 257.26 MiB)
14:56:31 --public_inputs_path: /tmp/2e61ec23/bb/tmp-6IsRUr/public_inputs (mem: 257.26 MiB)
14:56:31 --proof_path: /tmp/2e61ec23/bb/tmp-6IsRUr/proof (mem: 257.26 MiB)
14:56:31 --vk_path: /tmp/2e61ec23/bb/tmp-6IsRUr/vk (mem: 257.26 MiB)
14:56:31 --verbose: true (mem: 257.26 MiB)
14:56:31 --scheme: ultra_honk (mem: 257.26 MiB)
14:56:31 --oracle_hash: poseidon2 (mem: 257.26 MiB)
14:56:31 --disable_zk: true (mem: 257.26 MiB)
14:56:31 [14:56:31.425]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f
14:56:31 [14:56:31.425]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
14:56:31 [14:56:31.425]
VERBOSE:
bb-prover bb-prover (verify) BB out - 257.26
14:56:31 [14:56:31.428]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
14:56:31 [14:56:31.439]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed!
14:56:31 [14:56:31.439]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
14:56:31 [14:56:31.440]
VERBOSE:
bb-prover bb-prover (verify) BB out - 257.26
14:56:31 [14:56:31.440]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
14:56:31 [14:56:31.440]
VERBOSE:
bb-prover bb-prover (verify) BB out -
14:56:31 Proof verification failed (mem: 257.26 MiB)
14:56:31 verified: 0 (mem: 257.26 MiB)
14:56:31 [14:56:31.445]
ERROR:
bb-prover Error running operation at /tmp/2e61ec23/bb/tmp-6IsRUr: ProvingError: Failed to verify proof from key!
14:56:31 [14:56:31.641]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":86.1298589999933,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
14:56:31 [14:56:31.642]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:56:31 [14:56:31.642]
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/2e61ec23/bb/tmp-qS5CjO -b /tmp/2e61ec23/bb/tmp-qS5CjO/RootParityArtifact-bytecode -w /tmp/2e61ec23/bb/tmp-qS5CjO/partial-witness.gz -v --init_kzg_accumulator -v
14:56:31 [14:56:31.677]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 257.26 MiB)
14:56:31 Scheme is: ultra_honk, num threads: 128 (mem: 257.26 MiB)
14:56:31 --scheme: ultra_honk (mem: 257.26 MiB)
14:56:31 --bytecode_path: /tmp/2e61ec23/bb/tmp-qS5CjO/RootParityArtifact-bytecode (mem: 257.26 MiB)
14:56:31 --witness_path: /tmp/2e61ec23/bb/tmp-qS5CjO/partial-witness.gz (mem: 257.26 MiB)
14:56:31 --output_path: /tmp/2e61ec23/bb/tmp-qS5CjO (mem: 257.26 MiB)
14:56:31 Warning: the following option is called more than once (mem: 257.26 MiB)
14:56:31 --verbose: true (mem: 257.26 MiB)
14:56:31 --oracle_hash: poseidon2 (mem: 257.26 MiB)
14:56:31 --output_format: bytes_and_fields (mem: 257.26 MiB)
14:56:31 --write_vk: true (mem: 257.26 MiB)
14:56:31 --disable_zk: true (mem: 257.26 MiB)
14:56:31 --init_kzg_accumulator: true (mem: 257.26 MiB)
14:56:31 [14:56:31.867]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 257.26 MiB)
14:56:31 [14:56:31.886]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 257.26 MiB)
14:56:34 [14:56:34.029]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 414.23 MiB)
14:56:36 [14:56:36.335]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 782.51 MiB)
14:56:38 [14:56:38.635]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1054.52 MiB)
14:56:40 [14:56:40.937]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1425.14 MiB)
14:56:40 [14:56:40.938]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1425.14 MiB)
14:56:42 [14:56:42.374]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1837.89 MiB)
14:56:42 [14:56:42.934]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5487.68 MiB)
14:56:44 [14:56:44.253]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3314 ms. (mem: 6065.68 MiB)
14:56:44 [14:56:44.366]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6065.68 MiB)
14:56:44 [14:56:44.367]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6065.68 MiB)
14:56:45 [14:56:45.064]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6065.68 MiB)
14:56:48 [14:56:48.308]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6065.68 MiB)
14:56:52 [14:56:52.521]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6065.68 MiB)
14:56:53 [14:56:53.953]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6784.95 MiB)
14:56:55 [14:56:55.755]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6784.95 MiB)
14:57:02 [14:57:02.058]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6784.95 MiB)
14:57:03 [14:57:03.771]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6784.95 MiB)
14:57:03 [14:57:03.780]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6784.95 MiB)
14:57:04 [14:57:04.105]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/2e61ec23/bb/tmp-qS5CjO/public_inputs" (mem: 6784.95 MiB)
14:57:04 Public inputs fields saved to "/tmp/2e61ec23/bb/tmp-qS5CjO/public_inputs_fields.json" (mem: 6784.95 MiB)
14:57:04 [14:57:04.106]
INFO:
bb-prover RootParityArtifact BB out - Proof saved to "/tmp/2e61ec23/bb/tmp-qS5CjO/proof" (mem: 6784.95 MiB)
14:57:04 Proof fields saved to "/tmp/2e61ec23/bb/tmp-qS5CjO/proof_fields.json" (mem: 6784.95 MiB)
14:57:04 VK saved to "/tmp/2e61ec23/bb/tmp-qS5CjO/vk" (mem: 6784.95 MiB)
14:57:04 VK fields saved to "/tmp/2e61ec23/bb/tmp-qS5CjO/vk_fields.json" (mem: 6784.95 MiB)
14:57:04 [14:57:04.263]
INFO:
bb-prover Generated proof for RootParityArtifact in 32618 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":32617.922908000008,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:57:04 [14:57:04.265]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:04 [14:57:04.265]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/2e61ec23/bb/tmp-HDmcxI/proof -k /tmp/2e61ec23/bb/tmp-HDmcxI/vk -i /tmp/2e61ec23/bb/tmp-HDmcxI/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:04 [14:57:04.290]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 257.26 MiB)
14:57:04 [14:57:04.290]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 257.26 MiB)
14:57:04 --public_inputs_path: /tmp/2e61ec23/bb/tmp-HDmcxI/public_inputs (mem: 257.26 MiB)
14:57:04 --proof_path: /tmp/2e61ec23/bb/tmp-HDmcxI/proof (mem: 257.26 MiB)
14:57:04 --vk_path: /tmp/2e61ec23/bb/tmp-HDmcxI/vk (mem: 257.26 MiB)
14:57:04 --verbose: true (mem: 257.26 MiB)
14:57:04 --scheme: ultra_honk (mem: 257.26 MiB)
14:57:04 --oracle_hash: poseidon2 (mem: 257.26 MiB)
14:57:04 --disable_zk: true (mem: 257.26 MiB)
14:57:04 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 257.26 MiB)
14:57:04 [14:57:04.301]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 257.26 MiB)
14:57:04 Proof verification failed (mem: 257.26 MiB)
14:57:04 [14:57:04.301]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 257.26 MiB)
14:57:04 [14:57:04.302]
ERROR:
bb-prover Error running operation at /tmp/2e61ec23/bb/tmp-HDmcxI: ProvingError: Failed to verify proof from key!
14:57:04 [14:57:04.305]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
14:57:04
PASS src/test/bb_prover_parity.test.ts (
122.666 s)
14:57:04 prover/bb_prover/parity
14:57:04
✓ proves the parity circuits (114104 ms)
14:57:04
14:57:04
Test Suites: 1 passed, 1 total
14:57:04
Tests: 1 passed, 1 total
14:57:04
Snapshots: 0 total
14:57:04
Time: 122.761 s
14:57:04
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
14:57:04
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?