Parent Log:
http://ci.aztec-labs.com/9741f529cf8538b7
Command: 02087f8fc23cff6c: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/78d87cb88633aee537d022d6fd8e57ceb74a3a95
Env: REF_NAME=gh-readonly-queue/next/pr-15024-78a5deb1c3aa24503935bbda20f9374ba35aa5c4 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 18 10:44:56 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15024_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
10:44:57 +++ id -u
10:44:57 +++ id -g
10:44:57 ++ 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'\'''
10:44:57 + cid=b4d3d11916a00b9a52c621e1a3102bfb246ef4653659923f4016f298b6458919
10:44:57 + set +x
10:44:58 {"level":25,"time":1750243498885,"pid":7,"hostname":"b4d3d11916a0","module":"logger","msg":"Logger initialized with level verbose"}
10:45:08 [10:45:08.035]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-lnrgeI/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
10:45:08 [10:45:08.091]
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/a3ff40fe/bb
10:45:08 [10:45:08.094]
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/a3ff40fe/acvm
10:45:08 [10:45:08.096]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/a3ff40fe/bb
10:45:08 [10:45:08.097]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/a3ff40fe/acvm
10:45:08 [10:45:08.102]
INFO:
prover-client:proving-broker Proving Broker started
10:45:08 [10:45:08.104]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
10:45:08 [10:45:08.363]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":99.74864300000081,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:45:08 [10:45:08.385]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":72.61143499999889,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:45:08 [10:45:08.396]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":61.48521599999913,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:45:08 [10:45:08.408]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":44.14772300000004,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:45:08 [10:45:08.418]
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/a3ff40fe/bb/tmp-b4Z5aB -b /tmp/a3ff40fe/bb/tmp-b4Z5aB/BaseParityArtifact-bytecode -w /tmp/a3ff40fe/bb/tmp-b4Z5aB/partial-witness.gz -v --init_kzg_accumulator -v
10:45:08 [10:45:08.452]
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/a3ff40fe/bb/tmp-gvs9kK -b /tmp/a3ff40fe/bb/tmp-gvs9kK/BaseParityArtifact-bytecode -w /tmp/a3ff40fe/bb/tmp-gvs9kK/partial-witness.gz -v --init_kzg_accumulator -v
10:45:08 [10:45:08.478]
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/a3ff40fe/bb/tmp-8abKf8 -b /tmp/a3ff40fe/bb/tmp-8abKf8/BaseParityArtifact-bytecode -w /tmp/a3ff40fe/bb/tmp-8abKf8/partial-witness.gz -v --init_kzg_accumulator -v
10:45:08 [10:45:08.515]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.72 MiB)
10:45:08 Scheme is: ultra_honk, num threads: 128 (mem: 252.72 MiB)
10:45:08 --scheme: ultra_honk (mem: 252.72 MiB)
10:45:08 --bytecode_path: /tmp/a3ff40fe/bb/tmp-b4Z5aB/BaseParityArtifact-bytecode (mem: 252.72 MiB)
10:45:08 --witness_path: /tmp/a3ff40fe/bb/tmp-b4Z5aB/partial-witness.gz (mem: 252.72 MiB)
10:45:08 --output_path: /tmp/a3ff40fe/bb/tmp-b4Z5aB (mem: 252.72 MiB)
10:45:08 Warning: the following option is called more than once (mem: 252.72 MiB)
10:45:08 --verbose: true (mem: 252.72 MiB)
10:45:08 --oracle_hash: poseidon2 (mem: 252.72 MiB)
10:45:08 --output_format: bytes_and_fields (mem: 252.72 MiB)
10:45:08 --write_vk: true (mem: 252.72 MiB)
10:45:08 --disable_zk: true (mem: 252.72 MiB)
10:45:08 --init_kzg_accumulator: true (mem: 252.72 MiB)
10:45:08 [10:45:08.516]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.72 MiB)
10:45:08 Scheme is: ultra_honk, num threads: 128 (mem: 252.72 MiB)
10:45:08 --scheme: ultra_honk (mem: 252.72 MiB)
10:45:08 --bytecode_path: /tmp/a3ff40fe/bb/tmp-gvs9kK/BaseParityArtifact-bytecode (mem: 252.72 MiB)
10:45:08 --witness_path: /tmp/a3ff40fe/bb/tmp-gvs9kK/partial-witness.gz (mem: 252.72 MiB)
10:45:08 --output_path: /tmp/a3ff40fe/bb/tmp-gvs9kK (mem: 252.72 MiB)
10:45:08 Warning: the following option is called more than once (mem: 252.72 MiB)
10:45:08 --verbose: true (mem: 252.72 MiB)
10:45:08 --oracle_hash: poseidon2 (mem: 252.72 MiB)
10:45:08 --output_format: bytes_and_fields (mem: 252.72 MiB)
10:45:08 --write_vk: true (mem: 252.72 MiB)
10:45:08 --disable_zk: true (mem: 252.72 MiB)
10:45:08 --init_kzg_accumulator: true (mem: 252.72 MiB)
10:45:08 [10:45:08.517]
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/a3ff40fe/bb/tmp-iXzVwI -b /tmp/a3ff40fe/bb/tmp-iXzVwI/BaseParityArtifact-bytecode -w /tmp/a3ff40fe/bb/tmp-iXzVwI/partial-witness.gz -v --init_kzg_accumulator -v
10:45:08 [10:45:08.547]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.72 MiB)
10:45:08 Scheme is: ultra_honk, num threads: 128 (mem: 252.72 MiB)
10:45:08 --scheme: ultra_honk (mem: 252.72 MiB)
10:45:08 --bytecode_path: /tmp/a3ff40fe/bb/tmp-8abKf8/BaseParityArtifact-bytecode (mem: 252.72 MiB)
10:45:08 --witness_path: /tmp/a3ff40fe/bb/tmp-8abKf8/partial-witness.gz (mem: 252.72 MiB)
10:45:08 --output_path: /tmp/a3ff40fe/bb/tmp-8abKf8 (mem: 252.72 MiB)
10:45:08 Warning: the following option is called more than once (mem: 252.72 MiB)
10:45:08 --verbose: true (mem: 252.72 MiB)
10:45:08 --oracle_hash: poseidon2 (mem: 252.72 MiB)
10:45:08 --output_format: bytes_and_fields (mem: 252.72 MiB)
10:45:08 --write_vk: true (mem: 252.72 MiB)
10:45:08 --disable_zk: true (mem: 252.72 MiB)
10:45:08 --init_kzg_accumulator: true (mem: 252.72 MiB)
10:45:08 [10:45:08.550]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.72 MiB)
10:45:08 Scheme is: ultra_honk, num threads: 128 (mem: 252.72 MiB)
10:45:08 --scheme: ultra_honk (mem: 252.72 MiB)
10:45:08 --bytecode_path: /tmp/a3ff40fe/bb/tmp-iXzVwI/BaseParityArtifact-bytecode (mem: 252.72 MiB)
10:45:08 --witness_path: /tmp/a3ff40fe/bb/tmp-iXzVwI/partial-witness.gz (mem: 252.72 MiB)
10:45:08 --output_path: /tmp/a3ff40fe/bb/tmp-iXzVwI (mem: 252.72 MiB)
10:45:08 Warning: the following option is called more than once (mem: 252.72 MiB)
10:45:08 --verbose: true (mem: 252.72 MiB)
10:45:08 --oracle_hash: poseidon2 (mem: 252.72 MiB)
10:45:08 --output_format: bytes_and_fields (mem: 252.72 MiB)
10:45:08 --write_vk: true (mem: 252.72 MiB)
10:45:08 --disable_zk: true (mem: 252.72 MiB)
10:45:08 --init_kzg_accumulator: true (mem: 252.72 MiB)
10:45:08 [10:45:08.621]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem:
10:45:08 [10:45:08.624]
INFO:
bb-prover BaseParityArtifact BB out - 252.72 MiB)
10:45:08 Constructing DeciderProvingKey (mem: 252.72 MiB)
10:45:08 [10:45:08.627]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
10:45:08 [10:45:08.630]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 252.72 MiB)
10:45:08 [10:45:08.631]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.72 MiB)
10:45:08 Constructing DeciderProvingKey (mem: 252.72 MiB)
10:45:08 [10:45:08.637]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.72 MiB)
10:45:08 [10:45:08.705]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
10:45:08 [10:45:08.706]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 252.72 MiB)
10:45:08 Constructing DeciderProvingKey (mem: 252.72 MiB)
10:45:08 [10:45:08.710]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.72 MiB)
10:45:08 Constructing DeciderProvingKey (mem: 252.72 MiB)
10:45:08 [10:45:08.718]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.72 MiB)
10:45:08 [10:45:08.733]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.72 MiB)
10:45:08 [10:45:08.854]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.72 MiB)
10:45:08 [10:45:08.919]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.72 MiB)
10:45:08 [10:45:08.943]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 301 ms. (mem: 252.72 MiB)
10:45:08 [10:45:08.949]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.72 MiB)
10:45:08 [10:45:08.954]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.72 MiB)
10:45:08 [10:45:08.958]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.72 MiB)
10:45:08 [10:45:08.992]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.72 MiB)
10:45:09 [10:45:09.020]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.72 MiB)
10:45:09 [10:45:09.046]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 420 ms. (mem: 252.72 MiB)
10:45:09 [10:45:09.068]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.72 MiB)
10:45:09 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.72 MiB)
10:45:09 [10:45:09.087]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.72 MiB)
10:45:09 [10:45:09.093]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 384 ms. (mem: 252.72 MiB)
10:45:09 [10:45:09.095]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.72 MiB)
10:45:09 [10:45:09.100]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.72
10:45:09 [10:45:09.103]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
10:45:09 [10:45:09.122]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.72 MiB)
10:45:09 [10:45:09.154]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 433 ms. (mem: 252.72 MiB)
10:45:09 WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.72 MiB)
10:45:09 [10:45:09.169]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.72 MiB)
10:45:09 [10:45:09.195]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.72 MiB)
10:45:09 [10:45:09.992]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.72 MiB)
10:45:09 [10:45:09.996]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.72 MiB)
10:45:10 [10:45:10.011]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.72 MiB)
10:45:10 [10:45:10.217]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.72 MiB)
10:45:10 [10:45:10.619]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.72 MiB)
10:45:10 [10:45:10.652]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.72 MiB)
10:45:10 [10:45:10.746]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.72 MiB)
10:45:10 [10:45:10.805]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.72 MiB)
10:45:10 [10:45:10.898]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 256.10 MiB)
10:45:10 [10:45:10.970]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 258.09 MiB)
10:45:11 [10:45:11.020]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 255.48 MiB)
10:45:11 [10:45:11.128]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 256.10 MiB)
10:45:11 [10:45:11.139]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.72 MiB)
10:45:11 [10:45:11.185]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 258.09 MiB)
10:45:11 [10:45:11.228]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 255.48 MiB)
10:45:11 [10:45:11.288]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.72 MiB)
10:45:12 [10:45:12.319]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 256.10 MiB)
10:45:12 [10:45:12.382]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 256.10 MiB)
10:45:12 [10:45:12.383]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 256.10 MiB)
10:45:12 [10:45:12.384]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 258.09 MiB)
10:45:12 [10:45:12.390]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/a3ff40fe/bb/tmp-iXzVwI/public_inputs" (mem: 256.10 MiB)
10:45:12 Public inputs fields saved to "/tmp/a3ff40fe/bb/tmp-iXzVwI/public_inputs_fields.json" (mem: 256.10 MiB)
10:45:12 Proof saved to "/tmp/a3ff40fe/bb/tmp-iXzVwI/proof" (mem: 256.10 MiB)
10:45:12 Proof fields saved to "/tmp/a3ff40fe/bb/tmp-iXzVwI/proof_fields.json" (mem: 256.10 MiB)
10:45:12 VK saved to "/tmp/a3ff40fe/bb/tmp-iXzVwI/vk" (mem: 256.10 MiB)
10:45:12 VK fields saved to "/tmp/a3ff40fe/bb/tmp-iXzVwI/vk_fields.json" (mem: 256.10 MiB)
10:45:12 [10:45:12.436]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 258.09 MiB)
10:45:12 [10:45:12.443]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 258.09 MiB)
10:45:12 Public inputs saved to "/tmp/a3ff40fe/bb/tmp-gvs9kK/public_inputs" (mem: 258.09 MiB)
10:45:12 Public inputs fields saved to "/tmp/a3ff40fe/bb/tmp-gvs9kK/public_inputs_fields.json" (mem: 258.09 MiB)
10:45:12 Proof saved to "/tmp/a3ff40fe/bb/tmp-gvs9kK/proof" (mem: 258.09 MiB)
10:45:12 Proof fields saved to "/tmp/a3ff40fe/bb/tmp-gvs9kK/proof_fields.json" (mem: 258.09 MiB)
10:45:12 VK saved to "/tmp/a3ff40fe/bb/tmp-gvs9kK/vk" (mem: 258.09 MiB)
10:45:12 VK fields saved to "/tmp/a3ff40fe/bb/tmp-gvs9kK/vk_fields.json" (mem: 258.09 MiB)
10:45:12 [10:45:12.462]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3931 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3930.749878999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:45:12 [10:45:12.473]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a3ff40fe/bb/tmp-ZneGde/proof -k /tmp/a3ff40fe/bb/tmp-ZneGde/vk -i /tmp/a3ff40fe/bb/tmp-ZneGde/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:45:12 [10:45:12.526]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 255.48 MiB)
10:45:12 computed opening proof (mem: 255.48 MiB)
10:45:12 [10:45:12.526]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.72 MiB)
10:45:12 [10:45:12.532]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 255.48 MiB)
10:45:12 Public inputs saved to "/tmp/a3ff40fe/bb/tmp-b4Z5aB/public_inputs" (mem: 255.48 MiB)
10:45:12 Public inputs fields saved to "/tmp/a3ff40fe/bb/tmp-b4Z5aB/public_inputs_fields.json" (mem: 255.48 MiB)
10:45:12 Proof saved to "/tmp/a3ff40fe/bb/tmp-b4Z5aB/proof" (mem: 255.48 MiB)
10:45:12 Proof fields saved to "/tmp/a3ff40fe/bb/tmp-b4Z5aB/proof_fields.json" (mem: 255.48 MiB)
10:45:12 VK saved to "/tmp/a3ff40fe/bb/tmp-b4Z5aB/vk" (mem: 255.48 MiB)
10:45:12 VK fields saved to "/tmp/a3ff40fe/bb/tmp-b4Z5aB/vk_fields.json" (mem: 255.48 MiB)
10:45:12 [10:45:12.532]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.72 MiB)
10:45:12 [10:45:12.533]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.72 MiB)
10:45:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.72 MiB)
10:45:12 --public_inputs_path: /tmp/a3ff40fe/bb/tmp-ZneGde/public_inputs (mem: 252.72 MiB)
10:45:12 --proof_path: /tmp/a3ff40fe/bb/tmp-ZneGde/proof (mem: 252.72 MiB)
10:45:12 --vk_path: /tmp/a3ff40fe/bb/tmp-ZneGde/vk (mem: 252.72 MiB)
10:45:12 --verbose: true (mem: 252.72 MiB)
10:45:12 --scheme: ultra_honk (mem: 252.72 MiB)
10:45:12 --oracle_hash: poseidon2 (mem: 252.72 MiB)
10:45:12 --disable_zk: true (mem: 252.72 MiB)
10:45:12 [10:45:12.534]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 252.72 MiB)
10:45:12 [10:45:12.536]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4076 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4075.855207999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:45:12 [10:45:12.536]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.72 MiB)
10:45:12 [10:45:12.539]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/a3ff40fe/bb/tmp-8abKf8/public_inputs" (mem: 252.72 MiB)
10:45:12 [10:45:12.540]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/a3ff40fe/bb/tmp-8abKf8/public_inputs_fields.json" (mem: 252.72 MiB)
10:45:12 Proof saved to "/tmp/a3ff40fe/bb/tmp-8abKf8/proof" (mem: 252.72 MiB)
10:45:12 [10:45:12.542]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/a3ff40fe/bb/tmp-8abKf8/proof_fields.json" (mem: 252.72 MiB)
10:45:12 VK saved to "/tmp/a3ff40fe/bb/tmp-8abKf8/vk" (mem: 252.72 MiB)
10:45:12 [10:45:12.543]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/a3ff40fe/bb/tmp-8abKf8/vk_fields.json" (mem: 252.72 MiB)
10:45:12 [10:45:12.546]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a3ff40fe/bb/tmp-L46ZJR/proof -k /tmp/a3ff40fe/bb/tmp-L46ZJR/vk -i /tmp/a3ff40fe/bb/tmp-L46ZJR/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:45:12 [10:45:12.570]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.72 MiB)
10:45:12 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.72 MiB)
10:45:12 sumcheck_verified: 1 (mem: 252.72 MiB)
10:45:12 libra_evals_verified: 1 (mem: 252.72 MiB)
10:45:12 pairing_check_verified: 1 (mem: 252.72 MiB)
10:45:12 Proof verified successfully (mem: 252.72 MiB)
10:45:12 verified: 1 (mem: 252.72 MiB)
10:45:12 [10:45:12.571]
INFO:
bb-prover Successfully verified proof from key in 99.02442999999948 ms
10:45:12 [10:45:12.578]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.73 MiB)
10:45:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.73 MiB)
10:45:12 --public_inputs_path: /tmp/a3ff40fe/bb/tmp-L46ZJR/public_inputs (mem: 252.73 MiB)
10:45:12 --proof_path: /tmp/a3ff40fe/bb/tmp-L46ZJR/proof (mem: 252.73 MiB)
10:45:12 --vk_path: /tmp/a3ff40fe/bb/tmp-L46ZJR/vk (mem: 252.73 MiB)
10:45:12 --verbose: true (mem: 252.73 MiB)
10:45:12 --scheme: ultra_honk (mem: 252.73 MiB)
10:45:12 --oracle_hash: poseidon2 (mem: 252.73 MiB)
10:45:12 --disable_zk: true (mem: 252.73 MiB)
10:45:12 [10:45:12.579]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.73 MiB)
10:45:12 [10:45:12.583]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4154 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4153.747829,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:45:12 [10:45:12.599]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.73 MiB)
10:45:12 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.73 MiB)
10:45:12 sumcheck_verified: 1 (mem: 252.73 MiB)
10:45:12 libra_evals_verified: 1 (mem: 252.73 MiB)
10:45:12 pairing_check_verified: 1 (mem: 252.73 MiB)
10:45:12 Proof verified successfully (mem: 252.73 MiB)
10:45:12 verified: 1 (mem: 252.73 MiB)
10:45:12 [10:45:12.602]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4113 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4112.127320000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:45:12 [10:45:12.603]
INFO:
bb-prover Successfully verified proof from key in 57.60203599999841 ms
10:45:12 [10:45:12.606]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a3ff40fe/bb/tmp-hN5w4z/proof -k /tmp/a3ff40fe/bb/tmp-hN5w4z/vk -i /tmp/a3ff40fe/bb/tmp-hN5w4z/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:45:12 [10:45:12.640]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a3ff40fe/bb/tmp-sx7lZC/proof -k /tmp/a3ff40fe/bb/tmp-sx7lZC/vk -i /tmp/a3ff40fe/bb/tmp-sx7lZC/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:45:12 [10:45:12.667]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.84 MiB)
10:45:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.84 MiB)
10:45:12 --public_inputs_path: /tmp/a3ff40fe/bb/tmp-hN5w4z/public_inputs (mem: 252.84 MiB)
10:45:12 --proof_path: /tmp/a3ff40fe/bb/tmp-hN5w4z/proof (mem: 252.84 MiB)
10:45:12 --vk_path: /tmp/a3ff40fe/bb/tmp-hN5w4z/vk (mem: 252.84 MiB)
10:45:12 --verbose: true (mem: 252.84 MiB)
10:45:12 --scheme: ultra_honk (mem: 252.84 MiB)
10:45:12 --oracle_hash: poseidon2 (mem: 252.84 MiB)
10:45:12 --disable_zk: true (mem: 252.84 MiB)
10:45:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.84 MiB)
10:45:12 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.84 MiB)
10:45:12 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.84 MiB)
10:45:12 sumcheck_verified: 1 (mem: 252.84 MiB)
10:45:12 libra_evals_verified: 1 (mem: 252.84 MiB)
10:45:12 pairing_check_verified: 1 (mem: 252.84 MiB)
10:45:12 Proof verified successfully (mem: 252.84 MiB)
10:45:12 verified: 1 (mem: 252.84 MiB)
10:45:12 [10:45:12.669]
INFO:
bb-prover Successfully verified proof from key in 63.18393599999945 ms
10:45:12 [10:45:12.671]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
10:45:12 [10:45:12.672]
VERBOSE:
bb-prover bb-prover (verify) BB out - 252.71 MiB)
10:45:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.71 MiB)
10:45:12 --public_inputs_path: /tmp/a3ff40fe/bb/tmp-sx7lZC/public_inputs (mem: 252.71 MiB)
10:45:12 --proof_path: /tmp/a3ff40fe/bb/tmp-sx7lZC/proof (mem: 252.71 MiB)
10:45:12 --vk_path: /tmp/a3ff40fe/bb/tmp-sx7lZC/vk (mem: 252.71 MiB)
10:45:12 --verbose: true (mem: 252.71 MiB)
10:45:12 --scheme: ultra_honk (mem: 252.71 MiB)
10:45:12 --oracle_hash: poseidon2 (mem: 252.71 MiB)
10:45:12 --disable_zk: true (mem: 252.71 MiB)
10:45:12 [10:45:12.673]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.71 MiB)
10:45:12 [10:45:12.687]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.71 MiB)
10:45:12 [10:45:12.688]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 252.71 MiB)
10:45:12 [10:45:12.689]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.71 MiB)
10:45:12 libra_evals_verified: 1 (mem: 252.71 MiB)
10:45:12 pairing_check_verified: 1 (mem: 252.71 MiB)
10:45:12 Proof verified successfully (mem: 252.71 MiB)
10:45:12 [10:45:12.689]
VERBOSE:
bb-prover bb-prover (verify) BB out -
10:45:12 verified: 1 (mem: 252.71 MiB)
10:45:12 [10:45:12.690]
INFO:
bb-prover Successfully verified proof from key in 50.7893039999999 ms
10:45:12 [10:45:12.701]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a3ff40fe/bb/tmp-8cvkqk/proof -k /tmp/a3ff40fe/bb/tmp-8cvkqk/vk -i /tmp/a3ff40fe/bb/tmp-8cvkqk/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:45:12 [10:45:12.727]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a3ff40fe/bb/tmp-InKrVN/proof -k /tmp/a3ff40fe/bb/tmp-InKrVN/vk -i /tmp/a3ff40fe/bb/tmp-InKrVN/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:45:12 [10:45:12.753]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a3ff40fe/bb/tmp-BHOAeA/proof -k /tmp/a3ff40fe/bb/tmp-BHOAeA/vk -i /tmp/a3ff40fe/bb/tmp-BHOAeA/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:45:12 [10:45:12.784]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a3ff40fe/bb/tmp-KWvT2Q/proof -k /tmp/a3ff40fe/bb/tmp-KWvT2Q/vk -i /tmp/a3ff40fe/bb/tmp-KWvT2Q/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:45:12 [10:45:12.820]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.91 MiB)
10:45:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.91 MiB)
10:45:12 --public_inputs_path: /tmp/a3ff40fe/bb/tmp-8cvkqk/public_inputs (mem: 252.91 MiB)
10:45:12 --proof_path: /tmp/a3ff40fe/bb/tmp-8cvkqk/proof (mem: 252.91 MiB)
10:45:12 --vk_path: /tmp/a3ff40fe/bb/tmp-8cvkqk/vk (mem: 252.91 MiB)
10:45:12 --verbose: true (mem: 252.91 MiB)
10:45:12 --scheme: ultra_honk (mem: 252.91 MiB)
10:45:12 --oracle_hash: poseidon2 (mem: 252.91 MiB)
10:45:12 --disable_zk: true (mem: 252.91 MiB)
10:45:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.91 MiB)
10:45:12 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.91 MiB)
10:45:12 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.91 MiB)
10:45:12 sumcheck_verified: 1 (mem: 252.91 MiB)
10:45:12 libra_evals_verified: 1 (mem: 252.91 MiB)
10:45:12 pairing_check_verified: 1 (mem: 252.91 MiB)
10:45:12 Proof verified successfully (mem: 252.91 MiB)
10:45:12 verified: 1 (mem: 252.91 MiB)
10:45:12 [10:45:12.821]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.91 MiB)
10:45:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.91 MiB)
10:45:12 --public_inputs_path: /tmp/a3ff40fe/bb/tmp-InKrVN/public_inputs (mem: 252.91 MiB)
10:45:12 --proof_path: /tmp/a3ff40fe/bb/tmp-InKrVN/proof (mem: 252.91 MiB)
10:45:12 --vk_path: /tmp/a3ff40fe/bb/tmp-InKrVN/vk (mem: 252.91 MiB)
10:45:12 --verbose: true (mem: 252.91 MiB)
10:45:12 --scheme: ultra_honk (mem: 252.91 MiB)
10:45:12 --oracle_hash: poseidon2 (mem: 252.91 MiB)
10:45:12 --disable_zk: true (mem: 252.91 MiB)
10:45:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.91 MiB)
10:45:12 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.91 MiB)
10:45:12 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.91 MiB)
10:45:12 sumcheck_verified: 1 (mem: 252.91 MiB)
10:45:12 libra_evals_verified: 1 (mem: 252.91 MiB)
10:45:12 pairing_check_verified: 1 (mem: 252.91 MiB)
10:45:12 Proof verified successfully (mem: 252.91 MiB)
10:45:12 verified: 1 (mem: 252.91 MiB)
10:45:12 [10:45:12.822]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.91 MiB)
10:45:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.91 MiB)
10:45:12 --public_inputs_path: /tmp/a3ff40fe/bb/tmp-BHOAeA/public_inputs (mem: 252.91 MiB)
10:45:12 --proof_path: /tmp/a3ff40fe/bb/tmp-BHOAeA/proof (mem: 252.91 MiB)
10:45:12 --vk_path: /tmp/a3ff40fe/bb/tmp-BHOAeA/vk (mem: 252.91 MiB)
10:45:12 --verbose: true (mem: 252.91 MiB)
10:45:12 --scheme: ultra_honk (mem: 252.91 MiB)
10:45:12 --oracle_hash: poseidon2 (mem: 252.91 MiB)
10:45:12 --disable_zk: true (mem: 252.91 MiB)
10:45:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.91 MiB)
10:45:12 [10:45:12.823]
INFO:
bb-prover Successfully verified proof from key in 96.31644200000119 ms
10:45:12 [10:45:12.824]
INFO:
bb-prover Successfully verified proof from key in 122.50347200000033 ms
10:45:12 [10:45:12.834]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.91 MiB)
10:45:12 Scheme is: ultra_honk, num threads: 128 (mem: 252.91 MiB)
10:45:12 --public_inputs_path: /tmp/a3ff40fe/bb/tmp-KWvT2Q/public_inputs (mem: 252.91 MiB)
10:45:12 --proof_path: /tmp/a3ff40fe/bb/tmp-KWvT2Q/proof (mem: 252.91 MiB)
10:45:12 --vk_path: /tmp/a3ff40fe/bb/tmp-KWvT2Q/vk (mem: 252.91 MiB)
10:45:12 --verbose: true (mem: 252.91 MiB)
10:45:12 --scheme: ultra_honk (mem: 252.91 MiB)
10:45:12 --oracle_hash: poseidon2 (mem: 252.91 MiB)
10:45:12 --disable_zk: true (mem: 252.91 MiB)
10:45:12 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.91 MiB)
10:45:12 [10:45:12.835]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.91 MiB)
10:45:12 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.91 MiB)
10:45:12 sumcheck_verified: 1 (mem: 252.91 MiB)
10:45:12 libra_evals_verified: 1 (mem: 252.91 MiB)
10:45:12 pairing_check_verified: 1 (mem: 252.91 MiB)
10:45:12 Proof verified successfully (mem: 252.91 MiB)
10:45:12 verified: 1 (mem: 252.91 MiB)
10:45:12 [10:45:12.836]
INFO:
bb-prover Successfully verified proof from key in 83.14029500000106 ms
10:45:12 [10:45:12.841]
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"
10:45:12 [10:45:12.842]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 252.91 MiB)
10:45:12 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.91 MiB)
10:45:12 [10:45:12.843]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.91 MiB)
10:45:12 libra_evals_verified: 1 (mem: 252.91 MiB)
10:45:12 pairing_check_verified: 1 (mem: 252.91 MiB)
10:45:12 Proof verified successfully (mem: 252.91 MiB)
10:45:12 verified: 1 (mem: 252.91 MiB)
10:45:12 [10:45:12.846]
INFO:
bb-prover Successfully verified proof from key in 62.12632699999995 ms
10:45:13 [10:45:13.077]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":85.83650300000045,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:45:13 [10:45:13.079]
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/a3ff40fe/bb/tmp-lABZY1 -b /tmp/a3ff40fe/bb/tmp-lABZY1/RootParityArtifact-bytecode -w /tmp/a3ff40fe/bb/tmp-lABZY1/partial-witness.gz -v --init_kzg_accumulator -v
10:45:13 [10:45:13.116]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.04 MiB)
10:45:13 Scheme is: ultra_honk, num threads: 128 (mem: 255.04 MiB)
10:45:13 --scheme: ultra_honk (mem: 255.04 MiB)
10:45:13 --bytecode_path: /tmp/a3ff40fe/bb/tmp-lABZY1/RootParityArtifact-bytecode (mem: 255.04 MiB)
10:45:13 --witness_path: /tmp/a3ff40fe/bb/tmp-lABZY1/partial-witness.gz (mem: 255.04 MiB)
10:45:13 --output_path: /tmp/a3ff40fe/bb/tmp-lABZY1 (mem: 255.04 MiB)
10:45:13 Warning: the following option is called more than once (mem: 255.04 MiB)
10:45:13 --verbose: true (mem: 255.04 MiB)
10:45:13 --oracle_hash: poseidon2 (mem: 255.04 MiB)
10:45:13 --output_format: bytes_and_fields (mem: 255.04 MiB)
10:45:13 --write_vk: true (mem: 255.04 MiB)
10:45:13 --disable_zk: true (mem: 255.04 MiB)
10:45:13 --init_kzg_accumulator: true (mem: 255.04 MiB)
10:45:13 [10:45:13.309]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.04 MiB)
10:45:15 [10:45:15.382]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 410.57 MiB)
10:45:17 [10:45:17.779]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 772.58 MiB)
10:45:20 [10:45:20.292]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1033.58 MiB)
10:45:23 [10:45:23.114]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1400.79 MiB)
10:45:23 [10:45:23.115]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1400.79 MiB)
10:45:24 [10:45:24.600]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1848.71 MiB)
10:45:24 [10:45:24.976]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5506.32 MiB)
10:45:27 [10:45:27.016]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3901 ms. (mem: 6072.32 MiB)
10:45:27 [10:45:27.175]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6072.32 MiB)
10:45:27 [10:45:27.342]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6555.29 MiB)
10:45:28 [10:45:28.645]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7324.18 MiB)
10:45:36 [10:45:36.741]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7324.18 MiB)
10:45:41 [10:45:41.415]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7324.18 MiB)
10:45:43 [10:45:43.494]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9137.30 MiB)
10:45:45 [10:45:45.779]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9137.30 MiB)
10:45:52 [10:45:52.239]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9137.30 MiB)
10:45:53 [10:45:53.702]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9137.30 MiB)
10:45:53 [10:45:53.732]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9137.30 MiB)
10:45:54 [10:45:54.678]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/a3ff40fe/bb/tmp-lABZY1/public_inputs" (mem: 9137.30 MiB)
10:45:54 Public inputs fields saved to "/tmp/a3ff40fe/bb/tmp-lABZY1/public_inputs_fields.json" (mem: 9137.30 MiB)
10:45:54 Proof saved to "/tmp/a3ff40fe/bb/tmp-lABZY1/proof" (mem: 9137.30 MiB)
10:45:54 [10:45:54.679]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/a3ff40fe/bb/tmp-lABZY1/proof_fields.json" (mem: 9137.30 MiB)
10:45:54 VK saved to "/tmp/a3ff40fe/bb/tmp-lABZY1/vk" (mem: 9137.30 MiB)
10:45:54 VK fields saved to "/tmp/a3ff40fe/bb/tmp-lABZY1/vk_fields.json" (mem: 9137.30 MiB)
10:45:54 [10:45:54.972]
INFO:
bb-prover Generated proof for RootParityArtifact in 41891 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":41890.286498,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:45:54 [10:45:54.983]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a3ff40fe/bb/tmp-VmfmTk/proof -k /tmp/a3ff40fe/bb/tmp-VmfmTk/vk -i /tmp/a3ff40fe/bb/tmp-VmfmTk/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:45:55 [10:45:55.014]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.04 MiB)
10:45:55 Scheme is: ultra_honk, num threads: 128 (mem: 255.04 MiB)
10:45:55 --public_inputs_path: /tmp/a3ff40fe/bb/tmp-VmfmTk/public_inputs (mem: 255.04 MiB)
10:45:55 --proof_path: /tmp/a3ff40fe/bb/tmp-VmfmTk/proof (mem: 255.04 MiB)
10:45:55 --vk_path: /tmp/a3ff40fe/bb/tmp-VmfmTk/vk (mem: 255.04 MiB)
10:45:55 --verbose: true (mem: 255.04 MiB)
10:45:55 --scheme: ultra_honk (mem: 255.04 MiB)
10:45:55 --oracle_hash: poseidon2 (mem: 255.04 MiB)
10:45:55 --disable_zk: true (mem: 255.04 MiB)
10:45:55 vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 255.04 MiB)
10:45:55 [10:45:55.032]
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"
10:45:55 [10:45:55.032]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
10:45:55 [10:45:55.033]
VERBOSE:
bb-prover bb-prover (verify) BB out - 255.04
10:45:55 [10:45:55.033]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
10:45:55 [10:45:55.034]
VERBOSE:
bb-prover bb-prover (verify) BB out -
10:45:55 [10:45:55.036]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 255.04 MiB)
10:45:55 [10:45:55.036]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1
10:45:55 [10:45:55.037]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
10:45:55 [10:45:55.037]
VERBOSE:
bb-prover bb-prover (verify) BB out - 255.04
10:45:55 [10:45:55.040]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
10:45:55 libra_evals_verified: 1 (mem: 255.04 MiB)
10:45:55 pairing_check_verified: 1 (mem: 255.04 MiB)
10:45:55 Proof verified successfully (mem: 255.04 MiB)
10:45:55 verified: 1 (mem: 255.04 MiB)
10:45:55 [10:45:55.041]
INFO:
bb-prover Successfully verified proof from key in 58.154287999997905 ms
10:45:55 [10:45:55.047]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a3ff40fe/bb/tmp-7TIlht/proof -k /tmp/a3ff40fe/bb/tmp-7TIlht/vk -i /tmp/a3ff40fe/bb/tmp-7TIlht/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:45:55 [10:45:55.078]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.40 MiB)
10:45:55 [10:45:55.079]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.40 MiB)
10:45:55 --public_inputs_path: /tmp/a3ff40fe/bb/tmp-7TIlht/public_inputs (mem: 254.40 MiB)
10:45:55 --proof_path: /tmp/a3ff40fe/bb/tmp-7TIlht/proof (mem: 254.40 MiB)
10:45:55 --vk_path: /tmp/a3ff40fe/bb/tmp-7TIlht/vk (mem: 254.40 MiB)
10:45:55 --verbose: true (mem: 254.40 MiB)
10:45:55 --scheme: ultra_honk (mem: 254.40 MiB)
10:45:55 --oracle_hash: poseidon2 (mem: 254.40 MiB)
10:45:55 --disable_zk: true (mem: 254.40 MiB)
10:45:55 [10:45:55.080]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 254.40 MiB)
10:45:55 [10:45:55.094]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.40 MiB)
10:45:55 [10:45:55.094]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 254.40 MiB)
10:45:55 [10:45:55.096]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.40 MiB)
10:45:55 libra_evals_verified: 1 (mem: 254.40 MiB)
10:45:55 pairing_check_verified: 1 (mem: 254.40 MiB)
10:45:55 Proof verified successfully (mem: 254.40 MiB)
10:45:55 [10:45:55.096]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 254.40 MiB)
10:45:55 [10:45:55.097]
INFO:
bb-prover Successfully verified proof from key in 50.45990999999776 ms
10:45:55 [10:45:55.176]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
10:45:55
10:45:55 [10:45:55.177]
ERROR:
bb-prover Error running operation at /tmp/a3ff40fe/bb/tmp-VwPuNt: Error: Failed to generate witness: Failed assertion
10:45:55
10:45:55 [10:45:55.407]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":100.09723499999382,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
10:45:55 [10:45:55.409]
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/a3ff40fe/bb/tmp-xWPHIz -b /tmp/a3ff40fe/bb/tmp-xWPHIz/RootParityArtifact-bytecode -w /tmp/a3ff40fe/bb/tmp-xWPHIz/partial-witness.gz -v --init_kzg_accumulator -v
10:45:55 [10:45:55.446]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
10:45:55 [10:45:55.447]
INFO:
bb-prover RootParityArtifact BB out - (mem:
10:45:55 [10:45:55.447]
INFO:
bb-prover RootParityArtifact BB out - 255.04
10:45:55 [10:45:55.447]
INFO:
bb-prover RootParityArtifact BB out - MiB)
10:45:55 [10:45:55.448]
INFO:
bb-prover RootParityArtifact BB out -
10:45:55 [10:45:55.448]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128
10:45:55 [10:45:55.448]
INFO:
bb-prover RootParityArtifact BB out - (mem:
10:45:55 [10:45:55.449]
INFO:
bb-prover RootParityArtifact BB out - 255.04
10:45:55 [10:45:55.449]
INFO:
bb-prover RootParityArtifact BB out - MiB)
10:45:55 [10:45:55.450]
INFO:
bb-prover RootParityArtifact BB out -
10:45:55 --scheme: ultra_honk (mem: 255.04 MiB)
10:45:55 --bytecode_path: /tmp/a3ff40fe/bb/tmp-xWPHIz/RootParityArtifact-bytecode (mem: 255.04 MiB)
10:45:55 --witness_path: /tmp/a3ff40fe/bb/tmp-xWPHIz/partial-witness.gz (mem: 255.04 MiB)
10:45:55 --output_path: /tmp/a3ff40fe/bb/tmp-xWPHIz (mem: 255.04 MiB)
10:45:55 Warning: the following option is called more than once (mem: 255.04 MiB)
10:45:55 --verbose: true (mem: 255.04 MiB)
10:45:55 --oracle_hash: poseidon2 (mem: 255.04 MiB)
10:45:55 --output_format: bytes_and_fields (mem: 255.04 MiB)
10:45:55 --write_vk: true (mem: 255.04 MiB)
10:45:55 --disable_zk: true (mem: 255.04 MiB)
10:45:55 --init_kzg_accumulator: true (mem: 255.04 MiB)
10:45:55 [10:45:55.628]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.04 MiB)
10:45:55 [10:45:55.642]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses!
10:45:55 [10:45:55.642]
INFO:
bb-prover RootParityArtifact BB out - (mem: 255.04 MiB)
10:45:57 [10:45:57.751]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 406.30 MiB)
10:46:00 [10:46:00.346]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 762.35 MiB)
10:46:02 [10:46:02.723]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1028.91 MiB)
10:46:05 [10:46:05.204]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1397.36 MiB)
10:46:05 [10:46:05.205]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1397.36 MiB)
10:46:06 [10:46:06.785]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1847.37 MiB)
10:46:07 [10:46:07.162]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5505.36 MiB)
10:46:08 [10:46:08.975]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3769 ms. (mem: 6072.36 MiB)
10:46:09 [10:46:09.168]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6072.36 MiB)
10:46:09 [10:46:09.351]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6556.32 MiB)
10:46:11 [10:46:11.048]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7326.22 MiB)
10:46:17 [10:46:17.529]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7326.22 MiB)
10:46:21 [10:46:21.622]
INFO:
bb-prover RootParityArtifact BB out - created oink proof
10:46:21 [10:46:21.623]
INFO:
bb-prover RootParityArtifact BB out - (mem: 7326.22 MiB)
10:46:23 [10:46:23.618]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9139.74 MiB)
10:46:26 [10:46:26.139]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9139.74 MiB)
10:46:32 [10:46:32.271]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9139.74 MiB)
10:46:33 [10:46:33.655]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9139.74 MiB)
10:46:33 [10:46:33.697]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9139.74 MiB)
10:46:34 [10:46:34.560]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/a3ff40fe/bb/tmp-xWPHIz/public_inputs" (mem: 9139.74 MiB)
10:46:34 Public inputs fields saved to "/tmp/a3ff40fe/bb/tmp-xWPHIz/public_inputs_fields.json" (mem: 9139.74 MiB)
10:46:34 Proof saved to "/tmp/a3ff40fe/bb/tmp-xWPHIz/proof" (mem: 9139.74 MiB)
10:46:34 [10:46:34.561]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/a3ff40fe/bb/tmp-xWPHIz/proof_fields.json" (mem: 9139.74 MiB)
10:46:34 VK saved to "/tmp/a3ff40fe/bb/tmp-xWPHIz/vk" (mem: 9139.74 MiB)
10:46:34 VK fields saved to "/tmp/a3ff40fe/bb/tmp-xWPHIz/vk_fields.json" (mem: 9139.74 MiB)
10:46:34 [10:46:34.847]
INFO:
bb-prover Generated proof for RootParityArtifact in 39436 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":39435.171729999995,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:46:34 [10:46:34.850]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a3ff40fe/bb/tmp-tWxBlE/proof -k /tmp/a3ff40fe/bb/tmp-tWxBlE/vk -i /tmp/a3ff40fe/bb/tmp-tWxBlE/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:34 [10:46:34.871]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.04 MiB)
10:46:34 [10:46:34.872]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.04 MiB)
10:46:34 --public_inputs_path: /tmp/a3ff40fe/bb/tmp-tWxBlE/public_inputs (mem: 255.04 MiB)
10:46:34 --proof_path: /tmp/a3ff40fe/bb/tmp-tWxBlE/proof (mem: 255.04 MiB)
10:46:34 --vk_path: /tmp/a3ff40fe/bb/tmp-tWxBlE/vk (mem: 255.04 MiB)
10:46:34 --verbose: true (mem: 255.04 MiB)
10:46:34 --scheme: ultra_honk (mem: 255.04 MiB)
10:46:34 --oracle_hash: poseidon2 (mem: 255.04 MiB)
10:46:34 --disable_zk: true (mem: 255.04 MiB)
10:46:34 [10:46:34.872]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 255.04 MiB)
10:46:34 [10:46:34.881]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 255.04 MiB)
10:46:34 Proof verification failed (mem: 255.04 MiB)
10:46:34 verified: 0 (mem: 255.04 MiB)
10:46:34 [10:46:34.883]
ERROR:
bb-prover Error running operation at /tmp/a3ff40fe/bb/tmp-tWxBlE: ProvingError: Failed to verify proof from key!
10:46:35 [10:46:35.052]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":66.95769599999767,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:35 [10:46:35.054]
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/a3ff40fe/bb/tmp-b9XXil -b /tmp/a3ff40fe/bb/tmp-b9XXil/RootParityArtifact-bytecode -w /tmp/a3ff40fe/bb/tmp-b9XXil/partial-witness.gz -v --init_kzg_accumulator -v
10:46:35 [10:46:35.083]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
10:46:35 [10:46:35.084]
INFO:
bb-prover RootParityArtifact BB out - (mem:
10:46:35 [10:46:35.084]
INFO:
bb-prover RootParityArtifact BB out - 255.06
10:46:35 [10:46:35.084]
INFO:
bb-prover RootParityArtifact BB out - MiB)
10:46:35 [10:46:35.085]
INFO:
bb-prover RootParityArtifact BB out -
10:46:35 [10:46:35.085]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128
10:46:35 [10:46:35.086]
INFO:
bb-prover RootParityArtifact BB out - (mem:
10:46:35 [10:46:35.086]
INFO:
bb-prover RootParityArtifact BB out - 255.06 MiB)
10:46:35 --scheme: ultra_honk (mem: 255.06 MiB)
10:46:35 --bytecode_path: /tmp/a3ff40fe/bb/tmp-b9XXil/RootParityArtifact-bytecode (mem: 255.06 MiB)
10:46:35 --witness_path: /tmp/a3ff40fe/bb/tmp-b9XXil/partial-witness.gz (mem: 255.06 MiB)
10:46:35 --output_path: /tmp/a3ff40fe/bb/tmp-b9XXil (mem: 255.06 MiB)
10:46:35 Warning: the following option is called more than once (mem: 255.06 MiB)
10:46:35 --verbose: true (mem: 255.06 MiB)
10:46:35 --oracle_hash: poseidon2 (mem: 255.06 MiB)
10:46:35 --output_format: bytes_and_fields (mem: 255.06 MiB)
10:46:35 --write_vk: true (mem: 255.06 MiB)
10:46:35 --disable_zk: true (mem: 255.06 MiB)
10:46:35 --init_kzg_accumulator: true (mem: 255.06 MiB)
10:46:35 [10:46:35.296]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.06 MiB)
10:46:35 [10:46:35.313]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 255.06 MiB)
10:46:37 [10:46:37.085]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 413.87 MiB)
10:46:38 [10:46:38.982]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 776.40 MiB)
10:46:41 [10:46:41.079]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1042.42 MiB)
10:46:43 [10:46:43.670]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1414.41 MiB)
10:46:43 [10:46:43.671]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1414.41 MiB)
10:46:45 [10:46:45.194]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1864.82 MiB)
10:46:45 [10:46:45.674]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5501.10 MiB)
10:46:47 [10:46:47.590]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3919 ms. (mem: 6073.10 MiB)
10:46:47 [10:46:47.732]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6073.10 MiB)
10:46:47 [10:46:47.828]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6556.41 MiB)
10:46:49 [10:46:49.026]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7324.38 MiB)
10:46:54 [10:46:54.432]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7324.38 MiB)
10:46:58 [10:46:58.709]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7324.38 MiB)
10:47:00 [10:47:00.866]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9142.08 MiB)
10:47:02 [10:47:02.891]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9143.08 MiB)
10:47:08 [10:47:08.031]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9143.08 MiB)
10:47:09 [10:47:09.335]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9143.08 MiB)
10:47:09 [10:47:09.373]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9143.08 MiB)
10:47:10 [10:47:10.256]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/a3ff40fe/bb/tmp-b9XXil/public_inputs" (mem: 9143.08 MiB)
10:47:10 Public inputs fields saved to "/tmp/a3ff40fe/bb/tmp-b9XXil/public_inputs_fields.json" (mem: 9143.08 MiB)
10:47:10 Proof saved to "/tmp/a3ff40fe/bb/tmp-b9XXil/proof" (mem: 9143.08 MiB)
10:47:10 [10:47:10.257]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/a3ff40fe/bb/tmp-b9XXil/proof_fields.json" (mem: 9143.08 MiB)
10:47:10 VK saved to "/tmp/a3ff40fe/bb/tmp-b9XXil/vk" (mem: 9143.08 MiB)
10:47:10 VK fields saved to "/tmp/a3ff40fe/bb/tmp-b9XXil/vk_fields.json" (mem: 9143.08 MiB)
10:47:10 [10:47:10.521]
INFO:
bb-prover Generated proof for RootParityArtifact in 35466 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":35465.254528000005,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:47:10 [10:47:10.524]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a3ff40fe/bb/tmp-Jk8ySH/proof -k /tmp/a3ff40fe/bb/tmp-Jk8ySH/vk -i /tmp/a3ff40fe/bb/tmp-Jk8ySH/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:47:10 [10:47:10.547]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.06 MiB)
10:47:10 [10:47:10.548]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.06 MiB)
10:47:10 --public_inputs_path: /tmp/a3ff40fe/bb/tmp-Jk8ySH/public_inputs (mem: 255.06 MiB)
10:47:10 --proof_path: /tmp/a3ff40fe/bb/tmp-Jk8ySH/proof (mem: 255.06 MiB)
10:47:10 --vk_path: /tmp/a3ff40fe/bb/tmp-Jk8ySH/vk (mem: 255.06 MiB)
10:47:10 --verbose: true (mem: 255.06 MiB)
10:47:10 --scheme: ultra_honk (mem: 255.06 MiB)
10:47:10 --oracle_hash: poseidon2 (mem: 255.06 MiB)
10:47:10 --disable_zk: true (mem: 255.06 MiB)
10:47:10 [10:47:10.549]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 255.06 MiB)
10:47:10 [10:47:10.557]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 255.06 MiB)
10:47:10 Proof verification failed (mem: 255.06 MiB)
10:47:10 [10:47:10.558]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 255.06 MiB)
10:47:10 [10:47:10.559]
ERROR:
bb-prover Error running operation at /tmp/a3ff40fe/bb/tmp-Jk8ySH: ProvingError: Failed to verify proof from key!
10:47:10 [10:47:10.562]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
10:47:10
PASS src/test/bb_prover_parity.test.ts (
131.906 s)
10:47:10 prover/bb_prover/parity
10:47:10
✓ proves the parity circuits (122453 ms)
10:47:10
10:47:10
Test Suites: 1 passed, 1 total
10:47:10
Tests: 1 passed, 1 total
10:47:10
Snapshots: 0 total
10:47:10
Time: 132.012 s
10:47:10
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
10:47:10
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?