Parent Log:
http://ci.aztec-labs.com/bfc55bea3801bbc6
Command: a5511b51e55ea9c0: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/9cbd161a1dfa928167c1f969200b95df55ed4c6b
Env: REF_NAME=gh-readonly-queue/next/pr-15157-6e3848bbd6845559b55825f0bc64df0673272969 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 09:39:00 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15157_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
09:39:00 +++ id -u
09:39:00 +++ id -g
09:39:00 ++ docker run -d --name prover-client_src_test_bb_prover_parity.test.ts --net=none --cpuset-cpus=0-127 --cpus=16 --memory=96g --user 1000:1000 -v/home/aztec-dev:/home/aztec-dev --mount type=tmpfs,target=/tmp,tmpfs-size=1g --workdir /home/aztec-dev/aztec-packages -e HOME -e VERBOSE -e GIT_CONFIG_GLOBAL=/home/aztec-dev/aztec-packages/build-images/src/home/.gitconfig -e FORCE_COLOR=true -e CPUS -e MEM aztecprotocol/build:3.0 /bin/bash -c 'timeout -v 600s bash -c '\''LOG_LEVEL=verbose yarn-project/scripts/run_test.sh prover-client/src/test/bb_prover_parity.test.ts'\'''
09:39:01 + cid=61f2e33576769f07f2d65e4c2494abc1cafe2158153b05e8497a87cc83e321b8
09:39:01 + set +x
09:39:03 {"level":25,"time":1750412343222,"pid":7,"hostname":"61f2e3357676","module":"logger","msg":"Logger initialized with level verbose"}
09:39:11 [09:39:11.567]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-2LPkky/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
09:39:11 [09:39:11.635]
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/ebe09609/bb
09:39:11 [09:39:11.637]
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/ebe09609/acvm
09:39:11 [09:39:11.638]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/ebe09609/bb
09:39:11 [09:39:11.638]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/ebe09609/acvm
09:39:11 [09:39:11.641]
INFO:
prover-client:proving-broker Proving Broker started
09:39:11 [09:39:11.643]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
09:39:11 [09:39:11.849]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":60.799252999999226,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:39:11 [09:39:11.861]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":89.46753499999977,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:39:11 [09:39:11.873]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":55.0415009999997,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:39:11 [09:39:11.884]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":36.81822099999954,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:39:11 [09:39:11.886]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:39:11 [09:39:11.887]
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/ebe09609/bb/tmp-ihRLKC -b /tmp/ebe09609/bb/tmp-ihRLKC/BaseParityArtifact-bytecode -w /tmp/ebe09609/bb/tmp-ihRLKC/partial-witness.gz -v --init_kzg_accumulator -v
09:39:11 [09:39:11.909]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:39:11 [09:39:11.912]
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/ebe09609/bb/tmp-nbE7iB -b /tmp/ebe09609/bb/tmp-nbE7iB/BaseParityArtifact-bytecode -w /tmp/ebe09609/bb/tmp-nbE7iB/partial-witness.gz -v --init_kzg_accumulator -v
09:39:11 [09:39:11.939]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.29 MiB)
09:39:11 Scheme is: ultra_honk, num threads: 128 (mem: 251.29 MiB)
09:39:11 --scheme: ultra_honk (mem: 251.29 MiB)
09:39:11 --bytecode_path: /tmp/ebe09609/bb/tmp-ihRLKC/BaseParityArtifact-bytecode (mem: 251.29 MiB)
09:39:11 --witness_path: /tmp/ebe09609/bb/tmp-ihRLKC/partial-witness.gz (mem: 251.29 MiB)
09:39:11 --output_path: /tmp/ebe09609/bb/tmp-ihRLKC (mem: 251.29 MiB)
09:39:11 Warning: the following option is called more than once (mem: 251.29 MiB)
09:39:11 --verbose: true (mem: 251.29 MiB)
09:39:11 --oracle_hash: poseidon2 (mem: 251.29 MiB)
09:39:11 --output_format: bytes_and_fields (mem: 251.29 MiB)
09:39:11 --write_vk: true (mem: 251.29 MiB)
09:39:11 --disable_zk: true (mem: 251.29 MiB)
09:39:11 --init_kzg_accumulator: true (mem: 251.29 MiB)
09:39:11 [09:39:11.941]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:39:11 [09:39:11.941]
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/ebe09609/bb/tmp-vePNIi -b /tmp/ebe09609/bb/tmp-vePNIi/BaseParityArtifact-bytecode -w /tmp/ebe09609/bb/tmp-vePNIi/partial-witness.gz -v --init_kzg_accumulator -v
09:39:11 [09:39:11.965]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.29 MiB)
09:39:11 Scheme is: ultra_honk, num threads: 128 (mem: 251.29 MiB)
09:39:11 --scheme: ultra_honk (mem: 251.29 MiB)
09:39:11 --bytecode_path: /tmp/ebe09609/bb/tmp-nbE7iB/BaseParityArtifact-bytecode (mem: 251.29 MiB)
09:39:11 --witness_path: /tmp/ebe09609/bb/tmp-nbE7iB/partial-witness.gz (mem: 251.29 MiB)
09:39:11 --output_path: /tmp/ebe09609/bb/tmp-nbE7iB (mem: 251.29 MiB)
09:39:11 Warning: the following option is called more than once (mem: 251.29 MiB)
09:39:11 --verbose: true (mem: 251.29 MiB)
09:39:11 --oracle_hash: poseidon2 (mem: 251.29 MiB)
09:39:11 --output_format: bytes_and_fields (mem: 251.29 MiB)
09:39:11 --write_vk: true (mem: 251.29 MiB)
09:39:11 --disable_zk: true (mem: 251.29 MiB)
09:39:11 --init_kzg_accumulator: true (mem: 251.29 MiB)
09:39:11 [09:39:11.965]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:39:11 [09:39:11.966]
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/ebe09609/bb/tmp-QnPqPF -b /tmp/ebe09609/bb/tmp-QnPqPF/BaseParityArtifact-bytecode -w /tmp/ebe09609/bb/tmp-QnPqPF/partial-witness.gz -v --init_kzg_accumulator -v
09:39:11 [09:39:11.994]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.29 MiB)
09:39:11 Scheme is: ultra_honk, num threads: 128 (mem: 251.29 MiB)
09:39:11 --scheme: ultra_honk (mem: 251.29 MiB)
09:39:11 --bytecode_path: /tmp/ebe09609/bb/tmp-vePNIi/BaseParityArtifact-bytecode (mem: 251.29 MiB)
09:39:11 --witness_path: /tmp/ebe09609/bb/tmp-vePNIi/partial-witness.gz (mem: 251.29 MiB)
09:39:11 --output_path: /tmp/ebe09609/bb/tmp-vePNIi (mem: 251.29 MiB)
09:39:11 Warning: the following option is called more than once (mem: 251.29 MiB)
09:39:11 --verbose: true (mem: 251.29 MiB)
09:39:11 --oracle_hash: poseidon2 (mem: 251.29 MiB)
09:39:11 --output_format: bytes_and_fields (mem: 251.29 MiB)
09:39:11 --write_vk: true (mem: 251.29 MiB)
09:39:11 --disable_zk: true (mem: 251.29 MiB)
09:39:11 --init_kzg_accumulator: true (mem: 251.29 MiB)
09:39:11 [09:39:11.998]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.39 MiB)
09:39:12 [09:39:11.999]
INFO:
bb-prover BaseParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 250.39 MiB)
09:39:12 --scheme: ultra_honk (mem: 250.39 MiB)
09:39:12 --bytecode_path: /tmp/ebe09609/bb/tmp-QnPqPF/BaseParityArtifact-bytecode (mem: 250.39 MiB)
09:39:12 --witness_path: /tmp/ebe09609/bb/tmp-QnPqPF/partial-witness.gz (mem: 250.39 MiB)
09:39:12 --output_path: /tmp/ebe09609/bb/tmp-QnPqPF (mem: 250.39 MiB)
09:39:12 Warning: the following option is called more than once (mem: 250.39 MiB)
09:39:12 --verbose: true (mem: 250.39 MiB)
09:39:12 --oracle_hash: poseidon2 (mem: 250.39 MiB)
09:39:12 --output_format: bytes_and_fields (mem: 250.39 MiB)
09:39:12 --write_vk: true (mem: 250.39 MiB)
09:39:12 --disable_zk: true (mem: 250.39 MiB)
09:39:12 --init_kzg_accumulator: true (mem: 250.39 MiB)
09:39:12 [09:39:12.079]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.29 MiB)
09:39:12 Constructing DeciderProvingKey (mem: 251.29 MiB)
09:39:12 [09:39:12.082]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.29 MiB)
09:39:12 [09:39:12.112]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.29 MiB)
09:39:12 Constructing DeciderProvingKey (mem: 251.29 MiB)
09:39:12 [09:39:12.113]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.29 MiB)
09:39:12 [09:39:12.146]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
09:39:12 [09:39:12.146]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
09:39:12 [09:39:12.147]
INFO:
bb-prover BaseParityArtifact BB out - 251.29 MiB)
09:39:12 [09:39:12.153]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.29 MiB)
09:39:12 [09:39:12.157]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
09:39:12 [09:39:12.160]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 251.29 MiB)
09:39:12 [09:39:12.197]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
09:39:12 [09:39:12.210]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 250.39 MiB)
09:39:12 Constructing DeciderProvingKey (mem: 250.39 MiB)
09:39:12 [09:39:12.220]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.39 MiB)
09:39:12 [09:39:12.280]
INFO:
bb-prover BaseParityArtifact BB out - populating trace...
09:39:12 [09:39:12.281]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
09:39:12 [09:39:12.281]
INFO:
bb-prover BaseParityArtifact BB out - 251.29
09:39:12 [09:39:12.282]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
09:39:12 [09:39:12.332]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.29 MiB)
09:39:12 [09:39:12.333]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 256 ms. (mem: 251.29 MiB)
09:39:12 [09:39:12.351]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.29 MiB)
09:39:12 [09:39:12.364]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.29 MiB)
09:39:12 [09:39:12.387]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561
09:39:12 [09:39:12.393]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 251.29 MiB)
09:39:12 [09:39:12.394]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.29 MiB)
09:39:12 [09:39:12.400]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 291 ms. (mem: 251.29 MiB)
09:39:12 [09:39:12.407]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.29 MiB)
09:39:12 [09:39:12.435]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.29 MiB)
09:39:12 [09:39:12.491]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.29 MiB)
09:39:12 [09:39:12.497]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 347 ms. (mem: 251.29 MiB)
09:39:12 [09:39:12.502]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.29 MiB)
09:39:12 [09:39:12.511]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.29 MiB)
09:39:12 [09:39:12.550]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.29 MiB)
09:39:12 [09:39:12.562]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.39 MiB)
09:39:12 [09:39:12.643]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 434 ms. (mem: 250.39 MiB)
09:39:12 [09:39:12.653]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.39 MiB)
09:39:12 [09:39:12.684]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.39 MiB)
09:39:12 [09:39:12.723]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 257.05 MiB)
09:39:13 [09:39:13.425]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.29 MiB)
09:39:13 [09:39:13.492]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.29 MiB)
09:39:13 [09:39:13.585]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.29 MiB)
09:39:13 [09:39:13.871]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 257.05 MiB)
09:39:14 [09:39:14.094]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.29 MiB)
09:39:14 [09:39:14.171]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.29 MiB)
09:39:14 [09:39:14.207]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.29 MiB)
09:39:14 [09:39:14.311]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 272.05 MiB)
09:39:14 [09:39:14.444]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 261.54 MiB)
09:39:14 [09:39:14.454]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 265.54 MiB)
09:39:14 [09:39:14.497]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 257.05 MiB)
09:39:14 [09:39:14.502]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 272.05 MiB)
09:39:14 [09:39:14.645]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 266.54 MiB)
09:39:14 [09:39:14.657]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 261.54 MiB)
09:39:14 [09:39:14.693]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 269.43 MiB)
09:39:14 [09:39:14.854]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 269.43 MiB)
09:39:15 [09:39:15.487]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 272.05 MiB)
09:39:15 [09:39:15.529]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 272.05 MiB)
09:39:15 [09:39:15.531]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 272.05 MiB)
09:39:15 [09:39:15.534]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/ebe09609/bb/tmp-ihRLKC/public_inputs" (mem: 272.05 MiB)
09:39:15 [09:39:15.535]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/ebe09609/bb/tmp-ihRLKC/public_inputs_fields.json" (mem: 272.05 MiB)
09:39:15 Proof saved to "/tmp/ebe09609/bb/tmp-ihRLKC/proof" (mem: 272.05 MiB)
09:39:15 Proof fields saved to "/tmp/ebe09609/bb/tmp-ihRLKC/proof_fields.json" (mem: 272.05 MiB)
09:39:15 VK saved to "/tmp/ebe09609/bb/tmp-ihRLKC/vk" (mem: 272.05 MiB)
09:39:15 VK fields saved to "/tmp/ebe09609/bb/tmp-ihRLKC/vk_fields.json" (mem: 272.05 MiB)
09:39:15 [09:39:15.584]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3693 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3692.580540000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:39:15 [09:39:15.594]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:39:15 [09:39:15.595]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ebe09609/bb/tmp-GBeVhk/proof -k /tmp/ebe09609/bb/tmp-GBeVhk/vk -i /tmp/ebe09609/bb/tmp-GBeVhk/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:39:15 [09:39:15.635]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 261.54 MiB)
09:39:15 [09:39:15.645]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.80 MiB)
09:39:15 [09:39:15.646]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 250.80 MiB)
09:39:15 --public_inputs_path: /tmp/ebe09609/bb/tmp-GBeVhk/public_inputs (mem: 250.80 MiB)
09:39:15 --proof_path: /tmp/ebe09609/bb/tmp-GBeVhk/proof (mem: 250.80 MiB)
09:39:15 --vk_path: /tmp/ebe09609/bb/tmp-GBeVhk/vk (mem: 250.80 MiB)
09:39:15 --verbose: true (mem: 250.80 MiB)
09:39:15 --scheme: ultra_honk (mem: 250.80 MiB)
09:39:15 --oracle_hash: poseidon2 (mem: 250.80 MiB)
09:39:15 --disable_zk: true (mem: 250.80 MiB)
09:39:15 [09:39:15.647]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.80 MiB)
09:39:15 [09:39:15.666]
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: 250.80 MiB)
09:39:15 [09:39:15.666]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 250.80 MiB)
09:39:15 [09:39:15.669]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.80 MiB)
09:39:15 libra_evals_verified: 1 (mem: 250.80 MiB)
09:39:15 pairing_check_verified: 1 (mem: 250.80 MiB)
09:39:15 Proof verified successfully (mem: 250.80 MiB)
09:39:15 verified: 1 (mem: 250.80 MiB)
09:39:15 [09:39:15.672]
INFO:
bb-prover Successfully verified proof from key in 78.00422400000025 ms
09:39:15 [09:39:15.673]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 261.54 MiB)
09:39:15 [09:39:15.674]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 261.54 MiB)
09:39:15 [09:39:15.679]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/ebe09609/bb/tmp-vePNIi/public_inputs" (mem: 261.54 MiB)
09:39:15 [09:39:15.680]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/ebe09609/bb/tmp-vePNIi/public_inputs_fields.json" (mem: 261.54 MiB)
09:39:15 Proof saved to "/tmp/ebe09609/bb/tmp-vePNIi/proof" (mem: 261.54 MiB)
09:39:15 Proof fields saved to "/tmp/ebe09609/bb/tmp-vePNIi/proof_fields.json" (mem: 261.54 MiB)
09:39:15 VK saved to "/tmp/ebe09609/bb/tmp-vePNIi/vk" (mem: 261.54 MiB)
09:39:15 [09:39:15.681]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/ebe09609/bb/tmp-vePNIi/vk_fields.json" (mem: 261.54 MiB)
09:39:15 [09:39:15.722]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 266.54 MiB)
09:39:15 [09:39:15.729]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3782 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3781.135451,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:39:15 [09:39:15.734]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:39:15 [09:39:15.736]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ebe09609/bb/tmp-sfAjAu/proof -k /tmp/ebe09609/bb/tmp-sfAjAu/vk -i /tmp/ebe09609/bb/tmp-sfAjAu/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:39:15 [09:39:15.761]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 269.43 MiB)
09:39:15 [09:39:15.764]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.29 MiB)
09:39:15 Scheme is: ultra_honk, num threads: 128 (mem: 251.29 MiB)
09:39:15 --public_inputs_path: /tmp/ebe09609/bb/tmp-sfAjAu/public_inputs (mem: 251.29 MiB)
09:39:15 --proof_path: /tmp/ebe09609/bb/tmp-sfAjAu/proof (mem: 251.29 MiB)
09:39:15 --vk_path: /tmp/ebe09609/bb/tmp-sfAjAu/vk (mem: 251.29 MiB)
09:39:15 --verbose: true (mem: 251.29 MiB)
09:39:15 --scheme: ultra_honk (mem: 251.29 MiB)
09:39:15 --oracle_hash: poseidon2 (mem: 251.29 MiB)
09:39:15 --disable_zk: true (mem: 251.29 MiB)
09:39:15 [09:39:15.765]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.29 MiB)
09:39:15 [09:39:15.767]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 266.54 MiB)
09:39:15 [09:39:15.771]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 266.54 MiB)
09:39:15 [09:39:15.775]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/ebe09609/bb/tmp-nbE7iB/public_inputs" (mem: 266.54 MiB)
09:39:15 Public inputs fields saved to "/tmp/ebe09609/bb/tmp-nbE7iB/public_inputs_fields.json" (mem: 266.54 MiB)
09:39:15 Proof saved to "/tmp/ebe09609/bb/tmp-nbE7iB/proof" (mem: 266.54 MiB)
09:39:15 [09:39:15.777]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/ebe09609/bb/tmp-nbE7iB/proof_fields.json" (mem: 266.54 MiB)
09:39:15 VK saved to "/tmp/ebe09609/bb/tmp-nbE7iB/vk" (mem: 266.54 MiB)
09:39:15 VK fields saved to "/tmp/ebe09609/bb/tmp-nbE7iB/vk_fields.json" (mem: 266.54 MiB)
09:39:15 [09:39:15.786]
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.29 MiB)
09:39:15 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.29 MiB)
09:39:15 [09:39:15.790]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.29 MiB)
09:39:15 libra_evals_verified: 1 (mem: 251.29 MiB)
09:39:15 pairing_check_verified: 1 (mem: 251.29 MiB)
09:39:15 Proof verified successfully (mem: 251.29 MiB)
09:39:15 verified: 1 (mem: 251.29 MiB)
09:39:15 [09:39:15.795]
INFO:
bb-prover Successfully verified proof from key in 60.681226000000606 ms
09:39:15 [09:39:15.813]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 269.43 MiB)
09:39:15 [09:39:15.814]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 269.43 MiB)
09:39:15 [09:39:15.821]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/ebe09609/bb/tmp-QnPqPF/public_inputs" (mem: 269.43 MiB)
09:39:15 Public inputs fields saved to "/tmp/ebe09609/bb/tmp-QnPqPF/public_inputs_fields.json" (mem: 269.43 MiB)
09:39:15 Proof saved to "/tmp/ebe09609/bb/tmp-QnPqPF/proof" (mem: 269.43 MiB)
09:39:15 Proof fields saved to "/tmp/ebe09609/bb/tmp-QnPqPF/proof_fields.json" (mem: 269.43 MiB)
09:39:15 VK saved to "/tmp/ebe09609/bb/tmp-QnPqPF/vk" (mem: 269.43 MiB)
09:39:15 VK fields saved to "/tmp/ebe09609/bb/tmp-QnPqPF/vk_fields.json" (mem: 269.43 MiB)
09:39:15 [09:39:15.836]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3920 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3919.1762049999998,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:39:15 [09:39:15.842]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:39:15 [09:39:15.842]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ebe09609/bb/tmp-onqZ5r/proof -k /tmp/ebe09609/bb/tmp-onqZ5r/vk -i /tmp/ebe09609/bb/tmp-onqZ5r/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:39:15 [09:39:15.878]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3906 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3905.4817160000002,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:39:15 [09:39:15.879]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.33 MiB)
09:39:15 Scheme is: ultra_honk, num threads: 128 (mem: 251.33 MiB)
09:39:15 --public_inputs_path: /tmp/ebe09609/bb/tmp-onqZ5r/public_inputs (mem: 251.33 MiB)
09:39:15 --proof_path: /tmp/ebe09609/bb/tmp-onqZ5r/proof (mem: 251.33 MiB)
09:39:15 --vk_path: /tmp/ebe09609/bb/tmp-onqZ5r/vk (mem: 251.33 MiB)
09:39:15 --verbose: true (mem: 251.33 MiB)
09:39:15 --scheme: ultra_honk (mem: 251.33 MiB)
09:39:15 --oracle_hash: poseidon2 (mem: 251.33 MiB)
09:39:15 --disable_zk: true (mem: 251.33 MiB)
09:39:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.33 MiB)
09:39:15 [09:39:15.886]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:39:15 [09:39:15.887]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ebe09609/bb/tmp-NDXuSw/proof -k /tmp/ebe09609/bb/tmp-NDXuSw/vk -i /tmp/ebe09609/bb/tmp-NDXuSw/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:39:15 [09:39:15.912]
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.33 MiB)
09:39:15 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.33 MiB)
09:39:15 sumcheck_verified: 1 (mem: 251.33 MiB)
09:39:15 libra_evals_verified: 1 (mem: 251.33 MiB)
09:39:15 pairing_check_verified: 1 (mem: 251.33 MiB)
09:39:15 Proof verified successfully (mem: 251.33 MiB)
09:39:15 verified: 1 (mem: 251.33 MiB)
09:39:15 [09:39:15.913]
INFO:
bb-prover Successfully verified proof from key in 71.5542830000013 ms
09:39:15 [09:39:15.916]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.43 MiB)
09:39:15 [09:39:15.918]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.43 MiB)
09:39:15 --public_inputs_path: /tmp/ebe09609/bb/tmp-NDXuSw/public_inputs (mem: 251.43 MiB)
09:39:15 --proof_path: /tmp/ebe09609/bb/tmp-NDXuSw/proof (mem: 251.43 MiB)
09:39:15 --vk_path: /tmp/ebe09609/bb/tmp-NDXuSw/vk (mem: 251.43 MiB)
09:39:15 --verbose: true (mem: 251.43 MiB)
09:39:15 --scheme: ultra_honk (mem: 251.43 MiB)
09:39:15 --oracle_hash: poseidon2 (mem: 251.43 MiB)
09:39:15 --disable_zk: true (mem: 251.43 MiB)
09:39:15 [09:39:15.919]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.43 MiB)
09:39:15 [09:39:15.937]
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.43 MiB)
09:39:15 [09:39:15.939]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.43 MiB)
09:39:15 [09:39:15.939]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.43 MiB)
09:39:15 libra_evals_verified: 1 (mem: 251.43 MiB)
09:39:15 pairing_check_verified: 1 (mem: 251.43 MiB)
09:39:15 Proof verified successfully (mem: 251.43 MiB)
09:39:15 verified: 1 (mem: 251.43 MiB)
09:39:15 [09:39:15.941]
INFO:
bb-prover Successfully verified proof from key in 54.826168999999936 ms
09:39:15 [09:39:15.954]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:39:15 [09:39:15.955]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ebe09609/bb/tmp-RqJLnY/proof -k /tmp/ebe09609/bb/tmp-RqJLnY/vk -i /tmp/ebe09609/bb/tmp-RqJLnY/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:39:15 [09:39:15.979]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:39:15 [09:39:15.979]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ebe09609/bb/tmp-aefapv/proof -k /tmp/ebe09609/bb/tmp-aefapv/vk -i /tmp/ebe09609/bb/tmp-aefapv/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:39:16 [09:39:16.009]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:39:16 [09:39:16.010]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ebe09609/bb/tmp-nmKOjm/proof -k /tmp/ebe09609/bb/tmp-nmKOjm/vk -i /tmp/ebe09609/bb/tmp-nmKOjm/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:39:16 [09:39:16.035]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:39:16 [09:39:16.036]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ebe09609/bb/tmp-zY6KOy/proof -k /tmp/ebe09609/bb/tmp-zY6KOy/vk -i /tmp/ebe09609/bb/tmp-zY6KOy/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:39:16 [09:39:16.059]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.47 MiB)
09:39:16 Scheme is: ultra_honk, num threads: 128 (mem: 251.47 MiB)
09:39:16 --public_inputs_path: /tmp/ebe09609/bb/tmp-RqJLnY/public_inputs (mem: 251.47 MiB)
09:39:16 --proof_path: /tmp/ebe09609/bb/tmp-RqJLnY/proof (mem: 251.47 MiB)
09:39:16 --vk_path: /tmp/ebe09609/bb/tmp-RqJLnY/vk (mem: 251.47 MiB)
09:39:16 --verbose: true (mem: 251.47 MiB)
09:39:16 --scheme: ultra_honk (mem: 251.47 MiB)
09:39:16 --oracle_hash: poseidon2 (mem: 251.47 MiB)
09:39:16 --disable_zk: true (mem: 251.47 MiB)
09:39:16 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.47 MiB)
09:39:16 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.47 MiB)
09:39:16 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.47 MiB)
09:39:16 sumcheck_verified: 1 (mem: 251.47 MiB)
09:39:16 libra_evals_verified: 1 (mem: 251.47 MiB)
09:39:16 pairing_check_verified: 1 (mem: 251.47 MiB)
09:39:16 Proof verified successfully (mem: 251.47 MiB)
09:39:16 verified: 1 (mem: 251.47 MiB)
09:39:16 [09:39:16.064]
INFO:
bb-prover Successfully verified proof from key in 109.80901699999959 ms
09:39:16 [09:39:16.066]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.47 MiB)
09:39:16 Scheme is: ultra_honk, num threads: 128 (mem: 251.47 MiB)
09:39:16 --public_inputs_path: /tmp/ebe09609/bb/tmp-aefapv/public_inputs (mem: 251.47 MiB)
09:39:16 --proof_path: /tmp/ebe09609/bb/tmp-aefapv/proof (mem: 251.47 MiB)
09:39:16 --vk_path: /tmp/ebe09609/bb/tmp-aefapv/vk (mem: 251.47 MiB)
09:39:16 --verbose: true (mem: 251.47 MiB)
09:39:16 --scheme: ultra_honk (mem: 251.47 MiB)
09:39:16 --oracle_hash: poseidon2 (mem: 251.47 MiB)
09:39:16 --disable_zk: true (mem: 251.47 MiB)
09:39:16 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.47 MiB)
09:39:16 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.47 MiB)
09:39:16 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.47 MiB)
09:39:16 sumcheck_verified: 1 (mem: 251.47 MiB)
09:39:16 libra_evals_verified: 1 (mem: 251.47 MiB)
09:39:16 pairing_check_verified: 1 (mem: 251.47 MiB)
09:39:16 Proof verified successfully (mem: 251.47 MiB)
09:39:16 verified: 1 (mem: 251.47 MiB)
09:39:16 [09:39:16.068]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.94 MiB)
09:39:16 Scheme is: ultra_honk, num threads: 128 (mem: 250.94 MiB)
09:39:16 --public_inputs_path: /tmp/ebe09609/bb/tmp-nmKOjm/public_inputs (mem: 250.94 MiB)
09:39:16 --proof_path: /tmp/ebe09609/bb/tmp-nmKOjm/proof (mem: 250.94 MiB)
09:39:16 --vk_path: /tmp/ebe09609/bb/tmp-nmKOjm/vk (mem: 250.94 MiB)
09:39:16 --verbose: true (mem: 250.94 MiB)
09:39:16 --scheme: ultra_honk (mem: 250.94 MiB)
09:39:16 --oracle_hash: poseidon2 (mem: 250.94 MiB)
09:39:16 --disable_zk: true (mem: 250.94 MiB)
09:39:16 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.94 MiB)
09:39:16 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.94 MiB)
09:39:16 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.94 MiB)
09:39:16 sumcheck_verified: 1 (mem: 250.94 MiB)
09:39:16 libra_evals_verified: 1 (mem: 250.94 MiB)
09:39:16 pairing_check_verified: 1 (mem: 250.94 MiB)
09:39:16 Proof verified successfully (mem: 250.94 MiB)
09:39:16 verified: 1 (mem: 250.94 MiB)
09:39:16 [09:39:16.069]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.47 MiB)
09:39:16 Scheme is: ultra_honk, num threads: 128 (mem: 251.47 MiB)
09:39:16 --public_inputs_path: /tmp/ebe09609/bb/tmp-zY6KOy/public_inputs (mem: 251.47 MiB)
09:39:16 --proof_path: /tmp/ebe09609/bb/tmp-zY6KOy/proof (mem: 251.47 MiB)
09:39:16 --vk_path: /tmp/ebe09609/bb/tmp-zY6KOy/vk (mem: 251.47 MiB)
09:39:16 --verbose: true (mem: 251.47 MiB)
09:39:16 --scheme: ultra_honk (mem: 251.47 MiB)
09:39:16 --oracle_hash: poseidon2 (mem: 251.47 MiB)
09:39:16 --disable_zk: true (mem: 251.47 MiB)
09:39:16 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.47 MiB)
09:39:16 [09:39:16.071]
INFO:
bb-prover Successfully verified proof from key in 61.36118499999975 ms
09:39:16 [09:39:16.072]
INFO:
bb-prover Successfully verified proof from key in 93.02176000000145 ms
09:39:16 [09:39:16.079]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.47 MiB)
09:39:16 [09:39:16.080]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.47 MiB)
09:39:16 [09:39:16.080]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.47 MiB)
09:39:16 libra_evals_verified: 1 (mem: 251.47 MiB)
09:39:16 pairing_check_verified: 1 (mem: 251.47 MiB)
09:39:16 Proof verified successfully (mem: 251.47 MiB)
09:39:16 verified: 1 (mem: 251.47 MiB)
09:39:16 [09:39:16.082]
INFO:
bb-prover Successfully verified proof from key in 46.6908199999998 ms
09:39:16 [09:39:16.282]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":90.51058499999999,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
09:39:16 [09:39:16.284]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:39:16 [09:39:16.285]
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/ebe09609/bb/tmp-3RIW03 -b /tmp/ebe09609/bb/tmp-3RIW03/RootParityArtifact-bytecode -w /tmp/ebe09609/bb/tmp-3RIW03/partial-witness.gz -v --init_kzg_accumulator -v
09:39:16 [09:39:16.312]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
09:39:16 [09:39:16.313]
INFO:
bb-prover RootParityArtifact BB out - (mem:
09:39:16 [09:39:16.313]
INFO:
bb-prover RootParityArtifact BB out - 253.23
09:39:16 [09:39:16.314]
INFO:
bb-prover RootParityArtifact BB out - MiB)
09:39:16 [09:39:16.314]
INFO:
bb-prover RootParityArtifact BB out -
09:39:16 [09:39:16.314]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128
09:39:16 [09:39:16.315]
INFO:
bb-prover RootParityArtifact BB out - (mem: 253.23 MiB)
09:39:16 --scheme: ultra_honk (mem: 253.23 MiB)
09:39:16 --bytecode_path: /tmp/ebe09609/bb/tmp-3RIW03/RootParityArtifact-bytecode (mem: 253.23 MiB)
09:39:16 --witness_path: /tmp/ebe09609/bb/tmp-3RIW03/partial-witness.gz (mem: 253.23 MiB)
09:39:16 --output_path: /tmp/ebe09609/bb/tmp-3RIW03 (mem: 253.23 MiB)
09:39:16 Warning: the following option is called more than once (mem: 253.23 MiB)
09:39:16 --verbose: true (mem: 253.23 MiB)
09:39:16 --oracle_hash: poseidon2 (mem: 253.23 MiB)
09:39:16 --output_format: bytes_and_fields (mem: 253.23 MiB)
09:39:16 --write_vk: true (mem: 253.23 MiB)
09:39:16 --disable_zk: true (mem: 253.23 MiB)
09:39:16 --init_kzg_accumulator: true (mem: 253.23 MiB)
09:39:16 [09:39:16.492]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.23 MiB)
09:39:18 [09:39:18.690]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 414.97 MiB)
09:39:21 [09:39:21.485]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 777.50 MiB)
09:39:24 [09:39:24.160]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1042.72 MiB)
09:39:27 [09:39:27.337]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1416.66 MiB)
09:39:27 [09:39:27.338]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1416.66 MiB)
09:39:28 [09:39:28.920]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1868.13 MiB)
09:39:29 [09:39:29.278]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5520.13 MiB)
09:39:31 [09:39:31.823]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4483 ms. (mem: 6076.13 MiB)
09:39:31 [09:39:31.993]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6076.13 MiB)
09:39:32 [09:39:32.186]
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.16 MiB)
09:39:33 [09:39:33.538]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329
09:39:33 [09:39:33.540]
INFO:
bb-prover RootParityArtifact BB out - (mem: 7334.16 MiB)
09:39:44 [09:39:44.455]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7334.16 MiB)
09:39:49 [09:39:49.513]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7334.16 MiB)
09:39:51 [09:39:51.576]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8973.42 MiB)
09:39:53 [09:39:53.955]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8973.42 MiB)
09:39:59 [09:39:59.838]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8973.42 MiB)
09:40:01 [09:40:01.430]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8973.42 MiB)
09:40:01 [09:40:01.446]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8973.42 MiB)
09:40:02 [09:40:02.270]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/ebe09609/bb/tmp-3RIW03/public_inputs" (mem: 8973.42 MiB)
09:40:02 Public inputs fields saved to "/tmp/ebe09609/bb/tmp-3RIW03/public_inputs_fields.json" (mem: 8973.42 MiB)
09:40:02 Proof saved to "/tmp/ebe09609/bb/tmp-3RIW03/proof" (mem: 8973.42 MiB)
09:40:02 [09:40:02.271]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/ebe09609/bb/tmp-3RIW03/proof_fields.json" (mem: 8973.42 MiB)
09:40:02 VK saved to "/tmp/ebe09609/bb/tmp-3RIW03/vk" (mem: 8973.42 MiB)
09:40:02 VK fields saved to "/tmp/ebe09609/bb/tmp-3RIW03/vk_fields.json" (mem: 8973.42 MiB)
09:40:02 [09:40:02.522]
INFO:
bb-prover Generated proof for RootParityArtifact in 46236 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":46235.008944,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:40:02 [09:40:02.526]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:40:02 [09:40:02.526]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ebe09609/bb/tmp-Ps90Hs/proof -k /tmp/ebe09609/bb/tmp-Ps90Hs/vk -i /tmp/ebe09609/bb/tmp-Ps90Hs/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:40:02 [09:40:02.568]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.24 MiB)
09:40:02 Scheme is: ultra_honk, num threads: 128 (mem: 253.24 MiB)
09:40:02 --public_inputs_path: /tmp/ebe09609/bb/tmp-Ps90Hs/public_inputs (mem: 253.24 MiB)
09:40:02 --proof_path: /tmp/ebe09609/bb/tmp-Ps90Hs/proof (mem: 253.24 MiB)
09:40:02 --vk_path: /tmp/ebe09609/bb/tmp-Ps90Hs/vk (mem: 253.24 MiB)
09:40:02 --verbose: true (mem: 253.24 MiB)
09:40:02 --scheme: ultra_honk (mem: 253.24 MiB)
09:40:02 --oracle_hash: poseidon2 (mem: 253.24 MiB)
09:40:02 --disable_zk: true (mem: 253.24 MiB)
09:40:02 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.24 MiB)
09:40:02 [09:40:02.579]
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.24 MiB)
09:40:02 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.24 MiB)
09:40:02 [09:40:02.580]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1
09:40:02 [09:40:02.580]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
09:40:02 [09:40:02.580]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.24
09:40:02 [09:40:02.580]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
09:40:02 [09:40:02.581]
VERBOSE:
bb-prover bb-prover (verify) BB out -
09:40:02 [09:40:02.582]
VERBOSE:
bb-prover bb-prover (verify) BB out - libra_evals_verified: 1 (mem: 253.24 MiB)
09:40:02 pairing_check_verified: 1 (mem: 253.24 MiB)
09:40:02 Proof verified successfully (mem: 253.24 MiB)
09:40:02 verified: 1 (mem: 253.24 MiB)
09:40:02 [09:40:02.583]
INFO:
bb-prover Successfully verified proof from key in 57.26456899999903 ms
09:40:02 [09:40:02.587]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:40:02 [09:40:02.587]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ebe09609/bb/tmp-CNw0FL/proof -k /tmp/ebe09609/bb/tmp-CNw0FL/vk -i /tmp/ebe09609/bb/tmp-CNw0FL/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:40:02 [09:40:02.612]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.24 MiB)
09:40:02 [09:40:02.612]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.24 MiB)
09:40:02 --public_inputs_path: /tmp/ebe09609/bb/tmp-CNw0FL/public_inputs (mem: 253.24 MiB)
09:40:02 --proof_path: /tmp/ebe09609/bb/tmp-CNw0FL/proof (mem: 253.24 MiB)
09:40:02 --vk_path: /tmp/ebe09609/bb/tmp-CNw0FL/vk (mem: 253.24 MiB)
09:40:02 --verbose: true (mem: 253.24 MiB)
09:40:02 --scheme: ultra_honk (mem: 253.24 MiB)
09:40:02 --oracle_hash: poseidon2 (mem: 253.24 MiB)
09:40:02 --disable_zk: true (mem: 253.24 MiB)
09:40:02 [09:40:02.613]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.24 MiB)
09:40:02 [09:40:02.629]
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.24 MiB)
09:40:02 [09:40:02.630]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.24 MiB)
09:40:02 [09:40:02.631]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.24 MiB)
09:40:02 libra_evals_verified: 1 (mem: 253.24 MiB)
09:40:02 pairing_check_verified: 1 (mem: 253.24 MiB)
09:40:02 Proof verified successfully (mem: 253.24 MiB)
09:40:02 [09:40:02.631]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 253.24 MiB)
09:40:02 [09:40:02.632]
INFO:
bb-prover Successfully verified proof from key in 45.05608800000482 ms
09:40:02 [09:40:02.708]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
09:40:02
09:40:02 [09:40:02.708]
ERROR:
bb-prover Error running operation at /tmp/ebe09609/bb/tmp-rxXJdd: Error: Failed to generate witness: Failed assertion
09:40:02
09:40:02 [09:40:02.952]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":85.76467199999752,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
09:40:02 [09:40:02.957]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:40:02 [09:40:02.960]
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/ebe09609/bb/tmp-H7QFlQ -b /tmp/ebe09609/bb/tmp-H7QFlQ/RootParityArtifact-bytecode -w /tmp/ebe09609/bb/tmp-H7QFlQ/partial-witness.gz -v --init_kzg_accumulator -v
09:40:03 [09:40:02.999]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
09:40:03 [09:40:03.000]
INFO:
bb-prover RootParityArtifact BB out - (mem: 253.24 MiB)
09:40:03 Scheme is: ultra_honk, num threads: 128 (mem: 253.24 MiB)
09:40:03 --scheme: ultra_honk (mem: 253.24 MiB)
09:40:03 --bytecode_path: /tmp/ebe09609/bb/tmp-H7QFlQ/RootParityArtifact-bytecode (mem: 253.24 MiB)
09:40:03 --witness_path: /tmp/ebe09609/bb/tmp-H7QFlQ/partial-witness.gz (mem: 253.24 MiB)
09:40:03 --output_path: /tmp/ebe09609/bb/tmp-H7QFlQ (mem: 253.24 MiB)
09:40:03 Warning: the following option is called more than once (mem: 253.24 MiB)
09:40:03 --verbose: true (mem: 253.24 MiB)
09:40:03 --oracle_hash: poseidon2 (mem: 253.24 MiB)
09:40:03 --output_format: bytes_and_fields (mem: 253.24 MiB)
09:40:03 --write_vk: true (mem: 253.24 MiB)
09:40:03 --disable_zk: true (mem: 253.24 MiB)
09:40:03 --init_kzg_accumulator: true (mem: 253.24 MiB)
09:40:03 [09:40:03.182]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.24 MiB)
09:40:03 [09:40:03.197]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.24 MiB)
09:40:05 [09:40:05.334]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 417.38 MiB)
09:40:08 [09:40:08.268]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 764.66 MiB)
09:40:10 [09:40:10.669]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1027.02 MiB)
09:40:13 [09:40:13.877]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1399.22 MiB)
09:40:13 [09:40:13.880]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1399.22 MiB)
09:40:15 [09:40:15.474]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1848.97 MiB)
09:40:15 [09:40:15.962]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5516.97 MiB)
09:40:18 [09:40:18.421]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4543 ms. (mem: 6071.97 MiB)
09:40:18 [09:40:18.557]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6071.97 MiB)
09:40:18 [09:40:18.704]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6554.07 MiB)
09:40:20 [09:40:20.015]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7329.07 MiB)
09:40:26 [09:40:26.508]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7329.07 MiB)
09:40:31 [09:40:31.901]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7329.07 MiB)
09:40:34 [09:40:34.044]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds...
09:40:34 [09:40:34.044]
INFO:
bb-prover RootParityArtifact BB out - (mem: 8974.44 MiB)
09:40:36 [09:40:36.801]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8976.44 MiB)
09:40:42 [09:40:42.409]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8976.44 MiB)
09:40:43 [09:40:43.656]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8976.44 MiB)
09:40:43 [09:40:43.669]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8976.44 MiB)
09:40:44 [09:40:44.537]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/ebe09609/bb/tmp-H7QFlQ/public_inputs" (mem: 8976.44 MiB)
09:40:44 [09:40:44.537]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/ebe09609/bb/tmp-H7QFlQ/public_inputs_fields.json" (mem: 8976.44 MiB)
09:40:44 Proof saved to "/tmp/ebe09609/bb/tmp-H7QFlQ/proof" (mem: 8976.44 MiB)
09:40:44 Proof fields saved to "/tmp/ebe09609/bb/tmp-H7QFlQ/proof_fields.json" (mem: 8976.44 MiB)
09:40:44 VK saved to "/tmp/ebe09609/bb/tmp-H7QFlQ/vk" (mem: 8976.44 MiB)
09:40:44 [09:40:44.538]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/ebe09609/bb/tmp-H7QFlQ/vk_fields.json" (mem: 8976.44 MiB)
09:40:44 [09:40:44.820]
INFO:
bb-prover Generated proof for RootParityArtifact in 41860 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":41859.615462,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:40:44 [09:40:44.824]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:40:44 [09:40:44.825]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ebe09609/bb/tmp-xMBj7O/proof -k /tmp/ebe09609/bb/tmp-xMBj7O/vk -i /tmp/ebe09609/bb/tmp-xMBj7O/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:40:44 [09:40:44.852]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.24 MiB)
09:40:44 Scheme is: ultra_honk, num threads: 128 (mem: 253.24 MiB)
09:40:44 --public_inputs_path: /tmp/ebe09609/bb/tmp-xMBj7O/public_inputs (mem: 253.24 MiB)
09:40:44 --proof_path: /tmp/ebe09609/bb/tmp-xMBj7O/proof (mem: 253.24 MiB)
09:40:44 --vk_path: /tmp/ebe09609/bb/tmp-xMBj7O/vk (mem: 253.24 MiB)
09:40:44 --verbose: true (mem: 253.24 MiB)
09:40:44 --scheme: ultra_honk (mem: 253.24 MiB)
09:40:44 --oracle_hash: poseidon2 (mem: 253.24 MiB)
09:40:44 --disable_zk: true (mem: 253.24 MiB)
09:40:44 [09:40:44.855]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.24 MiB)
09:40:44 [09:40:44.866]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.24 MiB)
09:40:44 Proof verification failed (mem: 253.24 MiB)
09:40:44 [09:40:44.867]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 253.24 MiB)
09:40:44 [09:40:44.868]
ERROR:
bb-prover Error running operation at /tmp/ebe09609/bb/tmp-xMBj7O: ProvingError: Failed to verify proof from key!
09:40:45 [09:40:45.030]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":66.39040099999693,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
09:40:45 [09:40:45.031]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:40:45 [09:40:45.032]
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/ebe09609/bb/tmp-7gmzC1 -b /tmp/ebe09609/bb/tmp-7gmzC1/RootParityArtifact-bytecode -w /tmp/ebe09609/bb/tmp-7gmzC1/partial-witness.gz -v --init_kzg_accumulator -v
09:40:45 [09:40:45.054]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.24 MiB)
09:40:45 Scheme is: ultra_honk, num threads: 128 (mem: 253.24 MiB)
09:40:45 [09:40:45.055]
INFO:
bb-prover RootParityArtifact BB out - --scheme: ultra_honk (mem: 253.24 MiB)
09:40:45 --bytecode_path: /tmp/ebe09609/bb/tmp-7gmzC1/RootParityArtifact-bytecode (mem: 253.24 MiB)
09:40:45 --witness_path: /tmp/ebe09609/bb/tmp-7gmzC1/partial-witness.gz (mem: 253.24 MiB)
09:40:45 --output_path: /tmp/ebe09609/bb/tmp-7gmzC1 (mem: 253.24 MiB)
09:40:45 Warning: the following option is called more than once (mem: 253.24 MiB)
09:40:45 --verbose: true (mem: 253.24 MiB)
09:40:45 --oracle_hash: poseidon2 (mem: 253.24 MiB)
09:40:45 --output_format: bytes_and_fields (mem: 253.24 MiB)
09:40:45 --write_vk: true (mem: 253.24 MiB)
09:40:45 --disable_zk: true (mem: 253.24 MiB)
09:40:45 --init_kzg_accumulator: true (mem: 253.24 MiB)
09:40:45 [09:40:45.215]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.24 MiB)
09:40:45 [09:40:45.229]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.24 MiB)
09:40:46 [09:40:46.724]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 425.04 MiB)
09:40:48 [09:40:48.778]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 791.54 MiB)
09:40:50 [09:40:50.325]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1057.36 MiB)
09:40:52 [09:40:52.274]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1432.04 MiB)
09:40:52 [09:40:52.275]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1432.04 MiB)
09:40:53 [09:40:53.552]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1881.45 MiB)
09:40:53 [09:40:53.958]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5520.45 MiB)
09:40:55 [09:40:55.430]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3155 ms. (mem: 6066.45 MiB)
09:40:55 [09:40:55.578]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6066.45 MiB)
09:40:55 [09:40:55.729]
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.15 MiB)
09:40:56 [09:40:56.963]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7335.15 MiB)
09:41:02 [09:41:02.020]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7335.15 MiB)
09:41:06 [09:41:06.150]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7335.15 MiB)
09:41:08 [09:41:08.126]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8969.24 MiB)
09:41:10 [09:41:10.262]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8971.24 MiB)
09:41:15 [09:41:15.909]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8971.24 MiB)
09:41:17 [09:41:17.295]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8971.24 MiB)
09:41:17 [09:41:17.312]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8971.24 MiB)
09:41:18 [09:41:18.246]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/ebe09609/bb/tmp-7gmzC1/public_inputs" (mem: 8971.24 MiB)
09:41:18 [09:41:18.247]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/ebe09609/bb/tmp-7gmzC1/public_inputs_fields.json" (mem: 8971.24 MiB)
09:41:18 Proof saved to "/tmp/ebe09609/bb/tmp-7gmzC1/proof" (mem: 8971.24 MiB)
09:41:18 Proof fields saved to "/tmp/ebe09609/bb/tmp-7gmzC1/proof_fields.json" (mem: 8971.24 MiB)
09:41:18 VK saved to "/tmp/ebe09609/bb/tmp-7gmzC1/vk" (mem: 8971.24 MiB)
09:41:18 [09:41:18.248]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/ebe09609/bb/tmp-7gmzC1/vk_fields.json" (mem: 8971.24 MiB)
09:41:18 [09:41:18.485]
INFO:
bb-prover Generated proof for RootParityArtifact in 33452 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":33451.21120199999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:41:18 [09:41:18.490]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:41:18 [09:41:18.490]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ebe09609/bb/tmp-cqFGgs/proof -k /tmp/ebe09609/bb/tmp-cqFGgs/vk -i /tmp/ebe09609/bb/tmp-cqFGgs/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:41:18 [09:41:18.518]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.24 MiB)
09:41:18 Scheme is: ultra_honk, num threads: 128 (mem: 253.24 MiB)
09:41:18 --public_inputs_path: /tmp/ebe09609/bb/tmp-cqFGgs/public_inputs (mem: 253.24 MiB)
09:41:18 --proof_path: /tmp/ebe09609/bb/tmp-cqFGgs/proof (mem: 253.24 MiB)
09:41:18 --vk_path: /tmp/ebe09609/bb/tmp-cqFGgs/vk (mem: 253.24 MiB)
09:41:18 --verbose: true (mem: 253.24 MiB)
09:41:18 --scheme: ultra_honk (mem: 253.24 MiB)
09:41:18 --oracle_hash: poseidon2 (mem: 253.24 MiB)
09:41:18 --disable_zk: true (mem: 253.24 MiB)
09:41:18 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.24 MiB)
09:41:18 [09:41:18.530]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.24 MiB)
09:41:18 Proof verification failed (mem: 253.24 MiB)
09:41:18 verified: 0 (mem: 253.24 MiB)
09:41:18 [09:41:18.532]
ERROR:
bb-prover Error running operation at /tmp/ebe09609/bb/tmp-cqFGgs: ProvingError: Failed to verify proof from key!
09:41:18 [09:41:18.535]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
09:41:18
PASS src/test/bb_prover_parity.test.ts (
135.544 s)
09:41:18 prover/bb_prover/parity
09:41:18
✓ proves the parity circuits (126888 ms)
09:41:18
09:41:18
Test Suites: 1 passed, 1 total
09:41:18
Tests: 1 passed, 1 total
09:41:18
Snapshots: 0 total
09:41:18
Time: 135.631 s
09:41:18
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
09:41:18
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?