Parent Log:
http://ci.aztec-labs.com/8b8488933f186633
Command: 448a16f463e450de: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/80d800435dd8dfa325e38593d83b405488449dba
Env: REF_NAME=gh-readonly-queue/next/pr-14444-28bf32bfc2566751e8baa0a9125a9db20d474bee CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 15:54:03 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14444_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
15:54:03 +++ id -u
15:54:03 +++ id -g
15:54:03 ++ docker run -d --name prover-client_src_test_bb_prover_parity.test.ts --net=none --cpuset-cpus=0-127 --cpus=16 --memory=96g --user 1000:1000 -v/home/aztec-dev:/home/aztec-dev --mount type=tmpfs,target=/tmp,tmpfs-size=1g --workdir /home/aztec-dev/aztec-packages -e HOME -e VERBOSE -e GIT_CONFIG_GLOBAL=/home/aztec-dev/aztec-packages/build-images/src/home/.gitconfig -e FORCE_COLOR=true -e CPUS -e MEM aztecprotocol/build:3.0 /bin/bash -c 'timeout -v 600s bash -c '\''LOG_LEVEL=verbose yarn-project/scripts/run_test.sh prover-client/src/test/bb_prover_parity.test.ts'\'''
15:54:03 + cid=cecc11bb4736b10828a6378046e78599bc388030cf639396c2f8e66063f16388
15:54:03 + set +x
15:54:05 {"level":25,"time":1750434845702,"pid":7,"hostname":"cecc11bb4736","module":"logger","msg":"Logger initialized with level verbose"}
15:54:14 [15:54:14.533]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-3Ug4zM/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
15:54:14 [15:54:14.602]
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/eb41e1d3/bb
15:54:14 [15:54:14.604]
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/eb41e1d3/acvm
15:54:14 [15:54:14.606]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/eb41e1d3/bb
15:54:14 [15:54:14.607]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/eb41e1d3/acvm
15:54:14 [15:54:14.611]
INFO:
prover-client:proving-broker Proving Broker started
15:54:14 [15:54:14.613]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
15:54:14 [15:54:14.878]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":80.86157599999933,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:54:14 [15:54:14.907]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":111.18748999999843,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:54:14 [15:54:14.919]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":54.63159899999846,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:54:14 [15:54:14.930]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":37.674269000001004,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:54:14 [15:54:14.931]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:54:14 [15:54:14.933]
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/eb41e1d3/bb/tmp-3Sryel -b /tmp/eb41e1d3/bb/tmp-3Sryel/BaseParityArtifact-bytecode -w /tmp/eb41e1d3/bb/tmp-3Sryel/partial-witness.gz -v --init_kzg_accumulator -v
15:54:14 [15:54:14.961]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:54:14 [15:54:14.962]
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/eb41e1d3/bb/tmp-CKlUSH -b /tmp/eb41e1d3/bb/tmp-CKlUSH/BaseParityArtifact-bytecode -w /tmp/eb41e1d3/bb/tmp-CKlUSH/partial-witness.gz -v --init_kzg_accumulator -v
15:54:15 [15:54:14.999]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:54:15 [15:54:14.999]
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/eb41e1d3/bb/tmp-v2ea3T -b /tmp/eb41e1d3/bb/tmp-v2ea3T/BaseParityArtifact-bytecode -w /tmp/eb41e1d3/bb/tmp-v2ea3T/partial-witness.gz -v --init_kzg_accumulator -v
15:54:15 [15:54:15.037]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.09 MiB)
15:54:15 Scheme is: ultra_honk, num threads: 128 (mem: 251.09 MiB)
15:54:15 --scheme: ultra_honk (mem: 251.09 MiB)
15:54:15 --bytecode_path: /tmp/eb41e1d3/bb/tmp-3Sryel/BaseParityArtifact-bytecode (mem: 251.09 MiB)
15:54:15 --witness_path: /tmp/eb41e1d3/bb/tmp-3Sryel/partial-witness.gz (mem: 251.09 MiB)
15:54:15 --output_path: /tmp/eb41e1d3/bb/tmp-3Sryel (mem: 251.09 MiB)
15:54:15 Warning: the following option is called more than once (mem: 251.09 MiB)
15:54:15 --verbose: true (mem: 251.09 MiB)
15:54:15 --oracle_hash: poseidon2 (mem: 251.09 MiB)
15:54:15 --output_format: bytes_and_fields (mem: 251.09 MiB)
15:54:15 --write_vk: true (mem: 251.09 MiB)
15:54:15 --disable_zk: true (mem: 251.09 MiB)
15:54:15 --init_kzg_accumulator: true (mem: 251.09 MiB)
15:54:15 [15:54:15.043]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.27 MiB)
15:54:15 Scheme is: ultra_honk, num threads: 128 (mem: 250.27 MiB)
15:54:15 --scheme: ultra_honk (mem: 250.27 MiB)
15:54:15 --bytecode_path: /tmp/eb41e1d3/bb/tmp-CKlUSH/BaseParityArtifact-bytecode (mem: 250.27 MiB)
15:54:15 --witness_path: /tmp/eb41e1d3/bb/tmp-CKlUSH/partial-witness.gz (mem: 250.27 MiB)
15:54:15 --output_path: /tmp/eb41e1d3/bb/tmp-CKlUSH (mem: 250.27 MiB)
15:54:15 Warning: the following option is called more than once (mem: 250.27 MiB)
15:54:15 --verbose: true (mem: 250.27 MiB)
15:54:15 --oracle_hash: poseidon2 (mem: 250.27 MiB)
15:54:15 --output_format: bytes_and_fields (mem: 250.27 MiB)
15:54:15 --write_vk: true (mem: 250.27 MiB)
15:54:15 --disable_zk: true (mem: 250.27 MiB)
15:54:15 --init_kzg_accumulator: true (mem: 250.27 MiB)
15:54:15 [15:54:15.045]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:54:15 [15:54:15.046]
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/eb41e1d3/bb/tmp-bd2xF6 -b /tmp/eb41e1d3/bb/tmp-bd2xF6/BaseParityArtifact-bytecode -w /tmp/eb41e1d3/bb/tmp-bd2xF6/partial-witness.gz -v --init_kzg_accumulator -v
15:54:15 [15:54:15.098]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.23 MiB)
15:54:15 Scheme is: ultra_honk, num threads: 128 (mem: 251.23 MiB)
15:54:15 --scheme: ultra_honk (mem: 251.23 MiB)
15:54:15 --bytecode_path: /tmp/eb41e1d3/bb/tmp-v2ea3T/BaseParityArtifact-bytecode (mem: 251.23 MiB)
15:54:15 --witness_path: /tmp/eb41e1d3/bb/tmp-v2ea3T/partial-witness.gz (mem: 251.23 MiB)
15:54:15 --output_path: /tmp/eb41e1d3/bb/tmp-v2ea3T (mem: 251.23 MiB)
15:54:15 Warning: the following option is called more than once (mem: 251.23 MiB)
15:54:15 --verbose: true (mem: 251.23 MiB)
15:54:15 --oracle_hash: poseidon2 (mem: 251.23 MiB)
15:54:15 --output_format: bytes_and_fields (mem: 251.23 MiB)
15:54:15 --write_vk: true (mem: 251.23 MiB)
15:54:15 --disable_zk: true (mem: 251.23 MiB)
15:54:15 --init_kzg_accumulator: true (mem: 251.23 MiB)
15:54:15 [15:54:15.117]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove
15:54:15 [15:54:15.120]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 250.86 MiB)
15:54:15 Scheme is: ultra_honk, num threads: 128 (mem: 250.86 MiB)
15:54:15 --scheme: ultra_honk (mem: 250.86 MiB)
15:54:15 --bytecode_path: /tmp/eb41e1d3/bb/tmp-bd2xF6/BaseParityArtifact-bytecode (mem: 250.86 MiB)
15:54:15 --witness_path: /tmp/eb41e1d3/bb/tmp-bd2xF6/partial-witness.gz (mem: 250.86 MiB)
15:54:15 --output_path: /tmp/eb41e1d3/bb/tmp-bd2xF6 (mem: 250.86 MiB)
15:54:15 Warning: the following option is called more than once (mem: 250.86 MiB)
15:54:15 --verbose: true (mem: 250.86 MiB)
15:54:15 --oracle_hash: poseidon2 (mem: 250.86 MiB)
15:54:15 --output_format: bytes_and_fields (mem: 250.86 MiB)
15:54:15 --write_vk: true (mem: 250.86 MiB)
15:54:15 --disable_zk: true (mem: 250.86 MiB)
15:54:15 --init_kzg_accumulator: true (mem: 250.86 MiB)
15:54:15 [15:54:15.131]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.09 MiB)
15:54:15 Constructing DeciderProvingKey (mem: 251.09 MiB)
15:54:15 [15:54:15.133]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
15:54:15 [15:54:15.134]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
15:54:15 [15:54:15.134]
INFO:
bb-prover BaseParityArtifact BB out - 251.09 MiB)
15:54:15 [15:54:15.179]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.27 MiB)
15:54:15 [15:54:15.180]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.27 MiB)
15:54:15 [15:54:15.189]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.27 MiB)
15:54:15 [15:54:15.263]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.23 MiB)
15:54:15 Constructing DeciderProvingKey (mem: 251.23 MiB)
15:54:15 [15:54:15.280]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.23 MiB)
15:54:15 [15:54:15.360]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.09 MiB)
15:54:15 [15:54:15.371]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.86 MiB)
15:54:15 Constructing DeciderProvingKey (mem: 250.86 MiB)
15:54:15 [15:54:15.377]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.86 MiB)
15:54:15 [15:54:15.408]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.27 MiB)
15:54:15 [15:54:15.455]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 326 ms. (mem: 251.09 MiB)
15:54:15 [15:54:15.467]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.09 MiB)
15:54:15 [15:54:15.482]
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.09 MiB)
15:54:15 [15:54:15.503]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.09 MiB)
15:54:15 [15:54:15.524]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.23 MiB)
15:54:15 [15:54:15.558]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 350 ms. (mem: 250.27 MiB)
15:54:15 WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.27 MiB)
15:54:15 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.27 MiB)
15:54:15 [15:54:15.579]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 250.27 MiB)
15:54:15 [15:54:15.622]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 368 ms. (mem: 251.23 MiB)
15:54:15 [15:54:15.638]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.23 MiB)
15:54:15 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.23 MiB)
15:54:15 [15:54:15.658]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561
15:54:15 [15:54:15.660]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
15:54:15 [15:54:15.664]
INFO:
bb-prover BaseParityArtifact BB out - 251.23 MiB)
15:54:15 [15:54:15.782]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.86 MiB)
15:54:15 [15:54:15.973]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 600 ms. (mem: 250.86 MiB)
15:54:16 [15:54:15.991]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.86 MiB)
15:54:16 [15:54:16.006]
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.86 MiB)
15:54:16 [15:54:16.053]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 250.86 MiB)
15:54:16 [15:54:16.683]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.09 MiB)
15:54:16 [15:54:16.741]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.23 MiB)
15:54:16 [15:54:16.812]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.27 MiB)
15:54:17 [15:54:17.198]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.86 MiB)
15:54:17 [15:54:17.326]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.09 MiB)
15:54:17 [15:54:17.418]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.23 MiB)
15:54:17 [15:54:17.508]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.27 MiB)
15:54:17 [15:54:17.595]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 255.00 MiB)
15:54:17 [15:54:17.667]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 254.48 MiB)
15:54:17 [15:54:17.729]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.86 MiB)
15:54:17 [15:54:17.749]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.78 MiB)
15:54:17 [15:54:17.768]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 256.00 MiB)
15:54:17 [15:54:17.827]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 255.48 MiB)
15:54:17 [15:54:17.936]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.78 MiB)
15:54:17 [15:54:17.957]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 255.18 MiB)
15:54:18 [15:54:18.160]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 255.18 MiB)
15:54:19 [15:54:19.135]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 256.00 MiB)
15:54:19 [15:54:19.181]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 255.48 MiB)
15:54:19 [15:54:19.200]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 256.00 MiB)
15:54:19 finished decider proving. (mem: 256.00 MiB)
15:54:19 [15:54:19.203]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/eb41e1d3/bb/tmp-3Sryel/public_inputs" (mem: 256.00 MiB)
15:54:19 Public inputs fields saved to "/tmp/eb41e1d3/bb/tmp-3Sryel/public_inputs_fields.json" (mem: 256.00 MiB)
15:54:19 Proof saved to "/tmp/eb41e1d3/bb/tmp-3Sryel/proof" (mem: 256.00 MiB)
15:54:19 [15:54:19.204]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/eb41e1d3/bb/tmp-3Sryel/proof_fields.json" (mem: 256.00 MiB)
15:54:19 [15:54:19.205]
INFO:
bb-prover BaseParityArtifact BB out - VK saved to "/tmp/eb41e1d3/bb/tmp-3Sryel/vk" (mem: 256.00 MiB)
15:54:19 VK fields saved to "/tmp/eb41e1d3/bb/tmp-3Sryel/vk_fields.json" (mem: 256.00 MiB)
15:54:19 [15:54:19.269]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 255.48 MiB)
15:54:19 finished decider proving. (mem: 255.48 MiB)
15:54:19 [15:54:19.278]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/eb41e1d3/bb/tmp-v2ea3T/public_inputs" (mem: 255.48 MiB)
15:54:19 Public inputs fields saved to "/tmp/eb41e1d3/bb/tmp-v2ea3T/public_inputs_fields.json" (mem: 255.48 MiB)
15:54:19 Proof saved to "/tmp/eb41e1d3/bb/tmp-v2ea3T/proof" (mem: 255.48 MiB)
15:54:19 Proof fields saved to "/tmp/eb41e1d3/bb/tmp-v2ea3T/proof_fields.json" (mem: 255.48 MiB)
15:54:19 VK saved to "/tmp/eb41e1d3/bb/tmp-v2ea3T/vk" (mem: 255.48 MiB)
15:54:19 VK fields saved to "/tmp/eb41e1d3/bb/tmp-v2ea3T/vk_fields.json" (mem: 255.48 MiB)
15:54:19 [15:54:19.294]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4342 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4341.733882,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:54:19 [15:54:19.299]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:54:19 [15:54:19.303]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eb41e1d3/bb/tmp-AmeFqS/proof -k /tmp/eb41e1d3/bb/tmp-AmeFqS/vk -i /tmp/eb41e1d3/bb/tmp-AmeFqS/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:54:19 [15:54:19.376]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.44 MiB)
15:54:19 Scheme is: ultra_honk, num threads: 128 (mem: 251.44 MiB)
15:54:19 --public_inputs_path: /tmp/eb41e1d3/bb/tmp-AmeFqS/public_inputs (mem: 251.44 MiB)
15:54:19 --proof_path: /tmp/eb41e1d3/bb/tmp-AmeFqS/proof (mem: 251.44 MiB)
15:54:19 --vk_path: /tmp/eb41e1d3/bb/tmp-AmeFqS/vk (mem: 251.44 MiB)
15:54:19 --verbose: true (mem: 251.44 MiB)
15:54:19 --scheme: ultra_honk (mem: 251.44 MiB)
15:54:19 --oracle_hash: poseidon2 (mem: 251.44 MiB)
15:54:19 --disable_zk: true (mem: 251.44 MiB)
15:54:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.44 MiB)
15:54:19 [15:54:19.381]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4379 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4378.61205,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:54:19 [15:54:19.387]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:54:19 [15:54:19.388]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eb41e1d3/bb/tmp-VQr7pR/proof -k /tmp/eb41e1d3/bb/tmp-VQr7pR/vk -i /tmp/eb41e1d3/bb/tmp-VQr7pR/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:54:19 [15:54:19.433]
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.44 MiB)
15:54:19 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.44 MiB)
15:54:19 sumcheck_verified: 1 (mem: 251.44 MiB)
15:54:19 libra_evals_verified: 1 (mem: 251.44 MiB)
15:54:19 pairing_check_verified: 1 (mem: 251.44 MiB)
15:54:19 Proof verified successfully (mem: 251.44 MiB)
15:54:19 verified: 1 (mem: 251.44 MiB)
15:54:19 [15:54:19.436]
INFO:
bb-prover Successfully verified proof from key in 137.4187159999983 ms
15:54:19 [15:54:19.437]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.78 MiB)
15:54:19 [15:54:19.441]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
15:54:19 [15:54:19.442]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.60 MiB)
15:54:19 Scheme is: ultra_honk, num threads: 128 (mem: 251.60 MiB)
15:54:19 --public_inputs_path: /tmp/eb41e1d3/bb/tmp-VQr7pR/public_inputs (mem: 251.60 MiB)
15:54:19 --proof_path: /tmp/eb41e1d3/bb/tmp-VQr7pR/proof (mem: 251.60 MiB)
15:54:19 --vk_path: /tmp/eb41e1d3/bb/tmp-VQr7pR/vk (mem: 251.60 MiB)
15:54:19 --verbose: true (mem: 251.60 MiB)
15:54:19 --scheme: ultra_honk (mem: 251.60 MiB)
15:54:19 --oracle_hash: poseidon2 (mem: 251.60 MiB)
15:54:19 --disable_zk: true (mem: 251.60 MiB)
15:54:19 [15:54:19.444]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.60 MiB)
15:54:19 [15:54:19.463]
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"
15:54:19 [15:54:19.463]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
15:54:19 [15:54:19.467]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.60 MiB)
15:54:19 [15:54:19.468]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.60 MiB)
15:54:19 [15:54:19.471]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.60 MiB)
15:54:19 libra_evals_verified: 1 (mem: 251.60 MiB)
15:54:19 pairing_check_verified: 1 (mem: 251.60 MiB)
15:54:19 Proof verified successfully (mem: 251.60 MiB)
15:54:19 verified: 1 (mem: 251.60 MiB)
15:54:19 [15:54:19.473]
INFO:
bb-prover Successfully verified proof from key in 86.07738400000017 ms
15:54:19 [15:54:19.505]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.78 MiB)
15:54:19 finished decider proving. (mem: 252.78 MiB)
15:54:19 [15:54:19.513]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/eb41e1d3/bb/tmp-CKlUSH/public_inputs" (mem: 252.78 MiB)
15:54:19 Public inputs fields saved to "/tmp/eb41e1d3/bb/tmp-CKlUSH/public_inputs_fields.json" (mem: 252.78 MiB)
15:54:19 Proof saved to "/tmp/eb41e1d3/bb/tmp-CKlUSH/proof" (mem: 252.78 MiB)
15:54:19 Proof fields saved to "/tmp/eb41e1d3/bb/tmp-CKlUSH/proof_fields.json" (mem: 252.78 MiB)
15:54:19 VK saved to "/tmp/eb41e1d3/bb/tmp-CKlUSH/vk" (mem: 252.78 MiB)
15:54:19 VK fields saved to "/tmp/eb41e1d3/bb/tmp-CKlUSH/vk_fields.json" (mem: 252.78 MiB)
15:54:19 [15:54:19.576]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4607 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4606.4734069999995,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:54:19 [15:54:19.591]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 255.18 MiB)
15:54:19 [15:54:19.595]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:54:19 [15:54:19.596]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eb41e1d3/bb/tmp-ZtLQ67/proof -k /tmp/eb41e1d3/bb/tmp-ZtLQ67/vk -i /tmp/eb41e1d3/bb/tmp-ZtLQ67/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:54:19 [15:54:19.658]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 255.18 MiB)
15:54:19 finished decider proving. (mem: 255.18 MiB)
15:54:19 Public inputs saved to "/tmp/eb41e1d3/bb/tmp-bd2xF6/public_inputs" (mem: 255.18 MiB)
15:54:19 Public inputs fields saved to "/tmp/eb41e1d3/bb/tmp-bd2xF6/public_inputs_fields.json" (mem: 255.18 MiB)
15:54:19 [15:54:19.659]
INFO:
bb-prover BaseParityArtifact BB out - Proof saved to "/tmp/eb41e1d3/bb/tmp-bd2xF6/proof" (mem: 255.18 MiB)
15:54:19 Proof fields saved to "/tmp/eb41e1d3/bb/tmp-bd2xF6/proof_fields.json" (mem: 255.18 MiB)
15:54:19 VK saved to "/tmp/eb41e1d3/bb/tmp-bd2xF6/vk" (mem: 255.18 MiB)
15:54:19 VK fields saved to "/tmp/eb41e1d3/bb/tmp-bd2xF6/vk_fields.json" (mem: 255.18 MiB)
15:54:19 [15:54:19.662]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.63 MiB)
15:54:19 Scheme is: ultra_honk, num threads: 128 (mem: 251.63 MiB)
15:54:19 --public_inputs_path: /tmp/eb41e1d3/bb/tmp-ZtLQ67/public_inputs (mem: 251.63 MiB)
15:54:19 --proof_path: /tmp/eb41e1d3/bb/tmp-ZtLQ67/proof (mem: 251.63 MiB)
15:54:19 --vk_path: /tmp/eb41e1d3/bb/tmp-ZtLQ67/vk (mem: 251.63 MiB)
15:54:19 --verbose: true (mem: 251.63 MiB)
15:54:19 --scheme: ultra_honk (mem: 251.63 MiB)
15:54:19 --oracle_hash: poseidon2 (mem: 251.63 MiB)
15:54:19 --disable_zk: true (mem: 251.63 MiB)
15:54:19 [15:54:19.662]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.63 MiB)
15:54:19 [15:54:19.677]
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.63 MiB)
15:54:19 [15:54:19.678]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.63 MiB)
15:54:19 [15:54:19.679]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.63 MiB)
15:54:19 libra_evals_verified: 1 (mem: 251.63 MiB)
15:54:19 pairing_check_verified: 1 (mem: 251.63 MiB)
15:54:19 [15:54:19.679]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 251.63 MiB)
15:54:19 verified: 1 (mem: 251.63 MiB)
15:54:19 [15:54:19.683]
INFO:
bb-prover Successfully verified proof from key in 87.66514600000119 ms
15:54:19 [15:54:19.714]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4663 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4662.833213,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:54:19 [15:54:19.718]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:54:19 [15:54:19.719]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eb41e1d3/bb/tmp-e1zoZF/proof -k /tmp/eb41e1d3/bb/tmp-e1zoZF/vk -i /tmp/eb41e1d3/bb/tmp-e1zoZF/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:54:19 [15:54:19.755]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.70 MiB)
15:54:19 Scheme is: ultra_honk, num threads: 128 (mem: 251.70 MiB)
15:54:19 --public_inputs_path: /tmp/eb41e1d3/bb/tmp-e1zoZF/public_inputs (mem: 251.70 MiB)
15:54:19 --proof_path: /tmp/eb41e1d3/bb/tmp-e1zoZF/proof (mem: 251.70 MiB)
15:54:19 --vk_path: /tmp/eb41e1d3/bb/tmp-e1zoZF/vk (mem: 251.70 MiB)
15:54:19 --verbose: true (mem: 251.70 MiB)
15:54:19 --scheme: ultra_honk (mem: 251.70 MiB)
15:54:19 --oracle_hash: poseidon2 (mem: 251.70 MiB)
15:54:19 --disable_zk: true (mem: 251.70 MiB)
15:54:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.70 MiB)
15:54:19 [15:54:19.773]
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.70 MiB)
15:54:19 [15:54:19.775]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.70 MiB)
15:54:19 [15:54:19.776]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1
15:54:19 [15:54:19.778]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.70 MiB)
15:54:19 libra_evals_verified: 1 (mem: 251.70 MiB)
15:54:19 pairing_check_verified: 1 (mem: 251.70 MiB)
15:54:19 Proof verified successfully (mem: 251.70 MiB)
15:54:19 verified: 1 (mem: 251.70 MiB)
15:54:19 [15:54:19.779]
INFO:
bb-prover Successfully verified proof from key in 60.79738300000099 ms
15:54:19 [15:54:19.795]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:54:19 [15:54:19.796]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eb41e1d3/bb/tmp-l6uOYx/proof -k /tmp/eb41e1d3/bb/tmp-l6uOYx/vk -i /tmp/eb41e1d3/bb/tmp-l6uOYx/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:54:19 [15:54:19.829]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:54:19 [15:54:19.829]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eb41e1d3/bb/tmp-UcBOuU/proof -k /tmp/eb41e1d3/bb/tmp-UcBOuU/vk -i /tmp/eb41e1d3/bb/tmp-UcBOuU/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:54:19 [15:54:19.858]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:54:19 [15:54:19.858]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eb41e1d3/bb/tmp-IWxgWj/proof -k /tmp/eb41e1d3/bb/tmp-IWxgWj/vk -i /tmp/eb41e1d3/bb/tmp-IWxgWj/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:54:19 [15:54:19.891]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:54:19 [15:54:19.894]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eb41e1d3/bb/tmp-ESOkyR/proof -k /tmp/eb41e1d3/bb/tmp-ESOkyR/vk -i /tmp/eb41e1d3/bb/tmp-ESOkyR/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:54:19 [15:54:19.925]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.79 MiB)
15:54:19 Scheme is: ultra_honk, num threads: 128 (mem: 251.79 MiB)
15:54:19 --public_inputs_path: /tmp/eb41e1d3/bb/tmp-l6uOYx/public_inputs (mem: 251.79 MiB)
15:54:19 --proof_path: /tmp/eb41e1d3/bb/tmp-l6uOYx/proof (mem: 251.79 MiB)
15:54:19 --vk_path: /tmp/eb41e1d3/bb/tmp-l6uOYx/vk (mem: 251.79 MiB)
15:54:19 --verbose: true (mem: 251.79 MiB)
15:54:19 --scheme: ultra_honk (mem: 251.79 MiB)
15:54:19 --oracle_hash: poseidon2 (mem: 251.79 MiB)
15:54:19 --disable_zk: true (mem: 251.79 MiB)
15:54:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.79 MiB)
15:54:19 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.79 MiB)
15:54:19 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.79 MiB)
15:54:19 sumcheck_verified: 1 (mem: 251.79 MiB)
15:54:19 libra_evals_verified: 1 (mem: 251.79 MiB)
15:54:19 pairing_check_verified: 1 (mem: 251.79 MiB)
15:54:19 Proof verified successfully (mem: 251.79 MiB)
15:54:19 verified: 1 (mem: 251.79 MiB)
15:54:19 [15:54:19.927]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.79 MiB)
15:54:19 Scheme is: ultra_honk, num threads: 128 (mem: 251.79 MiB)
15:54:19 --public_inputs_path: /tmp/eb41e1d3/bb/tmp-UcBOuU/public_inputs (mem: 251.79 MiB)
15:54:19 --proof_path: /tmp/eb41e1d3/bb/tmp-UcBOuU/proof (mem: 251.79 MiB)
15:54:19 --vk_path: /tmp/eb41e1d3/bb/tmp-UcBOuU/vk (mem: 251.79 MiB)
15:54:19 --verbose: true (mem: 251.79 MiB)
15:54:19 --scheme: ultra_honk (mem: 251.79 MiB)
15:54:19 --oracle_hash: poseidon2 (mem: 251.79 MiB)
15:54:19 --disable_zk: true (mem: 251.79 MiB)
15:54:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.79 MiB)
15:54:19 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.79 MiB)
15:54:19 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.79 MiB)
15:54:19 sumcheck_verified: 1 (mem: 251.79 MiB)
15:54:19 libra_evals_verified: 1 (mem: 251.79 MiB)
15:54:19 pairing_check_verified: 1 (mem: 251.79 MiB)
15:54:19 Proof verified successfully (mem: 251.79 MiB)
15:54:19 verified: 1 (mem: 251.79 MiB)
15:54:19 [15:54:19.928]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.67 MiB)
15:54:19 Scheme is: ultra_honk, num threads: 128 (mem: 251.67 MiB)
15:54:19 --public_inputs_path: /tmp/eb41e1d3/bb/tmp-IWxgWj/public_inputs (mem: 251.67 MiB)
15:54:19 --proof_path: /tmp/eb41e1d3/bb/tmp-IWxgWj/proof (mem: 251.67 MiB)
15:54:19 --vk_path: /tmp/eb41e1d3/bb/tmp-IWxgWj/vk (mem: 251.67 MiB)
15:54:19 --verbose: true (mem: 251.67 MiB)
15:54:19 --scheme: ultra_honk (mem: 251.67 MiB)
15:54:19 --oracle_hash: poseidon2 (mem: 251.67 MiB)
15:54:19 --disable_zk: true (mem: 251.67 MiB)
15:54:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.67 MiB)
15:54:19 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.67 MiB)
15:54:19 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.67 MiB)
15:54:19 sumcheck_verified: 1 (mem: 251.67 MiB)
15:54:19 libra_evals_verified: 1 (mem: 251.67 MiB)
15:54:19 pairing_check_verified: 1 (mem: 251.67 MiB)
15:54:19 Proof verified successfully (mem: 251.67 MiB)
15:54:19 verified: 1 (mem: 251.67 MiB)
15:54:19 [15:54:19.932]
INFO:
bb-prover Successfully verified proof from key in 74.7976949999993 ms
15:54:19 [15:54:19.933]
INFO:
bb-prover Successfully verified proof from key in 104.035041000001 ms
15:54:19 [15:54:19.933]
INFO:
bb-prover Successfully verified proof from key in 138.07732399999986 ms
15:54:19 [15:54:19.934]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.79 MiB)
15:54:19 Scheme is: ultra_honk, num threads: 128 (mem: 251.79 MiB)
15:54:19 --public_inputs_path: /tmp/eb41e1d3/bb/tmp-ESOkyR/public_inputs (mem: 251.79 MiB)
15:54:19 --proof_path: /tmp/eb41e1d3/bb/tmp-ESOkyR/proof (mem: 251.79 MiB)
15:54:19 --vk_path: /tmp/eb41e1d3/bb/tmp-ESOkyR/vk (mem: 251.79 MiB)
15:54:19 --verbose: true (mem: 251.79 MiB)
15:54:19 --scheme: ultra_honk (mem: 251.79 MiB)
15:54:19 --oracle_hash: poseidon2 (mem: 251.79 MiB)
15:54:19 --disable_zk: true (mem: 251.79 MiB)
15:54:19 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.79 MiB)
15:54:19 [15:54:19.947]
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)
15:54:19 [15:54:19.948]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.79 MiB)
15:54:19 [15:54:19.949]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.79 MiB)
15:54:19 libra_evals_verified: 1 (mem: 251.79 MiB)
15:54:19 pairing_check_verified: 1 (mem: 251.79 MiB)
15:54:19 Proof verified successfully (mem: 251.79 MiB)
15:54:19 verified: 1 (mem: 251.79 MiB)
15:54:19 [15:54:19.953]
INFO:
bb-prover Successfully verified proof from key in 61.144702999999936 ms
15:54:20 [15:54:20.194]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":88.45299799999884,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
15:54:20 [15:54:20.198]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:54:20 [15:54:20.199]
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/eb41e1d3/bb/tmp-zV0ZzS -b /tmp/eb41e1d3/bb/tmp-zV0ZzS/RootParityArtifact-bytecode -w /tmp/eb41e1d3/bb/tmp-zV0ZzS/partial-witness.gz -v --init_kzg_accumulator -v
15:54:20 [15:54:20.226]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.86 MiB)
15:54:20 [15:54:20.226]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.86 MiB)
15:54:20 --scheme: ultra_honk (mem: 253.86 MiB)
15:54:20 --bytecode_path: /tmp/eb41e1d3/bb/tmp-zV0ZzS/RootParityArtifact-bytecode (mem: 253.86 MiB)
15:54:20 --witness_path: /tmp/eb41e1d3/bb/tmp-zV0ZzS/partial-witness.gz (mem: 253.86 MiB)
15:54:20 --output_path: /tmp/eb41e1d3/bb/tmp-zV0ZzS (mem: 253.86 MiB)
15:54:20 Warning: the following option is called more than once (mem: 253.86 MiB)
15:54:20 --verbose: true (mem: 253.86 MiB)
15:54:20 --oracle_hash: poseidon2 (mem: 253.86 MiB)
15:54:20 --output_format: bytes_and_fields (mem: 253.86 MiB)
15:54:20 --write_vk: true (mem: 253.86 MiB)
15:54:20 --disable_zk: true (mem: 253.86 MiB)
15:54:20 --init_kzg_accumulator: true (mem: 253.86 MiB)
15:54:20 [15:54:20.436]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.86 MiB)
15:54:22 [15:54:22.510]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 417.84 MiB)
15:54:25 [15:54:25.085]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 785.90 MiB)
15:54:27 [15:54:27.423]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1058.99 MiB)
15:54:30 [15:54:30.141]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1435.04 MiB)
15:54:30 Constructing DeciderProvingKey (mem: 1435.04 MiB)
15:54:31 [15:54:31.488]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1846.18 MiB)
15:54:31 [15:54:31.938]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5475.01 MiB)
15:54:34 [15:54:34.031]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3891 ms. (mem: 6058.01 MiB)
15:54:34 [15:54:34.185]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6058.01 MiB)
15:54:34 [15:54:34.320]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat"
15:54:34 [15:54:34.323]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6560.59 MiB)
15:54:35 [15:54:35.654]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7328.59 MiB)
15:54:43 [15:54:43.552]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7328.59 MiB)
15:54:48 [15:54:48.153]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7328.59 MiB)
15:54:50 [15:54:50.300]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8997.11 MiB)
15:54:52 [15:54:52.616]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8997.11 MiB)
15:54:58 [15:54:58.313]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8997.11 MiB)
15:54:59 [15:54:59.862]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8997.11 MiB)
15:54:59 [15:54:59.875]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8997.11 MiB)
15:55:00 [15:55:00.669]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/eb41e1d3/bb/tmp-zV0ZzS/public_inputs" (mem: 8997.11 MiB)
15:55:00 Public inputs fields saved to "/tmp/eb41e1d3/bb/tmp-zV0ZzS/public_inputs_fields.json" (mem: 8997.11 MiB)
15:55:00 Proof saved to "/tmp/eb41e1d3/bb/tmp-zV0ZzS/proof" (mem: 8997.11 MiB)
15:55:00 Proof fields saved to "/tmp/eb41e1d3/bb/tmp-zV0ZzS/proof_fields.json" (mem: 8997.11 MiB)
15:55:00 VK saved to "/tmp/eb41e1d3/bb/tmp-zV0ZzS/vk" (mem: 8997.11 MiB)
15:55:00 [15:55:00.675]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/eb41e1d3/bb/tmp-zV0ZzS/vk_fields.json"
15:55:00 [15:55:00.676]
INFO:
bb-prover RootParityArtifact BB out - (mem:
15:55:00 [15:55:00.676]
INFO:
bb-prover RootParityArtifact BB out - 8997.11
15:55:00 [15:55:00.677]
INFO:
bb-prover RootParityArtifact BB out - MiB)
15:55:00 [15:55:00.677]
INFO:
bb-prover RootParityArtifact BB out -
15:55:00 [15:55:00.937]
INFO:
bb-prover Generated proof for RootParityArtifact in 40736 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40735.143620999996,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:55:00 [15:55:00.940]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:55:00 [15:55:00.941]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eb41e1d3/bb/tmp-vlSeyN/proof -k /tmp/eb41e1d3/bb/tmp-vlSeyN/vk -i /tmp/eb41e1d3/bb/tmp-vlSeyN/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:55:00 [15:55:00.977]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.54 MiB)
15:55:00 Scheme is: ultra_honk, num threads: 128 (mem: 254.54 MiB)
15:55:00 --public_inputs_path: /tmp/eb41e1d3/bb/tmp-vlSeyN/public_inputs (mem: 254.54 MiB)
15:55:00 --proof_path: /tmp/eb41e1d3/bb/tmp-vlSeyN/proof (mem: 254.54 MiB)
15:55:00 --vk_path: /tmp/eb41e1d3/bb/tmp-vlSeyN/vk (mem: 254.54 MiB)
15:55:00 --verbose: true (mem: 254.54 MiB)
15:55:00 --scheme: ultra_honk (mem: 254.54 MiB)
15:55:00 --oracle_hash: poseidon2 (mem: 254.54 MiB)
15:55:00 --disable_zk: true (mem: 254.54 MiB)
15:55:00 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.54 MiB)
15:55:00 [15:55:00.994]
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.54 MiB)
15:55:00 Initialized BN254 CRS from memory with num points = 1025 (mem: 254.54 MiB)
15:55:00 [15:55:00.995]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.54 MiB)
15:55:00 libra_evals_verified: 1 (mem: 254.54 MiB)
15:55:00 pairing_check_verified: 1 (mem: 254.54 MiB)
15:55:00 Proof verified successfully (mem: 254.54 MiB)
15:55:00 verified: 1 (mem: 254.54 MiB)
15:55:00 [15:55:00.997]
INFO:
bb-prover Successfully verified proof from key in 56.6269159999938 ms
15:55:01 [15:55:01.002]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:55:01 [15:55:01.003]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eb41e1d3/bb/tmp-RDxBPL/proof -k /tmp/eb41e1d3/bb/tmp-RDxBPL/vk -i /tmp/eb41e1d3/bb/tmp-RDxBPL/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:55:01 [15:55:01.035]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.28 MiB)
15:55:01 [15:55:01.035]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.28 MiB)
15:55:01 --public_inputs_path: /tmp/eb41e1d3/bb/tmp-RDxBPL/public_inputs (mem: 253.28 MiB)
15:55:01 --proof_path: /tmp/eb41e1d3/bb/tmp-RDxBPL/proof (mem: 253.28 MiB)
15:55:01 --vk_path: /tmp/eb41e1d3/bb/tmp-RDxBPL/vk (mem: 253.28 MiB)
15:55:01 --verbose: true (mem: 253.28 MiB)
15:55:01 --scheme: ultra_honk (mem: 253.28 MiB)
15:55:01 --oracle_hash: poseidon2 (mem: 253.28 MiB)
15:55:01 --disable_zk: true (mem: 253.28 MiB)
15:55:01 [15:55:01.036]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.28 MiB)
15:55:01 [15:55:01.048]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.28 MiB)
15:55:01 [15:55:01.049]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 253.28 MiB)
15:55:01 [15:55:01.049]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.28 MiB)
15:55:01 libra_evals_verified: 1 (mem: 253.28 MiB)
15:55:01 pairing_check_verified: 1 (mem: 253.28 MiB)
15:55:01 Proof verified successfully (mem: 253.28 MiB)
15:55:01 verified: 1 (mem: 253.28 MiB)
15:55:01 [15:55:01.051]
INFO:
bb-prover Successfully verified proof from key in 49.326664000000164 ms
15:55:01 [15:55:01.144]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
15:55:01
15:55:01 [15:55:01.144]
ERROR:
bb-prover Error running operation at /tmp/eb41e1d3/bb/tmp-Y3I60A: Error: Failed to generate witness: Failed assertion
15:55:01
15:55:01 [15:55:01.344]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":85.73739999999816,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
15:55:01 [15:55:01.346]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:55:01 [15:55:01.346]
INFO:
bb-prover RootParityArtifact BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove --scheme ultra_honk --oracle_hash poseidon2 --disable_zk --output_format bytes_and_fields --write_vk -o /tmp/eb41e1d3/bb/tmp-QXChy2 -b /tmp/eb41e1d3/bb/tmp-QXChy2/RootParityArtifact-bytecode -w /tmp/eb41e1d3/bb/tmp-QXChy2/partial-witness.gz -v --init_kzg_accumulator -v
15:55:01 [15:55:01.373]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.87 MiB)
15:55:01 Scheme is: ultra_honk, num threads: 128 (mem: 253.87 MiB)
15:55:01 --scheme: ultra_honk (mem: 253.87 MiB)
15:55:01 --bytecode_path: /tmp/eb41e1d3/bb/tmp-QXChy2/RootParityArtifact-bytecode (mem: 253.87 MiB)
15:55:01 --witness_path: /tmp/eb41e1d3/bb/tmp-QXChy2/partial-witness.gz (mem: 253.87 MiB)
15:55:01 --output_path: /tmp/eb41e1d3/bb/tmp-QXChy2 (mem: 253.87 MiB)
15:55:01 Warning: the following option is called more than once (mem: 253.87 MiB)
15:55:01 --verbose: true (mem: 253.87 MiB)
15:55:01 --oracle_hash: poseidon2 (mem: 253.87 MiB)
15:55:01 --output_format: bytes_and_fields (mem: 253.87 MiB)
15:55:01 --write_vk: true (mem: 253.87 MiB)
15:55:01 --disable_zk: true (mem: 253.87 MiB)
15:55:01 --init_kzg_accumulator: true (mem: 253.87 MiB)
15:55:01 [15:55:01.561]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.87 MiB)
15:55:01 [15:55:01.576]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.87 MiB)
15:55:03 [15:55:03.800]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 401.90 MiB)
15:55:06 [15:55:06.319]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 772.75 MiB)
15:55:08 [15:55:08.593]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1046.27 MiB)
15:55:11 [15:55:11.045]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1422.11 MiB)
15:55:11 [15:55:11.046]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1422.11 MiB)
15:55:12 [15:55:12.479]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1834.51 MiB)
15:55:12 [15:55:12.859]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5472.99 MiB)
15:55:14 [15:55:14.817]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3769 ms. (mem: 6060.99 MiB)
15:55:14 [15:55:14.955]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6060.99 MiB)
15:55:15 [15:55:15.085]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6566.49 MiB)
15:55:16 [15:55:16.461]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7333.49 MiB)
15:55:21 [15:55:21.636]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7333.49 MiB)
15:55:25 [15:55:25.254]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7333.49 MiB)
15:55:27 [15:55:27.178]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8990.26 MiB)
15:55:29 [15:55:29.193]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8990.26 MiB)
15:55:35 [15:55:35.192]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8990.26 MiB)
15:55:37 [15:55:37.274]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8990.26 MiB)
15:55:37 [15:55:37.292]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8990.26 MiB)
15:55:38 [15:55:38.203]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/eb41e1d3/bb/tmp-QXChy2/public_inputs" (mem: 8990.26 MiB)
15:55:38 [15:55:38.206]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/eb41e1d3/bb/tmp-QXChy2/public_inputs_fields.json" (mem: 8990.26 MiB)
15:55:38 Proof saved to "/tmp/eb41e1d3/bb/tmp-QXChy2/proof" (mem: 8990.26 MiB)
15:55:38 Proof fields saved to "/tmp/eb41e1d3/bb/tmp-QXChy2/proof_fields.json" (mem: 8990.26 MiB)
15:55:38 VK saved to "/tmp/eb41e1d3/bb/tmp-QXChy2/vk" (mem: 8990.26 MiB)
15:55:38 VK fields saved to "/tmp/eb41e1d3/bb/tmp-QXChy2/vk_fields.json" (mem: 8990.26 MiB)
15:55:38 [15:55:38.517]
INFO:
bb-prover Generated proof for RootParityArtifact in 37168 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":37167.543158,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:55:38 [15:55:38.531]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:55:38 [15:55:38.531]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eb41e1d3/bb/tmp-QE2wLS/proof -k /tmp/eb41e1d3/bb/tmp-QE2wLS/vk -i /tmp/eb41e1d3/bb/tmp-QE2wLS/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:55:38 [15:55:38.560]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.87 MiB)
15:55:38 [15:55:38.561]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.87 MiB)
15:55:38 --public_inputs_path: /tmp/eb41e1d3/bb/tmp-QE2wLS/public_inputs (mem: 253.87 MiB)
15:55:38 --proof_path: /tmp/eb41e1d3/bb/tmp-QE2wLS/proof (mem: 253.87 MiB)
15:55:38 --vk_path: /tmp/eb41e1d3/bb/tmp-QE2wLS/vk (mem: 253.87 MiB)
15:55:38 --verbose: true (mem: 253.87 MiB)
15:55:38 --scheme: ultra_honk (mem: 253.87 MiB)
15:55:38 --oracle_hash: poseidon2 (mem: 253.87 MiB)
15:55:38 --disable_zk: true (mem: 253.87 MiB)
15:55:38 [15:55:38.561]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.87 MiB)
15:55:38 [15:55:38.573]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.87 MiB)
15:55:38 Proof verification failed (mem: 253.87 MiB)
15:55:38 verified: 0 (mem: 253.87 MiB)
15:55:38 [15:55:38.577]
ERROR:
bb-prover Error running operation at /tmp/eb41e1d3/bb/tmp-QE2wLS: ProvingError: Failed to verify proof from key!
15:55:38 [15:55:38.770]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":86.2267220000067,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
15:55:38 [15:55:38.772]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:55:38 [15:55:38.772]
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/eb41e1d3/bb/tmp-4wFdRo -b /tmp/eb41e1d3/bb/tmp-4wFdRo/RootParityArtifact-bytecode -w /tmp/eb41e1d3/bb/tmp-4wFdRo/partial-witness.gz -v --init_kzg_accumulator -v
15:55:38 [15:55:38.799]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.87 MiB)
15:55:38 Scheme is: ultra_honk, num threads: 128 (mem: 253.87 MiB)
15:55:38 --scheme: ultra_honk (mem: 253.87 MiB)
15:55:38 --bytecode_path: /tmp/eb41e1d3/bb/tmp-4wFdRo/RootParityArtifact-bytecode (mem: 253.87 MiB)
15:55:38 --witness_path: /tmp/eb41e1d3/bb/tmp-4wFdRo/partial-witness.gz (mem: 253.87 MiB)
15:55:38 --output_path: /tmp/eb41e1d3/bb/tmp-4wFdRo (mem: 253.87 MiB)
15:55:38 Warning: the following option is called more than once (mem: 253.87 MiB)
15:55:38 --verbose: true (mem: 253.87 MiB)
15:55:38 --oracle_hash: poseidon2 (mem: 253.87 MiB)
15:55:38 --output_format: bytes_and_fields (mem: 253.87 MiB)
15:55:38 --write_vk: true (mem: 253.87 MiB)
15:55:38 --disable_zk: true (mem: 253.87 MiB)
15:55:38 --init_kzg_accumulator: true (mem: 253.87 MiB)
15:55:38 [15:55:38.969]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.87 MiB)
15:55:38 [15:55:38.982]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.87 MiB)
15:55:41 [15:55:41.086]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 418.28 MiB)
15:55:43 [15:55:43.444]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 789.69 MiB)
15:55:45 [15:55:45.456]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1064.16 MiB)
15:55:47 [15:55:47.518]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1441.07 MiB)
15:55:47 [15:55:47.519]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1441.07 MiB)
15:55:48 [15:55:48.620]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1855.01 MiB)
15:55:48 [15:55:48.961]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5468.71 MiB)
15:55:50 [15:55:50.341]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 2822 ms. (mem: 6059.71 MiB)
15:55:50 [15:55:50.466]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6059.71 MiB)
15:55:50 [15:55:50.586]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6568.93 MiB)
15:55:51 [15:55:51.712]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7336.93 MiB)
15:55:56 [15:55:56.746]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7336.93 MiB)
15:56:00 [15:56:00.025]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7336.93 MiB)
15:56:01 [15:56:01.572]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8996.85 MiB)
15:56:03 [15:56:03.586]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8996.85 MiB)
15:56:09 [15:56:09.052]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8996.85 MiB)
15:56:10 [15:56:10.507]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8996.85 MiB)
15:56:10 [15:56:10.516]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8996.85 MiB)
15:56:11 [15:56:11.295]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/eb41e1d3/bb/tmp-4wFdRo/public_inputs" (mem: 8996.85 MiB)
15:56:11 [15:56:11.296]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/eb41e1d3/bb/tmp-4wFdRo/public_inputs_fields.json" (mem: 8996.85 MiB)
15:56:11 Proof saved to "/tmp/eb41e1d3/bb/tmp-4wFdRo/proof" (mem: 8996.85 MiB)
15:56:11 Proof fields saved to "/tmp/eb41e1d3/bb/tmp-4wFdRo/proof_fields.json" (mem: 8996.85 MiB)
15:56:11 VK saved to "/tmp/eb41e1d3/bb/tmp-4wFdRo/vk" (mem: 8996.85 MiB)
15:56:11 VK fields saved to "/tmp/eb41e1d3/bb/tmp-4wFdRo/vk_fields.json" (mem: 8996.85 MiB)
15:56:11 [15:56:11.559]
INFO:
bb-prover Generated proof for RootParityArtifact in 32786 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":32785.60077100001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:56:11 [15:56:11.561]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:56:11 [15:56:11.561]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eb41e1d3/bb/tmp-vifxYU/proof -k /tmp/eb41e1d3/bb/tmp-vifxYU/vk -i /tmp/eb41e1d3/bb/tmp-vifxYU/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:56:11 [15:56:11.583]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.87 MiB)
15:56:11 [15:56:11.584]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.87 MiB)
15:56:11 --public_inputs_path: /tmp/eb41e1d3/bb/tmp-vifxYU/public_inputs (mem: 253.87 MiB)
15:56:11 --proof_path: /tmp/eb41e1d3/bb/tmp-vifxYU/proof (mem: 253.87 MiB)
15:56:11 --vk_path: /tmp/eb41e1d3/bb/tmp-vifxYU/vk (mem: 253.87 MiB)
15:56:11 --verbose: true (mem: 253.87 MiB)
15:56:11 --scheme: ultra_honk (mem: 253.87 MiB)
15:56:11 --oracle_hash: poseidon2 (mem: 253.87 MiB)
15:56:11 --disable_zk: true (mem: 253.87 MiB)
15:56:11 [15:56:11.584]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.87 MiB)
15:56:11 [15:56:11.593]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.87 MiB)
15:56:11 Proof verification failed (mem: 253.87 MiB)
15:56:11 verified: 0 (mem: 253.87 MiB)
15:56:11 [15:56:11.595]
ERROR:
bb-prover Error running operation at /tmp/eb41e1d3/bb/tmp-vifxYU: ProvingError: Failed to verify proof from key!
15:56:11 [15:56:11.599]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
15:56:11
PASS src/test/bb_prover_parity.test.ts (
126.131 s)
15:56:11 prover/bb_prover/parity
15:56:11
✓ proves the parity circuits (116981 ms)
15:56:11
15:56:11
Test Suites: 1 passed, 1 total
15:56:11
Tests: 1 passed, 1 total
15:56:11
Snapshots: 0 total
15:56:11
Time: 126.228 s
15:56:11
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
15:56:11
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?