Parent Log:
http://ci.aztec-labs.com/762a0b96d67185c9
Command: d57d38082bbaf86d: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/2d661b35c089f032f50de084b07dded86f0873b8
Env: REF_NAME=gh-readonly-queue/next/pr-15187-301dce04331dcfb583b7508b91491de618d4acf4 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 23 10:46:06 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15187_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
10:46:06 +++ id -u
10:46:06 +++ id -g
10:46:06 ++ 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:46:06 + cid=1146385ae7d1814af25a4667ea7735fd0003c4529db3be69d7ff148cbeec7c23
10:46:06 + set +x
10:46:08 {"level":25,"time":1750675568512,"pid":7,"hostname":"1146385ae7d1","module":"logger","msg":"Logger initialized with level verbose"}
10:46:16 [10:46:16.417]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-hd4Add/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
10:46:16 [10:46:16.494]
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/bc00ffd7/bb
10:46:16 [10:46:16.496]
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/bc00ffd7/acvm
10:46:16 [10:46:16.498]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/bc00ffd7/bb
10:46:16 [10:46:16.499]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/bc00ffd7/acvm
10:46:16 [10:46:16.504]
INFO:
prover-client:proving-broker Proving Broker started
10:46:16 [10:46:16.509]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
10:46:16 [10:46:16.724]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":65.34314300000005,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:16 [10:46:16.747]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":106.95272500000101,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:16 [10:46:16.775]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:46:16 [10:46:16.776]
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/bc00ffd7/bb/tmp-Z82JCC -b /tmp/bc00ffd7/bb/tmp-Z82JCC/BaseParityArtifact-bytecode -w /tmp/bc00ffd7/bb/tmp-Z82JCC/partial-witness.gz -v --init_kzg_accumulator -v
10:46:16 [10:46:16.798]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:46:16 [10:46:16.799]
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/bc00ffd7/bb/tmp-HDPrwV -b /tmp/bc00ffd7/bb/tmp-HDPrwV/BaseParityArtifact-bytecode -w /tmp/bc00ffd7/bb/tmp-HDPrwV/partial-witness.gz -v --init_kzg_accumulator -v
10:46:16 [10:46:16.825]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.23 MiB)
10:46:16 Scheme is: ultra_honk, num threads: 128 (mem: 250.23 MiB)
10:46:16 --scheme: ultra_honk (mem: 250.23 MiB)
10:46:16 --bytecode_path: /tmp/bc00ffd7/bb/tmp-Z82JCC/BaseParityArtifact-bytecode (mem: 250.23 MiB)
10:46:16 --witness_path: /tmp/bc00ffd7/bb/tmp-Z82JCC/partial-witness.gz (mem: 250.23 MiB)
10:46:16 --output_path: /tmp/bc00ffd7/bb/tmp-Z82JCC (mem: 250.23 MiB)
10:46:16 Warning: the following option is called more than once (mem: 250.23 MiB)
10:46:16 --verbose: true (mem: 250.23 MiB)
10:46:16 --oracle_hash: poseidon2 (mem: 250.23 MiB)
10:46:16 --output_format: bytes_and_fields (mem: 250.23 MiB)
10:46:16 --write_vk: true (mem: 250.23 MiB)
10:46:16 --disable_zk: true (mem: 250.23 MiB)
10:46:16 --init_kzg_accumulator: true (mem: 250.23 MiB)
10:46:16 [10:46:16.834]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":94.29771599999913,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:16 [10:46:16.844]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":118.13806000000113,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:16 [10:46:16.847]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.04 MiB)
10:46:16 Scheme is: ultra_honk, num threads: 128 (mem: 250.04 MiB)
10:46:16 --scheme: ultra_honk (mem: 250.04 MiB)
10:46:16 --bytecode_path: /tmp/bc00ffd7/bb/tmp-HDPrwV/BaseParityArtifact-bytecode (mem: 250.04 MiB)
10:46:16 --witness_path: /tmp/bc00ffd7/bb/tmp-HDPrwV/partial-witness.gz (mem: 250.04 MiB)
10:46:16 --output_path: /tmp/bc00ffd7/bb/tmp-HDPrwV (mem: 250.04 MiB)
10:46:16 Warning: the following option is called more than once (mem: 250.04 MiB)
10:46:16 --verbose: true (mem: 250.04 MiB)
10:46:16 --oracle_hash: poseidon2 (mem: 250.04 MiB)
10:46:16 --output_format: bytes_and_fields (mem: 250.04 MiB)
10:46:16 --write_vk: true (mem: 250.04 MiB)
10:46:16 --disable_zk: true (mem: 250.04 MiB)
10:46:16 --init_kzg_accumulator: true (mem: 250.04 MiB)
10:46:16 [10:46:16.848]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:46:16 [10:46:16.849]
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/bc00ffd7/bb/tmp-G9d7i7 -b /tmp/bc00ffd7/bb/tmp-G9d7i7/BaseParityArtifact-bytecode -w /tmp/bc00ffd7/bb/tmp-G9d7i7/partial-witness.gz -v --init_kzg_accumulator -v
10:46:16 [10:46:16.870]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:46:16 [10:46:16.871]
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/bc00ffd7/bb/tmp-TmWpFd -b /tmp/bc00ffd7/bb/tmp-TmWpFd/BaseParityArtifact-bytecode -w /tmp/bc00ffd7/bb/tmp-TmWpFd/partial-witness.gz -v --init_kzg_accumulator -v
10:46:16 [10:46:16.894]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.32 MiB)
10:46:16 Scheme is: ultra_honk, num threads: 128 (mem: 250.32 MiB)
10:46:16 --scheme: ultra_honk (mem: 250.32 MiB)
10:46:16 --bytecode_path: /tmp/bc00ffd7/bb/tmp-G9d7i7/BaseParityArtifact-bytecode (mem: 250.32 MiB)
10:46:16 --witness_path: /tmp/bc00ffd7/bb/tmp-G9d7i7/partial-witness.gz (mem: 250.32 MiB)
10:46:16 --output_path: /tmp/bc00ffd7/bb/tmp-G9d7i7 (mem: 250.32 MiB)
10:46:16 Warning: the following option is called more than once (mem: 250.32 MiB)
10:46:16 --verbose: true (mem: 250.32 MiB)
10:46:16 --oracle_hash: poseidon2 (mem: 250.32 MiB)
10:46:16 --output_format: bytes_and_fields (mem: 250.32 MiB)
10:46:16 --write_vk: true (mem: 250.32 MiB)
10:46:16 --disable_zk: true (mem: 250.32 MiB)
10:46:16 --init_kzg_accumulator: true (mem: 250.32 MiB)
10:46:16 [10:46:16.898]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.32 MiB)
10:46:16 Scheme is: ultra_honk, num threads: 128 (mem: 250.32 MiB)
10:46:16 --scheme: ultra_honk (mem: 250.32 MiB)
10:46:16 --bytecode_path: /tmp/bc00ffd7/bb/tmp-TmWpFd/BaseParityArtifact-bytecode (mem: 250.32 MiB)
10:46:16 --witness_path: /tmp/bc00ffd7/bb/tmp-TmWpFd/partial-witness.gz (mem: 250.32 MiB)
10:46:16 --output_path: /tmp/bc00ffd7/bb/tmp-TmWpFd (mem: 250.32 MiB)
10:46:16 Warning: the following option is called more than once (mem: 250.32 MiB)
10:46:16 --verbose: true (mem: 250.32 MiB)
10:46:16 --oracle_hash: poseidon2 (mem: 250.32 MiB)
10:46:16 --output_format: bytes_and_fields (mem: 250.32 MiB)
10:46:16 --write_vk: true (mem: 250.32 MiB)
10:46:16 --disable_zk: true (mem: 250.32 MiB)
10:46:16 --init_kzg_accumulator: true (mem: 250.32 MiB)
10:46:16 [10:46:16.962]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.23 MiB)
10:46:16 Constructing DeciderProvingKey (mem: 250.23 MiB)
10:46:16 [10:46:16.965]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.23 MiB)
10:46:16 [10:46:16.973]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.04 MiB)
10:46:16 Constructing DeciderProvingKey (mem: 250.04 MiB)
10:46:16 [10:46:16.980]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.04 MiB)
10:46:17 [10:46:17.024]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
10:46:17 [10:46:17.027]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
10:46:17 [10:46:17.030]
INFO:
bb-prover BaseParityArtifact BB out - 250.32 MiB)
10:46:17 [10:46:17.035]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.32 MiB)
10:46:17 [10:46:17.040]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
10:46:17 [10:46:17.041]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
10:46:17 [10:46:17.042]
INFO:
bb-prover BaseParityArtifact BB out - 250.32
10:46:17 [10:46:17.046]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
10:46:17 [10:46:17.089]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.32 MiB)
10:46:17 [10:46:17.090]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.32 MiB)
10:46:17 [10:46:17.094]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
10:46:17 [10:46:17.097]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 250.32 MiB)
10:46:17 [10:46:17.195]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.04 MiB)
10:46:17 [10:46:17.234]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.23 MiB)
10:46:17 [10:46:17.255]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 282 ms. (mem: 250.04 MiB)
10:46:17 [10:46:17.265]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.04 MiB)
10:46:17 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.04 MiB)
10:46:17 [10:46:17.276]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.04 MiB)
10:46:17 [10:46:17.332]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.32 MiB)
10:46:17 [10:46:17.371]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 404 ms. (mem: 250.23 MiB)
10:46:17 WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.23 MiB)
10:46:17 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.23 MiB)
10:46:17 [10:46:17.399]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.23 MiB)
10:46:17 [10:46:17.422]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.32 MiB)
10:46:17 [10:46:17.503]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 471 ms. (mem: 250.32 MiB)
10:46:17 [10:46:17.511]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.32 MiB)
10:46:17 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.32 MiB)
10:46:17 [10:46:17.524]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 433 ms. (mem: 250.32 MiB)
10:46:17 [10:46:17.529]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.32 MiB)
10:46:17 [10:46:17.531]
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.32 MiB)
10:46:17 [10:46:17.543]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.32 MiB)
10:46:17 [10:46:17.544]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.32 MiB)
10:46:18 [10:46:18.449]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.04 MiB)
10:46:18 [10:46:18.632]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.23 MiB)
10:46:18 [10:46:18.664]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.32 MiB)
10:46:18 [10:46:18.776]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.32 MiB)
10:46:18 [10:46:18.867]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.04 MiB)
10:46:19 [10:46:19.105]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.23 MiB)
10:46:19 [10:46:19.213]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.32 MiB)
10:46:19 [10:46:19.238]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.04 MiB)
10:46:19 [10:46:19.376]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.32 MiB)
10:46:19 [10:46:19.451]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.04 MiB)
10:46:19 [10:46:19.475]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.23 MiB)
10:46:19 [10:46:19.480]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.32 MiB)
10:46:19 [10:46:19.607]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.32 MiB)
10:46:19 [10:46:19.717]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem:
10:46:19 [10:46:19.718]
INFO:
bb-prover BaseParityArtifact BB out - 250.32 MiB)
10:46:19 [10:46:19.729]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.23 MiB)
10:46:19 [10:46:19.850]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.32 MiB)
10:46:21 [10:46:21.159]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.04 MiB)
10:46:21 [10:46:21.246]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem:
10:46:21 [10:46:21.251]
INFO:
bb-prover BaseParityArtifact BB out - 250.04 MiB)
10:46:21 finished decider proving. (mem: 250.04 MiB)
10:46:21 Public inputs saved to "/tmp/bc00ffd7/bb/tmp-HDPrwV/public_inputs" (mem: 250.04 MiB)
10:46:21 Public inputs fields saved to "/tmp/bc00ffd7/bb/tmp-HDPrwV/public_inputs_fields.json" (mem: 250.04 MiB)
10:46:21 Proof saved to "/tmp/bc00ffd7/bb/tmp-HDPrwV/proof" (mem: 250.04 MiB)
10:46:21 Proof fields saved to "/tmp/bc00ffd7/bb/tmp-HDPrwV/proof_fields.json" (mem: 250.04 MiB)
10:46:21 VK saved to "/tmp/bc00ffd7/bb/tmp-HDPrwV/vk" (mem: 250.04 MiB)
10:46:21 VK fields saved to "/tmp/bc00ffd7/bb/tmp-HDPrwV/vk_fields.json" (mem: 250.04 MiB)
10:46:21 [10:46:21.307]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4492 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4491.656045,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:46:21 [10:46:21.328]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:21 [10:46:21.329]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bc00ffd7/bb/tmp-SbIty0/proof -k /tmp/bc00ffd7/bb/tmp-SbIty0/vk -i /tmp/bc00ffd7/bb/tmp-SbIty0/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:21 [10:46:21.396]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.34 MiB)
10:46:21 Scheme is: ultra_honk, num threads: 128 (mem: 250.34 MiB)
10:46:21 --public_inputs_path: /tmp/bc00ffd7/bb/tmp-SbIty0/public_inputs (mem: 250.34 MiB)
10:46:21 --proof_path: /tmp/bc00ffd7/bb/tmp-SbIty0/proof (mem: 250.34 MiB)
10:46:21 --vk_path: /tmp/bc00ffd7/bb/tmp-SbIty0/vk (mem: 250.34 MiB)
10:46:21 --verbose: true (mem: 250.34 MiB)
10:46:21 --scheme: ultra_honk (mem: 250.34 MiB)
10:46:21 --oracle_hash: poseidon2 (mem: 250.34 MiB)
10:46:21 --disable_zk: true (mem: 250.34 MiB)
10:46:21 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.34 MiB)
10:46:21 [10:46:21.416]
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.34 MiB)
10:46:21 Initialized BN254 CRS from memory with num points = 1 (mem: 250.34 MiB)
10:46:21 sumcheck_verified: 1 (mem: 250.34 MiB)
10:46:21 libra_evals_verified: 1 (mem: 250.34 MiB)
10:46:21 pairing_check_verified: 1 (mem: 250.34 MiB)
10:46:21 Proof verified successfully (mem: 250.34 MiB)
10:46:21 verified: 1 (mem: 250.34 MiB)
10:46:21 [10:46:21.417]
INFO:
bb-prover Successfully verified proof from key in 89.12690800000018 ms
10:46:21 [10:46:21.683]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.32 MiB)
10:46:21 [10:46:21.724]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.32 MiB)
10:46:21 [10:46:21.833]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.32 MiB)
10:46:21 finished decider proving. (mem: 250.32 MiB)
10:46:21 [10:46:21.837]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/bc00ffd7/bb/tmp-G9d7i7/public_inputs" (mem: 250.32 MiB)
10:46:21 Public inputs fields saved to "/tmp/bc00ffd7/bb/tmp-G9d7i7/public_inputs_fields.json" (mem: 250.32 MiB)
10:46:21 Proof saved to "/tmp/bc00ffd7/bb/tmp-G9d7i7/proof" (mem: 250.32 MiB)
10:46:21 Proof fields saved to "/tmp/bc00ffd7/bb/tmp-G9d7i7/proof_fields.json" (mem: 250.32 MiB)
10:46:21 VK saved to "/tmp/bc00ffd7/bb/tmp-G9d7i7/vk" (mem: 250.32 MiB)
10:46:21 VK fields saved to "/tmp/bc00ffd7/bb/tmp-G9d7i7/vk_fields.json" (mem: 250.32 MiB)
10:46:21 [10:46:21.838]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.32 MiB)
10:46:21 finished decider proving. (mem: 250.32 MiB)
10:46:21 Public inputs saved to "/tmp/bc00ffd7/bb/tmp-TmWpFd/public_inputs" (mem: 250.32 MiB)
10:46:21 Public inputs fields saved to "/tmp/bc00ffd7/bb/tmp-TmWpFd/public_inputs_fields.json" (mem: 250.32 MiB)
10:46:21 Proof saved to "/tmp/bc00ffd7/bb/tmp-TmWpFd/proof" (mem: 250.32 MiB)
10:46:21 Proof fields saved to "/tmp/bc00ffd7/bb/tmp-TmWpFd/proof_fields.json" (mem: 250.32 MiB)
10:46:21 VK saved to "/tmp/bc00ffd7/bb/tmp-TmWpFd/vk" (mem: 250.32 MiB)
10:46:21 VK fields saved to "/tmp/bc00ffd7/bb/tmp-TmWpFd/vk_fields.json" (mem: 250.32 MiB)
10:46:21 [10:46:21.840]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.23 MiB)
10:46:21 [10:46:21.904]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5032 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5031.958635000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:46:21 [10:46:21.910]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5037 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5036.511130000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:46:21 [10:46:21.911]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.23 MiB)
10:46:21 [10:46:21.912]
INFO:
bb-prover BaseParityArtifact BB out -
10:46:21 finished decider proving. (mem: 250.23 MiB)
10:46:21 Public inputs saved to "/tmp/bc00ffd7/bb/tmp-Z82JCC/public_inputs" (mem: 250.23 MiB)
10:46:21 Public inputs fields saved to "/tmp/bc00ffd7/bb/tmp-Z82JCC/public_inputs_fields.json" (mem: 250.23 MiB)
10:46:21 Proof saved to "/tmp/bc00ffd7/bb/tmp-Z82JCC/proof" (mem: 250.23 MiB)
10:46:21 [10:46:21.913]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/bc00ffd7/bb/tmp-Z82JCC/proof_fields.json" (mem: 250.23 MiB)
10:46:21 VK saved to "/tmp/bc00ffd7/bb/tmp-Z82JCC/vk" (mem: 250.23 MiB)
10:46:21 VK fields saved to "/tmp/bc00ffd7/bb/tmp-Z82JCC/vk_fields.json" (mem: 250.23 MiB)
10:46:21 [10:46:21.915]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:21 [10:46:21.915]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bc00ffd7/bb/tmp-LQURTC/proof -k /tmp/bc00ffd7/bb/tmp-LQURTC/vk -i /tmp/bc00ffd7/bb/tmp-LQURTC/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:21 [10:46:21.940]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:21 [10:46:21.941]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bc00ffd7/bb/tmp-LWNriW/proof -k /tmp/bc00ffd7/bb/tmp-LWNriW/vk -i /tmp/bc00ffd7/bb/tmp-LWNriW/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:21 [10:46:21.974]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.65 MiB)
10:46:21 Scheme is: ultra_honk, num threads: 128 (mem: 249.65 MiB)
10:46:21 --public_inputs_path: /tmp/bc00ffd7/bb/tmp-LQURTC/public_inputs (mem: 249.65 MiB)
10:46:21 --proof_path: /tmp/bc00ffd7/bb/tmp-LQURTC/proof (mem: 249.65 MiB)
10:46:21 --vk_path: /tmp/bc00ffd7/bb/tmp-LQURTC/vk (mem: 249.65 MiB)
10:46:21 --verbose: true (mem: 249.65 MiB)
10:46:21 --scheme: ultra_honk (mem: 249.65 MiB)
10:46:21 --oracle_hash: poseidon2 (mem: 249.65 MiB)
10:46:21 --disable_zk: true (mem: 249.65 MiB)
10:46:21 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.65 MiB)
10:46:21 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.65 MiB)
10:46:21 Initialized BN254 CRS from memory with num points = 1 (mem: 249.65 MiB)
10:46:21 sumcheck_verified: 1 (mem: 249.65 MiB)
10:46:21 libra_evals_verified: 1 (mem: 249.65 MiB)
10:46:21 pairing_check_verified: 1 (mem: 249.65 MiB)
10:46:21 Proof verified successfully (mem: 249.65 MiB)
10:46:21 verified: 1 (mem: 249.65 MiB)
10:46:21 [10:46:21.977]
INFO:
bb-prover Successfully verified proof from key in 62.410887 ms
10:46:21 [10:46:21.983]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5202 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5201.462820000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:46:21 [10:46:21.987]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.37 MiB)
10:46:21 Scheme is: ultra_honk, num threads: 128 (mem: 250.37 MiB)
10:46:21 --public_inputs_path: /tmp/bc00ffd7/bb/tmp-LWNriW/public_inputs (mem: 250.37 MiB)
10:46:21 --proof_path: /tmp/bc00ffd7/bb/tmp-LWNriW/proof (mem: 250.37 MiB)
10:46:21 --vk_path: /tmp/bc00ffd7/bb/tmp-LWNriW/vk (mem: 250.37 MiB)
10:46:21 --verbose: true (mem: 250.37 MiB)
10:46:21 --scheme: ultra_honk (mem: 250.37 MiB)
10:46:21 --oracle_hash: poseidon2 (mem: 250.37 MiB)
10:46:21 --disable_zk: true (mem: 250.37 MiB)
10:46:21 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.37 MiB)
10:46:22 [10:46:21.991]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:22 [10:46:21.992]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bc00ffd7/bb/tmp-D7jTxt/proof -k /tmp/bc00ffd7/bb/tmp-D7jTxt/vk -i /tmp/bc00ffd7/bb/tmp-D7jTxt/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:22 [10:46:22.012]
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.37 MiB)
10:46:22 Initialized BN254 CRS from memory with num points = 1 (mem: 250.37 MiB)
10:46:22 [10:46:22.014]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.37 MiB)
10:46:22 libra_evals_verified: 1 (mem: 250.37 MiB)
10:46:22 pairing_check_verified: 1 (mem: 250.37 MiB)
10:46:22 Proof verified successfully (mem: 250.37 MiB)
10:46:22 [10:46:22.014]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 250.37 MiB)
10:46:22 [10:46:22.016]
INFO:
bb-prover Successfully verified proof from key in 75.44020500000079 ms
10:46:22 [10:46:22.016]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.48 MiB)
10:46:22 Scheme is: ultra_honk, num threads: 128 (mem: 250.48 MiB)
10:46:22 --public_inputs_path: /tmp/bc00ffd7/bb/tmp-D7jTxt/public_inputs (mem: 250.48 MiB)
10:46:22 --proof_path: /tmp/bc00ffd7/bb/tmp-D7jTxt/proof (mem: 250.48 MiB)
10:46:22 --vk_path: /tmp/bc00ffd7/bb/tmp-D7jTxt/vk (mem: 250.48 MiB)
10:46:22 --verbose: true (mem: 250.48 MiB)
10:46:22 --scheme: ultra_honk (mem: 250.48 MiB)
10:46:22 --oracle_hash: poseidon2 (mem: 250.48 MiB)
10:46:22 --disable_zk: true (mem: 250.48 MiB)
10:46:22 [10:46:22.019]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.48 MiB)
10:46:22 [10:46:22.033]
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.48 MiB)
10:46:22 [10:46:22.034]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 250.48 MiB)
10:46:22 [10:46:22.035]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.48 MiB)
10:46:22 libra_evals_verified: 1 (mem: 250.48 MiB)
10:46:22 pairing_check_verified: 1 (mem: 250.48 MiB)
10:46:22 [10:46:22.035]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 250.48 MiB)
10:46:22 verified: 1 (mem: 250.48 MiB)
10:46:22 [10:46:22.037]
INFO:
bb-prover Successfully verified proof from key in 45.05488999999943 ms
10:46:22 [10:46:22.044]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:22 [10:46:22.044]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bc00ffd7/bb/tmp-WcFdx1/proof -k /tmp/bc00ffd7/bb/tmp-WcFdx1/vk -i /tmp/bc00ffd7/bb/tmp-WcFdx1/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:22 [10:46:22.064]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:22 [10:46:22.064]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bc00ffd7/bb/tmp-7vlCoF/proof -k /tmp/bc00ffd7/bb/tmp-7vlCoF/vk -i /tmp/bc00ffd7/bb/tmp-7vlCoF/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:22 [10:46:22.085]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:22 [10:46:22.086]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bc00ffd7/bb/tmp-bEX23I/proof -k /tmp/bc00ffd7/bb/tmp-bEX23I/vk -i /tmp/bc00ffd7/bb/tmp-bEX23I/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:22 [10:46:22.113]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:22 [10:46:22.115]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bc00ffd7/bb/tmp-rItYO6/proof -k /tmp/bc00ffd7/bb/tmp-rItYO6/vk -i /tmp/bc00ffd7/bb/tmp-rItYO6/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:22 [10:46:22.135]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.51 MiB)
10:46:22 Scheme is: ultra_honk, num threads: 128 (mem: 250.51 MiB)
10:46:22 --public_inputs_path: /tmp/bc00ffd7/bb/tmp-WcFdx1/public_inputs (mem: 250.51 MiB)
10:46:22 --proof_path: /tmp/bc00ffd7/bb/tmp-WcFdx1/proof (mem: 250.51 MiB)
10:46:22 --vk_path: /tmp/bc00ffd7/bb/tmp-WcFdx1/vk (mem: 250.51 MiB)
10:46:22 --verbose: true (mem: 250.51 MiB)
10:46:22 --scheme: ultra_honk (mem: 250.51 MiB)
10:46:22 --oracle_hash: poseidon2 (mem: 250.51 MiB)
10:46:22 --disable_zk: true (mem: 250.51 MiB)
10:46:22 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.51 MiB)
10:46:22 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.51 MiB)
10:46:22 Initialized BN254 CRS from memory with num points = 1 (mem: 250.51 MiB)
10:46:22 sumcheck_verified: 1 (mem: 250.51 MiB)
10:46:22 libra_evals_verified: 1 (mem: 250.51 MiB)
10:46:22 pairing_check_verified: 1 (mem: 250.51 MiB)
10:46:22 Proof verified successfully (mem: 250.51 MiB)
10:46:22 verified: 1 (mem: 250.51 MiB)
10:46:22 [10:46:22.136]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.51 MiB)
10:46:22 Scheme is: ultra_honk, num threads: 128 (mem: 250.51 MiB)
10:46:22 --public_inputs_path: /tmp/bc00ffd7/bb/tmp-7vlCoF/public_inputs (mem: 250.51 MiB)
10:46:22 --proof_path: /tmp/bc00ffd7/bb/tmp-7vlCoF/proof (mem: 250.51 MiB)
10:46:22 --vk_path: /tmp/bc00ffd7/bb/tmp-7vlCoF/vk (mem: 250.51 MiB)
10:46:22 --verbose: true (mem: 250.51 MiB)
10:46:22 --scheme: ultra_honk (mem: 250.51 MiB)
10:46:22 --oracle_hash: poseidon2 (mem: 250.51 MiB)
10:46:22 --disable_zk: true (mem: 250.51 MiB)
10:46:22 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.51 MiB)
10:46:22 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.51 MiB)
10:46:22 Initialized BN254 CRS from memory with num points = 1 (mem: 250.51 MiB)
10:46:22 sumcheck_verified: 1 (mem: 250.51 MiB)
10:46:22 libra_evals_verified: 1 (mem: 250.51 MiB)
10:46:22 pairing_check_verified: 1 (mem: 250.51 MiB)
10:46:22 Proof verified successfully (mem: 250.51 MiB)
10:46:22 verified: 1 (mem: 250.51 MiB)
10:46:22 [10:46:22.137]
INFO:
bb-prover Successfully verified proof from key in 73.84551700000156 ms
10:46:22 [10:46:22.138]
INFO:
bb-prover Successfully verified proof from key in 94.2179840000008 ms
10:46:22 [10:46:22.139]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.51 MiB)
10:46:22 Scheme is: ultra_honk, num threads: 128 (mem: 250.51 MiB)
10:46:22 --public_inputs_path: /tmp/bc00ffd7/bb/tmp-bEX23I/public_inputs (mem: 250.51 MiB)
10:46:22 --proof_path: /tmp/bc00ffd7/bb/tmp-bEX23I/proof (mem: 250.51 MiB)
10:46:22 --vk_path: /tmp/bc00ffd7/bb/tmp-bEX23I/vk (mem: 250.51 MiB)
10:46:22 --verbose: true (mem: 250.51 MiB)
10:46:22 --scheme: ultra_honk (mem: 250.51 MiB)
10:46:22 --oracle_hash: poseidon2 (mem: 250.51 MiB)
10:46:22 --disable_zk: true (mem: 250.51 MiB)
10:46:22 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.51 MiB)
10:46:22 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.51 MiB)
10:46:22 Initialized BN254 CRS from memory with num points = 1 (mem: 250.51 MiB)
10:46:22 sumcheck_verified: 1 (mem: 250.51 MiB)
10:46:22 libra_evals_verified: 1 (mem: 250.51 MiB)
10:46:22 pairing_check_verified: 1 (mem: 250.51 MiB)
10:46:22 Proof verified successfully (mem: 250.51 MiB)
10:46:22 verified: 1 (mem: 250.51 MiB)
10:46:22 [10:46:22.139]
INFO:
bb-prover Successfully verified proof from key in 54.470564999999624 ms
10:46:22 [10:46:22.143]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.51 MiB)
10:46:22 Scheme is: ultra_honk, num threads: 128 (mem: 250.51 MiB)
10:46:22 --public_inputs_path: /tmp/bc00ffd7/bb/tmp-rItYO6/public_inputs (mem: 250.51 MiB)
10:46:22 --proof_path: /tmp/bc00ffd7/bb/tmp-rItYO6/proof (mem: 250.51 MiB)
10:46:22 --vk_path: /tmp/bc00ffd7/bb/tmp-rItYO6/vk (mem: 250.51 MiB)
10:46:22 --verbose: true (mem: 250.51 MiB)
10:46:22 --scheme: ultra_honk (mem: 250.51 MiB)
10:46:22 --oracle_hash: poseidon2 (mem: 250.51 MiB)
10:46:22 --disable_zk: true (mem: 250.51 MiB)
10:46:22 [10:46:22.144]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.51 MiB)
10:46:22 [10:46:22.156]
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.51 MiB)
10:46:22 [10:46:22.157]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 250.51 MiB)
10:46:22 [10:46:22.162]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.51 MiB)
10:46:22 [10:46:22.162]
VERBOSE:
bb-prover bb-prover (verify) BB out - libra_evals_verified: 1 (mem: 250.51 MiB)
10:46:22 pairing_check_verified: 1 (mem: 250.51 MiB)
10:46:22 Proof verified successfully (mem: 250.51 MiB)
10:46:22 verified: 1 (mem: 250.51 MiB)
10:46:22 [10:46:22.165]
INFO:
bb-prover Successfully verified proof from key in 52.11767099999997 ms
10:46:22 [10:46:22.385]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":82.24117000000115,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:22 [10:46:22.391]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:46:22 [10:46:22.391]
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/bc00ffd7/bb/tmp-dvKTDL -b /tmp/bc00ffd7/bb/tmp-dvKTDL/RootParityArtifact-bytecode -w /tmp/bc00ffd7/bb/tmp-dvKTDL/partial-witness.gz -v --init_kzg_accumulator -v
10:46:22 [10:46:22.416]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.30 MiB)
10:46:22 Scheme is: ultra_honk, num threads: 128 (mem: 253.30 MiB)
10:46:22 --scheme: ultra_honk (mem: 253.30 MiB)
10:46:22 --bytecode_path: /tmp/bc00ffd7/bb/tmp-dvKTDL/RootParityArtifact-bytecode (mem: 253.30 MiB)
10:46:22 --witness_path: /tmp/bc00ffd7/bb/tmp-dvKTDL/partial-witness.gz (mem: 253.30 MiB)
10:46:22 --output_path: /tmp/bc00ffd7/bb/tmp-dvKTDL (mem: 253.30 MiB)
10:46:22 Warning: the following option is called more than once (mem: 253.30 MiB)
10:46:22 --verbose: true (mem: 253.30 MiB)
10:46:22 --oracle_hash: poseidon2 (mem: 253.30 MiB)
10:46:22 --output_format: bytes_and_fields (mem: 253.30 MiB)
10:46:22 --write_vk: true (mem: 253.30 MiB)
10:46:22 --disable_zk: true (mem: 253.30 MiB)
10:46:22 --init_kzg_accumulator: true (mem: 253.30 MiB)
10:46:22 [10:46:22.622]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.30 MiB)
10:46:24 [10:46:24.755]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 419.15
10:46:24 [10:46:24.756]
INFO:
bb-prover RootParityArtifact BB out - MiB)
10:46:27 [10:46:27.073]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 787.41 MiB)
10:46:29 [10:46:29.153]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1061.17 MiB)
10:46:31 [10:46:31.471]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1431.77 MiB)
10:46:31 [10:46:31.472]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1431.77 MiB)
10:46:32 [10:46:32.812]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1845.53 MiB)
10:46:33 [10:46:33.152]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5485.79 MiB)
10:46:34 [10:46:34.877]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3405 ms. (mem: 6062.79 MiB)
10:46:35 [10:46:35.014]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6062.79 MiB)
10:46:35 [10:46:35.015]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6062.79 MiB)
10:46:35 [10:46:35.921]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6062.79 MiB)
10:46:40 [10:46:40.414]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6062.79 MiB)
10:46:45 [10:46:45.835]
INFO:
bb-prover RootParityArtifact BB out - created oink proof
10:46:45 [10:46:45.837]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6062.79 MiB)
10:46:47 [10:46:47.992]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6732.98 MiB)
10:46:50 [10:46:50.903]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6732.98 MiB)
10:46:58 [10:46:58.537]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6732.98 MiB)
10:47:00 [10:47:00.334]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof
10:47:00 [10:47:00.335]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6732.98 MiB)
10:47:00 [10:47:00.346]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6732.98 MiB)
10:47:00 [10:47:00.832]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/bc00ffd7/bb/tmp-dvKTDL/public_inputs" (mem: 6732.98 MiB)
10:47:00 Public inputs fields saved to "/tmp/bc00ffd7/bb/tmp-dvKTDL/public_inputs_fields.json" (mem: 6732.98 MiB)
10:47:00 Proof saved to "/tmp/bc00ffd7/bb/tmp-dvKTDL/proof" (mem: 6732.98 MiB)
10:47:00 [10:47:00.833]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/bc00ffd7/bb/tmp-dvKTDL/proof_fields.json" (mem: 6732.98 MiB)
10:47:00 VK saved to "/tmp/bc00ffd7/bb/tmp-dvKTDL/vk" (mem: 6732.98 MiB)
10:47:00 VK fields saved to "/tmp/bc00ffd7/bb/tmp-dvKTDL/vk_fields.json" (mem: 6732.98 MiB)
10:47:01 [10:47:01.017]
INFO:
bb-prover Generated proof for RootParityArtifact in 38624 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":38623.924019000006,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:47:01 [10:47:01.020]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:47:01 [10:47:01.020]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bc00ffd7/bb/tmp-2aNIfw/proof -k /tmp/bc00ffd7/bb/tmp-2aNIfw/vk -i /tmp/bc00ffd7/bb/tmp-2aNIfw/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:47:01 [10:47:01.039]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.32 MiB)
10:47:01 [10:47:01.040]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.32 MiB)
10:47:01 --public_inputs_path: /tmp/bc00ffd7/bb/tmp-2aNIfw/public_inputs (mem: 253.32 MiB)
10:47:01 --proof_path: /tmp/bc00ffd7/bb/tmp-2aNIfw/proof (mem: 253.32 MiB)
10:47:01 --vk_path: /tmp/bc00ffd7/bb/tmp-2aNIfw/vk (mem: 253.32 MiB)
10:47:01 --verbose: true (mem: 253.32 MiB)
10:47:01 --scheme: ultra_honk (mem: 253.32 MiB)
10:47:01 --oracle_hash: poseidon2 (mem: 253.32 MiB)
10:47:01 --disable_zk: true (mem: 253.32 MiB)
10:47:01 [10:47:01.041]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.32 MiB)
10:47:01 [10:47:01.055]
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.32 MiB)
10:47:01 Initialized BN254 CRS from memory with num points = 1 (mem: 253.32 MiB)
10:47:01 [10:47:01.056]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.32 MiB)
10:47:01 libra_evals_verified: 1 (mem: 253.32 MiB)
10:47:01 pairing_check_verified: 1 (mem: 253.32 MiB)
10:47:01 Proof verified successfully (mem: 253.32 MiB)
10:47:01 verified: 1 (mem: 253.32 MiB)
10:47:01 [10:47:01.061]
INFO:
bb-prover Successfully verified proof from key in 40.87739400000282 ms
10:47:01 [10:47:01.070]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:47:01 [10:47:01.070]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bc00ffd7/bb/tmp-FdRyGe/proof -k /tmp/bc00ffd7/bb/tmp-FdRyGe/vk -i /tmp/bc00ffd7/bb/tmp-FdRyGe/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:47:01 [10:47:01.097]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.32 MiB)
10:47:01 Scheme is: ultra_honk, num threads: 128 (mem: 253.32 MiB)
10:47:01 --public_inputs_path: /tmp/bc00ffd7/bb/tmp-FdRyGe/public_inputs (mem: 253.32 MiB)
10:47:01 --proof_path: /tmp/bc00ffd7/bb/tmp-FdRyGe/proof (mem: 253.32 MiB)
10:47:01 --vk_path: /tmp/bc00ffd7/bb/tmp-FdRyGe/vk (mem: 253.32 MiB)
10:47:01 --verbose: true (mem: 253.32 MiB)
10:47:01 --scheme: ultra_honk (mem: 253.32 MiB)
10:47:01 --oracle_hash: poseidon2 (mem: 253.32 MiB)
10:47:01 --disable_zk: true (mem: 253.32 MiB)
10:47:01 [10:47:01.098]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.32 MiB)
10:47:01 [10:47:01.112]
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.32 MiB)
10:47:01 [10:47:01.113]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 253.32 MiB)
10:47:01 [10:47:01.114]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.32 MiB)
10:47:01 libra_evals_verified: 1 (mem: 253.32 MiB)
10:47:01 pairing_check_verified: 1 (mem: 253.32 MiB)
10:47:01 [10:47:01.114]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 253.32 MiB)
10:47:01 verified: 1 (mem: 253.32 MiB)
10:47:01 [10:47:01.116]
INFO:
bb-prover Successfully verified proof from key in 45.86523899999884 ms
10:47:01 [10:47:01.188]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
10:47:01
10:47:01 [10:47:01.188]
ERROR:
bb-prover Error running operation at /tmp/bc00ffd7/bb/tmp-VAphAa: Error: Failed to generate witness: Failed assertion
10:47:01
10:47:01 [10:47:01.356]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":72.50320500000089,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
10:47:01 [10:47:01.357]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:47:01 [10:47:01.358]
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/bc00ffd7/bb/tmp-ObpqGZ -b /tmp/bc00ffd7/bb/tmp-ObpqGZ/RootParityArtifact-bytecode -w /tmp/bc00ffd7/bb/tmp-ObpqGZ/partial-witness.gz -v --init_kzg_accumulator -v
10:47:01 [10:47:01.385]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.32 MiB)
10:47:01 Scheme is: ultra_honk, num threads: 128 (mem: 253.32 MiB)
10:47:01 --scheme: ultra_honk (mem: 253.32 MiB)
10:47:01 --bytecode_path: /tmp/bc00ffd7/bb/tmp-ObpqGZ/RootParityArtifact-bytecode (mem: 253.32 MiB)
10:47:01 --witness_path: /tmp/bc00ffd7/bb/tmp-ObpqGZ/partial-witness.gz (mem: 253.32 MiB)
10:47:01 --output_path: /tmp/bc00ffd7/bb/tmp-ObpqGZ (mem: 253.32 MiB)
10:47:01 Warning: the following option is called more than once (mem: 253.32 MiB)
10:47:01 --verbose: true (mem: 253.32 MiB)
10:47:01 --oracle_hash: poseidon2 (mem: 253.32 MiB)
10:47:01 --output_format: bytes_and_fields (mem: 253.32 MiB)
10:47:01 --write_vk: true (mem: 253.32 MiB)
10:47:01 --disable_zk: true (mem: 253.32 MiB)
10:47:01 --init_kzg_accumulator: true (mem: 253.32 MiB)
10:47:01 [10:47:01.553]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.32 MiB)
10:47:01 [10:47:01.565]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.32 MiB)
10:47:03 [10:47:03.572]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 412.12 MiB)
10:47:05 [10:47:05.709]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 779.66 MiB)
10:47:07 [10:47:07.650]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1050.86 MiB)
10:47:10 [10:47:10.260]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1419.04 MiB)
10:47:10 Constructing DeciderProvingKey (mem: 1419.04 MiB)
10:47:11 [10:47:11.942]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1828.61 MiB)
10:47:12 [10:47:12.465]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5477.48 MiB)
10:47:14 [10:47:14.724]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4464 ms. (mem: 6055.48 MiB)
10:47:14 [10:47:14.851]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6055.48 MiB)
10:47:14 [10:47:14.852]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6055.48 MiB)
10:47:15 [10:47:15.650]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6055.48 MiB)
10:47:20 [10:47:20.651]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6055.48 MiB)
10:47:25 [10:47:25.567]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6055.48 MiB)
10:47:27 [10:47:27.972]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6794.05 MiB)
10:47:30 [10:47:30.133]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6794.05 MiB)
10:47:36 [10:47:36.494]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6794.05 MiB)
10:47:38 [10:47:38.731]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6794.05 MiB)
10:47:38 [10:47:38.749]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6794.05 MiB)
10:47:39 [10:47:39.495]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/bc00ffd7/bb/tmp-ObpqGZ/public_inputs" (mem: 6794.05 MiB)
10:47:39 [10:47:39.496]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/bc00ffd7/bb/tmp-ObpqGZ/public_inputs_fields.json" (mem: 6794.05 MiB)
10:47:39 Proof saved to "/tmp/bc00ffd7/bb/tmp-ObpqGZ/proof" (mem: 6794.05 MiB)
10:47:39 [10:47:39.496]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/bc00ffd7/bb/tmp-ObpqGZ/proof_fields.json" (mem: 6794.05 MiB)
10:47:39 VK saved to "/tmp/bc00ffd7/bb/tmp-ObpqGZ/vk" (mem: 6794.05 MiB)
10:47:39 VK fields saved to "/tmp/bc00ffd7/bb/tmp-ObpqGZ/vk_fields.json" (mem: 6794.05 MiB)
10:47:39 [10:47:39.673]
INFO:
bb-prover Generated proof for RootParityArtifact in 38309 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":38308.590383999996,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:47:39 [10:47:39.677]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:47:39 [10:47:39.677]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bc00ffd7/bb/tmp-3mEPeT/proof -k /tmp/bc00ffd7/bb/tmp-3mEPeT/vk -i /tmp/bc00ffd7/bb/tmp-3mEPeT/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:47:39 [10:47:39.697]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.32 MiB)
10:47:39 [10:47:39.697]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.32 MiB)
10:47:39 --public_inputs_path: /tmp/bc00ffd7/bb/tmp-3mEPeT/public_inputs (mem: 253.32 MiB)
10:47:39 --proof_path: /tmp/bc00ffd7/bb/tmp-3mEPeT/proof (mem: 253.32 MiB)
10:47:39 --vk_path: /tmp/bc00ffd7/bb/tmp-3mEPeT/vk (mem: 253.32 MiB)
10:47:39 --verbose: true (mem: 253.32 MiB)
10:47:39 --scheme: ultra_honk (mem: 253.32 MiB)
10:47:39 --oracle_hash: poseidon2 (mem: 253.32 MiB)
10:47:39 --disable_zk: true (mem: 253.32 MiB)
10:47:39 [10:47:39.699]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.32 MiB)
10:47:39 [10:47:39.709]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.32 MiB)
10:47:39 Proof verification failed (mem: 253.32 MiB)
10:47:39 verified: 0 (mem: 253.32 MiB)
10:47:39 [10:47:39.711]
ERROR:
bb-prover Error running operation at /tmp/bc00ffd7/bb/tmp-3mEPeT: ProvingError: Failed to verify proof from key!
10:47:39 [10:47:39.874]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":75.7518090000085,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:47:39 [10:47:39.876]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:47:39 [10:47:39.876]
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/bc00ffd7/bb/tmp-ac7l1h -b /tmp/bc00ffd7/bb/tmp-ac7l1h/RootParityArtifact-bytecode -w /tmp/bc00ffd7/bb/tmp-ac7l1h/partial-witness.gz -v --init_kzg_accumulator -v
10:47:39 [10:47:39.899]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.32 MiB)
10:47:39 Scheme is: ultra_honk, num threads: 128 (mem: 253.32 MiB)
10:47:39 --scheme: ultra_honk (mem: 253.32
10:47:39 [10:47:39.900]
INFO:
bb-prover RootParityArtifact BB out - MiB)
10:47:39 --bytecode_path: /tmp/bc00ffd7/bb/tmp-ac7l1h/RootParityArtifact-bytecode (mem: 253.32 MiB)
10:47:39 --witness_path: /tmp/bc00ffd7/bb/tmp-ac7l1h/partial-witness.gz (mem: 253.32 MiB)
10:47:39 --output_path: /tmp/bc00ffd7/bb/tmp-ac7l1h (mem: 253.32 MiB)
10:47:39 Warning: the following option is called more than once (mem: 253.32 MiB)
10:47:39 --verbose: true (mem: 253.32 MiB)
10:47:39 --oracle_hash: poseidon2 (mem: 253.32 MiB)
10:47:39 --output_format: bytes_and_fields (mem: 253.32 MiB)
10:47:39 --write_vk: true (mem: 253.32 MiB)
10:47:39 --disable_zk: true (mem: 253.32 MiB)
10:47:39 --init_kzg_accumulator: true (mem: 253.32 MiB)
10:47:40 [10:47:40.087]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.32 MiB)
10:47:40 [10:47:40.103]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.32 MiB)
10:47:42 [10:47:42.122]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 420.68 MiB)
10:47:44 [10:47:44.586]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 789.32 MiB)
10:47:46 [10:47:46.774]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1062.07 MiB)
10:47:48 [10:47:48.863]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1433.81 MiB)
10:47:48 [10:47:48.863]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1433.81 MiB)
10:47:50 [10:47:50.171]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1846.57 MiB)
10:47:50 [10:47:50.708]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5484.11 MiB)
10:47:52 [10:47:52.111]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3248 ms. (mem: 6058.11 MiB)
10:47:52 [10:47:52.225]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6058.11 MiB)
10:47:52 [10:47:52.225]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6058.11 MiB)
10:47:52 [10:47:52.887]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6058.11 MiB)
10:47:56 [10:47:56.270]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6058.11 MiB)
10:48:00 [10:48:00.803]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6058.11 MiB)
10:48:02 [10:48:02.505]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6790.13 MiB)
10:48:04 [10:48:04.800]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6790.13 MiB)
10:48:11 [10:48:11.485]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6790.13 MiB)
10:48:13 [10:48:13.200]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6790.13 MiB)
10:48:13 [10:48:13.212]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6790.13 MiB)
10:48:13 [10:48:13.620]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/bc00ffd7/bb/tmp-ac7l1h/public_inputs" (mem: 6790.13 MiB)
10:48:13 [10:48:13.621]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/bc00ffd7/bb/tmp-ac7l1h/public_inputs_fields.json" (mem: 6790.13 MiB)
10:48:13 Proof saved to "/tmp/bc00ffd7/bb/tmp-ac7l1h/proof" (mem: 6790.13 MiB)
10:48:13 Proof fields saved to "/tmp/bc00ffd7/bb/tmp-ac7l1h/proof_fields.json" (mem: 6790.13 MiB)
10:48:13 VK saved to "/tmp/bc00ffd7/bb/tmp-ac7l1h/vk" (mem: 6790.13 MiB)
10:48:13 [10:48:13.621]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/bc00ffd7/bb/tmp-ac7l1h/vk_fields.json" (mem: 6790.13 MiB)
10:48:13 [10:48:13.788]
INFO:
bb-prover Generated proof for RootParityArtifact in 33910 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":33909.00819200001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:48:13 [10:48:13.791]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:48:13 [10:48:13.791]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/bc00ffd7/bb/tmp-jpUrgF/proof -k /tmp/bc00ffd7/bb/tmp-jpUrgF/vk -i /tmp/bc00ffd7/bb/tmp-jpUrgF/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:48:13 [10:48:13.815]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.32 MiB)
10:48:13 [10:48:13.816]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.32 MiB)
10:48:13 --public_inputs_path: /tmp/bc00ffd7/bb/tmp-jpUrgF/public_inputs (mem: 253.32 MiB)
10:48:13 --proof_path: /tmp/bc00ffd7/bb/tmp-jpUrgF/proof (mem: 253.32 MiB)
10:48:13 --vk_path: /tmp/bc00ffd7/bb/tmp-jpUrgF/vk (mem: 253.32 MiB)
10:48:13 --verbose: true (mem: 253.32 MiB)
10:48:13 --scheme: ultra_honk (mem: 253.32 MiB)
10:48:13 --oracle_hash: poseidon2 (mem: 253.32 MiB)
10:48:13 --disable_zk: true (mem: 253.32 MiB)
10:48:13 [10:48:13.817]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.32 MiB)
10:48:13 [10:48:13.828]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.32 MiB)
10:48:13 Proof verification failed (mem: 253.32 MiB)
10:48:13 verified: 0 (mem: 253.32 MiB)
10:48:13 [10:48:13.829]
VERBOSE:
bb-prover bb-prover (verify) BB out -
10:48:13 [10:48:13.831]
ERROR:
bb-prover Error running operation at /tmp/bc00ffd7/bb/tmp-jpUrgF: ProvingError: Failed to verify proof from key!
10:48:13 [10:48:13.835]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
10:48:13
PASS src/test/bb_prover_parity.test.ts (
125.589 s)
10:48:13 prover/bb_prover/parity
10:48:13
✓ proves the parity circuits (117321 ms)
10:48:13
10:48:13
Test Suites: 1 passed, 1 total
10:48:13
Tests: 1 passed, 1 total
10:48:13
Snapshots: 0 total
10:48:13
Time: 125.682 s
10:48:13
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
10:48:13
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?