Parent Log:
http://ci.aztec-labs.com/d0fdb1491045e738
Command: 0428972d99b1eeeb: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/91b55c58278a7d091339ac513d633fa070d5276b
Env: REF_NAME=gh-readonly-queue/next/pr-15008-92ef6e28f2b718bb1009392a60b8311979c782d2 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Thu Jun 19 13:31:47 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15008_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
13:31:47 +++ id -u
13:31:47 +++ id -g
13:31:47 ++ docker run -d --name prover-client_src_test_bb_prover_parity.test.ts --net=none --cpuset-cpus=0-127 --cpus=16 --memory=96g --user 1000:1000 -v/home/aztec-dev:/home/aztec-dev --mount type=tmpfs,target=/tmp,tmpfs-size=1g --workdir /home/aztec-dev/aztec-packages -e HOME -e VERBOSE -e GIT_CONFIG_GLOBAL=/home/aztec-dev/aztec-packages/build-images/src/home/.gitconfig -e FORCE_COLOR=true -e CPUS -e MEM aztecprotocol/build:3.0 /bin/bash -c 'timeout -v 600s bash -c '\''LOG_LEVEL=verbose yarn-project/scripts/run_test.sh prover-client/src/test/bb_prover_parity.test.ts'\'''
13:31:48 + cid=123029c13b2f883c0dcc54f0fc76afb32f9e131496716cd20d41768fb0a703b9
13:31:48 + set +x
13:31:50 {"level":25,"time":1750339910037,"pid":7,"hostname":"123029c13b2f","module":"logger","msg":"Logger initialized with level verbose"}
13:31:59 [13:31:59.204]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-O4Y1oz/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
13:31:59 [13:31:59.278]
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/a44d6dd0/bb
13:31:59 [13:31:59.279]
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/a44d6dd0/acvm
13:31:59 [13:31:59.280]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/a44d6dd0/bb
13:31:59 [13:31:59.281]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/a44d6dd0/acvm
13:31:59 [13:31:59.284]
INFO:
prover-client:proving-broker Proving Broker started
13:31:59 [13:31:59.286]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
13:31:59 [13:31:59.474]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":55.771248000000924,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:31:59 [13:31:59.496]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":37.98734300000069,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:31:59 [13:31:59.512]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":58.24688100000094,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:31:59 [13:31:59.522]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:31:59 [13:31:59.523]
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/a44d6dd0/bb/tmp-kugL5W -b /tmp/a44d6dd0/bb/tmp-kugL5W/BaseParityArtifact-bytecode -w /tmp/a44d6dd0/bb/tmp-kugL5W/partial-witness.gz -v --init_kzg_accumulator -v
13:31:59 [13:31:59.551]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:31:59 [13:31:59.552]
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/a44d6dd0/bb/tmp-AoIKCY -b /tmp/a44d6dd0/bb/tmp-AoIKCY/BaseParityArtifact-bytecode -w /tmp/a44d6dd0/bb/tmp-AoIKCY/partial-witness.gz -v --init_kzg_accumulator -v
13:31:59 [13:31:59.576]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:31:59 [13:31:59.576]
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/a44d6dd0/bb/tmp-zDB7xD -b /tmp/a44d6dd0/bb/tmp-zDB7xD/BaseParityArtifact-bytecode -w /tmp/a44d6dd0/bb/tmp-zDB7xD/partial-witness.gz -v --init_kzg_accumulator -v
13:31:59 [13:31:59.608]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.69 MiB)
13:31:59 Scheme is: ultra_honk, num threads: 128 (mem: 252.69 MiB)
13:31:59 --scheme: ultra_honk (mem: 252.69 MiB)
13:31:59 --bytecode_path: /tmp/a44d6dd0/bb/tmp-kugL5W/BaseParityArtifact-bytecode (mem: 252.69 MiB)
13:31:59 --witness_path: /tmp/a44d6dd0/bb/tmp-kugL5W/partial-witness.gz (mem: 252.69 MiB)
13:31:59 --output_path: /tmp/a44d6dd0/bb/tmp-kugL5W (mem: 252.69 MiB)
13:31:59 Warning: the following option is called more than once (mem: 252.69 MiB)
13:31:59 --verbose: true (mem: 252.69 MiB)
13:31:59 --oracle_hash: poseidon2 (mem: 252.69 MiB)
13:31:59 --output_format: bytes_and_fields (mem: 252.69 MiB)
13:31:59 --write_vk: true (mem: 252.69 MiB)
13:31:59 --disable_zk: true (mem: 252.69 MiB)
13:31:59 --init_kzg_accumulator: true (mem: 252.69 MiB)
13:31:59 [13:31:59.609]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.18 MiB)
13:31:59 Scheme is: ultra_honk, num threads: 128 (mem: 253.18 MiB)
13:31:59 --scheme: ultra_honk (mem: 253.18 MiB)
13:31:59 --bytecode_path: /tmp/a44d6dd0/bb/tmp-AoIKCY/BaseParityArtifact-bytecode (mem: 253.18 MiB)
13:31:59 --witness_path: /tmp/a44d6dd0/bb/tmp-AoIKCY/partial-witness.gz (mem: 253.18 MiB)
13:31:59 --output_path: /tmp/a44d6dd0/bb/tmp-AoIKCY (mem: 253.18 MiB)
13:31:59 Warning: the following option is called more than once (mem: 253.18 MiB)
13:31:59 --verbose: true (mem: 253.18 MiB)
13:31:59 --oracle_hash: poseidon2 (mem: 253.18 MiB)
13:31:59 --output_format: bytes_and_fields (mem: 253.18 MiB)
13:31:59 --write_vk: true (mem: 253.18 MiB)
13:31:59 --disable_zk: true (mem: 253.18 MiB)
13:31:59 --init_kzg_accumulator: true (mem: 253.18 MiB)
13:31:59 [13:31:59.625]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":63.96373499999936,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:31:59 [13:31:59.637]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.19 MiB)
13:31:59 Scheme is: ultra_honk, num threads: 128 (mem: 253.19 MiB)
13:31:59 --scheme: ultra_honk (mem: 253.19 MiB)
13:31:59 --bytecode_path: /tmp/a44d6dd0/bb/tmp-zDB7xD/BaseParityArtifact-bytecode (mem: 253.19 MiB)
13:31:59 --witness_path: /tmp/a44d6dd0/bb/tmp-zDB7xD/partial-witness.gz (mem: 253.19 MiB)
13:31:59 --output_path: /tmp/a44d6dd0/bb/tmp-zDB7xD (mem: 253.19 MiB)
13:31:59 Warning: the following option is called more than once (mem: 253.19 MiB)
13:31:59 --verbose: true (mem: 253.19 MiB)
13:31:59 --oracle_hash: poseidon2 (mem: 253.19 MiB)
13:31:59 --output_format: bytes_and_fields (mem: 253.19 MiB)
13:31:59 --write_vk: true (mem: 253.19 MiB)
13:31:59 --disable_zk: true (mem: 253.19 MiB)
13:31:59 --init_kzg_accumulator: true (mem: 253.19 MiB)
13:31:59 [13:31:59.639]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:31:59 [13:31:59.639]
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/a44d6dd0/bb/tmp-LcSFcA -b /tmp/a44d6dd0/bb/tmp-LcSFcA/BaseParityArtifact-bytecode -w /tmp/a44d6dd0/bb/tmp-LcSFcA/partial-witness.gz -v --init_kzg_accumulator -v
13:31:59 [13:31:59.670]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove
13:31:59 [13:31:59.671]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 253.23 MiB)
13:31:59 Scheme is: ultra_honk, num threads: 128 (mem: 253.23 MiB)
13:31:59 --scheme: ultra_honk (mem: 253.23 MiB)
13:31:59 --bytecode_path: /tmp/a44d6dd0/bb/tmp-LcSFcA/BaseParityArtifact-bytecode (mem: 253.23 MiB)
13:31:59 --witness_path: /tmp/a44d6dd0/bb/tmp-LcSFcA/partial-witness.gz (mem: 253.23 MiB)
13:31:59 --output_path: /tmp/a44d6dd0/bb/tmp-LcSFcA (mem: 253.23 MiB)
13:31:59 Warning: the following option is called more than once (mem: 253.23 MiB)
13:31:59 --verbose: true (mem: 253.23 MiB)
13:31:59 --oracle_hash: poseidon2 (mem: 253.23 MiB)
13:31:59 --output_format: bytes_and_fields (mem: 253.23 MiB)
13:31:59 --write_vk: true (mem: 253.23 MiB)
13:31:59 --disable_zk: true (mem: 253.23 MiB)
13:31:59 --init_kzg_accumulator: true (mem: 253.23 MiB)
13:31:59 [13:31:59.759]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.69 MiB)
13:31:59 Constructing DeciderProvingKey (mem: 252.69 MiB)
13:31:59 [13:31:59.766]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.18 MiB)
13:31:59 Constructing DeciderProvingKey (mem: 253.18 MiB)
13:31:59 [13:31:59.766]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.69 MiB)
13:31:59 [13:31:59.772]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.18 MiB)
13:31:59 [13:31:59.807]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
13:31:59 [13:31:59.809]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 253.19 MiB)
13:31:59 Constructing DeciderProvingKey (mem: 253.19 MiB)
13:31:59 [13:31:59.814]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
13:31:59 [13:31:59.818]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 253.19 MiB)
13:31:59 [13:31:59.843]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 253.23 MiB)
13:31:59 [13:31:59.844]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 253.23 MiB)
13:31:59 [13:31:59.848]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.23 MiB)
13:31:59 [13:31:59.986]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.18 MiB)
13:32:00 [13:32:00.028]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.69 MiB)
13:32:00 [13:32:00.029]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem:
13:32:00 [13:32:00.029]
INFO:
bb-prover BaseParityArtifact BB out - 253.19 MiB)
13:32:00 [13:32:00.076]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.23 MiB)
13:32:00 [13:32:00.102]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 339 ms. (mem: 253.18 MiB)
13:32:00 [13:32:00.117]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.18 MiB)
13:32:00 [13:32:00.122]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.18 MiB)
13:32:00 [13:32:00.125]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 316 ms. (mem: 253.19 MiB)
13:32:00 [13:32:00.136]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.19 MiB)
13:32:00 [13:32:00.140]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 379 ms. (mem: 252.69 MiB)
13:32:00 [13:32:00.140]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.19 MiB)
13:32:00 [13:32:00.152]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 253.18 MiB)
13:32:00 [13:32:00.153]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.69 MiB)
13:32:00 [13:32:00.160]
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.69 MiB)
13:32:00 [13:32:00.161]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 315 ms. (mem: 253.23 MiB)
13:32:00 [13:32:00.176]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.23 MiB)
13:32:00 [13:32:00.177]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 253.19 MiB)
13:32:00 [13:32:00.178]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.23 MiB)
13:32:00 [13:32:00.187]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 252.69 MiB)
13:32:00 [13:32:00.211]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 253.23 MiB)
13:32:01 [13:32:01.113]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.23 MiB)
13:32:01 [13:32:01.270]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.19 MiB)
13:32:01 [13:32:01.276]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.69 MiB)
13:32:01 [13:32:01.368]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.18 MiB)
13:32:01 [13:32:01.618]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.23 MiB)
13:32:01 [13:32:01.750]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.69 MiB)
13:32:01 [13:32:01.846]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.19 MiB)
13:32:01 [13:32:01.965]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.18 MiB)
13:32:01 [13:32:01.994]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 266.62 MiB)
13:32:02 [13:32:02.050]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 260.35 MiB)
13:32:02 [13:32:02.077]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 264.26 MiB)
13:32:02 [13:32:02.180]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 266.62 MiB)
13:32:02 [13:32:02.181]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 253.18 MiB)
13:32:02 [13:32:02.242]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 260.35 MiB)
13:32:02 [13:32:02.281]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 264.26 MiB)
13:32:02 [13:32:02.331]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 253.18 MiB)
13:32:03 [13:32:03.408]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 266.62 MiB)
13:32:03 [13:32:03.449]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 264.26 MiB)
13:32:03 [13:32:03.452]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 266.62 MiB)
13:32:03 [13:32:03.458]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 266.62 MiB)
13:32:03 [13:32:03.460]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/a44d6dd0/bb/tmp-LcSFcA/public_inputs" (mem: 266.62 MiB)
13:32:03 Public inputs fields saved to "/tmp/a44d6dd0/bb/tmp-LcSFcA/public_inputs_fields.json" (mem: 266.62 MiB)
13:32:03 [13:32:03.461]
INFO:
bb-prover BaseParityArtifact BB out - Proof saved to "/tmp/a44d6dd0/bb/tmp-LcSFcA/proof" (mem: 266.62 MiB)
13:32:03 [13:32:03.463]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/a44d6dd0/bb/tmp-LcSFcA/proof_fields.json" (mem: 266.62 MiB)
13:32:03 VK saved to "/tmp/a44d6dd0/bb/tmp-LcSFcA/vk" (mem: 266.62 MiB)
13:32:03 VK fields saved to "/tmp/a44d6dd0/bb/tmp-LcSFcA/vk_fields.json" (mem: 266.62 MiB)
13:32:03 [13:32:03.491]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 264.26 MiB)
13:32:03 [13:32:03.492]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 264.26 MiB)
13:32:03 [13:32:03.498]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/a44d6dd0/bb/tmp-zDB7xD/public_inputs" (mem: 264.26 MiB)
13:32:03 Public inputs fields saved to "/tmp/a44d6dd0/bb/tmp-zDB7xD/public_inputs_fields.json" (mem: 264.26 MiB)
13:32:03 Proof saved to "/tmp/a44d6dd0/bb/tmp-zDB7xD/proof" (mem: 264.26 MiB)
13:32:03 [13:32:03.502]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/a44d6dd0/bb/tmp-zDB7xD/proof_fields.json" (mem: 264.26 MiB)
13:32:03 VK saved to "/tmp/a44d6dd0/bb/tmp-zDB7xD/vk" (mem: 264.26 MiB)
13:32:03 VK fields saved to "/tmp/a44d6dd0/bb/tmp-zDB7xD/vk_fields.json" (mem: 264.26 MiB)
13:32:03 [13:32:03.505]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 260.35 MiB)
13:32:03 [13:32:03.539]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3892 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3891.730982000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:32:03 [13:32:03.543]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:03 [13:32:03.543]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a44d6dd0/bb/tmp-sImdmy/proof -k /tmp/a44d6dd0/bb/tmp-sImdmy/vk -i /tmp/a44d6dd0/bb/tmp-sImdmy/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:03 [13:32:03.572]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 260.35 MiB)
13:32:03 finished decider proving. (mem: 260.35 MiB)
13:32:03 Public inputs saved to "/tmp/a44d6dd0/bb/tmp-kugL5W/public_inputs" (mem: 260.35 MiB)
13:32:03 Public inputs fields saved to "/tmp/a44d6dd0/bb/tmp-kugL5W/public_inputs_fields.json" (mem: 260.35 MiB)
13:32:03 Proof saved to "/tmp/a44d6dd0/bb/tmp-kugL5W/proof" (mem: 260.35 MiB)
13:32:03 Proof fields saved to "/tmp/a44d6dd0/bb/tmp-kugL5W/proof_fields.json" (mem: 260.35 MiB)
13:32:03 VK saved to "/tmp/a44d6dd0/bb/tmp-kugL5W/vk" (mem: 260.35 MiB)
13:32:03 VK fields saved to "/tmp/a44d6dd0/bb/tmp-kugL5W/vk_fields.json" (mem: 260.35 MiB)
13:32:03 [13:32:03.574]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.18 MiB)
13:32:03 [13:32:03.577]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3999 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3998.479904,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:32:03 [13:32:03.582]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
13:32:03 [13:32:03.584]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.23 MiB)
13:32:03 Scheme is: ultra_honk, num threads: 128 (mem: 253.23 MiB)
13:32:03 --public_inputs_path: /tmp/a44d6dd0/bb/tmp-sImdmy/public_inputs (mem: 253.23 MiB)
13:32:03 --proof_path: /tmp/a44d6dd0/bb/tmp-sImdmy/proof (mem: 253.23 MiB)
13:32:03 --vk_path: /tmp/a44d6dd0/bb/tmp-sImdmy/vk (mem: 253.23 MiB)
13:32:03 --verbose: true (mem: 253.23 MiB)
13:32:03 --scheme: ultra_honk (mem: 253.23 MiB)
13:32:03 --oracle_hash: poseidon2 (mem: 253.23 MiB)
13:32:03 --disable_zk: true (mem: 253.23 MiB)
13:32:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.23 MiB)
13:32:03 [13:32:03.585]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:03 [13:32:03.586]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a44d6dd0/bb/tmp-D09ZXM/proof -k /tmp/a44d6dd0/bb/tmp-D09ZXM/vk -i /tmp/a44d6dd0/bb/tmp-D09ZXM/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:03 [13:32:03.618]
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.23 MiB)
13:32:03 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.23 MiB)
13:32:03 sumcheck_verified: 1 (mem: 253.23 MiB)
13:32:03 libra_evals_verified: 1 (mem: 253.23 MiB)
13:32:03 pairing_check_verified: 1 (mem: 253.23 MiB)
13:32:03 Proof verified successfully (mem: 253.23 MiB)
13:32:03 verified: 1 (mem: 253.23 MiB)
13:32:03 [13:32:03.619]
INFO:
bb-prover Successfully verified proof from key in 76.515668 ms
13:32:03 [13:32:03.639]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4109 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4108.456242999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:32:03 [13:32:03.640]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.18 MiB)
13:32:03 finished decider proving. (mem: 253.18 MiB)
13:32:03 [13:32:03.641]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.23 MiB)
13:32:03 Scheme is: ultra_honk, num threads: 128 (mem: 253.23 MiB)
13:32:03 --public_inputs_path: /tmp/a44d6dd0/bb/tmp-D09ZXM/public_inputs (mem: 253.23 MiB)
13:32:03 --proof_path: /tmp/a44d6dd0/bb/tmp-D09ZXM/proof (mem: 253.23 MiB)
13:32:03 --vk_path: /tmp/a44d6dd0/bb/tmp-D09ZXM/vk (mem: 253.23 MiB)
13:32:03 --verbose: true (mem: 253.23 MiB)
13:32:03 --scheme: ultra_honk (mem: 253.23 MiB)
13:32:03 --oracle_hash: poseidon2 (mem: 253.23 MiB)
13:32:03 --disable_zk: true (mem: 253.23 MiB)
13:32:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.23 MiB)
13:32:03 [13:32:03.643]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:03 [13:32:03.644]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a44d6dd0/bb/tmp-sQriNo/proof -k /tmp/a44d6dd0/bb/tmp-sQriNo/vk -i /tmp/a44d6dd0/bb/tmp-sQriNo/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:03 [13:32:03.665]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/a44d6dd0/bb/tmp-AoIKCY/public_inputs" (mem: 253.18 MiB)
13:32:03 Public inputs fields saved to "/tmp/a44d6dd0/bb/tmp-AoIKCY/public_inputs_fields.json" (mem: 253.18 MiB)
13:32:03 Proof saved to "/tmp/a44d6dd0/bb/tmp-AoIKCY/proof" (mem: 253.18 MiB)
13:32:03 Proof fields saved to "/tmp/a44d6dd0/bb/tmp-AoIKCY/proof_fields.json" (mem: 253.18 MiB)
13:32:03 VK saved to "/tmp/a44d6dd0/bb/tmp-AoIKCY/vk" (mem: 253.18 MiB)
13:32:03 VK fields saved to "/tmp/a44d6dd0/bb/tmp-AoIKCY/vk_fields.json" (mem: 253.18 MiB)
13:32:03 [13:32:03.671]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.31 MiB)
13:32:03 Scheme is: ultra_honk, num threads: 128 (mem: 253.31 MiB)
13:32:03 --public_inputs_path: /tmp/a44d6dd0/bb/tmp-sQriNo/public_inputs
13:32:03 [13:32:03.673]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 253.31 MiB)
13:32:03 --proof_path: /tmp/a44d6dd0/bb/tmp-sQriNo/proof (mem: 253.31 MiB)
13:32:03 --vk_path: /tmp/a44d6dd0/bb/tmp-sQriNo/vk (mem: 253.31 MiB)
13:32:03 --verbose: true (mem: 253.31 MiB)
13:32:03 --scheme: ultra_honk (mem: 253.31 MiB)
13:32:03 --oracle_hash: poseidon2 (mem: 253.31 MiB)
13:32:03 --disable_zk: true (mem: 253.31 MiB)
13:32:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.31 MiB)
13:32:03 [13:32:03.678]
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.23 MiB)
13:32:03 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.23 MiB)
13:32:03 [13:32:03.680]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.23 MiB)
13:32:03 libra_evals_verified: 1 (mem: 253.23 MiB)
13:32:03 pairing_check_verified: 1 (mem: 253.23 MiB)
13:32:03 Proof verified successfully (mem: 253.23 MiB)
13:32:03 verified: 1 (mem: 253.23 MiB)
13:32:03 [13:32:03.683]
INFO:
bb-prover Successfully verified proof from key in 97.79194300000017 ms
13:32:03 [13:32:03.688]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4134 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4133.7681059999995,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:32:03 [13:32:03.690]
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.31 MiB)
13:32:03 [13:32:03.691]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.31 MiB)
13:32:03 [13:32:03.692]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:03 [13:32:03.692]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a44d6dd0/bb/tmp-pGQRcM/proof -k /tmp/a44d6dd0/bb/tmp-pGQRcM/vk -i /tmp/a44d6dd0/bb/tmp-pGQRcM/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:03 [13:32:03.726]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.31 MiB)
13:32:03 libra_evals_verified: 1 (mem: 253.31 MiB)
13:32:03 pairing_check_verified: 1 (mem: 253.31 MiB)
13:32:03 Proof verified successfully (mem: 253.31 MiB)
13:32:03 verified: 1 (mem: 253.31 MiB)
13:32:03 [13:32:03.729]
INFO:
bb-prover Successfully verified proof from key in 85.7098449999994 ms
13:32:03 [13:32:03.734]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
13:32:03 [13:32:03.735]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.41 MiB)
13:32:03 Scheme is: ultra_honk, num threads: 128 (mem: 253.41 MiB)
13:32:03 --public_inputs_path: /tmp/a44d6dd0/bb/tmp-pGQRcM/public_inputs (mem: 253.41 MiB)
13:32:03 --proof_path: /tmp/a44d6dd0/bb/tmp-pGQRcM/proof (mem: 253.41 MiB)
13:32:03 --vk_path: /tmp/a44d6dd0/bb/tmp-pGQRcM/vk (mem: 253.41 MiB)
13:32:03 --verbose: true (mem: 253.41 MiB)
13:32:03 --scheme: ultra_honk (mem: 253.41 MiB)
13:32:03 --oracle_hash: poseidon2 (mem: 253.41 MiB)
13:32:03 --disable_zk: true (mem: 253.41 MiB)
13:32:03 [13:32:03.736]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.41 MiB)
13:32:03 [13:32:03.752]
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.41 MiB)
13:32:03 [13:32:03.753]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.41 MiB)
13:32:03 [13:32:03.755]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.41 MiB)
13:32:03 libra_evals_verified: 1 (mem: 253.41 MiB)
13:32:03 pairing_check_verified: 1 (mem: 253.41 MiB)
13:32:03 Proof verified successfully (mem: 253.41 MiB)
13:32:03 verified: 1 (mem: 253.41 MiB)
13:32:03 [13:32:03.756]
INFO:
bb-prover Successfully verified proof from key in 64.11703300000045 ms
13:32:03 [13:32:03.767]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:03 [13:32:03.768]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a44d6dd0/bb/tmp-l39b5w/proof -k /tmp/a44d6dd0/bb/tmp-l39b5w/vk -i /tmp/a44d6dd0/bb/tmp-l39b5w/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:03 [13:32:03.790]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:03 [13:32:03.792]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a44d6dd0/bb/tmp-oGVvj8/proof -k /tmp/a44d6dd0/bb/tmp-oGVvj8/vk -i /tmp/a44d6dd0/bb/tmp-oGVvj8/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:03 [13:32:03.817]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:03 [13:32:03.817]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a44d6dd0/bb/tmp-jwSDmw/proof -k /tmp/a44d6dd0/bb/tmp-jwSDmw/vk -i /tmp/a44d6dd0/bb/tmp-jwSDmw/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:03 [13:32:03.857]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:03 [13:32:03.858]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a44d6dd0/bb/tmp-coAYoz/proof -k /tmp/a44d6dd0/bb/tmp-coAYoz/vk -i /tmp/a44d6dd0/bb/tmp-coAYoz/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:03 [13:32:03.883]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.46 MiB)
13:32:03 Scheme is: ultra_honk, num threads: 128 (mem: 253.46 MiB)
13:32:03 --public_inputs_path: /tmp/a44d6dd0/bb/tmp-l39b5w/public_inputs (mem: 253.46 MiB)
13:32:03 --proof_path: /tmp/a44d6dd0/bb/tmp-l39b5w/proof (mem: 253.46 MiB)
13:32:03 --vk_path: /tmp/a44d6dd0/bb/tmp-l39b5w/vk (mem: 253.46 MiB)
13:32:03 --verbose: true (mem: 253.46 MiB)
13:32:03 --scheme: ultra_honk (mem: 253.46 MiB)
13:32:03 --oracle_hash: poseidon2 (mem: 253.46 MiB)
13:32:03 --disable_zk: true (mem: 253.46 MiB)
13:32:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.46 MiB)
13:32:03 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.46 MiB)
13:32:03 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.46 MiB)
13:32:03 sumcheck_verified: 1 (mem: 253.46 MiB)
13:32:03 libra_evals_verified: 1 (mem: 253.46 MiB)
13:32:03 pairing_check_verified: 1 (mem: 253.46 MiB)
13:32:03 Proof verified successfully (mem: 253.46 MiB)
13:32:03 verified: 1 (mem: 253.46 MiB)
13:32:03 [13:32:03.885]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.46 MiB)
13:32:03 Scheme is: ultra_honk, num threads: 128 (mem: 253.46 MiB)
13:32:03 --public_inputs_path: /tmp/a44d6dd0/bb/tmp-oGVvj8/public_inputs (mem: 253.46 MiB)
13:32:03 --proof_path: /tmp/a44d6dd0/bb/tmp-oGVvj8/proof (mem: 253.46 MiB)
13:32:03 --vk_path: /tmp/a44d6dd0/bb/tmp-oGVvj8/vk (mem: 253.46 MiB)
13:32:03 --verbose: true (mem: 253.46 MiB)
13:32:03 --scheme: ultra_honk (mem: 253.46 MiB)
13:32:03 --oracle_hash: poseidon2 (mem: 253.46 MiB)
13:32:03 --disable_zk: true (mem: 253.46 MiB)
13:32:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.46 MiB)
13:32:03 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.46 MiB)
13:32:03 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.46 MiB)
13:32:03 sumcheck_verified: 1 (mem: 253.46 MiB)
13:32:03 libra_evals_verified: 1 (mem: 253.46 MiB)
13:32:03 pairing_check_verified: 1 (mem: 253.46 MiB)
13:32:03 Proof verified successfully (mem: 253.46 MiB)
13:32:03 verified: 1 (mem: 253.46 MiB)
13:32:03 [13:32:03.886]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.46 MiB)
13:32:03 Scheme is: ultra_honk, num threads: 128 (mem: 253.46 MiB)
13:32:03 --public_inputs_path: /tmp/a44d6dd0/bb/tmp-jwSDmw/public_inputs (mem: 253.46 MiB)
13:32:03 --proof_path: /tmp/a44d6dd0/bb/tmp-jwSDmw/proof (mem: 253.46 MiB)
13:32:03 --vk_path: /tmp/a44d6dd0/bb/tmp-jwSDmw/vk (mem: 253.46 MiB)
13:32:03 --verbose: true (mem: 253.46 MiB)
13:32:03 --scheme: ultra_honk (mem: 253.46 MiB)
13:32:03 --oracle_hash: poseidon2 (mem: 253.46 MiB)
13:32:03 --disable_zk: true (mem: 253.46 MiB)
13:32:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.46 MiB)
13:32:03 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.46 MiB)
13:32:03 Initialized BN254 CRS from memory with num points = 1025 (mem: 253.46 MiB)
13:32:03 sumcheck_verified: 1 (mem: 253.46 MiB)
13:32:03 libra_evals_verified: 1 (mem: 253.46 MiB)
13:32:03 pairing_check_verified: 1 (mem: 253.46 MiB)
13:32:03 Proof verified successfully (mem: 253.46 MiB)
13:32:03 verified: 1 (mem: 253.46 MiB)
13:32:03 [13:32:03.888]
INFO:
bb-prover Successfully verified proof from key in 71.04199999999946 ms
13:32:03 [13:32:03.889]
INFO:
bb-prover Successfully verified proof from key in 98.54368900000009 ms
13:32:03 [13:32:03.889]
INFO:
bb-prover Successfully verified proof from key in 122.38378000000012 ms
13:32:03 [13:32:03.890]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.46 MiB)
13:32:03 Scheme is: ultra_honk, num threads: 128 (mem: 253.46 MiB)
13:32:03 --public_inputs_path: /tmp/a44d6dd0/bb/tmp-coAYoz/public_inputs (mem: 253.46 MiB)
13:32:03 --proof_path: /tmp/a44d6dd0/bb/tmp-coAYoz/proof (mem: 253.46 MiB)
13:32:03 --vk_path: /tmp/a44d6dd0/bb/tmp-coAYoz/vk (mem: 253.46 MiB)
13:32:03 --verbose: true (mem: 253.46 MiB)
13:32:03 --scheme: ultra_honk (mem: 253.46 MiB)
13:32:03 --oracle_hash: poseidon2 (mem: 253.46 MiB)
13:32:03 --disable_zk: true (mem: 253.46 MiB)
13:32:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.46 MiB)
13:32:03 [13:32:03.909]
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.46 MiB)
13:32:03 [13:32:03.910]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.46 MiB)
13:32:03 [13:32:03.911]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.46 MiB)
13:32:03 libra_evals_verified: 1 (mem: 253.46 MiB)
13:32:03 pairing_check_verified: 1 (mem: 253.46 MiB)
13:32:03 Proof verified successfully (mem: 253.46 MiB)
13:32:03 verified: 1 (mem: 253.46 MiB)
13:32:03 [13:32:03.913]
INFO:
bb-prover Successfully verified proof from key in 55.74572399999852 ms
13:32:04 [13:32:04.101]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":83.40787600000112,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
13:32:04 [13:32:04.106]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:32:04 [13:32:04.110]
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/a44d6dd0/bb/tmp-lqVS06 -b /tmp/a44d6dd0/bb/tmp-lqVS06/RootParityArtifact-bytecode -w /tmp/a44d6dd0/bb/tmp-lqVS06/partial-witness.gz -v --init_kzg_accumulator -v
13:32:04 [13:32:04.136]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.60 MiB)
13:32:04 [13:32:04.137]
INFO:
bb-prover RootParityArtifact BB out -
13:32:04 Scheme is: ultra_honk, num threads: 128 (mem: 255.60 MiB)
13:32:04 --scheme: ultra_honk (mem: 255.60 MiB)
13:32:04 --bytecode_path: /tmp/a44d6dd0/bb/tmp-lqVS06/RootParityArtifact-bytecode (mem: 255.60 MiB)
13:32:04 --witness_path: /tmp/a44d6dd0/bb/tmp-lqVS06/partial-witness.gz (mem: 255.60 MiB)
13:32:04 --output_path: /tmp/a44d6dd0/bb/tmp-lqVS06 (mem: 255.60 MiB)
13:32:04 Warning: the following option is called more than once (mem: 255.60 MiB)
13:32:04 --verbose: true (mem: 255.60 MiB)
13:32:04 --oracle_hash: poseidon2 (mem: 255.60 MiB)
13:32:04 --output_format: bytes_and_fields (mem: 255.60 MiB)
13:32:04 --write_vk: true (mem: 255.60 MiB)
13:32:04 --disable_zk: true (mem: 255.60 MiB)
13:32:04 --init_kzg_accumulator: true (mem: 255.60 MiB)
13:32:04 [13:32:04.341]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.60 MiB)
13:32:06 [13:32:06.409]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 422.54 MiB)
13:32:08 [13:32:08.976]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 786.27 MiB)
13:32:11 [13:32:11.623]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1047.20 MiB)
13:32:14 [13:32:14.458]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1419.38 MiB)
13:32:14 [13:32:14.459]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1419.38 MiB)
13:32:15 [13:32:15.813]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1869.40 MiB)
13:32:16 [13:32:16.206]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5521.40 MiB)
13:32:18 [13:32:18.241]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3781 ms. (mem: 6073.40 MiB)
13:32:18 [13:32:18.451]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6073.40 MiB)
13:32:18 [13:32:18.862]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6558.45 MiB)
13:32:20 [13:32:20.165]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7332.45 MiB)
13:32:29 [13:32:29.559]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7332.45 MiB)
13:32:34 [13:32:34.535]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7332.45 MiB)
13:32:36 [13:32:36.475]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8973.86 MiB)
13:32:38 [13:32:38.626]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8973.86 MiB)
13:32:44 [13:32:44.254]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8973.86 MiB)
13:32:45 [13:32:45.897]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8973.86 MiB)
13:32:45 [13:32:45.923]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8973.86 MiB)
13:32:46 [13:32:46.742]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/a44d6dd0/bb/tmp-lqVS06/public_inputs" (mem: 8973.86 MiB)
13:32:46 [13:32:46.742]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/a44d6dd0/bb/tmp-lqVS06/public_inputs_fields.json" (mem: 8973.86 MiB)
13:32:46 Proof saved to "/tmp/a44d6dd0/bb/tmp-lqVS06/proof" (mem: 8973.86 MiB)
13:32:46 [13:32:46.743]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/a44d6dd0/bb/tmp-lqVS06/proof_fields.json" (mem: 8973.86 MiB)
13:32:46 [13:32:46.743]
INFO:
bb-prover RootParityArtifact BB out - VK saved to "/tmp/a44d6dd0/bb/tmp-lqVS06/vk" (mem: 8973.86 MiB)
13:32:46 VK fields saved to "/tmp/a44d6dd0/bb/tmp-lqVS06/vk_fields.json" (mem: 8973.86 MiB)
13:32:47 [13:32:47.031]
INFO:
bb-prover Generated proof for RootParityArtifact in 42922 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":42921.645206,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:32:47 [13:32:47.034]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:47 [13:32:47.034]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a44d6dd0/bb/tmp-1MFbwG/proof -k /tmp/a44d6dd0/bb/tmp-1MFbwG/vk -i /tmp/a44d6dd0/bb/tmp-1MFbwG/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:47 [13:32:47.061]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.61 MiB)
13:32:47 [13:32:47.062]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.61 MiB)
13:32:47 --public_inputs_path: /tmp/a44d6dd0/bb/tmp-1MFbwG/public_inputs (mem: 255.61 MiB)
13:32:47 --proof_path: /tmp/a44d6dd0/bb/tmp-1MFbwG/proof (mem: 255.61 MiB)
13:32:47 --vk_path: /tmp/a44d6dd0/bb/tmp-1MFbwG/vk (mem: 255.61 MiB)
13:32:47 --verbose: true (mem: 255.61 MiB)
13:32:47 --scheme: ultra_honk (mem: 255.61 MiB)
13:32:47 --oracle_hash: poseidon2 (mem: 255.61 MiB)
13:32:47 --disable_zk: true (mem: 255.61 MiB)
13:32:47 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.61 MiB)
13:32:47 [13:32:47.077]
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: 255.61 MiB)
13:32:47 [13:32:47.077]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 255.61 MiB)
13:32:47 [13:32:47.078]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 255.61 MiB)
13:32:47 libra_evals_verified: 1 (mem: 255.61 MiB)
13:32:47 pairing_check_verified: 1 (mem:
13:32:47 [13:32:47.080]
VERBOSE:
bb-prover bb-prover (verify) BB out - 255.61 MiB)
13:32:47 Proof verified successfully (mem: 255.61 MiB)
13:32:47 verified: 1 (mem: 255.61 MiB)
13:32:47 [13:32:47.081]
INFO:
bb-prover Successfully verified proof from key in 47.11968099999649 ms
13:32:47 [13:32:47.085]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:32:47 [13:32:47.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/a44d6dd0/bb/tmp-1lTfnq/proof -k /tmp/a44d6dd0/bb/tmp-1lTfnq/vk -i /tmp/a44d6dd0/bb/tmp-1lTfnq/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:32:47 [13:32:47.120]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.61 MiB)
13:32:47 Scheme is: ultra_honk, num threads: 128 (mem: 255.61 MiB)
13:32:47 --public_inputs_path: /tmp/a44d6dd0/bb/tmp-1lTfnq/public_inputs (mem: 255.61 MiB)
13:32:47 --proof_path: /tmp/a44d6dd0/bb/tmp-1lTfnq/proof (mem: 255.61 MiB)
13:32:47 --vk_path: /tmp/a44d6dd0/bb/tmp-1lTfnq/vk (mem: 255.61 MiB)
13:32:47 --verbose: true (mem: 255.61 MiB)
13:32:47 --scheme: ultra_honk (mem: 255.61 MiB)
13:32:47 --oracle_hash: poseidon2 (mem: 255.61 MiB)
13:32:47 --disable_zk: true (mem: 255.61 MiB)
13:32:47 [13:32:47.121]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.61 MiB)
13:32:47 [13:32:47.136]
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: 255.61 MiB)
13:32:47 [13:32:47.137]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 255.61 MiB)
13:32:47 [13:32:47.138]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 255.61 MiB)
13:32:47 libra_evals_verified: 1 (mem: 255.61 MiB)
13:32:47 pairing_check_verified: 1 (mem: 255.61 MiB)
13:32:47 Proof verified successfully (mem: 255.61 MiB)
13:32:47 verified: 1 (mem: 255.61 MiB)
13:32:47 [13:32:47.141]
INFO:
bb-prover Successfully verified proof from key in 55.73636799999804 ms
13:32:47 [13:32:47.224]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
13:32:47
13:32:47 [13:32:47.225]
ERROR:
bb-prover Error running operation at /tmp/a44d6dd0/bb/tmp-XpQK7t: Error: Failed to generate witness: Failed assertion
13:32:47
13:32:47 [13:32:47.464]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":105.819193000003,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
13:32:47 [13:32:47.465]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:32:47 [13:32:47.465]
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/a44d6dd0/bb/tmp-6ZWQ5Q -b /tmp/a44d6dd0/bb/tmp-6ZWQ5Q/RootParityArtifact-bytecode -w /tmp/a44d6dd0/bb/tmp-6ZWQ5Q/partial-witness.gz -v --init_kzg_accumulator -v
13:32:47 [13:32:47.493]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 255.61 MiB)
13:32:47 [13:32:47.494]
INFO:
bb-prover RootParityArtifact BB out -
13:32:47 Scheme is: ultra_honk, num threads: 128 (mem: 255.61 MiB)
13:32:47 --scheme: ultra_honk (mem: 255.61 MiB)
13:32:47 --bytecode_path: /tmp/a44d6dd0/bb/tmp-6ZWQ5Q/RootParityArtifact-bytecode (mem: 255.61 MiB)
13:32:47 --witness_path: /tmp/a44d6dd0/bb/tmp-6ZWQ5Q/partial-witness.gz (mem: 255.61 MiB)
13:32:47 --output_path: /tmp/a44d6dd0/bb/tmp-6ZWQ5Q (mem: 255.61 MiB)
13:32:47 Warning: the following option is called more than once (mem: 255.61 MiB)
13:32:47 --verbose: true (mem: 255.61 MiB)
13:32:47 --oracle_hash: poseidon2 (mem: 255.61 MiB)
13:32:47 --output_format: bytes_and_fields (mem: 255.61 MiB)
13:32:47 --write_vk: true (mem: 255.61 MiB)
13:32:47 --disable_zk: true (mem: 255.61 MiB)
13:32:47 --init_kzg_accumulator: true (mem: 255.61 MiB)
13:32:47 [13:32:47.695]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.61 MiB)
13:32:47 [13:32:47.710]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 255.61 MiB)
13:32:50 [13:32:50.175]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 414.02 MiB)
13:32:52 [13:32:52.738]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 779.98 MiB)
13:32:55 [13:32:55.055]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1045.90 MiB)
13:32:57 [13:32:57.377]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1421.41 MiB)
13:32:57 [13:32:57.378]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1421.41 MiB)
13:32:58 [13:32:58.698]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1872.18 MiB)
13:32:59 [13:32:59.420]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5520.18 MiB)
13:33:01 [13:33:01.270]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3892 ms. (mem: 6072.18 MiB)
13:33:01 [13:33:01.394]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6072.18 MiB)
13:33:01 [13:33:01.795]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6558.97 MiB)
13:33:03 [13:33:03.081]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7333.97 MiB)
13:33:08 [13:33:08.888]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7333.97 MiB)
13:33:13 [13:33:13.198]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7333.97 MiB)
13:33:15 [13:33:15.724]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8967.18 MiB)
13:33:18 [13:33:18.655]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8967.18 MiB)
13:33:26 [13:33:26.489]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8967.18 MiB)
13:33:28 [13:33:28.187]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8967.18 MiB)
13:33:28 [13:33:28.201]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8967.18 MiB)
13:33:29 [13:33:29.199]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/a44d6dd0/bb/tmp-6ZWQ5Q/public_inputs" (mem: 8967.18 MiB)
13:33:29 [13:33:29.199]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/a44d6dd0/bb/tmp-6ZWQ5Q/public_inputs_fields.json" (mem: 8967.18 MiB)
13:33:29 Proof saved to "/tmp/a44d6dd0/bb/tmp-6ZWQ5Q/proof" (mem: 8967.18 MiB)
13:33:29 Proof fields saved to "/tmp/a44d6dd0/bb/tmp-6ZWQ5Q/proof_fields.json" (mem: 8967.18 MiB)
13:33:29 VK saved to "/tmp/a44d6dd0/bb/tmp-6ZWQ5Q/vk" (mem: 8967.18 MiB)
13:33:29 [13:33:29.201]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/a44d6dd0/bb/tmp-6ZWQ5Q/vk_fields.json" (mem: 8967.18 MiB)
13:33:29 [13:33:29.426]
INFO:
bb-prover Generated proof for RootParityArtifact in 41959 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":41958.58339,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:33:29 [13:33:29.428]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:33:29 [13:33:29.428]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a44d6dd0/bb/tmp-BA6138/proof -k /tmp/a44d6dd0/bb/tmp-BA6138/vk -i /tmp/a44d6dd0/bb/tmp-BA6138/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:33:29 [13:33:29.450]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.61 MiB)
13:33:29 [13:33:29.451]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 255.61 MiB)
13:33:29 --public_inputs_path: /tmp/a44d6dd0/bb/tmp-BA6138/public_inputs (mem: 255.61 MiB)
13:33:29 --proof_path: /tmp/a44d6dd0/bb/tmp-BA6138/proof (mem: 255.61 MiB)
13:33:29 --vk_path: /tmp/a44d6dd0/bb/tmp-BA6138/vk (mem: 255.61 MiB)
13:33:29 --verbose: true (mem: 255.61 MiB)
13:33:29 --scheme: ultra_honk (mem: 255.61 MiB)
13:33:29 --oracle_hash: poseidon2 (mem: 255.61 MiB)
13:33:29 --disable_zk: true (mem: 255.61 MiB)
13:33:29 [13:33:29.452]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.61 MiB)
13:33:29 [13:33:29.462]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 255.61 MiB)
13:33:29 Proof verification failed (mem: 255.61 MiB)
13:33:29 [13:33:29.463]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 255.61 MiB)
13:33:29 [13:33:29.464]
ERROR:
bb-prover Error running operation at /tmp/a44d6dd0/bb/tmp-BA6138: ProvingError: Failed to verify proof from key!
13:33:29 [13:33:29.608]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":66.85285900000599,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
13:33:29 [13:33:29.609]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:33:29 [13:33:29.610]
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/a44d6dd0/bb/tmp-f98fzV -b /tmp/a44d6dd0/bb/tmp-f98fzV/RootParityArtifact-bytecode -w /tmp/a44d6dd0/bb/tmp-f98fzV/partial-witness.gz -v --init_kzg_accumulator -v
13:33:29 [13:33:29.632]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem:
13:33:29 [13:33:29.633]
INFO:
bb-prover RootParityArtifact BB out - 255.61 MiB)
13:33:29 Scheme is: ultra_honk, num threads: 128 (mem: 255.61 MiB)
13:33:29 --scheme: ultra_honk (mem: 255.61 MiB)
13:33:29 --bytecode_path: /tmp/a44d6dd0/bb/tmp-f98fzV/RootParityArtifact-bytecode (mem: 255.61 MiB)
13:33:29 --witness_path: /tmp/a44d6dd0/bb/tmp-f98fzV/partial-witness.gz (mem: 255.61 MiB)
13:33:29 --output_path: /tmp/a44d6dd0/bb/tmp-f98fzV (mem: 255.61 MiB)
13:33:29 Warning: the following option is called more than once (mem: 255.61 MiB)
13:33:29 --verbose: true (mem: 255.61 MiB)
13:33:29 --oracle_hash: poseidon2 (mem: 255.61 MiB)
13:33:29 --output_format: bytes_and_fields (mem: 255.61 MiB)
13:33:29 --write_vk: true (mem: 255.61 MiB)
13:33:29 --disable_zk: true (mem: 255.61 MiB)
13:33:29 --init_kzg_accumulator: true (mem: 255.61 MiB)
13:33:29 [13:33:29.807]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 255.61 MiB)
13:33:29 [13:33:29.826]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 255.61 MiB)
13:33:32 [13:33:32.172]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 417.21 MiB)
13:33:34 [13:33:34.190]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 784.64 MiB)
13:33:35 [13:33:35.849]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1051.07 MiB)
13:33:38 [13:33:38.090]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1426.41 MiB)
13:33:38 [13:33:38.090]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1426.41 MiB)
13:33:39 [13:33:39.211]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1876.82 MiB)
13:33:39 [13:33:39.628]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5527.82 MiB)
13:33:41 [13:33:41.365]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3273 ms. (mem: 6078.82 MiB)
13:33:41 [13:33:41.506]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6078.82 MiB)
13:33:41 [13:33:41.763]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6558.46 MiB)
13:33:42 [13:33:42.959]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7333.46 MiB)
13:33:48 [13:33:48.867]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7333.46 MiB)
13:33:53 [13:33:53.359]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7333.46 MiB)
13:33:56 [13:33:56.314]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8980.79 MiB)
13:33:58 [13:33:58.376]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8981.79 MiB)
13:34:03 [13:34:03.727]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8981.79 MiB)
13:34:05 [13:34:05.188]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8981.79 MiB)
13:34:05 [13:34:05.205]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8981.79 MiB)
13:34:06 [13:34:06.136]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/a44d6dd0/bb/tmp-f98fzV/public_inputs" (mem: 8981.79 MiB)
13:34:06 [13:34:06.136]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/a44d6dd0/bb/tmp-f98fzV/public_inputs_fields.json" (mem: 8981.79 MiB)
13:34:06 Proof saved to "/tmp/a44d6dd0/bb/tmp-f98fzV/proof" (mem: 8981.79 MiB)
13:34:06 Proof fields saved to "/tmp/a44d6dd0/bb/tmp-f98fzV/proof_fields.json" (mem: 8981.79 MiB)
13:34:06 VK saved to "/tmp/a44d6dd0/bb/tmp-f98fzV/vk" (mem: 8981.79 MiB)
13:34:06 [13:34:06.137]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/a44d6dd0/bb/tmp-f98fzV/vk_fields.json" (mem: 8981.79 MiB)
13:34:06 [13:34:06.397]
INFO:
bb-prover Generated proof for RootParityArtifact in 36785 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":36784.34083299998,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:34:06 [13:34:06.399]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:34:06 [13:34:06.399]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a44d6dd0/bb/tmp-8XGCk6/proof -k /tmp/a44d6dd0/bb/tmp-8XGCk6/vk -i /tmp/a44d6dd0/bb/tmp-8XGCk6/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:34:06 [13:34:06.420]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 255.61
13:34:06 [13:34:06.421]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
13:34:06 Scheme is: ultra_honk, num threads: 128 (mem: 255.61 MiB)
13:34:06 --public_inputs_path: /tmp/a44d6dd0/bb/tmp-8XGCk6/public_inputs (mem: 255.61 MiB)
13:34:06 --proof_path: /tmp/a44d6dd0/bb/tmp-8XGCk6/proof (mem: 255.61 MiB)
13:34:06 --vk_path: /tmp/a44d6dd0/bb/tmp-8XGCk6/vk (mem: 255.61 MiB)
13:34:06 --verbose: true (mem: 255.61 MiB)
13:34:06 --scheme: ultra_honk (mem: 255.61 MiB)
13:34:06 --oracle_hash: poseidon2 (mem: 255.61 MiB)
13:34:06 --disable_zk: true (mem: 255.61 MiB)
13:34:06 [13:34:06.422]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 255.61 MiB)
13:34:06 [13:34:06.431]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 255.61 MiB)
13:34:06 Proof verification failed (mem: 255.61 MiB)
13:34:06 [13:34:06.432]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 255.61 MiB)
13:34:06 [13:34:06.433]
ERROR:
bb-prover Error running operation at /tmp/a44d6dd0/bb/tmp-8XGCk6: ProvingError: Failed to verify proof from key!
13:34:06 [13:34:06.436]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
13:34:06
PASS src/test/bb_prover_parity.test.ts (
136.635 s)
13:34:06 prover/bb_prover/parity
13:34:06
✓ proves the parity circuits (127147 ms)
13:34:06
13:34:06
Test Suites: 1 passed, 1 total
13:34:06
Tests: 1 passed, 1 total
13:34:06
Snapshots: 0 total
13:34:06
Time: 136.724 s
13:34:06
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
13:34:06
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?