Parent Log:
http://ci.aztec-labs.com/a4ca9545c5f43f65
Command: 49f5129a0dc39cfa: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/4c695be4bff40a4a2ca2118c7e14c83a104e93aa
Env: REF_NAME=gh-readonly-queue/next/pr-15120-bbf33e6534f745d2f5a11c2f359583e881120fc4 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 18 17:17:44 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15120_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
17:17:44 +++ id -u
17:17:44 +++ id -g
17:17:44 ++ 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'\'''
17:17:45 + cid=3e4659ce3232b051ce6e6cb5804695a24c572eb1151a642c483cabcd280a3918
17:17:45 + set +x
17:17:47 {"level":25,"time":1750267067344,"pid":7,"hostname":"3e4659ce3232","module":"logger","msg":"Logger initialized with level verbose"}
17:17:57 [17:17:57.892]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-0Cntjn/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
17:17:57 [17:17:57.986]
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/b5fdd61e/bb
17:17:57 [17:17:57.988]
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/b5fdd61e/acvm
17:17:57 [17:17:57.990]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/b5fdd61e/bb
17:17:57 [17:17:57.990]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/b5fdd61e/acvm
17:17:57 [17:17:57.995]
INFO:
prover-client:proving-broker Proving Broker started
17:17:57 [17:17:57.998]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
17:17:58 [17:17:58.287]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":121.5648459999993,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
17:17:58 [17:17:58.343]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":50.679267000001346,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
17:17:58 [17:17:58.376]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":89.39423999999963,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
17:17:58 [17:17:58.393]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":42.506062000000384,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
17:17:58 [17:17:58.397]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
17:17:58 [17:17:58.398]
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/b5fdd61e/bb/tmp-zOx0AQ -b /tmp/b5fdd61e/bb/tmp-zOx0AQ/BaseParityArtifact-bytecode -w /tmp/b5fdd61e/bb/tmp-zOx0AQ/partial-witness.gz -v --init_kzg_accumulator -v
17:17:58 [17:17:58.444]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
17:17:58 [17:17:58.446]
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/b5fdd61e/bb/tmp-dr1Uo8 -b /tmp/b5fdd61e/bb/tmp-dr1Uo8/BaseParityArtifact-bytecode -w /tmp/b5fdd61e/bb/tmp-dr1Uo8/partial-witness.gz -v --init_kzg_accumulator -v
17:17:58 [17:17:58.485]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
17:17:58 [17:17:58.486]
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/b5fdd61e/bb/tmp-l0xqic -b /tmp/b5fdd61e/bb/tmp-l0xqic/BaseParityArtifact-bytecode -w /tmp/b5fdd61e/bb/tmp-l0xqic/partial-witness.gz -v --init_kzg_accumulator -v
17:17:58 [17:17:58.524]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.46 MiB)
17:17:58 Scheme is: ultra_honk, num threads: 128 (mem: 250.46 MiB)
17:17:58 --scheme: ultra_honk (mem: 250.46 MiB)
17:17:58 --bytecode_path: /tmp/b5fdd61e/bb/tmp-zOx0AQ/BaseParityArtifact-bytecode (mem: 250.46 MiB)
17:17:58 --witness_path: /tmp/b5fdd61e/bb/tmp-zOx0AQ/partial-witness.gz (mem: 250.46 MiB)
17:17:58 --output_path: /tmp/b5fdd61e/bb/tmp-zOx0AQ (mem: 250.46 MiB)
17:17:58 Warning: the following option is called more than once (mem: 250.46 MiB)
17:17:58 --verbose: true (mem: 250.46 MiB)
17:17:58 --oracle_hash: poseidon2 (mem: 250.46 MiB)
17:17:58 --output_format: bytes_and_fields (mem: 250.46 MiB)
17:17:58 --write_vk: true (mem: 250.46 MiB)
17:17:58 --disable_zk: true (mem: 250.46 MiB)
17:17:58 --init_kzg_accumulator: true (mem: 250.46 MiB)
17:17:58 [17:17:58.530]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
17:17:58 [17:17:58.534]
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/b5fdd61e/bb/tmp-oOQPBS -b /tmp/b5fdd61e/bb/tmp-oOQPBS/BaseParityArtifact-bytecode -w /tmp/b5fdd61e/bb/tmp-oOQPBS/partial-witness.gz -v --init_kzg_accumulator -v
17:17:58 [17:17:58.587]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.46 MiB)
17:17:58 Scheme is: ultra_honk, num threads: 128 (mem: 250.46 MiB)
17:17:58 --scheme: ultra_honk (mem: 250.46 MiB)
17:17:58 --bytecode_path: /tmp/b5fdd61e/bb/tmp-dr1Uo8/BaseParityArtifact-bytecode (mem: 250.46 MiB)
17:17:58 --witness_path: /tmp/b5fdd61e/bb/tmp-dr1Uo8/partial-witness.gz (mem: 250.46 MiB)
17:17:58 --output_path: /tmp/b5fdd61e/bb/tmp-dr1Uo8 (mem: 250.46 MiB)
17:17:58 Warning: the following option is called more than once (mem: 250.46 MiB)
17:17:58 --verbose: true (mem: 250.46 MiB)
17:17:58 --oracle_hash: poseidon2 (mem: 250.46 MiB)
17:17:58 --output_format: bytes_and_fields (mem: 250.46 MiB)
17:17:58 --write_vk: true (mem: 250.46 MiB)
17:17:58 --disable_zk: true (mem: 250.46 MiB)
17:17:58 --init_kzg_accumulator: true (mem: 250.46 MiB)
17:17:58 [17:17:58.588]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.46 MiB)
17:17:58 Scheme is: ultra_honk, num threads: 128 (mem: 250.46 MiB)
17:17:58 --scheme: ultra_honk (mem: 250.46 MiB)
17:17:58 --bytecode_path: /tmp/b5fdd61e/bb/tmp-l0xqic/BaseParityArtifact-bytecode (mem: 250.46 MiB)
17:17:58 --witness_path: /tmp/b5fdd61e/bb/tmp-l0xqic/partial-witness.gz (mem: 250.46 MiB)
17:17:58 --output_path: /tmp/b5fdd61e/bb/tmp-l0xqic (mem: 250.46 MiB)
17:17:58 Warning: the following option is called more than once (mem: 250.46 MiB)
17:17:58 --verbose: true (mem: 250.46 MiB)
17:17:58 --oracle_hash: poseidon2 (mem: 250.46 MiB)
17:17:58 --output_format: bytes_and_fields (mem: 250.46 MiB)
17:17:58 --write_vk: true (mem: 250.46 MiB)
17:17:58 --disable_zk: true (mem: 250.46 MiB)
17:17:58 --init_kzg_accumulator: true (mem: 250.46 MiB)
17:17:58 [17:17:58.596]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.46 MiB)
17:17:58 Scheme is: ultra_honk, num threads: 128 (mem: 250.46 MiB)
17:17:58 --scheme: ultra_honk (mem: 250.46 MiB)
17:17:58 --bytecode_path: /tmp/b5fdd61e/bb/tmp-oOQPBS/BaseParityArtifact-bytecode (mem: 250.46 MiB)
17:17:58 --witness_path: /tmp/b5fdd61e/bb/tmp-oOQPBS/partial-witness.gz (mem: 250.46 MiB)
17:17:58 --output_path: /tmp/b5fdd61e/bb/tmp-oOQPBS (mem: 250.46 MiB)
17:17:58 Warning: the following option is called more than once (mem: 250.46 MiB)
17:17:58 --verbose: true (mem: 250.46 MiB)
17:17:58 --oracle_hash: poseidon2 (mem: 250.46 MiB)
17:17:58 --output_format: bytes_and_fields (mem: 250.46 MiB)
17:17:58 --write_vk: true (mem: 250.46 MiB)
17:17:58 --disable_zk: true (mem: 250.46 MiB)
17:17:58 --init_kzg_accumulator: true (mem: 250.46 MiB)
17:17:58 [17:17:58.658]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.46 MiB)
17:17:58 [17:17:58.661]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.46 MiB)
17:17:58 [17:17:58.665]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.46 MiB)
17:17:58 [17:17:58.695]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.46 MiB)
17:17:58 Constructing DeciderProvingKey (mem: 250.46 MiB)
17:17:58 [17:17:58.725]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
17:17:58 [17:17:58.727]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 250.46 MiB)
17:17:58 [17:17:58.772]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.46 MiB)
17:17:58 Constructing DeciderProvingKey (mem: 250.46 MiB)
17:17:58 [17:17:58.776]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.46 MiB)
17:17:58 [17:17:58.834]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.46 MiB)
17:17:58 Constructing DeciderProvingKey (mem: 250.46 MiB)
17:17:58 [17:17:58.840]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
17:17:58 [17:17:58.843]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 250.46 MiB)
17:17:58 [17:17:58.951]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.46 MiB)
17:17:58 [17:17:58.989]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.46 MiB)
17:17:59 [17:17:59.039]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 380 ms. (mem: 250.46 MiB)
17:17:59 [17:17:59.047]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.46 MiB)
17:17:59 [17:17:59.054]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.46 MiB)
17:17:59 [17:17:59.055]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 360 ms. (mem: 250.46 MiB)
17:17:59 [17:17:59.062]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.46 MiB)
17:17:59 [17:17:59.068]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.46 MiB)
17:17:59 [17:17:59.069]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.46 MiB)
17:17:59 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.46 MiB)
17:17:59 [17:17:59.087]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 250.46 MiB)
17:17:59 [17:17:59.097]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 250.46 MiB)
17:17:59 [17:17:59.123]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 350 ms. (mem: 250.46 MiB)
17:17:59 [17:17:59.139]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.46 MiB)
17:17:59 [17:17:59.152]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 303 ms. (mem: 250.46 MiB)
17:17:59 WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.46 MiB)
17:17:59 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.46 MiB)
17:17:59 [17:17:59.155]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.46 MiB)
17:17:59 [17:17:59.178]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 250.46 MiB)
17:17:59 [17:17:59.179]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 250.46 MiB)
17:18:00 [17:18:00.114]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.46 MiB)
17:18:00 [17:18:00.116]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.46 MiB)
17:18:00 [17:18:00.125]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.46 MiB)
17:18:00 [17:18:00.191]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.46 MiB)
17:18:00 [17:18:00.719]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.46 MiB)
17:18:00 [17:18:00.778]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.46 MiB)
17:18:00 [17:18:00.870]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.46 MiB)
17:18:00 [17:18:00.924]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.46 MiB)
17:18:01 [17:18:01.015]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 259.36 MiB)
17:18:01 [17:18:01.033]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 258.50 MiB)
17:18:01 [17:18:01.198]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 255.51 MiB)
17:18:01 [17:18:01.226]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 263.55 MiB)
17:18:01 [17:18:01.329]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 259.36 MiB)
17:18:01 [17:18:01.339]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 258.50 MiB)
17:18:01 [17:18:01.502]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 263.55 MiB)
17:18:01 [17:18:01.506]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 255.51 MiB)
17:18:03 [17:18:03.020]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 255.51 MiB)
17:18:03 [17:18:03.104]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 255.51 MiB)
17:18:03 finished decider proving. (mem: 255.51 MiB)
17:18:03 [17:18:03.105]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/b5fdd61e/bb/tmp-l0xqic/public_inputs" (mem: 255.51 MiB)
17:18:03 Public inputs fields saved to "/tmp/b5fdd61e/bb/tmp-l0xqic/public_inputs_fields.json" (mem: 255.51 MiB)
17:18:03 Proof saved to "/tmp/b5fdd61e/bb/tmp-l0xqic/proof" (mem: 255.51 MiB)
17:18:03 Proof fields saved to "/tmp/b5fdd61e/bb/tmp-l0xqic/proof_fields.json" (mem: 255.51 MiB)
17:18:03 VK saved to "/tmp/b5fdd61e/bb/tmp-l0xqic/vk" (mem: 255.51 MiB)
17:18:03 [17:18:03.106]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/b5fdd61e/bb/tmp-l0xqic/vk_fields.json" (mem: 255.51 MiB)
17:18:03 [17:18:03.208]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4680 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4679.17613,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:18:03 [17:18:03.214]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:18:03 [17:18:03.216]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b5fdd61e/bb/tmp-mm1iu9/proof -k /tmp/b5fdd61e/bb/tmp-mm1iu9/vk -i /tmp/b5fdd61e/bb/tmp-mm1iu9/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:18:03 [17:18:03.260]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 258.50 MiB)
17:18:03 [17:18:03.281]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.46 MiB)
17:18:03 Scheme is: ultra_honk, num threads: 128 (mem: 250.46 MiB)
17:18:03 --public_inputs_path: /tmp/b5fdd61e/bb/tmp-mm1iu9/public_inputs (mem: 250.46 MiB)
17:18:03 --proof_path: /tmp/b5fdd61e/bb/tmp-mm1iu9/proof (mem: 250.46 MiB)
17:18:03 --vk_path: /tmp/b5fdd61e/bb/tmp-mm1iu9/vk (mem: 250.46 MiB)
17:18:03 --verbose: true (mem: 250.46 MiB)
17:18:03 --scheme: ultra_honk (mem: 250.46 MiB)
17:18:03 --oracle_hash: poseidon2 (mem: 250.46 MiB)
17:18:03 --disable_zk: true (mem: 250.46 MiB)
17:18:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.46 MiB)
17:18:03 [17:18:03.310]
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"
17:18:03 [17:18:03.314]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.46 MiB)
17:18:03 [17:18:03.317]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 250.46 MiB)
17:18:03 sumcheck_verified: 1 (mem: 250.46 MiB)
17:18:03 libra_evals_verified: 1 (mem: 250.46 MiB)
17:18:03 pairing_check_verified: 1 (mem: 250.46 MiB)
17:18:03 [17:18:03.319]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully
17:18:03 [17:18:03.326]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.46 MiB)
17:18:03 verified: 1 (mem: 250.46 MiB)
17:18:03 [17:18:03.337]
INFO:
bb-prover Successfully verified proof from key in 122.77638599999773 ms
17:18:03 [17:18:03.372]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 258.50 MiB)
17:18:03 finished decider proving. (mem: 258.50 MiB)
17:18:03 [17:18:03.373]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/b5fdd61e/bb/tmp-dr1Uo8/public_inputs" (mem: 258.50 MiB)
17:18:03 Public inputs fields saved to "/tmp/b5fdd61e/bb/tmp-dr1Uo8/public_inputs_fields.json" (mem: 258.50 MiB)
17:18:03 Proof saved to "/tmp/b5fdd61e/bb/tmp-dr1Uo8/proof" (mem: 258.50 MiB)
17:18:03 Proof fields saved to "/tmp/b5fdd61e/bb/tmp-dr1Uo8/proof_fields.json" (mem: 258.50 MiB)
17:18:03 VK saved to "/tmp/b5fdd61e/bb/tmp-dr1Uo8/vk" (mem: 258.50 MiB)
17:18:03 VK fields saved to "/tmp/b5fdd61e/bb/tmp-dr1Uo8/vk_fields.json" (mem: 258.50 MiB)
17:18:03 [17:18:03.454]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 259.36 MiB)
17:18:03 [17:18:03.489]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5035 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5034.271789,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:18:03 [17:18:03.506]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:18:03 [17:18:03.507]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b5fdd61e/bb/tmp-a23tvy/proof -k /tmp/b5fdd61e/bb/tmp-a23tvy/vk -i /tmp/b5fdd61e/bb/tmp-a23tvy/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:18:03 [17:18:03.559]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 259.36 MiB)
17:18:03 finished decider proving. (mem: 259.36 MiB)
17:18:03 Public inputs saved to "/tmp/b5fdd61e/bb/tmp-oOQPBS/public_inputs" (mem: 259.36 MiB)
17:18:03 Public inputs fields saved to "/tmp/b5fdd61e/bb/tmp-oOQPBS/public_inputs_fields.json" (mem: 259.36 MiB)
17:18:03 Proof saved to "/tmp/b5fdd61e/bb/tmp-oOQPBS/proof" (mem: 259.36 MiB)
17:18:03 Proof fields saved to "/tmp/b5fdd61e/bb/tmp-oOQPBS/proof_fields.json" (mem: 259.36 MiB)
17:18:03 VK saved to "/tmp/b5fdd61e/bb/tmp-oOQPBS/vk" (mem: 259.36 MiB)
17:18:03 VK fields saved to "/tmp/b5fdd61e/bb/tmp-oOQPBS/vk_fields.json" (mem: 259.36 MiB)
17:18:03 [17:18:03.560]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 263.55 MiB)
17:18:03 [17:18:03.565]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.50 MiB)
17:18:03 Scheme is: ultra_honk, num threads: 128 (mem: 250.50 MiB)
17:18:03 --public_inputs_path: /tmp/b5fdd61e/bb/tmp-a23tvy/public_inputs (mem: 250.50 MiB)
17:18:03 --proof_path: /tmp/b5fdd61e/bb/tmp-a23tvy/proof (mem: 250.50 MiB)
17:18:03 --vk_path: /tmp/b5fdd61e/bb/tmp-a23tvy/vk (mem: 250.50 MiB)
17:18:03 --verbose: true (mem: 250.50 MiB)
17:18:03 --scheme: ultra_honk (mem: 250.50 MiB)
17:18:03 --oracle_hash: poseidon2 (mem: 250.50 MiB)
17:18:03 --disable_zk: true (mem: 250.50 MiB)
17:18:03 [17:18:03.566]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7
17:18:03 [17:18:03.570]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
17:18:03 [17:18:03.574]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.50 MiB)
17:18:03 [17:18:03.601]
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"
17:18:03 [17:18:03.609]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.50 MiB)
17:18:03 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.50 MiB)
17:18:03 [17:18:03.615]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.50 MiB)
17:18:03 libra_evals_verified: 1 (mem: 250.50 MiB)
17:18:03 pairing_check_verified: 1 (mem: 250.50 MiB)
17:18:03 Proof verified successfully (mem: 250.50 MiB)
17:18:03 verified: 1 (mem: 250.50 MiB)
17:18:03 [17:18:03.617]
INFO:
bb-prover Successfully verified proof from key in 110.76687899999888 ms
17:18:03 [17:18:03.630]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 263.55 MiB)
17:18:03 [17:18:03.634]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 263.55 MiB)
17:18:03 [17:18:03.638]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/b5fdd61e/bb/tmp-zOx0AQ/public_inputs" (mem: 263.55 MiB)
17:18:03 Public inputs fields saved to "/tmp/b5fdd61e/bb/tmp-zOx0AQ/public_inputs_fields.json" (mem: 263.55 MiB)
17:18:03 Proof saved to "/tmp/b5fdd61e/bb/tmp-zOx0AQ/proof" (mem: 263.55 MiB)
17:18:03 [17:18:03.645]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/b5fdd61e/bb/tmp-zOx0AQ/proof_fields.json" (mem: 263.55 MiB)
17:18:03 VK saved to "/tmp/b5fdd61e/bb/tmp-zOx0AQ/vk" (mem: 263.55 MiB)
17:18:03 VK fields saved to "/tmp/b5fdd61e/bb/tmp-zOx0AQ/vk_fields.json" (mem: 263.55 MiB)
17:18:03 [17:18:03.652]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5106 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5105.646841000002,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:18:03 [17:18:03.657]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:18:03 [17:18:03.658]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b5fdd61e/bb/tmp-PfqvOM/proof -k /tmp/b5fdd61e/bb/tmp-PfqvOM/vk -i /tmp/b5fdd61e/bb/tmp-PfqvOM/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:18:03 [17:18:03.696]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5297 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5296.666752000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:18:03 [17:18:03.697]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.59 MiB)
17:18:03 Scheme is: ultra_honk, num threads: 128 (mem: 250.59 MiB)
17:18:03 --public_inputs_path: /tmp/b5fdd61e/bb/tmp-PfqvOM/public_inputs (mem: 250.59 MiB)
17:18:03 --proof_path: /tmp/b5fdd61e/bb/tmp-PfqvOM/proof (mem: 250.59 MiB)
17:18:03 --vk_path: /tmp/b5fdd61e/bb/tmp-PfqvOM/vk (mem: 250.59 MiB)
17:18:03 --verbose: true (mem: 250.59 MiB)
17:18:03 --scheme: ultra_honk (mem: 250.59 MiB)
17:18:03 --oracle_hash: poseidon2 (mem: 250.59 MiB)
17:18:03 --disable_zk: true (mem: 250.59 MiB)
17:18:03 [17:18:03.700]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:18:03 [17:18:03.700]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b5fdd61e/bb/tmp-Uzq3JC/proof -k /tmp/b5fdd61e/bb/tmp-Uzq3JC/vk -i /tmp/b5fdd61e/bb/tmp-Uzq3JC/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:18:03 [17:18:03.728]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.59 MiB)
17:18:03 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.59 MiB)
17:18:03 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.59 MiB)
17:18:03 sumcheck_verified: 1 (mem: 250.59 MiB)
17:18:03 libra_evals_verified: 1 (mem: 250.59 MiB)
17:18:03 pairing_check_verified: 1 (mem: 250.59 MiB)
17:18:03 Proof verified successfully (mem: 250.59 MiB)
17:18:03 verified: 1 (mem: 250.59 MiB)
17:18:03 [17:18:03.733]
INFO:
bb-prover Successfully verified proof from key in 75.74780699999974 ms
17:18:03 [17:18:03.738]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.63 MiB)
17:18:03 Scheme is: ultra_honk, num threads: 128 (mem: 250.63 MiB)
17:18:03 --public_inputs_path: /tmp/b5fdd61e/bb/tmp-Uzq3JC/public_inputs (mem: 250.63 MiB)
17:18:03 --proof_path: /tmp/b5fdd61e/bb/tmp-Uzq3JC/proof (mem: 250.63 MiB)
17:18:03 --vk_path: /tmp/b5fdd61e/bb/tmp-Uzq3JC/vk (mem: 250.63 MiB)
17:18:03 --verbose: true (mem: 250.63 MiB)
17:18:03 --scheme: ultra_honk (mem: 250.63 MiB)
17:18:03 --oracle_hash: poseidon2 (mem: 250.63 MiB)
17:18:03 --disable_zk: true (mem: 250.63 MiB)
17:18:03 [17:18:03.741]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.63 MiB)
17:18:03 [17:18:03.760]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.63 MiB)
17:18:03 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.63 MiB)
17:18:03 [17:18:03.763]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.63 MiB)
17:18:03 libra_evals_verified: 1 (mem: 250.63 MiB)
17:18:03 pairing_check_verified: 1 (mem: 250.63 MiB)
17:18:03 Proof verified successfully (mem: 250.63 MiB)
17:18:03 verified: 1 (mem: 250.63 MiB)
17:18:03 [17:18:03.768]
INFO:
bb-prover Successfully verified proof from key in 68.52013499999885 ms
17:18:03 [17:18:03.779]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:18:03 [17:18:03.779]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b5fdd61e/bb/tmp-HFyToC/proof -k /tmp/b5fdd61e/bb/tmp-HFyToC/vk -i /tmp/b5fdd61e/bb/tmp-HFyToC/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:18:03 [17:18:03.819]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:18:03 [17:18:03.820]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b5fdd61e/bb/tmp-IbMRnj/proof -k /tmp/b5fdd61e/bb/tmp-IbMRnj/vk -i /tmp/b5fdd61e/bb/tmp-IbMRnj/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:18:03 [17:18:03.859]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:18:03 [17:18:03.861]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b5fdd61e/bb/tmp-LyAsto/proof -k /tmp/b5fdd61e/bb/tmp-LyAsto/vk -i /tmp/b5fdd61e/bb/tmp-LyAsto/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:18:03 [17:18:03.886]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.74 MiB)
17:18:03 Scheme is: ultra_honk, num threads: 128 (mem: 249.74 MiB)
17:18:03 --public_inputs_path: /tmp/b5fdd61e/bb/tmp-HFyToC/public_inputs (mem: 249.74 MiB)
17:18:03 --proof_path: /tmp/b5fdd61e/bb/tmp-HFyToC/proof (mem: 249.74 MiB)
17:18:03 --vk_path: /tmp/b5fdd61e/bb/tmp-HFyToC/vk (mem: 249.74 MiB)
17:18:03 --verbose: true (mem: 249.74 MiB)
17:18:03 --scheme: ultra_honk (mem: 249.74 MiB)
17:18:03 --oracle_hash: poseidon2 (mem: 249.74 MiB)
17:18:03 --disable_zk: true (mem: 249.74 MiB)
17:18:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.74 MiB)
17:18:03 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.74 MiB)
17:18:03 Initialized BN254 CRS from memory with num points = 1025 (mem: 249.74 MiB)
17:18:03 sumcheck_verified: 1 (mem: 249.74 MiB)
17:18:03 libra_evals_verified: 1 (mem: 249.74 MiB)
17:18:03 pairing_check_verified: 1 (mem: 249.74 MiB)
17:18:03 Proof verified successfully (mem: 249.74 MiB)
17:18:03 verified: 1 (mem: 249.74 MiB)
17:18:03 [17:18:03.888]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:18:03 [17:18:03.888]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b5fdd61e/bb/tmp-M2D2dS/proof -k /tmp/b5fdd61e/bb/tmp-M2D2dS/vk -i /tmp/b5fdd61e/bb/tmp-M2D2dS/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:18:03 [17:18:03.917]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.73 MiB)
17:18:03 Scheme is: ultra_honk, num threads: 128 (mem: 250.73 MiB)
17:18:03 --public_inputs_path: /tmp/b5fdd61e/bb/tmp-IbMRnj/public_inputs (mem: 250.73 MiB)
17:18:03 --proof_path: /tmp/b5fdd61e/bb/tmp-IbMRnj/proof (mem: 250.73 MiB)
17:18:03 --vk_path: /tmp/b5fdd61e/bb/tmp-IbMRnj/vk (mem: 250.73 MiB)
17:18:03 --verbose: true (mem: 250.73 MiB)
17:18:03 --scheme: ultra_honk (mem: 250.73 MiB)
17:18:03 --oracle_hash: poseidon2 (mem: 250.73 MiB)
17:18:03 --disable_zk: true (mem: 250.73 MiB)
17:18:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.73 MiB)
17:18:03 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.73 MiB)
17:18:03 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.73 MiB)
17:18:03 sumcheck_verified: 1 (mem: 250.73 MiB)
17:18:03 libra_evals_verified: 1 (mem: 250.73 MiB)
17:18:03 pairing_check_verified: 1 (mem: 250.73 MiB)
17:18:03 Proof verified successfully (mem: 250.73 MiB)
17:18:03 verified: 1 (mem: 250.73 MiB)
17:18:03 [17:18:03.919]
INFO:
bb-prover Successfully verified proof from key in 99.79913099999976 ms
17:18:03 [17:18:03.919]
INFO:
bb-prover Successfully verified proof from key in 140.9525640000029 ms
17:18:03 [17:18:03.927]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.73 MiB)
17:18:03 Scheme is: ultra_honk, num threads: 128 (mem: 250.73 MiB)
17:18:03 --public_inputs_path: /tmp/b5fdd61e/bb/tmp-LyAsto/public_inputs (mem: 250.73 MiB)
17:18:03 --proof_path: /tmp/b5fdd61e/bb/tmp-LyAsto/proof (mem: 250.73 MiB)
17:18:03 --vk_path: /tmp/b5fdd61e/bb/tmp-LyAsto/vk (mem: 250.73 MiB)
17:18:03 --verbose: true (mem: 250.73 MiB)
17:18:03 --scheme: ultra_honk (mem: 250.73 MiB)
17:18:03 --oracle_hash: poseidon2 (mem: 250.73 MiB)
17:18:03 --disable_zk: true (mem: 250.73 MiB)
17:18:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.73 MiB)
17:18:03 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.73 MiB)
17:18:03 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.73 MiB)
17:18:03 sumcheck_verified: 1 (mem: 250.73 MiB)
17:18:03 libra_evals_verified: 1 (mem: 250.73 MiB)
17:18:03 pairing_check_verified: 1 (mem: 250.73 MiB)
17:18:03 Proof verified successfully (mem: 250.73 MiB)
17:18:03 verified: 1 (mem: 250.73 MiB)
17:18:03 [17:18:03.928]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.73 MiB)
17:18:03 Scheme is: ultra_honk, num threads: 128 (mem: 250.73 MiB)
17:18:03 --public_inputs_path: /tmp/b5fdd61e/bb/tmp-M2D2dS/public_inputs (mem: 250.73 MiB)
17:18:03 --proof_path: /tmp/b5fdd61e/bb/tmp-M2D2dS/proof (mem: 250.73 MiB)
17:18:03 --vk_path: /tmp/b5fdd61e/bb/tmp-M2D2dS/vk (mem: 250.73 MiB)
17:18:03 --verbose: true (mem: 250.73 MiB)
17:18:03 --scheme: ultra_honk (mem: 250.73 MiB)
17:18:03 --oracle_hash: poseidon2 (mem: 250.73 MiB)
17:18:03 --disable_zk: true (mem: 250.73 MiB)
17:18:03 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.73 MiB)
17:18:03 [17:18:03.929]
INFO:
bb-prover Successfully verified proof from key in 70.40104699999938 ms
17:18:03 [17:18:03.948]
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"
17:18:03 [17:18:03.948]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
17:18:03 [17:18:03.949]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.73
17:18:03 [17:18:03.949]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
17:18:03 [17:18:03.950]
VERBOSE:
bb-prover bb-prover (verify) BB out -
17:18:03 [17:18:03.951]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025
17:18:03 [17:18:03.951]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
17:18:03 [17:18:03.954]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.73 MiB)
17:18:03 sumcheck_verified: 1 (mem: 250.73 MiB)
17:18:03 libra_evals_verified: 1 (mem: 250.73 MiB)
17:18:03 pairing_check_verified: 1 (mem: 250.73 MiB)
17:18:03 Proof verified successfully (mem: 250.73 MiB)
17:18:03 verified: 1 (mem: 250.73 MiB)
17:18:03 [17:18:03.955]
INFO:
bb-prover Successfully verified proof from key in 67.83482000000004 ms
17:18:04 [17:18:04.212]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":90.67375399999946,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
17:18:04 [17:18:04.214]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
17:18:04 [17:18:04.214]
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/b5fdd61e/bb/tmp-8D93OR -b /tmp/b5fdd61e/bb/tmp-8D93OR/RootParityArtifact-bytecode -w /tmp/b5fdd61e/bb/tmp-8D93OR/partial-witness.gz -v --init_kzg_accumulator -v
17:18:04 [17:18:04.246]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.78 MiB)
17:18:04 Scheme is: ultra_honk, num threads: 128 (mem: 252.78 MiB)
17:18:04 --scheme: ultra_honk (mem: 252.78 MiB)
17:18:04 --bytecode_path: /tmp/b5fdd61e/bb/tmp-8D93OR/RootParityArtifact-bytecode (mem: 252.78 MiB)
17:18:04 --witness_path: /tmp/b5fdd61e/bb/tmp-8D93OR/partial-witness.gz (mem: 252.78 MiB)
17:18:04 --output_path: /tmp/b5fdd61e/bb/tmp-8D93OR (mem: 252.78 MiB)
17:18:04 Warning: the following option is called more than once (mem: 252.78 MiB)
17:18:04 --verbose: true (mem: 252.78 MiB)
17:18:04 --oracle_hash: poseidon2 (mem: 252.78 MiB)
17:18:04 --output_format: bytes_and_fields (mem: 252.78 MiB)
17:18:04 --write_vk: true (mem: 252.78 MiB)
17:18:04 --disable_zk: true (mem: 252.78 MiB)
17:18:04 --init_kzg_accumulator: true (mem: 252.78 MiB)
17:18:04 [17:18:04.471]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.78 MiB)
17:18:07 [17:18:07.011]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 420.98 MiB)
17:18:09 [17:18:09.978]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 789.43 MiB)
17:18:12 [17:18:12.630]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1056.72 MiB)
17:18:15 [17:18:15.374]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1422.79 MiB)
17:18:15 [17:18:15.375]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1422.79 MiB)
17:18:17 [17:18:17.434]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1840.77 MiB)
17:18:18 [17:18:18.089]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5482.77 MiB)
17:18:20 [17:18:20.514]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 5139 ms. (mem: 6062.77 MiB)
17:18:20 [17:18:20.684]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6062.77 MiB)
17:18:20 [17:18:20.869]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6531.93 MiB)
17:18:22 [17:18:22.528]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7300.45 MiB)
17:18:31 [17:18:31.860]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7300.45 MiB)
17:18:36 [17:18:36.903]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7300.45 MiB)
17:18:39 [17:18:39.772]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8959.62 MiB)
17:18:42 [17:18:42.943]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8960.62 MiB)
17:18:51 [17:18:51.388]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8960.62 MiB)
17:18:53 [17:18:53.032]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8960.62 MiB)
17:18:53 [17:18:53.047]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8960.62 MiB)
17:18:53 [17:18:53.932]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/b5fdd61e/bb/tmp-8D93OR/public_inputs" (mem: 8960.62 MiB)
17:18:53 Public inputs fields saved to "/tmp/b5fdd61e/bb/tmp-8D93OR/public_inputs_fields.json" (mem: 8960.62 MiB)
17:18:53 Proof saved to "/tmp/b5fdd61e/bb/tmp-8D93OR/proof" (mem: 8960.62 MiB)
17:18:53 Proof fields saved to "/tmp/b5fdd61e/bb/tmp-8D93OR/proof_fields.json" (mem: 8960.62 MiB)
17:18:53 VK saved to "/tmp/b5fdd61e/bb/tmp-8D93OR/vk" (mem: 8960.62 MiB)
17:18:53 VK fields saved to "/tmp/b5fdd61e/bb/tmp-8D93OR/vk_fields.json" (mem: 8960.62 MiB)
17:18:54 [17:18:54.171]
INFO:
bb-prover Generated proof for RootParityArtifact in 49954 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":49953.588321999996,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:18:54 [17:18:54.174]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:18:54 [17:18:54.175]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b5fdd61e/bb/tmp-MfFAik/proof -k /tmp/b5fdd61e/bb/tmp-MfFAik/vk -i /tmp/b5fdd61e/bb/tmp-MfFAik/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:18:54 [17:18:54.204]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.79 MiB)
17:18:54 [17:18:54.205]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.79 MiB)
17:18:54 --public_inputs_path: /tmp/b5fdd61e/bb/tmp-MfFAik/public_inputs (mem: 252.79 MiB)
17:18:54 --proof_path: /tmp/b5fdd61e/bb/tmp-MfFAik/proof (mem: 252.79 MiB)
17:18:54 --vk_path: /tmp/b5fdd61e/bb/tmp-MfFAik/vk (mem: 252.79 MiB)
17:18:54 --verbose: true (mem: 252.79 MiB)
17:18:54 --scheme: ultra_honk (mem: 252.79 MiB)
17:18:54 --oracle_hash: poseidon2 (mem: 252.79 MiB)
17:18:54 --disable_zk: true (mem: 252.79 MiB)
17:18:54 [17:18:54.206]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 252.79 MiB)
17:18:54 [17:18:54.219]
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: 252.79 MiB)
17:18:54 [17:18:54.220]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 252.79 MiB)
17:18:54 [17:18:54.220]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.79 MiB)
17:18:54 libra_evals_verified: 1 (mem: 252.79 MiB)
17:18:54 pairing_check_verified: 1 (mem: 252.79 MiB)
17:18:54 Proof verified successfully (mem: 252.79 MiB)
17:18:54 verified: 1 (mem: 252.79 MiB)
17:18:54 [17:18:54.224]
INFO:
bb-prover Successfully verified proof from key in 49.48648099999991 ms
17:18:54 [17:18:54.244]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:18:54 [17:18:54.245]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b5fdd61e/bb/tmp-QZvG2H/proof -k /tmp/b5fdd61e/bb/tmp-QZvG2H/vk -i /tmp/b5fdd61e/bb/tmp-QZvG2H/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:18:54 [17:18:54.271]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.79 MiB)
17:18:54 [17:18:54.272]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.79 MiB)
17:18:54 --public_inputs_path: /tmp/b5fdd61e/bb/tmp-QZvG2H/public_inputs (mem: 252.79 MiB)
17:18:54 --proof_path: /tmp/b5fdd61e/bb/tmp-QZvG2H/proof (mem: 252.79 MiB)
17:18:54 --vk_path: /tmp/b5fdd61e/bb/tmp-QZvG2H/vk (mem: 252.79 MiB)
17:18:54 --verbose: true (mem: 252.79 MiB)
17:18:54 --scheme: ultra_honk (mem: 252.79 MiB)
17:18:54 --oracle_hash: poseidon2 (mem: 252.79 MiB)
17:18:54 --disable_zk: true (mem: 252.79 MiB)
17:18:54 vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 252.79 MiB)
17:18:54 [17:18:54.286]
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: 252.79 MiB)
17:18:54 Initialized BN254 CRS from memory with num points = 1025 (mem: 252.79 MiB)
17:18:54 [17:18:54.287]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.79 MiB)
17:18:54 libra_evals_verified: 1 (mem: 252.79 MiB)
17:18:54 pairing_check_verified: 1 (mem: 252.79 MiB)
17:18:54 Proof verified successfully (mem:
17:18:54 [17:18:54.288]
VERBOSE:
bb-prover bb-prover (verify) BB out - 252.79 MiB)
17:18:54 verified: 1 (mem: 252.79 MiB)
17:18:54 [17:18:54.290]
INFO:
bb-prover Successfully verified proof from key in 45.42253300000448 ms
17:18:54 [17:18:54.372]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
17:18:54
17:18:54 [17:18:54.373]
ERROR:
bb-prover Error running operation at /tmp/b5fdd61e/bb/tmp-jBbNeJ: Error: Failed to generate witness: Failed assertion
17:18:54
17:18:54 [17:18:54.555]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":66.38764400000218,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
17:18:54 [17:18:54.558]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
17:18:54 [17:18:54.558]
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/b5fdd61e/bb/tmp-0qKXAK -b /tmp/b5fdd61e/bb/tmp-0qKXAK/RootParityArtifact-bytecode -w /tmp/b5fdd61e/bb/tmp-0qKXAK/partial-witness.gz -v --init_kzg_accumulator -v
17:18:54 [17:18:54.587]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.79 MiB)
17:18:54 [17:18:54.588]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.79 MiB)
17:18:54 --scheme: ultra_honk (mem: 252.79 MiB)
17:18:54 --bytecode_path: /tmp/b5fdd61e/bb/tmp-0qKXAK/RootParityArtifact-bytecode (mem: 252.79 MiB)
17:18:54 --witness_path: /tmp/b5fdd61e/bb/tmp-0qKXAK/partial-witness.gz (mem: 252.79 MiB)
17:18:54 --output_path: /tmp/b5fdd61e/bb/tmp-0qKXAK (mem: 252.79 MiB)
17:18:54 Warning: the following option is called more than once (mem: 252.79 MiB)
17:18:54 --verbose: true (mem: 252.79 MiB)
17:18:54 --oracle_hash: poseidon2 (mem: 252.79 MiB)
17:18:54 --output_format: bytes_and_fields (mem: 252.79 MiB)
17:18:54 --write_vk: true (mem: 252.79 MiB)
17:18:54 --disable_zk: true (mem: 252.79 MiB)
17:18:54 --init_kzg_accumulator: true (mem: 252.79 MiB)
17:18:54 [17:18:54.768]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.79 MiB)
17:18:54 [17:18:54.784]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 252.79 MiB)
17:18:56 [17:18:56.985]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 417.95 MiB)
17:18:59 [17:18:59.154]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 785.70 MiB)
17:19:01 [17:19:01.130]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1052.97 MiB)
17:19:03 [17:19:03.444]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1417.71 MiB)
17:19:03 [17:19:03.446]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1417.71 MiB)
17:19:04 [17:19:04.816]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1835.77 MiB)
17:19:05 [17:19:05.232]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5487.77 MiB)
17:19:06 [17:19:06.867]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3420 ms. (mem: 6068.77 MiB)
17:19:07 [17:19:07.004]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6068.77 MiB)
17:19:07 [17:19:07.090]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6537.12 MiB)
17:19:08 [17:19:08.316]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7306.00 MiB)
17:19:15 [17:19:15.347]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7306.00 MiB)
17:19:20 [17:19:20.450]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7306.00 MiB)
17:19:21 [17:19:21.973]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8956.13 MiB)
17:19:24 [17:19:24.217]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8957.13 MiB)
17:19:29 [17:19:29.460]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8957.13 MiB)
17:19:30 [17:19:30.971]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8957.13 MiB)
17:19:30 [17:19:30.983]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8957.13 MiB)
17:19:31 [17:19:31.667]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/b5fdd61e/bb/tmp-0qKXAK/public_inputs" (mem: 8957.13 MiB)
17:19:31 Public inputs fields saved to "/tmp/b5fdd61e/bb/tmp-0qKXAK/public_inputs_fields.json" (mem: 8957.13 MiB)
17:19:31 [17:19:31.668]
INFO:
bb-prover RootParityArtifact BB out - Proof saved to "/tmp/b5fdd61e/bb/tmp-0qKXAK/proof" (mem: 8957.13 MiB)
17:19:31 Proof fields saved to "/tmp/b5fdd61e/bb/tmp-0qKXAK/proof_fields.json" (mem: 8957.13 MiB)
17:19:31 VK saved to "/tmp/b5fdd61e/bb/tmp-0qKXAK/vk" (mem: 8957.13 MiB)
17:19:31 VK fields saved to "/tmp/b5fdd61e/bb/tmp-0qKXAK/vk_fields.json" (mem: 8957.13 MiB)
17:19:31 [17:19:31.876]
INFO:
bb-prover Generated proof for RootParityArtifact in 37317 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":37316.145917999995,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:19:31 [17:19:31.879]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:19:31 [17:19:31.880]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b5fdd61e/bb/tmp-PMYHBY/proof -k /tmp/b5fdd61e/bb/tmp-PMYHBY/vk -i /tmp/b5fdd61e/bb/tmp-PMYHBY/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:19:31 [17:19:31.903]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.79 MiB)
17:19:31 Scheme is: ultra_honk, num threads: 128 (mem: 252.79 MiB)
17:19:31 --public_inputs_path: /tmp/b5fdd61e/bb/tmp-PMYHBY/public_inputs (mem: 252.79 MiB)
17:19:31 --proof_path: /tmp/b5fdd61e/bb/tmp-PMYHBY/proof (mem: 252.79 MiB)
17:19:31 --vk_path: /tmp/b5fdd61e/bb/tmp-PMYHBY/vk (mem: 252.79 MiB)
17:19:31 --verbose: true (mem: 252.79 MiB)
17:19:31 --scheme: ultra_honk (mem: 252.79 MiB)
17:19:31 --oracle_hash: poseidon2 (mem: 252.79 MiB)
17:19:31 --disable_zk: true (mem: 252.79 MiB)
17:19:31 [17:19:31.904]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 252.79 MiB)
17:19:31 [17:19:31.913]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 252.79 MiB)
17:19:31 Proof verification failed (mem: 252.79 MiB)
17:19:31 verified: 0 (mem: 252.79 MiB)
17:19:31 [17:19:31.915]
ERROR:
bb-prover Error running operation at /tmp/b5fdd61e/bb/tmp-PMYHBY: ProvingError: Failed to verify proof from key!
17:19:32 [17:19:32.055]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":56.95223699999042,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
17:19:32 [17:19:32.057]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
17:19:32 [17:19:32.057]
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/b5fdd61e/bb/tmp-zWX9h3 -b /tmp/b5fdd61e/bb/tmp-zWX9h3/RootParityArtifact-bytecode -w /tmp/b5fdd61e/bb/tmp-zWX9h3/partial-witness.gz -v --init_kzg_accumulator -v
17:19:32 [17:19:32.077]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.79 MiB)
17:19:32 [17:19:32.077]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.79 MiB)
17:19:32 --scheme: ultra_honk (mem: 252.79 MiB)
17:19:32 --bytecode_path: /tmp/b5fdd61e/bb/tmp-zWX9h3/RootParityArtifact-bytecode (mem: 252.79 MiB)
17:19:32 --witness_path: /tmp/b5fdd61e/bb/tmp-zWX9h3/partial-witness.gz (mem: 252.79 MiB)
17:19:32 --output_path: /tmp/b5fdd61e/bb/tmp-zWX9h3 (mem: 252.79 MiB)
17:19:32 Warning: the following option is called more than once (mem: 252.79 MiB)
17:19:32 --verbose: true (mem: 252.79 MiB)
17:19:32 --oracle_hash: poseidon2 (mem: 252.79 MiB)
17:19:32 --output_format: bytes_and_fields (mem: 252.79 MiB)
17:19:32 --write_vk: true (mem: 252.79 MiB)
17:19:32 --disable_zk: true (mem: 252.79 MiB)
17:19:32 --init_kzg_accumulator: true (mem: 252.79 MiB)
17:19:32 [17:19:32.206]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.79 MiB)
17:19:32 [17:19:32.218]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 252.79 MiB)
17:19:33 [17:19:33.765]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 423.68 MiB)
17:19:35 [17:19:35.860]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 790.19 MiB)
17:19:38 [17:19:38.017]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7
17:19:38 [17:19:38.021]
INFO:
bb-prover RootParityArtifact BB out - (mem: 1056.86 MiB)
17:19:40 [17:19:40.305]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1421.29 MiB)
17:19:40 [17:19:40.306]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1421.29 MiB)
17:19:41 [17:19:41.506]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1838.95 MiB)
17:19:41 [17:19:41.869]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5487.95 MiB)
17:19:43 [17:19:43.594]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3287 ms. (mem: 6069.95 MiB)
17:19:43 [17:19:43.730]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6069.95 MiB)
17:19:43 [17:19:43.897]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6534.69 MiB)
17:19:45 [17:19:45.238]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7303.41 MiB)
17:19:50 [17:19:50.307]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 7303.41 MiB)
17:19:53 [17:19:53.671]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7303.41 MiB)
17:19:55 [17:19:55.262]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8964.59 MiB)
17:19:57 [17:19:57.077]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8964.59 MiB)
17:20:02 [17:20:02.364]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8964.59 MiB)
17:20:03 [17:20:03.678]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8964.59 MiB)
17:20:03 [17:20:03.693]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8964.59 MiB)
17:20:04 [17:20:04.635]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/b5fdd61e/bb/tmp-zWX9h3/public_inputs" (mem: 8964.59 MiB)
17:20:04 [17:20:04.635]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/b5fdd61e/bb/tmp-zWX9h3/public_inputs_fields.json" (mem: 8964.59 MiB)
17:20:04 Proof saved to "/tmp/b5fdd61e/bb/tmp-zWX9h3/proof" (mem: 8964.59 MiB)
17:20:04 Proof fields saved to "/tmp/b5fdd61e/bb/tmp-zWX9h3/proof_fields.json" (mem: 8964.59 MiB)
17:20:04 VK saved to "/tmp/b5fdd61e/bb/tmp-zWX9h3/vk" (mem: 8964.59 MiB)
17:20:04 VK fields saved to "/tmp/b5fdd61e/bb/tmp-zWX9h3/vk_fields.json" (mem: 8964.59 MiB)
17:20:04 [17:20:04.912]
INFO:
bb-prover Generated proof for RootParityArtifact in 32853 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":32852.30936999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
17:20:04 [17:20:04.919]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
17:20:04 [17:20:04.920]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/b5fdd61e/bb/tmp-74p0MR/proof -k /tmp/b5fdd61e/bb/tmp-74p0MR/vk -i /tmp/b5fdd61e/bb/tmp-74p0MR/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
17:20:04 [17:20:04.954]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.34 MiB)
17:20:04 Scheme is: ultra_honk, num threads: 128 (mem: 251.34 MiB)
17:20:04 --public_inputs_path: /tmp/b5fdd61e/bb/tmp-74p0MR/public_inputs (mem: 251.34 MiB)
17:20:04 --proof_path: /tmp/b5fdd61e/bb/tmp-74p0MR/proof (mem: 251.34 MiB)
17:20:04 --vk_path: /tmp/b5fdd61e/bb/tmp-74p0MR/vk (mem: 251.34 MiB)
17:20:04 --verbose: true (mem: 251.34 MiB)
17:20:04 [17:20:04.955]
VERBOSE:
bb-prover bb-prover (verify) BB out - --scheme: ultra_honk (mem: 251.34 MiB)
17:20:04 --oracle_hash: poseidon2 (mem: 251.34 MiB)
17:20:04 --disable_zk: true (mem: 251.34 MiB)
17:20:04 vkey hash in Oink verifier: 0x00000000000000000000000000000000ed6ec1cb28e8a12e68c6a3edb9754b3c (mem: 251.34 MiB)
17:20:04 [17:20:04.968]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 251.34 MiB)
17:20:04 Proof verification failed (mem: 251.34 MiB)
17:20:04 verified: 0 (mem: 251.34 MiB)
17:20:04 [17:20:04.970]
ERROR:
bb-prover Error running operation at /tmp/b5fdd61e/bb/tmp-74p0MR: ProvingError: Failed to verify proof from key!
17:20:04 [17:20:04.975]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
17:20:04
PASS src/test/bb_prover_parity.test.ts (
137.836 s)
17:20:04 prover/bb_prover/parity
17:20:04
✓ proves the parity circuits (126969 ms)
17:20:04
17:20:04
Test Suites: 1 passed, 1 total
17:20:04
Tests: 1 passed, 1 total
17:20:04
Snapshots: 0 total
17:20:04
Time: 137.925 s
17:20:04
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
17:20:04
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?