Parent Log:
http://ci.aztec-labs.com/9f4d5cb4c0acef50
Command: fab700985fdda05e: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/9164f0ea2d1bd891bbde066fe27f2239188ddec9
Env: REF_NAME=gh-readonly-queue/next/pr-15169-301dce04331dcfb583b7508b91491de618d4acf4 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 23 11:21:40 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15169_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
11:21:40 +++ id -u
11:21:40 +++ id -g
11:21:40 ++ 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'\'''
11:21:41 + cid=28805453e267c05a66041e24cf461f644df35002aa132e0d0a6d7db63f71b93b
11:21:41 + set +x
11:21:43 {"level":25,"time":1750677703365,"pid":7,"hostname":"28805453e267","module":"logger","msg":"Logger initialized with level verbose"}
11:21:52 [11:21:52.113]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-YTRd6b/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
11:21:52 [11:21:52.200]
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/25026247/bb
11:21:52 [11:21:52.202]
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/25026247/acvm
11:21:52 [11:21:52.203]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/25026247/bb
11:21:52 [11:21:52.203]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/25026247/acvm
11:21:52 [11:21:52.210]
INFO:
prover-client:proving-broker Proving Broker started
11:21:52 [11:21:52.215]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
11:21:52 [11:21:52.443]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":63.32689600000049,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
11:21:52 [11:21:52.456]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":92.56063300000096,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
11:21:52 [11:21:52.471]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":54.966238999999405,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
11:21:52 [11:21:52.482]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":44.34444600000097,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
11:21:52 [11:21:52.484]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
11:21:52 [11:21:52.485]
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/25026247/bb/tmp-Ho9mwf -b /tmp/25026247/bb/tmp-Ho9mwf/BaseParityArtifact-bytecode -w /tmp/25026247/bb/tmp-Ho9mwf/partial-witness.gz -v --init_kzg_accumulator -v
11:21:52 [11:21:52.511]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
11:21:52 [11:21:52.512]
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/25026247/bb/tmp-mBlkwu -b /tmp/25026247/bb/tmp-mBlkwu/BaseParityArtifact-bytecode -w /tmp/25026247/bb/tmp-mBlkwu/partial-witness.gz -v --init_kzg_accumulator -v
11:21:52 [11:21:52.537]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 254.23 MiB)
11:21:52 Scheme is: ultra_honk, num threads: 128 (mem: 254.23 MiB)
11:21:52 --scheme: ultra_honk (mem: 254.23 MiB)
11:21:52 --bytecode_path: /tmp/25026247/bb/tmp-Ho9mwf/BaseParityArtifact-bytecode (mem: 254.23 MiB)
11:21:52 --witness_path: /tmp/25026247/bb/tmp-Ho9mwf/partial-witness.gz (mem: 254.23 MiB)
11:21:52 --output_path: /tmp/25026247/bb/tmp-Ho9mwf (mem: 254.23 MiB)
11:21:52 Warning: the following option is called more than once (mem: 254.23 MiB)
11:21:52 --verbose: true (mem: 254.23 MiB)
11:21:52 --oracle_hash: poseidon2 (mem: 254.23 MiB)
11:21:52 --output_format: bytes_and_fields (mem: 254.23 MiB)
11:21:52 --write_vk: true (mem: 254.23 MiB)
11:21:52 --disable_zk: true (mem: 254.23 MiB)
11:21:52 --init_kzg_accumulator: true (mem: 254.23 MiB)
11:21:52 [11:21:52.538]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
11:21:52 [11:21:52.539]
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/25026247/bb/tmp-jFeK7B -b /tmp/25026247/bb/tmp-jFeK7B/BaseParityArtifact-bytecode -w /tmp/25026247/bb/tmp-jFeK7B/partial-witness.gz -v --init_kzg_accumulator -v
11:21:52 [11:21:52.568]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 254.23 MiB)
11:21:52 Scheme is: ultra_honk, num threads: 128 (mem: 254.23 MiB)
11:21:52 --scheme: ultra_honk (mem: 254.23 MiB)
11:21:52 --bytecode_path: /tmp/25026247/bb/tmp-mBlkwu/BaseParityArtifact-bytecode (mem: 254.23 MiB)
11:21:52 --witness_path: /tmp/25026247/bb/tmp-mBlkwu/partial-witness.gz (mem: 254.23 MiB)
11:21:52 --output_path: /tmp/25026247/bb/tmp-mBlkwu (mem: 254.23 MiB)
11:21:52 Warning: the following option is called more than once (mem: 254.23 MiB)
11:21:52 --verbose: true (mem: 254.23 MiB)
11:21:52 --oracle_hash: poseidon2 (mem: 254.23 MiB)
11:21:52 --output_format: bytes_and_fields (mem: 254.23 MiB)
11:21:52 --write_vk: true (mem: 254.23 MiB)
11:21:52 --disable_zk: true (mem: 254.23 MiB)
11:21:52 --init_kzg_accumulator: true (mem: 254.23 MiB)
11:21:52 [11:21:52.570]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
11:21:52 [11:21:52.570]
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/25026247/bb/tmp-HphrPz -b /tmp/25026247/bb/tmp-HphrPz/BaseParityArtifact-bytecode -w /tmp/25026247/bb/tmp-HphrPz/partial-witness.gz -v --init_kzg_accumulator -v
11:21:52 [11:21:52.600]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 254.23 MiB)
11:21:52 Scheme is: ultra_honk, num threads: 128 (mem: 254.23 MiB)
11:21:52 --scheme: ultra_honk (mem: 254.23 MiB)
11:21:52 --bytecode_path: /tmp/25026247/bb/tmp-jFeK7B/BaseParityArtifact-bytecode (mem: 254.23 MiB)
11:21:52 --witness_path: /tmp/25026247/bb/tmp-jFeK7B/partial-witness.gz (mem: 254.23 MiB)
11:21:52 --output_path: /tmp/25026247/bb/tmp-jFeK7B (mem: 254.23 MiB)
11:21:52 Warning: the following option is called more than once (mem: 254.23 MiB)
11:21:52 --verbose: true (mem: 254.23 MiB)
11:21:52 --oracle_hash: poseidon2 (mem: 254.23 MiB)
11:21:52 --output_format: bytes_and_fields (mem: 254.23 MiB)
11:21:52 --write_vk: true (mem: 254.23 MiB)
11:21:52 --disable_zk: true (mem: 254.23 MiB)
11:21:52 --init_kzg_accumulator: true (mem: 254.23 MiB)
11:21:52 [11:21:52.604]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 254.23 MiB)
11:21:52 Scheme is: ultra_honk, num threads: 128 (mem: 254.23 MiB)
11:21:52 --scheme: ultra_honk (mem: 254.23 MiB)
11:21:52 --bytecode_path: /tmp/25026247/bb/tmp-HphrPz/BaseParityArtifact-bytecode (mem: 254.23 MiB)
11:21:52 --witness_path: /tmp/25026247/bb/tmp-HphrPz/partial-witness.gz (mem: 254.23 MiB)
11:21:52 --output_path: /tmp/25026247/bb/tmp-HphrPz (mem: 254.23 MiB)
11:21:52 Warning: the following option is called more than once (mem: 254.23 MiB)
11:21:52 --verbose: true (mem: 254.23 MiB)
11:21:52 --oracle_hash: poseidon2 (mem: 254.23 MiB)
11:21:52 --output_format: bytes_and_fields (mem: 254.23 MiB)
11:21:52 --write_vk: true (mem: 254.23 MiB)
11:21:52 --disable_zk: true (mem: 254.23 MiB)
11:21:52 --init_kzg_accumulator: true (mem: 254.23 MiB)
11:21:52 [11:21:52.687]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 254.23 MiB)
11:21:52 Constructing DeciderProvingKey (mem: 254.23 MiB)
11:21:52 [11:21:52.688]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
11:21:52 [11:21:52.689]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
11:21:52 [11:21:52.692]
INFO:
bb-prover BaseParityArtifact BB out - 254.23 MiB)
11:21:52 [11:21:52.755]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 254.23 MiB)
11:21:52 Constructing DeciderProvingKey (mem: 254.23 MiB)
11:21:52 [11:21:52.767]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 254.23 MiB)
11:21:52 [11:21:52.767]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 254.23 MiB)
11:21:52 Constructing DeciderProvingKey (mem: 254.23 MiB)
11:21:52 allocating polynomials object in proving key... (mem: 254.23 MiB)
11:21:52 [11:21:52.771]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 254.23 MiB)
11:21:52 Constructing DeciderProvingKey (mem: 254.23 MiB)
11:21:52 [11:21:52.773]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
11:21:52 [11:21:52.774]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
11:21:52 [11:21:52.776]
INFO:
bb-prover BaseParityArtifact BB out - 254.23 MiB)
11:21:52 [11:21:52.956]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 254.23 MiB)
11:21:53 [11:21:53.001]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 254.23 MiB)
11:21:53 [11:21:53.004]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 254.23
11:21:53 [11:21:53.005]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
11:21:53 [11:21:53.036]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 352 ms. (mem: 254.23 MiB)
11:21:53 [11:21:53.051]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 254.23 MiB)
11:21:53 [11:21:53.055]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.23 MiB)
11:21:53 [11:21:53.067]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 254.23 MiB)
11:21:53 [11:21:53.098]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 329 ms. (mem: 254.23 MiB)
11:21:53 [11:21:53.104]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 254.23 MiB)
11:21:53 [11:21:53.109]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.23 MiB)
11:21:53 [11:21:53.131]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 380 ms. (mem: 254.23 MiB)
11:21:53 [11:21:53.140]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 254.23 MiB)
11:21:53 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.23 MiB)
11:21:53 [11:21:53.144]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 254.23 MiB)
11:21:53 [11:21:53.151]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 254.23 MiB)
11:21:53 [11:21:53.163]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 254.23 MiB)
11:21:53 [11:21:53.279]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 519 ms. (mem: 254.23 MiB)
11:21:53 [11:21:53.291]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 254.23 MiB)
11:21:53 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.23 MiB)
11:21:53 [11:21:53.303]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 254.23 MiB)
11:21:54 [11:21:54.254]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.23 MiB)
11:21:54 [11:21:54.344]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.23 MiB)
11:21:54 [11:21:54.354]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.23 MiB)
11:21:54 [11:21:54.458]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.23 MiB)
11:21:54 [11:21:54.793]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 254.23 MiB)
11:21:54 [11:21:54.910]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 254.23 MiB)
11:21:54 [11:21:54.961]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 254.23 MiB)
11:21:55 [11:21:55.076]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 254.23 MiB)
11:21:55 [11:21:55.122]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 254.23 MiB)
11:21:55 [11:21:55.205]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 254.23 MiB)
11:21:55 [11:21:55.213]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 254.23 MiB)
11:21:55 [11:21:55.214]
INFO:
bb-prover BaseParityArtifact BB out -
11:21:55 [11:21:55.350]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 254.23 MiB)
11:21:55 [11:21:55.375]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 254.23 MiB)
11:21:55 [11:21:55.415]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 254.23 MiB)
11:21:55 [11:21:55.416]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck
11:21:55 [11:21:55.416]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 254.23 MiB)
11:21:55 [11:21:55.550]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 254.23 MiB)
11:21:57 [11:21:57.084]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 254.23 MiB)
11:21:57 [11:21:57.216]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 254.23 MiB)
11:21:57 finished decider proving. (mem: 254.23 MiB)
11:21:57 [11:21:57.221]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/25026247/bb/tmp-Ho9mwf/public_inputs" (mem: 254.23 MiB)
11:21:57 Public inputs fields saved to "/tmp/25026247/bb/tmp-Ho9mwf/public_inputs_fields.json" (mem: 254.23 MiB)
11:21:57 Proof saved to "/tmp/25026247/bb/tmp-Ho9mwf/proof" (mem: 254.23 MiB)
11:21:57 Proof fields saved to "/tmp/25026247/bb/tmp-Ho9mwf/proof_fields.json" (mem: 254.23 MiB)
11:21:57 VK saved to "/tmp/25026247/bb/tmp-Ho9mwf/vk" (mem: 254.23 MiB)
11:21:57 VK fields saved to "/tmp/25026247/bb/tmp-Ho9mwf/vk_fields.json" (mem: 254.23 MiB)
11:21:57 [11:21:57.252]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 254.23 MiB)
11:21:57 [11:21:57.283]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4795 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4794.930617,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
11:21:57 [11:21:57.287]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
11:21:57 [11:21:57.287]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/25026247/bb/tmp-ImaK9R/proof -k /tmp/25026247/bb/tmp-ImaK9R/vk -i /tmp/25026247/bb/tmp-ImaK9R/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
11:21:57 [11:21:57.326]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.24 MiB)
11:21:57 Scheme is: ultra_honk, num threads: 128 (mem: 254.24 MiB)
11:21:57 --public_inputs_path: /tmp/25026247/bb/tmp-ImaK9R/public_inputs (mem: 254.24 MiB)
11:21:57 --proof_path: /tmp/25026247/bb/tmp-ImaK9R/proof (mem: 254.24 MiB)
11:21:57 --vk_path: /tmp/25026247/bb/tmp-ImaK9R/vk (mem: 254.24 MiB)
11:21:57 --verbose: true (mem: 254.24 MiB)
11:21:57 --scheme: ultra_honk (mem: 254.24 MiB)
11:21:57 --oracle_hash: poseidon2 (mem: 254.24 MiB)
11:21:57 --disable_zk: true (mem: 254.24 MiB)
11:21:57 [11:21:57.328]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7
11:21:57 [11:21:57.329]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 254.24 MiB)
11:21:57 [11:21:57.349]
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"
11:21:57 [11:21:57.353]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 254.24 MiB)
11:21:57 Initialized BN254 CRS from memory with num points = 1 (mem: 254.24 MiB)
11:21:57 sumcheck_verified: 1 (mem: 254.24 MiB)
11:21:57 libra_evals_verified: 1 (mem: 254.24 MiB)
11:21:57 pairing_check_verified: 1 (mem: 254.24 MiB)
11:21:57 Proof verified successfully (mem: 254.24 MiB)
11:21:57 verified: 1 (mem: 254.24 MiB)
11:21:57 [11:21:57.355]
INFO:
bb-prover Successfully verified proof from key in 68.21650199999931 ms
11:21:57 [11:21:57.361]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 254.23 MiB)
11:21:57 finished decider proving. (mem: 254.23 MiB)
11:21:57 [11:21:57.364]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/25026247/bb/tmp-jFeK7B/public_inputs" (mem: 254.23 MiB)
11:21:57 Public inputs fields saved to "/tmp/25026247/bb/tmp-jFeK7B/public_inputs_fields.json" (mem: 254.23 MiB)
11:21:57 Proof saved to "/tmp/25026247/bb/tmp-jFeK7B/proof" (mem: 254.23 MiB)
11:21:57 Proof fields saved to "/tmp/25026247/bb/tmp-jFeK7B/proof_fields.json" (mem: 254.23 MiB)
11:21:57 VK saved to "/tmp/25026247/bb/tmp-jFeK7B/vk" (mem: 254.23 MiB)
11:21:57 VK fields saved to "/tmp/25026247/bb/tmp-jFeK7B/vk_fields.json" (mem: 254.23 MiB)
11:21:57 [11:21:57.380]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 254.23 MiB)
11:21:57 [11:21:57.467]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4873 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4872.548759000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
11:21:57 [11:21:57.473]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
11:21:57 [11:21:57.473]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/25026247/bb/tmp-HLH7ex/proof -k /tmp/25026247/bb/tmp-HLH7ex/vk -i /tmp/25026247/bb/tmp-HLH7ex/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
11:21:57 [11:21:57.515]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 254.23 MiB)
11:21:57 [11:21:57.516]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 254.23 MiB)
11:21:57 finished decider proving. (mem: 254.23 MiB)
11:21:57 Public inputs saved to "/tmp/25026247/bb/tmp-HphrPz/public_inputs" (mem: 254.23 MiB)
11:21:57 Public inputs fields saved to "/tmp/25026247/bb/tmp-HphrPz/public_inputs_fields.json" (mem: 254.23 MiB)
11:21:57 Proof saved to "/tmp/25026247/bb/tmp-HphrPz/proof" (mem: 254.23 MiB)
11:21:57 Proof fields saved to "/tmp/25026247/bb/tmp-HphrPz/proof_fields.json" (mem: 254.23 MiB)
11:21:57 VK saved to "/tmp/25026247/bb/tmp-HphrPz/vk" (mem: 254.23 MiB)
11:21:57 VK fields saved to "/tmp/25026247/bb/tmp-HphrPz/vk_fields.json" (mem: 254.23 MiB)
11:21:57 [11:21:57.527]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.14 MiB)
11:21:57 Scheme is: ultra_honk, num threads: 128 (mem: 254.14 MiB)
11:21:57 --public_inputs_path: /tmp/25026247/bb/tmp-HLH7ex/public_inputs (mem: 254.14 MiB)
11:21:57 --proof_path: /tmp/25026247/bb/tmp-HLH7ex/proof (mem: 254.14 MiB)
11:21:57 --vk_path: /tmp/25026247/bb/tmp-HLH7ex/vk (mem: 254.14 MiB)
11:21:57 --verbose: true (mem: 254.14 MiB)
11:21:57 --scheme: ultra_honk (mem: 254.14 MiB)
11:21:57 --oracle_hash: poseidon2 (mem: 254.14 MiB)
11:21:57 --disable_zk: true (mem: 254.14 MiB)
11:21:57 [11:21:57.530]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7
11:21:57 [11:21:57.533]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 254.14 MiB)
11:21:57 [11:21:57.588]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.14 MiB)
11:21:57 Initialized BN254 CRS from memory with num points = 1 (mem: 254.14 MiB)
11:21:57 [11:21:57.588]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1
11:21:57 [11:21:57.592]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
11:21:57 [11:21:57.594]
VERBOSE:
bb-prover bb-prover (verify) BB out - 254.14 MiB)
11:21:57 libra_evals_verified: 1 (mem: 254.14 MiB)
11:21:57 pairing_check_verified: 1 (mem: 254.14 MiB)
11:21:57 Proof verified successfully (mem: 254.14 MiB)
11:21:57 verified: 1 (mem: 254.14 MiB)
11:21:57 [11:21:57.596]
INFO:
bb-prover Successfully verified proof from key in 123.2682760000007 ms
11:21:57 [11:21:57.626]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5054 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5053.209261000002,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
11:21:57 [11:21:57.629]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 254.23 MiB)
11:21:57 finished decider proving. (mem: 254.23 MiB)
11:21:57 Public inputs saved to "/tmp/25026247/bb/tmp-mBlkwu/public_inputs" (mem: 254.23 MiB)
11:21:57 Public inputs fields saved to "/tmp/25026247/bb/tmp-mBlkwu/public_inputs_fields.json" (mem: 254.23 MiB)
11:21:57 Proof saved to "/tmp/25026247/bb/tmp-mBlkwu/proof" (mem: 254.23 MiB)
11:21:57 [11:21:57.638]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/25026247/bb/tmp-mBlkwu/proof_fields.json" (mem: 254.23 MiB)
11:21:57 VK saved to "/tmp/25026247/bb/tmp-mBlkwu/vk" (mem: 254.23 MiB)
11:21:57 VK fields saved to "/tmp/25026247/bb/tmp-mBlkwu/vk_fields.json" (mem: 254.23 MiB)
11:21:57 [11:21:57.643]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
11:21:57 [11:21:57.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/25026247/bb/tmp-B5uSuu/proof -k /tmp/25026247/bb/tmp-B5uSuu/vk -i /tmp/25026247/bb/tmp-B5uSuu/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
11:21:57 [11:21:57.698]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.35 MiB)
11:21:57 Scheme is: ultra_honk, num threads: 128 (mem: 254.35 MiB)
11:21:57 --public_inputs_path: /tmp/25026247/bb/tmp-B5uSuu/public_inputs (mem: 254.35 MiB)
11:21:57 --proof_path: /tmp/25026247/bb/tmp-B5uSuu/proof (mem: 254.35 MiB)
11:21:57 --vk_path: /tmp/25026247/bb/tmp-B5uSuu/vk (mem: 254.35 MiB)
11:21:57 --verbose: true (mem: 254.35 MiB)
11:21:57 --scheme: ultra_honk (mem: 254.35 MiB)
11:21:57 --oracle_hash: poseidon2 (mem: 254.35 MiB)
11:21:57 --disable_zk: true (mem: 254.35 MiB)
11:21:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.35 MiB)
11:21:57 [11:21:57.716]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.35 MiB)
11:21:57 [11:21:57.717]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 254.35 MiB)
11:21:57 [11:21:57.720]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.35 MiB)
11:21:57 libra_evals_verified: 1 (mem: 254.35 MiB)
11:21:57 pairing_check_verified: 1 (mem: 254.35 MiB)
11:21:57 Proof verified successfully (mem: 254.35 MiB)
11:21:57 verified: 1 (mem: 254.35 MiB)
11:21:57 [11:21:57.721]
INFO:
bb-prover Successfully verified proof from key in 77.96987099999933 ms
11:21:57 [11:21:57.725]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5210 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5209.399766999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
11:21:57 [11:21:57.731]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
11:21:57 [11:21:57.731]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/25026247/bb/tmp-s9Mie4/proof -k /tmp/25026247/bb/tmp-s9Mie4/vk -i /tmp/25026247/bb/tmp-s9Mie4/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
11:21:57 [11:21:57.766]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.38 MiB)
11:21:57 [11:21:57.766]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.38 MiB)
11:21:57 --public_inputs_path: /tmp/25026247/bb/tmp-s9Mie4/public_inputs (mem: 254.38 MiB)
11:21:57 --proof_path: /tmp/25026247/bb/tmp-s9Mie4/proof (mem: 254.38 MiB)
11:21:57 --vk_path: /tmp/25026247/bb/tmp-s9Mie4/vk (mem: 254.38 MiB)
11:21:57 --verbose: true (mem: 254.38 MiB)
11:21:57 --scheme: ultra_honk (mem: 254.38 MiB)
11:21:57 --oracle_hash: poseidon2 (mem: 254.38 MiB)
11:21:57 --disable_zk: true (mem: 254.38 MiB)
11:21:57 [11:21:57.767]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.38 MiB)
11:21:57 [11:21:57.783]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.38 MiB)
11:21:57 [11:21:57.784]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 254.38 MiB)
11:21:57 [11:21:57.787]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.38 MiB)
11:21:57 libra_evals_verified: 1 (mem: 254.38 MiB)
11:21:57 pairing_check_verified: 1 (mem: 254.38 MiB)
11:21:57 Proof verified successfully (mem: 254.38 MiB)
11:21:57 verified: 1 (mem: 254.38 MiB)
11:21:57 [11:21:57.788]
INFO:
bb-prover Successfully verified proof from key in 57.9606960000001 ms
11:21:57 [11:21:57.808]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
11:21:57 [11:21:57.808]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/25026247/bb/tmp-bJyfCR/proof -k /tmp/25026247/bb/tmp-bJyfCR/vk -i /tmp/25026247/bb/tmp-bJyfCR/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
11:21:57 [11:21:57.843]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
11:21:57 [11:21:57.843]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/25026247/bb/tmp-bS6Sv4/proof -k /tmp/25026247/bb/tmp-bS6Sv4/vk -i /tmp/25026247/bb/tmp-bS6Sv4/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
11:21:57 [11:21:57.882]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
11:21:57 [11:21:57.883]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/25026247/bb/tmp-22gWPy/proof -k /tmp/25026247/bb/tmp-22gWPy/vk -i /tmp/25026247/bb/tmp-22gWPy/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
11:21:57 [11:21:57.911]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
11:21:57 [11:21:57.912]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/25026247/bb/tmp-HrewVU/proof -k /tmp/25026247/bb/tmp-HrewVU/vk -i /tmp/25026247/bb/tmp-HrewVU/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
11:21:57 [11:21:57.959]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.46 MiB)
11:21:57 Scheme is: ultra_honk, num threads: 128 (mem: 254.46 MiB)
11:21:57 --public_inputs_path: /tmp/25026247/bb/tmp-bJyfCR/public_inputs (mem: 254.46 MiB)
11:21:57 --proof_path: /tmp/25026247/bb/tmp-bJyfCR/proof (mem: 254.46 MiB)
11:21:57 --vk_path: /tmp/25026247/bb/tmp-bJyfCR/vk (mem: 254.46 MiB)
11:21:57 --verbose: true (mem: 254.46 MiB)
11:21:57 --scheme: ultra_honk (mem: 254.46 MiB)
11:21:57 --oracle_hash: poseidon2 (mem: 254.46 MiB)
11:21:57 --disable_zk: true (mem: 254.46 MiB)
11:21:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.46 MiB)
11:21:57 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.46 MiB)
11:21:57 Initialized BN254 CRS from memory with num points = 1 (mem: 254.46 MiB)
11:21:57 sumcheck_verified: 1 (mem: 254.46 MiB)
11:21:57 libra_evals_verified: 1 (mem: 254.46 MiB)
11:21:57 pairing_check_verified: 1 (mem: 254.46 MiB)
11:21:57 Proof verified successfully (mem: 254.46 MiB)
11:21:57 verified: 1 (mem: 254.46 MiB)
11:21:57 [11:21:57.961]
INFO:
bb-prover Successfully verified proof from key in 152.92691399999967 ms
11:21:57 [11:21:57.962]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.46 MiB)
11:21:57 Scheme is: ultra_honk, num threads: 128 (mem: 254.46 MiB)
11:21:57 --public_inputs_path: /tmp/25026247/bb/tmp-bS6Sv4/public_inputs (mem: 254.46 MiB)
11:21:57 --proof_path: /tmp/25026247/bb/tmp-bS6Sv4/proof (mem: 254.46 MiB)
11:21:57 --vk_path: /tmp/25026247/bb/tmp-bS6Sv4/vk (mem: 254.46 MiB)
11:21:57 --verbose: true (mem: 254.46 MiB)
11:21:57 --scheme: ultra_honk (mem: 254.46 MiB)
11:21:57 --oracle_hash: poseidon2 (mem: 254.46 MiB)
11:21:57 --disable_zk: true (mem: 254.46 MiB)
11:21:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.46 MiB)
11:21:57 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.46 MiB)
11:21:57 Initialized BN254 CRS from memory with num points = 1 (mem: 254.46 MiB)
11:21:57 sumcheck_verified: 1 (mem: 254.46 MiB)
11:21:57 libra_evals_verified: 1 (mem: 254.46 MiB)
11:21:57 pairing_check_verified: 1 (mem: 254.46 MiB)
11:21:57 Proof verified successfully (mem: 254.46 MiB)
11:21:57 verified: 1 (mem: 254.46 MiB)
11:21:57 [11:21:57.963]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.46 MiB)
11:21:57 Scheme is: ultra_honk, num threads: 128 (mem: 254.46 MiB)
11:21:57 --public_inputs_path: /tmp/25026247/bb/tmp-22gWPy/public_inputs (mem: 254.46 MiB)
11:21:57 --proof_path: /tmp/25026247/bb/tmp-22gWPy/proof (mem: 254.46 MiB)
11:21:57 --vk_path: /tmp/25026247/bb/tmp-22gWPy/vk (mem: 254.46 MiB)
11:21:57 --verbose: true (mem: 254.46 MiB)
11:21:57 --scheme: ultra_honk (mem: 254.46 MiB)
11:21:57 --oracle_hash: poseidon2 (mem: 254.46 MiB)
11:21:57 --disable_zk: true (mem: 254.46 MiB)
11:21:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.46 MiB)
11:21:57 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.46 MiB)
11:21:57 Initialized BN254 CRS from memory with num points = 1 (mem: 254.46 MiB)
11:21:57 sumcheck_verified: 1 (mem: 254.46 MiB)
11:21:57 libra_evals_verified: 1 (mem: 254.46 MiB)
11:21:57 pairing_check_verified: 1 (mem: 254.46 MiB)
11:21:57 Proof verified successfully (mem: 254.46 MiB)
11:21:57 verified: 1 (mem: 254.46 MiB)
11:21:57 [11:21:57.963]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.46 MiB)
11:21:57 Scheme is: ultra_honk, num threads: 128 (mem: 254.46 MiB)
11:21:57 --public_inputs_path: /tmp/25026247/bb/tmp-HrewVU/public_inputs (mem: 254.46 MiB)
11:21:57 --proof_path: /tmp/25026247/bb/tmp-HrewVU/proof (mem: 254.46 MiB)
11:21:57 --vk_path: /tmp/25026247/bb/tmp-HrewVU/vk (mem: 254.46 MiB)
11:21:57 --verbose: true (mem: 254.46 MiB)
11:21:57 --scheme: ultra_honk (mem: 254.46 MiB)
11:21:57 --oracle_hash: poseidon2 (mem: 254.46 MiB)
11:21:57 --disable_zk: true (mem: 254.46 MiB)
11:21:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.46 MiB)
11:21:57 [11:21:57.964]
INFO:
bb-prover Successfully verified proof from key in 81.7739989999991 ms
11:21:57 [11:21:57.964]
INFO:
bb-prover Successfully verified proof from key in 121.690102999999 ms
11:21:57 [11:21:57.983]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.46 MiB)
11:21:57 Initialized BN254 CRS from memory with num points = 1 (mem: 254.46 MiB)
11:21:57 [11:21:57.984]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.46 MiB)
11:21:57 libra_evals_verified: 1 (mem: 254.46 MiB)
11:21:57 pairing_check_verified: 1 (mem: 254.46 MiB)
11:21:57 Proof verified successfully (mem: 254.46 MiB)
11:21:57 verified: 1 (mem: 254.46 MiB)
11:21:57 [11:21:57.988]
INFO:
bb-prover Successfully verified proof from key in 76.83944200000042 ms
11:21:58 [11:21:58.238]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":104.70934599999964,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
11:21:58 [11:21:58.240]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
11:21:58 [11:21:58.241]
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/25026247/bb/tmp-5u9JhV -b /tmp/25026247/bb/tmp-5u9JhV/RootParityArtifact-bytecode -w /tmp/25026247/bb/tmp-5u9JhV/partial-witness.gz -v --init_kzg_accumulator -v
11:21:58 [11:21:58.270]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
11:21:58 [11:21:58.271]
INFO:
bb-prover RootParityArtifact BB out - (mem:
11:21:58 [11:21:58.271]
INFO:
bb-prover RootParityArtifact BB out - 256.27
11:21:58 [11:21:58.272]
INFO:
bb-prover RootParityArtifact BB out - MiB)
11:21:58 [11:21:58.272]
INFO:
bb-prover RootParityArtifact BB out -
11:21:58 [11:21:58.273]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 256.27 MiB)
11:21:58 --scheme: ultra_honk (mem: 256.27 MiB)
11:21:58 --bytecode_path: /tmp/25026247/bb/tmp-5u9JhV/RootParityArtifact-bytecode (mem: 256.27 MiB)
11:21:58 --witness_path: /tmp/25026247/bb/tmp-5u9JhV/partial-witness.gz (mem: 256.27 MiB)
11:21:58 --output_path: /tmp/25026247/bb/tmp-5u9JhV (mem: 256.27 MiB)
11:21:58 Warning: the following option is called more than once (mem: 256.27 MiB)
11:21:58 --verbose: true (mem: 256.27 MiB)
11:21:58 --oracle_hash: poseidon2 (mem: 256.27 MiB)
11:21:58 --output_format: bytes_and_fields (mem: 256.27 MiB)
11:21:58 --write_vk: true (mem: 256.27 MiB)
11:21:58 --disable_zk: true (mem: 256.27 MiB)
11:21:58 --init_kzg_accumulator: true (mem: 256.27 MiB)
11:21:58 [11:21:58.477]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.27 MiB)
11:22:00 [11:22:00.613]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 418.17 MiB)
11:22:03 [11:22:03.242]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 786.59 MiB)
11:22:05 [11:22:05.520]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1058.35 MiB)
11:22:08 [11:22:08.080]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1429.52 MiB)
11:22:08 [11:22:08.081]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1429.52 MiB)
11:22:09 [11:22:09.491]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1843.28 MiB)
11:22:09 [11:22:09.883]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5483.04 MiB)
11:22:12 [11:22:12.120]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4038 ms.
11:22:12 [11:22:12.125]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6061.04 MiB)
11:22:12 [11:22:12.265]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6061.04 MiB)
11:22:12 [11:22:12.266]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6061.04 MiB)
11:22:13 [11:22:13.255]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6061.04 MiB)
11:22:18 [11:22:18.437]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6061.04 MiB)
11:22:24 [11:22:24.767]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6061.04 MiB)
11:22:27 [11:22:27.430]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6728.30 MiB)
11:22:30 [11:22:30.180]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6728.30 MiB)
11:22:37 [11:22:37.691]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6728.30 MiB)
11:22:39 [11:22:39.499]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6728.30 MiB)
11:22:39 [11:22:39.513]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6728.30 MiB)
11:22:40 [11:22:40.114]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/25026247/bb/tmp-5u9JhV/public_inputs" (mem: 6728.30 MiB)
11:22:40 Public inputs fields saved to "/tmp/25026247/bb/tmp-5u9JhV/public_inputs_fields.json" (mem: 6728.30 MiB)
11:22:40 Proof saved to "/tmp/25026247/bb/tmp-5u9JhV/proof" (mem: 6728.30 MiB)
11:22:40 Proof fields saved to "/tmp/25026247/bb/tmp-5u9JhV/proof_fields.json" (mem: 6728.30 MiB)
11:22:40 VK saved to "/tmp/25026247/bb/tmp-5u9JhV/vk" (mem: 6728.30 MiB)
11:22:40 [11:22:40.114]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/25026247/bb/tmp-5u9JhV/vk_fields.json"
11:22:40 [11:22:40.116]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6728.30 MiB)
11:22:40 [11:22:40.290]
INFO:
bb-prover Generated proof for RootParityArtifact in 42047 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":42046.412461,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
11:22:40 [11:22:40.295]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
11:22:40 [11:22:40.295]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/25026247/bb/tmp-78S97M/proof -k /tmp/25026247/bb/tmp-78S97M/vk -i /tmp/25026247/bb/tmp-78S97M/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
11:22:40 [11:22:40.330]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.28 MiB)
11:22:40 Scheme is: ultra_honk, num threads: 128 (mem: 256.28 MiB)
11:22:40 --public_inputs_path: /tmp/25026247/bb/tmp-78S97M/public_inputs (mem: 256.28 MiB)
11:22:40 --proof_path: /tmp/25026247/bb/tmp-78S97M/proof (mem: 256.28 MiB)
11:22:40 --vk_path: /tmp/25026247/bb/tmp-78S97M/vk (mem: 256.28 MiB)
11:22:40 --verbose: true (mem: 256.28 MiB)
11:22:40 --scheme: ultra_honk (mem: 256.28 MiB)
11:22:40 --oracle_hash: poseidon2 (mem: 256.28 MiB)
11:22:40 --disable_zk: true (mem: 256.28 MiB)
11:22:40 [11:22:40.332]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.28 MiB)
11:22:40 [11:22:40.348]
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: 256.28 MiB)
11:22:40 [11:22:40.349]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 256.28 MiB)
11:22:40 [11:22:40.351]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 256.28 MiB)
11:22:40 libra_evals_verified: 1 (mem: 256.28 MiB)
11:22:40 pairing_check_verified: 1 (mem: 256.28 MiB)
11:22:40 Proof verified successfully (mem: 256.28 MiB)
11:22:40 verified: 1 (mem: 256.28 MiB)
11:22:40 [11:22:40.352]
INFO:
bb-prover Successfully verified proof from key in 57.58019799999602 ms
11:22:40 [11:22:40.356]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
11:22:40 [11:22:40.357]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/25026247/bb/tmp-TCbtTE/proof -k /tmp/25026247/bb/tmp-TCbtTE/vk -i /tmp/25026247/bb/tmp-TCbtTE/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
11:22:40 [11:22:40.388]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.28 MiB)
11:22:40 [11:22:40.389]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 256.28 MiB)
11:22:40 --public_inputs_path: /tmp/25026247/bb/tmp-TCbtTE/public_inputs (mem: 256.28 MiB)
11:22:40 --proof_path: /tmp/25026247/bb/tmp-TCbtTE/proof (mem: 256.28 MiB)
11:22:40 --vk_path: /tmp/25026247/bb/tmp-TCbtTE/vk (mem: 256.28 MiB)
11:22:40 --verbose: true (mem: 256.28 MiB)
11:22:40 --scheme: ultra_honk (mem: 256.28 MiB)
11:22:40 --oracle_hash: poseidon2 (mem: 256.28 MiB)
11:22:40 --disable_zk: true (mem: 256.28 MiB)
11:22:40 [11:22:40.390]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.28 MiB)
11:22:40 [11:22:40.405]
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: 256.28 MiB)
11:22:40 Initialized BN254 CRS from memory with num points = 1 (mem: 256.28 MiB)
11:22:40 [11:22:40.407]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 256.28 MiB)
11:22:40 libra_evals_verified: 1 (mem: 256.28 MiB)
11:22:40 pairing_check_verified: 1 (mem: 256.28 MiB)
11:22:40 Proof verified successfully (mem: 256.28 MiB)
11:22:40 verified: 1 (mem: 256.28 MiB)
11:22:40 [11:22:40.409]
INFO:
bb-prover Successfully verified proof from key in 52.94409299999825 ms
11:22:40 [11:22:40.518]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
11:22:40
11:22:40 [11:22:40.519]
ERROR:
bb-prover Error running operation at /tmp/25026247/bb/tmp-Pj2742: Error: Failed to generate witness: Failed assertion
11:22:40
11:22:40 [11:22:40.774]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":90.20517600000312,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
11:22:40 [11:22:40.777]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
11:22:40 [11:22:40.777]
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/25026247/bb/tmp-AV1cVK -b /tmp/25026247/bb/tmp-AV1cVK/RootParityArtifact-bytecode -w /tmp/25026247/bb/tmp-AV1cVK/partial-witness.gz -v --init_kzg_accumulator -v
11:22:40 [11:22:40.806]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 256.28 MiB)
11:22:40 [11:22:40.807]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 256.28 MiB)
11:22:40 --scheme: ultra_honk (mem: 256.28 MiB)
11:22:40 --bytecode_path: /tmp/25026247/bb/tmp-AV1cVK/RootParityArtifact-bytecode (mem: 256.28 MiB)
11:22:40 --witness_path: /tmp/25026247/bb/tmp-AV1cVK/partial-witness.gz (mem: 256.28 MiB)
11:22:40 --output_path: /tmp/25026247/bb/tmp-AV1cVK (mem: 256.28 MiB)
11:22:40 Warning: the following option is called more than once (mem: 256.28 MiB)
11:22:40 --verbose: true (mem: 256.28 MiB)
11:22:40 --oracle_hash: poseidon2 (mem: 256.28 MiB)
11:22:40 --output_format: bytes_and_fields (mem: 256.28 MiB)
11:22:40 --write_vk: true (mem: 256.28 MiB)
11:22:40 --disable_zk: true (mem: 256.28 MiB)
11:22:40 --init_kzg_accumulator: true (mem: 256.28 MiB)
11:22:40 [11:22:40.997]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.28 MiB)
11:22:41 [11:22:41.015]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 256.28 MiB)
11:22:43 [11:22:43.096]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 419.59 MiB)
11:22:45 [11:22:45.640]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 787.31 MiB)
11:22:47 [11:22:47.926]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1059.55 MiB)
11:22:50 [11:22:50.589]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1428.23 MiB)
11:22:50 Constructing DeciderProvingKey (mem: 1428.23 MiB)
11:22:52 [11:22:52.050]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1837.57 MiB)
11:22:52 [11:22:52.653]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5488.75 MiB)
11:22:54 [11:22:54.875]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4288 ms.
11:22:54 [11:22:54.876]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6062.75 MiB)
11:22:54 [11:22:54.993]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6062.75 MiB)
11:22:54 [11:22:54.995]
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.75 MiB)
11:22:55 [11:22:55.931]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305
11:22:55 [11:22:55.932]
INFO:
bb-prover RootParityArtifact BB out - (mem:
11:22:55 [11:22:55.932]
INFO:
bb-prover RootParityArtifact BB out - 6062.75 MiB)
11:23:00 [11:23:00.172]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6062.75 MiB)
11:23:05 [11:23:05.213]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6062.75 MiB)
11:23:07 [11:23:07.554]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6790.66 MiB)
11:23:09 [11:23:09.873]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6790.66 MiB)
11:23:18 [11:23:18.195]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6790.66 MiB)
11:23:20 [11:23:20.118]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6790.66 MiB)
11:23:20 [11:23:20.132]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6790.66 MiB)
11:23:20 [11:23:20.805]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/25026247/bb/tmp-AV1cVK/public_inputs" (mem: 6790.66 MiB)
11:23:20 Public inputs fields saved to "/tmp/25026247/bb/tmp-AV1cVK/public_inputs_fields.json" (mem: 6790.66 MiB)
11:23:20 Proof saved to "/tmp/25026247/bb/tmp-AV1cVK/proof" (mem: 6790.66 MiB)
11:23:20 Proof fields saved to "/tmp/25026247/bb/tmp-AV1cVK/proof_fields.json" (mem: 6790.66 MiB)
11:23:20 VK saved to "/tmp/25026247/bb/tmp-AV1cVK/vk" (mem: 6790.66 MiB)
11:23:20 VK fields saved to "/tmp/25026247/bb/tmp-AV1cVK/vk_fields.json" (mem: 6790.66 MiB)
11:23:21 [11:23:21.050]
INFO:
bb-prover Generated proof for RootParityArtifact in 40270 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40269.96658800001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
11:23:21 [11:23:21.062]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
11:23:21 [11:23:21.062]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/25026247/bb/tmp-yifys3/proof -k /tmp/25026247/bb/tmp-yifys3/vk -i /tmp/25026247/bb/tmp-yifys3/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
11:23:21 [11:23:21.095]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.28 MiB)
11:23:21 [11:23:21.096]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 256.28 MiB)
11:23:21 --public_inputs_path: /tmp/25026247/bb/tmp-yifys3/public_inputs (mem: 256.28 MiB)
11:23:21 --proof_path: /tmp/25026247/bb/tmp-yifys3/proof (mem: 256.28 MiB)
11:23:21 --vk_path: /tmp/25026247/bb/tmp-yifys3/vk (mem: 256.28 MiB)
11:23:21 --verbose: true (mem: 256.28 MiB)
11:23:21 --scheme: ultra_honk (mem: 256.28 MiB)
11:23:21 --oracle_hash: poseidon2 (mem: 256.28 MiB)
11:23:21 --disable_zk: true (mem: 256.28 MiB)
11:23:21 [11:23:21.097]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.28 MiB)
11:23:21 [11:23:21.112]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 256.28 MiB)
11:23:21 Proof verification failed (mem: 256.28 MiB)
11:23:21 verified: 0 (mem: 256.28 MiB)
11:23:21 [11:23:21.115]
ERROR:
bb-prover Error running operation at /tmp/25026247/bb/tmp-yifys3: ProvingError: Failed to verify proof from key!
11:23:21 [11:23:21.263]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":61.5661989999935,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
11:23:21 [11:23:21.264]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
11:23:21 [11:23:21.265]
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/25026247/bb/tmp-SlOyP6 -b /tmp/25026247/bb/tmp-SlOyP6/RootParityArtifact-bytecode -w /tmp/25026247/bb/tmp-SlOyP6/partial-witness.gz -v --init_kzg_accumulator -v
11:23:21 [11:23:21.301]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 256.28 MiB)
11:23:21 Scheme is: ultra_honk, num threads: 128 (mem:
11:23:21 [11:23:21.302]
INFO:
bb-prover RootParityArtifact BB out - 256.28 MiB)
11:23:21 --scheme: ultra_honk (mem: 256.28 MiB)
11:23:21 --bytecode_path: /tmp/25026247/bb/tmp-SlOyP6/RootParityArtifact-bytecode (mem: 256.28 MiB)
11:23:21 --witness_path: /tmp/25026247/bb/tmp-SlOyP6/partial-witness.gz (mem: 256.28 MiB)
11:23:21 --output_path: /tmp/25026247/bb/tmp-SlOyP6 (mem: 256.28 MiB)
11:23:21 Warning: the following option is called more than once (mem: 256.28 MiB)
11:23:21 --verbose: true (mem: 256.28 MiB)
11:23:21 --oracle_hash: poseidon2 (mem: 256.28 MiB)
11:23:21 --output_format: bytes_and_fields (mem: 256.28 MiB)
11:23:21 --write_vk: true (mem: 256.28 MiB)
11:23:21 --disable_zk: true (mem: 256.28 MiB)
11:23:21 --init_kzg_accumulator: true (mem: 256.28 MiB)
11:23:21 [11:23:21.539]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.28 MiB)
11:23:21 [11:23:21.554]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 256.28 MiB)
11:23:23 [11:23:23.618]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 419.87 MiB)
11:23:26 [11:23:26.002]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 788.80 MiB)
11:23:27 [11:23:27.926]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1058.12 MiB)
11:23:29 [11:23:29.885]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1428.82 MiB)
11:23:29 [11:23:29.886]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1428.82 MiB)
11:23:31 [11:23:31.088]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1842.09 MiB)
11:23:31 [11:23:31.455]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5489.52 MiB)
11:23:32 [11:23:32.863]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 2976 ms. (mem: 6072.52 MiB)
11:23:32 [11:23:32.965]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6072.52 MiB)
11:23:32 [11:23:32.966]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6072.52 MiB)
11:23:33 [11:23:33.604]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6072.52 MiB)
11:23:37 [11:23:37.212]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6072.52 MiB)
11:23:42 [11:23:42.028]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6072.52 MiB)
11:23:43 [11:23:43.736]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6786.78 MiB)
11:23:45 [11:23:45.749]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6786.78 MiB)
11:23:52 [11:23:52.268]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6786.78 MiB)
11:23:54 [11:23:54.025]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6786.78 MiB)
11:23:54 [11:23:54.037]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6786.78 MiB)
11:23:54 [11:23:54.549]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/25026247/bb/tmp-SlOyP6/public_inputs" (mem: 6786.78 MiB)
11:23:54 [11:23:54.550]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/25026247/bb/tmp-SlOyP6/public_inputs_fields.json" (mem: 6786.78 MiB)
11:23:54 Proof saved to "/tmp/25026247/bb/tmp-SlOyP6/proof" (mem: 6786.78 MiB)
11:23:54 [11:23:54.550]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/25026247/bb/tmp-SlOyP6/proof_fields.json" (mem: 6786.78 MiB)
11:23:54 VK saved to "/tmp/25026247/bb/tmp-SlOyP6/vk" (mem: 6786.78 MiB)
11:23:54 VK fields saved to "/tmp/25026247/bb/tmp-SlOyP6/vk_fields.json" (mem: 6786.78 MiB)
11:23:54 [11:23:54.726]
INFO:
bb-prover Generated proof for RootParityArtifact in 33461 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":33460.18398100001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
11:23:54 [11:23:54.729]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
11:23:54 [11:23:54.729]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/25026247/bb/tmp-aPjX06/proof -k /tmp/25026247/bb/tmp-aPjX06/vk -i /tmp/25026247/bb/tmp-aPjX06/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
11:23:54 [11:23:54.750]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.28 MiB)
11:23:54 [11:23:54.750]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 256.28 MiB)
11:23:54 --public_inputs_path: /tmp/25026247/bb/tmp-aPjX06/public_inputs (mem: 256.28 MiB)
11:23:54 --proof_path: /tmp/25026247/bb/tmp-aPjX06/proof (mem: 256.28 MiB)
11:23:54 --vk_path: /tmp/25026247/bb/tmp-aPjX06/vk (mem: 256.28 MiB)
11:23:54 --verbose: true (mem: 256.28 MiB)
11:23:54 --scheme: ultra_honk (mem: 256.28 MiB)
11:23:54 --oracle_hash: poseidon2 (mem: 256.28 MiB)
11:23:54 --disable_zk: true (mem: 256.28 MiB)
11:23:54 [11:23:54.751]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.28 MiB)
11:23:54 [11:23:54.760]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 256.28 MiB)
11:23:54 Proof verification failed (mem: 256.28 MiB)
11:23:54 [11:23:54.761]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 256.28 MiB)
11:23:54 [11:23:54.762]
ERROR:
bb-prover Error running operation at /tmp/25026247/bb/tmp-aPjX06: ProvingError: Failed to verify proof from key!
11:23:54 [11:23:54.764]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
11:23:54
PASS src/test/bb_prover_parity.test.ts (
131.635 s)
11:23:54 prover/bb_prover/parity
11:23:54
✓ proves the parity circuits (122544 ms)
11:23:54
11:23:54
Test Suites: 1 passed, 1 total
11:23:54
Tests: 1 passed, 1 total
11:23:54
Snapshots: 0 total
11:23:54
Time: 131.731 s
11:23:54
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
11:23:54
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?