ACI ·

Parent Log: http://ci.aztec-labs.com/4c5601e903be9034 Command: 6978e0e5f3e9e568: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/af094bce13530e078c78de9f3264280e6693d533 Env: REF_NAME=gh-readonly-queue/next/pr-15224-8ecfee1e20968adef7d520a6b827b218f486ba0e CURRENT_VERSION=0.87.6 CI_FULL=1 Date: Mon Jun 23 18:23:41 UTC 2025 System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15224_amd64_x4-full Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s History: http://ci.aztec-labs.com/list/history_fba8bed7686af779_next 18:23:41 +++ id -u 18:23:41 +++ id -g 18:23:41 ++ 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'\''' 18:23:42 + cid=b9b9603492a41e5af95f04682225d90cf8329244188fd557c45838c7eb494906 18:23:42 + set +x 18:23:44 {"level":25,"time":1750703024170,"pid":7,"hostname":"b9b9603492a4","module":"logger","msg":"Logger initialized with level verbose"} 18:23:53 [18:23:53.049] INFO: world-state:database Creating world state data store at directory /tmp/aztec-world-state-izRXPm/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads. 18:23:53 [18:23:53.114] 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/edebf513/bb 18:23:53 [18:23:53.126] 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/edebf513/acvm 18:23:53 [18:23:53.127] INFO: bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/edebf513/bb 18:23:53 [18:23:53.128] INFO: bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/edebf513/acvm 18:23:53 [18:23:53.134] INFO: prover-client:proving-broker Proving Broker started 18:23:53 [18:23:53.146] VERBOSE: prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade 18:23:53 [18:23:53.375] INFO: bb-prover Generated witness {"circuitName":"base-parity","duration":92.40097100000094,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"} 18:23:53 [18:23:53.392] INFO: bb-prover Generated witness {"circuitName":"base-parity","duration":70.71814900000027,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"} 18:23:53 [18:23:53.407] INFO: bb-prover Generated witness {"circuitName":"base-parity","duration":60.66848000000027,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"} 18:23:53 [18:23:53.410] INFO: bb-prover BaseParityArtifact BB out - BB concurrency: undefined 18:23:53 [18:23:53.411] 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/edebf513/bb/tmp-oV0V4q -b /tmp/edebf513/bb/tmp-oV0V4q/BaseParityArtifact-bytecode -w /tmp/edebf513/bb/tmp-oV0V4q/partial-witness.gz -v --init_kzg_accumulator -v 18:23:53 [18:23:53.436] INFO: bb-prover BaseParityArtifact BB out - BB concurrency: undefined 18:23:53 [18:23:53.436] 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/edebf513/bb/tmp-JWsEKi -b /tmp/edebf513/bb/tmp-JWsEKi/BaseParityArtifact-bytecode -w /tmp/edebf513/bb/tmp-JWsEKi/partial-witness.gz -v --init_kzg_accumulator -v 18:23:53 [18:23:53.459] INFO: bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.19 MiB) 18:23:53 Scheme is: ultra_honk, num threads: 128 (mem: 252.19 MiB) 18:23:53 --scheme: ultra_honk (mem: 252.19 MiB) 18:23:53 --bytecode_path: /tmp/edebf513/bb/tmp-oV0V4q/BaseParityArtifact-bytecode (mem: 252.19 MiB) 18:23:53 --witness_path: /tmp/edebf513/bb/tmp-oV0V4q/partial-witness.gz (mem: 252.19 MiB) 18:23:53 --output_path: /tmp/edebf513/bb/tmp-oV0V4q (mem: 252.19 MiB) 18:23:53 Warning: the following option is called more than once (mem: 252.19 MiB) 18:23:53 --verbose: true (mem: 252.19 MiB) 18:23:53 --oracle_hash: poseidon2 (mem: 252.19 MiB) 18:23:53 --output_format: bytes_and_fields (mem: 252.19 MiB) 18:23:53 --write_vk: true (mem: 252.19 MiB) 18:23:53 --disable_zk: true (mem: 252.19 MiB) 18:23:53 --init_kzg_accumulator: true (mem: 252.19 MiB) 18:23:53 [18:23:53.469] INFO: bb-prover Generated witness {"circuitName":"base-parity","duration":48.64243400000123,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"} 18:23:53 [18:23:53.471] INFO: bb-prover BaseParityArtifact BB out - BB concurrency: undefined 18:23:53 [18:23:53.471] 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/edebf513/bb/tmp-1SSV2D -b /tmp/edebf513/bb/tmp-1SSV2D/BaseParityArtifact-bytecode -w /tmp/edebf513/bb/tmp-1SSV2D/partial-witness.gz -v --init_kzg_accumulator -v 18:23:53 [18:23:53.493] INFO: bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.19 MiB) 18:23:53 Scheme is: ultra_honk, num threads: 128 (mem: 252.19 MiB) 18:23:53 --scheme: ultra_honk (mem: 252.19 MiB) 18:23:53 --bytecode_path: /tmp/edebf513/bb/tmp-JWsEKi/BaseParityArtifact-bytecode (mem: 252.19 MiB) 18:23:53 --witness_path: /tmp/edebf513/bb/tmp-JWsEKi/partial-witness.gz (mem: 252.19 MiB) 18:23:53 --output_path: /tmp/edebf513/bb/tmp-JWsEKi (mem: 252.19 MiB) 18:23:53 Warning: the following option is called more than once (mem: 252.19 MiB) 18:23:53 --verbose: true (mem: 252.19 MiB) 18:23:53 --oracle_hash: poseidon2 (mem: 252.19 MiB) 18:23:53 --output_format: bytes_and_fields (mem: 252.19 MiB) 18:23:53 --write_vk: true (mem: 252.19 MiB) 18:23:53 --disable_zk: true (mem: 252.19 MiB) 18:23:53 --init_kzg_accumulator: true (mem: 252.19 MiB) 18:23:53 [18:23:53.496] INFO: bb-prover BaseParityArtifact BB out - BB concurrency: undefined 18:23:53 [18:23:53.497] 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/edebf513/bb/tmp-FVkfbI -b /tmp/edebf513/bb/tmp-FVkfbI/BaseParityArtifact-bytecode -w /tmp/edebf513/bb/tmp-FVkfbI/partial-witness.gz -v --init_kzg_accumulator -v 18:23:53 [18:23:53.521] INFO: bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.19 MiB) 18:23:53 Scheme is: ultra_honk, num threads: 128 (mem: 252.19 MiB) 18:23:53 --scheme: ultra_honk (mem: 252.19 MiB) 18:23:53 --bytecode_path: /tmp/edebf513/bb/tmp-1SSV2D/BaseParityArtifact-bytecode (mem: 252.19 MiB) 18:23:53 --witness_path: /tmp/edebf513/bb/tmp-1SSV2D/partial-witness.gz (mem: 252.19 MiB) 18:23:53 --output_path: /tmp/edebf513/bb/tmp-1SSV2D (mem: 252.19 MiB) 18:23:53 Warning: the following option is called more than once (mem: 252.19 MiB) 18:23:53 --verbose: true (mem: 252.19 MiB) 18:23:53 --oracle_hash: poseidon2 (mem: 252.19 MiB) 18:23:53 --output_format: bytes_and_fields (mem: 252.19 MiB) 18:23:53 --write_vk: true (mem: 252.19 MiB) 18:23:53 --disable_zk: true (mem: 252.19 MiB) 18:23:53 --init_kzg_accumulator: true (mem: 252.19 MiB) 18:23:53 [18:23:53.526] INFO: bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.19 MiB) 18:23:53 [18:23:53.527] INFO: bb-prover BaseParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.19 MiB) 18:23:53 --scheme: ultra_honk (mem: 252.19 MiB) 18:23:53 --bytecode_path: /tmp/edebf513/bb/tmp-FVkfbI/BaseParityArtifact-bytecode (mem: 252.19 MiB) 18:23:53 --witness_path: /tmp/edebf513/bb/tmp-FVkfbI/partial-witness.gz (mem: 252.19 MiB) 18:23:53 --output_path: /tmp/edebf513/bb/tmp-FVkfbI (mem: 252.19 MiB) 18:23:53 Warning: the following option is called more than once (mem: 252.19 MiB) 18:23:53 --verbose: true (mem: 252.19 MiB) 18:23:53 --oracle_hash: poseidon2 (mem: 252.19 MiB) 18:23:53 --output_format: bytes_and_fields (mem: 252.19 MiB) 18:23:53 --write_vk: true (mem: 252.19 MiB) 18:23:53 --disable_zk: true (mem: 252.19 MiB) 18:23:53 --init_kzg_accumulator: true (mem: 252.19 MiB) 18:23:53 [18:23:53.617] INFO: bb-prover BaseParityArtifact BB out - created circuit (mem: 252.19 MiB) 18:23:53 Constructing DeciderProvingKey (mem: 252.19 MiB) 18:23:53 [18:23:53.625] INFO: bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.19 MiB) 18:23:53 [18:23:53.642] INFO: bb-prover BaseParityArtifact BB out - created circuit (mem: 252.19 MiB) 18:23:53 Constructing DeciderProvingKey (mem: 252.19 MiB) 18:23:53 [18:23:53.656] INFO: bb-prover BaseParityArtifact BB out - created circuit (mem: 252.19 MiB) 18:23:53 Constructing DeciderProvingKey (mem: 252.19 MiB) 18:23:53 [18:23:53.659] INFO: bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.19 MiB) 18:23:53 [18:23:53.661] INFO: bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.19 MiB) 18:23:53 [18:23:53.726] INFO: bb-prover BaseParityArtifact BB out - created circuit (mem: 252.19 MiB) 18:23:53 Constructing DeciderProvingKey (mem: 252.19 MiB) 18:23:53 [18:23:53.730] INFO: bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... 18:23:53 [18:23:53.734] INFO: bb-prover BaseParityArtifact BB out - (mem: 252.19 MiB) 18:23:53 [18:23:53.921] INFO: bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.19 MiB) 18:23:53 [18:23:53.939] INFO: bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.19 MiB) 18:23:54 [18:23:54.030] INFO: bb-prover BaseParityArtifact BB out - time to construct proving key: 373 ms. (mem: 252.19 MiB) 18:23:54 [18:23:54.041] INFO: bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.19 MiB) 18:23:54 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.19 MiB) 18:23:54 [18:23:54.043] INFO: bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.19 MiB) 18:23:54 [18:23:54.043] INFO: bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.19 MiB) 18:23:54 [18:23:54.047] INFO: bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 252.19 MiB) 18:23:54 [18:23:54.052] INFO: bb-prover BaseParityArtifact BB out - time to construct proving key: 435 ms. (mem: 252.19 MiB) 18:23:54 [18:23:54.060] INFO: bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.19 MiB) 18:23:54 [18:23:54.061] INFO: bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.19 MiB) 18:23:54 [18:23:54.078] INFO: bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 252.19 MiB) 18:23:54 [18:23:54.155] INFO: bb-prover BaseParityArtifact BB out - time to construct proving key: 509 ms. (mem: 252.19 MiB) 18:23:54 [18:23:54.160] INFO: bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.19 MiB) 18:23:54 [18:23:54.161] INFO: bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.19 MiB) 18:23:54 [18:23:54.173] INFO: bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 252.19 MiB) 18:23:54 [18:23:54.201] INFO: bb-prover BaseParityArtifact BB out - time to construct proving key: 473 ms. (mem: 252.19 MiB) 18:23:54 [18:23:54.210] INFO: bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.19 MiB) 18:23:54 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.19 MiB) 18:23:54 [18:23:54.240] INFO: bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 252.19 MiB) 18:23:55 [18:23:55.057] INFO: bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.19 MiB) 18:23:55 [18:23:55.317] INFO: bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.19 MiB) 18:23:55 [18:23:55.340] INFO: bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.19 MiB) 18:23:55 [18:23:55.432] INFO: bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.19 MiB) 18:23:55 [18:23:55.681] INFO: bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.19 MiB) 18:23:55 [18:23:55.921] INFO: bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.19 MiB) 18:23:55 [18:23:55.998] INFO: bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.19 MiB) 18:23:56 [18:23:56.061] INFO: bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.19 MiB) 18:23:56 [18:23:56.108] INFO: bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.19 MiB) 18:23:56 [18:23:56.179] INFO: bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.19 MiB) 18:23:56 [18:23:56.256] INFO: bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.19 MiB) 18:23:56 [18:23:56.295] INFO: bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.19 MiB) 18:23:56 [18:23:56.386] INFO: bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.19 MiB) 18:23:56 [18:23:56.406] INFO: bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.19 MiB) 18:23:56 [18:23:56.470] INFO: bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.19 MiB) 18:23:56 [18:23:56.482] INFO: bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.19 MiB) 18:23:58 [18:23:58.341] INFO: bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.19 MiB) 18:23:58 [18:23:58.342] INFO: bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.19 MiB) 18:23:58 [18:23:58.488] INFO: bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.19 MiB) 18:23:58 finished decider proving. (mem: 252.19 MiB) 18:23:58 Public inputs saved to "/tmp/edebf513/bb/tmp-1SSV2D/public_inputs" (mem: 252.19 MiB) 18:23:58 Public inputs fields saved to "/tmp/edebf513/bb/tmp-1SSV2D/public_inputs_fields.json" (mem: 252.19 MiB) 18:23:58 Proof saved to "/tmp/edebf513/bb/tmp-1SSV2D/proof" (mem: 252.19 MiB) 18:23:58 Proof fields saved to "/tmp/edebf513/bb/tmp-1SSV2D/proof_fields.json" (mem: 252.19 MiB) 18:23:58 VK saved to "/tmp/edebf513/bb/tmp-1SSV2D/vk" (mem: 252.19 MiB) 18:23:58 VK fields saved to "/tmp/edebf513/bb/tmp-1SSV2D/vk_fields.json" (mem: 252.19 MiB) 18:23:58 [18:23:58.504] INFO: bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.19 MiB) 18:23:58 finished decider proving. (mem: 252.19 MiB) 18:23:58 Public inputs saved to "/tmp/edebf513/bb/tmp-oV0V4q/public_inputs" (mem: 252.19 MiB) 18:23:58 Public inputs fields saved to "/tmp/edebf513/bb/tmp-oV0V4q/public_inputs_fields.json" (mem: 252.19 MiB) 18:23:58 Proof saved to "/tmp/edebf513/bb/tmp-oV0V4q/proof" (mem: 252.19 MiB) 18:23:58 Proof fields saved to "/tmp/edebf513/bb/tmp-oV0V4q/proof_fields.json" (mem: 252.19 MiB) 18:23:58 VK saved to "/tmp/edebf513/bb/tmp-oV0V4q/vk" (mem: 252.19 MiB) 18:23:58 VK fields saved to "/tmp/edebf513/bb/tmp-oV0V4q/vk_fields.json" (mem: 252.19 MiB) 18:23:58 [18:23:58.515] INFO: bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.19 MiB) 18:23:58 [18:23:58.562] INFO: bb-prover Generated proof for BaseParityArtifact in 5143 ms, size: 456 fields {"circuitName":"base-parity","circuitSize":65536,"duration":5142.27982,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19} 18:23:58 [18:23:58.565] INFO: bb-prover Generated proof for BaseParityArtifact in 5088 ms, size: 456 fields {"circuitName":"base-parity","circuitSize":65536,"duration":5087.641395000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19} 18:23:58 [18:23:58.571] INFO: bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.19 MiB) 18:23:58 finished decider proving. (mem: 252.19 MiB) 18:23:58 Public inputs saved to "/tmp/edebf513/bb/tmp-FVkfbI/public_inputs" (mem: 252.19 MiB) 18:23:58 Public inputs fields saved to "/tmp/edebf513/bb/tmp-FVkfbI/public_inputs_fields.json" (mem: 252.19 MiB) 18:23:58 Proof saved to "/tmp/edebf513/bb/tmp-FVkfbI/proof" (mem: 252.19 MiB) 18:23:58 [18:23:58.575] INFO: bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/edebf513/bb/tmp-FVkfbI/proof_fields.json" (mem: 252.19 MiB) 18:23:58 VK saved to "/tmp/edebf513/bb/tmp-FVkfbI/vk" (mem: 252.19 MiB) 18:23:58 VK fields saved to "/tmp/edebf513/bb/tmp-FVkfbI/vk_fields.json" (mem: 252.19 MiB) 18:23:58 [18:23:58.581] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 18:23:58 [18:23:58.581] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/edebf513/bb/tmp-ihwi2W/proof -k /tmp/edebf513/bb/tmp-ihwi2W/vk -i /tmp/edebf513/bb/tmp-ihwi2W/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 18:23:58 [18:23:58.610] INFO: bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.19 MiB) 18:23:58 [18:23:58.612] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 18:23:58 [18:23:58.612] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/edebf513/bb/tmp-4AM7sp/proof -k /tmp/edebf513/bb/tmp-4AM7sp/vk -i /tmp/edebf513/bb/tmp-4AM7sp/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 18:23:58 [18:23:58.652] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.20 MiB) 18:23:58 Scheme is: ultra_honk, num threads: 128 (mem: 252.20 MiB) 18:23:58 --public_inputs_path: /tmp/edebf513/bb/tmp-ihwi2W/public_inputs (mem: 252.20 MiB) 18:23:58 --proof_path: /tmp/edebf513/bb/tmp-ihwi2W/proof (mem: 252.20 MiB) 18:23:58 --vk_path: /tmp/edebf513/bb/tmp-ihwi2W/vk (mem: 252.20 MiB) 18:23:58 --verbose: true (mem: 252.20 MiB) 18:23:58 --scheme: ultra_honk (mem: 252.20 MiB) 18:23:58 --oracle_hash: poseidon2 (mem: 252.20 MiB) 18:23:58 --disable_zk: true (mem: 252.20 MiB) 18:23:58 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.20 MiB) 18:23:58 [18:23:58.664] INFO: bb-prover Generated proof for BaseParityArtifact in 5160 ms, size: 456 fields {"circuitName":"base-parity","circuitSize":65536,"duration":5159.174642,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19} 18:23:58 [18:23:58.667] 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.20 MiB) 18:23:58 Initialized BN254 CRS from memory with num points = 1 (mem: 252.20 MiB) 18:23:58 [18:23:58.669] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.20 MiB) 18:23:58 Scheme is: ultra_honk, num threads: 128 (mem: 252.20 MiB) 18:23:58 --public_inputs_path: /tmp/edebf513/bb/tmp-4AM7sp/public_inputs (mem: 252.20 MiB) 18:23:58 --proof_path: /tmp/edebf513/bb/tmp-4AM7sp/proof (mem: 252.20 MiB) 18:23:58 --vk_path: /tmp/edebf513/bb/tmp-4AM7sp/vk (mem: 252.20 MiB) 18:23:58 --verbose: true (mem: 252.20 MiB) 18:23:58 --scheme: ultra_honk (mem: 252.20 MiB) 18:23:58 --oracle_hash: poseidon2 (mem: 252.20 MiB) 18:23:58 --disable_zk: true (mem: 252.20 MiB) 18:23:58 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.20 MiB) 18:23:58 [18:23:58.671] VERBOSE: bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.20 MiB) 18:23:58 libra_evals_verified: 1 (mem: 252.20 MiB) 18:23:58 pairing_check_verified: 1 (mem: 252.20 MiB) 18:23:58 Proof verified successfully (mem: 252.20 MiB) 18:23:58 verified: 1 (mem: 252.20 MiB) 18:23:58 [18:23:58.673] INFO: bb-prover Successfully verified proof from key in 92.4554649999991 ms 18:23:58 [18:23:58.679] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 18:23:58 [18:23:58.680] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/edebf513/bb/tmp-N3av38/proof -k /tmp/edebf513/bb/tmp-N3av38/vk -i /tmp/edebf513/bb/tmp-N3av38/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 18:23:58 [18:23:58.711] 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.20 MiB) 18:23:58 Initialized BN254 CRS from memory with num points = 1 (mem: 252.20 MiB) 18:23:58 sumcheck_verified: 1 (mem: 252.20 MiB) 18:23:58 libra_evals_verified: 1 (mem: 252.20 MiB) 18:23:58 pairing_check_verified: 1 (mem: 252.20 MiB) 18:23:58 Proof verified successfully (mem: 252.20 MiB) 18:23:58 verified: 1 (mem: 252.20 MiB) 18:23:58 [18:23:58.713] INFO: bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.19 MiB) 18:23:58 finished decider proving. (mem: 252.19 MiB) 18:23:58 Public inputs saved to "/tmp/edebf513/bb/tmp-JWsEKi/public_inputs" (mem: 252.19 MiB) 18:23:58 Public inputs fields saved to "/tmp/edebf513/bb/tmp-JWsEKi/public_inputs_fields.json" (mem: 252.19 MiB) 18:23:58 Proof saved to "/tmp/edebf513/bb/tmp-JWsEKi/proof" (mem: 252.19 MiB) 18:23:58 Proof fields saved to "/tmp/edebf513/bb/tmp-JWsEKi/proof_fields.json" (mem: 252.19 MiB) 18:23:58 VK saved to "/tmp/edebf513/bb/tmp-JWsEKi/vk" (mem: 252.19 MiB) 18:23:58 VK fields saved to "/tmp/edebf513/bb/tmp-JWsEKi/vk_fields.json" (mem: 252.19 MiB) 18:23:58 [18:23:58.716] INFO: bb-prover Successfully verified proof from key in 104.35775300000023 ms 18:23:58 [18:23:58.723] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.20 MiB) 18:23:58 [18:23:58.724] VERBOSE: bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.20 MiB) 18:23:58 --public_inputs_path: /tmp/edebf513/bb/tmp-N3av38/public_inputs (mem: 252.20 MiB) 18:23:58 --proof_path: /tmp/edebf513/bb/tmp-N3av38/proof (mem: 252.20 MiB) 18:23:58 --vk_path: /tmp/edebf513/bb/tmp-N3av38/vk (mem: 252.20 MiB) 18:23:58 --verbose: true (mem: 252.20 MiB) 18:23:58 --scheme: ultra_honk (mem: 252.20 MiB) 18:23:58 --oracle_hash: poseidon2 (mem: 252.20 MiB) 18:23:58 --disable_zk: true (mem: 252.20 MiB) 18:23:58 [18:23:58.726] VERBOSE: bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.20 MiB) 18:23:58 [18:23:58.747] INFO: bb-prover Generated proof for BaseParityArtifact in 5309 ms, size: 456 fields {"circuitName":"base-parity","circuitSize":65536,"duration":5308.269850000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19} 18:23:58 [18:23:58.749] 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.20 MiB) 18:23:58 Initialized BN254 CRS from memory with num points = 1 (mem: 252.20 MiB) 18:23:58 sumcheck_verified: 1 (mem: 252.20 MiB) 18:23:58 libra_evals_verified: 1 (mem: 252.20 MiB) 18:23:58 pairing_check_verified: 1 (mem: 252.20 MiB) 18:23:58 Proof verified successfully (mem: 252.20 MiB) 18:23:58 verified: 1 (mem: 252.20 MiB) 18:23:58 [18:23:58.750] INFO: bb-prover Successfully verified proof from key in 71.68760699999984 ms 18:23:58 [18:23:58.754] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 18:23:58 [18:23:58.755] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/edebf513/bb/tmp-S2D7Ah/proof -k /tmp/edebf513/bb/tmp-S2D7Ah/vk -i /tmp/edebf513/bb/tmp-S2D7Ah/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 18:23:58 [18:23:58.792] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.16 MiB) 18:23:58 [18:23:58.792] VERBOSE: bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.16 MiB) 18:23:58 --public_inputs_path: /tmp/edebf513/bb/tmp-S2D7Ah/public_inputs (mem: 252.16 MiB) 18:23:58 --proof_path: /tmp/edebf513/bb/tmp-S2D7Ah/proof (mem: 252.16 MiB) 18:23:58 --vk_path: /tmp/edebf513/bb/tmp-S2D7Ah/vk (mem: 252.16 MiB) 18:23:58 --verbose: true (mem: 252.16 MiB) 18:23:58 --scheme: ultra_honk (mem: 252.16 MiB) 18:23:58 --oracle_hash: poseidon2 (mem: 252.16 MiB) 18:23:58 --disable_zk: true (mem: 252.16 MiB) 18:23:58 [18:23:58.795] VERBOSE: bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.16 MiB) 18:23:58 [18:23:58.816] 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.16 MiB) 18:23:58 [18:23:58.816] VERBOSE: bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 252.16 MiB) 18:23:58 [18:23:58.817] VERBOSE: bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.16 MiB) 18:23:58 libra_evals_verified: 1 (mem: 252.16 MiB) 18:23:58 pairing_check_verified: 1 (mem: 252.16 MiB) 18:23:58 Proof verified successfully (mem: 252.16 MiB) 18:23:58 verified: 1 (mem: 252.16 MiB) 18:23:58 [18:23:58.819] INFO: bb-prover Successfully verified proof from key in 65.03268600000047 ms 18:23:58 [18:23:58.827] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 18:23:58 [18:23:58.831] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/edebf513/bb/tmp-mlZlMq/proof -k /tmp/edebf513/bb/tmp-mlZlMq/vk -i /tmp/edebf513/bb/tmp-mlZlMq/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 18:23:58 [18:23:58.851] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 18:23:58 [18:23:58.852] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/edebf513/bb/tmp-2Asd0e/proof -k /tmp/edebf513/bb/tmp-2Asd0e/vk -i /tmp/edebf513/bb/tmp-2Asd0e/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 18:23:58 [18:23:58.879] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 18:23:58 [18:23:58.879] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/edebf513/bb/tmp-uCrNxK/proof -k /tmp/edebf513/bb/tmp-uCrNxK/vk -i /tmp/edebf513/bb/tmp-uCrNxK/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 18:23:58 [18:23:58.927] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 18:23:58 [18:23:58.927] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/edebf513/bb/tmp-y3Dhzj/proof -k /tmp/edebf513/bb/tmp-y3Dhzj/vk -i /tmp/edebf513/bb/tmp-y3Dhzj/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 18:23:58 [18:23:58.986] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.30 MiB) 18:23:58 Scheme is: ultra_honk, num threads: 128 (mem: 252.30 MiB) 18:23:58 --public_inputs_path: /tmp/edebf513/bb/tmp-mlZlMq/public_inputs (mem: 252.30 MiB) 18:23:58 --proof_path: /tmp/edebf513/bb/tmp-mlZlMq/proof (mem: 252.30 MiB) 18:23:58 --vk_path: /tmp/edebf513/bb/tmp-mlZlMq/vk (mem: 252.30 MiB) 18:23:58 --verbose: true (mem: 252.30 MiB) 18:23:58 --scheme: ultra_honk (mem: 252.30 MiB) 18:23:58 --oracle_hash: poseidon2 (mem: 252.30 MiB) 18:23:58 --disable_zk: true (mem: 252.30 MiB) 18:23:58 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.30 MiB) 18:23:58 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.30 MiB) 18:23:58 Initialized BN254 CRS from memory with num points = 1 (mem: 252.30 MiB) 18:23:58 sumcheck_verified: 1 (mem: 252.30 MiB) 18:23:58 libra_evals_verified: 1 (mem: 252.30 MiB) 18:23:58 pairing_check_verified: 1 (mem: 252.30 MiB) 18:23:58 Proof verified successfully (mem: 252.30 MiB) 18:23:58 verified: 1 (mem: 252.30 MiB) 18:23:58 [18:23:58.991] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.30 MiB) 18:23:58 Scheme is: ultra_honk, num threads: 128 (mem: 252.30 MiB) 18:23:58 --public_inputs_path: /tmp/edebf513/bb/tmp-2Asd0e/public_inputs (mem: 252.30 MiB) 18:23:58 --proof_path: /tmp/edebf513/bb/tmp-2Asd0e/proof (mem: 252.30 MiB) 18:23:59 --vk_path: /tmp/edebf513/bb/tmp-2Asd0e/vk (mem: 252.30 MiB) 18:23:59 --verbose: true (mem: 252.30 MiB) 18:23:59 --scheme: ultra_honk (mem: 252.30 MiB) 18:23:59 --oracle_hash: poseidon2 (mem: 252.30 MiB) 18:23:59 --disable_zk: true (mem: 252.30 MiB) 18:23:59 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.30 MiB) 18:23:59 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.30 MiB) 18:23:59 Initialized BN254 CRS from memory with num points = 1 (mem: 252.30 MiB) 18:23:59 sumcheck_verified: 1 (mem: 252.30 MiB) 18:23:59 libra_evals_verified: 1 (mem: 252.30 MiB) 18:23:59 pairing_check_verified: 1 (mem: 252.30 MiB) 18:23:59 Proof verified successfully (mem: 252.30 MiB) 18:23:59 verified: 1 (mem: 252.30 MiB) 18:23:59 [18:23:58.992] INFO: bb-prover Successfully verified proof from key in 141.0847279999998 ms 18:23:59 [18:23:58.993] INFO: bb-prover Successfully verified proof from key in 165.4229460000006 ms 18:23:59 [18:23:58.993] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.30 MiB) 18:23:59 Scheme is: ultra_honk, num threads: 128 (mem: 252.30 MiB) 18:23:59 --public_inputs_path: /tmp/edebf513/bb/tmp-uCrNxK/public_inputs (mem: 252.30 MiB) 18:23:59 --proof_path: /tmp/edebf513/bb/tmp-uCrNxK/proof (mem: 252.30 MiB) 18:23:59 --vk_path: /tmp/edebf513/bb/tmp-uCrNxK/vk (mem: 252.30 MiB) 18:23:59 --verbose: true (mem: 252.30 MiB) 18:23:59 --scheme: ultra_honk (mem: 252.30 MiB) 18:23:59 --oracle_hash: poseidon2 (mem: 252.30 MiB) 18:23:59 --disable_zk: true (mem: 252.30 MiB) 18:23:59 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.30 MiB) 18:23:59 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.30 MiB) 18:23:59 Initialized BN254 CRS from memory with num points = 1 (mem: 252.30 MiB) 18:23:59 sumcheck_verified: 1 (mem: 252.30 MiB) 18:23:59 libra_evals_verified: 1 (mem: 252.30 MiB) 18:23:59 pairing_check_verified: 1 (mem: 252.30 MiB) 18:23:59 Proof verified successfully (mem: 252.30 MiB) 18:23:59 verified: 1 (mem: 252.30 MiB) 18:23:59 [18:23:58.994] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.30 MiB) 18:23:59 Scheme is: ultra_honk, num threads: 128 (mem: 252.30 MiB) 18:23:59 --public_inputs_path: /tmp/edebf513/bb/tmp-y3Dhzj/public_inputs (mem: 252.30 MiB) 18:23:59 --proof_path: /tmp/edebf513/bb/tmp-y3Dhzj/proof (mem: 252.30 MiB) 18:23:59 --vk_path: /tmp/edebf513/bb/tmp-y3Dhzj/vk (mem: 252.30 MiB) 18:23:59 --verbose: true (mem: 252.30 MiB) 18:23:59 --scheme: ultra_honk (mem: 252.30 MiB) 18:23:59 --oracle_hash: poseidon2 (mem: 252.30 MiB) 18:23:59 --disable_zk: true (mem: 252.30 MiB) 18:23:59 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.30 MiB) 18:23:59 [18:23:58.995] INFO: bb-prover Successfully verified proof from key in 116.17919699999948 ms 18:23:59 [18:23:59.004] 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: 18:23:59 [18:23:59.004] VERBOSE: bb-prover bb-prover (verify) BB out - 252.30 MiB) 18:23:59 Initialized BN254 CRS from memory with num points = 1 (mem: 252.30 MiB) 18:23:59 [18:23:59.006] VERBOSE: bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.30 MiB) 18:23:59 libra_evals_verified: 1 (mem: 252.30 MiB) 18:23:59 pairing_check_verified: 1 (mem: 252.30 MiB) 18:23:59 Proof verified successfully (mem: 18:23:59 [18:23:59.007] VERBOSE: bb-prover bb-prover (verify) BB out - 252.30 MiB) 18:23:59 verified: 1 (mem: 252.30 MiB) 18:23:59 [18:23:59.008] INFO: bb-prover Successfully verified proof from key in 81.44639900000038 ms 18:23:59 [18:23:59.263] INFO: bb-prover Generated witness {"circuitName":"root-parity","duration":90.3441210000019,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"} 18:23:59 [18:23:59.269] INFO: bb-prover RootParityArtifact BB out - BB concurrency: undefined 18:23:59 [18:23:59.269] 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/edebf513/bb/tmp-j81NJD -b /tmp/edebf513/bb/tmp-j81NJD/RootParityArtifact-bytecode -w /tmp/edebf513/bb/tmp-j81NJD/partial-witness.gz -v --init_kzg_accumulator -v 18:23:59 [18:23:59.295] INFO: bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.37 MiB) 18:23:59 [18:23:59.295] INFO: bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.37 MiB) 18:23:59 --scheme: ultra_honk (mem: 255.37 MiB) 18:23:59 --bytecode_path: /tmp/edebf513/bb/tmp-j81NJD/RootParityArtifact-bytecode (mem: 255.37 MiB) 18:23:59 --witness_path: /tmp/edebf513/bb/tmp-j81NJD/partial-witness.gz (mem: 255.37 MiB) 18:23:59 --output_path: /tmp/edebf513/bb/tmp-j81NJD (mem: 255.37 MiB) 18:23:59 Warning: the following option is called more than once (mem: 255.37 MiB) 18:23:59 --verbose: true (mem: 255.37 MiB) 18:23:59 --oracle_hash: poseidon2 (mem: 255.37 MiB) 18:23:59 --output_format: bytes_and_fields (mem: 255.37 MiB) 18:23:59 --write_vk: true (mem: 255.37 MiB) 18:23:59 --disable_zk: true (mem: 255.37 MiB) 18:23:59 --init_kzg_accumulator: true (mem: 255.37 MiB) 18:23:59 [18:23:59.518] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.37 MiB) 18:24:01 [18:24:01.714] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 423.57 MiB) 18:24:04 [18:24:04.500] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 791.52 MiB) 18:24:06 [18:24:06.928] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1065.12 MiB) 18:24:09 [18:24:09.578] INFO: bb-prover RootParityArtifact BB out - created circuit (mem: 1435.96 MiB) 18:24:09 [18:24:09.579] INFO: bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1435.96 MiB) 18:24:11 [18:24:11.063] INFO: bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1849.51 MiB) 18:24:11 [18:24:11.527] INFO: bb-prover RootParityArtifact BB out - populating trace... (mem: 5485.27 MiB) 18:24:13 [18:24:13.601] INFO: bb-prover RootParityArtifact BB out - time to construct proving key: 4019 ms. (mem: 6058.27 MiB) 18:24:13 [18:24:13.749] INFO: bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. 18:24:13 [18:24:13.749] INFO: bb-prover RootParityArtifact BB out - (mem: 18:24:13 [18:24:13.750] INFO: bb-prover RootParityArtifact BB out - 6058.27 18:24:13 [18:24:13.750] INFO: bb-prover RootParityArtifact BB out - MiB) 18:24:13 [18:24:13.750] INFO: bb-prover RootParityArtifact BB out - 18:24:13 [18:24:13.751] INFO: bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" 18:24:13 [18:24:13.753] INFO: bb-prover RootParityArtifact BB out - (mem: 6058.27 MiB) 18:24:14 [18:24:14.749] INFO: bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6058.27 MiB) 18:24:20 [18:24:20.978] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6058.27 MiB) 18:24:27 [18:24:27.843] INFO: bb-prover RootParityArtifact BB out - created oink proof (mem: 6058.27 MiB) 18:24:29 [18:24:29.986] INFO: bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6741.30 MiB) 18:24:32 [18:24:32.632] INFO: bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6741.30 MiB) 18:24:40 [18:24:40.474] INFO: bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6741.30 MiB) 18:24:42 [18:24:42.562] INFO: bb-prover RootParityArtifact BB out - computed opening proof (mem: 6741.30 MiB) 18:24:42 [18:24:42.581] INFO: bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6741.30 MiB) 18:24:43 [18:24:43.244] INFO: bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/edebf513/bb/tmp-j81NJD/public_inputs" (mem: 6741.30 MiB) 18:24:43 [18:24:43.246] INFO: bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/edebf513/bb/tmp-j81NJD/public_inputs_fields.json" (mem: 6741.30 MiB) 18:24:43 Proof saved to "/tmp/edebf513/bb/tmp-j81NJD/proof" (mem: 6741.30 MiB) 18:24:43 Proof fields saved to "/tmp/edebf513/bb/tmp-j81NJD/proof_fields.json" (mem: 6741.30 MiB) 18:24:43 VK saved to "/tmp/edebf513/bb/tmp-j81NJD/vk" (mem: 6741.30 MiB) 18:24:43 VK fields saved to "/tmp/edebf513/bb/tmp-j81NJD/vk_fields.json" (mem: 6741.30 MiB) 18:24:43 [18:24:43.450] INFO: bb-prover Generated proof for RootParityArtifact in 44177 ms, size: 456 fields {"circuitName":"root-parity","circuitSize":4194304,"duration":44176.448853,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19} 18:24:43 [18:24:43.463] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 18:24:43 [18:24:43.463] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/edebf513/bb/tmp-ngvaE6/proof -k /tmp/edebf513/bb/tmp-ngvaE6/vk -i /tmp/edebf513/bb/tmp-ngvaE6/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 18:24:43 [18:24:43.501] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.38 MiB) 18:24:43 Scheme is: ultra_honk, num threads: 128 (mem: 255.38 MiB) 18:24:43 --public_inputs_path: /tmp/edebf513/bb/tmp-ngvaE6/public_inputs (mem: 255.38 MiB) 18:24:43 --proof_path: /tmp/edebf513/bb/tmp-ngvaE6/proof (mem: 255.38 MiB) 18:24:43 --vk_path: /tmp/edebf513/bb/tmp-ngvaE6/vk (mem: 255.38 MiB) 18:24:43 --verbose: true (mem: 255.38 MiB) 18:24:43 --scheme: ultra_honk (mem: 255.38 MiB) 18:24:43 --oracle_hash: poseidon2 (mem: 255.38 MiB) 18:24:43 --disable_zk: true (mem: 255.38 MiB) 18:24:43 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.38 MiB) 18:24:43 [18:24:43.525] VERBOSE: bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 255.38 MiB) 18:24:43 Initialized BN254 CRS from memory with num points = 1 (mem: 255.38 MiB) 18:24:43 [18:24:43.526] VERBOSE: bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 255.38 MiB) 18:24:43 libra_evals_verified: 1 (mem: 255.38 MiB) 18:24:43 pairing_check_verified: 1 (mem: 255.38 MiB) 18:24:43 Proof verified successfully (mem: 255.38 MiB) 18:24:43 verified: 1 (mem: 255.38 MiB) 18:24:43 [18:24:43.528] INFO: bb-prover Successfully verified proof from key in 65.07547899999918 ms 18:24:43 [18:24:43.535] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 18:24:43 [18:24:43.535] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/edebf513/bb/tmp-SiA4eh/proof -k /tmp/edebf513/bb/tmp-SiA4eh/vk -i /tmp/edebf513/bb/tmp-SiA4eh/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 18:24:43 [18:24:43.579] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.38 MiB) 18:24:43 [18:24:43.583] VERBOSE: bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.38 MiB) 18:24:43 --public_inputs_path: /tmp/edebf513/bb/tmp-SiA4eh/public_inputs (mem: 255.38 MiB) 18:24:43 --proof_path: /tmp/edebf513/bb/tmp-SiA4eh/proof (mem: 255.38 MiB) 18:24:43 --vk_path: /tmp/edebf513/bb/tmp-SiA4eh/vk (mem: 255.38 MiB) 18:24:43 --verbose: true (mem: 255.38 MiB) 18:24:43 --scheme: ultra_honk (mem: 255.38 MiB) 18:24:43 --oracle_hash: poseidon2 (mem: 255.38 MiB) 18:24:43 --disable_zk: true (mem: 255.38 MiB) 18:24:43 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.38 MiB) 18:24:43 [18:24:43.600] VERBOSE: bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 255.38 MiB) 18:24:43 [18:24:43.604] VERBOSE: bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 255.38 MiB) 18:24:43 sumcheck_verified: 1 (mem: 255.38 MiB) 18:24:43 libra_evals_verified: 1 (mem: 255.38 MiB) 18:24:43 pairing_check_verified: 1 (mem: 255.38 MiB) 18:24:43 Proof verified successfully (mem: 255.38 MiB) 18:24:43 verified: 1 (mem: 255.38 MiB) 18:24:43 [18:24:43.606] INFO: bb-prover Successfully verified proof from key in 70.4181150000004 ms 18:24:43 [18:24:43.722] ERROR: simulator:acvm-native From ACVM: Failed assertion 18:24:43 18:24:43 [18:24:43.723] ERROR: bb-prover Error running operation at /tmp/edebf513/bb/tmp-FM9aWF: Error: Failed to generate witness: Failed assertion 18:24:43 18:24:43 [18:24:43.969] INFO: bb-prover Generated witness {"circuitName":"root-parity","duration":93.06674199999543,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"} 18:24:43 [18:24:43.971] INFO: bb-prover RootParityArtifact BB out - BB concurrency: undefined 18:24:43 [18:24:43.972] 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/edebf513/bb/tmp-d1lRrf -b /tmp/edebf513/bb/tmp-d1lRrf/RootParityArtifact-bytecode -w /tmp/edebf513/bb/tmp-d1lRrf/partial-witness.gz -v --init_kzg_accumulator -v 18:24:44 [18:24:43.998] INFO: bb-prover RootParityArtifact BB out - bb command: prove (mem: 258.31 MiB) 18:24:44 Scheme is: ultra_honk, num threads: 128 (mem: 258.31 MiB) 18:24:44 --scheme: ultra_honk (mem: 258.31 MiB) 18:24:44 --bytecode_path: /tmp/edebf513/bb/tmp-d1lRrf/RootParityArtifact-bytecode (mem: 258.31 MiB) 18:24:44 --witness_path: /tmp/edebf513/bb/tmp-d1lRrf/partial-witness.gz (mem: 258.31 MiB) 18:24:44 --output_path: /tmp/edebf513/bb/tmp-d1lRrf (mem: 258.31 MiB) 18:24:44 Warning: the following option is called more than once (mem: 258.31 MiB) 18:24:44 --verbose: true (mem: 258.31 MiB) 18:24:44 --oracle_hash: poseidon2 (mem: 258.31 MiB) 18:24:44 --output_format: bytes_and_fields (mem: 258.31 MiB) 18:24:44 --write_vk: true (mem: 258.31 MiB) 18:24:44 --disable_zk: true (mem: 258.31 MiB) 18:24:44 --init_kzg_accumulator: true (mem: 258.31 MiB) 18:24:44 [18:24:44.194] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 258.31 MiB) 18:24:44 [18:24:44.215] INFO: bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 258.31 MiB) 18:24:46 [18:24:46.588] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 423.60 MiB) 18:24:49 [18:24:49.034] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 791.68 MiB) 18:24:51 [18:24:51.312] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1062.45 MiB) 18:24:53 [18:24:53.921] INFO: bb-prover RootParityArtifact BB out - created circuit (mem: 1433.27 MiB) 18:24:53 Constructing DeciderProvingKey (mem: 1433.27 MiB) 18:24:55 [18:24:55.395] INFO: bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1845.45 MiB) 18:24:56 [18:24:56.006] INFO: bb-prover RootParityArtifact BB out - populating trace... (mem: 5489.78 MiB) 18:24:57 [18:24:57.940] INFO: bb-prover RootParityArtifact BB out - time to construct proving key: 4018 ms. (mem: 6064.78 MiB) 18:24:58 [18:24:58.095] INFO: bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6064.78 MiB) 18:24:58 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6064.78 MiB) 18:24:58 [18:24:58.962] INFO: bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6064.78 MiB) 18:25:02 [18:25:02.982] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6064.78 MiB) 18:25:08 [18:25:08.261] INFO: bb-prover RootParityArtifact BB out - created oink proof (mem: 6064.78 MiB) 18:25:10 [18:25:10.611] INFO: bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6794.01 MiB) 18:25:13 [18:25:13.522] INFO: bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6794.01 MiB) 18:25:22 [18:25:22.069] INFO: bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6794.01 MiB) 18:25:24 [18:25:24.014] INFO: bb-prover RootParityArtifact BB out - computed opening proof (mem: 6794.01 MiB) 18:25:24 [18:25:24.029] INFO: bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6794.01 MiB) 18:25:24 [18:25:24.707] INFO: bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/edebf513/bb/tmp-d1lRrf/public_inputs" (mem: 6794.01 MiB) 18:25:24 [18:25:24.707] INFO: bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/edebf513/bb/tmp-d1lRrf/public_inputs_fields.json" (mem: 6794.01 MiB) 18:25:24 Proof saved to "/tmp/edebf513/bb/tmp-d1lRrf/proof" (mem: 6794.01 MiB) 18:25:24 [18:25:24.708] INFO: bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/edebf513/bb/tmp-d1lRrf/proof_fields.json" (mem: 6794.01 MiB) 18:25:24 VK saved to "/tmp/edebf513/bb/tmp-d1lRrf/vk" (mem: 6794.01 MiB) 18:25:24 [18:25:24.708] INFO: bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/edebf513/bb/tmp-d1lRrf/vk_fields.json" (mem: 6794.01 MiB) 18:25:24 [18:25:24.968] INFO: bb-prover Generated proof for RootParityArtifact in 40994 ms, size: 456 fields {"circuitName":"root-parity","circuitSize":4194304,"duration":40993.26255099999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19} 18:25:24 [18:25:24.976] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 18:25:24 [18:25:24.976] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/edebf513/bb/tmp-35jyaN/proof -k /tmp/edebf513/bb/tmp-35jyaN/vk -i /tmp/edebf513/bb/tmp-35jyaN/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 18:25:25 [18:25:25.001] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 18:25:25 [18:25:25.002] VERBOSE: bb-prover bb-prover (verify) BB out - 258.31 MiB) 18:25:25 Scheme is: ultra_honk, num threads: 128 (mem: 258.31 MiB) 18:25:25 --public_inputs_path: /tmp/edebf513/bb/tmp-35jyaN/public_inputs (mem: 258.31 MiB) 18:25:25 --proof_path: /tmp/edebf513/bb/tmp-35jyaN/proof (mem: 258.31 MiB) 18:25:25 --vk_path: /tmp/edebf513/bb/tmp-35jyaN/vk (mem: 258.31 MiB) 18:25:25 --verbose: true (mem: 258.31 MiB) 18:25:25 --scheme: ultra_honk (mem: 258.31 MiB) 18:25:25 --oracle_hash: poseidon2 (mem: 258.31 MiB) 18:25:25 --disable_zk: true (mem: 258.31 MiB) 18:25:25 [18:25:25.002] VERBOSE: bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 258.31 MiB) 18:25:25 [18:25:25.015] VERBOSE: bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 258.31 MiB) 18:25:25 Proof verification failed (mem: 258.31 MiB) 18:25:25 [18:25:25.016] VERBOSE: bb-prover bb-prover (verify) BB out - verified: 0 (mem: 258.31 MiB) 18:25:25 [18:25:25.017] ERROR: bb-prover Error running operation at /tmp/edebf513/bb/tmp-35jyaN: ProvingError: Failed to verify proof from key! 18:25:25 [18:25:25.191] INFO: bb-prover Generated witness {"circuitName":"root-parity","duration":70.76120799999626,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"} 18:25:25 [18:25:25.195] INFO: bb-prover RootParityArtifact BB out - BB concurrency: undefined 18:25:25 [18:25:25.195] 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/edebf513/bb/tmp-3wjjqn -b /tmp/edebf513/bb/tmp-3wjjqn/RootParityArtifact-bytecode -w /tmp/edebf513/bb/tmp-3wjjqn/partial-witness.gz -v --init_kzg_accumulator -v 18:25:25 [18:25:25.228] INFO: bb-prover RootParityArtifact BB out - bb command: prove (mem: 258.31 18:25:25 [18:25:25.230] INFO: bb-prover RootParityArtifact BB out - MiB) 18:25:25 Scheme is: ultra_honk, num threads: 128 (mem: 258.31 MiB) 18:25:25 --scheme: ultra_honk (mem: 258.31 MiB) 18:25:25 --bytecode_path: /tmp/edebf513/bb/tmp-3wjjqn/RootParityArtifact-bytecode (mem: 258.31 MiB) 18:25:25 --witness_path: /tmp/edebf513/bb/tmp-3wjjqn/partial-witness.gz (mem: 258.31 MiB) 18:25:25 --output_path: /tmp/edebf513/bb/tmp-3wjjqn (mem: 258.31 MiB) 18:25:25 Warning: the following option is called more than once (mem: 258.31 MiB) 18:25:25 --verbose: true (mem: 258.31 MiB) 18:25:25 --oracle_hash: poseidon2 (mem: 258.31 MiB) 18:25:25 --output_format: bytes_and_fields (mem: 258.31 MiB) 18:25:25 --write_vk: true (mem: 258.31 MiB) 18:25:25 --disable_zk: true (mem: 258.31 MiB) 18:25:25 --init_kzg_accumulator: true (mem: 258.31 MiB) 18:25:25 [18:25:25.478] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 258.31 MiB) 18:25:25 [18:25:25.492] INFO: bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 258.31 MiB) 18:25:27 [18:25:27.509] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 424.36 MiB) 18:25:29 [18:25:29.779] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 793.24 MiB) 18:25:31 [18:25:31.692] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1067.00 MiB) 18:25:34 [18:25:34.119] INFO: bb-prover RootParityArtifact BB out - created circuit (mem: 1438.51 MiB) 18:25:34 [18:25:34.120] INFO: bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1438.51 MiB) 18:25:35 [18:25:35.251] INFO: bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1852.27 MiB) 18:25:35 [18:25:35.583] INFO: bb-prover RootParityArtifact BB out - populating trace... (mem: 5483.84 MiB) 18:25:37 [18:25:37.428] INFO: bb-prover RootParityArtifact BB out - time to construct proving key: 3307 ms. (mem: 6062.84 MiB) 18:25:37 [18:25:37.600] INFO: bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6062.84 MiB) 18:25:37 [18:25:37.601] INFO: bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6062.84 MiB) 18:25:38 [18:25:38.430] INFO: bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6062.84 MiB) 18:25:42 [18:25:42.519] INFO: bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6062.84 MiB) 18:25:47 [18:25:47.504] INFO: bb-prover RootParityArtifact BB out - created oink proof (mem: 6062.84 MiB) 18:25:49 [18:25:49.202] INFO: bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6794.63 MiB) 18:25:51 [18:25:51.397] INFO: bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6794.63 MiB) 18:25:58 [18:25:58.012] INFO: bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6794.63 MiB) 18:25:59 [18:25:59.837] INFO: bb-prover RootParityArtifact BB out - computed opening proof (mem: 6794.63 MiB) 18:25:59 [18:25:59.851] INFO: bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6794.63 MiB) 18:26:00 [18:26:00.557] INFO: bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/edebf513/bb/tmp-3wjjqn/public_inputs" (mem: 6794.63 MiB) 18:26:00 [18:26:00.558] INFO: bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/edebf513/bb/tmp-3wjjqn/public_inputs_fields.json" (mem: 6794.63 MiB) 18:26:00 Proof saved to "/tmp/edebf513/bb/tmp-3wjjqn/proof" (mem: 6794.63 MiB) 18:26:00 Proof fields saved to "/tmp/edebf513/bb/tmp-3wjjqn/proof_fields.json" (mem: 6794.63 MiB) 18:26:00 VK saved to "/tmp/edebf513/bb/tmp-3wjjqn/vk" (mem: 6794.63 MiB) 18:26:00 [18:26:00.558] INFO: bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/edebf513/bb/tmp-3wjjqn/vk_fields.json" (mem: 6794.63 MiB) 18:26:00 [18:26:00.768] INFO: bb-prover Generated proof for RootParityArtifact in 35572 ms, size: 456 fields {"circuitName":"root-parity","circuitSize":4194304,"duration":35571.30464799999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19} 18:26:00 [18:26:00.772] VERBOSE: bb-prover bb-prover (verify) BB out - BB concurrency: undefined 18:26:00 [18:26:00.772] VERBOSE: bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/edebf513/bb/tmp-DblyVB/proof -k /tmp/edebf513/bb/tmp-DblyVB/vk -i /tmp/edebf513/bb/tmp-DblyVB/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v 18:26:00 [18:26:00.796] VERBOSE: bb-prover bb-prover (verify) BB out - bb command: verify (mem: 258.31 MiB) 18:26:00 [18:26:00.797] VERBOSE: bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 258.31 MiB) 18:26:00 --public_inputs_path: /tmp/edebf513/bb/tmp-DblyVB/public_inputs (mem: 258.31 MiB) 18:26:00 --proof_path: /tmp/edebf513/bb/tmp-DblyVB/proof (mem: 258.31 MiB) 18:26:00 --vk_path: /tmp/edebf513/bb/tmp-DblyVB/vk (mem: 258.31 MiB) 18:26:00 --verbose: true (mem: 258.31 MiB) 18:26:00 --scheme: ultra_honk (mem: 258.31 MiB) 18:26:00 --oracle_hash: poseidon2 (mem: 258.31 MiB) 18:26:00 --disable_zk: true (mem: 258.31 MiB) 18:26:00 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 258.31 MiB) 18:26:00 [18:26:00.806] VERBOSE: bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 258.31 MiB) 18:26:00 Proof verification failed (mem: 258.31 MiB) 18:26:00 verified: 0 (mem: 18:26:00 [18:26:00.806] VERBOSE: bb-prover bb-prover (verify) BB out - 258.31 MiB) 18:26:00 [18:26:00.807] ERROR: bb-prover Error running operation at /tmp/edebf513/bb/tmp-DblyVB: ProvingError: Failed to verify proof from key! 18:26:00 [18:26:00.811] VERBOSE: prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade 18:26:00 PASS src/test/bb_prover_parity.test.ts (136.912 s) 18:26:00 prover/bb_prover/parity 18:26:00 ✓ proves the parity circuits (127660 ms) 18:26:00 18:26:00 Test Suites: 1 passed, 1 total 18:26:00 Tests: 1 passed, 1 total 18:26:00 Snapshots: 0 total 18:26:00 Time: 137.012 s 18:26:00 Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts. 18:26:00 Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?