Parent Log:
http://ci.aztec-labs.com/01fb201849bfc4e9
Command: de45f87db227bac7: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/df0c3e8efd6211cf15eedf67d2a591cc54099ac8
Env: REF_NAME=gh-readonly-queue/next/pr-14847-d71b7a63300e898a3d40f7da703f7cde545afb41 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 18 18:04:41 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14847_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
18:04:41 +++ id -u
18:04:41 +++ id -g
18:04: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:04:42 + cid=67a07ef384519daa133a9c895208be9d38029fe4f86cb21356969a324f4e3023
18:04:42 + set +x
18:04:43 {"level":25,"time":1750269883761,"pid":7,"hostname":"67a07ef38451","module":"logger","msg":"Logger initialized with level verbose"}
18:04:52 [18:04:52.759]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-8f3xbl/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
18:04:52 [18:04:52.821]
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/5d65b95a/bb
18:04:52 [18:04:52.829]
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/5d65b95a/acvm
18:04:52 [18:04:52.832]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/5d65b95a/bb
18:04:52 [18:04:52.833]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/5d65b95a/acvm
18:04:52 [18:04:52.840]
INFO:
prover-client:proving-broker Proving Broker started
18:04:52 [18:04:52.843]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
18:04:53 [18:04:53.061]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":60.98561999999947,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
18:04:53 [18:04:53.082]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":98.45103899999958,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
18:04:53 [18:04:53.112]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":43.96657999999843,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
18:04:53 [18:04:53.114]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
18:04:53 [18:04:53.115]
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/5d65b95a/bb/tmp-FgtoGO -b /tmp/5d65b95a/bb/tmp-FgtoGO/BaseParityArtifact-bytecode -w /tmp/5d65b95a/bb/tmp-FgtoGO/partial-witness.gz -v --init_kzg_accumulator -v
18:04:53 [18:04:53.139]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
18:04:53 [18:04:53.141]
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/5d65b95a/bb/tmp-uh4d6e -b /tmp/5d65b95a/bb/tmp-uh4d6e/BaseParityArtifact-bytecode -w /tmp/5d65b95a/bb/tmp-uh4d6e/partial-witness.gz -v --init_kzg_accumulator -v
18:04:53 [18:04:53.167]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 254.07 MiB)
18:04:53 Scheme is: ultra_honk, num threads: 128 (mem: 254.07 MiB)
18:04:53 --scheme: ultra_honk (mem: 254.07 MiB)
18:04:53 --bytecode_path: /tmp/5d65b95a/bb/tmp-FgtoGO/BaseParityArtifact-bytecode (mem: 254.07 MiB)
18:04:53 --witness_path: /tmp/5d65b95a/bb/tmp-FgtoGO/partial-witness.gz (mem: 254.07 MiB)
18:04:53 --output_path: /tmp/5d65b95a/bb/tmp-FgtoGO (mem: 254.07 MiB)
18:04:53 Warning: the following option is called more than once (mem: 254.07 MiB)
18:04:53 --verbose: true (mem: 254.07 MiB)
18:04:53 --oracle_hash: poseidon2 (mem: 254.07 MiB)
18:04:53 --output_format: bytes_and_fields (mem: 254.07 MiB)
18:04:53 --write_vk: true (mem: 254.07 MiB)
18:04:53 --disable_zk: true (mem: 254.07 MiB)
18:04:53 --init_kzg_accumulator: true (mem: 254.07 MiB)
18:04:53 [18:04:53.171]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
18:04:53 [18:04:53.172]
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/5d65b95a/bb/tmp-ewjfxD -b /tmp/5d65b95a/bb/tmp-ewjfxD/BaseParityArtifact-bytecode -w /tmp/5d65b95a/bb/tmp-ewjfxD/partial-witness.gz -v --init_kzg_accumulator -v
18:04:53 [18:04:53.208]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":100.91432900000109,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
18:04:53 [18:04:53.210]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 254.07 MiB)
18:04:53 Scheme is: ultra_honk, num threads: 128 (mem: 254.07 MiB)
18:04:53 --scheme: ultra_honk (mem: 254.07 MiB)
18:04:53 --bytecode_path: /tmp/5d65b95a/bb/tmp-uh4d6e/BaseParityArtifact-bytecode (mem: 254.07 MiB)
18:04:53 --witness_path: /tmp/5d65b95a/bb/tmp-uh4d6e/partial-witness.gz (mem: 254.07 MiB)
18:04:53 --output_path: /tmp/5d65b95a/bb/tmp-uh4d6e (mem: 254.07 MiB)
18:04:53 Warning: the following option is called more than once (mem: 254.07 MiB)
18:04:53 --verbose: true (mem: 254.07 MiB)
18:04:53 --oracle_hash: poseidon2 (mem: 254.07 MiB)
18:04:53 --output_format: bytes_and_fields (mem: 254.07 MiB)
18:04:53 --write_vk: true (mem: 254.07 MiB)
18:04:53 --disable_zk: true (mem: 254.07 MiB)
18:04:53 --init_kzg_accumulator: true (mem: 254.07 MiB)
18:04:53 [18:04:53.213]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 254.08 MiB)
18:04:53 Scheme is: ultra_honk, num threads: 128 (mem: 254.08 MiB)
18:04:53 --scheme: ultra_honk (mem: 254.08 MiB)
18:04:53 --bytecode_path: /tmp/5d65b95a/bb/tmp-ewjfxD/BaseParityArtifact-bytecode (mem: 254.08 MiB)
18:04:53 --witness_path: /tmp/5d65b95a/bb/tmp-ewjfxD/partial-witness.gz (mem: 254.08 MiB)
18:04:53 --output_path: /tmp/5d65b95a/bb/tmp-ewjfxD (mem: 254.08 MiB)
18:04:53 Warning: the following option is called more than once (mem: 254.08 MiB)
18:04:53 --verbose: true (mem: 254.08 MiB)
18:04:53 --oracle_hash: poseidon2 (mem: 254.08 MiB)
18:04:53 --output_format: bytes_and_fields (mem: 254.08 MiB)
18:04:53 --write_vk: true (mem: 254.08 MiB)
18:04:53 --disable_zk: true (mem: 254.08 MiB)
18:04:53 --init_kzg_accumulator: true (mem: 254.08 MiB)
18:04:53 [18:04:53.216]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
18:04:53 [18:04:53.220]
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/5d65b95a/bb/tmp-omgJvx -b /tmp/5d65b95a/bb/tmp-omgJvx/BaseParityArtifact-bytecode -w /tmp/5d65b95a/bb/tmp-omgJvx/partial-witness.gz -v --init_kzg_accumulator -v
18:04:53 [18:04:53.262]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.74 MiB)
18:04:53 Scheme is: ultra_honk, num threads: 128 (mem: 253.74 MiB)
18:04:53 --scheme: ultra_honk (mem: 253.74 MiB)
18:04:53 --bytecode_path: /tmp/5d65b95a/bb/tmp-omgJvx/BaseParityArtifact-bytecode (mem: 253.74 MiB)
18:04:53 --witness_path: /tmp/5d65b95a/bb/tmp-omgJvx/partial-witness.gz (mem: 253.74 MiB)
18:04:53 --output_path: /tmp/5d65b95a/bb/tmp-omgJvx (mem: 253.74 MiB)
18:04:53 Warning: the following option is called more than once (mem: 253.74 MiB)
18:04:53 --verbose: true (mem: 253.74 MiB)
18:04:53 --oracle_hash: poseidon2 (mem: 253.74 MiB)
18:04:53 --output_format: bytes_and_fields (mem: 253.74 MiB)
18:04:53 --write_vk: true (mem: 253.74 MiB)
18:04:53 --disable_zk: true (mem: 253.74 MiB)
18:04:53 --init_kzg_accumulator: true (mem: 253.74 MiB)
18:04:53 [18:04:53.331]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 254.07 MiB)
18:04:53 Constructing DeciderProvingKey (mem: 254.07 MiB)
18:04:53 [18:04:53.334]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
18:04:53 [18:04:53.335]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 254.07 MiB)
18:04:53 [18:04:53.389]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 254.07 MiB)
18:04:53 Constructing DeciderProvingKey (mem: 254.07 MiB)
18:04:53 [18:04:53.390]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 254.07 MiB)
18:04:53 [18:04:53.430]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 254.08 MiB)
18:04:53 [18:04:53.431]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 254.08 MiB)
18:04:53 [18:04:53.435]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 254.08 MiB)
18:04:53 [18:04:53.461]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.74 MiB)
18:04:53 Constructing DeciderProvingKey (mem: 253.74 MiB)
18:04:53 [18:04:53.472]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.74 MiB)
18:04:53 [18:04:53.533]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 254.07 MiB)
18:04:53 [18:04:53.645]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 254.07 MiB)
18:04:53 [18:04:53.652]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 321 ms. (mem: 254.07 MiB)
18:04:53 [18:04:53.661]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 254.07 MiB)
18:04:53 [18:04:53.672]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.07 MiB)
18:04:53 [18:04:53.716]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 254.08 MiB)
18:04:53 [18:04:53.719]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 254.07 MiB)
18:04:53 [18:04:53.735]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.74 MiB)
18:04:53 [18:04:53.791]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 414 ms. (mem: 254.07 MiB)
18:04:53 [18:04:53.815]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 254.07 MiB)
18:04:53 [18:04:53.816]
INFO:
bb-prover BaseParityArtifact BB out -
18:04:53 [18:04:53.821]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.07 MiB)
18:04:53 [18:04:53.837]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 406 ms. (mem: 254.08 MiB)
18:04:53 [18:04:53.840]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 382 ms. (mem: 253.74 MiB)
18:04:53 [18:04:53.858]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.74 MiB)
18:04:53 [18:04:53.868]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 254.08 MiB)
18:04:53 [18:04:53.874]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.74 MiB)
18:04:53 [18:04:53.876]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 254.07 MiB)
18:04:53 [18:04:53.886]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.08 MiB)
18:04:53 [18:04:53.917]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 254.08 MiB)
18:04:53 [18:04:53.964]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 253.74 MiB)
18:04:54 [18:04:54.835]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.07 MiB)
18:04:54 [18:04:54.850]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.08 MiB)
18:04:54 [18:04:54.871]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.07 MiB)
18:04:54 [18:04:54.979]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.74 MiB)
18:04:55 [18:04:55.414]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 254.07 MiB)
18:04:55 [18:04:55.478]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 254.08 MiB)
18:04:55 [18:04:55.521]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 254.07 MiB)
18:04:55 [18:04:55.533]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.74 MiB)
18:04:55 [18:04:55.695]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 261.82 MiB)
18:04:55 [18:04:55.726]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 264.32 MiB)
18:04:55 [18:04:55.729]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 254.07 MiB)
18:04:55 [18:04:55.732]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 262.43 MiB)
18:04:55 [18:04:55.860]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 254.07 MiB)
18:04:55 [18:04:55.861]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 261.82 MiB)
18:04:55 [18:04:55.869]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 264.32 MiB)
18:04:55 [18:04:55.898]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 262.43 MiB)
18:04:57 [18:04:57.059]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 261.82 MiB)
18:04:57 [18:04:57.103]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 261.82 MiB)
18:04:57 finished decider proving. (mem: 261.82 MiB)
18:04:57 Public inputs saved to "/tmp/5d65b95a/bb/tmp-ewjfxD/public_inputs" (mem: 261.82 MiB)
18:04:57 Public inputs fields saved to "/tmp/5d65b95a/bb/tmp-ewjfxD/public_inputs_fields.json" (mem: 261.82 MiB)
18:04:57 Proof saved to "/tmp/5d65b95a/bb/tmp-ewjfxD/proof" (mem: 261.82 MiB)
18:04:57 Proof fields saved to "/tmp/5d65b95a/bb/tmp-ewjfxD/proof_fields.json" (mem: 261.82 MiB)
18:04:57 VK saved to "/tmp/5d65b95a/bb/tmp-ewjfxD/vk" (mem: 261.82 MiB)
18:04:57 VK fields saved to "/tmp/5d65b95a/bb/tmp-ewjfxD/vk_fields.json" (mem: 261.82 MiB)
18:04:57 [18:04:57.104]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 254.07 MiB)
18:04:57 [18:04:57.144]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 254.07 MiB)
18:04:57 [18:04:57.146]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 254.07 MiB)
18:04:57 [18:04:57.150]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/5d65b95a/bb/tmp-FgtoGO/public_inputs" (mem: 254.07 MiB)
18:04:57 Public inputs fields saved to "/tmp/5d65b95a/bb/tmp-FgtoGO/public_inputs_fields.json" (mem: 254.07 MiB)
18:04:57 [18:04:57.151]
INFO:
bb-prover BaseParityArtifact BB out - Proof saved to "/tmp/5d65b95a/bb/tmp-FgtoGO/proof" (mem: 254.07 MiB)
18:04:57 [18:04:57.154]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/5d65b95a/bb/tmp-FgtoGO/proof_fields.json" (mem: 254.07 MiB)
18:04:57 VK saved to "/tmp/5d65b95a/bb/tmp-FgtoGO/vk" (mem: 254.07 MiB)
18:04:57 VK fields saved to "/tmp/5d65b95a/bb/tmp-FgtoGO/vk_fields.json" (mem: 254.07 MiB)
18:04:57 [18:04:57.155]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 262.43 MiB)
18:04:57 [18:04:57.160]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3982 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3981.122834,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
18:04:57 [18:04:57.161]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 264.32 MiB)
18:04:57 [18:04:57.166]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:04:57 [18:04:57.166]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/5d65b95a/bb/tmp-zU3ild/proof -k /tmp/5d65b95a/bb/tmp-zU3ild/vk -i /tmp/5d65b95a/bb/tmp-zU3ild/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:04:57 [18:04:57.203]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 262.43 MiB)
18:04:57 finished decider proving. (mem: 262.43 MiB)
18:04:57 [18:04:57.203]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.87 MiB)
18:04:57 Scheme is: ultra_honk, num threads: 128 (mem: 253.87 MiB)
18:04:57 --public_inputs_path: /tmp/5d65b95a/bb/tmp-zU3ild/public_inputs (mem: 253.87 MiB)
18:04:57 --proof_path: /tmp/5d65b95a/bb/tmp-zU3ild/proof (mem: 253.87 MiB)
18:04:57 --vk_path: /tmp/5d65b95a/bb/tmp-zU3ild/vk (mem: 253.87 MiB)
18:04:57 --verbose: true (mem: 253.87 MiB)
18:04:57 --scheme: ultra_honk (mem: 253.87 MiB)
18:04:57 --oracle_hash: poseidon2 (mem: 253.87 MiB)
18:04:57 --disable_zk: true (mem: 253.87 MiB)
18:04:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.87 MiB)
18:04:57 [18:04:57.205]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/5d65b95a/bb/tmp-omgJvx/public_inputs" (mem: 262.43 MiB)
18:04:57 Public inputs fields saved to "/tmp/5d65b95a/bb/tmp-omgJvx/public_inputs_fields.json" (mem:
18:04:57 [18:04:57.206]
INFO:
bb-prover BaseParityArtifact BB out - 262.43 MiB)
18:04:57 Proof saved to "/tmp/5d65b95a/bb/tmp-omgJvx/proof" (mem: 262.43 MiB)
18:04:57 Proof fields saved to "/tmp/5d65b95a/bb/tmp-omgJvx/proof_fields.json" (mem: 262.43 MiB)
18:04:57 VK saved to "/tmp/5d65b95a/bb/tmp-omgJvx/vk" (mem:
18:04:57 [18:04:57.206]
INFO:
bb-prover BaseParityArtifact BB out - 262.43 MiB)
18:04:57 VK fields saved to "/tmp/5d65b95a/bb/tmp-omgJvx/vk_fields.json" (mem: 262.43 MiB)
18:04:57 [18:04:57.212]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 264.32 MiB)
18:04:57 [18:04:57.214]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 264.32 MiB)
18:04:57 [18:04:57.219]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.87 MiB)
18:04:57 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.87 MiB)
18:04:57 [18:04:57.220]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/5d65b95a/bb/tmp-uh4d6e/public_inputs" (mem: 264.32 MiB)
18:04:57 Public inputs fields saved to "/tmp/5d65b95a/bb/tmp-uh4d6e/public_inputs_fields.json" (mem: 264.32 MiB)
18:04:57 Proof saved to "/tmp/5d65b95a/bb/tmp-uh4d6e/proof" (mem: 264.32 MiB)
18:04:57 [18:04:57.222]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.87 MiB)
18:04:57 libra_evals_verified: 1 (mem: 253.87 MiB)
18:04:57 pairing_check_verified: 1 (mem: 253.87 MiB)
18:04:57 Proof verified successfully (mem: 253.87 MiB)
18:04:57 verified: 1 (mem: 253.87 MiB)
18:04:57 [18:04:57.222]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/5d65b95a/bb/tmp-uh4d6e/proof_fields.json" (mem: 264.32 MiB)
18:04:57 VK saved to "/tmp/5d65b95a/bb/tmp-uh4d6e/vk" (mem: 264.32 MiB)
18:04:57 VK fields saved to "/tmp/5d65b95a/bb/tmp-uh4d6e/vk_fields.json" (mem: 264.32 MiB)
18:04:57 [18:04:57.223]
INFO:
bb-prover Successfully verified proof from key in 57.275760000000446 ms
18:04:57 [18:04:57.235]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4115 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4114.73115,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
18:04:57 [18:04:57.254]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:04:57 [18:04:57.256]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/5d65b95a/bb/tmp-0STlJO/proof -k /tmp/5d65b95a/bb/tmp-0STlJO/vk -i /tmp/5d65b95a/bb/tmp-0STlJO/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:04:57 [18:04:57.292]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.34 MiB)
18:04:57 Scheme is: ultra_honk, num threads: 128 (mem: 253.34 MiB)
18:04:57 --public_inputs_path: /tmp/5d65b95a/bb/tmp-0STlJO/public_inputs (mem: 253.34 MiB)
18:04:57 --proof_path: /tmp/5d65b95a/bb/tmp-0STlJO/proof (mem: 253.34 MiB)
18:04:57 --vk_path: /tmp/5d65b95a/bb/tmp-0STlJO/vk (mem: 253.34 MiB)
18:04:57 --verbose: true (mem: 253.34 MiB)
18:04:57 --scheme: ultra_honk (mem: 253.34 MiB)
18:04:57 --oracle_hash: poseidon2 (mem: 253.34 MiB)
18:04:57 --disable_zk: true (mem: 253.34 MiB)
18:04:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.34 MiB)
18:04:57 [18:04:57.295]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4074 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4073.0989850000005,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
18:04:57 [18:04:57.297]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4151 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4150.281267999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
18:04:57 [18:04:57.307]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.34 MiB)
18:04:57 [18:04:57.308]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.34 MiB)
18:04:57 [18:04:57.309]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.34 MiB)
18:04:57 libra_evals_verified: 1 (mem: 253.34 MiB)
18:04:57 pairing_check_verified: 1 (mem: 253.34 MiB)
18:04:57 Proof verified successfully (mem: 253.34 MiB)
18:04:57 verified: 1 (mem: 253.34 MiB)
18:04:57 [18:04:57.311]
INFO:
bb-prover Successfully verified proof from key in 56.67619000000013 ms
18:04:57 [18:04:57.317]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:04:57 [18:04:57.318]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/5d65b95a/bb/tmp-GD7SSg/proof -k /tmp/5d65b95a/bb/tmp-GD7SSg/vk -i /tmp/5d65b95a/bb/tmp-GD7SSg/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:04:57 [18:04:57.346]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:04:57 [18:04:57.346]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/5d65b95a/bb/tmp-9Xg9jq/proof -k /tmp/5d65b95a/bb/tmp-9Xg9jq/vk -i /tmp/5d65b95a/bb/tmp-9Xg9jq/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:04:57 [18:04:57.369]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.54 MiB)
18:04:57 Scheme is: ultra_honk, num threads: 128 (mem: 253.54 MiB)
18:04:57 --public_inputs_path: /tmp/5d65b95a/bb/tmp-GD7SSg/public_inputs (mem: 253.54 MiB)
18:04:57 --proof_path: /tmp/5d65b95a/bb/tmp-GD7SSg/proof (mem: 253.54 MiB)
18:04:57 --vk_path: /tmp/5d65b95a/bb/tmp-GD7SSg/vk (mem: 253.54 MiB)
18:04:57 --verbose: true (mem: 253.54 MiB)
18:04:57 --scheme: ultra_honk (mem: 253.54 MiB)
18:04:57 --oracle_hash: poseidon2 (mem: 253.54 MiB)
18:04:57 --disable_zk: true (mem: 253.54 MiB)
18:04:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.54 MiB)
18:04:57 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.54 MiB)
18:04:57 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.54 MiB)
18:04:57 sumcheck_verified: 1 (mem: 253.54 MiB)
18:04:57 libra_evals_verified: 1 (mem: 253.54 MiB)
18:04:57 pairing_check_verified: 1 (mem: 253.54 MiB)
18:04:57 Proof verified successfully (mem: 253.54 MiB)
18:04:57 verified: 1 (mem: 253.54 MiB)
18:04:57 [18:04:57.370]
INFO:
bb-prover Successfully verified proof from key in 57.200128000000404 ms
18:04:57 [18:04:57.372]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
18:04:57 [18:04:57.372]
VERBOSE:
bb-prover bb-prover (verify) BB out - 254.31 MiB)
18:04:57 Scheme is: ultra_honk, num threads: 128 (mem: 254.31 MiB)
18:04:57 --public_inputs_path: /tmp/5d65b95a/bb/tmp-9Xg9jq/public_inputs (mem: 254.31 MiB)
18:04:57 --proof_path: /tmp/5d65b95a/bb/tmp-9Xg9jq/proof (mem: 254.31 MiB)
18:04:57 --vk_path: /tmp/5d65b95a/bb/tmp-9Xg9jq/vk (mem: 254.31 MiB)
18:04:57 --verbose: true (mem: 254.31 MiB)
18:04:57 --scheme: ultra_honk (mem: 254.31 MiB)
18:04:57 --oracle_hash: poseidon2 (mem: 254.31 MiB)
18:04:57 --disable_zk: true (mem: 254.31 MiB)
18:04:57 [18:04:57.373]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.31 MiB)
18:04:57 [18:04:57.393]
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: 254.31 MiB)
18:04:57 Initialized BN254 CRS from memory with num points = 1025 (mem: 254.31 MiB)
18:04:57 sumcheck_verified: 1 (mem: 254.31 MiB)
18:04:57 libra_evals_verified: 1 (mem: 254.31 MiB)
18:04:57 pairing_check_verified: 1 (mem: 254.31 MiB)
18:04:57 Proof verified successfully (mem: 254.31 MiB)
18:04:57 verified: 1 (mem: 254.31 MiB)
18:04:57 [18:04:57.394]
INFO:
bb-prover Successfully verified proof from key in 48.893739000001005 ms
18:04:57 [18:04:57.404]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:04:57 [18:04:57.404]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/5d65b95a/bb/tmp-qxDeyF/proof -k /tmp/5d65b95a/bb/tmp-qxDeyF/vk -i /tmp/5d65b95a/bb/tmp-qxDeyF/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:04:57 [18:04:57.429]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:04:57 [18:04:57.429]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/5d65b95a/bb/tmp-YtO3DT/proof -k /tmp/5d65b95a/bb/tmp-YtO3DT/vk -i /tmp/5d65b95a/bb/tmp-YtO3DT/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:04:57 [18:04:57.449]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:04:57 [18:04:57.450]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/5d65b95a/bb/tmp-6r0qlw/proof -k /tmp/5d65b95a/bb/tmp-6r0qlw/vk -i /tmp/5d65b95a/bb/tmp-6r0qlw/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:04:57 [18:04:57.469]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:04:57 [18:04:57.470]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/5d65b95a/bb/tmp-RaPvBR/proof -k /tmp/5d65b95a/bb/tmp-RaPvBR/vk -i /tmp/5d65b95a/bb/tmp-RaPvBR/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:04:57 [18:04:57.493]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.35 MiB)
18:04:57 Scheme is: ultra_honk, num threads: 128 (mem: 254.35 MiB)
18:04:57 --public_inputs_path: /tmp/5d65b95a/bb/tmp-qxDeyF/public_inputs (mem: 254.35 MiB)
18:04:57 --proof_path: /tmp/5d65b95a/bb/tmp-qxDeyF/proof (mem: 254.35 MiB)
18:04:57 --vk_path: /tmp/5d65b95a/bb/tmp-qxDeyF/vk (mem: 254.35 MiB)
18:04:57 --verbose: true (mem: 254.35 MiB)
18:04:57 --scheme: ultra_honk (mem: 254.35 MiB)
18:04:57 --oracle_hash: poseidon2 (mem: 254.35 MiB)
18:04:57 --disable_zk: true (mem: 254.35 MiB)
18:04:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.35 MiB)
18:04:57 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.35 MiB)
18:04:57 Initialized BN254 CRS from memory with num points = 1025 (mem: 254.35 MiB)
18:04:57 sumcheck_verified: 1 (mem: 254.35 MiB)
18:04:57 libra_evals_verified: 1 (mem: 254.35 MiB)
18:04:57 pairing_check_verified: 1 (mem: 254.35 MiB)
18:04:57 Proof verified successfully (mem: 254.35 MiB)
18:04:57 verified: 1 (mem: 254.35 MiB)
18:04:57 [18:04:57.495]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.35 MiB)
18:04:57 Scheme is: ultra_honk, num threads: 128 (mem: 254.35 MiB)
18:04:57 --public_inputs_path: /tmp/5d65b95a/bb/tmp-YtO3DT/public_inputs (mem: 254.35 MiB)
18:04:57 --proof_path: /tmp/5d65b95a/bb/tmp-YtO3DT/proof (mem: 254.35 MiB)
18:04:57 --vk_path: /tmp/5d65b95a/bb/tmp-YtO3DT/vk (mem: 254.35 MiB)
18:04:57 --verbose: true (mem: 254.35 MiB)
18:04:57 --scheme: ultra_honk (mem: 254.35 MiB)
18:04:57 --oracle_hash: poseidon2 (mem: 254.35 MiB)
18:04:57 --disable_zk: true (mem: 254.35 MiB)
18:04:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.35 MiB)
18:04:57 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.35 MiB)
18:04:57 Initialized BN254 CRS from memory with num points = 1025 (mem: 254.35 MiB)
18:04:57 sumcheck_verified: 1 (mem: 254.35 MiB)
18:04:57 libra_evals_verified: 1 (mem: 254.35 MiB)
18:04:57 pairing_check_verified: 1 (mem: 254.35 MiB)
18:04:57 Proof verified successfully (mem: 254.35 MiB)
18:04:57 verified: 1 (mem: 254.35 MiB)
18:04:57 [18:04:57.496]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.35 MiB)
18:04:57 Scheme is: ultra_honk, num threads: 128 (mem: 254.35 MiB)
18:04:57 --public_inputs_path: /tmp/5d65b95a/bb/tmp-6r0qlw/public_inputs (mem: 254.35 MiB)
18:04:57 --proof_path: /tmp/5d65b95a/bb/tmp-6r0qlw/proof (mem: 254.35 MiB)
18:04:57 --vk_path: /tmp/5d65b95a/bb/tmp-6r0qlw/vk (mem: 254.35 MiB)
18:04:57 --verbose: true (mem: 254.35 MiB)
18:04:57 --scheme: ultra_honk (mem: 254.35 MiB)
18:04:57 --oracle_hash: poseidon2 (mem: 254.35 MiB)
18:04:57 --disable_zk: true (mem: 254.35 MiB)
18:04:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.35 MiB)
18:04:57 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.35 MiB)
18:04:57 Initialized BN254 CRS from memory with num points = 1025 (mem: 254.35 MiB)
18:04:57 sumcheck_verified: 1 (mem: 254.35 MiB)
18:04:57 libra_evals_verified: 1 (mem: 254.35 MiB)
18:04:57 pairing_check_verified: 1 (mem: 254.35 MiB)
18:04:57 Proof verified successfully (mem: 254.35 MiB)
18:04:57 verified: 1 (mem: 254.35 MiB)
18:04:57 [18:04:57.497]
INFO:
bb-prover Successfully verified proof from key in 47.6427590000003 ms
18:04:57 [18:04:57.497]
INFO:
bb-prover Successfully verified proof from key in 68.71248899999955 ms
18:04:57 [18:04:57.498]
INFO:
bb-prover Successfully verified proof from key in 94.33723699999973 ms
18:04:57 [18:04:57.500]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.90 MiB)
18:04:57 Scheme is: ultra_honk, num threads: 128 (mem: 253.90 MiB)
18:04:57 --public_inputs_path: /tmp/5d65b95a/bb/tmp-RaPvBR/public_inputs (mem: 253.90 MiB)
18:04:57 --proof_path: /tmp/5d65b95a/bb/tmp-RaPvBR/proof (mem: 253.90 MiB)
18:04:57 --vk_path: /tmp/5d65b95a/bb/tmp-RaPvBR/vk (mem: 253.90 MiB)
18:04:57 --verbose: true (mem: 253.90 MiB)
18:04:57 --scheme: ultra_honk (mem: 253.90 MiB)
18:04:57 --oracle_hash: poseidon2 (mem: 253.90 MiB)
18:04:57 --disable_zk: true (mem: 253.90 MiB)
18:04:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.90 MiB)
18:04:57 [18:04:57.514]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.90 MiB)
18:04:57 [18:04:57.515]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.90 MiB)
18:04:57 [18:04:57.516]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.90 MiB)
18:04:57 libra_evals_verified: 1 (mem: 253.90 MiB)
18:04:57 pairing_check_verified: 1 (mem: 253.90 MiB)
18:04:57 Proof verified successfully (mem: 253.90 MiB)
18:04:57 verified: 1 (mem: 253.90 MiB)
18:04:57 [18:04:57.517]
INFO:
bb-prover Successfully verified proof from key in 47.56960699999945 ms
18:04:57 [18:04:57.698]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":78.96133100000043,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
18:04:57 [18:04:57.702]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
18:04:57 [18:04:57.702]
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/5d65b95a/bb/tmp-r7xOCC -b /tmp/5d65b95a/bb/tmp-r7xOCC/RootParityArtifact-bytecode -w /tmp/5d65b95a/bb/tmp-r7xOCC/partial-witness.gz -v --init_kzg_accumulator -v
18:04:57 [18:04:57.730]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
18:04:57 [18:04:57.730]
INFO:
bb-prover RootParityArtifact BB out - (mem:
18:04:57 [18:04:57.731]
INFO:
bb-prover RootParityArtifact BB out - 256.11
18:04:57 [18:04:57.731]
INFO:
bb-prover RootParityArtifact BB out - MiB)
18:04:57 [18:04:57.731]
INFO:
bb-prover RootParityArtifact BB out -
18:04:57 [18:04:57.732]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 256.11 MiB)
18:04:57 --scheme: ultra_honk (mem: 256.11 MiB)
18:04:57 --bytecode_path: /tmp/5d65b95a/bb/tmp-r7xOCC/RootParityArtifact-bytecode (mem: 256.11 MiB)
18:04:57 --witness_path: /tmp/5d65b95a/bb/tmp-r7xOCC/partial-witness.gz (mem: 256.11 MiB)
18:04:57 --output_path: /tmp/5d65b95a/bb/tmp-r7xOCC (mem: 256.11 MiB)
18:04:57 Warning: the following option is called more than once (mem: 256.11 MiB)
18:04:57 --verbose: true (mem: 256.11 MiB)
18:04:57 --oracle_hash: poseidon2 (mem: 256.11 MiB)
18:04:57 --output_format: bytes_and_fields (mem: 256.11 MiB)
18:04:57 --write_vk: true (mem: 256.11 MiB)
18:04:57 --disable_zk: true (mem: 256.11 MiB)
18:04:57 --init_kzg_accumulator: true (mem: 256.11 MiB)
18:04:57 [18:04:57.919]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.11 MiB)
18:04:59 [18:04:59.973]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 416.61 MiB)
18:05:02 [18:05:02.692]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 781.72 MiB)
18:05:04 [18:05:04.943]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1048.07 MiB)
18:05:07 [18:05:07.381]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1422.76 MiB)
18:05:07 [18:05:07.382]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1422.76 MiB)
18:05:08 [18:05:08.840]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1874.21 MiB)
18:05:09 [18:05:09.199]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5526.21 MiB)
18:05:11 [18:05:11.203]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3821 ms. (mem: 6076.21 MiB)
18:05:11 [18:05:11.385]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6076.21 MiB)
18:05:11 [18:05:11.686]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6562.12 MiB)
18:05:13 [18:05:13.035]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7329.52 MiB)
18:05:20 [18:05:20.857]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7329.52 MiB)
18:05:25 [18:05:25.543]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7329.52 MiB)
18:05:27 [18:05:27.454]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8967.48 MiB)
18:05:29 [18:05:29.932]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8967.48 MiB)
18:05:35 [18:05:35.671]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8967.48 MiB)
18:05:36 [18:05:36.974]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8967.48 MiB)
18:05:37 [18:05:37.007]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8967.48 MiB)
18:05:37 [18:05:37.953]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/5d65b95a/bb/tmp-r7xOCC/public_inputs" (mem: 8967.48 MiB)
18:05:37 Public inputs fields saved to "/tmp/5d65b95a/bb/tmp-r7xOCC/public_inputs_fields.json" (mem: 8967.48 MiB)
18:05:37 Proof saved to "/tmp/5d65b95a/bb/tmp-r7xOCC/proof" (mem: 8967.48 MiB)
18:05:37 [18:05:37.954]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/5d65b95a/bb/tmp-r7xOCC/proof_fields.json" (mem: 8967.48 MiB)
18:05:37 VK saved to "/tmp/5d65b95a/bb/tmp-r7xOCC/vk" (mem: 8967.48 MiB)
18:05:37 VK fields saved to "/tmp/5d65b95a/bb/tmp-r7xOCC/vk_fields.json" (mem: 8967.48 MiB)
18:05:38 [18:05:38.229]
INFO:
bb-prover Generated proof for RootParityArtifact in 40521 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40520.544908,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
18:05:38 [18:05:38.231]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:05:38 [18:05:38.232]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/5d65b95a/bb/tmp-7PwWM4/proof -k /tmp/5d65b95a/bb/tmp-7PwWM4/vk -i /tmp/5d65b95a/bb/tmp-7PwWM4/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:05:38 [18:05:38.256]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.12 MiB)
18:05:38 Scheme is: ultra_honk, num threads: 128 (mem: 256.12 MiB)
18:05:38 --public_inputs_path: /tmp/5d65b95a/bb/tmp-7PwWM4/public_inputs (mem: 256.12 MiB)
18:05:38 --proof_path: /tmp/5d65b95a/bb/tmp-7PwWM4/proof (mem: 256.12 MiB)
18:05:38 --vk_path: /tmp/5d65b95a/bb/tmp-7PwWM4/vk (mem: 256.12 MiB)
18:05:38 --verbose: true (mem: 256.12 MiB)
18:05:38 --scheme: ultra_honk (mem: 256.12 MiB)
18:05:38 --oracle_hash: poseidon2 (mem: 256.12 MiB)
18:05:38 --disable_zk: true (mem: 256.12 MiB)
18:05:38 [18:05:38.257]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.12 MiB)
18:05:38 [18:05:38.271]
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: 256.12 MiB)
18:05:38 [18:05:38.272]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 256.12 MiB)
18:05:38 [18:05:38.273]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 256.12 MiB)
18:05:38 libra_evals_verified: 1 (mem:
18:05:38 [18:05:38.273]
VERBOSE:
bb-prover bb-prover (verify) BB out - 256.12 MiB)
18:05:38 pairing_check_verified: 1 (mem: 256.12 MiB)
18:05:38 Proof verified successfully (mem: 256.12 MiB)
18:05:38 verified: 1 (mem: 256.12 MiB)
18:05:38 [18:05:38.275]
INFO:
bb-prover Successfully verified proof from key in 43.30627299999469 ms
18:05:38 [18:05:38.278]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:05:38 [18:05:38.279]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/5d65b95a/bb/tmp-pc1CMj/proof -k /tmp/5d65b95a/bb/tmp-pc1CMj/vk -i /tmp/5d65b95a/bb/tmp-pc1CMj/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:05:38 [18:05:38.304]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.12 MiB)
18:05:38 Scheme is: ultra_honk, num threads: 128 (mem: 256.12 MiB)
18:05:38 --public_inputs_path: /tmp/5d65b95a/bb/tmp-pc1CMj/public_inputs (mem: 256.12 MiB)
18:05:38 --proof_path: /tmp/5d65b95a/bb/tmp-pc1CMj/proof (mem: 256.12 MiB)
18:05:38 --vk_path: /tmp/5d65b95a/bb/tmp-pc1CMj/vk (mem: 256.12 MiB)
18:05:38 --verbose: true (mem: 256.12 MiB)
18:05:38 --scheme: ultra_honk (mem: 256.12 MiB)
18:05:38 --oracle_hash: poseidon2 (mem: 256.12 MiB)
18:05:38 --disable_zk: true (mem: 256.12 MiB)
18:05:38 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.12 MiB)
18:05:38 [18:05:38.330]
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: 256.12 MiB)
18:05:38 Initialized BN254 CRS from memory with num points = 1025 (mem: 256.12 MiB)
18:05:38 sumcheck_verified: 1 (mem: 256.12 MiB)
18:05:38 libra_evals_verified: 1 (mem: 256.12 MiB)
18:05:38 pairing_check_verified: 1 (mem: 256.12 MiB)
18:05:38 Proof verified successfully (mem: 256.12 MiB)
18:05:38 verified: 1 (mem: 256.12 MiB)
18:05:38 [18:05:38.333]
INFO:
bb-prover Successfully verified proof from key in 54.79130299999815 ms
18:05:38 [18:05:38.440]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
18:05:38
18:05:38 [18:05:38.440]
ERROR:
bb-prover Error running operation at /tmp/5d65b95a/bb/tmp-CDRgdZ: Error: Failed to generate witness: Failed assertion
18:05:38
18:05:38 [18:05:38.665]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":90.11523899999884,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
18:05:38 [18:05:38.670]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
18:05:38 [18:05:38.671]
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/5d65b95a/bb/tmp-fcGFHi -b /tmp/5d65b95a/bb/tmp-fcGFHi/RootParityArtifact-bytecode -w /tmp/5d65b95a/bb/tmp-fcGFHi/partial-witness.gz -v --init_kzg_accumulator -v
18:05:38 [18:05:38.703]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 256.12 MiB)
18:05:38 Scheme is: ultra_honk, num threads: 128 (mem: 256.12 MiB)
18:05:38 --scheme: ultra_honk (mem: 256.12 MiB)
18:05:38 --bytecode_path: /tmp/5d65b95a/bb/tmp-fcGFHi/RootParityArtifact-bytecode (mem: 256.12 MiB)
18:05:38 --witness_path: /tmp/5d65b95a/bb/tmp-fcGFHi/partial-witness.gz (mem: 256.12 MiB)
18:05:38 --output_path: /tmp/5d65b95a/bb/tmp-fcGFHi (mem: 256.12 MiB)
18:05:38 Warning: the following option is called more than once (mem: 256.12 MiB)
18:05:38 --verbose: true (mem: 256.12 MiB)
18:05:38 --oracle_hash: poseidon2 (mem: 256.12 MiB)
18:05:38 --output_format: bytes_and_fields (mem: 256.12 MiB)
18:05:38 --write_vk: true (mem: 256.12 MiB)
18:05:38 --disable_zk: true (mem: 256.12 MiB)
18:05:38 --init_kzg_accumulator: true (mem: 256.12 MiB)
18:05:38 [18:05:38.897]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.12 MiB)
18:05:38 [18:05:38.913]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 256.12 MiB)
18:05:41 [18:05:41.156]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 408.85 MiB)
18:05:43 [18:05:43.547]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 776.55 MiB)
18:05:45 [18:05:45.681]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1041.87 MiB)
18:05:48 [18:05:48.206]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1415.23 MiB)
18:05:48 [18:05:48.207]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1415.23 MiB)
18:05:49 [18:05:49.665]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1866.63 MiB)
18:05:50 [18:05:50.113]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5527.63 MiB)
18:05:52 [18:05:52.113]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3906 ms. (mem: 6079.63 MiB)
18:05:52 [18:05:52.267]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6079.63 MiB)
18:05:52 [18:05:52.504]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6560.64 MiB)
18:05:53 [18:05:53.789]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7329.36 MiB)
18:05:59 [18:05:59.405]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7329.36 MiB)
18:06:03 [18:06:03.177]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7329.36 MiB)
18:06:05 [18:06:05.689]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8967.48 MiB)
18:06:07 [18:06:07.791]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8967.48 MiB)
18:06:14 [18:06:14.276]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8967.48 MiB)
18:06:15 [18:06:15.925]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8967.48 MiB)
18:06:15 [18:06:15.968]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8967.48 MiB)
18:06:16 [18:06:16.891]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/5d65b95a/bb/tmp-fcGFHi/public_inputs" (mem: 8967.48 MiB)
18:06:16 [18:06:16.891]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/5d65b95a/bb/tmp-fcGFHi/public_inputs_fields.json" (mem: 8967.48 MiB)
18:06:16 Proof saved to "/tmp/5d65b95a/bb/tmp-fcGFHi/proof" (mem: 8967.48 MiB)
18:06:16 [18:06:16.892]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/5d65b95a/bb/tmp-fcGFHi/proof_fields.json" (mem: 8967.48 MiB)
18:06:16 VK saved to "/tmp/5d65b95a/bb/tmp-fcGFHi/vk" (mem: 8967.48 MiB)
18:06:16 VK fields saved to "/tmp/5d65b95a/bb/tmp-fcGFHi/vk_fields.json" (mem: 8967.48 MiB)
18:06:17 [18:06:17.112]
INFO:
bb-prover Generated proof for RootParityArtifact in 38440 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":38439.603244,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
18:06:17 [18:06:17.114]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:06:17 [18:06:17.114]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/5d65b95a/bb/tmp-zsH0zR/proof -k /tmp/5d65b95a/bb/tmp-zsH0zR/vk -i /tmp/5d65b95a/bb/tmp-zsH0zR/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:06:17 [18:06:17.153]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.12 MiB)
18:06:17 Scheme is: ultra_honk, num threads: 128 (mem: 256.12 MiB)
18:06:17 [18:06:17.154]
VERBOSE:
bb-prover bb-prover (verify) BB out - --public_inputs_path: /tmp/5d65b95a/bb/tmp-zsH0zR/public_inputs (mem: 256.12 MiB)
18:06:17 --proof_path: /tmp/5d65b95a/bb/tmp-zsH0zR/proof (mem: 256.12 MiB)
18:06:17 --vk_path: /tmp/5d65b95a/bb/tmp-zsH0zR/vk (mem: 256.12 MiB)
18:06:17 --verbose: true (mem: 256.12 MiB)
18:06:17 --scheme: ultra_honk (mem: 256.12 MiB)
18:06:17 --oracle_hash: poseidon2 (mem: 256.12 MiB)
18:06:17 --disable_zk: true (mem: 256.12 MiB)
18:06:17 [18:06:17.155]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.12 MiB)
18:06:17 [18:06:17.184]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 256.12 MiB)
18:06:17 Proof verification failed (mem: 256.12 MiB)
18:06:17 [18:06:17.185]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 256.12 MiB)
18:06:17 [18:06:17.189]
ERROR:
bb-prover Error running operation at /tmp/5d65b95a/bb/tmp-zsH0zR: ProvingError: Failed to verify proof from key!
18:06:17 [18:06:17.465]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":147.08724999999686,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
18:06:17 [18:06:17.469]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
18:06:17 [18:06:17.469]
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/5d65b95a/bb/tmp-a1vTVC -b /tmp/5d65b95a/bb/tmp-a1vTVC/RootParityArtifact-bytecode -w /tmp/5d65b95a/bb/tmp-a1vTVC/partial-witness.gz -v --init_kzg_accumulator -v
18:06:17 [18:06:17.499]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 256.12 MiB)
18:06:17 [18:06:17.503]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 256.12 MiB)
18:06:17 --scheme: ultra_honk (mem: 256.12 MiB)
18:06:17 --bytecode_path: /tmp/5d65b95a/bb/tmp-a1vTVC/RootParityArtifact-bytecode (mem: 256.12 MiB)
18:06:17 --witness_path: /tmp/5d65b95a/bb/tmp-a1vTVC/partial-witness.gz (mem: 256.12 MiB)
18:06:17 --output_path: /tmp/5d65b95a/bb/tmp-a1vTVC (mem: 256.12 MiB)
18:06:17 Warning: the following option is called more than once (mem: 256.12 MiB)
18:06:17 --verbose: true (mem: 256.12 MiB)
18:06:17 --oracle_hash: poseidon2 (mem: 256.12 MiB)
18:06:17 --output_format: bytes_and_fields (mem: 256.12 MiB)
18:06:17 --write_vk: true (mem: 256.12 MiB)
18:06:17 --disable_zk: true (mem: 256.12 MiB)
18:06:17 --init_kzg_accumulator: true (mem: 256.12 MiB)
18:06:17 [18:06:17.713]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.12 MiB)
18:06:17 [18:06:17.727]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 256.12 MiB)
18:06:19 [18:06:19.979]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 415.73 MiB)
18:06:22 [18:06:22.118]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 783.29 MiB)
18:06:24 [18:06:24.174]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1049.69 MiB)
18:06:26 [18:06:26.193]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1423.78 MiB)
18:06:26 [18:06:26.194]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1423.78 MiB)
18:06:27 [18:06:27.277]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1875.31 MiB)
18:06:27 [18:06:27.649]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5524.31 MiB)
18:06:29 [18:06:29.440]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3245 ms. (mem: 6072.31 MiB)
18:06:29 [18:06:29.561]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6072.31 MiB)
18:06:29 [18:06:29.804]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6556.93 MiB)
18:06:31 [18:06:31.015]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7325.89 MiB)
18:06:37 [18:06:37.708]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7325.89 MiB)
18:06:42 [18:06:42.367]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7325.89 MiB)
18:06:44 [18:06:44.425]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8966.02 MiB)
18:06:46 [18:06:46.190]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8967.02 MiB)
18:06:50 [18:06:50.665]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8967.02 MiB)
18:06:51 [18:06:51.877]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8967.02 MiB)
18:06:51 [18:06:51.901]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8967.02 MiB)
18:06:52 [18:06:52.653]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/5d65b95a/bb/tmp-a1vTVC/public_inputs" (mem: 8967.02 MiB)
18:06:52 [18:06:52.654]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/5d65b95a/bb/tmp-a1vTVC/public_inputs_fields.json" (mem: 8967.02 MiB)
18:06:52 Proof saved to "/tmp/5d65b95a/bb/tmp-a1vTVC/proof" (mem: 8967.02 MiB)
18:06:52 [18:06:52.654]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/5d65b95a/bb/tmp-a1vTVC/proof_fields.json" (mem: 8967.02 MiB)
18:06:52 VK saved to "/tmp/5d65b95a/bb/tmp-a1vTVC/vk" (mem: 8967.02 MiB)
18:06:52 [18:06:52.654]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/5d65b95a/bb/tmp-a1vTVC/vk_fields.json" (mem: 8967.02 MiB)
18:06:52 [18:06:52.847]
INFO:
bb-prover Generated proof for RootParityArtifact in 35377 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":35376.769312000004,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
18:06:52 [18:06:52.851]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
18:06:52 [18:06:52.851]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/5d65b95a/bb/tmp-qhHDb7/proof -k /tmp/5d65b95a/bb/tmp-qhHDb7/vk -i /tmp/5d65b95a/bb/tmp-qhHDb7/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
18:06:52 [18:06:52.868]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.12 MiB)
18:06:52 Scheme is: ultra_honk, num threads: 128 (mem: 256.12 MiB)
18:06:52 [18:06:52.869]
VERBOSE:
bb-prover bb-prover (verify) BB out - --public_inputs_path: /tmp/5d65b95a/bb/tmp-qhHDb7/public_inputs (mem: 256.12 MiB)
18:06:52 --proof_path: /tmp/5d65b95a/bb/tmp-qhHDb7/proof (mem: 256.12 MiB)
18:06:52 --vk_path: /tmp/5d65b95a/bb/tmp-qhHDb7/vk (mem: 256.12 MiB)
18:06:52 --verbose: true (mem: 256.12 MiB)
18:06:52 --scheme: ultra_honk (mem: 256.12 MiB)
18:06:52 --oracle_hash: poseidon2 (mem: 256.12 MiB)
18:06:52 --disable_zk: true (mem: 256.12 MiB)
18:06:52 [18:06:52.870]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.12 MiB)
18:06:52 [18:06:52.879]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 256.12 MiB)
18:06:52 Proof verification failed (mem: 256.12 MiB)
18:06:52 verified: 0 (mem: 256.12 MiB)
18:06:52 [18:06:52.880]
ERROR:
bb-prover Error running operation at /tmp/5d65b95a/bb/tmp-qhHDb7: ProvingError: Failed to verify proof from key!
18:06:52 [18:06:52.883]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
18:06:52
PASS src/test/bb_prover_parity.test.ts (
129.36 s)
18:06:52 prover/bb_prover/parity
18:06:52
✓ proves the parity circuits (120034 ms)
18:06:52
18:06:52
Test Suites: 1 passed, 1 total
18:06:52
Tests: 1 passed, 1 total
18:06:52
Snapshots: 0 total
18:06:52
Time: 129.443 s
18:06:52
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
18:06:52
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?