Parent Log:
http://ci.aztec-labs.com/0d00976eba32988c
Command: f44e1b4f382283e1: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/be1fa8aacb33d330cf496352bb1446439e34c51a
Env: REF_NAME=gh-readonly-queue/next/pr-15162-7d1abcb337009939ee47da8445b5fee80f39fb58 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 10:00:30 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15162_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
10:00:30 +++ id -u
10:00:30 +++ id -g
10:00:30 ++ docker run -d --name prover-client_src_test_bb_prover_parity.test.ts --net=none --cpuset-cpus=0-127 --cpus=16 --memory=96g --user 1000:1000 -v/home/aztec-dev:/home/aztec-dev --mount type=tmpfs,target=/tmp,tmpfs-size=1g --workdir /home/aztec-dev/aztec-packages -e HOME -e VERBOSE -e GIT_CONFIG_GLOBAL=/home/aztec-dev/aztec-packages/build-images/src/home/.gitconfig -e FORCE_COLOR=true -e CPUS -e MEM aztecprotocol/build:3.0 /bin/bash -c 'timeout -v 600s bash -c '\''LOG_LEVEL=verbose yarn-project/scripts/run_test.sh prover-client/src/test/bb_prover_parity.test.ts'\'''
10:00:31 + cid=f523bbb1bed1b3f9f41c733a48674bf3054f10ed673e29c5eef237c05ab23628
10:00:31 + set +x
10:00:32 {"level":25,"time":1750413632777,"pid":7,"hostname":"f523bbb1bed1","module":"logger","msg":"Logger initialized with level verbose"}
10:00:41 [10:00:41.405]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-vAFTu8/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
10:00:41 [10:00:41.486]
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/b46c0e2b/bb
10:00:41 [10:00:41.498]
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/b46c0e2b/acvm
10:00:41 [10:00:41.499]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/b46c0e2b/bb
10:00:41 [10:00:41.500]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/b46c0e2b/acvm
10:00:41 [10:00:41.504]
INFO:
prover-client:proving-broker Proving Broker started
10:00:41 [10:00:41.507]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
10:00:41 [10:00:41.716]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":61.87836299999981,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:00:41 [10:00:41.736]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":84.18021299999964,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:00:41 [10:00:41.756]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":48.95262299999922,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:00:41 [10:00:41.758]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:00:41 [10:00:41.759]
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/b46c0e2b/bb/tmp-rWdW5w -b /tmp/b46c0e2b/bb/tmp-rWdW5w/BaseParityArtifact-bytecode -w /tmp/b46c0e2b/bb/tmp-rWdW5w/partial-witness.gz -v --init_kzg_accumulator -v
10:00:41 [10:00:41.787]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:00:41 [10:00:41.788]
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/b46c0e2b/bb/tmp-0Yp0iO -b /tmp/b46c0e2b/bb/tmp-0Yp0iO/BaseParityArtifact-bytecode -w /tmp/b46c0e2b/bb/tmp-0Yp0iO/partial-witness.gz -v --init_kzg_accumulator -v
10:00:41 [10:00:41.814]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.21 MiB)
10:00:41 Scheme is: ultra_honk, num threads: 128 (mem: 251.21 MiB)
10:00:41 --scheme: ultra_honk (mem: 251.21 MiB)
10:00:41 --bytecode_path: /tmp/b46c0e2b/bb/tmp-rWdW5w/BaseParityArtifact-bytecode (mem: 251.21 MiB)
10:00:41 --witness_path: /tmp/b46c0e2b/bb/tmp-rWdW5w/partial-witness.gz (mem: 251.21 MiB)
10:00:41 --output_path: /tmp/b46c0e2b/bb/tmp-rWdW5w (mem: 251.21 MiB)
10:00:41 Warning: the following option is called more than once (mem: 251.21 MiB)
10:00:41 --verbose: true (mem: 251.21 MiB)
10:00:41 --oracle_hash: poseidon2 (mem: 251.21 MiB)
10:00:41 --output_format: bytes_and_fields (mem: 251.21 MiB)
10:00:41 --write_vk: true (mem: 251.21 MiB)
10:00:41 --disable_zk: true (mem: 251.21 MiB)
10:00:41 --init_kzg_accumulator: true (mem: 251.21 MiB)
10:00:41 [10:00:41.818]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:00:41 [10:00:41.818]
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/b46c0e2b/bb/tmp-CR63nq -b /tmp/b46c0e2b/bb/tmp-CR63nq/BaseParityArtifact-bytecode -w /tmp/b46c0e2b/bb/tmp-CR63nq/partial-witness.gz -v --init_kzg_accumulator -v
10:00:41 [10:00:41.846]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.73 MiB)
10:00:41 Scheme is: ultra_honk, num threads: 128 (mem: 251.73 MiB)
10:00:41 --scheme: ultra_honk (mem: 251.73 MiB)
10:00:41 --bytecode_path: /tmp/b46c0e2b/bb/tmp-0Yp0iO/BaseParityArtifact-bytecode (mem: 251.73 MiB)
10:00:41 --witness_path: /tmp/b46c0e2b/bb/tmp-0Yp0iO/partial-witness.gz (mem: 251.73 MiB)
10:00:41 --output_path: /tmp/b46c0e2b/bb/tmp-0Yp0iO (mem: 251.73 MiB)
10:00:41 Warning: the following option is called more than once (mem: 251.73 MiB)
10:00:41 --verbose: true (mem: 251.73 MiB)
10:00:41 --oracle_hash: poseidon2 (mem: 251.73 MiB)
10:00:41 --output_format: bytes_and_fields (mem: 251.73 MiB)
10:00:41 --write_vk: true (mem: 251.73 MiB)
10:00:41 --disable_zk: true (mem: 251.73 MiB)
10:00:41 --init_kzg_accumulator: true (mem: 251.73 MiB)
10:00:41 [10:00:41.874]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":92.6676150000003,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:00:41 [10:00:41.875]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.73 MiB)
10:00:41 Scheme is: ultra_honk, num threads: 128 (mem: 251.73 MiB)
10:00:41 --scheme: ultra_honk (mem: 251.73 MiB)
10:00:41 --bytecode_path: /tmp/b46c0e2b/bb/tmp-CR63nq/BaseParityArtifact-bytecode (mem: 251.73 MiB)
10:00:41 --witness_path: /tmp/b46c0e2b/bb/tmp-CR63nq/partial-witness.gz (mem: 251.73 MiB)
10:00:41 --output_path: /tmp/b46c0e2b/bb/tmp-CR63nq (mem: 251.73 MiB)
10:00:41 Warning: the following option is called more than once (mem: 251.73 MiB)
10:00:41 --verbose: true (mem: 251.73 MiB)
10:00:41 --oracle_hash: poseidon2 (mem: 251.73 MiB)
10:00:41 --output_format: bytes_and_fields (mem: 251.73 MiB)
10:00:41 --write_vk: true (mem: 251.73 MiB)
10:00:41 --disable_zk: true (mem: 251.73 MiB)
10:00:41 --init_kzg_accumulator: true (mem: 251.73 MiB)
10:00:41 [10:00:41.877]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:00:41 [10:00:41.878]
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/b46c0e2b/bb/tmp-Q5db5u -b /tmp/b46c0e2b/bb/tmp-Q5db5u/BaseParityArtifact-bytecode -w /tmp/b46c0e2b/bb/tmp-Q5db5u/partial-witness.gz -v --init_kzg_accumulator -v
10:00:41 [10:00:41.909]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.77 MiB)
10:00:41 Scheme is: ultra_honk, num threads: 128 (mem: 251.77 MiB)
10:00:41 [10:00:41.910]
INFO:
bb-prover BaseParityArtifact BB out - --scheme: ultra_honk (mem: 251.77 MiB)
10:00:41 --bytecode_path: /tmp/b46c0e2b/bb/tmp-Q5db5u/BaseParityArtifact-bytecode (mem: 251.77 MiB)
10:00:41 --witness_path: /tmp/b46c0e2b/bb/tmp-Q5db5u/partial-witness.gz (mem: 251.77 MiB)
10:00:41 --output_path: /tmp/b46c0e2b/bb/tmp-Q5db5u (mem: 251.77 MiB)
10:00:41 Warning: the following option is called more than once (mem: 251.77 MiB)
10:00:41 --verbose: true (mem: 251.77 MiB)
10:00:41 --oracle_hash: poseidon2 (mem: 251.77 MiB)
10:00:41 --output_format: bytes_and_fields (mem: 251.77 MiB)
10:00:41 --write_vk: true (mem: 251.77 MiB)
10:00:41 --disable_zk: true (mem: 251.77 MiB)
10:00:41 --init_kzg_accumulator: true (mem: 251.77 MiB)
10:00:41 [10:00:41.989]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.21 MiB)
10:00:41 Constructing DeciderProvingKey (mem: 251.21 MiB)
10:00:41 [10:00:41.990]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.73 MiB)
10:00:41 [10:00:41.990]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.73 MiB)
10:00:41 [10:00:41.993]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.21 MiB)
10:00:41 [10:00:41.996]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.73 MiB)
10:00:42 [10:00:42.048]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.73 MiB)
10:00:42 [10:00:42.049]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.73 MiB)
10:00:42 [10:00:42.053]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.73 MiB)
10:00:42 [10:00:42.098]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.77 MiB)
10:00:42 Constructing DeciderProvingKey (mem: 251.77 MiB)
10:00:42 [10:00:42.101]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
10:00:42 [10:00:42.102]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 251.77 MiB)
10:00:42 [10:00:42.213]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.73 MiB)
10:00:42 [10:00:42.231]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.21 MiB)
10:00:42 [10:00:42.300]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.73 MiB)
10:00:42 [10:00:42.305]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 318 ms. (mem: 251.21 MiB)
10:00:42 [10:00:42.310]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 318 ms. (mem: 251.73 MiB)
10:00:42 [10:00:42.314]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.21 MiB)
10:00:42 [10:00:42.322]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.73 MiB)
10:00:42 [10:00:42.323]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.21 MiB)
10:00:42 [10:00:42.325]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.73 MiB)
10:00:42 [10:00:42.336]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.77 MiB)
10:00:42 [10:00:42.347]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.21 MiB)
10:00:42 [10:00:42.355]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.73 MiB)
10:00:42 [10:00:42.382]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 334 ms. (mem: 251.73 MiB)
10:00:42 [10:00:42.397]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.73 MiB)
10:00:42 [10:00:42.404]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.73 MiB)
10:00:42 [10:00:42.430]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.73 MiB)
10:00:42 [10:00:42.510]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 411 ms. (mem: 251.77 MiB)
10:00:42 [10:00:42.518]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.77 MiB)
10:00:42 [10:00:42.542]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.77 MiB)
10:00:42 [10:00:42.599]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.77 MiB)
10:00:43 [10:00:43.287]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.73 MiB)
10:00:43 [10:00:43.374]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.73 MiB)
10:00:43 [10:00:43.384]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7
10:00:43 [10:00:43.385]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 251.21 MiB)
10:00:43 [10:00:43.583]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.77 MiB)
10:00:43 [10:00:43.980]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.73 MiB)
10:00:44 [10:00:44.013]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.73 MiB)
10:00:44 [10:00:44.145]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.77 MiB)
10:00:44 [10:00:44.192]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.21 MiB)
10:00:44 [10:00:44.293]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 259.75 MiB)
10:00:44 [10:00:44.322]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 259.51 MiB)
10:00:44 [10:00:44.384]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 261.63 MiB)
10:00:44 [10:00:44.445]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 263.46 MiB)
10:00:44 [10:00:44.453]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 259.75 MiB)
10:00:44 [10:00:44.601]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 261.63 MiB)
10:00:44 [10:00:44.604]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 259.51 MiB)
10:00:44 [10:00:44.647]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 263.46 MiB)
10:00:45 [10:00:45.651]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction
10:00:45 [10:00:45.652]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 259.51 MiB)
10:00:45 [10:00:45.690]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 259.51 MiB)
10:00:45 [10:00:45.691]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 259.51 MiB)
10:00:45 [10:00:45.695]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/b46c0e2b/bb/tmp-CR63nq/public_inputs" (mem: 259.51 MiB)
10:00:45 [10:00:45.696]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/b46c0e2b/bb/tmp-CR63nq/public_inputs_fields.json" (mem: 259.51 MiB)
10:00:45 Proof saved to "/tmp/b46c0e2b/bb/tmp-CR63nq/proof" (mem: 259.51 MiB)
10:00:45 Proof fields saved to "/tmp/b46c0e2b/bb/tmp-CR63nq/proof_fields.json" (mem: 259.51 MiB)
10:00:45 VK saved to "/tmp/b46c0e2b/bb/tmp-CR63nq/vk" (mem: 259.51 MiB)
10:00:45 [10:00:45.698]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/b46c0e2b/bb/tmp-CR63nq/vk_fields.json" (mem: 259.51 MiB)
10:00:45 [10:00:45.702]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 259.75 MiB)
10:00:45 [10:00:45.751]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 259.75 MiB)
10:00:45 [10:00:45.754]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 259.75 MiB)
10:00:45 [10:00:45.759]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/b46c0e2b/bb/tmp-0Yp0iO/public_inputs" (mem: 259.75 MiB)
10:00:45 Public inputs fields saved to "/tmp/b46c0e2b/bb/tmp-0Yp0iO/public_inputs_fields.json" (mem: 259.75 MiB)
10:00:45 Proof saved to "/tmp/b46c0e2b/bb/tmp-0Yp0iO/proof" (mem: 259.75 MiB)
10:00:45 Proof fields saved to "/tmp/b46c0e2b/bb/tmp-0Yp0iO/proof_fields.json" (mem: 259.75 MiB)
10:00:45 VK saved to "/tmp/b46c0e2b/bb/tmp-0Yp0iO/vk" (mem: 259.75 MiB)
10:00:45 VK fields saved to "/tmp/b46c0e2b/bb/tmp-0Yp0iO/vk_fields.json" (mem: 259.75 MiB)
10:00:45 [10:00:45.775]
INFO:
bb-prover Generated proof for BaseParityArtifact in 3935 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":3934.812603999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:00:45 [10:00:45.776]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 263.46 MiB)
10:00:45 [10:00:45.789]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 261.63 MiB)
10:00:45 [10:00:45.802]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:00:45 [10:00:45.803]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b46c0e2b/bb/tmp-QxLsLb/proof -k /tmp/b46c0e2b/bb/tmp-QxLsLb/vk -i /tmp/b46c0e2b/bb/tmp-QxLsLb/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:00:45 [10:00:45.844]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 263.46 MiB)
10:00:45 finished decider proving. (mem: 263.46 MiB)
10:00:45 Public inputs saved to "/tmp/b46c0e2b/bb/tmp-rWdW5w/public_inputs" (mem: 263.46 MiB)
10:00:45 Public inputs fields saved to "/tmp/b46c0e2b/bb/tmp-rWdW5w/public_inputs_fields.json" (mem: 263.46 MiB)
10:00:45 Proof saved to "/tmp/b46c0e2b/bb/tmp-rWdW5w/proof" (mem: 263.46 MiB)
10:00:45 Proof fields saved to "/tmp/b46c0e2b/bb/tmp-rWdW5w/proof_fields.json" (mem: 263.46 MiB)
10:00:45 VK saved to "/tmp/b46c0e2b/bb/tmp-rWdW5w/vk" (mem: 263.46 MiB)
10:00:45 VK fields saved to "/tmp/b46c0e2b/bb/tmp-rWdW5w/vk_fields.json" (mem: 263.46 MiB)
10:00:45 [10:00:45.850]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.77 MiB)
10:00:45 Scheme is: ultra_honk, num threads: 128 (mem: 251.77 MiB)
10:00:45 --public_inputs_path: /tmp/b46c0e2b/bb/tmp-QxLsLb/public_inputs (mem: 251.77 MiB)
10:00:45 --proof_path: /tmp/b46c0e2b/bb/tmp-QxLsLb/proof (mem: 251.77 MiB)
10:00:45 --vk_path: /tmp/b46c0e2b/bb/tmp-QxLsLb/vk (mem: 251.77 MiB)
10:00:45 --verbose: true (mem: 251.77 MiB)
10:00:45 --scheme: ultra_honk (mem: 251.77 MiB)
10:00:45 --oracle_hash: poseidon2 (mem: 251.77 MiB)
10:00:45 --disable_zk: true (mem: 251.77 MiB)
10:00:45 [10:00:45.853]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4059 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4058.4935680000017,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:00:45 [10:00:45.858]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.77 MiB)
10:00:45 [10:00:45.860]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 261.63 MiB)
10:00:45 finished decider proving. (mem: 261.63 MiB)
10:00:45 [10:00:45.862]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/b46c0e2b/bb/tmp-Q5db5u/public_inputs" (mem: 261.63 MiB)
10:00:45 Public inputs fields saved to "/tmp/b46c0e2b/bb/tmp-Q5db5u/public_inputs_fields.json" (mem: 261.63 MiB)
10:00:45 Proof saved to "/tmp/b46c0e2b/bb/tmp-Q5db5u/proof" (mem: 261.63 MiB)
10:00:45 Proof fields saved to "/tmp/b46c0e2b/bb/tmp-Q5db5u/proof_fields.json" (mem: 261.63 MiB)
10:00:45 VK saved to "/tmp/b46c0e2b/bb/tmp-Q5db5u/vk" (mem: 261.63 MiB)
10:00:45 [10:00:45.865]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:00:45 [10:00:45.867]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b46c0e2b/bb/tmp-Qzt0BF/proof -k /tmp/b46c0e2b/bb/tmp-Qzt0BF/vk -i /tmp/b46c0e2b/bb/tmp-Qzt0BF/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:00:45 [10:00:45.894]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/b46c0e2b/bb/tmp-Q5db5u/vk_fields.json" (mem: 261.63 MiB)
10:00:45 [10:00:45.896]
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: 251.77 MiB)
10:00:45 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.77 MiB)
10:00:45 sumcheck_verified: 1 (mem: 251.77 MiB)
10:00:45 libra_evals_verified: 1 (mem: 251.77 MiB)
10:00:45 pairing_check_verified: 1 (mem: 251.77 MiB)
10:00:45 Proof verified successfully (mem: 251.77 MiB)
10:00:45 verified: 1 (mem: 251.77 MiB)
10:00:45 [10:00:45.897]
INFO:
bb-prover Successfully verified proof from key in 95.01385400000072 ms
10:00:45 [10:00:45.901]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4140 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4139.428757,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:00:45 [10:00:45.902]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.77 MiB)
10:00:45 [10:00:45.904]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.77 MiB)
10:00:45 --public_inputs_path: /tmp/b46c0e2b/bb/tmp-Qzt0BF/public_inputs (mem: 251.77 MiB)
10:00:45 --proof_path: /tmp/b46c0e2b/bb/tmp-Qzt0BF/proof (mem: 251.77 MiB)
10:00:45 --vk_path: /tmp/b46c0e2b/bb/tmp-Qzt0BF/vk (mem: 251.77 MiB)
10:00:45 --verbose: true (mem: 251.77 MiB)
10:00:45 --scheme: ultra_honk (mem: 251.77 MiB)
10:00:45 --oracle_hash: poseidon2 (mem: 251.77 MiB)
10:00:45 --disable_zk: true (mem: 251.77 MiB)
10:00:45 [10:00:45.905]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.77 MiB)
10:00:45 [10:00:45.906]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:00:45 [10:00:45.906]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b46c0e2b/bb/tmp-9moWRm/proof -k /tmp/b46c0e2b/bb/tmp-9moWRm/vk -i /tmp/b46c0e2b/bb/tmp-9moWRm/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:00:45 [10:00:45.927]
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: 251.77 MiB)
10:00:45 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.77 MiB)
10:00:45 sumcheck_verified: 1 (mem: 251.77 MiB)
10:00:45 libra_evals_verified: 1 (mem: 251.77 MiB)
10:00:45 pairing_check_verified: 1 (mem: 251.77 MiB)
10:00:45 Proof verified successfully (mem: 251.77 MiB)
10:00:45 verified: 1 (mem: 251.77 MiB)
10:00:45 [10:00:45.928]
INFO:
bb-prover Successfully verified proof from key in 63.32238300000063 ms
10:00:45 [10:00:45.932]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4053 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4052.416916,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:00:45 [10:00:45.933]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
10:00:45 [10:00:45.935]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.79 MiB)
10:00:45 Scheme is: ultra_honk, num threads: 128 (mem: 251.79 MiB)
10:00:45 --public_inputs_path: /tmp/b46c0e2b/bb/tmp-9moWRm/public_inputs (mem: 251.79 MiB)
10:00:45 [10:00:45.935]
VERBOSE:
bb-prover bb-prover (verify) BB out - --proof_path: /tmp/b46c0e2b/bb/tmp-9moWRm/proof (mem: 251.79 MiB)
10:00:45 --vk_path: /tmp/b46c0e2b/bb/tmp-9moWRm/vk (mem: 251.79 MiB)
10:00:45 --verbose: true (mem: 251.79 MiB)
10:00:45 --scheme: ultra_honk (mem: 251.79 MiB)
10:00:45 --oracle_hash: poseidon2 (mem: 251.79 MiB)
10:00:45 --disable_zk: true (mem: 251.79 MiB)
10:00:45 [10:00:45.936]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.79 MiB)
10:00:45 [10:00:45.938]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:00:45 [10:00:45.938]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b46c0e2b/bb/tmp-ANHsey/proof -k /tmp/b46c0e2b/bb/tmp-ANHsey/vk -i /tmp/b46c0e2b/bb/tmp-ANHsey/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:00:45 [10:00:45.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: 251.79 MiB)
10:00:45 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.79 MiB)
10:00:45 sumcheck_verified: 1 (mem: 251.79 MiB)
10:00:45 libra_evals_verified: 1 (mem: 251.79 MiB)
10:00:45 pairing_check_verified: 1 (mem: 251.79 MiB)
10:00:45 Proof verified successfully (mem: 251.79 MiB)
10:00:45 verified: 1 (mem: 251.79 MiB)
10:00:45 [10:00:45.962]
INFO:
bb-prover Successfully verified proof from key in 55.90942899999936 ms
10:00:45 [10:00:45.974]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.86 MiB)
10:00:45 Scheme is: ultra_honk, num threads: 128 (mem: 251.86 MiB)
10:00:45 --public_inputs_path: /tmp/b46c0e2b/bb/tmp-ANHsey/public_inputs (mem: 251.86 MiB)
10:00:45 --proof_path: /tmp/b46c0e2b/bb/tmp-ANHsey/proof (mem: 251.86 MiB)
10:00:45 --vk_path: /tmp/b46c0e2b/bb/tmp-ANHsey/vk (mem: 251.86 MiB)
10:00:45 --verbose: true (mem: 251.86 MiB)
10:00:45 --scheme: ultra_honk (mem: 251.86 MiB)
10:00:45 --oracle_hash: poseidon2 (mem: 251.86 MiB)
10:00:45 --disable_zk: true (mem: 251.86 MiB)
10:00:45 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.86 MiB)
10:00:45 [10:00:45.991]
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: 251.86 MiB)
10:00:45 [10:00:45.992]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.86 MiB)
10:00:45 [10:00:45.993]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.86 MiB)
10:00:45 libra_evals_verified: 1 (mem: 251.86 MiB)
10:00:45 pairing_check_verified: 1 (mem: 251.86 MiB)
10:00:45 Proof verified successfully (mem: 251.86 MiB)
10:00:45 verified: 1 (mem: 251.86 MiB)
10:00:45 [10:00:45.995]
INFO:
bb-prover Successfully verified proof from key in 56.84371800000008 ms
10:00:46 [10:00:46.005]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:00:46 [10:00:46.005]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b46c0e2b/bb/tmp-6dcGfA/proof -k /tmp/b46c0e2b/bb/tmp-6dcGfA/vk -i /tmp/b46c0e2b/bb/tmp-6dcGfA/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:00:46 [10:00:46.026]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:00:46 [10:00:46.027]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b46c0e2b/bb/tmp-BDlVip/proof -k /tmp/b46c0e2b/bb/tmp-BDlVip/vk -i /tmp/b46c0e2b/bb/tmp-BDlVip/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:00:46 [10:00:46.053]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:00:46 [10:00:46.054]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b46c0e2b/bb/tmp-rAEQKe/proof -k /tmp/b46c0e2b/bb/tmp-rAEQKe/vk -i /tmp/b46c0e2b/bb/tmp-rAEQKe/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:00:46 [10:00:46.082]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:00:46 [10:00:46.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/b46c0e2b/bb/tmp-eEpg6Y/proof -k /tmp/b46c0e2b/bb/tmp-eEpg6Y/vk -i /tmp/b46c0e2b/bb/tmp-eEpg6Y/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:00:46 [10:00:46.104]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.92 MiB)
10:00:46 Scheme is: ultra_honk, num threads: 128 (mem: 251.92 MiB)
10:00:46 --public_inputs_path: /tmp/b46c0e2b/bb/tmp-6dcGfA/public_inputs (mem: 251.92 MiB)
10:00:46 --proof_path: /tmp/b46c0e2b/bb/tmp-6dcGfA/proof (mem: 251.92 MiB)
10:00:46 --vk_path: /tmp/b46c0e2b/bb/tmp-6dcGfA/vk (mem: 251.92 MiB)
10:00:46 --verbose: true (mem: 251.92 MiB)
10:00:46 --scheme: ultra_honk (mem: 251.92 MiB)
10:00:46 --oracle_hash: poseidon2 (mem: 251.92 MiB)
10:00:46 --disable_zk: true (mem: 251.92 MiB)
10:00:46 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.92 MiB)
10:00:46 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.92 MiB)
10:00:46 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.92 MiB)
10:00:46 sumcheck_verified: 1 (mem: 251.92 MiB)
10:00:46 libra_evals_verified: 1 (mem: 251.92 MiB)
10:00:46 pairing_check_verified: 1 (mem: 251.92 MiB)
10:00:46 Proof verified successfully (mem: 251.92 MiB)
10:00:46 verified: 1 (mem: 251.92 MiB)
10:00:46 [10:00:46.105]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.92 MiB)
10:00:46 Scheme is: ultra_honk, num threads: 128 (mem: 251.92 MiB)
10:00:46 --public_inputs_path: /tmp/b46c0e2b/bb/tmp-BDlVip/public_inputs (mem: 251.92 MiB)
10:00:46 --proof_path: /tmp/b46c0e2b/bb/tmp-BDlVip/proof (mem: 251.92 MiB)
10:00:46 --vk_path: /tmp/b46c0e2b/bb/tmp-BDlVip/vk (mem: 251.92 MiB)
10:00:46 --verbose: true (mem: 251.92 MiB)
10:00:46 --scheme: ultra_honk (mem: 251.92 MiB)
10:00:46 --oracle_hash: poseidon2 (mem: 251.92 MiB)
10:00:46 --disable_zk: true (mem: 251.92 MiB)
10:00:46 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.92 MiB)
10:00:46 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.92 MiB)
10:00:46 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.92 MiB)
10:00:46 sumcheck_verified: 1 (mem: 251.92 MiB)
10:00:46 libra_evals_verified: 1 (mem: 251.92 MiB)
10:00:46 pairing_check_verified: 1 (mem: 251.92 MiB)
10:00:46 Proof verified successfully (mem: 251.92 MiB)
10:00:46 verified: 1 (mem: 251.92 MiB)
10:00:46 [10:00:46.105]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.92 MiB)
10:00:46 Scheme is: ultra_honk, num threads: 128 (mem: 251.92 MiB)
10:00:46 --public_inputs_path: /tmp/b46c0e2b/bb/tmp-rAEQKe/public_inputs (mem: 251.92 MiB)
10:00:46 --proof_path: /tmp/b46c0e2b/bb/tmp-rAEQKe/proof (mem: 251.92 MiB)
10:00:46 --vk_path: /tmp/b46c0e2b/bb/tmp-rAEQKe/vk (mem: 251.92 MiB)
10:00:46 --verbose: true (mem: 251.92 MiB)
10:00:46 --scheme: ultra_honk (mem: 251.92 MiB)
10:00:46 --oracle_hash: poseidon2 (mem: 251.92 MiB)
10:00:46 --disable_zk: true (mem: 251.92 MiB)
10:00:46 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.92 MiB)
10:00:46 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.92 MiB)
10:00:46 [10:00:46.107]
INFO:
bb-prover Successfully verified proof from key in 80.50028300000122 ms
10:00:46 [10:00:46.107]
INFO:
bb-prover Successfully verified proof from key in 102.94205099999999 ms
10:00:46 [10:00:46.108]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.92 MiB)
10:00:46 sumcheck_verified: 1 (mem: 251.92 MiB)
10:00:46 libra_evals_verified: 1 (mem: 251.92 MiB)
10:00:46 pairing_check_verified: 1 (mem: 251.92 MiB)
10:00:46 Proof verified successfully (mem: 251.92 MiB)
10:00:46 verified: 1 (mem: 251.92 MiB)
10:00:46 [10:00:46.108]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.71 MiB)
10:00:46 Scheme is: ultra_honk, num threads: 128 (mem: 251.71 MiB)
10:00:46 --public_inputs_path: /tmp/b46c0e2b/bb/tmp-eEpg6Y/public_inputs (mem: 251.71 MiB)
10:00:46 --proof_path: /tmp/b46c0e2b/bb/tmp-eEpg6Y/proof (mem: 251.71 MiB)
10:00:46 --vk_path: /tmp/b46c0e2b/bb/tmp-eEpg6Y/vk (mem: 251.71 MiB)
10:00:46 --verbose: true (mem: 251.71 MiB)
10:00:46 --scheme: ultra_honk (mem: 251.71 MiB)
10:00:46 --oracle_hash: poseidon2 (mem: 251.71 MiB)
10:00:46 --disable_zk: true (mem: 251.71 MiB)
10:00:46 [10:00:46.109]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.71 MiB)
10:00:46 [10:00:46.110]
INFO:
bb-prover Successfully verified proof from key in 56.868609000001015 ms
10:00:46 [10:00:46.124]
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: 251.71 MiB)
10:00:46 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.71 MiB)
10:00:46 [10:00:46.126]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.71 MiB)
10:00:46 libra_evals_verified: 1 (mem: 251.71 MiB)
10:00:46 pairing_check_verified: 1 (mem: 251.71 MiB)
10:00:46 Proof verified successfully (mem: 251.71 MiB)
10:00:46 verified: 1 (mem: 251.71 MiB)
10:00:46 [10:00:46.127]
INFO:
bb-prover Successfully verified proof from key in 45.15945499999907 ms
10:00:46 [10:00:46.370]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":92.86891800000012,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:00:46 [10:00:46.373]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:00:46 [10:00:46.373]
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/b46c0e2b/bb/tmp-ipyQ3G -b /tmp/b46c0e2b/bb/tmp-ipyQ3G/RootParityArtifact-bytecode -w /tmp/b46c0e2b/bb/tmp-ipyQ3G/partial-witness.gz -v --init_kzg_accumulator -v
10:00:46 [10:00:46.401]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.06 MiB)
10:00:46 Scheme is: ultra_honk, num threads: 128 (mem: 254.06 MiB)
10:00:46 --scheme: ultra_honk (mem: 254.06 MiB)
10:00:46 --bytecode_path: /tmp/b46c0e2b/bb/tmp-ipyQ3G/RootParityArtifact-bytecode (mem: 254.06 MiB)
10:00:46 --witness_path: /tmp/b46c0e2b/bb/tmp-ipyQ3G/partial-witness.gz (mem: 254.06 MiB)
10:00:46 --output_path: /tmp/b46c0e2b/bb/tmp-ipyQ3G (mem: 254.06 MiB)
10:00:46 Warning: the following option is called more than once (mem: 254.06 MiB)
10:00:46 --verbose: true (mem: 254.06 MiB)
10:00:46 --oracle_hash: poseidon2 (mem: 254.06 MiB)
10:00:46 --output_format: bytes_and_fields (mem: 254.06 MiB)
10:00:46 --write_vk: true (mem: 254.06 MiB)
10:00:46 --disable_zk: true (mem: 254.06 MiB)
10:00:46 --init_kzg_accumulator: true (mem: 254.06 MiB)
10:00:46 [10:00:46.594]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.06 MiB)
10:00:48 [10:00:48.690]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 423.93 MiB)
10:00:51 [10:00:51.417]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 782.44 MiB)
10:00:54 [10:00:54.003]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1042.13 MiB)
10:00:56 [10:00:56.853]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1414.73 MiB)
10:00:56 [10:00:56.854]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1414.73 MiB)
10:00:58 [10:00:58.320]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1866.39 MiB)
10:00:58 [10:00:58.693]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5528.39 MiB)
10:01:00 [10:01:00.686]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3832 ms. (mem: 6081.39 MiB)
10:01:00 [10:01:00.833]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6081.39 MiB)
10:01:01 [10:01:01.148]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6562.67 MiB)
10:01:02 [10:01:02.425]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7336.67 MiB)
10:01:10 [10:01:10.572]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7336.67 MiB)
10:01:15 [10:01:15.035]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7336.67 MiB)
10:01:17 [10:01:17.200]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8979.00 MiB)
10:01:19 [10:01:19.496]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8979.00 MiB)
10:01:25 [10:01:25.319]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8979.00 MiB)
10:01:27 [10:01:27.037]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8979.00 MiB)
10:01:27 [10:01:27.052]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving.
10:01:27 [10:01:27.054]
INFO:
bb-prover RootParityArtifact BB out - (mem: 8979.00 MiB)
10:01:27 [10:01:27.798]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/b46c0e2b/bb/tmp-ipyQ3G/public_inputs" (mem: 8979.00 MiB)
10:01:27 [10:01:27.799]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/b46c0e2b/bb/tmp-ipyQ3G/public_inputs_fields.json" (mem: 8979.00 MiB)
10:01:27 Proof saved to "/tmp/b46c0e2b/bb/tmp-ipyQ3G/proof" (mem: 8979.00 MiB)
10:01:27 Proof fields saved to "/tmp/b46c0e2b/bb/tmp-ipyQ3G/proof_fields.json" (mem: 8979.00 MiB)
10:01:27 VK saved to "/tmp/b46c0e2b/bb/tmp-ipyQ3G/vk" (mem: 8979.00 MiB)
10:01:27 VK fields saved to "/tmp/b46c0e2b/bb/tmp-ipyQ3G/vk_fields.json" (mem: 8979.00 MiB)
10:01:28 [10:01:28.045]
INFO:
bb-prover Generated proof for RootParityArtifact in 41666 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":41665.349410999996,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:01:28 [10:01:28.048]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:01:28 [10:01:28.048]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b46c0e2b/bb/tmp-JtisyE/proof -k /tmp/b46c0e2b/bb/tmp-JtisyE/vk -i /tmp/b46c0e2b/bb/tmp-JtisyE/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:01:28 [10:01:28.076]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
10:01:28 [10:01:28.077]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 254.07 MiB)
10:01:28 Scheme is: ultra_honk, num threads: 128 (mem: 254.07 MiB)
10:01:28 --public_inputs_path: /tmp/b46c0e2b/bb/tmp-JtisyE/public_inputs (mem: 254.07 MiB)
10:01:28 --proof_path: /tmp/b46c0e2b/bb/tmp-JtisyE/proof (mem: 254.07 MiB)
10:01:28 --vk_path: /tmp/b46c0e2b/bb/tmp-JtisyE/vk (mem: 254.07 MiB)
10:01:28 --verbose: true (mem: 254.07 MiB)
10:01:28 --scheme: ultra_honk (mem: 254.07 MiB)
10:01:28 --oracle_hash: poseidon2 (mem: 254.07 MiB)
10:01:28 --disable_zk: true (mem: 254.07 MiB)
10:01:28 [10:01:28.078]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.07 MiB)
10:01:28 [10:01:28.093]
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.07 MiB)
10:01:28 [10:01:28.095]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 254.07 MiB)
10:01:28 [10:01:28.096]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.07 MiB)
10:01:28 libra_evals_verified: 1 (mem: 254.07 MiB)
10:01:28 pairing_check_verified: 1 (mem: 254.07 MiB)
10:01:28 Proof verified successfully (mem: 254.07 MiB)
10:01:28 verified: 1 (mem: 254.07 MiB)
10:01:28 [10:01:28.097]
INFO:
bb-prover Successfully verified proof from key in 49.431951999999 ms
10:01:28 [10:01:28.101]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:01:28 [10:01:28.102]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b46c0e2b/bb/tmp-h3KmR5/proof -k /tmp/b46c0e2b/bb/tmp-h3KmR5/vk -i /tmp/b46c0e2b/bb/tmp-h3KmR5/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:01:28 [10:01:28.132]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.07 MiB)
10:01:28 [10:01:28.133]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.07 MiB)
10:01:28 --public_inputs_path: /tmp/b46c0e2b/bb/tmp-h3KmR5/public_inputs (mem: 254.07 MiB)
10:01:28 --proof_path: /tmp/b46c0e2b/bb/tmp-h3KmR5/proof (mem: 254.07 MiB)
10:01:28 --vk_path: /tmp/b46c0e2b/bb/tmp-h3KmR5/vk (mem: 254.07 MiB)
10:01:28 --verbose: true (mem: 254.07 MiB)
10:01:28 --scheme: ultra_honk (mem: 254.07 MiB)
10:01:28 --oracle_hash: poseidon2 (mem: 254.07 MiB)
10:01:28 --disable_zk: true (mem: 254.07 MiB)
10:01:28 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.07 MiB)
10:01:28 [10:01:28.148]
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.07 MiB)
10:01:28 Initialized BN254 CRS from memory with num points = 1025 (mem: 254.07 MiB)
10:01:28 [10:01:28.149]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.07 MiB)
10:01:28 libra_evals_verified: 1 (mem: 254.07 MiB)
10:01:28 pairing_check_verified: 1 (mem: 254.07 MiB)
10:01:28 Proof verified successfully (mem: 254.07 MiB)
10:01:28 verified: 1 (mem: 254.07 MiB)
10:01:28 [10:01:28.151]
INFO:
bb-prover Successfully verified proof from key in 49.12490099999559 ms
10:01:28 [10:01:28.246]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
10:01:28
10:01:28 [10:01:28.247]
ERROR:
bb-prover Error running operation at /tmp/b46c0e2b/bb/tmp-S8NciP: Error: Failed to generate witness: Failed assertion
10:01:28
10:01:28 [10:01:28.452]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":87.69379900000058,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
10:01:28 [10:01:28.456]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:01:28 [10:01:28.456]
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/b46c0e2b/bb/tmp-pfTPsM -b /tmp/b46c0e2b/bb/tmp-pfTPsM/RootParityArtifact-bytecode -w /tmp/b46c0e2b/bb/tmp-pfTPsM/partial-witness.gz -v --init_kzg_accumulator -v
10:01:28 [10:01:28.484]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.07 MiB)
10:01:28 Scheme is: ultra_honk, num threads: 128 (mem: 254.07 MiB)
10:01:28 --scheme: ultra_honk (mem: 254.07 MiB)
10:01:28 --bytecode_path: /tmp/b46c0e2b/bb/tmp-pfTPsM/RootParityArtifact-bytecode (mem: 254.07 MiB)
10:01:28 --witness_path: /tmp/b46c0e2b/bb/tmp-pfTPsM/partial-witness.gz (mem: 254.07 MiB)
10:01:28 --output_path: /tmp/b46c0e2b/bb/tmp-pfTPsM (mem: 254.07 MiB)
10:01:28 Warning: the following option is called more than once (mem: 254.07 MiB)
10:01:28 --verbose: true (mem: 254.07 MiB)
10:01:28 --oracle_hash: poseidon2 (mem: 254.07 MiB)
10:01:28 --output_format: bytes_and_fields (mem: 254.07 MiB)
10:01:28 --write_vk: true (mem: 254.07 MiB)
10:01:28 --disable_zk: true (mem: 254.07 MiB)
10:01:28 --init_kzg_accumulator: true (mem: 254.07 MiB)
10:01:28 [10:01:28.699]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.07 MiB)
10:01:28 [10:01:28.718]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 254.07 MiB)
10:01:31 [10:01:31.105]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 409.75 MiB)
10:01:33 [10:01:33.997]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 773.69 MiB)
10:01:36 [10:01:36.710]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1031.88 MiB)
10:01:39 [10:01:39.706]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1405.73 MiB)
10:01:39 [10:01:39.708]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1405.73 MiB)
10:01:41 [10:01:41.269]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1857.77 MiB)
10:01:41 [10:01:41.654]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5520.77 MiB)
10:01:43 [10:01:43.560]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3851 ms. (mem: 6072.77 MiB)
10:01:43 [10:01:43.700]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6072.77 MiB)
10:01:43 [10:01:43.797]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6556.01 MiB)
10:01:45 [10:01:45.066]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7331.01 MiB)
10:01:51 [10:01:51.622]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7331.01 MiB)
10:01:55 [10:01:55.387]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7331.01 MiB)
10:01:57 [10:01:57.450]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8983.08 MiB)
10:01:59 [10:01:59.670]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8983.08 MiB)
10:02:06 [10:02:06.193]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8983.08 MiB)
10:02:07 [10:02:07.684]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8983.08 MiB)
10:02:07 [10:02:07.697]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8983.08 MiB)
10:02:08 [10:02:08.683]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/b46c0e2b/bb/tmp-pfTPsM/public_inputs" (mem: 8983.08 MiB)
10:02:08 [10:02:08.683]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/b46c0e2b/bb/tmp-pfTPsM/public_inputs_fields.json" (mem: 8983.08 MiB)
10:02:08 Proof saved to "/tmp/b46c0e2b/bb/tmp-pfTPsM/proof" (mem: 8983.08 MiB)
10:02:08 Proof fields saved to "/tmp/b46c0e2b/bb/tmp-pfTPsM/proof_fields.json" (mem: 8983.08 MiB)
10:02:08 [10:02:08.684]
INFO:
bb-prover RootParityArtifact BB out - VK saved to "/tmp/b46c0e2b/bb/tmp-pfTPsM/vk" (mem: 8983.08 MiB)
10:02:08 VK fields saved to "/tmp/b46c0e2b/bb/tmp-pfTPsM/vk_fields.json" (mem: 8983.08 MiB)
10:02:08 [10:02:08.975]
INFO:
bb-prover Generated proof for RootParityArtifact in 40511 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40510.508321999994,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:02:08 [10:02:08.978]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:02:08 [10:02:08.979]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b46c0e2b/bb/tmp-KXLLto/proof -k /tmp/b46c0e2b/bb/tmp-KXLLto/vk -i /tmp/b46c0e2b/bb/tmp-KXLLto/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:02:09 [10:02:09.002]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.07 MiB)
10:02:09 [10:02:09.002]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.07 MiB)
10:02:09 --public_inputs_path: /tmp/b46c0e2b/bb/tmp-KXLLto/public_inputs (mem: 253.07 MiB)
10:02:09 --proof_path: /tmp/b46c0e2b/bb/tmp-KXLLto/proof (mem: 253.07 MiB)
10:02:09 --vk_path: /tmp/b46c0e2b/bb/tmp-KXLLto/vk (mem: 253.07 MiB)
10:02:09 --verbose: true (mem: 253.07 MiB)
10:02:09 --scheme: ultra_honk (mem: 253.07 MiB)
10:02:09 --oracle_hash: poseidon2 (mem: 253.07 MiB)
10:02:09 --disable_zk: true (mem: 253.07 MiB)
10:02:09 [10:02:09.003]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.07 MiB)
10:02:09 [10:02:09.014]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.07 MiB)
10:02:09 Proof verification failed (mem: 253.07 MiB)
10:02:09 verified: 0 (mem:
10:02:09 [10:02:09.015]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.07 MiB)
10:02:09 [10:02:09.016]
ERROR:
bb-prover Error running operation at /tmp/b46c0e2b/bb/tmp-KXLLto: ProvingError: Failed to verify proof from key!
10:02:09 [10:02:09.142]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":61.10060400000657,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:02:09 [10:02:09.144]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:02:09 [10:02:09.145]
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/b46c0e2b/bb/tmp-JPfZUH -b /tmp/b46c0e2b/bb/tmp-JPfZUH/RootParityArtifact-bytecode -w /tmp/b46c0e2b/bb/tmp-JPfZUH/partial-witness.gz -v --init_kzg_accumulator -v
10:02:09 [10:02:09.176]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.07 MiB)
10:02:09 Scheme is: ultra_honk, num threads: 128 (mem: 254.07 MiB)
10:02:09 --scheme: ultra_honk (mem: 254.07 MiB)
10:02:09 --bytecode_path: /tmp/b46c0e2b/bb/tmp-JPfZUH/RootParityArtifact-bytecode (mem: 254.07 MiB)
10:02:09 --witness_path: /tmp/b46c0e2b/bb/tmp-JPfZUH/partial-witness.gz (mem: 254.07 MiB)
10:02:09 --output_path: /tmp/b46c0e2b/bb/tmp-JPfZUH (mem: 254.07 MiB)
10:02:09 Warning: the following option is called more than once (mem: 254.07 MiB)
10:02:09 --verbose: true (mem: 254.07 MiB)
10:02:09 --oracle_hash: poseidon2 (mem: 254.07 MiB)
10:02:09 --output_format: bytes_and_fields (mem: 254.07 MiB)
10:02:09 --write_vk: true (mem: 254.07 MiB)
10:02:09 --disable_zk: true (mem: 254.07 MiB)
10:02:09 --init_kzg_accumulator: true (mem: 254.07 MiB)
10:02:09 [10:02:09.390]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.07 MiB)
10:02:09 [10:02:09.407]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 254.07 MiB)
10:02:11 [10:02:11.049]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 419.67 MiB)
10:02:13 [10:02:13.421]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 787.61 MiB)
10:02:15 [10:02:15.332]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1055.54 MiB)
10:02:17 [10:02:17.566]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1430.05 MiB)
10:02:17 [10:02:17.567]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1430.05 MiB)
10:02:18 [10:02:18.758]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1881.46 MiB)
10:02:19 [10:02:19.153]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5523.46 MiB)
10:02:20 [10:02:20.641]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3073 ms. (mem: 6074.46 MiB)
10:02:20 [10:02:20.810]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6074.46 MiB)
10:02:21 [10:02:21.055]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6555.55 MiB)
10:02:22 [10:02:22.240]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7330.55 MiB)
10:02:27 [10:02:27.651]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7330.55 MiB)
10:02:31 [10:02:31.179]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7330.55 MiB)
10:02:33 [10:02:33.502]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8971.80 MiB)
10:02:35 [10:02:35.492]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8972.80 MiB)
10:02:41 [10:02:41.162]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8972.80 MiB)
10:02:42 [10:02:42.491]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8972.80 MiB)
10:02:42 [10:02:42.506]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8972.80 MiB)
10:02:43 [10:02:43.439]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/b46c0e2b/bb/tmp-JPfZUH/public_inputs" (mem: 8972.80 MiB)
10:02:43 [10:02:43.440]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/b46c0e2b/bb/tmp-JPfZUH/public_inputs_fields.json" (mem: 8972.80 MiB)
10:02:43 Proof saved to "/tmp/b46c0e2b/bb/tmp-JPfZUH/proof" (mem: 8972.80 MiB)
10:02:43 Proof fields saved to "/tmp/b46c0e2b/bb/tmp-JPfZUH/proof_fields.json" (mem: 8972.80 MiB)
10:02:43 VK saved to "/tmp/b46c0e2b/bb/tmp-JPfZUH/vk" (mem: 8972.80 MiB)
10:02:43 VK fields saved to "/tmp/b46c0e2b/bb/tmp-JPfZUH/vk_fields.json" (mem: 8972.80 MiB)
10:02:43 [10:02:43.675]
INFO:
bb-prover Generated proof for RootParityArtifact in 34529 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34528.59166399999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:02:43 [10:02:43.677]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:02:43 [10:02:43.678]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b46c0e2b/bb/tmp-S6Cdpw/proof -k /tmp/b46c0e2b/bb/tmp-S6Cdpw/vk -i /tmp/b46c0e2b/bb/tmp-S6Cdpw/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:02:43 [10:02:43.695]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.07 MiB)
10:02:43 [10:02:43.696]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.07 MiB)
10:02:43 --public_inputs_path: /tmp/b46c0e2b/bb/tmp-S6Cdpw/public_inputs (mem: 254.07 MiB)
10:02:43 --proof_path: /tmp/b46c0e2b/bb/tmp-S6Cdpw/proof (mem: 254.07 MiB)
10:02:43 --vk_path: /tmp/b46c0e2b/bb/tmp-S6Cdpw/vk (mem: 254.07 MiB)
10:02:43 --verbose: true (mem: 254.07 MiB)
10:02:43 --scheme: ultra_honk (mem: 254.07 MiB)
10:02:43 --oracle_hash: poseidon2 (mem: 254.07 MiB)
10:02:43 --disable_zk: true (mem: 254.07 MiB)
10:02:43 [10:02:43.697]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.07 MiB)
10:02:43 [10:02:43.706]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 254.07 MiB)
10:02:43 Proof verification failed (mem: 254.07 MiB)
10:02:43 verified: 0 (mem: 254.07 MiB)
10:02:43 [10:02:43.707]
ERROR:
bb-prover Error running operation at /tmp/b46c0e2b/bb/tmp-S6Cdpw: ProvingError: Failed to verify proof from key!
10:02:43 [10:02:43.709]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
10:02:43
PASS src/test/bb_prover_parity.test.ts (
131.16 s)
10:02:43 prover/bb_prover/parity
10:02:43
✓ proves the parity circuits (122196 ms)
10:02:43
10:02:43
Test Suites: 1 passed, 1 total
10:02:43
Tests: 1 passed, 1 total
10:02:43
Snapshots: 0 total
10:02:43
Time: 131.248 s
10:02:43
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
10:02:43
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?