Parent Log:
http://ci.aztec-labs.com/4a6d30c36bb1e847
Command: d57d38082bbaf86d: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/fdc8ff50dee1a2a8a98393ff5069a285b52efa1f
Env: REF_NAME=gh-readonly-queue/next/pr-15187-9b8ea5acda76687342ddb62595e293281661f029 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 23 09:34:56 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15187_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
09:34:56 +++ id -u
09:34:56 +++ id -g
09:34:56 ++ docker run -d --name prover-client_src_test_bb_prover_parity.test.ts --net=none --cpuset-cpus=0-127 --cpus=16 --memory=96g --user 1000:1000 -v/home/aztec-dev:/home/aztec-dev --mount type=tmpfs,target=/tmp,tmpfs-size=1g --workdir /home/aztec-dev/aztec-packages -e HOME -e VERBOSE -e GIT_CONFIG_GLOBAL=/home/aztec-dev/aztec-packages/build-images/src/home/.gitconfig -e FORCE_COLOR=true -e CPUS -e MEM aztecprotocol/build:3.0 /bin/bash -c 'timeout -v 600s bash -c '\''LOG_LEVEL=verbose yarn-project/scripts/run_test.sh prover-client/src/test/bb_prover_parity.test.ts'\'''
09:34:56 + cid=f35193b65793fec0e6f7b86f6dfc7f62e943e01baf8ebc30ffbbb9053bc81d9d
09:34:56 + set +x
09:34:58 {"level":25,"time":1750671298597,"pid":7,"hostname":"f35193b65793","module":"logger","msg":"Logger initialized with level verbose"}
09:35:07 [09:35:07.300]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-6kAOYQ/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
09:35:07 [09:35:07.372]
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/a1213c14/bb
09:35:07 [09:35:07.374]
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/a1213c14/acvm
09:35:07 [09:35:07.375]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/a1213c14/bb
09:35:07 [09:35:07.376]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/a1213c14/acvm
09:35:07 [09:35:07.379]
INFO:
prover-client:proving-broker Proving Broker started
09:35:07 [09:35:07.381]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
09:35:07 [09:35:07.616]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":59.4647359999999,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:35:07 [09:35:07.640]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":97.26563600000009,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:35:07 [09:35:07.651]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":47.962336000000505,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:35:07 [09:35:07.655]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:35:07 [09:35:07.655]
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/a1213c14/bb/tmp-icx7TU -b /tmp/a1213c14/bb/tmp-icx7TU/BaseParityArtifact-bytecode -w /tmp/a1213c14/bb/tmp-icx7TU/partial-witness.gz -v --init_kzg_accumulator -v
09:35:07 [09:35:07.686]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:35:07 [09:35:07.686]
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/a1213c14/bb/tmp-54uU6s -b /tmp/a1213c14/bb/tmp-54uU6s/BaseParityArtifact-bytecode -w /tmp/a1213c14/bb/tmp-54uU6s/partial-witness.gz -v --init_kzg_accumulator -v
09:35:07 [09:35:07.730]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:35:07 [09:35:07.730]
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/a1213c14/bb/tmp-bDEsnH -b /tmp/a1213c14/bb/tmp-bDEsnH/BaseParityArtifact-bytecode -w /tmp/a1213c14/bb/tmp-bDEsnH/partial-witness.gz -v --init_kzg_accumulator -v
09:35:07 [09:35:07.783]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":33.43617499999891,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:35:07 [09:35:07.785]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.26 MiB)
09:35:07 Scheme is: ultra_honk, num threads: 128 (mem: 251.26 MiB)
09:35:07 --scheme: ultra_honk (mem: 251.26 MiB)
09:35:07 --bytecode_path: /tmp/a1213c14/bb/tmp-icx7TU/BaseParityArtifact-bytecode (mem: 251.26 MiB)
09:35:07 --witness_path: /tmp/a1213c14/bb/tmp-icx7TU/partial-witness.gz (mem: 251.26 MiB)
09:35:07 --output_path: /tmp/a1213c14/bb/tmp-icx7TU (mem: 251.26 MiB)
09:35:07 Warning: the following option is called more than once (mem: 251.26 MiB)
09:35:07 --verbose: true (mem: 251.26 MiB)
09:35:07 --oracle_hash: poseidon2 (mem: 251.26 MiB)
09:35:07 --output_format: bytes_and_fields (mem: 251.26 MiB)
09:35:07 --write_vk: true (mem: 251.26 MiB)
09:35:07 --disable_zk: true (mem: 251.26 MiB)
09:35:07 --init_kzg_accumulator: true (mem: 251.26 MiB)
09:35:07 [09:35:07.785]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.22 MiB)
09:35:07 Scheme is: ultra_honk, num threads: 128 (mem: 250.22 MiB)
09:35:07 --scheme: ultra_honk (mem: 250.22 MiB)
09:35:07 --bytecode_path: /tmp/a1213c14/bb/tmp-54uU6s/BaseParityArtifact-bytecode (mem: 250.22 MiB)
09:35:07 --witness_path: /tmp/a1213c14/bb/tmp-54uU6s/partial-witness.gz (mem: 250.22 MiB)
09:35:07 --output_path: /tmp/a1213c14/bb/tmp-54uU6s (mem: 250.22 MiB)
09:35:07 Warning: the following option is called more than once (mem: 250.22 MiB)
09:35:07 --verbose: true (mem: 250.22 MiB)
09:35:07 --oracle_hash: poseidon2 (mem: 250.22 MiB)
09:35:07 --output_format: bytes_and_fields (mem: 250.22 MiB)
09:35:07 --write_vk: true (mem: 250.22 MiB)
09:35:07 --disable_zk: true (mem: 250.22 MiB)
09:35:07 --init_kzg_accumulator: true (mem: 250.22 MiB)
09:35:07 [09:35:07.786]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:35:07 [09:35:07.787]
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/a1213c14/bb/tmp-SWac85 -b /tmp/a1213c14/bb/tmp-SWac85/BaseParityArtifact-bytecode -w /tmp/a1213c14/bb/tmp-SWac85/partial-witness.gz -v --init_kzg_accumulator -v
09:35:07 [09:35:07.820]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.26 MiB)
09:35:07 Scheme is: ultra_honk, num threads: 128 (mem: 251.26 MiB)
09:35:07 --scheme: ultra_honk (mem: 251.26 MiB)
09:35:07 --bytecode_path: /tmp/a1213c14/bb/tmp-bDEsnH/BaseParityArtifact-bytecode (mem: 251.26 MiB)
09:35:07 --witness_path: /tmp/a1213c14/bb/tmp-bDEsnH/partial-witness.gz (mem: 251.26 MiB)
09:35:07 --output_path: /tmp/a1213c14/bb/tmp-bDEsnH (mem: 251.26 MiB)
09:35:07 Warning: the following option is called more than once (mem: 251.26 MiB)
09:35:07 --verbose: true (mem: 251.26 MiB)
09:35:07 --oracle_hash: poseidon2 (mem: 251.26 MiB)
09:35:07 --output_format: bytes_and_fields (mem: 251.26 MiB)
09:35:07 --write_vk: true (mem: 251.26 MiB)
09:35:07 --disable_zk: true (mem: 251.26 MiB)
09:35:07 --init_kzg_accumulator: true (mem: 251.26 MiB)
09:35:07 [09:35:07.822]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove
09:35:07 [09:35:07.823]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
09:35:07 [09:35:07.823]
INFO:
bb-prover BaseParityArtifact BB out - 251.30 MiB)
09:35:07 [09:35:07.824]
INFO:
bb-prover BaseParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.30 MiB)
09:35:07 --scheme: ultra_honk (mem: 251.30 MiB)
09:35:07 --bytecode_path: /tmp/a1213c14/bb/tmp-SWac85/BaseParityArtifact-bytecode (mem: 251.30 MiB)
09:35:07 --witness_path: /tmp/a1213c14/bb/tmp-SWac85/partial-witness.gz (mem: 251.30 MiB)
09:35:07 --output_path: /tmp/a1213c14/bb/tmp-SWac85 (mem: 251.30 MiB)
09:35:07 Warning: the following option is called more than once (mem: 251.30 MiB)
09:35:07 --verbose: true (mem: 251.30 MiB)
09:35:07 --oracle_hash: poseidon2 (mem: 251.30 MiB)
09:35:07 --output_format: bytes_and_fields (mem: 251.30 MiB)
09:35:07 --write_vk: true (mem: 251.30 MiB)
09:35:07 --disable_zk: true (mem: 251.30 MiB)
09:35:07 --init_kzg_accumulator: true (mem: 251.30 MiB)
09:35:07 [09:35:07.836]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.26 MiB)
09:35:07 Constructing DeciderProvingKey (mem: 251.26 MiB)
09:35:07 [09:35:07.837]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.26 MiB)
09:35:07 [09:35:07.896]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.22 MiB)
09:35:07 [09:35:07.897]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.22 MiB)
09:35:07 [09:35:07.907]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.22 MiB)
09:35:07 [09:35:07.964]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.26 MiB)
09:35:07 Constructing DeciderProvingKey (mem: 251.26 MiB)
09:35:07 [09:35:07.980]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.26 MiB)
09:35:07 [09:35:07.983]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.30 MiB)
09:35:07 [09:35:07.986]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.30 MiB)
09:35:07 [09:35:07.988]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
09:35:07 [09:35:07.988]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
09:35:07 [09:35:07.989]
INFO:
bb-prover BaseParityArtifact BB out - 251.30 MiB)
09:35:08 [09:35:08.074]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.26 MiB)
09:35:08 [09:35:08.150]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 304 ms. (mem: 251.26 MiB)
09:35:08 WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.26 MiB)
09:35:08 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.26 MiB)
09:35:08 [09:35:08.159]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 251.26 MiB)
09:35:08 [09:35:08.159]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.22 MiB)
09:35:08 [09:35:08.229]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.26 MiB)
09:35:08 [09:35:08.253]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.30 MiB)
09:35:08 [09:35:08.271]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 374 ms. (mem: 250.22 MiB)
09:35:08 [09:35:08.277]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.22 MiB)
09:35:08 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.22 MiB)
09:35:08 [09:35:08.288]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.22 MiB)
09:35:08 [09:35:08.295]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 332 ms. (mem: 251.26 MiB)
09:35:08 [09:35:08.302]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.26 MiB)
09:35:08 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.26 MiB)
09:35:08 [09:35:08.312]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 251.26 MiB)
09:35:08 [09:35:08.349]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 365 ms. (mem: 251.30 MiB)
09:35:08 [09:35:08.374]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.30 MiB)
09:35:08 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.30 MiB)
09:35:08 Initialized BN254 CRS from memory with num points = 65537 (mem: 251.30 MiB)
09:35:09 [09:35:09.252]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.26 MiB)
09:35:09 [09:35:09.292]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.22 MiB)
09:35:09 [09:35:09.350]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.30 MiB)
09:35:09 [09:35:09.370]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.26 MiB)
09:35:09 [09:35:09.825]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.26 MiB)
09:35:10 [09:35:10.033]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.22 MiB)
09:35:10 [09:35:10.035]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.30 MiB)
09:35:10 [09:35:10.043]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.26 MiB)
09:35:10 [09:35:10.149]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.26 MiB)
09:35:10 [09:35:10.220]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.30 MiB)
09:35:10 [09:35:10.257]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.26 MiB)
09:35:10 [09:35:10.258]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.22 MiB)
09:35:10 [09:35:10.403]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem:
09:35:10 [09:35:10.407]
INFO:
bb-prover BaseParityArtifact BB out - 251.26 MiB)
09:35:10 [09:35:10.438]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.22 MiB)
09:35:10 [09:35:10.453]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.30 MiB)
09:35:10 [09:35:10.454]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.26 MiB)
09:35:12 [09:35:12.085]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.26 MiB)
09:35:12 [09:35:12.155]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.26 MiB)
09:35:12 [09:35:12.161]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.26 MiB)
09:35:12 finished decider proving. (mem: 251.26 MiB)
09:35:12 Public inputs saved to "/tmp/a1213c14/bb/tmp-icx7TU/public_inputs" (mem: 251.26 MiB)
09:35:12 Public inputs fields saved to "/tmp/a1213c14/bb/tmp-icx7TU/public_inputs_fields.json" (mem: 251.26 MiB)
09:35:12 Proof saved to "/tmp/a1213c14/bb/tmp-icx7TU/proof" (mem: 251.26 MiB)
09:35:12 Proof fields saved to "/tmp/a1213c14/bb/tmp-icx7TU/proof_fields.json" (mem: 251.26 MiB)
09:35:12 VK saved to "/tmp/a1213c14/bb/tmp-icx7TU/vk" (mem: 251.26 MiB)
09:35:12 VK fields saved to "/tmp/a1213c14/bb/tmp-icx7TU/vk_fields.json" (mem: 251.26 MiB)
09:35:12 [09:35:12.187]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.22 MiB)
09:35:12 [09:35:12.229]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.30 MiB)
09:35:12 [09:35:12.281]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4594 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4593.391776999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:35:12 [09:35:12.285]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:35:12 [09:35:12.286]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a1213c14/bb/tmp-Y4lfop/proof -k /tmp/a1213c14/bb/tmp-Y4lfop/vk -i /tmp/a1213c14/bb/tmp-Y4lfop/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:35:12 [09:35:12.316]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
09:35:12 [09:35:12.316]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
09:35:12 [09:35:12.316]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.30
09:35:12 [09:35:12.318]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
09:35:12 [09:35:12.321]
VERBOSE:
bb-prover bb-prover (verify) BB out -
09:35:12 Scheme is: ultra_honk, num threads: 128 (mem: 251.30 MiB)
09:35:12 --public_inputs_path: /tmp/a1213c14/bb/tmp-Y4lfop/public_inputs (mem: 251.30 MiB)
09:35:12 --proof_path: /tmp/a1213c14/bb/tmp-Y4lfop/proof (mem: 251.30 MiB)
09:35:12 --vk_path: /tmp/a1213c14/bb/tmp-Y4lfop/vk (mem: 251.30 MiB)
09:35:12 --verbose: true (mem: 251.30 MiB)
09:35:12 --scheme: ultra_honk (mem: 251.30 MiB)
09:35:12 --oracle_hash: poseidon2 (mem: 251.30 MiB)
09:35:12 --disable_zk: true (mem: 251.30 MiB)
09:35:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.30 MiB)
09:35:12 [09:35:12.341]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat"
09:35:12 [09:35:12.345]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.30 MiB)
09:35:12 Initialized BN254 CRS from memory with num points = 1 (mem: 251.30 MiB)
09:35:12 [09:35:12.346]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1
09:35:12 [09:35:12.347]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
09:35:12 [09:35:12.350]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.30 MiB)
09:35:12 libra_evals_verified: 1 (mem: 251.30 MiB)
09:35:12 pairing_check_verified: 1 (mem: 251.30 MiB)
09:35:12 Proof verified successfully (mem: 251.30 MiB)
09:35:12 verified: 1 (mem: 251.30 MiB)
09:35:12 [09:35:12.353]
INFO:
bb-prover Successfully verified proof from key in 67.42874499999925 ms
09:35:12 [09:35:12.355]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.22 MiB)
09:35:12 finished decider proving. (mem: 250.22 MiB)
09:35:12 [09:35:12.357]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/a1213c14/bb/tmp-54uU6s/public_inputs" (mem: 250.22 MiB)
09:35:12 Public inputs fields saved to "/tmp/a1213c14/bb/tmp-54uU6s/public_inputs_fields.json" (mem: 250.22 MiB)
09:35:12 Proof saved to "/tmp/a1213c14/bb/tmp-54uU6s/proof" (mem: 250.22 MiB)
09:35:12 [09:35:12.362]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/a1213c14/bb/tmp-54uU6s/proof_fields.json" (mem: 250.22 MiB)
09:35:12 VK saved to "/tmp/a1213c14/bb/tmp-54uU6s/vk" (mem: 250.22 MiB)
09:35:12 VK fields saved to "/tmp/a1213c14/bb/tmp-54uU6s/vk_fields.json" (mem: 250.22 MiB)
09:35:12 [09:35:12.394]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.26 MiB)
09:35:12 finished decider proving. (mem: 251.26 MiB)
09:35:12 [09:35:12.401]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/a1213c14/bb/tmp-bDEsnH/public_inputs" (mem: 251.26 MiB)
09:35:12 Public inputs fields saved to "/tmp/a1213c14/bb/tmp-bDEsnH/public_inputs_fields.json" (mem: 251.26 MiB)
09:35:12 Proof saved to "/tmp/a1213c14/bb/tmp-bDEsnH/proof" (mem: 251.26 MiB)
09:35:12 Proof fields saved to "/tmp/a1213c14/bb/tmp-bDEsnH/proof_fields.json" (mem: 251.26 MiB)
09:35:12 VK saved to "/tmp/a1213c14/bb/tmp-bDEsnH/vk" (mem: 251.26 MiB)
09:35:12 VK fields saved to "/tmp/a1213c14/bb/tmp-bDEsnH/vk_fields.json" (mem: 251.26 MiB)
09:35:12 [09:35:12.410]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.30 MiB)
09:35:12 finished decider proving. (mem: 251.30 MiB)
09:35:12 [09:35:12.414]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/a1213c14/bb/tmp-SWac85/public_inputs" (mem: 251.30 MiB)
09:35:12 Public inputs fields saved to "/tmp/a1213c14/bb/tmp-SWac85/public_inputs_fields.json" (mem: 251.30 MiB)
09:35:12 Proof saved to "/tmp/a1213c14/bb/tmp-SWac85/proof" (mem: 251.30 MiB)
09:35:12 Proof fields saved to "/tmp/a1213c14/bb/tmp-SWac85/proof_fields.json" (mem: 251.30 MiB)
09:35:12 VK saved to "/tmp/a1213c14/bb/tmp-SWac85/vk" (mem: 251.30 MiB)
09:35:12 VK fields saved to "/tmp/a1213c14/bb/tmp-SWac85/vk_fields.json" (mem: 251.30 MiB)
09:35:12 [09:35:12.446]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4750 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4749.062741,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:35:12 [09:35:12.449]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:35:12 [09:35:12.449]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a1213c14/bb/tmp-9XKwuk/proof -k /tmp/a1213c14/bb/tmp-9XKwuk/vk -i /tmp/a1213c14/bb/tmp-9XKwuk/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:35:12 [09:35:12.492]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.34 MiB)
09:35:12 Scheme is: ultra_honk, num threads: 128 (mem: 251.34 MiB)
09:35:12 --public_inputs_path: /tmp/a1213c14/bb/tmp-9XKwuk/public_inputs (mem: 251.34 MiB)
09:35:12 --proof_path: /tmp/a1213c14/bb/tmp-9XKwuk/proof (mem: 251.34 MiB)
09:35:12 --vk_path: /tmp/a1213c14/bb/tmp-9XKwuk/vk (mem: 251.34 MiB)
09:35:12 --verbose: true (mem: 251.34 MiB)
09:35:12 --scheme: ultra_honk (mem: 251.34 MiB)
09:35:12 --oracle_hash: poseidon2 (mem: 251.34 MiB)
09:35:12 --disable_zk: true (mem: 251.34 MiB)
09:35:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.34 MiB)
09:35:12 [09:35:12.496]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4759 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4758.570680000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:35:12 [09:35:12.502]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4703 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4702.068800999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:35:12 [09:35:12.509]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:35:12 [09:35:12.510]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a1213c14/bb/tmp-JTjKd6/proof -k /tmp/a1213c14/bb/tmp-JTjKd6/vk -i /tmp/a1213c14/bb/tmp-JTjKd6/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:35:12 [09:35:12.550]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:35:12 [09:35:12.551]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a1213c14/bb/tmp-kStMjD/proof -k /tmp/a1213c14/bb/tmp-kStMjD/vk -i /tmp/a1213c14/bb/tmp-kStMjD/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:35:12 [09:35:12.581]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.34 MiB)
09:35:12 Initialized BN254 CRS from memory with num points = 1 (mem: 251.34 MiB)
09:35:12 sumcheck_verified: 1 (mem: 251.34 MiB)
09:35:12 libra_evals_verified: 1 (mem: 251.34 MiB)
09:35:12 pairing_check_verified: 1 (mem: 251.34 MiB)
09:35:12 Proof verified successfully (mem: 251.34 MiB)
09:35:12 verified: 1 (mem: 251.34 MiB)
09:35:12 [09:35:12.584]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.49 MiB)
09:35:12 Scheme is: ultra_honk, num threads: 128 (mem: 251.49 MiB)
09:35:12 --public_inputs_path: /tmp/a1213c14/bb/tmp-JTjKd6/public_inputs (mem: 251.49 MiB)
09:35:12 --proof_path: /tmp/a1213c14/bb/tmp-JTjKd6/proof (mem: 251.49 MiB)
09:35:12 --vk_path: /tmp/a1213c14/bb/tmp-JTjKd6/vk (mem: 251.49 MiB)
09:35:12 --verbose: true (mem: 251.49 MiB)
09:35:12 --scheme: ultra_honk (mem: 251.49 MiB)
09:35:12 --oracle_hash: poseidon2 (mem: 251.49 MiB)
09:35:12 --disable_zk: true (mem: 251.49 MiB)
09:35:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.49 MiB)
09:35:12 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.49 MiB)
09:35:12 Initialized BN254 CRS from memory with num points = 1 (mem: 251.49 MiB)
09:35:12 sumcheck_verified: 1 (mem: 251.49 MiB)
09:35:12 libra_evals_verified: 1 (mem: 251.49 MiB)
09:35:12 pairing_check_verified: 1 (mem: 251.49 MiB)
09:35:12 Proof verified successfully (mem: 251.49 MiB)
09:35:12 verified: 1 (mem: 251.49 MiB)
09:35:12 [09:35:12.585]
INFO:
bb-prover Successfully verified proof from key in 75.77995300000111 ms
09:35:12 [09:35:12.586]
INFO:
bb-prover Successfully verified proof from key in 136.92084299999988 ms
09:35:12 [09:35:12.586]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.53 MiB)
09:35:12 Scheme is: ultra_honk, num threads: 128 (mem: 251.53 MiB)
09:35:12 --public_inputs_path: /tmp/a1213c14/bb/tmp-kStMjD/public_inputs (mem: 251.53 MiB)
09:35:12 --proof_path: /tmp/a1213c14/bb/tmp-kStMjD/proof (mem: 251.53 MiB)
09:35:12 --vk_path: /tmp/a1213c14/bb/tmp-kStMjD/vk (mem: 251.53 MiB)
09:35:12 --verbose: true (mem: 251.53 MiB)
09:35:12 --scheme: ultra_honk (mem: 251.53 MiB)
09:35:12 --oracle_hash: poseidon2 (mem: 251.53 MiB)
09:35:12 --disable_zk: true (mem: 251.53 MiB)
09:35:12 [09:35:12.586]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.53 MiB)
09:35:12 [09:35:12.603]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.53 MiB)
09:35:12 [09:35:12.604]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 251.53 MiB)
09:35:12 [09:35:12.606]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.53 MiB)
09:35:12 libra_evals_verified: 1 (mem: 251.53 MiB)
09:35:12 pairing_check_verified: 1 (mem: 251.53 MiB)
09:35:12 Proof verified successfully (mem: 251.53 MiB)
09:35:12 verified: 1 (mem: 251.53 MiB)
09:35:12 [09:35:12.609]
INFO:
bb-prover Successfully verified proof from key in 58.181712999999945 ms
09:35:12 [09:35:12.616]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:35:12 [09:35:12.617]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a1213c14/bb/tmp-IASs7C/proof -k /tmp/a1213c14/bb/tmp-IASs7C/vk -i /tmp/a1213c14/bb/tmp-IASs7C/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:35:12 [09:35:12.650]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:35:12 [09:35:12.651]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a1213c14/bb/tmp-YH4wBG/proof -k /tmp/a1213c14/bb/tmp-YH4wBG/vk -i /tmp/a1213c14/bb/tmp-YH4wBG/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:35:12 [09:35:12.693]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:35:12 [09:35:12.693]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a1213c14/bb/tmp-NOhqjV/proof -k /tmp/a1213c14/bb/tmp-NOhqjV/vk -i /tmp/a1213c14/bb/tmp-NOhqjV/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:35:12 [09:35:12.728]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:35:12 [09:35:12.729]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a1213c14/bb/tmp-5TagwA/proof -k /tmp/a1213c14/bb/tmp-5TagwA/vk -i /tmp/a1213c14/bb/tmp-5TagwA/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:35:12 [09:35:12.768]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.56 MiB)
09:35:12 Scheme is: ultra_honk, num threads: 128 (mem: 251.56 MiB)
09:35:12 --public_inputs_path: /tmp/a1213c14/bb/tmp-IASs7C/public_inputs (mem: 251.56 MiB)
09:35:12 --proof_path: /tmp/a1213c14/bb/tmp-IASs7C/proof (mem: 251.56 MiB)
09:35:12 --vk_path: /tmp/a1213c14/bb/tmp-IASs7C/vk (mem: 251.56 MiB)
09:35:12 --verbose: true (mem: 251.56 MiB)
09:35:12 --scheme: ultra_honk (mem: 251.56 MiB)
09:35:12 --oracle_hash: poseidon2 (mem: 251.56 MiB)
09:35:12 --disable_zk: true (mem: 251.56 MiB)
09:35:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.56 MiB)
09:35:12 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.56 MiB)
09:35:12 Initialized BN254 CRS from memory with num points = 1 (mem: 251.56 MiB)
09:35:12 sumcheck_verified: 1 (mem: 251.56 MiB)
09:35:12 libra_evals_verified: 1 (mem: 251.56 MiB)
09:35:12 pairing_check_verified: 1 (mem: 251.56 MiB)
09:35:12 Proof verified successfully (mem: 251.56 MiB)
09:35:12 verified: 1 (mem: 251.56 MiB)
09:35:12 [09:35:12.769]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.56 MiB)
09:35:12 Scheme is: ultra_honk, num threads: 128 (mem: 251.56 MiB)
09:35:12 --public_inputs_path: /tmp/a1213c14/bb/tmp-YH4wBG/public_inputs (mem: 251.56 MiB)
09:35:12 --proof_path: /tmp/a1213c14/bb/tmp-YH4wBG/proof (mem: 251.56 MiB)
09:35:12 --vk_path: /tmp/a1213c14/bb/tmp-YH4wBG/vk (mem: 251.56 MiB)
09:35:12 --verbose: true (mem: 251.56 MiB)
09:35:12 --scheme: ultra_honk (mem: 251.56 MiB)
09:35:12 --oracle_hash: poseidon2 (mem: 251.56 MiB)
09:35:12 --disable_zk: true (mem: 251.56 MiB)
09:35:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.56 MiB)
09:35:12 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.56 MiB)
09:35:12 Initialized BN254 CRS from memory with num points = 1 (mem: 251.56 MiB)
09:35:12 sumcheck_verified: 1 (mem: 251.56 MiB)
09:35:12 libra_evals_verified: 1 (mem: 251.56 MiB)
09:35:12 pairing_check_verified: 1 (mem: 251.56 MiB)
09:35:12 Proof verified successfully (mem: 251.56 MiB)
09:35:12 verified: 1 (mem: 251.56 MiB)
09:35:12 [09:35:12.770]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.56 MiB)
09:35:12 Scheme is: ultra_honk, num threads: 128 (mem: 251.56 MiB)
09:35:12 --public_inputs_path: /tmp/a1213c14/bb/tmp-NOhqjV/public_inputs (mem: 251.56 MiB)
09:35:12 --proof_path: /tmp/a1213c14/bb/tmp-NOhqjV/proof (mem: 251.56 MiB)
09:35:12 --vk_path: /tmp/a1213c14/bb/tmp-NOhqjV/vk (mem: 251.56 MiB)
09:35:12 --verbose: true (mem: 251.56 MiB)
09:35:12 --scheme: ultra_honk (mem: 251.56 MiB)
09:35:12 --oracle_hash: poseidon2 (mem: 251.56 MiB)
09:35:12 --disable_zk: true (mem: 251.56 MiB)
09:35:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.56 MiB)
09:35:12 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.56 MiB)
09:35:12 Initialized BN254 CRS from memory with num points = 1 (mem: 251.56 MiB)
09:35:12 sumcheck_verified: 1 (mem: 251.56 MiB)
09:35:12 libra_evals_verified: 1 (mem: 251.56 MiB)
09:35:12 pairing_check_verified: 1 (mem: 251.56 MiB)
09:35:12 Proof verified successfully (mem: 251.56 MiB)
09:35:12 verified: 1 (mem: 251.56 MiB)
09:35:12 [09:35:12.770]
INFO:
bb-prover Successfully verified proof from key in 77.74870399999963 ms
09:35:12 [09:35:12.773]
INFO:
bb-prover Successfully verified proof from key in 122.56824799999958 ms
09:35:12 [09:35:12.773]
INFO:
bb-prover Successfully verified proof from key in 157.12439199999972 ms
09:35:12 [09:35:12.775]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.56 MiB)
09:35:12 Scheme is: ultra_honk, num threads: 128 (mem: 251.56 MiB)
09:35:12 --public_inputs_path: /tmp/a1213c14/bb/tmp-5TagwA/public_inputs (mem: 251.56 MiB)
09:35:12 --proof_path: /tmp/a1213c14/bb/tmp-5TagwA/proof (mem: 251.56 MiB)
09:35:12 --vk_path: /tmp/a1213c14/bb/tmp-5TagwA/vk (mem: 251.56 MiB)
09:35:12 --verbose: true (mem: 251.56 MiB)
09:35:12 --scheme: ultra_honk (mem: 251.56 MiB)
09:35:12 --oracle_hash: poseidon2 (mem: 251.56 MiB)
09:35:12 --disable_zk: true (mem: 251.56 MiB)
09:35:12 [09:35:12.778]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.56 MiB)
09:35:12 [09:35:12.794]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat"
09:35:12 [09:35:12.795]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.56 MiB)
09:35:12 [09:35:12.799]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 251.56 MiB)
09:35:12 sumcheck_verified: 1 (mem: 251.56 MiB)
09:35:12 libra_evals_verified: 1 (mem: 251.56 MiB)
09:35:12 pairing_check_verified: 1 (mem: 251.56 MiB)
09:35:12 Proof verified successfully (mem: 251.56 MiB)
09:35:12 verified: 1 (mem: 251.56 MiB)
09:35:12 [09:35:12.800]
INFO:
bb-prover Successfully verified proof from key in 72.20045000000027 ms
09:35:13 [09:35:13.001]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":83.7875929999991,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
09:35:13 [09:35:13.008]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:35:13 [09:35:13.008]
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/a1213c14/bb/tmp-iJuLIx -b /tmp/a1213c14/bb/tmp-iJuLIx/RootParityArtifact-bytecode -w /tmp/a1213c14/bb/tmp-iJuLIx/partial-witness.gz -v --init_kzg_accumulator -v
09:35:13 [09:35:13.038]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.60 MiB)
09:35:13 [09:35:13.038]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.60 MiB)
09:35:13 --scheme: ultra_honk (mem: 253.60 MiB)
09:35:13 --bytecode_path: /tmp/a1213c14/bb/tmp-iJuLIx/RootParityArtifact-bytecode (mem: 253.60 MiB)
09:35:13 --witness_path: /tmp/a1213c14/bb/tmp-iJuLIx/partial-witness.gz (mem: 253.60 MiB)
09:35:13 --output_path: /tmp/a1213c14/bb/tmp-iJuLIx (mem: 253.60 MiB)
09:35:13 Warning: the following option is called more than once (mem: 253.60 MiB)
09:35:13 --verbose: true (mem: 253.60 MiB)
09:35:13 --oracle_hash: poseidon2 (mem: 253.60 MiB)
09:35:13 --output_format: bytes_and_fields (mem: 253.60 MiB)
09:35:13 --write_vk: true (mem: 253.60 MiB)
09:35:13 --disable_zk: true (mem: 253.60 MiB)
09:35:13 --init_kzg_accumulator: true (mem: 253.60 MiB)
09:35:13 [09:35:13.218]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.60 MiB)
09:35:15 [09:35:15.215]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 420.23 MiB)
09:35:17 [09:35:17.699]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 787.91 MiB)
09:35:19 [09:35:19.922]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1061.02 MiB)
09:35:22 [09:35:22.449]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1431.84 MiB)
09:35:22 [09:35:22.453]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1431.84 MiB)
09:35:23 [09:35:23.886]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1844.59 MiB)
09:35:24 [09:35:24.268]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5485.02 MiB)
09:35:24 [09:35:24.269]
INFO:
bb-prover RootParityArtifact BB out -
09:35:26 [09:35:26.046]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3594 ms. (mem: 6067.02 MiB)
09:35:26 [09:35:26.201]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6067.02 MiB)
09:35:26 [09:35:26.202]
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.02 MiB)
09:35:27 [09:35:27.105]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6067.02 MiB)
09:35:31 [09:35:31.848]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6067.02 MiB)
09:35:37 [09:35:37.991]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6067.02 MiB)
09:35:40 [09:35:40.698]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6749.73 MiB)
09:35:43 [09:35:43.627]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6749.73 MiB)
09:35:50 [09:35:50.423]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6749.73 MiB)
09:35:52 [09:35:52.199]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6749.73 MiB)
09:35:52 [09:35:52.220]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6749.73 MiB)
09:35:52 [09:35:52.846]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/a1213c14/bb/tmp-iJuLIx/public_inputs" (mem: 6749.73 MiB)
09:35:52 Public inputs fields saved to "/tmp/a1213c14/bb/tmp-iJuLIx/public_inputs_fields.json" (mem: 6749.73 MiB)
09:35:52 Proof saved to "/tmp/a1213c14/bb/tmp-iJuLIx/proof" (mem: 6749.73 MiB)
09:35:52 Proof fields saved to "/tmp/a1213c14/bb/tmp-iJuLIx/proof_fields.json" (mem: 6749.73 MiB)
09:35:52 VK saved to "/tmp/a1213c14/bb/tmp-iJuLIx/vk" (mem: 6749.73 MiB)
09:35:52 VK fields saved to "/tmp/a1213c14/bb/tmp-iJuLIx/vk_fields.json" (mem: 6749.73 MiB)
09:35:53 [09:35:53.033]
INFO:
bb-prover Generated proof for RootParityArtifact in 40020 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40019.795578,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:35:53 [09:35:53.038]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:35:53 [09:35:53.038]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a1213c14/bb/tmp-NfPchE/proof -k /tmp/a1213c14/bb/tmp-NfPchE/vk -i /tmp/a1213c14/bb/tmp-NfPchE/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:35:53 [09:35:53.065]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.61 MiB)
09:35:53 [09:35:53.066]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.61 MiB)
09:35:53 --public_inputs_path: /tmp/a1213c14/bb/tmp-NfPchE/public_inputs (mem: 253.61 MiB)
09:35:53 --proof_path: /tmp/a1213c14/bb/tmp-NfPchE/proof (mem: 253.61 MiB)
09:35:53 --vk_path: /tmp/a1213c14/bb/tmp-NfPchE/vk (mem: 253.61 MiB)
09:35:53 --verbose: true (mem: 253.61 MiB)
09:35:53 --scheme: ultra_honk (mem: 253.61 MiB)
09:35:53 --oracle_hash: poseidon2 (mem: 253.61 MiB)
09:35:53 --disable_zk: true (mem: 253.61 MiB)
09:35:53 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.61 MiB)
09:35:53 [09:35:53.081]
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.61 MiB)
09:35:53 [09:35:53.081]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 253.61 MiB)
09:35:53 [09:35:53.082]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.61 MiB)
09:35:53 libra_evals_verified: 1 (mem: 253.61 MiB)
09:35:53 pairing_check_verified: 1 (mem: 253.61 MiB)
09:35:53 Proof verified successfully (mem: 253.61 MiB)
09:35:53 [09:35:53.083]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 253.61 MiB)
09:35:53 [09:35:53.085]
INFO:
bb-prover Successfully verified proof from key in 47.221339000003354 ms
09:35:53 [09:35:53.089]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:35:53 [09:35:53.089]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a1213c14/bb/tmp-hxDZba/proof -k /tmp/a1213c14/bb/tmp-hxDZba/vk -i /tmp/a1213c14/bb/tmp-hxDZba/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:35:53 [09:35:53.120]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.61 MiB)
09:35:53 [09:35:53.121]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.61 MiB)
09:35:53 --public_inputs_path: /tmp/a1213c14/bb/tmp-hxDZba/public_inputs (mem: 253.61 MiB)
09:35:53 --proof_path: /tmp/a1213c14/bb/tmp-hxDZba/proof (mem: 253.61 MiB)
09:35:53 --vk_path: /tmp/a1213c14/bb/tmp-hxDZba/vk (mem: 253.61 MiB)
09:35:53 --verbose: true (mem: 253.61 MiB)
09:35:53 --scheme: ultra_honk (mem: 253.61 MiB)
09:35:53 --oracle_hash: poseidon2 (mem: 253.61 MiB)
09:35:53 --disable_zk: true (mem: 253.61 MiB)
09:35:53 [09:35:53.121]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.61 MiB)
09:35:53 [09:35:53.136]
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.61 MiB)
09:35:53 [09:35:53.137]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 253.61 MiB)
09:35:53 [09:35:53.141]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.61 MiB)
09:35:53 libra_evals_verified: 1 (mem: 253.61 MiB)
09:35:53 pairing_check_verified: 1 (mem: 253.61 MiB)
09:35:53 Proof verified successfully (mem: 253.61 MiB)
09:35:53 verified: 1 (mem: 253.61 MiB)
09:35:53 [09:35:53.143]
INFO:
bb-prover Successfully verified proof from key in 53.88748499999929 ms
09:35:53 [09:35:53.228]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
09:35:53
09:35:53 [09:35:53.229]
ERROR:
bb-prover Error running operation at /tmp/a1213c14/bb/tmp-OYCs4d: Error: Failed to generate witness: Failed assertion
09:35:53
09:35:53 [09:35:53.477]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":77.31111000000237,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
09:35:53 [09:35:53.482]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:35:53 [09:35:53.482]
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/a1213c14/bb/tmp-WeypsF -b /tmp/a1213c14/bb/tmp-WeypsF/RootParityArtifact-bytecode -w /tmp/a1213c14/bb/tmp-WeypsF/partial-witness.gz -v --init_kzg_accumulator -v
09:35:53 [09:35:53.511]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
09:35:53 [09:35:53.512]
INFO:
bb-prover RootParityArtifact BB out - (mem: 253.61 MiB)
09:35:53 Scheme is: ultra_honk, num threads: 128 (mem: 253.61 MiB)
09:35:53 --scheme: ultra_honk (mem: 253.61 MiB)
09:35:53 --bytecode_path: /tmp/a1213c14/bb/tmp-WeypsF/RootParityArtifact-bytecode (mem: 253.61 MiB)
09:35:53 --witness_path: /tmp/a1213c14/bb/tmp-WeypsF/partial-witness.gz (mem: 253.61 MiB)
09:35:53 --output_path: /tmp/a1213c14/bb/tmp-WeypsF (mem: 253.61 MiB)
09:35:53 Warning: the following option is called more than once (mem: 253.61 MiB)
09:35:53 --verbose: true (mem: 253.61 MiB)
09:35:53 --oracle_hash: poseidon2 (mem: 253.61 MiB)
09:35:53 --output_format: bytes_and_fields (mem: 253.61 MiB)
09:35:53 --write_vk: true (mem: 253.61 MiB)
09:35:53 --disable_zk: true (mem: 253.61 MiB)
09:35:53 --init_kzg_accumulator: true (mem: 253.61 MiB)
09:35:53 [09:35:53.702]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.61 MiB)
09:35:53 [09:35:53.715]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.61 MiB)
09:35:55 [09:35:55.676]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 421.99 MiB)
09:35:57 [09:35:57.882]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 791.22 MiB)
09:35:59 [09:35:59.991]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1062.35 MiB)
09:36:02 [09:36:02.407]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1434.14 MiB)
09:36:02 Constructing DeciderProvingKey (mem: 1434.14 MiB)
09:36:03 [09:36:03.869]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1846.89 MiB)
09:36:04 [09:36:04.455]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5483.68 MiB)
09:36:06 [09:36:06.052]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3642 ms. (mem: 6060.68 MiB)
09:36:06 [09:36:06.194]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance.
09:36:06 [09:36:06.195]
INFO:
bb-prover RootParityArtifact BB out - (mem:
09:36:06 [09:36:06.195]
INFO:
bb-prover RootParityArtifact BB out - 6060.68
09:36:06 [09:36:06.196]
INFO:
bb-prover RootParityArtifact BB out - MiB)
09:36:06 [09:36:06.198]
INFO:
bb-prover RootParityArtifact BB out -
09:36:06 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6060.68 MiB)
09:36:07 [09:36:07.005]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6060.68 MiB)
09:36:10 [09:36:10.845]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6060.68 MiB)
09:36:15 [09:36:15.077]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6060.68 MiB)
09:36:16 [09:36:16.894]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6789.91 MiB)
09:36:18 [09:36:18.943]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6789.91 MiB)
09:36:25 [09:36:25.289]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6789.91 MiB)
09:36:27 [09:36:27.238]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6789.91 MiB)
09:36:27 [09:36:27.251]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6789.91 MiB)
09:36:27 [09:36:27.775]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/a1213c14/bb/tmp-WeypsF/public_inputs" (mem: 6789.91 MiB)
09:36:27 [09:36:27.776]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/a1213c14/bb/tmp-WeypsF/public_inputs_fields.json" (mem: 6789.91 MiB)
09:36:27 Proof saved to "/tmp/a1213c14/bb/tmp-WeypsF/proof" (mem: 6789.91 MiB)
09:36:27 Proof fields saved to "/tmp/a1213c14/bb/tmp-WeypsF/proof_fields.json" (mem: 6789.91 MiB)
09:36:27 VK saved to "/tmp/a1213c14/bb/tmp-WeypsF/vk" (mem: 6789.91 MiB)
09:36:27 VK fields saved to "/tmp/a1213c14/bb/tmp-WeypsF/vk_fields.json" (mem: 6789.91 MiB)
09:36:27 [09:36:27.955]
INFO:
bb-prover Generated proof for RootParityArtifact in 34468 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34467.870132000004,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:36:27 [09:36:27.960]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:36:27 [09:36:27.961]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a1213c14/bb/tmp-rWnUWK/proof -k /tmp/a1213c14/bb/tmp-rWnUWK/vk -i /tmp/a1213c14/bb/tmp-rWnUWK/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:36:27 [09:36:27.987]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.61 MiB)
09:36:27 [09:36:27.987]
VERBOSE:
bb-prover bb-prover (verify) BB out -
09:36:27 Scheme is: ultra_honk, num threads: 128 (mem: 253.61 MiB)
09:36:27 --public_inputs_path: /tmp/a1213c14/bb/tmp-rWnUWK/public_inputs (mem: 253.61 MiB)
09:36:27 --proof_path: /tmp/a1213c14/bb/tmp-rWnUWK/proof (mem: 253.61 MiB)
09:36:27 --vk_path: /tmp/a1213c14/bb/tmp-rWnUWK/vk (mem: 253.61 MiB)
09:36:27 --verbose: true (mem: 253.61 MiB)
09:36:27 --scheme: ultra_honk (mem: 253.61 MiB)
09:36:27 --oracle_hash: poseidon2 (mem: 253.61 MiB)
09:36:27 --disable_zk: true (mem: 253.61 MiB)
09:36:27 [09:36:27.989]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.61 MiB)
09:36:27 [09:36:27.999]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.61 MiB)
09:36:27 Proof verification failed (mem: 253.61 MiB)
09:36:27 verified: 0 (mem: 253.61 MiB)
09:36:28 [09:36:28.001]
ERROR:
bb-prover Error running operation at /tmp/a1213c14/bb/tmp-rWnUWK: ProvingError: Failed to verify proof from key!
09:36:28 [09:36:28.235]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":94.82427899999311,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
09:36:28 [09:36:28.236]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:36:28 [09:36:28.237]
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/a1213c14/bb/tmp-F5nYlJ -b /tmp/a1213c14/bb/tmp-F5nYlJ/RootParityArtifact-bytecode -w /tmp/a1213c14/bb/tmp-F5nYlJ/partial-witness.gz -v --init_kzg_accumulator -v
09:36:28 [09:36:28.267]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.61 MiB)
09:36:28 Scheme is: ultra_honk, num threads: 128 (mem: 253.61 MiB)
09:36:28 --scheme: ultra_honk (mem: 253.61 MiB)
09:36:28 --bytecode_path: /tmp/a1213c14/bb/tmp-F5nYlJ/RootParityArtifact-bytecode (mem: 253.61 MiB)
09:36:28 --witness_path: /tmp/a1213c14/bb/tmp-F5nYlJ/partial-witness.gz (mem: 253.61 MiB)
09:36:28 --output_path: /tmp/a1213c14/bb/tmp-F5nYlJ (mem: 253.61 MiB)
09:36:28 Warning: the following option is called more than once (mem: 253.61 MiB)
09:36:28 --verbose: true (mem: 253.61 MiB)
09:36:28 --oracle_hash: poseidon2 (mem: 253.61 MiB)
09:36:28 --output_format: bytes_and_fields (mem: 253.61 MiB)
09:36:28 --write_vk: true (mem: 253.61 MiB)
09:36:28 --disable_zk: true (mem: 253.61 MiB)
09:36:28 --init_kzg_accumulator: true (mem: 253.61 MiB)
09:36:28 [09:36:28.605]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.61 MiB)
09:36:28 [09:36:28.644]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.61 MiB)
09:36:31 [09:36:31.008]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 423.89 MiB)
09:36:33 [09:36:33.594]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 788.91 MiB)
09:36:35 [09:36:35.734]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1061.90 MiB)
09:36:37 [09:36:37.886]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1433.05 MiB)
09:36:37 [09:36:37.887]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1433.05 MiB)
09:36:39 [09:36:39.125]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1846.80 MiB)
09:36:39 [09:36:39.435]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5495.07 MiB)
09:36:40 [09:36:40.928]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3040 ms. (mem: 6064.07 MiB)
09:36:41 [09:36:41.029]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6064.07 MiB)
09:36:41 [09:36:41.030]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6064.07 MiB)
09:36:41 [09:36:41.650]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6064.07 MiB)
09:36:44 [09:36:44.919]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6064.07 MiB)
09:36:49 [09:36:49.360]
INFO:
bb-prover RootParityArtifact BB out - created oink proof
09:36:49 [09:36:49.361]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6064.07 MiB)
09:36:51 [09:36:51.591]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6786.68 MiB)
09:36:53 [09:36:53.796]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6786.68 MiB)
09:37:00 [09:37:00.034]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6786.68 MiB)
09:37:01 [09:37:01.797]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6786.68 MiB)
09:37:01 [09:37:01.809]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6786.68 MiB)
09:37:02 [09:37:02.219]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/a1213c14/bb/tmp-F5nYlJ/public_inputs" (mem: 6786.68 MiB)
09:37:02 [09:37:02.220]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/a1213c14/bb/tmp-F5nYlJ/public_inputs_fields.json" (mem: 6786.68 MiB)
09:37:02 Proof saved to "/tmp/a1213c14/bb/tmp-F5nYlJ/proof" (mem: 6786.68 MiB)
09:37:02 Proof fields saved to "/tmp/a1213c14/bb/tmp-F5nYlJ/proof_fields.json" (mem: 6786.68 MiB)
09:37:02 VK saved to "/tmp/a1213c14/bb/tmp-F5nYlJ/vk" (mem: 6786.68 MiB)
09:37:02 VK fields saved to "/tmp/a1213c14/bb/tmp-F5nYlJ/vk_fields.json" (mem: 6786.68 MiB)
09:37:02 [09:37:02.414]
INFO:
bb-prover Generated proof for RootParityArtifact in 34175 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34174.94408300001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:37:02 [09:37:02.417]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:37:02 [09:37:02.417]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a1213c14/bb/tmp-DqTudq/proof -k /tmp/a1213c14/bb/tmp-DqTudq/vk -i /tmp/a1213c14/bb/tmp-DqTudq/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:37:02 [09:37:02.446]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
09:37:02 [09:37:02.446]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.61 MiB)
09:37:02 Scheme is: ultra_honk, num threads: 128 (mem: 253.61 MiB)
09:37:02 --public_inputs_path: /tmp/a1213c14/bb/tmp-DqTudq/public_inputs (mem: 253.61 MiB)
09:37:02 --proof_path: /tmp/a1213c14/bb/tmp-DqTudq/proof (mem: 253.61 MiB)
09:37:02 --vk_path: /tmp/a1213c14/bb/tmp-DqTudq/vk (mem: 253.61 MiB)
09:37:02 --verbose: true (mem: 253.61 MiB)
09:37:02 --scheme: ultra_honk (mem: 253.61 MiB)
09:37:02 --oracle_hash: poseidon2 (mem: 253.61 MiB)
09:37:02 --disable_zk: true (mem: 253.61 MiB)
09:37:02 [09:37:02.447]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.61 MiB)
09:37:02 [09:37:02.458]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.61 MiB)
09:37:02 Proof verification failed (mem: 253.61 MiB)
09:37:02 [09:37:02.459]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 253.61 MiB)
09:37:02 [09:37:02.460]
ERROR:
bb-prover Error running operation at /tmp/a1213c14/bb/tmp-DqTudq: ProvingError: Failed to verify proof from key!
09:37:02 [09:37:02.463]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
09:37:02
PASS src/test/bb_prover_parity.test.ts (
124.111 s)
09:37:02 prover/bb_prover/parity
09:37:02
✓ proves the parity circuits (115074 ms)
09:37:02
09:37:02
Test Suites: 1 passed, 1 total
09:37:02
Tests: 1 passed, 1 total
09:37:02
Snapshots: 0 total
09:37:02
Time: 124.212 s
09:37:02
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
09:37:02
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?