Parent Log:
http://ci.aztec-labs.com/1105e0e4ebda3b8d
Command: d57d38082bbaf86d: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/2d661b35c089f032f50de084b07dded86f0873b8
Env: REF_NAME=gh-readonly-queue/next/pr-15187-301dce04331dcfb583b7508b91491de618d4acf4 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 23 10:46:26 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15187_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
10:46:26 +++ id -u
10:46:26 +++ id -g
10:46:26 ++ docker run -d --name prover-client_src_test_bb_prover_parity.test.ts --net=none --cpuset-cpus=0-127 --cpus=16 --memory=96g --user 1000:1000 -v/home/aztec-dev:/home/aztec-dev --mount type=tmpfs,target=/tmp,tmpfs-size=1g --workdir /home/aztec-dev/aztec-packages -e HOME -e VERBOSE -e GIT_CONFIG_GLOBAL=/home/aztec-dev/aztec-packages/build-images/src/home/.gitconfig -e FORCE_COLOR=true -e CPUS -e MEM aztecprotocol/build:3.0 /bin/bash -c 'timeout -v 600s bash -c '\''LOG_LEVEL=verbose yarn-project/scripts/run_test.sh prover-client/src/test/bb_prover_parity.test.ts'\'''
10:46:27 + cid=3e25cbeb376738d42c8f6e5a1dad014652a3c1c429a1e1ba87ab2d66c9f41380
10:46:27 + set +x
10:46:28 {"level":25,"time":1750675588908,"pid":7,"hostname":"3e25cbeb3767","module":"logger","msg":"Logger initialized with level verbose"}
10:46:37 [10:46:37.064]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-YCWrCg/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
10:46:37 [10:46:37.124]
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/eafb03c5/bb
10:46:37 [10:46:37.126]
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/eafb03c5/acvm
10:46:37 [10:46:37.128]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/eafb03c5/bb
10:46:37 [10:46:37.129]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/eafb03c5/acvm
10:46:37 [10:46:37.135]
INFO:
prover-client:proving-broker Proving Broker started
10:46:37 [10:46:37.137]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
10:46:37 [10:46:37.369]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":101.09377499999937,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:37 [10:46:37.394]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":51.68317399999978,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:37 [10:46:37.409]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":42.49337699999887,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:37 [10:46:37.421]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:46:37 [10:46:37.421]
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/eafb03c5/bb/tmp-sqDu9w -b /tmp/eafb03c5/bb/tmp-sqDu9w/BaseParityArtifact-bytecode -w /tmp/eafb03c5/bb/tmp-sqDu9w/partial-witness.gz -v --init_kzg_accumulator -v
10:46:37 [10:46:37.448]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:46:37 [10:46:37.449]
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/eafb03c5/bb/tmp-qgVieP -b /tmp/eafb03c5/bb/tmp-qgVieP/BaseParityArtifact-bytecode -w /tmp/eafb03c5/bb/tmp-qgVieP/partial-witness.gz -v --init_kzg_accumulator -v
10:46:37 [10:46:37.479]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.28 MiB)
10:46:37 Scheme is: ultra_honk, num threads: 128 (mem: 250.28 MiB)
10:46:37 --scheme: ultra_honk (mem: 250.28 MiB)
10:46:37 --bytecode_path: /tmp/eafb03c5/bb/tmp-sqDu9w/BaseParityArtifact-bytecode (mem: 250.28 MiB)
10:46:37 --witness_path: /tmp/eafb03c5/bb/tmp-sqDu9w/partial-witness.gz (mem: 250.28 MiB)
10:46:37 --output_path: /tmp/eafb03c5/bb/tmp-sqDu9w (mem: 250.28 MiB)
10:46:37 Warning: the following option is called more than once (mem: 250.28 MiB)
10:46:37 --verbose: true (mem: 250.28 MiB)
10:46:37 --oracle_hash: poseidon2 (mem: 250.28 MiB)
10:46:37 --output_format: bytes_and_fields (mem: 250.28 MiB)
10:46:37 --write_vk: true (mem: 250.28 MiB)
10:46:37 --disable_zk: true (mem: 250.28 MiB)
10:46:37 --init_kzg_accumulator: true (mem: 250.28 MiB)
10:46:37 [10:46:37.480]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:46:37 [10:46:37.481]
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/eafb03c5/bb/tmp-5018L0 -b /tmp/eafb03c5/bb/tmp-5018L0/BaseParityArtifact-bytecode -w /tmp/eafb03c5/bb/tmp-5018L0/partial-witness.gz -v --init_kzg_accumulator -v
10:46:37 [10:46:37.509]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.28 MiB)
10:46:37 Scheme is: ultra_honk, num threads: 128 (mem: 250.28 MiB)
10:46:37 --scheme: ultra_honk (mem: 250.28 MiB)
10:46:37 --bytecode_path: /tmp/eafb03c5/bb/tmp-qgVieP/BaseParityArtifact-bytecode (mem: 250.28 MiB)
10:46:37 --witness_path: /tmp/eafb03c5/bb/tmp-qgVieP/partial-witness.gz (mem: 250.28 MiB)
10:46:37 --output_path: /tmp/eafb03c5/bb/tmp-qgVieP (mem: 250.28 MiB)
10:46:37 Warning: the following option is called more than once (mem: 250.28 MiB)
10:46:37 --verbose: true (mem: 250.28 MiB)
10:46:37 --oracle_hash: poseidon2 (mem: 250.28 MiB)
10:46:37 --output_format: bytes_and_fields (mem: 250.28 MiB)
10:46:37 --write_vk: true (mem: 250.28 MiB)
10:46:37 --disable_zk: true (mem: 250.28 MiB)
10:46:37 --init_kzg_accumulator: true (mem: 250.28 MiB)
10:46:37 [10:46:37.522]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":90.13502499999959,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:37 [10:46:37.523]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 249.29 MiB)
10:46:37 Scheme is: ultra_honk, num threads: 128 (mem: 249.29 MiB)
10:46:37 --scheme: ultra_honk (mem: 249.29 MiB)
10:46:37 --bytecode_path: /tmp/eafb03c5/bb/tmp-5018L0/BaseParityArtifact-bytecode (mem: 249.29 MiB)
10:46:37 --witness_path: /tmp/eafb03c5/bb/tmp-5018L0/partial-witness.gz (mem: 249.29 MiB)
10:46:37 --output_path: /tmp/eafb03c5/bb/tmp-5018L0 (mem: 249.29 MiB)
10:46:37 Warning: the following option is called more than once (mem: 249.29 MiB)
10:46:37 --verbose: true (mem: 249.29 MiB)
10:46:37 --oracle_hash: poseidon2 (mem: 249.29 MiB)
10:46:37 --output_format: bytes_and_fields (mem: 249.29 MiB)
10:46:37 --write_vk: true (mem: 249.29 MiB)
10:46:37 --disable_zk: true (mem: 249.29 MiB)
10:46:37 --init_kzg_accumulator: true (mem: 249.29 MiB)
10:46:37 [10:46:37.524]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
10:46:37 [10:46:37.525]
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/eafb03c5/bb/tmp-xMDy93 -b /tmp/eafb03c5/bb/tmp-xMDy93/BaseParityArtifact-bytecode -w /tmp/eafb03c5/bb/tmp-xMDy93/partial-witness.gz -v --init_kzg_accumulator -v
10:46:37 [10:46:37.571]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.31 MiB)
10:46:37 Scheme is: ultra_honk, num threads: 128 (mem: 250.31 MiB)
10:46:37 --scheme: ultra_honk (mem: 250.31 MiB)
10:46:37 --bytecode_path: /tmp/eafb03c5/bb/tmp-xMDy93/BaseParityArtifact-bytecode (mem: 250.31 MiB)
10:46:37 --witness_path: /tmp/eafb03c5/bb/tmp-xMDy93/partial-witness.gz (mem: 250.31 MiB)
10:46:37 --output_path: /tmp/eafb03c5/bb/tmp-xMDy93 (mem: 250.31 MiB)
10:46:37 Warning: the following option is called more than once (mem: 250.31 MiB)
10:46:37 --verbose: true (mem: 250.31 MiB)
10:46:37 --oracle_hash: poseidon2 (mem: 250.31 MiB)
10:46:37 --output_format: bytes_and_fields (mem: 250.31 MiB)
10:46:37 --write_vk: true (mem: 250.31 MiB)
10:46:37 --disable_zk: true (mem: 250.31 MiB)
10:46:37 --init_kzg_accumulator: true (mem: 250.31 MiB)
10:46:37 [10:46:37.605]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.28 MiB)
10:46:37 Constructing DeciderProvingKey (mem: 250.28 MiB)
10:46:37 [10:46:37.607]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
10:46:37 [10:46:37.608]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
10:46:37 [10:46:37.609]
INFO:
bb-prover BaseParityArtifact BB out - 250.28
10:46:37 [10:46:37.610]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
10:46:37 [10:46:37.610]
INFO:
bb-prover BaseParityArtifact BB out -
10:46:37 [10:46:37.689]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.28 MiB)
10:46:37 [10:46:37.690]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.28 MiB)
10:46:37 [10:46:37.693]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.28 MiB)
10:46:37 [10:46:37.718]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 249.29 MiB)
10:46:37 Constructing DeciderProvingKey (mem: 249.29 MiB)
10:46:37 [10:46:37.719]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
10:46:37 [10:46:37.720]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
10:46:37 [10:46:37.720]
INFO:
bb-prover BaseParityArtifact BB out - 249.29
10:46:37 [10:46:37.720]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
10:46:37 [10:46:37.721]
INFO:
bb-prover BaseParityArtifact BB out -
10:46:37 [10:46:37.751]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.31 MiB)
10:46:37 [10:46:37.754]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.31 MiB)
10:46:37 [10:46:37.755]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.31 MiB)
10:46:37 [10:46:37.812]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.28 MiB)
10:46:37 [10:46:37.860]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.28 MiB)
10:46:37 [10:46:37.886]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 284 ms. (mem: 250.28 MiB)
10:46:37 [10:46:37.895]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.28 MiB)
10:46:37 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.28 MiB)
10:46:37 [10:46:37.902]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.28 MiB)
10:46:37 [10:46:37.923]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.31 MiB)
10:46:37 [10:46:37.934]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 245 ms. (mem: 250.28 MiB)
10:46:37 [10:46:37.940]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 249.29 MiB)
10:46:37 [10:46:37.943]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.28 MiB)
10:46:37 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.28 MiB)
10:46:37 [10:46:37.962]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.28 MiB)
10:46:38 [10:46:38.004]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 252 ms. (mem: 250.31 MiB)
10:46:38 [10:46:38.014]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.31 MiB)
10:46:38 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.31 MiB)
10:46:38 [10:46:38.027]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.31 MiB)
10:46:38 [10:46:38.076]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 359 ms. (mem: 249.29 MiB)
10:46:38 [10:46:38.080]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 249.29 MiB)
10:46:38 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.29 MiB)
10:46:38 [10:46:38.091]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 249.29 MiB)
10:46:39 [10:46:39.070]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.28 MiB)
10:46:39 [10:46:39.203]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.29 MiB)
10:46:39 [10:46:39.252]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.28 MiB)
10:46:39 [10:46:39.280]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.31 MiB)
10:46:39 [10:46:39.608]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.28 MiB)
10:46:39 [10:46:39.801]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 249.29 MiB)
10:46:39 [10:46:39.918]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.31 MiB)
10:46:39 [10:46:39.954]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.28 MiB)
10:46:40 [10:46:40.051]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.28 MiB)
10:46:40 [10:46:40.092]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 249.29 MiB)
10:46:40 [10:46:40.125]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.28 MiB)
10:46:40 [10:46:40.131]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.31 MiB)
10:46:40 [10:46:40.277]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.28 MiB)
10:46:40 [10:46:40.280]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 249.29 MiB)
10:46:40 [10:46:40.329]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.31 MiB)
10:46:40 [10:46:40.352]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.28 MiB)
10:46:41 [10:46:41.926]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.28 MiB)
10:46:42 [10:46:42.064]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.28 MiB)
10:46:42 finished decider proving. (mem: 250.28 MiB)
10:46:42 [10:46:42.068]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/eafb03c5/bb/tmp-qgVieP/public_inputs" (mem: 250.28 MiB)
10:46:42 Public inputs fields saved to "/tmp/eafb03c5/bb/tmp-qgVieP/public_inputs_fields.json" (mem: 250.28 MiB)
10:46:42 Proof saved to "/tmp/eafb03c5/bb/tmp-qgVieP/proof" (mem: 250.28 MiB)
10:46:42 Proof fields saved to "/tmp/eafb03c5/bb/tmp-qgVieP/proof_fields.json" (mem: 250.28 MiB)
10:46:42 VK saved to "/tmp/eafb03c5/bb/tmp-qgVieP/vk" (mem: 250.28 MiB)
10:46:42 VK fields saved to "/tmp/eafb03c5/bb/tmp-qgVieP/vk_fields.json" (mem: 250.28 MiB)
10:46:42 [10:46:42.089]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.31 MiB)
10:46:42 [10:46:42.110]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4656 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4655.436805000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:46:42 [10:46:42.115]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:42 [10:46:42.116]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eafb03c5/bb/tmp-48TVSL/proof -k /tmp/eafb03c5/bb/tmp-48TVSL/vk -i /tmp/eafb03c5/bb/tmp-48TVSL/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:42 [10:46:42.193]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.31 MiB)
10:46:42 finished decider proving. (mem: 250.31 MiB)
10:46:42 Public inputs saved to "/tmp/eafb03c5/bb/tmp-xMDy93/public_inputs" (mem: 250.31 MiB)
10:46:42 Public inputs fields saved to "/tmp/eafb03c5/bb/tmp-xMDy93/public_inputs_fields.json" (mem: 250.31 MiB)
10:46:42 Proof saved to "/tmp/eafb03c5/bb/tmp-xMDy93/proof" (mem: 250.31 MiB)
10:46:42 Proof fields saved to "/tmp/eafb03c5/bb/tmp-xMDy93/proof_fields.json" (mem: 250.31 MiB)
10:46:42 VK saved to "/tmp/eafb03c5/bb/tmp-xMDy93/vk" (mem: 250.31 MiB)
10:46:42 VK fields saved to "/tmp/eafb03c5/bb/tmp-xMDy93/vk_fields.json" (mem: 250.31 MiB)
10:46:42 [10:46:42.198]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 249.29 MiB)
10:46:42 [10:46:42.199]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.28 MiB)
10:46:42 [10:46:42.211]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.35 MiB)
10:46:42 Scheme is: ultra_honk, num threads: 128 (mem: 250.35 MiB)
10:46:42 --public_inputs_path: /tmp/eafb03c5/bb/tmp-48TVSL/public_inputs (mem: 250.35 MiB)
10:46:42 --proof_path: /tmp/eafb03c5/bb/tmp-48TVSL/proof (mem: 250.35 MiB)
10:46:42 --vk_path: /tmp/eafb03c5/bb/tmp-48TVSL/vk (mem: 250.35 MiB)
10:46:42 --verbose: true (mem: 250.35 MiB)
10:46:42 --scheme: ultra_honk (mem: 250.35 MiB)
10:46:42 --oracle_hash: poseidon2 (mem: 250.35 MiB)
10:46:42 --disable_zk: true (mem: 250.35 MiB)
10:46:42 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.35 MiB)
10:46:42 [10:46:42.220]
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.35 MiB)
10:46:42 Initialized BN254 CRS from memory with num points = 1 (mem: 250.35 MiB)
10:46:42 [10:46:42.241]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.35 MiB)
10:46:42 libra_evals_verified: 1 (mem: 250.35 MiB)
10:46:42 pairing_check_verified: 1 (mem: 250.35 MiB)
10:46:42 Proof verified successfully (mem: 250.35 MiB)
10:46:42 verified: 1 (mem: 250.35 MiB)
10:46:42 [10:46:42.242]
INFO:
bb-prover Successfully verified proof from key in 127.09795999999915 ms
10:46:42 [10:46:42.261]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4718 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4717.854691999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:46:42 [10:46:42.264]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:42 [10:46:42.264]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eafb03c5/bb/tmp-M58GNQ/proof -k /tmp/eafb03c5/bb/tmp-M58GNQ/vk -i /tmp/eafb03c5/bb/tmp-M58GNQ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:42 [10:46:42.300]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.38 MiB)
10:46:42 [10:46:42.301]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 250.38 MiB)
10:46:42 --public_inputs_path: /tmp/eafb03c5/bb/tmp-M58GNQ/public_inputs (mem: 250.38 MiB)
10:46:42 --proof_path: /tmp/eafb03c5/bb/tmp-M58GNQ/proof (mem: 250.38 MiB)
10:46:42 --vk_path: /tmp/eafb03c5/bb/tmp-M58GNQ/vk (mem: 250.38 MiB)
10:46:42 --verbose: true (mem: 250.38 MiB)
10:46:42 --scheme: ultra_honk (mem: 250.38 MiB)
10:46:42 --oracle_hash: poseidon2 (mem: 250.38 MiB)
10:46:42 --disable_zk: true (mem: 250.38 MiB)
10:46:42 [10:46:42.305]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.38 MiB)
10:46:42 [10:46:42.326]
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"
10:46:42 [10:46:42.327]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.38 MiB)
10:46:42 Initialized BN254 CRS from memory with num points = 1 (mem: 250.38 MiB)
10:46:42 [10:46:42.328]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.38 MiB)
10:46:42 libra_evals_verified: 1 (mem:
10:46:42 [10:46:42.328]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.38 MiB)
10:46:42 pairing_check_verified: 1 (mem: 250.38 MiB)
10:46:42 Proof verified successfully (mem: 250.38 MiB)
10:46:42 verified: 1 (mem: 250.38 MiB)
10:46:42 [10:46:42.329]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 249.29 MiB)
10:46:42 [10:46:42.330]
INFO:
bb-prover BaseParityArtifact BB out -
10:46:42 finished decider proving. (mem: 249.29 MiB)
10:46:42 Public inputs saved to "/tmp/eafb03c5/bb/tmp-5018L0/public_inputs" (mem: 249.29 MiB)
10:46:42 Public inputs fields saved to "/tmp/eafb03c5/bb/tmp-5018L0/public_inputs_fields.json" (mem: 249.29 MiB)
10:46:42 [10:46:42.330]
INFO:
bb-prover Successfully verified proof from key in 66.54259499999898 ms
10:46:42 [10:46:42.331]
INFO:
bb-prover BaseParityArtifact BB out - Proof saved to "/tmp/eafb03c5/bb/tmp-5018L0/proof" (mem: 249.29 MiB)
10:46:42 Proof fields saved to "/tmp/eafb03c5/bb/tmp-5018L0/proof_fields.json" (mem: 249.29 MiB)
10:46:42 VK saved to "/tmp/eafb03c5/bb/tmp-5018L0/vk" (mem: 249.29 MiB)
10:46:42 VK fields saved to "/tmp/eafb03c5/bb/tmp-5018L0/vk_fields.json" (mem: 249.29 MiB)
10:46:42 [10:46:42.351]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.28 MiB)
10:46:42 finished decider proving. (mem: 250.28 MiB)
10:46:42 [10:46:42.354]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/eafb03c5/bb/tmp-sqDu9w/public_inputs" (mem: 250.28 MiB)
10:46:42 Public inputs fields saved to "/tmp/eafb03c5/bb/tmp-sqDu9w/public_inputs_fields.json" (mem: 250.28 MiB)
10:46:42 Proof saved to "/tmp/eafb03c5/bb/tmp-sqDu9w/proof" (mem: 250.28 MiB)
10:46:42 Proof fields saved to "/tmp/eafb03c5/bb/tmp-sqDu9w/proof_fields.json" (mem: 250.28 MiB)
10:46:42 VK saved to "/tmp/eafb03c5/bb/tmp-sqDu9w/vk" (mem: 250.28 MiB)
10:46:42 VK fields saved to "/tmp/eafb03c5/bb/tmp-sqDu9w/vk_fields.json" (mem: 250.28 MiB)
10:46:42 [10:46:42.375]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4886 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4885.755668999998,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:46:42 [10:46:42.378]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:42 [10:46:42.379]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eafb03c5/bb/tmp-KjKtCp/proof -k /tmp/eafb03c5/bb/tmp-KjKtCp/vk -i /tmp/eafb03c5/bb/tmp-KjKtCp/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:42 [10:46:42.407]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4983 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4982.228084,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:46:42 [10:46:42.408]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.87 MiB)
10:46:42 Scheme is: ultra_honk, num threads: 128 (mem: 249.87 MiB)
10:46:42 --public_inputs_path: /tmp/eafb03c5/bb/tmp-KjKtCp/public_inputs (mem: 249.87 MiB)
10:46:42 --proof_path: /tmp/eafb03c5/bb/tmp-KjKtCp/proof (mem: 249.87 MiB)
10:46:42 --vk_path: /tmp/eafb03c5/bb/tmp-KjKtCp/vk (mem: 249.87 MiB)
10:46:42 --verbose: true (mem: 249.87 MiB)
10:46:42 --scheme: ultra_honk (mem: 249.87 MiB)
10:46:42 --oracle_hash: poseidon2 (mem: 249.87 MiB)
10:46:42 --disable_zk: true (mem: 249.87 MiB)
10:46:42 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.87 MiB)
10:46:42 [10:46:42.411]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:42 [10:46:42.412]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eafb03c5/bb/tmp-A8lW05/proof -k /tmp/eafb03c5/bb/tmp-A8lW05/vk -i /tmp/eafb03c5/bb/tmp-A8lW05/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:42 [10:46:42.434]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.87 MiB)
10:46:42 Initialized BN254 CRS from memory with num points = 1 (mem: 249.87 MiB)
10:46:42 sumcheck_verified: 1 (mem: 249.87 MiB)
10:46:42 libra_evals_verified: 1 (mem: 249.87 MiB)
10:46:42 pairing_check_verified: 1 (mem: 249.87 MiB)
10:46:42 Proof verified successfully (mem: 249.87 MiB)
10:46:42 verified: 1 (mem: 249.87 MiB)
10:46:42 [10:46:42.436]
INFO:
bb-prover Successfully verified proof from key in 58.06096500000058 ms
10:46:42 [10:46:42.438]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
10:46:42 [10:46:42.438]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.52 MiB)
10:46:42 Scheme is: ultra_honk, num threads: 128 (mem: 250.52 MiB)
10:46:42 --public_inputs_path: /tmp/eafb03c5/bb/tmp-A8lW05/public_inputs (mem: 250.52 MiB)
10:46:42 --proof_path: /tmp/eafb03c5/bb/tmp-A8lW05/proof (mem: 250.52 MiB)
10:46:42 --vk_path: /tmp/eafb03c5/bb/tmp-A8lW05/vk (mem: 250.52 MiB)
10:46:42 --verbose: true (mem: 250.52 MiB)
10:46:42 --scheme: ultra_honk (mem: 250.52 MiB)
10:46:42 --oracle_hash: poseidon2 (mem: 250.52 MiB)
10:46:42 --disable_zk: true (mem: 250.52 MiB)
10:46:42 [10:46:42.439]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.52 MiB)
10:46:42 [10:46:42.456]
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.52 MiB)
10:46:42 [10:46:42.457]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 250.52 MiB)
10:46:42 [10:46:42.458]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.52 MiB)
10:46:42 libra_evals_verified: 1 (mem: 250.52 MiB)
10:46:42 pairing_check_verified: 1 (mem: 250.52 MiB)
10:46:42 Proof verified successfully (mem: 250.52 MiB)
10:46:42 verified: 1 (mem: 250.52 MiB)
10:46:42 [10:46:42.460]
INFO:
bb-prover Successfully verified proof from key in 49.34710900000027 ms
10:46:42 [10:46:42.468]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:42 [10:46:42.468]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eafb03c5/bb/tmp-edUlbq/proof -k /tmp/eafb03c5/bb/tmp-edUlbq/vk -i /tmp/eafb03c5/bb/tmp-edUlbq/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:42 [10:46:42.491]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:42 [10:46:42.492]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eafb03c5/bb/tmp-oM7kzs/proof -k /tmp/eafb03c5/bb/tmp-oM7kzs/vk -i /tmp/eafb03c5/bb/tmp-oM7kzs/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:42 [10:46:42.518]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:42 [10:46:42.519]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eafb03c5/bb/tmp-cJPiBv/proof -k /tmp/eafb03c5/bb/tmp-cJPiBv/vk -i /tmp/eafb03c5/bb/tmp-cJPiBv/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:42 [10:46:42.538]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:46:42 [10:46:42.539]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eafb03c5/bb/tmp-sRjhxM/proof -k /tmp/eafb03c5/bb/tmp-sRjhxM/vk -i /tmp/eafb03c5/bb/tmp-sRjhxM/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:46:42 [10:46:42.580]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.58 MiB)
10:46:42 Scheme is: ultra_honk, num threads: 128 (mem: 250.58 MiB)
10:46:42 --public_inputs_path: /tmp/eafb03c5/bb/tmp-edUlbq/public_inputs (mem: 250.58 MiB)
10:46:42 --proof_path: /tmp/eafb03c5/bb/tmp-edUlbq/proof (mem: 250.58 MiB)
10:46:42 --vk_path: /tmp/eafb03c5/bb/tmp-edUlbq/vk (mem: 250.58 MiB)
10:46:42 --verbose: true (mem: 250.58 MiB)
10:46:42 --scheme: ultra_honk (mem: 250.58 MiB)
10:46:42 --oracle_hash: poseidon2 (mem: 250.58 MiB)
10:46:42 --disable_zk: true (mem: 250.58 MiB)
10:46:42 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.58 MiB)
10:46:42 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.58 MiB)
10:46:42 Initialized BN254 CRS from memory with num points = 1 (mem: 250.58 MiB)
10:46:42 sumcheck_verified: 1 (mem: 250.58 MiB)
10:46:42 libra_evals_verified: 1 (mem: 250.58 MiB)
10:46:42 pairing_check_verified: 1 (mem: 250.58 MiB)
10:46:42 Proof verified successfully (mem: 250.58 MiB)
10:46:42 verified: 1 (mem: 250.58 MiB)
10:46:42 [10:46:42.582]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.58 MiB)
10:46:42 Scheme is: ultra_honk, num threads: 128 (mem: 250.58 MiB)
10:46:42 --public_inputs_path: /tmp/eafb03c5/bb/tmp-oM7kzs/public_inputs (mem: 250.58 MiB)
10:46:42 --proof_path: /tmp/eafb03c5/bb/tmp-oM7kzs/proof (mem: 250.58 MiB)
10:46:42 --vk_path: /tmp/eafb03c5/bb/tmp-oM7kzs/vk (mem: 250.58 MiB)
10:46:42 --verbose: true (mem: 250.58 MiB)
10:46:42 --scheme: ultra_honk (mem: 250.58 MiB)
10:46:42 --oracle_hash: poseidon2 (mem: 250.58 MiB)
10:46:42 --disable_zk: true (mem: 250.58 MiB)
10:46:42 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.58 MiB)
10:46:42 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.58 MiB)
10:46:42 Initialized BN254 CRS from memory with num points = 1 (mem: 250.58 MiB)
10:46:42 sumcheck_verified: 1 (mem: 250.58 MiB)
10:46:42 libra_evals_verified: 1 (mem: 250.58 MiB)
10:46:42 pairing_check_verified: 1 (mem: 250.58 MiB)
10:46:42 Proof verified successfully (mem: 250.58 MiB)
10:46:42 verified: 1 (mem: 250.58 MiB)
10:46:42 [10:46:42.582]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.58 MiB)
10:46:42 Scheme is: ultra_honk, num threads: 128 (mem: 250.58 MiB)
10:46:42 --public_inputs_path: /tmp/eafb03c5/bb/tmp-cJPiBv/public_inputs (mem: 250.58 MiB)
10:46:42 --proof_path: /tmp/eafb03c5/bb/tmp-cJPiBv/proof (mem: 250.58 MiB)
10:46:42 --vk_path: /tmp/eafb03c5/bb/tmp-cJPiBv/vk (mem: 250.58 MiB)
10:46:42 --verbose: true (mem: 250.58 MiB)
10:46:42 --scheme: ultra_honk (mem: 250.58 MiB)
10:46:42 --oracle_hash: poseidon2 (mem: 250.58 MiB)
10:46:42 --disable_zk: true (mem: 250.58 MiB)
10:46:42 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.58 MiB)
10:46:42 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.58 MiB)
10:46:42 Initialized BN254 CRS from memory with num points = 1 (mem: 250.58 MiB)
10:46:42 sumcheck_verified: 1 (mem: 250.58 MiB)
10:46:42 libra_evals_verified: 1 (mem: 250.58 MiB)
10:46:42 pairing_check_verified: 1 (mem: 250.58 MiB)
10:46:42 Proof verified successfully (mem: 250.58 MiB)
10:46:42 verified: 1 (mem: 250.58 MiB)
10:46:42 [10:46:42.583]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.58 MiB)
10:46:42 Scheme is: ultra_honk, num threads: 128 (mem: 250.58 MiB)
10:46:42 --public_inputs_path: /tmp/eafb03c5/bb/tmp-sRjhxM/public_inputs (mem: 250.58 MiB)
10:46:42 --proof_path: /tmp/eafb03c5/bb/tmp-sRjhxM/proof (mem: 250.58 MiB)
10:46:42 --vk_path: /tmp/eafb03c5/bb/tmp-sRjhxM/vk (mem: 250.58 MiB)
10:46:42 --verbose: true (mem: 250.58 MiB)
10:46:42 --scheme: ultra_honk (mem: 250.58 MiB)
10:46:42 --oracle_hash: poseidon2 (mem: 250.58 MiB)
10:46:42 --disable_zk: true (mem: 250.58 MiB)
10:46:42 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.58 MiB)
10:46:42 [10:46:42.584]
INFO:
bb-prover Successfully verified proof from key in 65.14239199999975 ms
10:46:42 [10:46:42.584]
INFO:
bb-prover Successfully verified proof from key in 92.65679399999863 ms
10:46:42 [10:46:42.584]
INFO:
bb-prover Successfully verified proof from key in 116.86254800000097 ms
10:46:42 [10:46:42.589]
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.58 MiB)
10:46:42 [10:46:42.591]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 250.58 MiB)
10:46:42 [10:46:42.591]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.58 MiB)
10:46:42 libra_evals_verified: 1 (mem: 250.58 MiB)
10:46:42 pairing_check_verified: 1 (mem: 250.58 MiB)
10:46:42 Proof verified successfully (mem: 250.58 MiB)
10:46:42 [10:46:42.592]
VERBOSE:
bb-prover bb-prover (verify) BB out -
10:46:42 verified: 1 (mem: 250.58 MiB)
10:46:42 [10:46:42.593]
INFO:
bb-prover Successfully verified proof from key in 55.316899999999805 ms
10:46:42 [10:46:42.774]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":79.8878220000006,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:46:42 [10:46:42.783]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:46:42 [10:46:42.783]
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/eafb03c5/bb/tmp-QWPHoc -b /tmp/eafb03c5/bb/tmp-QWPHoc/RootParityArtifact-bytecode -w /tmp/eafb03c5/bb/tmp-QWPHoc/partial-witness.gz -v --init_kzg_accumulator -v
10:46:42 [10:46:42.812]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.04 MiB)
10:46:42 Scheme is: ultra_honk, num threads: 128 (mem: 253.04 MiB)
10:46:42 --scheme: ultra_honk (mem: 253.04 MiB)
10:46:42 --bytecode_path: /tmp/eafb03c5/bb/tmp-QWPHoc/RootParityArtifact-bytecode (mem: 253.04 MiB)
10:46:42 --witness_path: /tmp/eafb03c5/bb/tmp-QWPHoc/partial-witness.gz (mem: 253.04 MiB)
10:46:42 --output_path: /tmp/eafb03c5/bb/tmp-QWPHoc (mem: 253.04 MiB)
10:46:42 Warning: the following option is called more than once (mem: 253.04 MiB)
10:46:42 --verbose: true (mem: 253.04 MiB)
10:46:42 --oracle_hash: poseidon2 (mem: 253.04 MiB)
10:46:42 --output_format: bytes_and_fields (mem: 253.04 MiB)
10:46:42 --write_vk: true (mem: 253.04 MiB)
10:46:42 --disable_zk: true (mem: 253.04 MiB)
10:46:42 --init_kzg_accumulator: true (mem: 253.04 MiB)
10:46:43 [10:46:43.028]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.04 MiB)
10:46:45 [10:46:45.176]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 422.55 MiB)
10:46:47 [10:46:47.934]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 783.76 MiB)
10:46:50 [10:46:50.457]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1055.29 MiB)
10:46:52 [10:46:52.937]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1424.87 MiB)
10:46:52 [10:46:52.938]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1424.87 MiB)
10:46:54 [10:46:54.341]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1836.72 MiB)
10:46:54 [10:46:54.797]
INFO:
bb-prover RootParityArtifact BB out - populating trace...
10:46:54 [10:46:54.799]
INFO:
bb-prover RootParityArtifact BB out - (mem: 5484.10 MiB)
10:46:56 [10:46:56.743]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3804 ms. (mem: 6066.10 MiB)
10:46:56 [10:46:56.886]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6066.10 MiB)
10:46:56 [10:46:56.886]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6066.10 MiB)
10:46:57 [10:46:57.787]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6066.10 MiB)
10:47:02 [10:47:02.453]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6066.10 MiB)
10:47:08 [10:47:08.082]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6066.10 MiB)
10:47:10 [10:47:10.488]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6739.53 MiB)
10:47:13 [10:47:13.479]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6739.53 MiB)
10:47:21 [10:47:21.180]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6739.53 MiB)
10:47:22 [10:47:22.987]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6739.53 MiB)
10:47:23 [10:47:23.004]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6739.53 MiB)
10:47:23 [10:47:23.563]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/eafb03c5/bb/tmp-QWPHoc/public_inputs" (mem: 6739.53 MiB)
10:47:23 [10:47:23.564]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/eafb03c5/bb/tmp-QWPHoc/public_inputs_fields.json" (mem: 6739.53 MiB)
10:47:23 Proof saved to "/tmp/eafb03c5/bb/tmp-QWPHoc/proof" (mem: 6739.53 MiB)
10:47:23 Proof fields saved to "/tmp/eafb03c5/bb/tmp-QWPHoc/proof_fields.json" (mem: 6739.53 MiB)
10:47:23 [10:47:23.565]
INFO:
bb-prover RootParityArtifact BB out - VK saved to "/tmp/eafb03c5/bb/tmp-QWPHoc/vk" (mem: 6739.53 MiB)
10:47:23 VK fields saved to "/tmp/eafb03c5/bb/tmp-QWPHoc/vk_fields.json" (mem: 6739.53 MiB)
10:47:23 [10:47:23.752]
INFO:
bb-prover Generated proof for RootParityArtifact in 40965 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40964.185084,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:47:23 [10:47:23.758]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:47:23 [10:47:23.759]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eafb03c5/bb/tmp-vUfdWP/proof -k /tmp/eafb03c5/bb/tmp-vUfdWP/vk -i /tmp/eafb03c5/bb/tmp-vUfdWP/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:47:23 [10:47:23.783]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.14 MiB)
10:47:23 [10:47:23.788]
VERBOSE:
bb-prover bb-prover (verify) BB out -
10:47:23 Scheme is: ultra_honk, num threads: 128 (mem: 252.14 MiB)
10:47:23 --public_inputs_path: /tmp/eafb03c5/bb/tmp-vUfdWP/public_inputs (mem: 252.14 MiB)
10:47:23 --proof_path: /tmp/eafb03c5/bb/tmp-vUfdWP/proof (mem: 252.14 MiB)
10:47:23 --vk_path: /tmp/eafb03c5/bb/tmp-vUfdWP/vk (mem: 252.14 MiB)
10:47:23 --verbose: true (mem: 252.14 MiB)
10:47:23 --scheme: ultra_honk (mem: 252.14 MiB)
10:47:23 --oracle_hash: poseidon2 (mem: 252.14 MiB)
10:47:23 --disable_zk: true (mem: 252.14 MiB)
10:47:23 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 252.14 MiB)
10:47:23 [10:47:23.801]
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.14 MiB)
10:47:23 Initialized BN254 CRS from memory with num points = 1 (mem: 252.14 MiB)
10:47:23 sumcheck_verified: 1 (mem: 252.14 MiB)
10:47:23 libra_evals_verified: 1 (mem: 252.14 MiB)
10:47:23 pairing_check_verified: 1 (mem: 252.14 MiB)
10:47:23 Proof verified successfully (mem: 252.14 MiB)
10:47:23 verified: 1 (mem: 252.14 MiB)
10:47:23 [10:47:23.804]
INFO:
bb-prover Successfully verified proof from key in 45.36101999999664 ms
10:47:23 [10:47:23.808]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:47:23 [10:47:23.808]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eafb03c5/bb/tmp-0x4h1T/proof -k /tmp/eafb03c5/bb/tmp-0x4h1T/vk -i /tmp/eafb03c5/bb/tmp-0x4h1T/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:47:23 [10:47:23.839]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.05 MiB)
10:47:23 Scheme is: ultra_honk, num threads: 128 (mem: 253.05 MiB)
10:47:23 --public_inputs_path: /tmp/eafb03c5/bb/tmp-0x4h1T/public_inputs (mem: 253.05 MiB)
10:47:23 --proof_path: /tmp/eafb03c5/bb/tmp-0x4h1T/proof (mem: 253.05 MiB)
10:47:23 --vk_path: /tmp/eafb03c5/bb/tmp-0x4h1T/vk (mem: 253.05 MiB)
10:47:23 --verbose: true (mem: 253.05 MiB)
10:47:23 --scheme: ultra_honk (mem: 253.05 MiB)
10:47:23 --oracle_hash: poseidon2 (mem: 253.05 MiB)
10:47:23 --disable_zk: true (mem: 253.05 MiB)
10:47:23 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.05 MiB)
10:47:23 [10:47:23.853]
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.05 MiB)
10:47:23 [10:47:23.853]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 253.05 MiB)
10:47:23 [10:47:23.854]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.05 MiB)
10:47:23 libra_evals_verified: 1 (mem:
10:47:23 [10:47:23.855]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.05 MiB)
10:47:23 pairing_check_verified: 1 (mem: 253.05 MiB)
10:47:23 Proof verified successfully (mem: 253.05 MiB)
10:47:23 verified: 1 (mem: 253.05 MiB)
10:47:23 [10:47:23.858]
INFO:
bb-prover Successfully verified proof from key in 50.407680999996956 ms
10:47:23 [10:47:23.955]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
10:47:23
10:47:23 [10:47:23.957]
ERROR:
bb-prover Error running operation at /tmp/eafb03c5/bb/tmp-NhXq1A: Error: Failed to generate witness: Failed assertion
10:47:23
10:47:24 [10:47:24.164]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":78.46104799999739,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
10:47:24 [10:47:24.165]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:47:24 [10:47:24.166]
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/eafb03c5/bb/tmp-6qlLQ6 -b /tmp/eafb03c5/bb/tmp-6qlLQ6/RootParityArtifact-bytecode -w /tmp/eafb03c5/bb/tmp-6qlLQ6/partial-witness.gz -v --init_kzg_accumulator -v
10:47:24 [10:47:24.193]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.05 MiB)
10:47:24 Scheme is: ultra_honk, num threads: 128 (mem: 253.05 MiB)
10:47:24 --scheme: ultra_honk (mem: 253.05 MiB)
10:47:24 --bytecode_path: /tmp/eafb03c5/bb/tmp-6qlLQ6/RootParityArtifact-bytecode (mem: 253.05 MiB)
10:47:24 --witness_path: /tmp/eafb03c5/bb/tmp-6qlLQ6/partial-witness.gz (mem: 253.05 MiB)
10:47:24 --output_path: /tmp/eafb03c5/bb/tmp-6qlLQ6 (mem: 253.05 MiB)
10:47:24 Warning: the following option is called more than once (mem: 253.05 MiB)
10:47:24 [10:47:24.194]
INFO:
bb-prover RootParityArtifact BB out - --verbose: true (mem: 253.05 MiB)
10:47:24 --oracle_hash: poseidon2 (mem: 253.05 MiB)
10:47:24 --output_format: bytes_and_fields (mem: 253.05 MiB)
10:47:24 --write_vk: true (mem: 253.05 MiB)
10:47:24 --disable_zk: true (mem: 253.05 MiB)
10:47:24 --init_kzg_accumulator: true (mem: 253.05 MiB)
10:47:24 [10:47:24.395]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.05 MiB)
10:47:24 [10:47:24.409]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.05 MiB)
10:47:26 [10:47:26.327]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 416.02 MiB)
10:47:28 [10:47:28.924]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 771.39 MiB)
10:47:31 [10:47:31.324]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1043.84 MiB)
10:47:34 [10:47:34.362]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1414.80 MiB)
10:47:34 [10:47:34.363]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1414.80 MiB)
10:47:35 [10:47:35.782]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1826.48 MiB)
10:47:36 [10:47:36.142]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5482.35 MiB)
10:47:38 [10:47:38.031]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3666 ms. (mem: 6065.35 MiB)
10:47:38 [10:47:38.182]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6065.35 MiB)
10:47:38 [10:47:38.184]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6065.35 MiB)
10:47:39 [10:47:39.023]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6065.35 MiB)
10:47:43 [10:47:43.162]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6065.35 MiB)
10:47:47 [10:47:47.760]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6065.35 MiB)
10:47:49 [10:47:49.844]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6780.99 MiB)
10:47:51 [10:47:51.805]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6780.99 MiB)
10:47:59 [10:47:59.037]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6780.99 MiB)
10:48:00 [10:48:00.907]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6780.99 MiB)
10:48:00 [10:48:00.923]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6780.99 MiB)
10:48:01 [10:48:01.655]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/eafb03c5/bb/tmp-6qlLQ6/public_inputs" (mem: 6780.99 MiB)
10:48:01 [10:48:01.658]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/eafb03c5/bb/tmp-6qlLQ6/public_inputs_fields.json" (mem: 6780.99 MiB)
10:48:01 Proof saved to "/tmp/eafb03c5/bb/tmp-6qlLQ6/proof" (mem: 6780.99 MiB)
10:48:01 Proof fields saved to "/tmp/eafb03c5/bb/tmp-6qlLQ6/proof_fields.json" (mem: 6780.99 MiB)
10:48:01 VK saved to "/tmp/eafb03c5/bb/tmp-6qlLQ6/vk" (mem: 6780.99 MiB)
10:48:01 VK fields saved to "/tmp/eafb03c5/bb/tmp-6qlLQ6/vk_fields.json" (mem: 6780.99 MiB)
10:48:01 [10:48:01.868]
INFO:
bb-prover Generated proof for RootParityArtifact in 37700 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":37699.325139,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:48:01 [10:48:01.872]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:48:01 [10:48:01.872]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eafb03c5/bb/tmp-RMEWr8/proof -k /tmp/eafb03c5/bb/tmp-RMEWr8/vk -i /tmp/eafb03c5/bb/tmp-RMEWr8/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:48:01 [10:48:01.901]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.05 MiB)
10:48:01 Scheme is: ultra_honk, num threads: 128 (mem: 253.05 MiB)
10:48:01 --public_inputs_path: /tmp/eafb03c5/bb/tmp-RMEWr8/public_inputs (mem: 253.05 MiB)
10:48:01 --proof_path: /tmp/eafb03c5/bb/tmp-RMEWr8/proof (mem: 253.05 MiB)
10:48:01 --vk_path: /tmp/eafb03c5/bb/tmp-RMEWr8/vk (mem: 253.05 MiB)
10:48:01 --verbose: true (mem: 253.05 MiB)
10:48:01 --scheme: ultra_honk (mem: 253.05 MiB)
10:48:01 --oracle_hash: poseidon2 (mem: 253.05 MiB)
10:48:01 --disable_zk: true (mem: 253.05 MiB)
10:48:01 [10:48:01.902]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.05 MiB)
10:48:01 [10:48:01.914]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.05 MiB)
10:48:01 Proof verification failed (mem: 253.05 MiB)
10:48:01 [10:48:01.915]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 253.05 MiB)
10:48:01 [10:48:01.918]
ERROR:
bb-prover Error running operation at /tmp/eafb03c5/bb/tmp-RMEWr8: ProvingError: Failed to verify proof from key!
10:48:02 [10:48:02.130]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":95.94907200000307,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
10:48:02 [10:48:02.136]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
10:48:02 [10:48:02.136]
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/eafb03c5/bb/tmp-9C5AaD -b /tmp/eafb03c5/bb/tmp-9C5AaD/RootParityArtifact-bytecode -w /tmp/eafb03c5/bb/tmp-9C5AaD/partial-witness.gz -v --init_kzg_accumulator -v
10:48:02 [10:48:02.165]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem:
10:48:02 [10:48:02.166]
INFO:
bb-prover RootParityArtifact BB out - 252.05 MiB)
10:48:02 Scheme is: ultra_honk, num threads: 128 (mem: 252.05 MiB)
10:48:02 --scheme: ultra_honk (mem: 252.05 MiB)
10:48:02 --bytecode_path: /tmp/eafb03c5/bb/tmp-9C5AaD/RootParityArtifact-bytecode (mem: 252.05 MiB)
10:48:02 --witness_path: /tmp/eafb03c5/bb/tmp-9C5AaD/partial-witness.gz (mem: 252.05 MiB)
10:48:02 --output_path: /tmp/eafb03c5/bb/tmp-9C5AaD (mem: 252.05 MiB)
10:48:02 Warning: the following option is called more than once (mem: 252.05 MiB)
10:48:02 --verbose: true (mem: 252.05 MiB)
10:48:02 --oracle_hash: poseidon2 (mem: 252.05 MiB)
10:48:02 --output_format: bytes_and_fields (mem: 252.05 MiB)
10:48:02 --write_vk: true (mem: 252.05 MiB)
10:48:02 --disable_zk: true (mem: 252.05 MiB)
10:48:02 --init_kzg_accumulator: true (mem: 252.05 MiB)
10:48:02 [10:48:02.364]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.05 MiB)
10:48:02 [10:48:02.381]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 252.05 MiB)
10:48:04 [10:48:04.511]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 418.77 MiB)
10:48:07 [10:48:07.201]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 785.98 MiB)
10:48:09 [10:48:09.282]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1059.00 MiB)
10:48:11 [10:48:11.316]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1430.24 MiB)
10:48:11 [10:48:11.317]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1430.24 MiB)
10:48:12 [10:48:12.626]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1844.00 MiB)
10:48:13 [10:48:13.169]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5481.16 MiB)
10:48:14 [10:48:14.507]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3190 ms. (mem: 6063.16 MiB)
10:48:14 [10:48:14.630]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6063.16 MiB)
10:48:14 [10:48:14.630]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6063.16 MiB)
10:48:15 [10:48:15.304]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6063.16 MiB)
10:48:18 [10:48:18.758]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6063.16 MiB)
10:48:23 [10:48:23.064]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6063.16 MiB)
10:48:24 [10:48:24.624]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6782.66 MiB)
10:48:26 [10:48:26.779]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6782.66 MiB)
10:48:33 [10:48:33.574]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6782.66 MiB)
10:48:35 [10:48:35.393]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6782.66 MiB)
10:48:35 [10:48:35.405]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6782.66 MiB)
10:48:35 [10:48:35.956]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/eafb03c5/bb/tmp-9C5AaD/public_inputs" (mem: 6782.66 MiB)
10:48:35 [10:48:35.957]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/eafb03c5/bb/tmp-9C5AaD/public_inputs_fields.json" (mem: 6782.66 MiB)
10:48:35 Proof saved to "/tmp/eafb03c5/bb/tmp-9C5AaD/proof" (mem: 6782.66 MiB)
10:48:35 [10:48:35.957]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/eafb03c5/bb/tmp-9C5AaD/proof_fields.json" (mem: 6782.66 MiB)
10:48:35 VK saved to "/tmp/eafb03c5/bb/tmp-9C5AaD/vk" (mem: 6782.66 MiB)
10:48:35 VK fields saved to "/tmp/eafb03c5/bb/tmp-9C5AaD/vk_fields.json" (mem: 6782.66 MiB)
10:48:36 [10:48:36.158]
INFO:
bb-prover Generated proof for RootParityArtifact in 34021 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34020.604466000004,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
10:48:36 [10:48:36.160]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
10:48:36 [10:48:36.160]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/eafb03c5/bb/tmp-mB8Wa3/proof -k /tmp/eafb03c5/bb/tmp-mB8Wa3/vk -i /tmp/eafb03c5/bb/tmp-mB8Wa3/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
10:48:36 [10:48:36.188]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.05 MiB)
10:48:36 Scheme is: ultra_honk, num threads: 128 (mem:
10:48:36 [10:48:36.188]
VERBOSE:
bb-prover bb-prover (verify) BB out - 253.05 MiB)
10:48:36 --public_inputs_path: /tmp/eafb03c5/bb/tmp-mB8Wa3/public_inputs (mem: 253.05 MiB)
10:48:36 --proof_path: /tmp/eafb03c5/bb/tmp-mB8Wa3/proof (mem: 253.05 MiB)
10:48:36 --vk_path: /tmp/eafb03c5/bb/tmp-mB8Wa3/vk (mem: 253.05 MiB)
10:48:36 --verbose: true (mem: 253.05 MiB)
10:48:36 --scheme: ultra_honk (mem: 253.05 MiB)
10:48:36 --oracle_hash: poseidon2 (mem: 253.05 MiB)
10:48:36 --disable_zk: true (mem: 253.05 MiB)
10:48:36 [10:48:36.189]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 253.05 MiB)
10:48:36 [10:48:36.199]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.05 MiB)
10:48:36 Proof verification failed (mem: 253.05 MiB)
10:48:36 verified: 0 (mem: 253.05 MiB)
10:48:36 [10:48:36.201]
ERROR:
bb-prover Error running operation at /tmp/eafb03c5/bb/tmp-mB8Wa3: ProvingError: Failed to verify proof from key!
10:48:36 [10:48:36.205]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
10:48:36
PASS src/test/bb_prover_parity.test.ts (
127.542 s)
10:48:36 prover/bb_prover/parity
10:48:36
✓ proves the parity circuits (119064 ms)
10:48:36
10:48:36
Test Suites: 1 passed, 1 total
10:48:36
Tests: 1 passed, 1 total
10:48:36
Snapshots: 0 total
10:48:36
Time: 127.633 s
10:48:36
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
10:48:36
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?