Parent Log:
http://ci.aztec-labs.com/b60bf0257f00fe8c
Command: 29957fbe93665d48: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/a9414cff28bd9ebfe35ca67f0ec0117d08f57e55
Env: REF_NAME=gh-readonly-queue/next/pr-15216-4608046e462faf9ff3fbee265ba34dbecb5d0b31 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 23 15:02:59 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15216_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
15:02:59 +++ id -u
15:02:59 +++ id -g
15:02:59 ++ 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'\'''
15:02:59 + cid=1129c65d5232add34ce4d384e4e889defb83a08d062b078fd2e431873ec7efe9
15:02:59 + set +x
15:03:01 {"level":25,"time":1750690981654,"pid":7,"hostname":"1129c65d5232","module":"logger","msg":"Logger initialized with level verbose"}
15:03:09 [15:03:09.424]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-vOXCx7/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
15:03:09 [15:03:09.493]
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/a748fdb7/bb
15:03:09 [15:03:09.494]
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/a748fdb7/acvm
15:03:09 [15:03:09.495]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/a748fdb7/bb
15:03:09 [15:03:09.496]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/a748fdb7/acvm
15:03:09 [15:03:09.499]
INFO:
prover-client:proving-broker Proving Broker started
15:03:09 [15:03:09.500]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
15:03:09 [15:03:09.696]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":89.70855099999972,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:03:09 [15:03:09.713]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":53.006187000000864,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:03:09 [15:03:09.736]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":42.88886300000013,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:03:09 [15:03:09.747]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:03:09 [15:03:09.748]
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/a748fdb7/bb/tmp-QeEyu4 -b /tmp/a748fdb7/bb/tmp-QeEyu4/BaseParityArtifact-bytecode -w /tmp/a748fdb7/bb/tmp-QeEyu4/partial-witness.gz -v --init_kzg_accumulator -v
15:03:09 [15:03:09.773]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:03:09 [15:03:09.773]
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/a748fdb7/bb/tmp-AJqP7n -b /tmp/a748fdb7/bb/tmp-AJqP7n/BaseParityArtifact-bytecode -w /tmp/a748fdb7/bb/tmp-AJqP7n/partial-witness.gz -v --init_kzg_accumulator -v
15:03:09 [15:03:09.793]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 248.45 MiB)
15:03:09 Scheme is: ultra_honk, num threads: 128 (mem: 248.45 MiB)
15:03:09 --scheme: ultra_honk (mem: 248.45 MiB)
15:03:09 --bytecode_path: /tmp/a748fdb7/bb/tmp-QeEyu4/BaseParityArtifact-bytecode (mem: 248.45 MiB)
15:03:09 --witness_path: /tmp/a748fdb7/bb/tmp-QeEyu4/partial-witness.gz (mem: 248.45 MiB)
15:03:09 --output_path: /tmp/a748fdb7/bb/tmp-QeEyu4 (mem: 248.45 MiB)
15:03:09 Warning: the following option is called more than once (mem: 248.45 MiB)
15:03:09 --verbose: true (mem: 248.45 MiB)
15:03:09 --oracle_hash: poseidon2 (mem: 248.45 MiB)
15:03:09 --output_format: bytes_and_fields (mem: 248.45 MiB)
15:03:09 --write_vk: true (mem: 248.45 MiB)
15:03:09 --disable_zk: true (mem: 248.45 MiB)
15:03:09 --init_kzg_accumulator: true (mem: 248.45 MiB)
15:03:09 [15:03:09.795]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:03:09 [15:03:09.796]
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/a748fdb7/bb/tmp-cnzSkw -b /tmp/a748fdb7/bb/tmp-cnzSkw/BaseParityArtifact-bytecode -w /tmp/a748fdb7/bb/tmp-cnzSkw/partial-witness.gz -v --init_kzg_accumulator -v
15:03:09 [15:03:09.828]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":78.3755029999993,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:03:09 [15:03:09.829]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 248.45 MiB)
15:03:09 Scheme is: ultra_honk, num threads: 128 (mem: 248.45 MiB)
15:03:09 --scheme: ultra_honk (mem: 248.45 MiB)
15:03:09 --bytecode_path: /tmp/a748fdb7/bb/tmp-AJqP7n/BaseParityArtifact-bytecode (mem: 248.45 MiB)
15:03:09 --witness_path: /tmp/a748fdb7/bb/tmp-AJqP7n/partial-witness.gz (mem: 248.45 MiB)
15:03:09 --output_path: /tmp/a748fdb7/bb/tmp-AJqP7n (mem: 248.45 MiB)
15:03:09 Warning: the following option is called more than once (mem: 248.45 MiB)
15:03:09 --verbose: true (mem: 248.45 MiB)
15:03:09 --oracle_hash: poseidon2 (mem: 248.45 MiB)
15:03:09 --output_format: bytes_and_fields (mem: 248.45 MiB)
15:03:09 --write_vk: true (mem: 248.45 MiB)
15:03:09 --disable_zk: true (mem: 248.45 MiB)
15:03:09 --init_kzg_accumulator: true (mem: 248.45 MiB)
15:03:09 [15:03:09.830]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 248.61 MiB)
15:03:09 Scheme is: ultra_honk, num threads: 128 (mem: 248.61 MiB)
15:03:09 --scheme: ultra_honk (mem: 248.61 MiB)
15:03:09 --bytecode_path: /tmp/a748fdb7/bb/tmp-cnzSkw/BaseParityArtifact-bytecode (mem: 248.61 MiB)
15:03:09 --witness_path: /tmp/a748fdb7/bb/tmp-cnzSkw/partial-witness.gz (mem: 248.61 MiB)
15:03:09 --output_path: /tmp/a748fdb7/bb/tmp-cnzSkw (mem: 248.61 MiB)
15:03:09 Warning: the following option is called more than once (mem: 248.61 MiB)
15:03:09 --verbose: true (mem: 248.61 MiB)
15:03:09 --oracle_hash: poseidon2 (mem: 248.61 MiB)
15:03:09 --output_format: bytes_and_fields (mem: 248.61 MiB)
15:03:09 --write_vk: true (mem: 248.61 MiB)
15:03:09 --disable_zk: true (mem: 248.61 MiB)
15:03:09 --init_kzg_accumulator: true (mem: 248.61 MiB)
15:03:09 [15:03:09.835]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:03:09 [15:03:09.835]
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/a748fdb7/bb/tmp-roicSS -b /tmp/a748fdb7/bb/tmp-roicSS/BaseParityArtifact-bytecode -w /tmp/a748fdb7/bb/tmp-roicSS/partial-witness.gz -v --init_kzg_accumulator -v
15:03:09 [15:03:09.872]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 249.00 MiB)
15:03:09 Scheme is: ultra_honk, num threads: 128 (mem: 249.00 MiB)
15:03:09 --scheme: ultra_honk (mem: 249.00 MiB)
15:03:09 --bytecode_path: /tmp/a748fdb7/bb/tmp-roicSS/BaseParityArtifact-bytecode (mem: 249.00 MiB)
15:03:09 --witness_path: /tmp/a748fdb7/bb/tmp-roicSS/partial-witness.gz (mem: 249.00 MiB)
15:03:09 --output_path: /tmp/a748fdb7/bb/tmp-roicSS (mem: 249.00 MiB)
15:03:09 Warning: the following option is called more than once (mem: 249.00 MiB)
15:03:09 --verbose: true (mem: 249.00 MiB)
15:03:09 --oracle_hash: poseidon2 (mem: 249.00 MiB)
15:03:09 --output_format: bytes_and_fields (mem: 249.00 MiB)
15:03:09 --write_vk: true (mem: 249.00 MiB)
15:03:09 --disable_zk: true (mem: 249.00 MiB)
15:03:09 --init_kzg_accumulator: true (mem: 249.00 MiB)
15:03:09 [15:03:09.982]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 248.45 MiB)
15:03:09 [15:03:09.982]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 248.45 MiB)
15:03:09 [15:03:09.986]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 248.45 MiB)
15:03:09 [15:03:09.990]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 248.45 MiB)
15:03:09 Constructing DeciderProvingKey (mem: 248.45 MiB)
15:03:09 [15:03:09.993]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
15:03:09 [15:03:09.994]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
15:03:09 [15:03:09.997]
INFO:
bb-prover BaseParityArtifact BB out - 248.45 MiB)
15:03:10 [15:03:10.027]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 248.61 MiB)
15:03:10 [15:03:10.028]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 248.61 MiB)
15:03:10 [15:03:10.031]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 248.61 MiB)
15:03:10 [15:03:10.086]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 249.00 MiB)
15:03:10 Constructing DeciderProvingKey (mem: 249.00 MiB)
15:03:10 [15:03:10.089]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 249.00 MiB)
15:03:10 [15:03:10.222]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 248.45 MiB)
15:03:10 [15:03:10.249]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 248.45 MiB)
15:03:10 [15:03:10.258]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem:
15:03:10 [15:03:10.258]
INFO:
bb-prover BaseParityArtifact BB out - 248.61 MiB)
15:03:10 [15:03:10.278]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 249.00 MiB)
15:03:10 [15:03:10.300]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 317 ms. (mem: 248.45 MiB)
15:03:10 [15:03:10.306]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 248.45 MiB)
15:03:10 [15:03:10.308]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 248.45 MiB)
15:03:10 [15:03:10.320]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 292 ms. (mem: 248.61 MiB)
15:03:10 [15:03:10.322]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 248.45 MiB)
15:03:10 [15:03:10.323]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 333 ms. (mem: 248.45 MiB)
15:03:10 [15:03:10.326]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 248.61 MiB)
15:03:10 [15:03:10.327]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 248.61 MiB)
15:03:10 [15:03:10.327]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 248.45 MiB)
15:03:10 [15:03:10.328]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 248.45 MiB)
15:03:10 [15:03:10.346]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 248.61 MiB)
15:03:10 [15:03:10.347]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 248.45 MiB)
15:03:10 [15:03:10.354]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 259 ms. (mem: 249.00 MiB)
15:03:10 WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 249.00 MiB)
15:03:10 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.00 MiB)
15:03:10 [15:03:10.361]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 249.00 MiB)
15:03:11 [15:03:11.456]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem:
15:03:11 [15:03:11.459]
INFO:
bb-prover BaseParityArtifact BB out - 248.45 MiB)
15:03:11 [15:03:11.483]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.00 MiB)
15:03:11 [15:03:11.590]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 248.45 MiB)
15:03:11 [15:03:11.688]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 248.61 MiB)
15:03:12 [15:03:12.045]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 248.45 MiB)
15:03:12 [15:03:12.069]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 249.00 MiB)
15:03:12 [15:03:12.204]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 248.45 MiB)
15:03:12 [15:03:12.355]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 248.61 MiB)
15:03:12 [15:03:12.382]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 249.00 MiB)
15:03:12 [15:03:12.443]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 248.45 MiB)
15:03:12 [15:03:12.547]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 248.45 MiB)
15:03:12 [15:03:12.549]
INFO:
bb-prover BaseParityArtifact BB out -
15:03:12 [15:03:12.589]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 249.00 MiB)
15:03:12 [15:03:12.645]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 248.61 MiB)
15:03:12 [15:03:12.681]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 248.45 MiB)
15:03:12 [15:03:12.736]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 248.45 MiB)
15:03:12 [15:03:12.815]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 248.61 MiB)
15:03:14 [15:03:14.178]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 249.00 MiB)
15:03:14 [15:03:14.254]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 248.45 MiB)
15:03:14 [15:03:14.264]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 248.45 MiB)
15:03:14 [15:03:14.370]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 249.00 MiB)
15:03:14 finished decider proving. (mem: 249.00 MiB)
15:03:14 Public inputs saved to "/tmp/a748fdb7/bb/tmp-roicSS/public_inputs" (mem: 249.00 MiB)
15:03:14 Public inputs fields saved to "/tmp/a748fdb7/bb/tmp-roicSS/public_inputs_fields.json" (mem: 249.00 MiB)
15:03:14 Proof saved to "/tmp/a748fdb7/bb/tmp-roicSS/proof" (mem: 249.00 MiB)
15:03:14 [15:03:14.371]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/a748fdb7/bb/tmp-roicSS/proof_fields.json" (mem: 249.00 MiB)
15:03:14 VK saved to "/tmp/a748fdb7/bb/tmp-roicSS/vk" (mem: 249.00 MiB)
15:03:14 VK fields saved to "/tmp/a748fdb7/bb/tmp-roicSS/vk_fields.json" (mem: 249.00 MiB)
15:03:14 [15:03:14.416]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 248.45 MiB)
15:03:14 finished decider proving. (mem: 248.45 MiB)
15:03:14 Public inputs saved to "/tmp/a748fdb7/bb/tmp-QeEyu4/public_inputs" (mem: 248.45 MiB)
15:03:14 Public inputs fields saved to "/tmp/a748fdb7/bb/tmp-QeEyu4/public_inputs_fields.json" (mem: 248.45 MiB)
15:03:14 Proof saved to "/tmp/a748fdb7/bb/tmp-QeEyu4/proof" (mem: 248.45 MiB)
15:03:14 Proof fields saved to "/tmp/a748fdb7/bb/tmp-QeEyu4/proof_fields.json" (mem: 248.45 MiB)
15:03:14 VK saved to "/tmp/a748fdb7/bb/tmp-QeEyu4/vk" (mem: 248.45 MiB)
15:03:14 [15:03:14.421]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/a748fdb7/bb/tmp-QeEyu4/vk_fields.json" (mem: 248.45 MiB)
15:03:14 [15:03:14.430]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 248.45 MiB)
15:03:14 [15:03:14.431]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 248.45 MiB)
15:03:14 Public inputs saved to "/tmp/a748fdb7/bb/tmp-AJqP7n/public_inputs" (mem: 248.45 MiB)
15:03:14 Public inputs fields saved to "/tmp/a748fdb7/bb/tmp-AJqP7n/public_inputs_fields.json" (mem: 248.45 MiB)
15:03:14 Proof saved to "/tmp/a748fdb7/bb/tmp-AJqP7n/proof" (mem: 248.45 MiB)
15:03:14 [15:03:14.432]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/a748fdb7/bb/tmp-AJqP7n/proof_fields.json" (mem: 248.45 MiB)
15:03:14 VK saved to "/tmp/a748fdb7/bb/tmp-AJqP7n/vk" (mem: 248.45 MiB)
15:03:14 VK fields saved to "/tmp/a748fdb7/bb/tmp-AJqP7n/vk_fields.json" (mem: 248.45 MiB)
15:03:14 [15:03:14.475]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4618 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4617.247364999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:03:14 [15:03:14.485]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4731 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4730.276083000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:03:14 [15:03:14.500]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4717 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4716.628481,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:03:14 [15:03:14.513]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:03:14 [15:03:14.513]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a748fdb7/bb/tmp-nb4V3Q/proof -k /tmp/a748fdb7/bb/tmp-nb4V3Q/vk -i /tmp/a748fdb7/bb/tmp-nb4V3Q/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:03:14 [15:03:14.548]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:03:14 [15:03:14.548]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a748fdb7/bb/tmp-fHQ3H0/proof -k /tmp/a748fdb7/bb/tmp-fHQ3H0/vk -i /tmp/a748fdb7/bb/tmp-fHQ3H0/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:03:14 [15:03:14.572]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.11 MiB)
15:03:14 Scheme is: ultra_honk, num threads: 128 (mem: 249.11 MiB)
15:03:14 --public_inputs_path: /tmp/a748fdb7/bb/tmp-nb4V3Q/public_inputs (mem: 249.11 MiB)
15:03:14 --proof_path: /tmp/a748fdb7/bb/tmp-nb4V3Q/proof (mem: 249.11 MiB)
15:03:14 --vk_path: /tmp/a748fdb7/bb/tmp-nb4V3Q/vk (mem: 249.11 MiB)
15:03:14 --verbose: true (mem: 249.11 MiB)
15:03:14 --scheme: ultra_honk (mem: 249.11 MiB)
15:03:14 --oracle_hash: poseidon2 (mem: 249.11 MiB)
15:03:14 --disable_zk: true (mem: 249.11 MiB)
15:03:14 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.11 MiB)
15:03:14 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.11 MiB)
15:03:14 Initialized BN254 CRS from memory with num points = 1 (mem: 249.11 MiB)
15:03:14 sumcheck_verified: 1 (mem: 249.11 MiB)
15:03:14 libra_evals_verified: 1 (mem: 249.11 MiB)
15:03:14 pairing_check_verified: 1 (mem: 249.11 MiB)
15:03:14 Proof verified successfully (mem: 249.11 MiB)
15:03:14 verified: 1 (mem: 249.11 MiB)
15:03:14 [15:03:14.573]
INFO:
bb-prover Successfully verified proof from key in 60.76416600000084 ms
15:03:14 [15:03:14.575]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:03:14 [15:03:14.575]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a748fdb7/bb/tmp-hOgoRx/proof -k /tmp/a748fdb7/bb/tmp-hOgoRx/vk -i /tmp/a748fdb7/bb/tmp-hOgoRx/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:03:14 [15:03:14.619]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.11 MiB)
15:03:14 Scheme is: ultra_honk, num threads: 128 (mem: 249.11 MiB)
15:03:14 --public_inputs_path: /tmp/a748fdb7/bb/tmp-fHQ3H0/public_inputs (mem: 249.11 MiB)
15:03:14 --proof_path: /tmp/a748fdb7/bb/tmp-fHQ3H0/proof (mem: 249.11 MiB)
15:03:14 --vk_path: /tmp/a748fdb7/bb/tmp-fHQ3H0/vk (mem: 249.11 MiB)
15:03:14 --verbose: true (mem: 249.11 MiB)
15:03:14 --scheme: ultra_honk (mem: 249.11 MiB)
15:03:14 --oracle_hash: poseidon2 (mem: 249.11 MiB)
15:03:14 --disable_zk: true (mem: 249.11 MiB)
15:03:14 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.11 MiB)
15:03:14 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.11 MiB)
15:03:14 Initialized BN254 CRS from memory with num points = 1 (mem: 249.11 MiB)
15:03:14 sumcheck_verified: 1 (mem: 249.11 MiB)
15:03:14 libra_evals_verified: 1 (mem: 249.11 MiB)
15:03:14 pairing_check_verified: 1 (mem: 249.11 MiB)
15:03:14 Proof verified successfully (mem: 249.11 MiB)
15:03:14 verified: 1 (mem: 249.11 MiB)
15:03:14 [15:03:14.620]
INFO:
bb-prover Successfully verified proof from key in 72.78557600000022 ms
15:03:14 [15:03:14.625]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.12 MiB)
15:03:14 [15:03:14.626]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 249.12 MiB)
15:03:14 --public_inputs_path: /tmp/a748fdb7/bb/tmp-hOgoRx/public_inputs (mem: 249.12 MiB)
15:03:14 --proof_path: /tmp/a748fdb7/bb/tmp-hOgoRx/proof (mem: 249.12 MiB)
15:03:14 --vk_path: /tmp/a748fdb7/bb/tmp-hOgoRx/vk (mem: 249.12 MiB)
15:03:14 --verbose: true (mem: 249.12 MiB)
15:03:14 --scheme: ultra_honk (mem: 249.12 MiB)
15:03:14 --oracle_hash: poseidon2 (mem: 249.12 MiB)
15:03:14 --disable_zk: true (mem: 249.12 MiB)
15:03:14 [15:03:14.627]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.12 MiB)
15:03:14 [15:03:14.640]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.12 MiB)
15:03:14 [15:03:14.640]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 249.12 MiB)
15:03:14 [15:03:14.641]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 249.12 MiB)
15:03:14 libra_evals_verified: 1 (mem: 249.12 MiB)
15:03:14 pairing_check_verified: 1 (mem: 249.12 MiB)
15:03:14 Proof verified successfully (mem: 249.12 MiB)
15:03:14 [15:03:14.642]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 249.12 MiB)
15:03:14 [15:03:14.647]
INFO:
bb-prover Successfully verified proof from key in 72.43737900000087 ms
15:03:14 [15:03:14.756]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 248.61 MiB)
15:03:14 [15:03:14.842]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 248.61 MiB)
15:03:14 finished decider proving. (mem:
15:03:14 [15:03:14.843]
INFO:
bb-prover BaseParityArtifact BB out - 248.61 MiB)
15:03:14 Public inputs saved to "/tmp/a748fdb7/bb/tmp-cnzSkw/public_inputs" (mem: 248.61 MiB)
15:03:14 Public inputs fields saved to "/tmp/a748fdb7/bb/tmp-cnzSkw/public_inputs_fields.json" (mem: 248.61 MiB)
15:03:14 Proof saved to "/tmp/a748fdb7/bb/tmp-cnzSkw/proof" (mem: 248.61 MiB)
15:03:14 Proof fields saved to "/tmp/a748fdb7/bb/tmp-cnzSkw/proof_fields.json" (mem: 248.61 MiB)
15:03:14 VK saved to "/tmp/a748fdb7/bb/tmp-cnzSkw/vk" (mem: 248.61 MiB)
15:03:14 [15:03:14.844]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/a748fdb7/bb/tmp-cnzSkw/vk_fields.json" (mem: 248.61 MiB)
15:03:14 [15:03:14.892]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5094 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5093.308816000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:03:14 [15:03:14.895]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:03:14 [15:03:14.896]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a748fdb7/bb/tmp-e5xrOY/proof -k /tmp/a748fdb7/bb/tmp-e5xrOY/vk -i /tmp/a748fdb7/bb/tmp-e5xrOY/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:03:14 [15:03:14.922]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.18
15:03:14 [15:03:14.922]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
15:03:14 Scheme is: ultra_honk, num threads: 128 (mem: 249.18 MiB)
15:03:14 --public_inputs_path: /tmp/a748fdb7/bb/tmp-e5xrOY/public_inputs (mem: 249.18 MiB)
15:03:14 --proof_path: /tmp/a748fdb7/bb/tmp-e5xrOY/proof (mem: 249.18 MiB)
15:03:14 --vk_path: /tmp/a748fdb7/bb/tmp-e5xrOY/vk (mem: 249.18 MiB)
15:03:14 --verbose: true (mem: 249.18 MiB)
15:03:14 --scheme: ultra_honk (mem: 249.18 MiB)
15:03:14 --oracle_hash: poseidon2 (mem: 249.18 MiB)
15:03:14 --disable_zk: true (mem: 249.18 MiB)
15:03:14 [15:03:14.923]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.18 MiB)
15:03:14 [15:03:14.944]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.18 MiB)
15:03:14 [15:03:14.945]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 249.18 MiB)
15:03:14 [15:03:14.946]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 249.18 MiB)
15:03:14 libra_evals_verified: 1 (mem: 249.18 MiB)
15:03:14 pairing_check_verified: 1 (mem: 249.18 MiB)
15:03:14 Proof verified successfully (mem: 249.18 MiB)
15:03:14 verified: 1 (mem: 249.18 MiB)
15:03:14 [15:03:14.950]
INFO:
bb-prover Successfully verified proof from key in 55.157028999999966 ms
15:03:14 [15:03:14.985]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:03:14 [15:03:14.985]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a748fdb7/bb/tmp-DPDnyy/proof -k /tmp/a748fdb7/bb/tmp-DPDnyy/vk -i /tmp/a748fdb7/bb/tmp-DPDnyy/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:03:15 [15:03:15.011]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:03:15 [15:03:15.012]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a748fdb7/bb/tmp-T3qX7c/proof -k /tmp/a748fdb7/bb/tmp-T3qX7c/vk -i /tmp/a748fdb7/bb/tmp-T3qX7c/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:03:15 [15:03:15.039]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:03:15 [15:03:15.040]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a748fdb7/bb/tmp-3U3kDI/proof -k /tmp/a748fdb7/bb/tmp-3U3kDI/vk -i /tmp/a748fdb7/bb/tmp-3U3kDI/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:03:15 [15:03:15.062]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:03:15 [15:03:15.063]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a748fdb7/bb/tmp-HgnS3c/proof -k /tmp/a748fdb7/bb/tmp-HgnS3c/vk -i /tmp/a748fdb7/bb/tmp-HgnS3c/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:03:15 [15:03:15.090]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.23 MiB)
15:03:15 Scheme is: ultra_honk, num threads: 128 (mem: 249.23 MiB)
15:03:15 --public_inputs_path: /tmp/a748fdb7/bb/tmp-DPDnyy/public_inputs (mem: 249.23 MiB)
15:03:15 --proof_path: /tmp/a748fdb7/bb/tmp-DPDnyy/proof (mem: 249.23 MiB)
15:03:15 --vk_path: /tmp/a748fdb7/bb/tmp-DPDnyy/vk (mem: 249.23 MiB)
15:03:15 --verbose: true (mem: 249.23 MiB)
15:03:15 --scheme: ultra_honk (mem: 249.23 MiB)
15:03:15 --oracle_hash: poseidon2 (mem: 249.23 MiB)
15:03:15 --disable_zk: true (mem: 249.23 MiB)
15:03:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.23 MiB)
15:03:15 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.23 MiB)
15:03:15 Initialized BN254 CRS from memory with num points = 1 (mem: 249.23 MiB)
15:03:15 sumcheck_verified: 1 (mem: 249.23 MiB)
15:03:15 libra_evals_verified: 1 (mem: 249.23 MiB)
15:03:15 pairing_check_verified: 1 (mem: 249.23 MiB)
15:03:15 Proof verified successfully (mem: 249.23 MiB)
15:03:15 verified: 1 (mem: 249.23 MiB)
15:03:15 [15:03:15.092]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.23 MiB)
15:03:15 Scheme is: ultra_honk, num threads: 128 (mem: 249.23 MiB)
15:03:15 --public_inputs_path: /tmp/a748fdb7/bb/tmp-T3qX7c/public_inputs (mem: 249.23 MiB)
15:03:15 --proof_path: /tmp/a748fdb7/bb/tmp-T3qX7c/proof (mem: 249.23 MiB)
15:03:15 --vk_path: /tmp/a748fdb7/bb/tmp-T3qX7c/vk (mem: 249.23 MiB)
15:03:15 --verbose: true (mem: 249.23 MiB)
15:03:15 --scheme: ultra_honk (mem: 249.23 MiB)
15:03:15 --oracle_hash: poseidon2 (mem: 249.23 MiB)
15:03:15 --disable_zk: true (mem: 249.23 MiB)
15:03:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.23 MiB)
15:03:15 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.23 MiB)
15:03:15 Initialized BN254 CRS from memory with num points = 1 (mem: 249.23 MiB)
15:03:15 sumcheck_verified: 1 (mem: 249.23 MiB)
15:03:15 libra_evals_verified: 1 (mem: 249.23 MiB)
15:03:15 pairing_check_verified: 1 (mem: 249.23 MiB)
15:03:15 Proof verified successfully (mem: 249.23 MiB)
15:03:15 verified: 1 (mem: 249.23 MiB)
15:03:15 [15:03:15.097]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.23 MiB)
15:03:15 Scheme is: ultra_honk, num threads: 128 (mem: 249.23 MiB)
15:03:15 --public_inputs_path: /tmp/a748fdb7/bb/tmp-3U3kDI/public_inputs (mem: 249.23 MiB)
15:03:15 --proof_path: /tmp/a748fdb7/bb/tmp-3U3kDI/proof (mem: 249.23 MiB)
15:03:15 --vk_path: /tmp/a748fdb7/bb/tmp-3U3kDI/vk (mem: 249.23 MiB)
15:03:15 --verbose: true (mem: 249.23 MiB)
15:03:15 --scheme: ultra_honk (mem: 249.23 MiB)
15:03:15 --oracle_hash: poseidon2 (mem: 249.23 MiB)
15:03:15 --disable_zk: true (mem: 249.23 MiB)
15:03:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.23 MiB)
15:03:15 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.23 MiB)
15:03:15 Initialized BN254 CRS from memory with num points = 1 (mem: 249.23 MiB)
15:03:15 sumcheck_verified: 1 (mem: 249.23 MiB)
15:03:15 libra_evals_verified: 1 (mem: 249.23 MiB)
15:03:15 pairing_check_verified: 1 (mem: 249.23 MiB)
15:03:15 Proof verified successfully (mem: 249.23 MiB)
15:03:15 verified: 1 (mem: 249.23 MiB)
15:03:15 [15:03:15.100]
INFO:
bb-prover Successfully verified proof from key in 60.373397999999725 ms
15:03:15 [15:03:15.100]
INFO:
bb-prover Successfully verified proof from key in 88.83803400000033 ms
15:03:15 [15:03:15.101]
INFO:
bb-prover Successfully verified proof from key in 115.92950299999939 ms
15:03:15 [15:03:15.101]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.23 MiB)
15:03:15 Scheme is: ultra_honk, num threads: 128 (mem: 249.23 MiB)
15:03:15 --public_inputs_path: /tmp/a748fdb7/bb/tmp-HgnS3c/public_inputs (mem: 249.23 MiB)
15:03:15 --proof_path: /tmp/a748fdb7/bb/tmp-HgnS3c/proof (mem: 249.23 MiB)
15:03:15 --vk_path: /tmp/a748fdb7/bb/tmp-HgnS3c/vk (mem: 249.23 MiB)
15:03:15 --verbose: true (mem: 249.23 MiB)
15:03:15 --scheme: ultra_honk (mem: 249.23 MiB)
15:03:15 --oracle_hash: poseidon2 (mem: 249.23 MiB)
15:03:15 --disable_zk: true (mem: 249.23 MiB)
15:03:15 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.23 MiB)
15:03:15 [15:03:15.155]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.23 MiB)
15:03:15 Initialized BN254 CRS from memory with num points = 1 (mem: 249.23 MiB)
15:03:15 sumcheck_verified: 1 (mem: 249.23 MiB)
15:03:15 libra_evals_verified: 1 (mem: 249.23 MiB)
15:03:15 pairing_check_verified: 1 (mem: 249.23 MiB)
15:03:15 Proof verified successfully (mem: 249.23 MiB)
15:03:15 verified: 1 (mem: 249.23 MiB)
15:03:15 [15:03:15.157]
INFO:
bb-prover Successfully verified proof from key in 94.10094500000014 ms
15:03:15 [15:03:15.417]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":96.57024199999978,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
15:03:15 [15:03:15.418]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:03:15 [15:03:15.419]
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/a748fdb7/bb/tmp-Jgr59f -b /tmp/a748fdb7/bb/tmp-Jgr59f/RootParityArtifact-bytecode -w /tmp/a748fdb7/bb/tmp-Jgr59f/partial-witness.gz -v --init_kzg_accumulator -v
15:03:15 [15:03:15.444]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 250.07 MiB)
15:03:15 Scheme is: ultra_honk, num threads: 128 (mem: 250.07 MiB)
15:03:15 --scheme: ultra_honk (mem: 250.07
15:03:15 [15:03:15.445]
INFO:
bb-prover RootParityArtifact BB out - MiB)
15:03:15 --bytecode_path: /tmp/a748fdb7/bb/tmp-Jgr59f/RootParityArtifact-bytecode (mem: 250.07 MiB)
15:03:15 --witness_path: /tmp/a748fdb7/bb/tmp-Jgr59f/partial-witness.gz (mem: 250.07 MiB)
15:03:15 --output_path: /tmp/a748fdb7/bb/tmp-Jgr59f (mem: 250.07 MiB)
15:03:15 Warning: the following option is called more than once (mem: 250.07 MiB)
15:03:15 --verbose: true (mem: 250.07 MiB)
15:03:15 --oracle_hash: poseidon2 (mem: 250.07 MiB)
15:03:15 --output_format: bytes_and_fields (mem: 250.07 MiB)
15:03:15 --write_vk: true (mem: 250.07 MiB)
15:03:15 --disable_zk: true (mem: 250.07 MiB)
15:03:15 --init_kzg_accumulator: true (mem: 250.07 MiB)
15:03:15 [15:03:15.627]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.07 MiB)
15:03:17 [15:03:17.685]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 421.48 MiB)
15:03:20 [15:03:20.208]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 786.27 MiB)
15:03:22 [15:03:22.376]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1058.77 MiB)
15:03:24 [15:03:24.722]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1431.27 MiB)
15:03:24 [15:03:24.722]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1431.27 MiB)
15:03:26 [15:03:26.075]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1843.33 MiB)
15:03:26 [15:03:26.502]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5484.38 MiB)
15:03:28 [15:03:28.320]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3597 ms. (mem: 6059.38 MiB)
15:03:28 [15:03:28.458]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6059.38 MiB)
15:03:28 [15:03:28.459]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6059.38 MiB)
15:03:29 [15:03:29.353]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6059.38 MiB)
15:03:34 [15:03:34.230]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6059.38 MiB)
15:03:40 [15:03:40.012]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6059.38 MiB)
15:03:42 [15:03:42.315]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds...
15:03:42 [15:03:42.315]
INFO:
bb-prover RootParityArtifact BB out - (mem:
15:03:42 [15:03:42.316]
INFO:
bb-prover RootParityArtifact BB out - 6731.75
15:03:42 [15:03:42.323]
INFO:
bb-prover RootParityArtifact BB out - MiB)
15:03:45 [15:03:45.565]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6731.75 MiB)
15:03:53 [15:03:53.315]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6731.75 MiB)
15:03:55 [15:03:55.127]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6731.75 MiB)
15:03:55 [15:03:55.139]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving.
15:03:55 [15:03:55.141]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6731.75 MiB)
15:03:55 [15:03:55.759]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/a748fdb7/bb/tmp-Jgr59f/public_inputs" (mem: 6731.75 MiB)
15:03:55 Public inputs fields saved to "/tmp/a748fdb7/bb/tmp-Jgr59f/public_inputs_fields.json" (mem: 6731.75 MiB)
15:03:55 [15:03:55.760]
INFO:
bb-prover RootParityArtifact BB out - Proof saved to "/tmp/a748fdb7/bb/tmp-Jgr59f/proof" (mem: 6731.75 MiB)
15:03:55 Proof fields saved to "/tmp/a748fdb7/bb/tmp-Jgr59f/proof_fields.json" (mem: 6731.75 MiB)
15:03:55 VK saved to "/tmp/a748fdb7/bb/tmp-Jgr59f/vk" (mem: 6731.75 MiB)
15:03:55 VK fields saved to "/tmp/a748fdb7/bb/tmp-Jgr59f/vk_fields.json" (mem: 6731.75 MiB)
15:03:55 [15:03:55.912]
INFO:
bb-prover Generated proof for RootParityArtifact in 40492 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40491.202714,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:03:55 [15:03:55.915]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:03:55 [15:03:55.916]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a748fdb7/bb/tmp-F09mKQ/proof -k /tmp/a748fdb7/bb/tmp-F09mKQ/vk -i /tmp/a748fdb7/bb/tmp-F09mKQ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:03:55 [15:03:55.943]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.08 MiB)
15:03:55 Scheme is: ultra_honk, num threads: 128 (mem: 250.08 MiB)
15:03:55 --public_inputs_path: /tmp/a748fdb7/bb/tmp-F09mKQ/public_inputs (mem: 250.08 MiB)
15:03:55 --proof_path: /tmp/a748fdb7/bb/tmp-F09mKQ/proof (mem: 250.08 MiB)
15:03:55 --vk_path: /tmp/a748fdb7/bb/tmp-F09mKQ/vk (mem: 250.08 MiB)
15:03:55 --verbose: true (mem: 250.08 MiB)
15:03:55 --scheme: ultra_honk (mem: 250.08 MiB)
15:03:55 --oracle_hash: poseidon2 (mem: 250.08 MiB)
15:03:55 --disable_zk: true (mem: 250.08 MiB)
15:03:55 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 250.08 MiB)
15:03:55 [15:03:55.961]
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.08 MiB)
15:03:55 Initialized BN254 CRS from memory with num points = 1 (mem: 250.08 MiB)
15:03:55 sumcheck_verified: 1 (mem: 250.08 MiB)
15:03:55 libra_evals_verified: 1 (mem: 250.08 MiB)
15:03:55 pairing_check_verified: 1 (mem: 250.08 MiB)
15:03:55 Proof verified successfully (mem: 250.08 MiB)
15:03:55 verified: 1 (mem: 250.08 MiB)
15:03:55 [15:03:55.962]
INFO:
bb-prover Successfully verified proof from key in 47.0342890000029 ms
15:03:55 [15:03:55.966]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:03:55 [15:03:55.966]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a748fdb7/bb/tmp-Jzb7nI/proof -k /tmp/a748fdb7/bb/tmp-Jzb7nI/vk -i /tmp/a748fdb7/bb/tmp-Jzb7nI/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:03:55 [15:03:55.991]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.08 MiB)
15:03:55 Scheme is: ultra_honk, num threads: 128 (mem: 250.08 MiB)
15:03:55 --public_inputs_path: /tmp/a748fdb7/bb/tmp-Jzb7nI/public_inputs (mem: 250.08 MiB)
15:03:55 --proof_path: /tmp/a748fdb7/bb/tmp-Jzb7nI/proof (mem: 250.08 MiB)
15:03:55 --vk_path: /tmp/a748fdb7/bb/tmp-Jzb7nI/vk (mem: 250.08 MiB)
15:03:55 --verbose: true (mem: 250.08 MiB)
15:03:55 --scheme: ultra_honk (mem: 250.08 MiB)
15:03:55 --oracle_hash: poseidon2 (mem: 250.08 MiB)
15:03:55 --disable_zk: true (mem: 250.08 MiB)
15:03:55 [15:03:55.992]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 250.08 MiB)
15:03:56 [15:03:56.008]
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.08 MiB)
15:03:56 [15:03:56.008]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 250.08 MiB)
15:03:56 [15:03:56.009]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.08 MiB)
15:03:56 libra_evals_verified: 1 (mem: 250.08 MiB)
15:03:56 pairing_check_verified: 1 (mem: 250.08 MiB)
15:03:56 Proof verified successfully (mem: 250.08 MiB)
15:03:56 verified: 1 (mem: 250.08 MiB)
15:03:56 [15:03:56.011]
INFO:
bb-prover Successfully verified proof from key in 44.78334599999653 ms
15:03:56 [15:03:56.125]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
15:03:56
15:03:56 [15:03:56.126]
ERROR:
bb-prover Error running operation at /tmp/a748fdb7/bb/tmp-CWjoSJ: Error: Failed to generate witness: Failed assertion
15:03:56
15:03:56 [15:03:56.340]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":83.08075899999676,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
15:03:56 [15:03:56.345]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:03:56 [15:03:56.346]
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/a748fdb7/bb/tmp-Ekj2P2 -b /tmp/a748fdb7/bb/tmp-Ekj2P2/RootParityArtifact-bytecode -w /tmp/a748fdb7/bb/tmp-Ekj2P2/partial-witness.gz -v --init_kzg_accumulator -v
15:03:56 [15:03:56.369]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.42 MiB)
15:03:56 Scheme is: ultra_honk, num threads: 128 (mem: 253.42 MiB)
15:03:56 --scheme: ultra_honk (mem: 253.42 MiB)
15:03:56 --bytecode_path: /tmp/a748fdb7/bb/tmp-Ekj2P2/RootParityArtifact-bytecode (mem: 253.42 MiB)
15:03:56 --witness_path: /tmp/a748fdb7/bb/tmp-Ekj2P2/partial-witness.gz (mem: 253.42 MiB)
15:03:56 --output_path: /tmp/a748fdb7/bb/tmp-Ekj2P2 (mem: 253.42 MiB)
15:03:56 Warning: the following option is called more than once (mem: 253.42 MiB)
15:03:56 --verbose: true (mem: 253.42 MiB)
15:03:56 --oracle_hash: poseidon2 (mem: 253.42 MiB)
15:03:56 --output_format: bytes_and_fields (mem: 253.42 MiB)
15:03:56 --write_vk: true (mem: 253.42 MiB)
15:03:56 --disable_zk: true (mem: 253.42 MiB)
15:03:56 --init_kzg_accumulator: true (mem: 253.42 MiB)
15:03:56 [15:03:56.562]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.42 MiB)
15:03:56 [15:03:56.577]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.42 MiB)
15:03:58 [15:03:58.791]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 410.21 MiB)
15:04:01 [15:04:01.118]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 773.80 MiB)
15:04:03 [15:04:03.258]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1046.92 MiB)
15:04:05 [15:04:05.982]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1415.14 MiB)
15:04:05 Constructing DeciderProvingKey (mem: 1415.14 MiB)
15:04:07 [15:04:07.409]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1830.00 MiB)
15:04:07 [15:04:07.845]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5485.98 MiB)
15:04:09 [15:04:09.610]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3630 ms. (mem: 6062.98 MiB)
15:04:09 [15:04:09.732]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6062.98 MiB)
15:04:09 [15:04:09.733]
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.98 MiB)
15:04:10 [15:04:10.602]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6062.98 MiB)
15:04:14 [15:04:14.219]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6062.98 MiB)
15:04:18 [15:04:18.399]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6062.98 MiB)
15:04:19 [15:04:19.854]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6784.47 MiB)
15:04:21 [15:04:21.747]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6784.47 MiB)
15:04:28 [15:04:28.398]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6784.47 MiB)
15:04:30 [15:04:30.379]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6784.47 MiB)
15:04:30 [15:04:30.392]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6784.47 MiB)
15:04:30 [15:04:30.856]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/a748fdb7/bb/tmp-Ekj2P2/public_inputs" (mem: 6784.47 MiB)
15:04:30 [15:04:30.862]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/a748fdb7/bb/tmp-Ekj2P2/public_inputs_fields.json" (mem: 6784.47 MiB)
15:04:30 Proof saved to "/tmp/a748fdb7/bb/tmp-Ekj2P2/proof" (mem: 6784.47 MiB)
15:04:30 Proof fields saved to "/tmp/a748fdb7/bb/tmp-Ekj2P2/proof_fields.json" (mem: 6784.47 MiB)
15:04:30 VK saved to "/tmp/a748fdb7/bb/tmp-Ekj2P2/vk" (mem: 6784.47 MiB)
15:04:30 VK fields saved to "/tmp/a748fdb7/bb/tmp-Ekj2P2/vk_fields.json" (mem: 6784.47 MiB)
15:04:31 [15:04:31.074]
INFO:
bb-prover Generated proof for RootParityArtifact in 34723 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34722.028536,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:04:31 [15:04:31.082]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:04:31 [15:04:31.083]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a748fdb7/bb/tmp-FtAHzB/proof -k /tmp/a748fdb7/bb/tmp-FtAHzB/vk -i /tmp/a748fdb7/bb/tmp-FtAHzB/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:04:31 [15:04:31.115]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.42 MiB)
15:04:31 Scheme is: ultra_honk, num threads: 128 (mem: 253.42 MiB)
15:04:31 --public_inputs_path: /tmp/a748fdb7/bb/tmp-FtAHzB/public_inputs (mem: 253.42 MiB)
15:04:31 --proof_path: /tmp/a748fdb7/bb/tmp-FtAHzB/proof (mem: 253.42 MiB)
15:04:31 --vk_path: /tmp/a748fdb7/bb/tmp-FtAHzB/vk (mem: 253.42 MiB)
15:04:31 --verbose: true (mem: 253.42 MiB)
15:04:31 --scheme: ultra_honk (mem: 253.42 MiB)
15:04:31 --oracle_hash: poseidon2 (mem: 253.42 MiB)
15:04:31 --disable_zk: true (mem: 253.42 MiB)
15:04:31 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.42 MiB)
15:04:31 [15:04:31.131]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.42 MiB)
15:04:31 Proof verification failed (mem: 253.42 MiB)
15:04:31 verified: 0 (mem: 253.42 MiB)
15:04:31 [15:04:31.132]
ERROR:
bb-prover Error running operation at /tmp/a748fdb7/bb/tmp-FtAHzB: ProvingError: Failed to verify proof from key!
15:04:31 [15:04:31.320]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":79.98201600000903,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
15:04:31 [15:04:31.321]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:04:31 [15:04:31.321]
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/a748fdb7/bb/tmp-hrTtGd -b /tmp/a748fdb7/bb/tmp-hrTtGd/RootParityArtifact-bytecode -w /tmp/a748fdb7/bb/tmp-hrTtGd/partial-witness.gz -v --init_kzg_accumulator -v
15:04:31 [15:04:31.347]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
15:04:31 [15:04:31.347]
INFO:
bb-prover RootParityArtifact BB out - (mem:
15:04:31 [15:04:31.348]
INFO:
bb-prover RootParityArtifact BB out - 253.42
15:04:31 [15:04:31.348]
INFO:
bb-prover RootParityArtifact BB out - MiB)
15:04:31 [15:04:31.348]
INFO:
bb-prover RootParityArtifact BB out -
15:04:31 [15:04:31.350]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128
15:04:31 [15:04:31.350]
INFO:
bb-prover RootParityArtifact BB out - (mem:
15:04:31 [15:04:31.350]
INFO:
bb-prover RootParityArtifact BB out - 253.42 MiB)
15:04:31 --scheme: ultra_honk (mem: 253.42 MiB)
15:04:31 --bytecode_path: /tmp/a748fdb7/bb/tmp-hrTtGd/RootParityArtifact-bytecode (mem: 253.42 MiB)
15:04:31 --witness_path: /tmp/a748fdb7/bb/tmp-hrTtGd/partial-witness.gz (mem: 253.42 MiB)
15:04:31 --output_path: /tmp/a748fdb7/bb/tmp-hrTtGd (mem: 253.42 MiB)
15:04:31 Warning: the following option is called more than once (mem: 253.42 MiB)
15:04:31 --verbose: true (mem: 253.42 MiB)
15:04:31 --oracle_hash: poseidon2 (mem: 253.42 MiB)
15:04:31 --output_format: bytes_and_fields (mem: 253.42 MiB)
15:04:31 --write_vk: true (mem: 253.42 MiB)
15:04:31 --disable_zk: true (mem: 253.42 MiB)
15:04:31 --init_kzg_accumulator: true (mem: 253.42 MiB)
15:04:31 [15:04:31.592]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.42 MiB)
15:04:31 [15:04:31.608]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.42 MiB)
15:04:33 [15:04:33.779]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 415.50 MiB)
15:04:35 [15:04:35.990]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 782.65 MiB)
15:04:38 [15:04:38.073]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1055.58 MiB)
15:04:40 [15:04:40.365]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1426.85 MiB)
15:04:40 Constructing DeciderProvingKey (mem: 1426.85 MiB)
15:04:41 [15:04:41.710]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1840.61 MiB)
15:04:42 [15:04:42.221]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5483.57 MiB)
15:04:43 [15:04:43.899]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3535 ms. (mem: 6062.57 MiB)
15:04:44 [15:04:44.019]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6062.57 MiB)
15:04:44 [15:04:44.020]
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.57 MiB)
15:04:44 [15:04:44.729]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6062.57 MiB)
15:04:48 [15:04:48.055]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6062.57 MiB)
15:04:52 [15:04:52.108]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6062.57 MiB)
15:04:53 [15:04:53.528]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6774.88 MiB)
15:04:55 [15:04:55.358]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6774.88 MiB)
15:05:01 [15:05:01.840]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6774.88 MiB)
15:05:03 [15:05:03.642]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6774.88 MiB)
15:05:03 [15:05:03.655]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6774.88 MiB)
15:05:04 [15:05:04.079]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/a748fdb7/bb/tmp-hrTtGd/public_inputs" (mem: 6774.88 MiB)
15:05:04 [15:05:04.079]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/a748fdb7/bb/tmp-hrTtGd/public_inputs_fields.json" (mem: 6774.88 MiB)
15:05:04 Proof saved to "/tmp/a748fdb7/bb/tmp-hrTtGd/proof" (mem: 6774.88 MiB)
15:05:04 Proof fields saved to "/tmp/a748fdb7/bb/tmp-hrTtGd/proof_fields.json" (mem: 6774.88 MiB)
15:05:04 VK saved to "/tmp/a748fdb7/bb/tmp-hrTtGd/vk" (mem: 6774.88 MiB)
15:05:04 [15:05:04.080]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/a748fdb7/bb/tmp-hrTtGd/vk_fields.json" (mem: 6774.88 MiB)
15:05:04 [15:05:04.251]
INFO:
bb-prover Generated proof for RootParityArtifact in 32926 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":32925.636807999996,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:05:04 [15:05:04.254]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:05:04 [15:05:04.254]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/a748fdb7/bb/tmp-IeIE6z/proof -k /tmp/a748fdb7/bb/tmp-IeIE6z/vk -i /tmp/a748fdb7/bb/tmp-IeIE6z/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:05:04 [15:05:04.278]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.42 MiB)
15:05:04 [15:05:04.279]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.42 MiB)
15:05:04 --public_inputs_path: /tmp/a748fdb7/bb/tmp-IeIE6z/public_inputs (mem: 253.42 MiB)
15:05:04 --proof_path: /tmp/a748fdb7/bb/tmp-IeIE6z/proof (mem: 253.42 MiB)
15:05:04 --vk_path: /tmp/a748fdb7/bb/tmp-IeIE6z/vk (mem: 253.42 MiB)
15:05:04 --verbose: true (mem: 253.42 MiB)
15:05:04 --scheme: ultra_honk (mem: 253.42 MiB)
15:05:04 --oracle_hash: poseidon2 (mem: 253.42 MiB)
15:05:04 --disable_zk: true (mem: 253.42 MiB)
15:05:04 [15:05:04.280]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.42 MiB)
15:05:04 [15:05:04.290]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.42 MiB)
15:05:04 Proof verification failed (mem: 253.42 MiB)
15:05:04 verified: 0 (mem: 253.42 MiB)
15:05:04 [15:05:04.291]
ERROR:
bb-prover Error running operation at /tmp/a748fdb7/bb/tmp-IeIE6z: ProvingError: Failed to verify proof from key!
15:05:04 [15:05:04.294]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
15:05:04
PASS src/test/bb_prover_parity.test.ts (
122.887 s)
15:05:04 prover/bb_prover/parity
15:05:04
✓ proves the parity circuits (114791 ms)
15:05:04
15:05:04
Test Suites: 1 passed, 1 total
15:05:04
Tests: 1 passed, 1 total
15:05:04
Snapshots: 0 total
15:05:04
Time: 122.98 s
15:05:04
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
15:05:04
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?