Parent Log:
http://ci.aztec-labs.com/7349f6e86eb3217f
Command: 270716767bef7882: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/aedcee89a2544b0e6baf93c4e71d88991f09111e
Env: REF_NAME=gh-readonly-queue/next/pr-15183-016def8adbfe93f34b41a41f439b146b5318c895 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 24 13:30:55 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15183_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
13:30:55 +++ id -u
13:30:55 +++ id -g
13:30:55 ++ 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'\'''
13:30:56 + cid=114b8e18c0825e0f783610e054cc9f001b90e3ef4995b68c433ca59a1b1c28f5
13:30:56 + set +x
13:30:57 {"level":25,"time":1750771857934,"pid":7,"hostname":"114b8e18c082","module":"logger","msg":"Logger initialized with level verbose"}
13:31:06 [13:31:06.010]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-N14QjG/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
13:31:06 [13:31:06.073]
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/be40b814/bb
13:31:06 [13:31:06.074]
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/be40b814/acvm
13:31:06 [13:31:06.079]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/be40b814/bb
13:31:06 [13:31:06.079]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/be40b814/acvm
13:31:06 [13:31:06.083]
INFO:
prover-client:proving-broker Proving Broker started
13:31:06 [13:31:06.086]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
13:31:06 [13:31:06.356]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":106.6630640000003,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:31:06 [13:31:06.370]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":83.97281699999985,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:31:06 [13:31:06.391]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":47.90216499999951,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:31:06 [13:31:06.393]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:31:06 [13:31:06.394]
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/be40b814/bb/tmp-ZAeadB -b /tmp/be40b814/bb/tmp-ZAeadB/BaseParityArtifact-bytecode -w /tmp/be40b814/bb/tmp-ZAeadB/partial-witness.gz -v --init_kzg_accumulator -v
13:31:06 [13:31:06.422]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:31:06 [13:31:06.423]
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/be40b814/bb/tmp-aZynRo -b /tmp/be40b814/bb/tmp-aZynRo/BaseParityArtifact-bytecode -w /tmp/be40b814/bb/tmp-aZynRo/partial-witness.gz -v --init_kzg_accumulator -v
13:31:06 [13:31:06.455]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.61 MiB)
13:31:06 Scheme is: ultra_honk, num threads: 128 (mem: 252.61 MiB)
13:31:06 --scheme: ultra_honk (mem: 252.61 MiB)
13:31:06 --bytecode_path: /tmp/be40b814/bb/tmp-ZAeadB/BaseParityArtifact-bytecode (mem: 252.61 MiB)
13:31:06 --witness_path: /tmp/be40b814/bb/tmp-ZAeadB/partial-witness.gz (mem: 252.61 MiB)
13:31:06 --output_path: /tmp/be40b814/bb/tmp-ZAeadB (mem: 252.61 MiB)
13:31:06 Warning: the following option is called more than once (mem: 252.61 MiB)
13:31:06 --verbose: true (mem: 252.61 MiB)
13:31:06 --oracle_hash: poseidon2 (mem: 252.61 MiB)
13:31:06 --output_format: bytes_and_fields (mem: 252.61 MiB)
13:31:06 --write_vk: true (mem: 252.61 MiB)
13:31:06 --disable_zk: true (mem: 252.61 MiB)
13:31:06 --init_kzg_accumulator: true (mem: 252.61 MiB)
13:31:06 [13:31:06.467]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":78.5558519999995,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:31:06 [13:31:06.468]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:31:06 [13:31:06.469]
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/be40b814/bb/tmp-VdRqDo -b /tmp/be40b814/bb/tmp-VdRqDo/BaseParityArtifact-bytecode -w /tmp/be40b814/bb/tmp-VdRqDo/partial-witness.gz -v --init_kzg_accumulator -v
13:31:06 [13:31:06.500]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.70 MiB)
13:31:06 Scheme is: ultra_honk, num threads: 128 (mem: 251.70 MiB)
13:31:06 --scheme: ultra_honk (mem: 251.70 MiB)
13:31:06 --bytecode_path: /tmp/be40b814/bb/tmp-aZynRo/BaseParityArtifact-bytecode (mem: 251.70 MiB)
13:31:06 --witness_path: /tmp/be40b814/bb/tmp-aZynRo/partial-witness.gz (mem: 251.70 MiB)
13:31:06 --output_path: /tmp/be40b814/bb/tmp-aZynRo (mem: 251.70 MiB)
13:31:06 Warning: the following option is called more than once (mem: 251.70 MiB)
13:31:06 --verbose: true (mem: 251.70 MiB)
13:31:06 --oracle_hash: poseidon2 (mem: 251.70 MiB)
13:31:06 --output_format: bytes_and_fields (mem: 251.70 MiB)
13:31:06 --write_vk: true (mem: 251.70 MiB)
13:31:06 --disable_zk: true (mem: 251.70 MiB)
13:31:06 --init_kzg_accumulator: true (mem: 251.70 MiB)
13:31:06 [13:31:06.503]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:31:06 [13:31:06.504]
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/be40b814/bb/tmp-5CUZze -b /tmp/be40b814/bb/tmp-5CUZze/BaseParityArtifact-bytecode -w /tmp/be40b814/bb/tmp-5CUZze/partial-witness.gz -v --init_kzg_accumulator -v
13:31:06 [13:31:06.530]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.64 MiB)
13:31:06 Scheme is: ultra_honk, num threads: 128 (mem: 252.64 MiB)
13:31:06 --scheme: ultra_honk (mem: 252.64 MiB)
13:31:06 --bytecode_path: /tmp/be40b814/bb/tmp-VdRqDo/BaseParityArtifact-bytecode (mem: 252.64 MiB)
13:31:06 --witness_path: /tmp/be40b814/bb/tmp-VdRqDo/partial-witness.gz (mem: 252.64 MiB)
13:31:06 --output_path: /tmp/be40b814/bb/tmp-VdRqDo (mem: 252.64 MiB)
13:31:06 Warning: the following option is called more than once (mem: 252.64 MiB)
13:31:06 --verbose: true (mem: 252.64 MiB)
13:31:06 --oracle_hash: poseidon2 (mem: 252.64 MiB)
13:31:06 --output_format: bytes_and_fields (mem: 252.64 MiB)
13:31:06 --write_vk: true (mem: 252.64 MiB)
13:31:06 --disable_zk: true (mem: 252.64 MiB)
13:31:06 --init_kzg_accumulator: true (mem: 252.64 MiB)
13:31:06 [13:31:06.542]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.18 MiB)
13:31:06 Scheme is: ultra_honk, num threads: 128 (mem: 252.18 MiB)
13:31:06 --scheme: ultra_honk (mem: 252.18 MiB)
13:31:06 --bytecode_path: /tmp/be40b814/bb/tmp-5CUZze/BaseParityArtifact-bytecode (mem: 252.18 MiB)
13:31:06 --witness_path: /tmp/be40b814/bb/tmp-5CUZze/partial-witness.gz (mem: 252.18 MiB)
13:31:06 --output_path: /tmp/be40b814/bb/tmp-5CUZze (mem: 252.18 MiB)
13:31:06 Warning: the following option is called more than once (mem: 252.18 MiB)
13:31:06 --verbose: true (mem:
13:31:06 [13:31:06.543]
INFO:
bb-prover BaseParityArtifact BB out - 252.18 MiB)
13:31:06 --oracle_hash: poseidon2 (mem: 252.18 MiB)
13:31:06 --output_format: bytes_and_fields (mem: 252.18 MiB)
13:31:06 --write_vk: true (mem: 252.18 MiB)
13:31:06 --disable_zk: true (mem: 252.18 MiB)
13:31:06 --init_kzg_accumulator: true (mem: 252.18 MiB)
13:31:06 [13:31:06.626]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.70 MiB)
13:31:06 Constructing DeciderProvingKey (mem: 251.70 MiB)
13:31:06 [13:31:06.627]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
13:31:06 [13:31:06.628]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
13:31:06 [13:31:06.629]
INFO:
bb-prover BaseParityArtifact BB out - 251.70
13:31:06 [13:31:06.629]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
13:31:06 [13:31:06.629]
INFO:
bb-prover BaseParityArtifact BB out -
13:31:06 [13:31:06.651]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
13:31:06 [13:31:06.654]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 252.64 MiB)
13:31:06 Constructing DeciderProvingKey (mem: 252.64 MiB)
13:31:06 [13:31:06.658]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
13:31:06 [13:31:06.658]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
13:31:06 [13:31:06.661]
INFO:
bb-prover BaseParityArtifact BB out - 252.64 MiB)
13:31:06 [13:31:06.668]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
13:31:06 [13:31:06.669]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 252.61 MiB)
13:31:06 [13:31:06.669]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 252.61 MiB)
13:31:06 [13:31:06.673]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.61 MiB)
13:31:06 [13:31:06.799]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.18 MiB)
13:31:06 Constructing DeciderProvingKey (mem: 252.18 MiB)
13:31:06 [13:31:06.806]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
13:31:06 [13:31:06.808]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 252.18 MiB)
13:31:06 [13:31:06.837]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem:
13:31:06 [13:31:06.837]
INFO:
bb-prover BaseParityArtifact BB out - 252.61 MiB)
13:31:06 [13:31:06.873]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.70 MiB)
13:31:06 [13:31:06.874]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.64 MiB)
13:31:06 [13:31:06.911]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 238 ms. (mem: 252.61 MiB)
13:31:06 [13:31:06.918]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.61 MiB)
13:31:06 [13:31:06.919]
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.61 MiB)
13:31:06 [13:31:06.930]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 252.61 MiB)
13:31:06 [13:31:06.946]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 293 ms. (mem: 252.64 MiB)
13:31:06 [13:31:06.991]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.64 MiB)
13:31:06 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.64 MiB)
13:31:06 Initialized BN254 CRS from memory with num points = 65537 (mem: 252.64 MiB)
13:31:07 [13:31:07.012]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 389 ms. (mem: 251.70 MiB)
13:31:07 [13:31:07.019]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.70 MiB)
13:31:07 [13:31:07.020]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.70 MiB)
13:31:07 [13:31:07.033]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 251.70 MiB)
13:31:07 [13:31:07.127]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.18 MiB)
13:31:07 [13:31:07.350]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 550 ms. (mem: 252.18 MiB)
13:31:07 [13:31:07.360]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance.
13:31:07 [13:31:07.360]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 252.18 MiB)
13:31:07 [13:31:07.361]
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.18 MiB)
13:31:07 [13:31:07.388]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem:
13:31:07 [13:31:07.397]
INFO:
bb-prover BaseParityArtifact BB out - 252.18 MiB)
13:31:07 [13:31:07.974]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.61 MiB)
13:31:08 [13:31:08.169]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.64 MiB)
13:31:08 [13:31:08.287]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.70 MiB)
13:31:08 [13:31:08.555]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.61 MiB)
13:31:08 [13:31:08.822]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.64 MiB)
13:31:08 [13:31:08.911]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.70 MiB)
13:31:08 [13:31:08.945]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.18 MiB)
13:31:08 [13:31:08.955]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds...
13:31:08 [13:31:08.961]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 252.61 MiB)
13:31:09 [13:31:09.081]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.64 MiB)
13:31:09 [13:31:09.221]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.70 MiB)
13:31:09 [13:31:09.324]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.61 MiB)
13:31:09 [13:31:09.407]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.64 MiB)
13:31:09 [13:31:09.463]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.18 MiB)
13:31:09 [13:31:09.463]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.70 MiB)
13:31:09 [13:31:09.707]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.18 MiB)
13:31:09 [13:31:09.919]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.18 MiB)
13:31:11 [13:31:11.071]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.61 MiB)
13:31:11 [13:31:11.185]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.70 MiB)
13:31:11 [13:31:11.190]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.61 MiB)
13:31:11 finished decider proving. (mem: 252.61 MiB)
13:31:11 Public inputs saved to "/tmp/be40b814/bb/tmp-ZAeadB/public_inputs" (mem: 252.61 MiB)
13:31:11 Public inputs fields saved to "/tmp/be40b814/bb/tmp-ZAeadB/public_inputs_fields.json" (mem: 252.61 MiB)
13:31:11 Proof saved to "/tmp/be40b814/bb/tmp-ZAeadB/proof" (mem: 252.61 MiB)
13:31:11 Proof fields saved to "/tmp/be40b814/bb/tmp-ZAeadB/proof_fields.json" (mem: 252.61 MiB)
13:31:11 VK saved to "/tmp/be40b814/bb/tmp-ZAeadB/vk" (mem: 252.61 MiB)
13:31:11 VK fields saved to "/tmp/be40b814/bb/tmp-ZAeadB/vk_fields.json" (mem: 252.61 MiB)
13:31:11 [13:31:11.286]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.70 MiB)
13:31:11 finished decider proving. (mem: 251.70 MiB)
13:31:11 [13:31:11.287]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/be40b814/bb/tmp-aZynRo/public_inputs" (mem: 251.70 MiB)
13:31:11 Public inputs fields saved to "/tmp/be40b814/bb/tmp-aZynRo/public_inputs_fields.json" (mem: 251.70 MiB)
13:31:11 Proof saved to "/tmp/be40b814/bb/tmp-aZynRo/proof" (mem: 251.70 MiB)
13:31:11 [13:31:11.288]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/be40b814/bb/tmp-aZynRo/proof_fields.json" (mem: 251.70 MiB)
13:31:11 VK saved to "/tmp/be40b814/bb/tmp-aZynRo/vk" (mem: 251.70 MiB)
13:31:11 VK fields saved to "/tmp/be40b814/bb/tmp-aZynRo/vk_fields.json" (mem: 251.70 MiB)
13:31:11 [13:31:11.312]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.64 MiB)
13:31:11 [13:31:11.334]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4938 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4937.321373000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:31:11 [13:31:11.341]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:31:11 [13:31:11.342]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/be40b814/bb/tmp-vc16XA/proof -k /tmp/be40b814/bb/tmp-vc16XA/vk -i /tmp/be40b814/bb/tmp-vc16XA/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:31:11 [13:31:11.422]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.13 MiB)
13:31:11 [13:31:11.427]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.13 MiB)
13:31:11 --public_inputs_path: /tmp/be40b814/bb/tmp-vc16XA/public_inputs (mem: 252.13 MiB)
13:31:11 --proof_path: /tmp/be40b814/bb/tmp-vc16XA/proof (mem: 252.13 MiB)
13:31:11 --vk_path: /tmp/be40b814/bb/tmp-vc16XA/vk (mem: 252.13 MiB)
13:31:11 --verbose: true (mem: 252.13 MiB)
13:31:11 --scheme: ultra_honk (mem: 252.13 MiB)
13:31:11 --oracle_hash: poseidon2 (mem: 252.13 MiB)
13:31:11 --disable_zk: true (mem: 252.13 MiB)
13:31:11 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.13 MiB)
13:31:11 [13:31:11.437]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5011 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5010.514501,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:31:11 [13:31:11.441]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.64 MiB)
13:31:11 finished decider proving. (mem: 252.64 MiB)
13:31:11 [13:31:11.442]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/be40b814/bb/tmp-VdRqDo/public_inputs" (mem: 252.64 MiB)
13:31:11 Public inputs fields saved to "/tmp/be40b814/bb/tmp-VdRqDo/public_inputs_fields.json" (mem: 252.64 MiB)
13:31:11 Proof saved to "/tmp/be40b814/bb/tmp-VdRqDo/proof" (mem: 252.64 MiB)
13:31:11 Proof fields saved to "/tmp/be40b814/bb/tmp-VdRqDo/proof_fields.json" (mem: 252.64 MiB)
13:31:11 VK saved to "/tmp/be40b814/bb/tmp-VdRqDo/vk" (mem: 252.64 MiB)
13:31:11 VK fields saved to "/tmp/be40b814/bb/tmp-VdRqDo/vk_fields.json" (mem: 252.64 MiB)
13:31:11 [13:31:11.444]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:31:11 [13:31:11.445]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/be40b814/bb/tmp-4OqCi5/proof -k /tmp/be40b814/bb/tmp-4OqCi5/vk -i /tmp/be40b814/bb/tmp-4OqCi5/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:31:11 [13:31:11.479]
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.13 MiB)
13:31:11 Initialized BN254 CRS from memory with num points = 1 (mem: 252.13 MiB)
13:31:11 sumcheck_verified: 1 (mem: 252.13 MiB)
13:31:11 libra_evals_verified: 1 (mem: 252.13 MiB)
13:31:11 pairing_check_verified: 1 (mem: 252.13 MiB)
13:31:11 Proof verified successfully (mem: 252.13 MiB)
13:31:11 verified: 1 (mem: 252.13 MiB)
13:31:11 [13:31:11.480]
INFO:
bb-prover Successfully verified proof from key in 139.5872959999997 ms
13:31:11 [13:31:11.484]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.67 MiB)
13:31:11 [13:31:11.485]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.67 MiB)
13:31:11 --public_inputs_path: /tmp/be40b814/bb/tmp-4OqCi5/public_inputs (mem: 252.67 MiB)
13:31:11 --proof_path: /tmp/be40b814/bb/tmp-4OqCi5/proof (mem: 252.67 MiB)
13:31:11 --vk_path: /tmp/be40b814/bb/tmp-4OqCi5/vk (mem: 252.67 MiB)
13:31:11 --verbose: true (mem: 252.67 MiB)
13:31:11 --scheme: ultra_honk (mem: 252.67 MiB)
13:31:11 --oracle_hash: poseidon2 (mem: 252.67 MiB)
13:31:11 --disable_zk: true (mem: 252.67 MiB)
13:31:11 [13:31:11.486]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.67 MiB)
13:31:11 [13:31:11.503]
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.67 MiB)
13:31:11 [13:31:11.504]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 252.67 MiB)
13:31:11 [13:31:11.510]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.67 MiB)
13:31:11 libra_evals_verified: 1 (mem: 252.67 MiB)
13:31:11 pairing_check_verified: 1 (mem: 252.67 MiB)
13:31:11 Proof verified successfully (mem: 252.67 MiB)
13:31:11 verified: 1 (mem: 252.67 MiB)
13:31:11 [13:31:11.515]
INFO:
bb-prover Successfully verified proof from key in 71.07241799999974 ms
13:31:11 [13:31:11.523]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5042 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5041.130892000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:31:11 [13:31:11.535]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:31:11 [13:31:11.536]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/be40b814/bb/tmp-dFZU67/proof -k /tmp/be40b814/bb/tmp-dFZU67/vk -i /tmp/be40b814/bb/tmp-dFZU67/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:31:11 [13:31:11.583]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.74 MiB)
13:31:11 Scheme is: ultra_honk, num threads: 128 (mem: 252.74 MiB)
13:31:11 --public_inputs_path: /tmp/be40b814/bb/tmp-dFZU67/public_inputs (mem: 252.74 MiB)
13:31:11 --proof_path: /tmp/be40b814/bb/tmp-dFZU67/proof (mem: 252.74 MiB)
13:31:11 --vk_path: /tmp/be40b814/bb/tmp-dFZU67/vk (mem: 252.74 MiB)
13:31:11 --verbose: true (mem: 252.74 MiB)
13:31:11 --scheme: ultra_honk (mem: 252.74 MiB)
13:31:11 --oracle_hash: poseidon2 (mem: 252.74 MiB)
13:31:11 --disable_zk: true (mem: 252.74 MiB)
13:31:11 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.74 MiB)
13:31:11 [13:31:11.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: 252.74 MiB)
13:31:11 Initialized BN254 CRS from memory with num points = 1 (mem: 252.74 MiB)
13:31:11 sumcheck_verified: 1 (mem: 252.74 MiB)
13:31:11 libra_evals_verified: 1 (mem: 252.74 MiB)
13:31:11 pairing_check_verified: 1 (mem: 252.74 MiB)
13:31:11 Proof verified successfully (mem: 252.74 MiB)
13:31:11 verified: 1 (mem: 252.74 MiB)
13:31:11 [13:31:11.604]
INFO:
bb-prover Successfully verified proof from key in 68.69066199999907 ms
13:31:11 [13:31:11.736]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.18 MiB)
13:31:11 [13:31:11.855]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.18 MiB)
13:31:11 finished decider proving. (mem: 252.18 MiB)
13:31:11 Public inputs saved to "/tmp/be40b814/bb/tmp-5CUZze/public_inputs" (mem: 252.18 MiB)
13:31:11 Public inputs fields saved to "/tmp/be40b814/bb/tmp-5CUZze/public_inputs_fields.json" (mem: 252.18 MiB)
13:31:11 Proof saved to "/tmp/be40b814/bb/tmp-5CUZze/proof" (mem: 252.18 MiB)
13:31:11 Proof fields saved to "/tmp/be40b814/bb/tmp-5CUZze/proof_fields.json" (mem: 252.18 MiB)
13:31:11 VK saved to "/tmp/be40b814/bb/tmp-5CUZze/vk" (mem:
13:31:11 [13:31:11.857]
INFO:
bb-prover BaseParityArtifact BB out - 252.18 MiB)
13:31:11 VK fields saved to "/tmp/be40b814/bb/tmp-5CUZze/vk_fields.json" (mem: 252.18 MiB)
13:31:11 [13:31:11.930]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5420 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5419.454883,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:31:11 [13:31:11.935]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:31:11 [13:31:11.936]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/be40b814/bb/tmp-77Mz6l/proof -k /tmp/be40b814/bb/tmp-77Mz6l/vk -i /tmp/be40b814/bb/tmp-77Mz6l/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:31:11 [13:31:11.966]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.86 MiB)
13:31:11 Scheme is: ultra_honk, num threads: 128 (mem: 252.86 MiB)
13:31:11 --public_inputs_path: /tmp/be40b814/bb/tmp-77Mz6l/public_inputs (mem: 252.86 MiB)
13:31:11 --proof_path: /tmp/be40b814/bb/tmp-77Mz6l/proof (mem: 252.86 MiB)
13:31:11 --vk_path: /tmp/be40b814/bb/tmp-77Mz6l/vk (mem: 252.86 MiB)
13:31:11 --verbose: true (mem: 252.86 MiB)
13:31:11 --scheme: ultra_honk (mem: 252.86 MiB)
13:31:11 --oracle_hash: poseidon2 (mem: 252.86 MiB)
13:31:11 --disable_zk: true (mem: 252.86 MiB)
13:31:11 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.86 MiB)
13:31:11 [13:31:11.981]
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.86 MiB)
13:31:11 [13:31:11.982]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 252.86 MiB)
13:31:11 [13:31:11.983]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.86 MiB)
13:31:11 libra_evals_verified: 1 (mem: 252.86 MiB)
13:31:11 pairing_check_verified: 1 (mem: 252.86 MiB)
13:31:11 Proof verified successfully (mem: 252.86 MiB)
13:31:11 verified: 1 (mem: 252.86 MiB)
13:31:11 [13:31:11.987]
INFO:
bb-prover Successfully verified proof from key in 51.22547599999962 ms
13:31:12 [13:31:12.029]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:31:12 [13:31:12.029]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/be40b814/bb/tmp-ToeaE7/proof -k /tmp/be40b814/bb/tmp-ToeaE7/vk -i /tmp/be40b814/bb/tmp-ToeaE7/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:31:12 [13:31:12.062]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:31:12 [13:31:12.062]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/be40b814/bb/tmp-bLtkM0/proof -k /tmp/be40b814/bb/tmp-bLtkM0/vk -i /tmp/be40b814/bb/tmp-bLtkM0/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:31:12 [13:31:12.108]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:31:12 [13:31:12.108]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/be40b814/bb/tmp-vd0ec6/proof -k /tmp/be40b814/bb/tmp-vd0ec6/vk -i /tmp/be40b814/bb/tmp-vd0ec6/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:31:12 [13:31:12.144]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:31:12 [13:31:12.145]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/be40b814/bb/tmp-G8tWlL/proof -k /tmp/be40b814/bb/tmp-G8tWlL/vk -i /tmp/be40b814/bb/tmp-G8tWlL/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:31:12 [13:31:12.176]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.89 MiB)
13:31:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.89 MiB)
13:31:12 --public_inputs_path: /tmp/be40b814/bb/tmp-ToeaE7/public_inputs (mem: 252.89 MiB)
13:31:12 --proof_path: /tmp/be40b814/bb/tmp-ToeaE7/proof (mem: 252.89 MiB)
13:31:12 --vk_path: /tmp/be40b814/bb/tmp-ToeaE7/vk (mem: 252.89 MiB)
13:31:12 --verbose: true (mem: 252.89 MiB)
13:31:12 --scheme: ultra_honk (mem: 252.89 MiB)
13:31:12 --oracle_hash: poseidon2 (mem: 252.89 MiB)
13:31:12 --disable_zk: true (mem: 252.89 MiB)
13:31:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.89 MiB)
13:31:12 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.89 MiB)
13:31:12 Initialized BN254 CRS from memory with num points = 1 (mem: 252.89 MiB)
13:31:12 sumcheck_verified: 1 (mem: 252.89 MiB)
13:31:12 libra_evals_verified: 1 (mem: 252.89 MiB)
13:31:12 pairing_check_verified: 1 (mem: 252.89 MiB)
13:31:12 Proof verified successfully (mem: 252.89 MiB)
13:31:12 verified: 1 (mem: 252.89 MiB)
13:31:12 [13:31:12.177]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.89 MiB)
13:31:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.89 MiB)
13:31:12 --public_inputs_path: /tmp/be40b814/bb/tmp-bLtkM0/public_inputs (mem: 252.89 MiB)
13:31:12 --proof_path: /tmp/be40b814/bb/tmp-bLtkM0/proof (mem: 252.89 MiB)
13:31:12 --vk_path: /tmp/be40b814/bb/tmp-bLtkM0/vk (mem: 252.89 MiB)
13:31:12 --verbose: true (mem: 252.89 MiB)
13:31:12 --scheme: ultra_honk (mem: 252.89 MiB)
13:31:12 --oracle_hash: poseidon2 (mem: 252.89 MiB)
13:31:12 --disable_zk: true (mem: 252.89 MiB)
13:31:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.89 MiB)
13:31:12 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.89 MiB)
13:31:12 Initialized BN254 CRS from memory with num points = 1 (mem: 252.89 MiB)
13:31:12 sumcheck_verified: 1 (mem: 252.89 MiB)
13:31:12 libra_evals_verified: 1 (mem: 252.89 MiB)
13:31:12 pairing_check_verified: 1 (mem: 252.89 MiB)
13:31:12 Proof verified successfully (mem: 252.89 MiB)
13:31:12 verified: 1 (mem: 252.89 MiB)
13:31:12 [13:31:12.178]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.89 MiB)
13:31:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.89 MiB)
13:31:12 --public_inputs_path: /tmp/be40b814/bb/tmp-vd0ec6/public_inputs (mem: 252.89 MiB)
13:31:12 --proof_path: /tmp/be40b814/bb/tmp-vd0ec6/proof (mem: 252.89 MiB)
13:31:12 --vk_path: /tmp/be40b814/bb/tmp-vd0ec6/vk (mem: 252.89 MiB)
13:31:12 --verbose: true (mem: 252.89 MiB)
13:31:12 --scheme: ultra_honk (mem: 252.89 MiB)
13:31:12 --oracle_hash: poseidon2 (mem: 252.89 MiB)
13:31:12 --disable_zk: true (mem: 252.89 MiB)
13:31:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.89 MiB)
13:31:12 [13:31:12.179]
INFO:
bb-prover Successfully verified proof from key in 116.80604099999982 ms
13:31:12 [13:31:12.179]
INFO:
bb-prover Successfully verified proof from key in 150.65348300000005 ms
13:31:12 [13:31:12.180]
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.89 MiB)
13:31:12 Initialized BN254 CRS from memory with num points = 1 (mem: 252.89 MiB)
13:31:12 [13:31:12.188]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.89 MiB)
13:31:12 libra_evals_verified: 1 (mem: 252.89 MiB)
13:31:12 pairing_check_verified: 1 (mem: 252.89 MiB)
13:31:12 Proof verified successfully (mem: 252.89 MiB)
13:31:12 verified: 1 (mem: 252.89 MiB)
13:31:12 [13:31:12.190]
INFO:
bb-prover Successfully verified proof from key in 82.38478399999985 ms
13:31:12 [13:31:12.201]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.47 MiB)
13:31:12 Scheme is: ultra_honk, num threads: 128 (mem: 251.47 MiB)
13:31:12 --public_inputs_path: /tmp/be40b814/bb/tmp-G8tWlL/public_inputs (mem: 251.47 MiB)
13:31:12 --proof_path: /tmp/be40b814/bb/tmp-G8tWlL/proof (mem: 251.47 MiB)
13:31:12 --vk_path: /tmp/be40b814/bb/tmp-G8tWlL/vk (mem: 251.47 MiB)
13:31:12 --verbose: true (mem: 251.47 MiB)
13:31:12 --scheme: ultra_honk (mem: 251.47 MiB)
13:31:12 --oracle_hash: poseidon2 (mem: 251.47 MiB)
13:31:12 --disable_zk: true (mem: 251.47 MiB)
13:31:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.47 MiB)
13:31:12 [13:31:12.234]
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.47 MiB)
13:31:12 Initialized BN254 CRS from memory with num points = 1 (mem: 251.47 MiB)
13:31:12 sumcheck_verified: 1 (mem: 251.47 MiB)
13:31:12 libra_evals_verified: 1 (mem: 251.47 MiB)
13:31:12 pairing_check_verified: 1 (mem: 251.47 MiB)
13:31:12 Proof verified successfully (mem: 251.47 MiB)
13:31:12 verified: 1 (mem: 251.47 MiB)
13:31:12 [13:31:12.236]
INFO:
bb-prover Successfully verified proof from key in 91.51931800000057 ms
13:31:12 [13:31:12.439]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":79.1645040000003,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
13:31:12 [13:31:12.443]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:31:12 [13:31:12.443]
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/be40b814/bb/tmp-FUqQq2 -b /tmp/be40b814/bb/tmp-FUqQq2/RootParityArtifact-bytecode -w /tmp/be40b814/bb/tmp-FUqQq2/partial-witness.gz -v --init_kzg_accumulator -v
13:31:12 [13:31:12.473]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.89 MiB)
13:31:12 [13:31:12.475]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.89 MiB)
13:31:12 --scheme: ultra_honk (mem: 252.89 MiB)
13:31:12 --bytecode_path: /tmp/be40b814/bb/tmp-FUqQq2/RootParityArtifact-bytecode (mem: 252.89 MiB)
13:31:12 --witness_path: /tmp/be40b814/bb/tmp-FUqQq2/partial-witness.gz (mem: 252.89 MiB)
13:31:12 --output_path: /tmp/be40b814/bb/tmp-FUqQq2 (mem: 252.89 MiB)
13:31:12 Warning: the following option is called more than once (mem: 252.89 MiB)
13:31:12 --verbose: true (mem: 252.89 MiB)
13:31:12 --oracle_hash: poseidon2 (mem: 252.89 MiB)
13:31:12 --output_format: bytes_and_fields (mem: 252.89 MiB)
13:31:12 --write_vk: true (mem: 252.89 MiB)
13:31:12 --disable_zk: true (mem: 252.89 MiB)
13:31:12 --init_kzg_accumulator: true (mem: 252.89 MiB)
13:31:12 [13:31:12.650]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.89 MiB)
13:31:14 [13:31:14.693]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 411.89 MiB)
13:31:17 [13:31:17.090]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 789.71 MiB)
13:31:19 [13:31:19.174]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1045.95 MiB)
13:31:21 [13:31:21.619]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1419.80 MiB)
13:31:21 Constructing DeciderProvingKey (mem: 1419.80 MiB)
13:31:23 [13:31:23.005]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1805.63 MiB)
13:31:23 [13:31:23.411]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5440.14 MiB)
13:31:25 [13:31:25.191]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3573 ms. (mem: 6028.14 MiB)
13:31:25 [13:31:25.332]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6028.14 MiB)
13:31:25 [13:31:25.334]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6028.14 MiB)
13:31:26 [13:31:26.085]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6028.14 MiB)
13:31:30 [13:31:30.663]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6028.14 MiB)
13:31:35 [13:31:35.840]
INFO:
bb-prover RootParityArtifact BB out - created oink proof
13:31:35 [13:31:35.841]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6028.14 MiB)
13:31:37 [13:31:37.894]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6719.26 MiB)
13:31:40 [13:31:40.528]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6719.26 MiB)
13:31:48 [13:31:48.655]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6719.26 MiB)
13:31:50 [13:31:50.434]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6719.26 MiB)
13:31:50 [13:31:50.471]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6719.26 MiB)
13:31:50 [13:31:50.970]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/be40b814/bb/tmp-FUqQq2/public_inputs" (mem: 6719.26 MiB)
13:31:50 Public inputs fields saved to "/tmp/be40b814/bb/tmp-FUqQq2/public_inputs_fields.json" (mem: 6719.26 MiB)
13:31:50 [13:31:50.971]
INFO:
bb-prover RootParityArtifact BB out - Proof saved to "/tmp/be40b814/bb/tmp-FUqQq2/proof" (mem: 6719.26 MiB)
13:31:50 Proof fields saved to "/tmp/be40b814/bb/tmp-FUqQq2/proof_fields.json" (mem: 6719.26 MiB)
13:31:50 VK saved to "/tmp/be40b814/bb/tmp-FUqQq2/vk" (mem: 6719.26 MiB)
13:31:50 VK fields saved to "/tmp/be40b814/bb/tmp-FUqQq2/vk_fields.json" (mem: 6719.26 MiB)
13:31:51 [13:31:51.156]
INFO:
bb-prover Generated proof for RootParityArtifact in 38707 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":38706.653468,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:31:51 [13:31:51.164]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:31:51 [13:31:51.165]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/be40b814/bb/tmp-iGfS8P/proof -k /tmp/be40b814/bb/tmp-iGfS8P/vk -i /tmp/be40b814/bb/tmp-iGfS8P/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:31:51 [13:31:51.194]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
13:31:51 [13:31:51.195]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
13:31:51 [13:31:51.195]
VERBOSE:
bb-prover bb-prover (verify) BB out - 252.89
13:31:51 [13:31:51.198]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
13:31:51 Scheme is: ultra_honk, num threads: 128 (mem: 252.89 MiB)
13:31:51 --public_inputs_path: /tmp/be40b814/bb/tmp-iGfS8P/public_inputs (mem: 252.89 MiB)
13:31:51 --proof_path: /tmp/be40b814/bb/tmp-iGfS8P/proof (mem: 252.89 MiB)
13:31:51 --vk_path: /tmp/be40b814/bb/tmp-iGfS8P/vk (mem: 252.89 MiB)
13:31:51 --verbose: true (mem: 252.89 MiB)
13:31:51 --scheme: ultra_honk (mem: 252.89 MiB)
13:31:51 --oracle_hash: poseidon2 (mem: 252.89 MiB)
13:31:51 --disable_zk: true (mem: 252.89 MiB)
13:31:51 [13:31:51.200]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 252.89 MiB)
13:31:51 [13:31:51.218]
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.89 MiB)
13:31:51 [13:31:51.219]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 252.89 MiB)
13:31:51 [13:31:51.223]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.89 MiB)
13:31:51 libra_evals_verified: 1 (mem: 252.89 MiB)
13:31:51 pairing_check_verified: 1 (mem: 252.89 MiB)
13:31:51 Proof verified successfully (mem: 252.89 MiB)
13:31:51 verified: 1 (mem: 252.89 MiB)
13:31:51 [13:31:51.223]
INFO:
bb-prover Successfully verified proof from key in 59.14535700000124 ms
13:31:51 [13:31:51.226]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:31:51 [13:31:51.227]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/be40b814/bb/tmp-IUl4Rk/proof -k /tmp/be40b814/bb/tmp-IUl4Rk/vk -i /tmp/be40b814/bb/tmp-IUl4Rk/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:31:51 [13:31:51.259]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.89 MiB)
13:31:51 [13:31:51.260]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.89 MiB)
13:31:51 --public_inputs_path: /tmp/be40b814/bb/tmp-IUl4Rk/public_inputs (mem: 252.89 MiB)
13:31:51 --proof_path: /tmp/be40b814/bb/tmp-IUl4Rk/proof (mem: 252.89 MiB)
13:31:51 --vk_path: /tmp/be40b814/bb/tmp-IUl4Rk/vk (mem: 252.89 MiB)
13:31:51 --verbose: true (mem: 252.89 MiB)
13:31:51 --scheme: ultra_honk (mem: 252.89 MiB)
13:31:51 --oracle_hash: poseidon2 (mem: 252.89 MiB)
13:31:51 --disable_zk: true (mem: 252.89 MiB)
13:31:51 [13:31:51.263]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 252.89 MiB)
13:31:51 [13:31:51.303]
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.89 MiB)
13:31:51 Initialized BN254 CRS from memory with num points = 1 (mem: 252.89 MiB)
13:31:51 sumcheck_verified: 1 (mem: 252.89 MiB)
13:31:51 libra_evals_verified: 1 (mem: 252.89 MiB)
13:31:51 pairing_check_verified: 1 (mem: 252.89 MiB)
13:31:51 Proof verified successfully (mem: 252.89 MiB)
13:31:51 verified: 1 (mem: 252.89 MiB)
13:31:51 [13:31:51.304]
INFO:
bb-prover Successfully verified proof from key in 77.71503700000176 ms
13:31:51 [13:31:51.395]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
13:31:51
13:31:51 [13:31:51.395]
ERROR:
bb-prover Error running operation at /tmp/be40b814/bb/tmp-qHKhe2: Error: Failed to generate witness: Failed assertion
13:31:51
13:31:51 [13:31:51.564]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":61.24840500000573,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
13:31:51 [13:31:51.566]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:31:51 [13:31:51.566]
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/be40b814/bb/tmp-Rp7408 -b /tmp/be40b814/bb/tmp-Rp7408/RootParityArtifact-bytecode -w /tmp/be40b814/bb/tmp-Rp7408/partial-witness.gz -v --init_kzg_accumulator -v
13:31:51 [13:31:51.592]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.89 MiB)
13:31:51 [13:31:51.593]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.89 MiB)
13:31:51 --scheme: ultra_honk (mem: 252.89 MiB)
13:31:51 --bytecode_path: /tmp/be40b814/bb/tmp-Rp7408/RootParityArtifact-bytecode (mem: 252.89 MiB)
13:31:51 --witness_path: /tmp/be40b814/bb/tmp-Rp7408/partial-witness.gz (mem: 252.89 MiB)
13:31:51 --output_path: /tmp/be40b814/bb/tmp-Rp7408 (mem: 252.89 MiB)
13:31:51 Warning: the following option is called more than once (mem: 252.89 MiB)
13:31:51 --verbose: true (mem: 252.89 MiB)
13:31:51 --oracle_hash: poseidon2 (mem: 252.89 MiB)
13:31:51 --output_format: bytes_and_fields (mem: 252.89 MiB)
13:31:51 --write_vk: true (mem: 252.89 MiB)
13:31:51 --disable_zk: true (mem: 252.89 MiB)
13:31:51 --init_kzg_accumulator: true (mem: 252.89 MiB)
13:31:51 [13:31:51.739]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.89 MiB)
13:31:51 [13:31:51.752]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 252.89 MiB)
13:31:53 [13:31:53.780]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 407.15 MiB)
13:31:56 [13:31:56.300]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 783.26 MiB)
13:31:58 [13:31:58.561]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1038.02 MiB)
13:32:01 [13:32:01.138]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1411.52 MiB)
13:32:01 [13:32:01.139]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1411.52 MiB)
13:32:02 [13:32:02.617]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1798.41 MiB)
13:32:03 [13:32:03.331]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5446.64 MiB)
13:32:05 [13:32:05.432]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4292 ms. (mem: 6033.64 MiB)
13:32:05 [13:32:05.592]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6033.64 MiB)
13:32:05 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6033.64 MiB)
13:32:06 [13:32:06.451]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6033.64 MiB)
13:32:10 [13:32:10.220]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6033.64 MiB)
13:32:14 [13:32:14.546]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6033.64 MiB)
13:32:16 [13:32:16.728]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6724.33 MiB)
13:32:18 [13:32:18.824]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6724.33 MiB)
13:32:25 [13:32:25.831]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6724.33 MiB)
13:32:27 [13:32:27.773]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6724.33 MiB)
13:32:27 [13:32:27.807]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6724.33 MiB)
13:32:28 [13:32:28.388]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/be40b814/bb/tmp-Rp7408/public_inputs" (mem: 6724.33 MiB)
13:32:28 [13:32:28.389]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/be40b814/bb/tmp-Rp7408/public_inputs_fields.json" (mem: 6724.33 MiB)
13:32:28 Proof saved to "/tmp/be40b814/bb/tmp-Rp7408/proof" (mem: 6724.33 MiB)
13:32:28 Proof fields saved to "/tmp/be40b814/bb/tmp-Rp7408/proof_fields.json" (mem: 6724.33 MiB)
13:32:28 VK saved to "/tmp/be40b814/bb/tmp-Rp7408/vk" (mem: 6724.33 MiB)
13:32:28 VK fields saved to "/tmp/be40b814/bb/tmp-Rp7408/vk_fields.json" (mem: 6724.33 MiB)
13:32:28 [13:32:28.572]
INFO:
bb-prover Generated proof for RootParityArtifact in 37005 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":37004.04905200001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:32:28 [13:32:28.575]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:28 [13:32:28.576]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/be40b814/bb/tmp-uQ1Pt4/proof -k /tmp/be40b814/bb/tmp-uQ1Pt4/vk -i /tmp/be40b814/bb/tmp-uQ1Pt4/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:28 [13:32:28.599]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.89 MiB)
13:32:28 [13:32:28.600]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.89 MiB)
13:32:28 --public_inputs_path: /tmp/be40b814/bb/tmp-uQ1Pt4/public_inputs (mem: 252.89 MiB)
13:32:28 --proof_path: /tmp/be40b814/bb/tmp-uQ1Pt4/proof (mem: 252.89 MiB)
13:32:28 --vk_path: /tmp/be40b814/bb/tmp-uQ1Pt4/vk (mem: 252.89 MiB)
13:32:28 --verbose: true (mem: 252.89 MiB)
13:32:28 --scheme: ultra_honk (mem: 252.89 MiB)
13:32:28 --oracle_hash: poseidon2 (mem: 252.89 MiB)
13:32:28 --disable_zk: true (mem: 252.89 MiB)
13:32:28 [13:32:28.601]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 252.89 MiB)
13:32:28 [13:32:28.613]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 252.89 MiB)
13:32:28 Proof verification failed (mem: 252.89 MiB)
13:32:28 verified: 0 (mem: 252.89 MiB)
13:32:28 [13:32:28.615]
ERROR:
bb-prover Error running operation at /tmp/be40b814/bb/tmp-uQ1Pt4: ProvingError: Failed to verify proof from key!
13:32:28 [13:32:28.741]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":52.31695700000273,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
13:32:28 [13:32:28.746]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:32:28 [13:32:28.746]
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/be40b814/bb/tmp-LskqAm -b /tmp/be40b814/bb/tmp-LskqAm/RootParityArtifact-bytecode -w /tmp/be40b814/bb/tmp-LskqAm/partial-witness.gz -v --init_kzg_accumulator -v
13:32:28 [13:32:28.786]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.89 MiB)
13:32:28 Scheme is: ultra_honk, num threads: 128 (mem: 252.89 MiB)
13:32:28 --scheme: ultra_honk (mem: 252.89 MiB)
13:32:28 --bytecode_path: /tmp/be40b814/bb/tmp-LskqAm/RootParityArtifact-bytecode (mem: 252.89 MiB)
13:32:28 --witness_path: /tmp/be40b814/bb/tmp-LskqAm/partial-witness.gz (mem: 252.89 MiB)
13:32:28 --output_path: /tmp/be40b814/bb/tmp-LskqAm (mem: 252.89 MiB)
13:32:28 Warning: the following option is called more than once (mem: 252.89 MiB)
13:32:28 --verbose: true (mem: 252.89 MiB)
13:32:28 --oracle_hash: poseidon2 (mem: 252.89 MiB)
13:32:28 --output_format: bytes_and_fields (mem: 252.89 MiB)
13:32:28 --write_vk: true (mem: 252.89 MiB)
13:32:28 --disable_zk: true (mem: 252.89 MiB)
13:32:28 --init_kzg_accumulator: true (mem: 252.89 MiB)
13:32:28 [13:32:28.954]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.89 MiB)
13:32:28 [13:32:28.966]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 252.89 MiB)
13:32:30 [13:32:30.864]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 416.06 MiB)
13:32:33 [13:32:33.540]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 794.58 MiB)
13:32:35 [13:32:35.540]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1052.58 MiB)
13:32:37 [13:32:37.709]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1428.87 MiB)
13:32:37 [13:32:37.710]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1428.87 MiB)
13:32:38 [13:32:38.991]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1814.49 MiB)
13:32:39 [13:32:39.537]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5441.36 MiB)
13:32:40 [13:32:40.824]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3114 ms. (mem: 6022.36 MiB)
13:32:40 [13:32:40.950]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6022.36 MiB)
13:32:40 [13:32:40.951]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6022.36 MiB)
13:32:41 [13:32:41.645]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6022.36 MiB)
13:32:44 [13:32:44.988]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6022.36 MiB)
13:32:49 [13:32:49.014]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6022.36 MiB)
13:32:50 [13:32:50.580]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6725.64 MiB)
13:32:52 [13:32:52.432]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6725.64 MiB)
13:32:58 [13:32:58.313]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6725.64 MiB)
13:33:00 [13:33:00.025]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6725.64 MiB)
13:33:00 [13:33:00.051]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6725.64 MiB)
13:33:00 [13:33:00.512]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/be40b814/bb/tmp-LskqAm/public_inputs" (mem: 6725.64 MiB)
13:33:00 Public inputs fields saved to "/tmp/be40b814/bb/tmp-LskqAm/public_inputs_fields.json" (mem: 6725.64 MiB)
13:33:00 Proof saved to "/tmp/be40b814/bb/tmp-LskqAm/proof" (mem: 6725.64 MiB)
13:33:00 [13:33:00.513]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/be40b814/bb/tmp-LskqAm/proof_fields.json" (mem: 6725.64 MiB)
13:33:00 VK saved to "/tmp/be40b814/bb/tmp-LskqAm/vk" (mem: 6725.64 MiB)
13:33:00 VK fields saved to "/tmp/be40b814/bb/tmp-LskqAm/vk_fields.json" (mem: 6725.64 MiB)
13:33:00 [13:33:00.695]
INFO:
bb-prover Generated proof for RootParityArtifact in 31946 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":31945.41484299999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:33:00 [13:33:00.702]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:33:00 [13:33:00.702]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/be40b814/bb/tmp-40uAQh/proof -k /tmp/be40b814/bb/tmp-40uAQh/vk -i /tmp/be40b814/bb/tmp-40uAQh/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:33:00 [13:33:00.726]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.89 MiB)
13:33:00 Scheme is: ultra_honk, num threads: 128 (mem: 252.89 MiB)
13:33:00 --public_inputs_path: /tmp/be40b814/bb/tmp-40uAQh/public_inputs (mem: 252.89 MiB)
13:33:00 --proof_path: /tmp/be40b814/bb/tmp-40uAQh/proof (mem: 252.89 MiB)
13:33:00 --vk_path: /tmp/be40b814/bb/tmp-40uAQh/vk (mem: 252.89 MiB)
13:33:00 --verbose: true (mem: 252.89 MiB)
13:33:00 --scheme: ultra_honk (mem: 252.89 MiB)
13:33:00 --oracle_hash: poseidon2 (mem: 252.89 MiB)
13:33:00 --disable_zk: true (mem: 252.89 MiB)
13:33:00 [13:33:00.726]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 252.89 MiB)
13:33:00 [13:33:00.738]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 252.89 MiB)
13:33:00 Proof verification failed (mem: 252.89 MiB)
13:33:00 verified: 0 (mem: 252.89 MiB)
13:33:00 [13:33:00.740]
ERROR:
bb-prover Error running operation at /tmp/be40b814/bb/tmp-40uAQh: ProvingError: Failed to verify proof from key!
13:33:00 [13:33:00.744]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
13:33:00
PASS src/test/bb_prover_parity.test.ts (
123.053 s)
13:33:00 prover/bb_prover/parity
13:33:00
✓ proves the parity circuits (114650 ms)
13:33:00
13:33:00
Test Suites: 1 passed, 1 total
13:33:00
Tests: 1 passed, 1 total
13:33:00
Snapshots: 0 total
13:33:00
Time: 123.145 s
13:33:00
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
13:33:00
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?