Parent Log:
http://ci.aztec-labs.com/e954658c18809c99
Command: 68e9475192d7aeac: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/f495236d35f9bb0d1086b7ec79256c2c2b7c98b8
Env: REF_NAME=gh-readonly-queue/staging/pr-15201-f0619dd82429a5973f3e1da8d7eb0877264908e3 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Sat Jun 21 13:15:41 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15201_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_staging
13:15:42 +++ id -u
13:15:42 +++ id -g
13:15:42 ++ 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:15:42 + cid=483fc2f797e31e72e78dae61008312d47a3f22d4162b24a23e8e4795a24b06b3
13:15:42 + set +x
13:15:44 {"level":25,"time":1750511744444,"pid":7,"hostname":"483fc2f797e3","module":"logger","msg":"Logger initialized with level verbose"}
13:15:52 [13:15:52.322]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-uQCofN/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
13:15:52 [13:15:52.379]
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/f1ff3bed/bb
13:15:52 [13:15:52.381]
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/f1ff3bed/acvm
13:15:52 [13:15:52.382]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/f1ff3bed/bb
13:15:52 [13:15:52.382]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/f1ff3bed/acvm
13:15:52 [13:15:52.385]
INFO:
prover-client:proving-broker Proving Broker started
13:15:52 [13:15:52.387]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
13:15:52 [13:15:52.588]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":56.711341999998695,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:15:52 [13:15:52.600]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":101.5155190000005,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:15:52 [13:15:52.612]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":46.48634999999922,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:15:52 [13:15:52.619]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:15:52 [13:15:52.620]
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/f1ff3bed/bb/tmp-wltWhw -b /tmp/f1ff3bed/bb/tmp-wltWhw/BaseParityArtifact-bytecode -w /tmp/f1ff3bed/bb/tmp-wltWhw/partial-witness.gz -v --init_kzg_accumulator -v
13:15:52 [13:15:52.641]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:15:52 [13:15:52.642]
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/f1ff3bed/bb/tmp-qNIh0Q -b /tmp/f1ff3bed/bb/tmp-qNIh0Q/BaseParityArtifact-bytecode -w /tmp/f1ff3bed/bb/tmp-qNIh0Q/partial-witness.gz -v --init_kzg_accumulator -v
13:15:52 [13:15:52.663]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:15:52 [13:15:52.663]
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/f1ff3bed/bb/tmp-lcJgw7 -b /tmp/f1ff3bed/bb/tmp-lcJgw7/BaseParityArtifact-bytecode -w /tmp/f1ff3bed/bb/tmp-lcJgw7/partial-witness.gz -v --init_kzg_accumulator -v
13:15:52 [13:15:52.692]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 249.61 MiB)
13:15:52 Scheme is: ultra_honk, num threads: 128 (mem: 249.61 MiB)
13:15:52 --scheme: ultra_honk (mem: 249.61 MiB)
13:15:52 --bytecode_path: /tmp/f1ff3bed/bb/tmp-wltWhw/BaseParityArtifact-bytecode (mem: 249.61 MiB)
13:15:52 --witness_path: /tmp/f1ff3bed/bb/tmp-wltWhw/partial-witness.gz (mem: 249.61 MiB)
13:15:52 --output_path: /tmp/f1ff3bed/bb/tmp-wltWhw (mem: 249.61 MiB)
13:15:52 Warning: the following option is called more than once (mem: 249.61 MiB)
13:15:52 --verbose: true (mem: 249.61 MiB)
13:15:52 --oracle_hash: poseidon2 (mem: 249.61 MiB)
13:15:52 --output_format: bytes_and_fields (mem: 249.61 MiB)
13:15:52 --write_vk: true (mem: 249.61 MiB)
13:15:52 --disable_zk: true (mem: 249.61 MiB)
13:15:52 --init_kzg_accumulator: true (mem: 249.61 MiB)
13:15:52 [13:15:52.695]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 249.61 MiB)
13:15:52 Scheme is: ultra_honk, num threads: 128 (mem: 249.61 MiB)
13:15:52 --scheme: ultra_honk (mem: 249.61 MiB)
13:15:52 --bytecode_path: /tmp/f1ff3bed/bb/tmp-qNIh0Q/BaseParityArtifact-bytecode (mem: 249.61 MiB)
13:15:52 --witness_path: /tmp/f1ff3bed/bb/tmp-qNIh0Q/partial-witness.gz (mem: 249.61 MiB)
13:15:52 --output_path: /tmp/f1ff3bed/bb/tmp-qNIh0Q (mem: 249.61 MiB)
13:15:52 Warning: the following option is called more than once (mem: 249.61 MiB)
13:15:52 --verbose: true (mem: 249.61 MiB)
13:15:52 --oracle_hash: poseidon2 (mem: 249.61 MiB)
13:15:52 --output_format: bytes_and_fields (mem: 249.61 MiB)
13:15:52 --write_vk: true (mem: 249.61 MiB)
13:15:52 --disable_zk: true (mem: 249.61 MiB)
13:15:52 --init_kzg_accumulator: true (mem: 249.61 MiB)
13:15:52 [13:15:52.696]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 248.32 MiB)
13:15:52 Scheme is: ultra_honk, num threads: 128 (mem: 248.32 MiB)
13:15:52 --scheme: ultra_honk (mem: 248.32 MiB)
13:15:52 --bytecode_path: /tmp/f1ff3bed/bb/tmp-lcJgw7/BaseParityArtifact-bytecode (mem: 248.32 MiB)
13:15:52 --witness_path: /tmp/f1ff3bed/bb/tmp-lcJgw7/partial-witness.gz (mem: 248.32 MiB)
13:15:52 --output_path: /tmp/f1ff3bed/bb/tmp-lcJgw7 (mem: 248.32 MiB)
13:15:52 Warning: the following option is called more than once (mem: 248.32 MiB)
13:15:52 --verbose: true (mem: 248.32 MiB)
13:15:52 --oracle_hash: poseidon2 (mem: 248.32 MiB)
13:15:52 --output_format: bytes_and_fields (mem: 248.32 MiB)
13:15:52 --write_vk: true (mem: 248.32 MiB)
13:15:52 --disable_zk: true (mem: 248.32 MiB)
13:15:52 --init_kzg_accumulator: true (mem: 248.32 MiB)
13:15:52 [13:15:52.704]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":66.99015300000065,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:15:52 [13:15:52.709]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:15:52 [13:15:52.709]
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/f1ff3bed/bb/tmp-Vgbfnh -b /tmp/f1ff3bed/bb/tmp-Vgbfnh/BaseParityArtifact-bytecode -w /tmp/f1ff3bed/bb/tmp-Vgbfnh/partial-witness.gz -v --init_kzg_accumulator -v
13:15:52 [13:15:52.734]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 249.65 MiB)
13:15:52 Scheme is: ultra_honk, num threads: 128 (mem: 249.65 MiB)
13:15:52 --scheme: ultra_honk (mem: 249.65 MiB)
13:15:52 --bytecode_path: /tmp/f1ff3bed/bb/tmp-Vgbfnh/BaseParityArtifact-bytecode (mem: 249.65 MiB)
13:15:52 --witness_path: /tmp/f1ff3bed/bb/tmp-Vgbfnh/partial-witness.gz (mem: 249.65 MiB)
13:15:52 --output_path: /tmp/f1ff3bed/bb/tmp-Vgbfnh (mem: 249.65 MiB)
13:15:52 Warning: the following option is called more than once (mem: 249.65 MiB)
13:15:52 --verbose: true (mem: 249.65 MiB)
13:15:52 --oracle_hash: poseidon2 (mem: 249.65 MiB)
13:15:52 --output_format: bytes_and_fields (mem: 249.65 MiB)
13:15:52 --write_vk: true (mem: 249.65 MiB)
13:15:52 --disable_zk: true (mem: 249.65 MiB)
13:15:52 --init_kzg_accumulator: true (mem: 249.65 MiB)
13:15:52 [13:15:52.791]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 249.61 MiB)
13:15:52 [13:15:52.791]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 249.61 MiB)
13:15:52 [13:15:52.795]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 249.61 MiB)
13:15:52 [13:15:52.818]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 249.61 MiB)
13:15:52 [13:15:52.819]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 249.61 MiB)
13:15:52 [13:15:52.825]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 249.61 MiB)
13:15:52 [13:15:52.835]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 248.32 MiB)
13:15:52 [13:15:52.836]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 248.32 MiB)
13:15:52 [13:15:52.839]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 248.32 MiB)
13:15:52 [13:15:52.894]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 249.65 MiB)
13:15:52 [13:15:52.896]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 249.65 MiB)
13:15:52 [13:15:52.897]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 249.65 MiB)
13:15:53 [13:15:53.016]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 249.61 MiB)
13:15:53 [13:15:53.027]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 249.61 MiB)
13:15:53 [13:15:53.038]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 248.32 MiB)
13:15:53 [13:15:53.088]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 297 ms. (mem: 249.61 MiB)
13:15:53 [13:15:53.093]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 249.61 MiB)
13:15:53 [13:15:53.094]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.61 MiB)
13:15:53 [13:15:53.106]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 249.61 MiB)
13:15:53 [13:15:53.122]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 286 ms. (mem: 248.32 MiB)
13:15:53 [13:15:53.127]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 248.32 MiB)
13:15:53 [13:15:53.127]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 248.32 MiB)
13:15:53 [13:15:53.141]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 319 ms. (mem: 249.61 MiB)
13:15:53 [13:15:53.146]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 248.32 MiB)
13:15:53 [13:15:53.151]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 249.61 MiB)
13:15:53 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.61 MiB)
13:15:53 [13:15:53.165]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 249.61 MiB)
13:15:53 [13:15:53.210]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 249.65 MiB)
13:15:53 [13:15:53.352]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 451 ms. (mem: 249.65 MiB)
13:15:53 [13:15:53.355]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 249.65 MiB)
13:15:53 [13:15:53.355]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.65 MiB)
13:15:53 [13:15:53.389]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 249.65 MiB)
13:15:54 [13:15:54.050]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.61 MiB)
13:15:54 [13:15:54.057]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 248.32 MiB)
13:15:54 [13:15:54.268]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.61 MiB)
13:15:54 [13:15:54.471]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.65 MiB)
13:15:54 [13:15:54.540]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 248.32 MiB)
13:15:54 [13:15:54.588]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 249.61 MiB)
13:15:54 [13:15:54.812]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 249.61 MiB)
13:15:54 [13:15:54.843]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 248.32 MiB)
13:15:54 [13:15:54.923]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 249.61 MiB)
13:15:54 [13:15:54.995]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 249.65 MiB)
13:15:55 [13:15:55.044]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 248.32 MiB)
13:15:55 [13:15:55.087]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 249.61 MiB)
13:15:55 [13:15:55.163]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 249.61 MiB)
13:15:55 [13:15:55.187]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 249.65 MiB)
13:15:55 [13:15:55.330]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 249.61 MiB)
13:15:55 [13:15:55.366]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 249.65 MiB)
13:15:56 [13:15:56.460]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 248.32 MiB)
13:15:56 [13:15:56.544]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 248.32 MiB)
13:15:56 [13:15:56.545]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 248.32 MiB)
13:15:56 Public inputs saved to "/tmp/f1ff3bed/bb/tmp-lcJgw7/public_inputs" (mem: 248.32 MiB)
13:15:56 Public inputs fields saved to "/tmp/f1ff3bed/bb/tmp-lcJgw7/public_inputs_fields.json" (mem: 248.32 MiB)
13:15:56 Proof saved to "/tmp/f1ff3bed/bb/tmp-lcJgw7/proof" (mem: 248.32 MiB)
13:15:56 Proof fields saved to "/tmp/f1ff3bed/bb/tmp-lcJgw7/proof_fields.json" (mem: 248.32 MiB)
13:15:56 VK saved to "/tmp/f1ff3bed/bb/tmp-lcJgw7/vk" (mem: 248.32 MiB)
13:15:56 VK fields saved to "/tmp/f1ff3bed/bb/tmp-lcJgw7/vk_fields.json" (mem: 248.32 MiB)
13:15:56 [13:15:56.595]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3927 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3926.746170999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:15:56 [13:15:56.600]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:56 [13:15:56.601]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f1ff3bed/bb/tmp-nyjqUr/proof -k /tmp/f1ff3bed/bb/tmp-nyjqUr/vk -i /tmp/f1ff3bed/bb/tmp-nyjqUr/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:56 [13:15:56.644]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.67 MiB)
13:15:56 [13:15:56.648]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 249.67 MiB)
13:15:56 --public_inputs_path: /tmp/f1ff3bed/bb/tmp-nyjqUr/public_inputs (mem: 249.67 MiB)
13:15:56 --proof_path: /tmp/f1ff3bed/bb/tmp-nyjqUr/proof (mem: 249.67 MiB)
13:15:56 --vk_path: /tmp/f1ff3bed/bb/tmp-nyjqUr/vk (mem: 249.67 MiB)
13:15:56 --verbose: true (mem: 249.67 MiB)
13:15:56 --scheme: ultra_honk (mem: 249.67 MiB)
13:15:56 --oracle_hash: poseidon2 (mem: 249.67 MiB)
13:15:56 --disable_zk: true (mem: 249.67 MiB)
13:15:56 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.67 MiB)
13:15:56 [13:15:56.681]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.67 MiB)
13:15:56 [13:15:56.683]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 249.67 MiB)
13:15:56 sumcheck_verified: 1 (mem: 249.67 MiB)
13:15:56 libra_evals_verified: 1 (mem: 249.67 MiB)
13:15:56 pairing_check_verified: 1 (mem: 249.67 MiB)
13:15:56 Proof verified successfully (mem: 249.67 MiB)
13:15:56 verified: 1 (mem: 249.67 MiB)
13:15:56 [13:15:56.685]
INFO:
bb-prover Successfully verified proof from key in 85.02533100000073 ms
13:15:56 [13:15:56.691]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 249.61 MiB)
13:15:56 [13:15:56.819]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 249.61 MiB)
13:15:56 finished decider proving. (mem: 249.61 MiB)
13:15:56 [13:15:56.821]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/f1ff3bed/bb/tmp-wltWhw/public_inputs" (mem: 249.61 MiB)
13:15:56 Public inputs fields saved to "/tmp/f1ff3bed/bb/tmp-wltWhw/public_inputs_fields.json" (mem: 249.61 MiB)
13:15:56 Proof saved to "/tmp/f1ff3bed/bb/tmp-wltWhw/proof" (mem: 249.61 MiB)
13:15:56 Proof fields saved to "/tmp/f1ff3bed/bb/tmp-wltWhw/proof_fields.json" (mem: 249.61 MiB)
13:15:56 VK saved to "/tmp/f1ff3bed/bb/tmp-wltWhw/vk" (mem: 249.61 MiB)
13:15:56 VK fields saved to "/tmp/f1ff3bed/bb/tmp-wltWhw/vk_fields.json" (mem: 249.61 MiB)
13:15:56 [13:15:56.865]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4243 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4242.212984000002,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:15:56 [13:15:56.869]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:56 [13:15:56.870]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f1ff3bed/bb/tmp-7Syx6A/proof -k /tmp/f1ff3bed/bb/tmp-7Syx6A/vk -i /tmp/f1ff3bed/bb/tmp-7Syx6A/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:56 [13:15:56.895]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
13:15:56 [13:15:56.895]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
13:15:56 [13:15:56.898]
VERBOSE:
bb-prover bb-prover (verify) BB out - 249.68 MiB)
13:15:56 Scheme is: ultra_honk, num threads: 128 (mem: 249.68 MiB)
13:15:56 --public_inputs_path: /tmp/f1ff3bed/bb/tmp-7Syx6A/public_inputs (mem: 249.68 MiB)
13:15:56 --proof_path: /tmp/f1ff3bed/bb/tmp-7Syx6A/proof (mem: 249.68 MiB)
13:15:56 --vk_path: /tmp/f1ff3bed/bb/tmp-7Syx6A/vk (mem: 249.68 MiB)
13:15:56 --verbose: true (mem: 249.68 MiB)
13:15:56 --scheme: ultra_honk (mem: 249.68 MiB)
13:15:56 --oracle_hash: poseidon2 (mem: 249.68 MiB)
13:15:56 --disable_zk: true (mem: 249.68 MiB)
13:15:56 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.68 MiB)
13:15:56 [13:15:56.916]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.68 MiB)
13:15:56 [13:15:56.917]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 249.68 MiB)
13:15:56 [13:15:56.918]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 249.68 MiB)
13:15:56 libra_evals_verified: 1 (mem: 249.68 MiB)
13:15:56 pairing_check_verified: 1 (mem: 249.68 MiB)
13:15:56 Proof verified successfully (mem: 249.68 MiB)
13:15:56 [13:15:56.919]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 249.68 MiB)
13:15:56 [13:15:56.920]
INFO:
bb-prover Successfully verified proof from key in 50.9227830000018 ms
13:15:56 [13:15:56.931]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 249.61 MiB)
13:15:57 [13:15:57.011]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 249.61 MiB)
13:15:57 finished decider proving. (mem: 249.61 MiB)
13:15:57 [13:15:57.011]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/f1ff3bed/bb/tmp-qNIh0Q/public_inputs" (mem: 249.61 MiB)
13:15:57 Public inputs fields saved to "/tmp/f1ff3bed/bb/tmp-qNIh0Q/public_inputs_fields.json" (mem: 249.61 MiB)
13:15:57 Proof saved to "/tmp/f1ff3bed/bb/tmp-qNIh0Q/proof" (mem: 249.61 MiB)
13:15:57 Proof fields saved to "/tmp/f1ff3bed/bb/tmp-qNIh0Q/proof_fields.json" (mem: 249.61 MiB)
13:15:57 VK saved to "/tmp/f1ff3bed/bb/tmp-qNIh0Q/vk" (mem: 249.61 MiB)
13:15:57 VK fields saved to "/tmp/f1ff3bed/bb/tmp-qNIh0Q/vk_fields.json" (mem: 249.61 MiB)
13:15:57 [13:15:57.012]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 249.65 MiB)
13:15:57 [13:15:57.072]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4428 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4427.107603,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:15:57 [13:15:57.075]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:57 [13:15:57.076]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f1ff3bed/bb/tmp-wC7Cwc/proof -k /tmp/f1ff3bed/bb/tmp-wC7Cwc/vk -i /tmp/f1ff3bed/bb/tmp-wC7Cwc/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:57 [13:15:57.107]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 249.65 MiB)
13:15:57 finished decider proving. (mem: 249.65 MiB)
13:15:57 Public inputs saved to "/tmp/f1ff3bed/bb/tmp-Vgbfnh/public_inputs" (mem: 249.65 MiB)
13:15:57 Public inputs fields saved to "/tmp/f1ff3bed/bb/tmp-Vgbfnh/public_inputs_fields.json" (mem: 249.65 MiB)
13:15:57 Proof saved to "/tmp/f1ff3bed/bb/tmp-Vgbfnh/proof" (mem: 249.65 MiB)
13:15:57 Proof fields saved to "/tmp/f1ff3bed/bb/tmp-Vgbfnh/proof_fields.json" (mem: 249.65 MiB)
13:15:57 VK saved to "/tmp/f1ff3bed/bb/tmp-Vgbfnh/vk" (mem: 249.65 MiB)
13:15:57 VK fields saved to "/tmp/f1ff3bed/bb/tmp-Vgbfnh/vk_fields.json" (mem: 249.65 MiB)
13:15:57 [13:15:57.117]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
13:15:57 [13:15:57.119]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 248.77 MiB)
13:15:57 Scheme is: ultra_honk, num threads: 128 (mem: 248.77 MiB)
13:15:57 --public_inputs_path: /tmp/f1ff3bed/bb/tmp-wC7Cwc/public_inputs (mem: 248.77 MiB)
13:15:57 --proof_path: /tmp/f1ff3bed/bb/tmp-wC7Cwc/proof (mem: 248.77 MiB)
13:15:57 --vk_path: /tmp/f1ff3bed/bb/tmp-wC7Cwc/vk (mem: 248.77 MiB)
13:15:57 --verbose: true (mem: 248.77 MiB)
13:15:57 --scheme: ultra_honk (mem: 248.77 MiB)
13:15:57 --oracle_hash: poseidon2 (mem: 248.77 MiB)
13:15:57 --disable_zk: true (mem: 248.77 MiB)
13:15:57 [13:15:57.120]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7
13:15:57 [13:15:57.121]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 248.77 MiB)
13:15:57 [13:15:57.137]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4425 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4424.813780999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:15:57 [13:15:57.142]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:57 [13:15:57.143]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f1ff3bed/bb/tmp-XGjkZ2/proof -k /tmp/f1ff3bed/bb/tmp-XGjkZ2/vk -i /tmp/f1ff3bed/bb/tmp-XGjkZ2/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:57 [13:15:57.170]
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: 248.77 MiB)
13:15:57 Initialized BN254 CRS from memory with num points = 1 (mem: 248.77 MiB)
13:15:57 sumcheck_verified: 1 (mem: 248.77 MiB)
13:15:57 libra_evals_verified: 1 (mem: 248.77 MiB)
13:15:57 pairing_check_verified: 1 (mem: 248.77 MiB)
13:15:57 Proof verified successfully (mem: 248.77 MiB)
13:15:57 verified: 1 (mem: 248.77 MiB)
13:15:57 [13:15:57.171]
INFO:
bb-prover Successfully verified proof from key in 96.02661699999953 ms
13:15:57 [13:15:57.174]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
13:15:57 [13:15:57.175]
VERBOSE:
bb-prover bb-prover (verify) BB out - 249.80 MiB)
13:15:57 Scheme is: ultra_honk, num threads: 128 (mem: 249.80 MiB)
13:15:57 --public_inputs_path: /tmp/f1ff3bed/bb/tmp-XGjkZ2/public_inputs (mem: 249.80 MiB)
13:15:57 --proof_path: /tmp/f1ff3bed/bb/tmp-XGjkZ2/proof (mem: 249.80 MiB)
13:15:57 --vk_path: /tmp/f1ff3bed/bb/tmp-XGjkZ2/vk (mem: 249.80 MiB)
13:15:57 --verbose: true (mem: 249.80 MiB)
13:15:57 --scheme: ultra_honk (mem: 249.80 MiB)
13:15:57 --oracle_hash: poseidon2 (mem: 249.80 MiB)
13:15:57 [13:15:57.178]
VERBOSE:
bb-prover bb-prover (verify) BB out - --disable_zk: true (mem: 249.80 MiB)
13:15:57 [13:15:57.182]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.80 MiB)
13:15:57 [13:15:57.207]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.80 MiB)
13:15:57 Initialized BN254 CRS from memory with num points = 1 (mem: 249.80 MiB)
13:15:57 [13:15:57.208]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 249.80 MiB)
13:15:57 libra_evals_verified: 1 (mem: 249.80 MiB)
13:15:57 pairing_check_verified: 1 (mem: 249.80 MiB)
13:15:57 Proof verified successfully (mem: 249.80 MiB)
13:15:57 verified: 1 (mem: 249.80 MiB)
13:15:57 [13:15:57.208]
INFO:
bb-prover Successfully verified proof from key in 66.2137789999997 ms
13:15:57 [13:15:57.219]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:57 [13:15:57.220]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f1ff3bed/bb/tmp-2Yqjep/proof -k /tmp/f1ff3bed/bb/tmp-2Yqjep/vk -i /tmp/f1ff3bed/bb/tmp-2Yqjep/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:57 [13:15:57.238]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:57 [13:15:57.238]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f1ff3bed/bb/tmp-Z2oNud/proof -k /tmp/f1ff3bed/bb/tmp-Z2oNud/vk -i /tmp/f1ff3bed/bb/tmp-Z2oNud/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:57 [13:15:57.264]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:57 [13:15:57.265]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f1ff3bed/bb/tmp-W3hpq6/proof -k /tmp/f1ff3bed/bb/tmp-W3hpq6/vk -i /tmp/f1ff3bed/bb/tmp-W3hpq6/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:57 [13:15:57.297]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:15:57 [13:15:57.297]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f1ff3bed/bb/tmp-2UNopc/proof -k /tmp/f1ff3bed/bb/tmp-2UNopc/vk -i /tmp/f1ff3bed/bb/tmp-2UNopc/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:15:57 [13:15:57.322]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.88 MiB)
13:15:57 Scheme is: ultra_honk, num threads: 128 (mem: 249.88 MiB)
13:15:57 --public_inputs_path: /tmp/f1ff3bed/bb/tmp-2Yqjep/public_inputs (mem: 249.88 MiB)
13:15:57 --proof_path: /tmp/f1ff3bed/bb/tmp-2Yqjep/proof (mem: 249.88 MiB)
13:15:57 --vk_path: /tmp/f1ff3bed/bb/tmp-2Yqjep/vk (mem: 249.88 MiB)
13:15:57 --verbose: true (mem: 249.88 MiB)
13:15:57 --scheme: ultra_honk (mem: 249.88 MiB)
13:15:57 --oracle_hash: poseidon2 (mem: 249.88 MiB)
13:15:57 --disable_zk: true (mem: 249.88 MiB)
13:15:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.88 MiB)
13:15:57 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.88 MiB)
13:15:57 Initialized BN254 CRS from memory with num points = 1 (mem: 249.88 MiB)
13:15:57 sumcheck_verified: 1 (mem: 249.88 MiB)
13:15:57 libra_evals_verified: 1 (mem: 249.88 MiB)
13:15:57 pairing_check_verified: 1 (mem: 249.88 MiB)
13:15:57 Proof verified successfully (mem: 249.88 MiB)
13:15:57 verified: 1 (mem: 249.88 MiB)
13:15:57 [13:15:57.323]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.88 MiB)
13:15:57 Scheme is: ultra_honk, num threads: 128 (mem: 249.88 MiB)
13:15:57 --public_inputs_path: /tmp/f1ff3bed/bb/tmp-Z2oNud/public_inputs (mem: 249.88 MiB)
13:15:57 --proof_path: /tmp/f1ff3bed/bb/tmp-Z2oNud/proof (mem: 249.88 MiB)
13:15:57 --vk_path: /tmp/f1ff3bed/bb/tmp-Z2oNud/vk (mem: 249.88 MiB)
13:15:57 --verbose: true (mem: 249.88 MiB)
13:15:57 --scheme: ultra_honk (mem: 249.88 MiB)
13:15:57 --oracle_hash: poseidon2 (mem: 249.88 MiB)
13:15:57 --disable_zk: true (mem: 249.88 MiB)
13:15:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.88 MiB)
13:15:57 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.88 MiB)
13:15:57 Initialized BN254 CRS from memory with num points = 1 (mem: 249.88 MiB)
13:15:57 sumcheck_verified: 1 (mem: 249.88 MiB)
13:15:57 libra_evals_verified: 1 (mem: 249.88 MiB)
13:15:57 pairing_check_verified: 1 (mem: 249.88 MiB)
13:15:57 Proof verified successfully (mem: 249.88 MiB)
13:15:57 verified: 1 (mem: 249.88 MiB)
13:15:57 [13:15:57.325]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.88 MiB)
13:15:57 Scheme is: ultra_honk, num threads: 128 (mem: 249.88 MiB)
13:15:57 --public_inputs_path: /tmp/f1ff3bed/bb/tmp-W3hpq6/public_inputs (mem: 249.88 MiB)
13:15:57 --proof_path: /tmp/f1ff3bed/bb/tmp-W3hpq6/proof (mem: 249.88 MiB)
13:15:57 --vk_path: /tmp/f1ff3bed/bb/tmp-W3hpq6/vk (mem: 249.88 MiB)
13:15:57 --verbose: true (mem: 249.88 MiB)
13:15:57 --scheme: ultra_honk (mem: 249.88 MiB)
13:15:57 --oracle_hash: poseidon2 (mem: 249.88 MiB)
13:15:57 --disable_zk: true (mem: 249.88 MiB)
13:15:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.88 MiB)
13:15:57 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.88 MiB)
13:15:57 Initialized BN254 CRS from memory with num points = 1 (mem: 249.88 MiB)
13:15:57 sumcheck_verified: 1 (mem: 249.88 MiB)
13:15:57 libra_evals_verified: 1 (mem: 249.88 MiB)
13:15:57 pairing_check_verified: 1 (mem: 249.88 MiB)
13:15:57 Proof verified successfully (mem: 249.88 MiB)
13:15:57 verified: 1 (mem: 249.88 MiB)
13:15:57 [13:15:57.325]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.88 MiB)
13:15:57 Scheme is: ultra_honk, num threads: 128 (mem: 249.88 MiB)
13:15:57 --public_inputs_path: /tmp/f1ff3bed/bb/tmp-2UNopc/public_inputs (mem: 249.88 MiB)
13:15:57 --proof_path: /tmp/f1ff3bed/bb/tmp-2UNopc/proof (mem: 249.88 MiB)
13:15:57 --vk_path: /tmp/f1ff3bed/bb/tmp-2UNopc/vk (mem: 249.88 MiB)
13:15:57 --verbose: true (mem: 249.88 MiB)
13:15:57 --scheme: ultra_honk (mem: 249.88 MiB)
13:15:57 --oracle_hash: poseidon2 (mem: 249.88 MiB)
13:15:57 --disable_zk: true (mem: 249.88 MiB)
13:15:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.88 MiB)
13:15:57 [13:15:57.326]
INFO:
bb-prover Successfully verified proof from key in 61.93217899999945 ms
13:15:57 [13:15:57.327]
INFO:
bb-prover Successfully verified proof from key in 88.84994200000074 ms
13:15:57 [13:15:57.327]
INFO:
bb-prover Successfully verified proof from key in 107.48351100000036 ms
13:15:57 [13:15:57.344]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.88 MiB)
13:15:57 [13:15:57.345]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 249.88 MiB)
13:15:57 [13:15:57.345]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 249.88 MiB)
13:15:57 libra_evals_verified: 1 (mem: 249.88 MiB)
13:15:57 pairing_check_verified: 1 (mem: 249.88 MiB)
13:15:57 Proof verified successfully (mem: 249.88 MiB)
13:15:57 verified: 1 (mem: 249.88 MiB)
13:15:57 [13:15:57.348]
INFO:
bb-prover Successfully verified proof from key in 51.14873700000135 ms
13:15:57 [13:15:57.552]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":88.55047600000034,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
13:15:57 [13:15:57.554]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:15:57 [13:15:57.554]
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/f1ff3bed/bb/tmp-ZrG0HQ -b /tmp/f1ff3bed/bb/tmp-ZrG0HQ/RootParityArtifact-bytecode -w /tmp/f1ff3bed/bb/tmp-ZrG0HQ/partial-witness.gz -v --init_kzg_accumulator -v
13:15:57 [13:15:57.579]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 251.93 MiB)
13:15:57 Scheme is: ultra_honk, num threads: 128 (mem: 251.93 MiB)
13:15:57 --scheme: ultra_honk (mem: 251.93 MiB)
13:15:57 --bytecode_path: /tmp/f1ff3bed/bb/tmp-ZrG0HQ/RootParityArtifact-bytecode (mem: 251.93 MiB)
13:15:57 --witness_path: /tmp/f1ff3bed/bb/tmp-ZrG0HQ/partial-witness.gz (mem: 251.93 MiB)
13:15:57 --output_path: /tmp/f1ff3bed/bb/tmp-ZrG0HQ (mem: 251.93 MiB)
13:15:57 Warning: the following option is called more than once (mem: 251.93 MiB)
13:15:57 --verbose: true (mem: 251.93 MiB)
13:15:57 --oracle_hash: poseidon2 (mem: 251.93 MiB)
13:15:57 --output_format: bytes_and_fields (mem: 251.93 MiB)
13:15:57 --write_vk: true (mem: 251.93 MiB)
13:15:57 --disable_zk: true (mem: 251.93 MiB)
13:15:57 --init_kzg_accumulator: true (mem: 251.93 MiB)
13:15:57 [13:15:57.763]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.93 MiB)
13:15:59 [13:15:59.904]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 421.08 MiB)
13:16:02 [13:16:02.612]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 776.23 MiB)
13:16:04 [13:16:04.987]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1047.93 MiB)
13:16:07 [13:16:07.504]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1419.13 MiB)
13:16:07 [13:16:07.505]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1419.13 MiB)
13:16:08 [13:16:08.833]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1830.75 MiB)
13:16:09 [13:16:09.163]
INFO:
bb-prover RootParityArtifact BB out - populating trace...
13:16:09 [13:16:09.164]
INFO:
bb-prover RootParityArtifact BB out - (mem: 5489.71 MiB)
13:16:11 [13:16:11.084]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3578 ms. (mem: 6069.71 MiB)
13:16:11 [13:16:11.216]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6069.71 MiB)
13:16:11 [13:16:11.217]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6069.71 MiB)
13:16:12 [13:16:12.203]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6069.71 MiB)
13:16:16 [13:16:16.672]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6069.71 MiB)
13:16:22 [13:16:22.200]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6069.71 MiB)
13:16:24 [13:16:24.111]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6744.80 MiB)
13:16:27 [13:16:27.086]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6744.80 MiB)
13:16:34 [13:16:34.136]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6744.80 MiB)
13:16:35 [13:16:35.902]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6744.80 MiB)
13:16:35 [13:16:35.914]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6744.80 MiB)
13:16:36 [13:16:36.474]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/f1ff3bed/bb/tmp-ZrG0HQ/public_inputs" (mem: 6744.80 MiB)
13:16:36 [13:16:36.476]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/f1ff3bed/bb/tmp-ZrG0HQ/public_inputs_fields.json" (mem: 6744.80 MiB)
13:16:36 Proof saved to "/tmp/f1ff3bed/bb/tmp-ZrG0HQ/proof" (mem: 6744.80 MiB)
13:16:36 Proof fields saved to "/tmp/f1ff3bed/bb/tmp-ZrG0HQ/proof_fields.json" (mem: 6744.80 MiB)
13:16:36 VK saved to "/tmp/f1ff3bed/bb/tmp-ZrG0HQ/vk" (mem: 6744.80 MiB)
13:16:36 VK fields saved to "/tmp/f1ff3bed/bb/tmp-ZrG0HQ/vk_fields.json" (mem: 6744.80 MiB)
13:16:36 [13:16:36.632]
INFO:
bb-prover Generated proof for RootParityArtifact in 39076 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":39075.859388,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:16:36 [13:16:36.636]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:16:36 [13:16:36.637]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f1ff3bed/bb/tmp-aDS4cZ/proof -k /tmp/f1ff3bed/bb/tmp-aDS4cZ/vk -i /tmp/f1ff3bed/bb/tmp-aDS4cZ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:16:36 [13:16:36.658]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.94 MiB)
13:16:36 Scheme is: ultra_honk, num threads: 128 (mem: 251.94 MiB)
13:16:36 --public_inputs_path: /tmp/f1ff3bed/bb/tmp-aDS4cZ/public_inputs (mem: 251.94 MiB)
13:16:36 --proof_path: /tmp/f1ff3bed/bb/tmp-aDS4cZ/proof (mem: 251.94 MiB)
13:16:36 --vk_path: /tmp/f1ff3bed/bb/tmp-aDS4cZ/vk (mem: 251.94 MiB)
13:16:36 --verbose: true
13:16:36 [13:16:36.659]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.94 MiB)
13:16:36 --scheme: ultra_honk (mem: 251.94 MiB)
13:16:36 --oracle_hash: poseidon2 (mem: 251.94 MiB)
13:16:36 --disable_zk: true (mem: 251.94 MiB)
13:16:36 [13:16:36.659]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 251.94 MiB)
13:16:36 [13:16:36.671]
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.94 MiB)
13:16:36 [13:16:36.672]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 251.94 MiB)
13:16:36 [13:16:36.672]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.94 MiB)
13:16:36 libra_evals_verified: 1 (mem: 251.94 MiB)
13:16:36 pairing_check_verified: 1 (mem: 251.94 MiB)
13:16:36 Proof verified successfully (mem: 251.94 MiB)
13:16:36 [13:16:36.673]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 251.94 MiB)
13:16:36 [13:16:36.674]
INFO:
bb-prover Successfully verified proof from key in 37.56276999999682 ms
13:16:36 [13:16:36.676]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:16:36 [13:16:36.676]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f1ff3bed/bb/tmp-5gcm9P/proof -k /tmp/f1ff3bed/bb/tmp-5gcm9P/vk -i /tmp/f1ff3bed/bb/tmp-5gcm9P/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:16:36 [13:16:36.694]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.94 MiB)
13:16:36 [13:16:36.694]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.94 MiB)
13:16:36 --public_inputs_path: /tmp/f1ff3bed/bb/tmp-5gcm9P/public_inputs (mem: 251.94 MiB)
13:16:36 --proof_path: /tmp/f1ff3bed/bb/tmp-5gcm9P/proof (mem: 251.94 MiB)
13:16:36 --vk_path: /tmp/f1ff3bed/bb/tmp-5gcm9P/vk (mem: 251.94 MiB)
13:16:36 --verbose: true (mem: 251.94 MiB)
13:16:36 --scheme: ultra_honk (mem: 251.94 MiB)
13:16:36 --oracle_hash: poseidon2 (mem: 251.94 MiB)
13:16:36 --disable_zk: true (mem: 251.94 MiB)
13:16:36 [13:16:36.695]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 251.94 MiB)
13:16:36 [13:16:36.707]
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.94 MiB)
13:16:36 [13:16:36.708]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 251.94 MiB)
13:16:36 [13:16:36.710]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.94 MiB)
13:16:36 libra_evals_verified: 1 (mem: 251.94 MiB)
13:16:36 pairing_check_verified: 1 (mem: 251.94 MiB)
13:16:36 Proof verified successfully (mem: 251.94 MiB)
13:16:36 verified: 1 (mem: 251.94 MiB)
13:16:36 [13:16:36.711]
INFO:
bb-prover Successfully verified proof from key in 34.55267399999866 ms
13:16:36 [13:16:36.797]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
13:16:36
13:16:36 [13:16:36.798]
ERROR:
bb-prover Error running operation at /tmp/f1ff3bed/bb/tmp-GpPu6K: Error: Failed to generate witness: Failed assertion
13:16:36
13:16:36 [13:16:36.964]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":62.564134000000195,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
13:16:36 [13:16:36.968]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:16:36 [13:16:36.968]
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/f1ff3bed/bb/tmp-JoGfkd -b /tmp/f1ff3bed/bb/tmp-JoGfkd/RootParityArtifact-bytecode -w /tmp/f1ff3bed/bb/tmp-JoGfkd/partial-witness.gz -v --init_kzg_accumulator -v
13:16:36 [13:16:36.991]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 251.94 MiB)
13:16:36 Scheme is: ultra_honk, num threads: 128 (mem: 251.94 MiB)
13:16:36 --scheme: ultra_honk (mem: 251.94 MiB)
13:16:36 --bytecode_path: /tmp/f1ff3bed/bb/tmp-JoGfkd/RootParityArtifact-bytecode
13:16:36 [13:16:36.992]
INFO:
bb-prover RootParityArtifact BB out - (mem: 251.94 MiB)
13:16:36 --witness_path: /tmp/f1ff3bed/bb/tmp-JoGfkd/partial-witness.gz (mem: 251.94 MiB)
13:16:36 --output_path: /tmp/f1ff3bed/bb/tmp-JoGfkd (mem: 251.94 MiB)
13:16:36 Warning: the following option is called more than once (mem: 251.94 MiB)
13:16:36 --verbose: true (mem: 251.94 MiB)
13:16:36 --oracle_hash: poseidon2 (mem: 251.94 MiB)
13:16:36 --output_format: bytes_and_fields (mem: 251.94 MiB)
13:16:36 --write_vk: true (mem: 251.94 MiB)
13:16:36 --disable_zk: true (mem: 251.94 MiB)
13:16:36 --init_kzg_accumulator: true (mem: 251.94 MiB)
13:16:37 [13:16:37.156]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.94 MiB)
13:16:37 [13:16:37.168]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 251.94 MiB)
13:16:39 [13:16:39.328]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 413.04 MiB)
13:16:41 [13:16:41.869]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 775.34 MiB)
13:16:43 [13:16:43.973]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1049.01 MiB)
13:16:46 [13:16:46.352]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1418.11 MiB)
13:16:46 [13:16:46.352]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1418.11 MiB)
13:16:47 [13:16:47.785]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1831.31 MiB)
13:16:48 [13:16:48.497]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5487.90 MiB)
13:16:50 [13:16:50.380]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4027 ms. (mem: 6069.90 MiB)
13:16:50 [13:16:50.517]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6069.90 MiB)
13:16:50 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6069.90 MiB)
13:16:51 [13:16:51.372]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6069.90 MiB)
13:16:55 [13:16:55.281]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6069.90 MiB)
13:16:59 [13:16:59.641]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6069.90 MiB)
13:17:01 [13:17:01.297]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6785.36 MiB)
13:17:03 [13:17:03.364]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6785.36 MiB)
13:17:10 [13:17:10.428]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6785.36 MiB)
13:17:12 [13:17:12.576]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6785.36 MiB)
13:17:12 [13:17:12.592]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6785.36 MiB)
13:17:13 [13:17:13.033]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/f1ff3bed/bb/tmp-JoGfkd/public_inputs" (mem: 6785.36 MiB)
13:17:13 Public inputs fields saved to "/tmp/f1ff3bed/bb/tmp-JoGfkd/public_inputs_fields.json" (mem: 6785.36 MiB)
13:17:13 [13:17:13.034]
INFO:
bb-prover RootParityArtifact BB out - Proof saved to "/tmp/f1ff3bed/bb/tmp-JoGfkd/proof" (mem: 6785.36 MiB)
13:17:13 Proof fields saved to "/tmp/f1ff3bed/bb/tmp-JoGfkd/proof_fields.json" (mem: 6785.36 MiB)
13:17:13 VK saved to "/tmp/f1ff3bed/bb/tmp-JoGfkd/vk" (mem: 6785.36 MiB)
13:17:13 VK fields saved to "/tmp/f1ff3bed/bb/tmp-JoGfkd/vk_fields.json" (mem: 6785.36 MiB)
13:17:13 [13:17:13.207]
INFO:
bb-prover Generated proof for RootParityArtifact in 36237 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":36236.731975,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:17:13 [13:17:13.212]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:17:13 [13:17:13.212]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f1ff3bed/bb/tmp-BuyRvW/proof -k /tmp/f1ff3bed/bb/tmp-BuyRvW/vk -i /tmp/f1ff3bed/bb/tmp-BuyRvW/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:17:13 [13:17:13.237]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.94 MiB)
13:17:13 Scheme is: ultra_honk, num threads: 128 (mem: 251.94 MiB)
13:17:13 --public_inputs_path: /tmp/f1ff3bed/bb/tmp-BuyRvW/public_inputs (mem: 251.94 MiB)
13:17:13 --proof_path: /tmp/f1ff3bed/bb/tmp-BuyRvW/proof (mem: 251.94 MiB)
13:17:13 --vk_path: /tmp/f1ff3bed/bb/tmp-BuyRvW/vk (mem: 251.94 MiB)
13:17:13 --verbose: true (mem: 251.94 MiB)
13:17:13 --scheme: ultra_honk (mem: 251.94 MiB)
13:17:13 --oracle_hash: poseidon2 (mem: 251.94 MiB)
13:17:13 --disable_zk: true (mem: 251.94 MiB)
13:17:13 [13:17:13.238]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 251.94 MiB)
13:17:13 [13:17:13.247]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 251.94 MiB)
13:17:13 Proof verification failed (mem: 251.94 MiB)
13:17:13 verified: 0 (mem: 251.94 MiB)
13:17:13 [13:17:13.249]
ERROR:
bb-prover Error running operation at /tmp/f1ff3bed/bb/tmp-BuyRvW: ProvingError: Failed to verify proof from key!
13:17:13 [13:17:13.412]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":77.01724299999478,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
13:17:13 [13:17:13.414]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:17:13 [13:17:13.414]
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/f1ff3bed/bb/tmp-hE6r1J -b /tmp/f1ff3bed/bb/tmp-hE6r1J/RootParityArtifact-bytecode -w /tmp/f1ff3bed/bb/tmp-hE6r1J/partial-witness.gz -v --init_kzg_accumulator -v
13:17:13 [13:17:13.437]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 251.94 MiB)
13:17:13 Scheme is: ultra_honk, num threads: 128 (mem: 251.94 MiB)
13:17:13 --scheme: ultra_honk (mem: 251.94 MiB)
13:17:13 --bytecode_path: /tmp/f1ff3bed/bb/tmp-hE6r1J/RootParityArtifact-bytecode (mem: 251.94 MiB)
13:17:13 [13:17:13.437]
INFO:
bb-prover RootParityArtifact BB out - --witness_path: /tmp/f1ff3bed/bb/tmp-hE6r1J/partial-witness.gz (mem: 251.94 MiB)
13:17:13 --output_path: /tmp/f1ff3bed/bb/tmp-hE6r1J (mem: 251.94 MiB)
13:17:13 Warning: the following option is called more than once (mem: 251.94 MiB)
13:17:13 --verbose: true (mem: 251.94 MiB)
13:17:13 --oracle_hash: poseidon2 (mem: 251.94 MiB)
13:17:13 --output_format: bytes_and_fields (mem: 251.94 MiB)
13:17:13 --write_vk: true (mem: 251.94 MiB)
13:17:13 --disable_zk: true (mem: 251.94 MiB)
13:17:13 --init_kzg_accumulator: true (mem: 251.94 MiB)
13:17:13 [13:17:13.588]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.94 MiB)
13:17:13 [13:17:13.601]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 251.94 MiB)
13:17:15 [13:17:15.670]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 419.15 MiB)
13:17:18 [13:17:18.107]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 786.86 MiB)
13:17:19 [13:17:19.925]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1060.73 MiB)
13:17:22 [13:17:22.250]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1430.23 MiB)
13:17:22 Constructing DeciderProvingKey (mem: 1430.23 MiB)
13:17:23 [13:17:23.551]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1842.03 MiB)
13:17:23 [13:17:23.902]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5489.11 MiB)
13:17:25 [13:17:25.410]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3162 ms. (mem: 6061.11 MiB)
13:17:25 [13:17:25.550]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6061.11 MiB)
13:17:25 [13:17:25.550]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6061.11 MiB)
13:17:26 [13:17:26.282]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6061.11 MiB)
13:17:29 [13:17:29.602]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6061.11 MiB)
13:17:34 [13:17:34.042]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6061.11 MiB)
13:17:36 [13:17:36.621]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6780.31 MiB)
13:17:38 [13:17:38.825]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6780.31 MiB)
13:17:45 [13:17:45.286]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6780.31 MiB)
13:17:47 [13:17:47.029]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6780.31 MiB)
13:17:47 [13:17:47.039]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6780.31 MiB)
13:17:47 [13:17:47.679]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/f1ff3bed/bb/tmp-hE6r1J/public_inputs" (mem: 6780.31 MiB)
13:17:47 [13:17:47.679]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/f1ff3bed/bb/tmp-hE6r1J/public_inputs_fields.json" (mem: 6780.31 MiB)
13:17:47 Proof saved to "/tmp/f1ff3bed/bb/tmp-hE6r1J/proof" (mem: 6780.31 MiB)
13:17:47 Proof fields saved to "/tmp/f1ff3bed/bb/tmp-hE6r1J/proof_fields.json" (mem: 6780.31 MiB)
13:17:47 [13:17:47.680]
INFO:
bb-prover RootParityArtifact BB out - VK saved to "/tmp/f1ff3bed/bb/tmp-hE6r1J/vk" (mem: 6780.31 MiB)
13:17:47 VK fields saved to "/tmp/f1ff3bed/bb/tmp-hE6r1J/vk_fields.json" (mem: 6780.31 MiB)
13:17:47 [13:17:47.878]
INFO:
bb-prover Generated proof for RootParityArtifact in 34462 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34461.13268499999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:17:47 [13:17:47.882]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:17:47 [13:17:47.883]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/f1ff3bed/bb/tmp-eAoed2/proof -k /tmp/f1ff3bed/bb/tmp-eAoed2/vk -i /tmp/f1ff3bed/bb/tmp-eAoed2/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:17:47 [13:17:47.902]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.94 MiB)
13:17:47 [13:17:47.903]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.94 MiB)
13:17:47 --public_inputs_path: /tmp/f1ff3bed/bb/tmp-eAoed2/public_inputs (mem: 251.94 MiB)
13:17:47 --proof_path: /tmp/f1ff3bed/bb/tmp-eAoed2/proof (mem: 251.94 MiB)
13:17:47 --vk_path: /tmp/f1ff3bed/bb/tmp-eAoed2/vk (mem: 251.94 MiB)
13:17:47 --verbose: true (mem: 251.94 MiB)
13:17:47 --scheme: ultra_honk (mem: 251.94 MiB)
13:17:47 --oracle_hash: poseidon2 (mem: 251.94 MiB)
13:17:47 --disable_zk: true (mem: 251.94 MiB)
13:17:47 [13:17:47.903]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 251.94 MiB)
13:17:47 [13:17:47.913]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 251.94 MiB)
13:17:47 Proof verification failed (mem: 251.94 MiB)
13:17:47 [13:17:47.914]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 251.94 MiB)
13:17:47 [13:17:47.915]
ERROR:
bb-prover Error running operation at /tmp/f1ff3bed/bb/tmp-eAoed2: ProvingError: Failed to verify proof from key!
13:17:47 [13:17:47.918]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
13:17:47
PASS src/test/bb_prover_parity.test.ts (
123.688 s)
13:17:47 prover/bb_prover/parity
13:17:47
✓ proves the parity circuits (115527 ms)
13:17:47
13:17:47
Test Suites: 1 passed, 1 total
13:17:47
Tests: 1 passed, 1 total
13:17:47
Snapshots: 0 total
13:17:47
Time: 123.778 s
13:17:47
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
13:17:47
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?