Parent Log:
http://ci.aztec-labs.com/3439a1f4e35e5941
Command: f1d5df06d37e0c0f: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/5c77169d7f01a9e15bc19b05fa231fd96111d7dd
Env: REF_NAME=gh-readonly-queue/next/pr-15042-d5c48d855d83e19712c6b72281801c6fce176ec1 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 18 14:57:00 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15042_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
14:57:00 +++ id -u
14:57:00 +++ id -g
14:57:00 ++ 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:57:01 + cid=85ae5f7118693828a608a4d40460041e567a4bbd651ec20ae3f751cb472cd2ee
14:57:01 + set +x
14:57:03 {"level":25,"time":1750258623379,"pid":7,"hostname":"85ae5f711869","module":"logger","msg":"Logger initialized with level verbose"}
14:57:12 [14:57:12.788]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-hrOmzb/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
14:57:12 [14:57:12.862]
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/56d75ba4/bb
14:57:12 [14:57:12.863]
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/56d75ba4/acvm
14:57:12 [14:57:12.865]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/56d75ba4/bb
14:57:12 [14:57:12.865]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/56d75ba4/acvm
14:57:12 [14:57:12.868]
INFO:
prover-client:proving-broker Proving Broker started
14:57:12 [14:57:12.871]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
14:57:13 [14:57:13.183]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":138.38089299999956,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:57:13 [14:57:13.221]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":65.31446000000142,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:57:13 [14:57:13.233]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":102.85894899999948,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:57:13 [14:57:13.240]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:57:13 [14:57:13.241]
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/56d75ba4/bb/tmp-kOGj2S -b /tmp/56d75ba4/bb/tmp-kOGj2S/BaseParityArtifact-bytecode -w /tmp/56d75ba4/bb/tmp-kOGj2S/partial-witness.gz -v --init_kzg_accumulator -v
14:57:13 [14:57:13.279]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:57:13 [14:57:13.281]
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/56d75ba4/bb/tmp-jByPn0 -b /tmp/56d75ba4/bb/tmp-jByPn0/BaseParityArtifact-bytecode -w /tmp/56d75ba4/bb/tmp-jByPn0/partial-witness.gz -v --init_kzg_accumulator -v
14:57:13 [14:57:13.316]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:57:13 [14:57:13.317]
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/56d75ba4/bb/tmp-VfoHWs -b /tmp/56d75ba4/bb/tmp-VfoHWs/BaseParityArtifact-bytecode -w /tmp/56d75ba4/bb/tmp-VfoHWs/partial-witness.gz -v --init_kzg_accumulator -v
14:57:13 [14:57:13.368]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":50.985672000000704,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:57:13 [14:57:13.372]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.29 MiB)
14:57:13 Scheme is: ultra_honk, num threads: 128 (mem: 250.29 MiB)
14:57:13 --scheme: ultra_honk (mem: 250.29 MiB)
14:57:13 --bytecode_path: /tmp/56d75ba4/bb/tmp-kOGj2S/BaseParityArtifact-bytecode (mem: 250.29 MiB)
14:57:13 --witness_path: /tmp/56d75ba4/bb/tmp-kOGj2S/partial-witness.gz (mem: 250.29 MiB)
14:57:13 --output_path: /tmp/56d75ba4/bb/tmp-kOGj2S (mem: 250.29 MiB)
14:57:13 Warning: the following option is called more than once (mem: 250.29 MiB)
14:57:13 --verbose: true (mem: 250.29 MiB)
14:57:13 --oracle_hash: poseidon2 (mem: 250.29 MiB)
14:57:13 --output_format: bytes_and_fields (mem: 250.29 MiB)
14:57:13 --write_vk: true (mem: 250.29 MiB)
14:57:13 --disable_zk: true (mem: 250.29 MiB)
14:57:13 --init_kzg_accumulator: true (mem: 250.29 MiB)
14:57:13 [14:57:13.374]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.29 MiB)
14:57:13 Scheme is: ultra_honk, num threads: 128 (mem: 250.29 MiB)
14:57:13 --scheme: ultra_honk (mem: 250.29 MiB)
14:57:13 --bytecode_path: /tmp/56d75ba4/bb/tmp-jByPn0/BaseParityArtifact-bytecode (mem: 250.29 MiB)
14:57:13 --witness_path: /tmp/56d75ba4/bb/tmp-jByPn0/partial-witness.gz (mem: 250.29 MiB)
14:57:13 --output_path: /tmp/56d75ba4/bb/tmp-jByPn0 (mem: 250.29 MiB)
14:57:13 Warning: the following option is called more than once (mem: 250.29 MiB)
14:57:13 --verbose: true (mem: 250.29 MiB)
14:57:13 --oracle_hash: poseidon2 (mem: 250.29 MiB)
14:57:13 --output_format: bytes_and_fields (mem: 250.29 MiB)
14:57:13 --write_vk: true (mem: 250.29 MiB)
14:57:13 --disable_zk: true (mem: 250.29 MiB)
14:57:13 --init_kzg_accumulator: true (mem: 250.29 MiB)
14:57:13 [14:57:13.375]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.29 MiB)
14:57:13 Scheme is: ultra_honk, num threads: 128 (mem: 250.29 MiB)
14:57:13 --scheme: ultra_honk (mem: 250.29 MiB)
14:57:13 --bytecode_path: /tmp/56d75ba4/bb/tmp-VfoHWs/BaseParityArtifact-bytecode (mem: 250.29 MiB)
14:57:13 --witness_path: /tmp/56d75ba4/bb/tmp-VfoHWs/partial-witness.gz (mem: 250.29 MiB)
14:57:13 --output_path: /tmp/56d75ba4/bb/tmp-VfoHWs (mem: 250.29 MiB)
14:57:13 Warning: the following option is called more than once (mem: 250.29 MiB)
14:57:13 --verbose: true (mem: 250.29 MiB)
14:57:13 --oracle_hash: poseidon2 (mem: 250.29 MiB)
14:57:13 --output_format: bytes_and_fields (mem: 250.29 MiB)
14:57:13 --write_vk: true (mem: 250.29 MiB)
14:57:13 --disable_zk: true (mem: 250.29 MiB)
14:57:13 --init_kzg_accumulator: true (mem: 250.29 MiB)
14:57:13 [14:57:13.377]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:57:13 [14:57:13.377]
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/56d75ba4/bb/tmp-fRZVuV -b /tmp/56d75ba4/bb/tmp-fRZVuV/BaseParityArtifact-bytecode -w /tmp/56d75ba4/bb/tmp-fRZVuV/partial-witness.gz -v --init_kzg_accumulator -v
14:57:13 [14:57:13.413]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove
14:57:13 [14:57:13.414]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 250.33 MiB)
14:57:13 Scheme is: ultra_honk, num threads: 128 (mem: 250.33 MiB)
14:57:13 --scheme: ultra_honk (mem: 250.33 MiB)
14:57:13 --bytecode_path: /tmp/56d75ba4/bb/tmp-fRZVuV/BaseParityArtifact-bytecode (mem: 250.33 MiB)
14:57:13 --witness_path: /tmp/56d75ba4/bb/tmp-fRZVuV/partial-witness.gz (mem: 250.33 MiB)
14:57:13 --output_path: /tmp/56d75ba4/bb/tmp-fRZVuV (mem: 250.33 MiB)
14:57:13 Warning: the following option is called more than once (mem: 250.33 MiB)
14:57:13 --verbose: true (mem: 250.33 MiB)
14:57:13 --oracle_hash: poseidon2 (mem: 250.33 MiB)
14:57:13 --output_format: bytes_and_fields (mem: 250.33 MiB)
14:57:13 --write_vk: true (mem: 250.33 MiB)
14:57:13 --disable_zk: true (mem: 250.33 MiB)
14:57:13 --init_kzg_accumulator: true (mem: 250.33 MiB)
14:57:13 [14:57:13.463]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.29 MiB)
14:57:13 [14:57:13.469]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.29 MiB)
14:57:13 allocating polynomials object in proving key... (mem: 250.29 MiB)
14:57:13 [14:57:13.541]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.29 MiB)
14:57:13 Constructing DeciderProvingKey (mem: 250.29 MiB)
14:57:13 [14:57:13.549]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.29 MiB)
14:57:13 [14:57:13.552]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.29 MiB)
14:57:13 Constructing DeciderProvingKey (mem: 250.29 MiB)
14:57:13 [14:57:13.554]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.29 MiB)
14:57:13 [14:57:13.599]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.33 MiB)
14:57:13 Constructing DeciderProvingKey (mem: 250.33 MiB)
14:57:13 [14:57:13.603]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.33 MiB)
14:57:13 [14:57:13.749]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.29 MiB)
14:57:13 [14:57:13.760]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.29 MiB)
14:57:13 [14:57:13.841]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 377 ms. (mem: 250.29 MiB)
14:57:13 [14:57:13.846]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.33 MiB)
14:57:13 [14:57:13.851]
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:57:13 [14:57:13.856]
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:57:13 [14:57:13.857]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 307 ms. (mem: 250.29 MiB)
14:57:13 [14:57:13.865]
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:57:13 [14:57:13.871]
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:57:13 [14:57:13.872]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.29 MiB)
14:57:13 [14:57:13.898]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 250.29 MiB)
14:57:13 [14:57:13.902]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 250.29 MiB)
14:57:13 [14:57:13.946]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 346 ms. (mem: 250.33 MiB)
14:57:13 [14:57:13.954]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.33 MiB)
14:57:13 [14:57:13.967]
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.33 MiB)
14:57:14 [14:57:14.030]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 483 ms. (mem: 250.29 MiB)
14:57:14 [14:57:14.035]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 250.33 MiB)
14:57:14 [14:57:14.039]
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:57:14 [14:57:14.046]
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:57:14 [14:57:14.074]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 250.29 MiB)
14:57:14 [14:57:14.822]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.29 MiB)
14:57:14 [14:57:14.830]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.29 MiB)
14:57:15 [14:57:15.047]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.33 MiB)
14:57:15 [14:57:15.055]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.29 MiB)
14:57:15 [14:57:15.358]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.29 MiB)
14:57:15 [14:57:15.368]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.29 MiB)
14:57:15 [14:57:15.580]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.33 MiB)
14:57:15 [14:57:15.627]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.29 MiB)
14:57:15 [14:57:15.632]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.29 MiB)
14:57:15 [14:57:15.766]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.29 MiB)
14:57:15 [14:57:15.816]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.29 MiB)
14:57:15 [14:57:15.827]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.79 MiB)
14:57:15 [14:57:15.852]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.29 MiB)
14:57:15 [14:57:15.964]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.29 MiB)
14:57:15 [14:57:15.968]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.79 MiB)
14:57:16 [14:57:15.993]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.29 MiB)
14:57:17 [14:57:17.195]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.29 MiB)
14:57:17 [14:57:17.250]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.29 MiB)
14:57:17 finished decider proving. (mem: 250.29 MiB)
14:57:17 [14:57:17.256]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/56d75ba4/bb/tmp-VfoHWs/public_inputs" (mem: 250.29 MiB)
14:57:17 Public inputs fields saved to "/tmp/56d75ba4/bb/tmp-VfoHWs/public_inputs_fields.json" (mem: 250.29 MiB)
14:57:17 Proof saved to "/tmp/56d75ba4/bb/tmp-VfoHWs/proof" (mem: 250.29 MiB)
14:57:17 Proof fields saved to "/tmp/56d75ba4/bb/tmp-VfoHWs/proof_fields.json" (mem: 250.29 MiB)
14:57:17 VK saved to "/tmp/56d75ba4/bb/tmp-VfoHWs/vk" (mem: 250.29 MiB)
14:57:17 VK fields saved to "/tmp/56d75ba4/bb/tmp-VfoHWs/vk_fields.json" (mem: 250.29 MiB)
14:57:17 [14:57:17.311]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3980 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3979.424959,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:57:17 [14:57:17.316]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.317]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/56d75ba4/bb/tmp-GfNh9L/proof -k /tmp/56d75ba4/bb/tmp-GfNh9L/vk -i /tmp/56d75ba4/bb/tmp-GfNh9L/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.361]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.29 MiB)
14:57:17 [14:57:17.372]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.29 MiB)
14:57:17 finished decider proving. (mem: 250.29 MiB)
14:57:17 [14:57:17.375]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.33 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 250.33 MiB)
14:57:17 --public_inputs_path: /tmp/56d75ba4/bb/tmp-GfNh9L/public_inputs (mem: 250.33 MiB)
14:57:17 --proof_path: /tmp/56d75ba4/bb/tmp-GfNh9L/proof (mem: 250.33 MiB)
14:57:17 --vk_path: /tmp/56d75ba4/bb/tmp-GfNh9L/vk (mem: 250.33 MiB)
14:57:17 --verbose: true (mem: 250.33 MiB)
14:57:17 --scheme: ultra_honk (mem: 250.33 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 250.33 MiB)
14:57:17 --disable_zk: true (mem: 250.33 MiB)
14:57:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.33 MiB)
14:57:17 [14:57:17.377]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/56d75ba4/bb/tmp-jByPn0/public_inputs" (mem: 250.29 MiB)
14:57:17 Public inputs fields saved to "/tmp/56d75ba4/bb/tmp-jByPn0/public_inputs_fields.json" (mem: 250.29 MiB)
14:57:17 Proof saved to "/tmp/56d75ba4/bb/tmp-jByPn0/proof" (mem: 250.29 MiB)
14:57:17 Proof fields saved to "/tmp/56d75ba4/bb/tmp-jByPn0/proof_fields.json" (mem: 250.29 MiB)
14:57:17 VK saved to "/tmp/56d75ba4/bb/tmp-jByPn0/vk" (mem: 250.29 MiB)
14:57:17 VK fields saved to "/tmp/56d75ba4/bb/tmp-jByPn0/vk_fields.json" (mem: 250.29 MiB)
14:57:17 [14:57:17.386]
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:57:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.33 MiB)
14:57:17 [14:57:17.387]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.33 MiB)
14:57:17 libra_evals_verified: 1 (mem: 250.33 MiB)
14:57:17 pairing_check_verified: 1 (mem: 250.33 MiB)
14:57:17 Proof verified successfully (mem: 250.33 MiB)
14:57:17 verified: 1 (mem: 250.33 MiB)
14:57:17 [14:57:17.388]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.29 MiB)
14:57:17 [14:57:17.403]
INFO:
bb-prover Successfully verified proof from key in 87.16240800000014 ms
14:57:17 [14:57:17.416]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4131 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4130.354638999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:57:17 [14:57:17.420]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.29 MiB)
14:57:17 [14:57:17.421]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 250.29 MiB)
14:57:17 [14:57:17.423]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.423]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/56d75ba4/bb/tmp-QGPPsW/proof -k /tmp/56d75ba4/bb/tmp-QGPPsW/vk -i /tmp/56d75ba4/bb/tmp-QGPPsW/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.449]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/56d75ba4/bb/tmp-kOGj2S/public_inputs" (mem: 250.29 MiB)
14:57:17 Public inputs fields saved to "/tmp/56d75ba4/bb/tmp-kOGj2S/public_inputs_fields.json" (mem: 250.29 MiB)
14:57:17 Proof saved to "/tmp/56d75ba4/bb/tmp-kOGj2S/proof" (mem: 250.29 MiB)
14:57:17 Proof fields saved to "/tmp/56d75ba4/bb/tmp-kOGj2S/proof_fields.json" (mem: 250.29 MiB)
14:57:17 VK saved to "/tmp/56d75ba4/bb/tmp-kOGj2S/vk" (mem: 250.29 MiB)
14:57:17 VK fields saved to "/tmp/56d75ba4/bb/tmp-kOGj2S/vk_fields.json" (mem: 250.29 MiB)
14:57:17 [14:57:17.457]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.79 MiB)
14:57:17 [14:57:17.459]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.38 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 249.38 MiB)
14:57:17 --public_inputs_path: /tmp/56d75ba4/bb/tmp-QGPPsW/public_inputs (mem: 249.38 MiB)
14:57:17 --proof_path: /tmp/56d75ba4/bb/tmp-QGPPsW/proof (mem: 249.38 MiB)
14:57:17 --vk_path: /tmp/56d75ba4/bb/tmp-QGPPsW/vk (mem: 249.38 MiB)
14:57:17 --verbose: true (mem: 249.38 MiB)
14:57:17 --scheme: ultra_honk (mem: 249.38 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 249.38 MiB)
14:57:17 --disable_zk: true (mem: 249.38 MiB)
14:57:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.38 MiB)
14:57:17 [14:57:17.474]
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.38 MiB)
14:57:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 249.38 MiB)
14:57:17 sumcheck_verified: 1 (mem: 249.38 MiB)
14:57:17 libra_evals_verified: 1 (mem: 249.38 MiB)
14:57:17 pairing_check_verified: 1 (mem: 249.38 MiB)
14:57:17 Proof verified successfully (mem: 249.38 MiB)
14:57:17 verified: 1 (mem: 249.38 MiB)
14:57:17 [14:57:17.479]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4226 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4225.169578999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:57:17 [14:57:17.486]
INFO:
bb-prover Successfully verified proof from key in 63.36245599999893 ms
14:57:17 [14:57:17.489]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.79 MiB)
14:57:17 [14:57:17.491]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 250.79 MiB)
14:57:17 [14:57:17.493]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/56d75ba4/bb/tmp-fRZVuV/public_inputs" (mem:
14:57:17 [14:57:17.495]
INFO:
bb-prover BaseParityArtifact BB out - 250.79 MiB)
14:57:17 Public inputs fields saved to "/tmp/56d75ba4/bb/tmp-fRZVuV/public_inputs_fields.json" (mem: 250.79 MiB)
14:57:17 Proof saved to "/tmp/56d75ba4/bb/tmp-fRZVuV/proof" (mem: 250.79 MiB)
14:57:17 Proof fields saved to "/tmp/56d75ba4/bb/tmp-fRZVuV/proof_fields.json" (mem: 250.79 MiB)
14:57:17 VK saved to "/tmp/56d75ba4/bb/tmp-fRZVuV/vk" (mem: 250.79 MiB)
14:57:17 VK fields saved to "/tmp/56d75ba4/bb/tmp-fRZVuV/vk_fields.json" (mem: 250.79 MiB)
14:57:17 [14:57:17.496]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.497]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/56d75ba4/bb/tmp-9xqhvU/proof -k /tmp/56d75ba4/bb/tmp-9xqhvU/vk -i /tmp/56d75ba4/bb/tmp-9xqhvU/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.535]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.47 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 249.47 MiB)
14:57:17 --public_inputs_path: /tmp/56d75ba4/bb/tmp-9xqhvU/public_inputs (mem: 249.47 MiB)
14:57:17 --proof_path: /tmp/56d75ba4/bb/tmp-9xqhvU/proof (mem: 249.47 MiB)
14:57:17 --vk_path: /tmp/56d75ba4/bb/tmp-9xqhvU/vk (mem: 249.47 MiB)
14:57:17 --verbose: true (mem: 249.47 MiB)
14:57:17 --scheme: ultra_honk (mem: 249.47 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 249.47 MiB)
14:57:17 --disable_zk: true (mem: 249.47 MiB)
14:57:17 [14:57:17.536]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.47 MiB)
14:57:17 [14:57:17.542]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4161 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4160.517071,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:57:17 [14:57:17.551]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.552]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/56d75ba4/bb/tmp-FqpSqt/proof -k /tmp/56d75ba4/bb/tmp-FqpSqt/vk -i /tmp/56d75ba4/bb/tmp-FqpSqt/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.595]
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.47 MiB)
14:57:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 249.47 MiB)
14:57:17 sumcheck_verified: 1 (mem: 249.47 MiB)
14:57:17 libra_evals_verified: 1 (mem: 249.47 MiB)
14:57:17 pairing_check_verified: 1 (mem: 249.47 MiB)
14:57:17 Proof verified successfully (mem: 249.47 MiB)
14:57:17 verified: 1 (mem: 249.47 MiB)
14:57:17 [14:57:17.597]
INFO:
bb-prover Successfully verified proof from key in 100.56526900000063 ms
14:57:17 [14:57:17.601]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
14:57:17 [14:57:17.602]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.56 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 250.56 MiB)
14:57:17 --public_inputs_path: /tmp/56d75ba4/bb/tmp-FqpSqt/public_inputs (mem: 250.56 MiB)
14:57:17 --proof_path: /tmp/56d75ba4/bb/tmp-FqpSqt/proof (mem: 250.56 MiB)
14:57:17 --vk_path: /tmp/56d75ba4/bb/tmp-FqpSqt/vk (mem: 250.56 MiB)
14:57:17 --verbose: true (mem: 250.56 MiB)
14:57:17 --scheme: ultra_honk (mem: 250.56 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 250.56 MiB)
14:57:17 --disable_zk: true (mem: 250.56 MiB)
14:57:17 [14:57:17.602]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.56 MiB)
14:57:17 [14:57:17.620]
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.56 MiB)
14:57:17 [14:57:17.621]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 250.56 MiB)
14:57:17 [14:57:17.622]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.56
14:57:17 [14:57:17.622]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
14:57:17 libra_evals_verified: 1 (mem: 250.56 MiB)
14:57:17 pairing_check_verified: 1 (mem: 250.56 MiB)
14:57:17 Proof verified successfully (mem: 250.56 MiB)
14:57:17 verified: 1 (mem: 250.56 MiB)
14:57:17 [14:57:17.624]
INFO:
bb-prover Successfully verified proof from key in 73.27558700000009 ms
14:57:17 [14:57:17.632]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.633]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/56d75ba4/bb/tmp-H0kCUn/proof -k /tmp/56d75ba4/bb/tmp-H0kCUn/vk -i /tmp/56d75ba4/bb/tmp-H0kCUn/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.660]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.660]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/56d75ba4/bb/tmp-gTs9yK/proof -k /tmp/56d75ba4/bb/tmp-gTs9yK/vk -i /tmp/56d75ba4/bb/tmp-gTs9yK/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.697]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.697]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/56d75ba4/bb/tmp-GjlWy7/proof -k /tmp/56d75ba4/bb/tmp-GjlWy7/vk -i /tmp/56d75ba4/bb/tmp-GjlWy7/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.731]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:57:17 [14:57:17.732]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/56d75ba4/bb/tmp-LiERUM/proof -k /tmp/56d75ba4/bb/tmp-LiERUM/vk -i /tmp/56d75ba4/bb/tmp-LiERUM/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:57:17 [14:57:17.779]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.58 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 250.58 MiB)
14:57:17 --public_inputs_path: /tmp/56d75ba4/bb/tmp-H0kCUn/public_inputs (mem: 250.58 MiB)
14:57:17 --proof_path: /tmp/56d75ba4/bb/tmp-H0kCUn/proof (mem: 250.58 MiB)
14:57:17 --vk_path: /tmp/56d75ba4/bb/tmp-H0kCUn/vk (mem: 250.58 MiB)
14:57:17 --verbose: true (mem: 250.58 MiB)
14:57:17 --scheme: ultra_honk (mem: 250.58 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 250.58 MiB)
14:57:17 --disable_zk: true (mem: 250.58 MiB)
14:57:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.58 MiB)
14:57:17 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.58 MiB)
14:57:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.58 MiB)
14:57:17 sumcheck_verified: 1 (mem: 250.58 MiB)
14:57:17 libra_evals_verified: 1 (mem: 250.58 MiB)
14:57:17 pairing_check_verified: 1 (mem: 250.58 MiB)
14:57:17 Proof verified successfully (mem: 250.58 MiB)
14:57:17 verified: 1 (mem: 250.58 MiB)
14:57:17 [14:57:17.781]
INFO:
bb-prover Successfully verified proof from key in 148.63396099999954 ms
14:57:17 [14:57:17.782]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.58 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 250.58 MiB)
14:57:17 --public_inputs_path: /tmp/56d75ba4/bb/tmp-gTs9yK/public_inputs (mem: 250.58 MiB)
14:57:17 --proof_path: /tmp/56d75ba4/bb/tmp-gTs9yK/proof (mem: 250.58 MiB)
14:57:17 --vk_path: /tmp/56d75ba4/bb/tmp-gTs9yK/vk (mem: 250.58 MiB)
14:57:17 --verbose: true (mem: 250.58 MiB)
14:57:17 --scheme: ultra_honk (mem: 250.58 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 250.58 MiB)
14:57:17 --disable_zk: true (mem: 250.58 MiB)
14:57:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.58 MiB)
14:57:17 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.58 MiB)
14:57:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.58 MiB)
14:57:17 sumcheck_verified: 1 (mem: 250.58 MiB)
14:57:17 libra_evals_verified: 1 (mem: 250.58 MiB)
14:57:17 pairing_check_verified: 1 (mem: 250.58 MiB)
14:57:17 Proof verified successfully (mem: 250.58 MiB)
14:57:17 verified: 1 (mem: 250.58 MiB)
14:57:17 [14:57:17.785]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.58 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 250.58 MiB)
14:57:17 --public_inputs_path: /tmp/56d75ba4/bb/tmp-GjlWy7/public_inputs (mem: 250.58 MiB)
14:57:17 --proof_path: /tmp/56d75ba4/bb/tmp-GjlWy7/proof (mem: 250.58 MiB)
14:57:17 --vk_path: /tmp/56d75ba4/bb/tmp-GjlWy7/vk (mem: 250.58 MiB)
14:57:17 --verbose: true (mem: 250.58 MiB)
14:57:17 --scheme: ultra_honk (mem: 250.58 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 250.58 MiB)
14:57:17 --disable_zk: true (mem: 250.58 MiB)
14:57:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.58 MiB)
14:57:17 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.58 MiB)
14:57:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.58 MiB)
14:57:17 sumcheck_verified: 1 (mem: 250.58 MiB)
14:57:17 libra_evals_verified: 1 (mem: 250.58 MiB)
14:57:17 pairing_check_verified: 1 (mem: 250.58 MiB)
14:57:17 Proof verified successfully (mem: 250.58 MiB)
14:57:17 verified: 1 (mem: 250.58 MiB)
14:57:17 [14:57:17.786]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.58 MiB)
14:57:17 Scheme is: ultra_honk, num threads: 128 (mem: 250.58 MiB)
14:57:17 --public_inputs_path: /tmp/56d75ba4/bb/tmp-LiERUM/public_inputs (mem: 250.58 MiB)
14:57:17 --proof_path: /tmp/56d75ba4/bb/tmp-LiERUM/proof (mem: 250.58 MiB)
14:57:17 --vk_path: /tmp/56d75ba4/bb/tmp-LiERUM/vk (mem: 250.58 MiB)
14:57:17 --verbose: true (mem: 250.58 MiB)
14:57:17 --scheme: ultra_honk (mem: 250.58 MiB)
14:57:17 --oracle_hash: poseidon2 (mem: 250.58 MiB)
14:57:17 --disable_zk: true (mem: 250.58 MiB)
14:57:17 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.58 MiB)
14:57:17 [14:57:17.787]
INFO:
bb-prover Successfully verified proof from key in 126.79026299999896 ms
14:57:17 [14:57:17.787]
INFO:
bb-prover Successfully verified proof from key in 90.90855199999896 ms
14:57:17 [14:57:17.793]
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.58 MiB)
14:57:17 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.58 MiB)
14:57:17 [14:57:17.794]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1
14:57:17 [14:57:17.794]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
14:57:17 [14:57:17.794]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.58
14:57:17 [14:57:17.797]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
14:57:17 libra_evals_verified: 1 (mem: 250.58 MiB)
14:57:17 pairing_check_verified: 1 (mem: 250.58 MiB)
14:57:17 Proof verified successfully (mem: 250.58 MiB)
14:57:17 verified: 1 (mem: 250.58 MiB)
14:57:17 [14:57:17.798]
INFO:
bb-prover Successfully verified proof from key in 66.65177300000141 ms
14:57:18 [14:57:18.017]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":94.11838700000044,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
14:57:18 [14:57:18.018]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:57:18 [14:57:18.019]
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/56d75ba4/bb/tmp-gfJQSE -b /tmp/56d75ba4/bb/tmp-gfJQSE/RootParityArtifact-bytecode -w /tmp/56d75ba4/bb/tmp-gfJQSE/partial-witness.gz -v --init_kzg_accumulator -v
14:57:18 [14:57:18.049]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.64 MiB)
14:57:18 Scheme is: ultra_honk, num threads: 128 (mem: 252.64 MiB)
14:57:18 --scheme: ultra_honk (mem: 252.64 MiB)
14:57:18 --bytecode_path: /tmp/56d75ba4/bb/tmp-gfJQSE/RootParityArtifact-bytecode (mem: 252.64 MiB)
14:57:18 --witness_path: /tmp/56d75ba4/bb/tmp-gfJQSE/partial-witness.gz (mem: 252.64 MiB)
14:57:18 --output_path: /tmp/56d75ba4/bb/tmp-gfJQSE (mem: 252.64 MiB)
14:57:18 Warning: the following option is called more than once (mem: 252.64 MiB)
14:57:18 --verbose: true (mem: 252.64 MiB)
14:57:18 --oracle_hash: poseidon2 (mem: 252.64 MiB)
14:57:18 --output_format: bytes_and_fields (mem: 252.64 MiB)
14:57:18 --write_vk: true (mem: 252.64 MiB)
14:57:18 --disable_zk: true (mem: 252.64 MiB)
14:57:18 --init_kzg_accumulator: true (mem: 252.64 MiB)
14:57:18 [14:57:18.251]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.64 MiB)
14:57:20 [14:57:20.309]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 413.16 MiB)
14:57:22 [14:57:22.754]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 775.62 MiB)
14:57:24 [14:57:24.948]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1044.16 MiB)
14:57:27 [14:57:27.436]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1415.17 MiB)
14:57:27 [14:57:27.437]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1415.17 MiB)
14:57:28 [14:57:28.850]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1863.18 MiB)
14:57:29 [14:57:29.269]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5504.82 MiB)
14:57:31 [14:57:31.461]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4021 ms. (mem: 6066.82 MiB)
14:57:31 [14:57:31.643]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance.
14:57:31 [14:57:31.644]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6066.82 MiB)
14:57:32 [14:57:32.077]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6556.50 MiB)
14:57:33 [14:57:33.549]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7325.20 MiB)
14:57:43 [14:57:43.283]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7325.20 MiB)
14:57:48 [14:57:48.669]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7325.20 MiB)
14:57:50 [14:57:50.826]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9130.32 MiB)
14:57:53 [14:57:53.122]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9130.32 MiB)
14:57:59 [14:57:59.151]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9130.32 MiB)
14:58:00 [14:58:00.723]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9130.32 MiB)
14:58:00 [14:58:00.750]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9130.32 MiB)
14:58:01 [14:58:01.458]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/56d75ba4/bb/tmp-gfJQSE/public_inputs" (mem: 9130.32 MiB)
14:58:01 [14:58:01.458]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/56d75ba4/bb/tmp-gfJQSE/public_inputs_fields.json" (mem: 9130.32 MiB)
14:58:01 Proof saved to "/tmp/56d75ba4/bb/tmp-gfJQSE/proof" (mem: 9130.32 MiB)
14:58:01 Proof fields saved to "/tmp/56d75ba4/bb/tmp-gfJQSE/proof_fields.json" (mem: 9130.32 MiB)
14:58:01 VK saved to "/tmp/56d75ba4/bb/tmp-gfJQSE/vk"
14:58:01 [14:58:01.459]
INFO:
bb-prover RootParityArtifact BB out - (mem: 9130.32 MiB)
14:58:01 VK fields saved to "/tmp/56d75ba4/bb/tmp-gfJQSE/vk_fields.json" (mem: 9130.32 MiB)
14:58:01 [14:58:01.703]
INFO:
bb-prover Generated proof for RootParityArtifact in 43682 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":43681.412707,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:58:01 [14:58:01.707]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:58:01 [14:58:01.707]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/56d75ba4/bb/tmp-n9Vy5C/proof -k /tmp/56d75ba4/bb/tmp-n9Vy5C/vk -i /tmp/56d75ba4/bb/tmp-n9Vy5C/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:58:01 [14:58:01.739]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.64 MiB)
14:58:01 Scheme is: ultra_honk, num threads: 128 (mem: 252.64 MiB)
14:58:01 --public_inputs_path: /tmp/56d75ba4/bb/tmp-n9Vy5C/public_inputs (mem: 252.64 MiB)
14:58:01 --proof_path: /tmp/56d75ba4/bb/tmp-n9Vy5C/proof (mem: 252.64 MiB)
14:58:01 --vk_path: /tmp/56d75ba4/bb/tmp-n9Vy5C/vk (mem: 252.64 MiB)
14:58:01 --verbose: true (mem: 252.64 MiB)
14:58:01 --scheme: ultra_honk (mem: 252.64 MiB)
14:58:01 --oracle_hash: poseidon2 (mem: 252.64 MiB)
14:58:01 --disable_zk: true (mem: 252.64 MiB)
14:58:01 [14:58:01.740]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 252.64 MiB)
14:58:01 [14:58:01.756]
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.64 MiB)
14:58:01 [14:58:01.757]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 252.64 MiB)
14:58:01 sumcheck_verified: 1 (mem: 252.64 MiB)
14:58:01 libra_evals_verified: 1 (mem: 252.64 MiB)
14:58:01 pairing_check_verified: 1 (mem: 252.64 MiB)
14:58:01 Proof verified successfully (mem: 252.64 MiB)
14:58:01 verified: 1 (mem: 252.64 MiB)
14:58:01 [14:58:01.759]
INFO:
bb-prover Successfully verified proof from key in 52.7301890000017 ms
14:58:01 [14:58:01.762]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:58:01 [14:58:01.763]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/56d75ba4/bb/tmp-DIYjEJ/proof -k /tmp/56d75ba4/bb/tmp-DIYjEJ/vk -i /tmp/56d75ba4/bb/tmp-DIYjEJ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:58:01 [14:58:01.793]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.64 MiB)
14:58:01 Scheme is: ultra_honk, num threads: 128 (mem: 252.64 MiB)
14:58:01 --public_inputs_path: /tmp/56d75ba4/bb/tmp-DIYjEJ/public_inputs (mem: 252.64 MiB)
14:58:01 --proof_path: /tmp/56d75ba4/bb/tmp-DIYjEJ/proof (mem: 252.64 MiB)
14:58:01 --vk_path: /tmp/56d75ba4/bb/tmp-DIYjEJ/vk (mem: 252.64 MiB)
14:58:01 --verbose: true (mem:
14:58:01 [14:58:01.794]
VERBOSE:
bb-prover bb-prover (verify) BB out - 252.64 MiB)
14:58:01 --scheme: ultra_honk (mem: 252.64 MiB)
14:58:01 --oracle_hash: poseidon2 (mem: 252.64 MiB)
14:58:01 --disable_zk: true (mem: 252.64 MiB)
14:58:01 [14:58:01.795]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 252.64 MiB)
14:58:01 [14:58:01.812]
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.64 MiB)
14:58:01 [14:58:01.813]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 252.64 MiB)
14:58:01 [14:58:01.813]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.64 MiB)
14:58:01 libra_evals_verified: 1 (mem: 252.64 MiB)
14:58:01 pairing_check_verified: 1 (mem: 252.64 MiB)
14:58:01 Proof verified successfully (mem: 252.64 MiB)
14:58:01 verified: 1 (mem: 252.64 MiB)
14:58:01 [14:58:01.816]
INFO:
bb-prover Successfully verified proof from key in 53.888928000000305 ms
14:58:01 [14:58:01.914]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
14:58:01
14:58:01 [14:58:01.914]
ERROR:
bb-prover Error running operation at /tmp/56d75ba4/bb/tmp-EIV9aP: Error: Failed to generate witness: Failed assertion
14:58:01
14:58:02 [14:58:02.146]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":89.35804500000086,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
14:58:02 [14:58:02.150]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:58:02 [14:58:02.151]
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/56d75ba4/bb/tmp-HNeYuP -b /tmp/56d75ba4/bb/tmp-HNeYuP/RootParityArtifact-bytecode -w /tmp/56d75ba4/bb/tmp-HNeYuP/partial-witness.gz -v --init_kzg_accumulator -v
14:58:02 [14:58:02.189]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.43 MiB)
14:58:02 Scheme is: ultra_honk, num threads: 128 (mem: 252.43 MiB)
14:58:02 --scheme: ultra_honk (mem: 252.43 MiB)
14:58:02 --bytecode_path: /tmp/56d75ba4/bb/tmp-HNeYuP/RootParityArtifact-bytecode (mem: 252.43 MiB)
14:58:02 --witness_path: /tmp/56d75ba4/bb/tmp-HNeYuP/partial-witness.gz (mem: 252.43 MiB)
14:58:02 --output_path: /tmp/56d75ba4/bb/tmp-HNeYuP (mem: 252.43 MiB)
14:58:02 Warning: the following option is called more than once (mem: 252.43 MiB)
14:58:02 --verbose: true (mem: 252.43 MiB)
14:58:02 --oracle_hash: poseidon2 (mem: 252.43 MiB)
14:58:02 --output_format: bytes_and_fields (mem: 252.43 MiB)
14:58:02 --write_vk: true (mem: 252.43 MiB)
14:58:02 --disable_zk: true (mem: 252.43 MiB)
14:58:02 --init_kzg_accumulator: true (mem: 252.43 MiB)
14:58:02 [14:58:02.452]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.43 MiB)
14:58:02 [14:58:02.470]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 252.43 MiB)
14:58:04 [14:58:04.652]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 407.85 MiB)
14:58:07 [14:58:07.237]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 770.04 MiB)
14:58:09 [14:58:09.534]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1039.90 MiB)
14:58:12 [14:58:12.183]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1411.05 MiB)
14:58:12 Constructing DeciderProvingKey (mem: 1411.05 MiB)
14:58:13 [14:58:13.675]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1859.29 MiB)
14:58:14 [14:58:14.152]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5505.64 MiB)
14:58:16 [14:58:16.233]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4051 ms. (mem: 6074.64 MiB)
14:58:16 [14:58:16.490]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6074.64 MiB)
14:58:16 [14:58:16.734]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6558.05 MiB)
14:58:18 [14:58:18.014]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7327.05 MiB)
14:58:23 [14:58:23.744]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7327.05 MiB)
14:58:27 [14:58:27.550]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7327.05 MiB)
14:58:29 [14:58:29.365]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9140.18 MiB)
14:58:31 [14:58:31.551]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9141.18 MiB)
14:58:39 [14:58:39.692]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9141.18 MiB)
14:58:41 [14:58:41.235]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9141.18 MiB)
14:58:41 [14:58:41.277]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving.
14:58:41 [14:58:41.293]
INFO:
bb-prover RootParityArtifact BB out - (mem: 9141.18 MiB)
14:58:42 [14:58:42.345]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/56d75ba4/bb/tmp-HNeYuP/public_inputs" (mem: 9141.18 MiB)
14:58:42 [14:58:42.345]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/56d75ba4/bb/tmp-HNeYuP/public_inputs_fields.json" (mem: 9141.18 MiB)
14:58:42 Proof saved to "/tmp/56d75ba4/bb/tmp-HNeYuP/proof" (mem: 9141.18 MiB)
14:58:42 [14:58:42.346]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/56d75ba4/bb/tmp-HNeYuP/proof_fields.json" (mem: 9141.18 MiB)
14:58:42 VK saved to "/tmp/56d75ba4/bb/tmp-HNeYuP/vk" (mem: 9141.18 MiB)
14:58:42 [14:58:42.346]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/56d75ba4/bb/tmp-HNeYuP/vk_fields.json" (mem: 9141.18 MiB)
14:58:42 [14:58:42.650]
INFO:
bb-prover Generated proof for RootParityArtifact in 40495 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40494.076054000005,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:58:42 [14:58:42.654]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:58:42 [14:58:42.655]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/56d75ba4/bb/tmp-r8CutF/proof -k /tmp/56d75ba4/bb/tmp-r8CutF/vk -i /tmp/56d75ba4/bb/tmp-r8CutF/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:58:42 [14:58:42.686]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.64 MiB)
14:58:42 [14:58:42.687]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.64 MiB)
14:58:42 --public_inputs_path: /tmp/56d75ba4/bb/tmp-r8CutF/public_inputs (mem: 252.64 MiB)
14:58:42 --proof_path: /tmp/56d75ba4/bb/tmp-r8CutF/proof (mem: 252.64 MiB)
14:58:42 --vk_path: /tmp/56d75ba4/bb/tmp-r8CutF/vk (mem: 252.64 MiB)
14:58:42 --verbose: true (mem: 252.64 MiB)
14:58:42 --scheme: ultra_honk (mem: 252.64 MiB)
14:58:42 --oracle_hash: poseidon2 (mem: 252.64 MiB)
14:58:42 --disable_zk: true (mem: 252.64 MiB)
14:58:42 [14:58:42.687]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 252.64 MiB)
14:58:42 [14:58:42.700]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 252.64 MiB)
14:58:42 Proof verification failed (mem: 252.64 MiB)
14:58:42 [14:58:42.701]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 252.64 MiB)
14:58:42 [14:58:42.703]
ERROR:
bb-prover Error running operation at /tmp/56d75ba4/bb/tmp-r8CutF: ProvingError: Failed to verify proof from key!
14:58:42 [14:58:42.884]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":82.41246400000819,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
14:58:42 [14:58:42.886]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:58:42 [14:58:42.887]
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/56d75ba4/bb/tmp-oTjJBG -b /tmp/56d75ba4/bb/tmp-oTjJBG/RootParityArtifact-bytecode -w /tmp/56d75ba4/bb/tmp-oTjJBG/partial-witness.gz -v --init_kzg_accumulator -v
14:58:42 [14:58:42.911]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.64 MiB)
14:58:42 [14:58:42.912]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.64 MiB)
14:58:42 --scheme: ultra_honk (mem: 252.64 MiB)
14:58:42 --bytecode_path: /tmp/56d75ba4/bb/tmp-oTjJBG/RootParityArtifact-bytecode (mem: 252.64 MiB)
14:58:42 --witness_path: /tmp/56d75ba4/bb/tmp-oTjJBG/partial-witness.gz (mem: 252.64 MiB)
14:58:42 --output_path: /tmp/56d75ba4/bb/tmp-oTjJBG (mem: 252.64 MiB)
14:58:42 Warning: the following option is called more than once (mem: 252.64 MiB)
14:58:42 --verbose: true (mem: 252.64 MiB)
14:58:42 --oracle_hash: poseidon2 (mem: 252.64 MiB)
14:58:42 --output_format: bytes_and_fields (mem: 252.64 MiB)
14:58:42 --write_vk: true (mem: 252.64 MiB)
14:58:42 --disable_zk: true (mem: 252.64 MiB)
14:58:42 --init_kzg_accumulator: true (mem: 252.64 MiB)
14:58:43 [14:58:43.084]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.64 MiB)
14:58:43 [14:58:43.105]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 252.64 MiB)
14:58:45 [14:58:45.090]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 406.75 MiB)
14:58:47 [14:58:47.156]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 770.05 MiB)
14:58:49 [14:58:49.112]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1038.40 MiB)
14:58:51 [14:58:51.031]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1409.00 MiB)
14:58:51 [14:58:51.031]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1409.00 MiB)
14:58:52 [14:58:52.135]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1860.78 MiB)
14:58:52 [14:58:52.531]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5511.21 MiB)
14:58:53 [14:58:53.978]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 2946 ms. (mem: 6076.21 MiB)
14:58:54 [14:58:54.123]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6076.21 MiB)
14:58:54 [14:58:54.289]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6563.19 MiB)
14:58:55 [14:58:55.619]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7331.57 MiB)
14:59:01 [14:59:01.131]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7331.57 MiB)
14:59:04 [14:59:04.972]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7331.57 MiB)
14:59:07 [14:59:07.072]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9136.32 MiB)
14:59:09 [14:59:09.144]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9137.32 MiB)
14:59:14 [14:59:14.512]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9137.32 MiB)
14:59:15 [14:59:15.990]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9137.32 MiB)
14:59:16 [14:59:16.017]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9137.32 MiB)
14:59:16 [14:59:16.778]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/56d75ba4/bb/tmp-oTjJBG/public_inputs" (mem: 9137.32 MiB)
14:59:16 [14:59:16.779]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/56d75ba4/bb/tmp-oTjJBG/public_inputs_fields.json" (mem: 9137.32 MiB)
14:59:16 Proof saved to "/tmp/56d75ba4/bb/tmp-oTjJBG/proof" (mem: 9137.32 MiB)
14:59:16 Proof fields saved to "/tmp/56d75ba4/bb/tmp-oTjJBG/proof_fields.json" (mem: 9137.32 MiB)
14:59:16 VK saved to "/tmp/56d75ba4/bb/tmp-oTjJBG/vk" (mem: 9137.32 MiB)
14:59:16 VK fields saved to "/tmp/56d75ba4/bb/tmp-oTjJBG/vk_fields.json" (mem: 9137.32 MiB)
14:59:17 [14:59:17.027]
INFO:
bb-prover Generated proof for RootParityArtifact in 34139 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34138.166805999994,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:59:17 [14:59:17.030]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:59:17 [14:59:17.030]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/56d75ba4/bb/tmp-EUc4WV/proof -k /tmp/56d75ba4/bb/tmp-EUc4WV/vk -i /tmp/56d75ba4/bb/tmp-EUc4WV/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:59:17 [14:59:17.054]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.64 MiB)
14:59:17 [14:59:17.055]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.64 MiB)
14:59:17 --public_inputs_path: /tmp/56d75ba4/bb/tmp-EUc4WV/public_inputs (mem: 252.64 MiB)
14:59:17 --proof_path: /tmp/56d75ba4/bb/tmp-EUc4WV/proof (mem: 252.64 MiB)
14:59:17 --vk_path: /tmp/56d75ba4/bb/tmp-EUc4WV/vk (mem: 252.64 MiB)
14:59:17 --verbose: true (mem: 252.64 MiB)
14:59:17 --scheme: ultra_honk (mem: 252.64 MiB)
14:59:17 --oracle_hash: poseidon2 (mem: 252.64 MiB)
14:59:17 --disable_zk: true (mem: 252.64 MiB)
14:59:17 [14:59:17.055]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 252.64 MiB)
14:59:17 [14:59:17.067]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 252.64 MiB)
14:59:17 Proof verification failed (mem: 252.64 MiB)
14:59:17 [14:59:17.068]
VERBOSE:
bb-prover bb-prover (verify) BB out -
14:59:17 verified: 0 (mem: 252.64 MiB)
14:59:17 [14:59:17.069]
ERROR:
bb-prover Error running operation at /tmp/56d75ba4/bb/tmp-EUc4WV: ProvingError: Failed to verify proof from key!
14:59:17 [14:59:17.072]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
14:59:17
PASS src/test/bb_prover_parity.test.ts (
133.928 s)
14:59:17 prover/bb_prover/parity
14:59:17
✓ proves the parity circuits (124196 ms)
14:59:17
14:59:17
Test Suites: 1 passed, 1 total
14:59:17
Tests: 1 passed, 1 total
14:59:17
Snapshots: 0 total
14:59:17
Time: 134.017 s
14:59:17
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
14:59:17
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?