Parent Log:
http://ci.aztec-labs.com/fa21d7d5f7f5b039
Command: e67004c310c3c2c0: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/6e2f55a89973b55c8c3c210b7f3a692b4d3d6473
Env: REF_NAME=gh-readonly-queue/next/pr-15216-b52f0ff5ec39d6832a15613ed349e6e2f8077a2d CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 23 15:56:42 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15216_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
15:56:42 +++ id -u
15:56:42 +++ id -g
15:56:42 ++ 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:56:42 + cid=0ca78c55c79240f0faeb7b64993b5435878768dde52917d359f73b976a7c8946
15:56:42 + set +x
15:56:44 {"level":25,"time":1750694204475,"pid":7,"hostname":"0ca78c55c792","module":"logger","msg":"Logger initialized with level verbose"}
15:56:52 [15:56:52.523]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-khtqvU/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
15:56:52 [15:56:52.608]
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/ca938b41/bb
15:56:52 [15:56:52.609]
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/ca938b41/acvm
15:56:52 [15:56:52.617]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/ca938b41/bb
15:56:52 [15:56:52.618]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/ca938b41/acvm
15:56:52 [15:56:52.621]
INFO:
prover-client:proving-broker Proving Broker started
15:56:52 [15:56:52.623]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
15:56:52 [15:56:52.809]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":54.18809800000054,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:56:52 [15:56:52.833]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":58.636147999999594,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:56:52 [15:56:52.837]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:56:52 [15:56:52.837]
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/ca938b41/bb/tmp-SdWg1S -b /tmp/ca938b41/bb/tmp-SdWg1S/BaseParityArtifact-bytecode -w /tmp/ca938b41/bb/tmp-SdWg1S/partial-witness.gz -v --init_kzg_accumulator -v
15:56:52 [15:56:52.867]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":47.77147899999909,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:56:52 [15:56:52.869]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:56:52 [15:56:52.870]
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/ca938b41/bb/tmp-v0UlNr -b /tmp/ca938b41/bb/tmp-v0UlNr/BaseParityArtifact-bytecode -w /tmp/ca938b41/bb/tmp-v0UlNr/partial-witness.gz -v --init_kzg_accumulator -v
15:56:52 [15:56:52.897]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.56 MiB)
15:56:52 Scheme is: ultra_honk, num threads: 128 (mem: 251.56 MiB)
15:56:52 --scheme: ultra_honk (mem: 251.56 MiB)
15:56:52 --bytecode_path: /tmp/ca938b41/bb/tmp-SdWg1S/BaseParityArtifact-bytecode (mem: 251.56 MiB)
15:56:52 --witness_path: /tmp/ca938b41/bb/tmp-SdWg1S/partial-witness.gz (mem: 251.56 MiB)
15:56:52 --output_path: /tmp/ca938b41/bb/tmp-SdWg1S (mem: 251.56 MiB)
15:56:52 Warning: the following option is called more than once (mem: 251.56 MiB)
15:56:52 --verbose: true (mem: 251.56 MiB)
15:56:52 --oracle_hash: poseidon2 (mem: 251.56 MiB)
15:56:52 --output_format: bytes_and_fields (mem: 251.56 MiB)
15:56:52 --write_vk: true (mem: 251.56 MiB)
15:56:52 --disable_zk: true (mem: 251.56 MiB)
15:56:52 --init_kzg_accumulator: true (mem: 251.56 MiB)
15:56:52 [15:56:52.900]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.56 MiB)
15:56:52 Scheme is: ultra_honk, num threads: 128 (mem: 251.56 MiB)
15:56:52 --scheme: ultra_honk (mem: 251.56 MiB)
15:56:52 --bytecode_path: /tmp/ca938b41/bb/tmp-v0UlNr/BaseParityArtifact-bytecode (mem: 251.56 MiB)
15:56:52 --witness_path: /tmp/ca938b41/bb/tmp-v0UlNr/partial-witness.gz (mem: 251.56 MiB)
15:56:52 --output_path: /tmp/ca938b41/bb/tmp-v0UlNr (mem: 251.56 MiB)
15:56:52 Warning: the following option is called more than once (mem: 251.56 MiB)
15:56:52 --verbose: true (mem: 251.56 MiB)
15:56:52 --oracle_hash: poseidon2 (mem: 251.56 MiB)
15:56:52 --output_format: bytes_and_fields (mem: 251.56 MiB)
15:56:52 --write_vk: true (mem: 251.56 MiB)
15:56:52 --disable_zk: true (mem: 251.56 MiB)
15:56:52 --init_kzg_accumulator: true (mem: 251.56 MiB)
15:56:52 [15:56:52.911]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":65.6278710000006,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
15:56:52 [15:56:52.914]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:56:52 [15:56:52.915]
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/ca938b41/bb/tmp-DKOnS6 -b /tmp/ca938b41/bb/tmp-DKOnS6/BaseParityArtifact-bytecode -w /tmp/ca938b41/bb/tmp-DKOnS6/partial-witness.gz -v --init_kzg_accumulator -v
15:56:52 [15:56:52.936]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
15:56:52 [15:56:52.937]
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/ca938b41/bb/tmp-aheeqx -b /tmp/ca938b41/bb/tmp-aheeqx/BaseParityArtifact-bytecode -w /tmp/ca938b41/bb/tmp-aheeqx/partial-witness.gz -v --init_kzg_accumulator -v
15:56:52 [15:56:52.966]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.60 MiB)
15:56:52 Scheme is: ultra_honk, num threads: 128 (mem: 251.60 MiB)
15:56:52 --scheme: ultra_honk (mem: 251.60 MiB)
15:56:52 --bytecode_path: /tmp/ca938b41/bb/tmp-DKOnS6/BaseParityArtifact-bytecode (mem: 251.60 MiB)
15:56:52 --witness_path: /tmp/ca938b41/bb/tmp-DKOnS6/partial-witness.gz (mem: 251.60 MiB)
15:56:52 --output_path: /tmp/ca938b41/bb/tmp-DKOnS6 (mem: 251.60 MiB)
15:56:52 Warning: the following option is called more than once (mem: 251.60 MiB)
15:56:52 --verbose: true (mem: 251.60 MiB)
15:56:52 --oracle_hash: poseidon2 (mem: 251.60 MiB)
15:56:52 --output_format: bytes_and_fields (mem: 251.60 MiB)
15:56:52 --write_vk: true (mem: 251.60 MiB)
15:56:52 --disable_zk: true (mem: 251.60 MiB)
15:56:52 --init_kzg_accumulator: true (mem: 251.60 MiB)
15:56:52 [15:56:52.971]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.60 MiB)
15:56:52 Scheme is: ultra_honk, num threads: 128 (mem: 251.60 MiB)
15:56:52 --scheme: ultra_honk (mem: 251.60 MiB)
15:56:52 --bytecode_path: /tmp/ca938b41/bb/tmp-aheeqx/BaseParityArtifact-bytecode (mem: 251.60 MiB)
15:56:52 --witness_path: /tmp/ca938b41/bb/tmp-aheeqx/partial-witness.gz (mem: 251.60 MiB)
15:56:52 --output_path: /tmp/ca938b41/bb/tmp-aheeqx (mem: 251.60 MiB)
15:56:52 Warning: the following option is called more than once (mem: 251.60 MiB)
15:56:52 --verbose: true (mem: 251.60 MiB)
15:56:52 --oracle_hash: poseidon2 (mem: 251.60 MiB)
15:56:52 --output_format: bytes_and_fields (mem: 251.60 MiB)
15:56:52 --write_vk: true (mem: 251.60 MiB)
15:56:52 --disable_zk: true (mem: 251.60 MiB)
15:56:52 --init_kzg_accumulator: true (mem: 251.60 MiB)
15:56:53 [15:56:53.062]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.56 MiB)
15:56:53 [15:56:53.066]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.56 MiB)
15:56:53 [15:56:53.073]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
15:56:53 [15:56:53.074]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
15:56:53 [15:56:53.074]
INFO:
bb-prover BaseParityArtifact BB out - 251.56
15:56:53 [15:56:53.077]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
15:56:53 [15:56:53.077]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.56 MiB)
15:56:53 Constructing DeciderProvingKey (mem: 251.56 MiB)
15:56:53 [15:56:53.080]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
15:56:53 [15:56:53.081]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 251.56 MiB)
15:56:53 [15:56:53.138]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.60 MiB)
15:56:53 Constructing DeciderProvingKey (mem: 251.60 MiB)
15:56:53 [15:56:53.154]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.60 MiB)
15:56:53 [15:56:53.155]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.60 MiB)
15:56:53 Constructing DeciderProvingKey (mem: 251.60 MiB)
15:56:53 allocating polynomials object in proving key... (mem: 251.60 MiB)
15:56:53 [15:56:53.314]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.56 MiB)
15:56:53 [15:56:53.339]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.56 MiB)
15:56:53 [15:56:53.377]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.60 MiB)
15:56:53 [15:56:53.388]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.60 MiB)
15:56:53 [15:56:53.430]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 364 ms. (mem: 251.56 MiB)
15:56:53 [15:56:53.440]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.56 MiB)
15:56:53 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.56 MiB)
15:56:53 [15:56:53.452]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 251.56 MiB)
15:56:53 [15:56:53.460]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 383 ms. (mem: 251.56 MiB)
15:56:53 [15:56:53.473]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.56 MiB)
15:56:53 [15:56:53.473]
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.56 MiB)
15:56:53 [15:56:53.486]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 251.56 MiB)
15:56:53 [15:56:53.519]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 367 ms. (mem: 251.60 MiB)
15:56:53 [15:56:53.531]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.60 MiB)
15:56:53 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.60 MiB)
15:56:53 [15:56:53.568]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 385 ms. (mem: 251.60 MiB)
15:56:53 WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.60 MiB)
15:56:53 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.60 MiB)
15:56:53 [15:56:53.569]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 251.60 MiB)
15:56:53 [15:56:53.588]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 251.60 MiB)
15:56:54 [15:56:54.586]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.56 MiB)
15:56:54 [15:56:54.719]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.56 MiB)
15:56:54 [15:56:54.831]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.60 MiB)
15:56:54 [15:56:54.931]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.60 MiB)
15:56:55 [15:56:55.090]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.56 MiB)
15:56:55 [15:56:55.185]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.56 MiB)
15:56:55 [15:56:55.409]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.60 MiB)
15:56:55 [15:56:55.489]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.60 MiB)
15:56:55 [15:56:55.522]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.56 MiB)
15:56:55 [15:56:55.559]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.56 MiB)
15:56:55 [15:56:55.622]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.60 MiB)
15:56:55 [15:56:55.704]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.56 MiB)
15:56:55 [15:56:55.718]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.60 MiB)
15:56:55 [15:56:55.789]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.56 MiB)
15:56:55 [15:56:55.824]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.60 MiB)
15:56:55 [15:56:55.938]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.60 MiB)
15:56:57 [15:56:57.502]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.56 MiB)
15:56:57 [15:56:57.611]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.60 MiB)
15:56:57 [15:56:57.622]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.60 MiB)
15:56:57 [15:56:57.623]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.56 MiB)
15:56:57 finished decider proving. (mem: 251.56 MiB)
15:56:57 Public inputs saved to "/tmp/ca938b41/bb/tmp-SdWg1S/public_inputs" (mem: 251.56 MiB)
15:56:57 Public inputs fields saved to "/tmp/ca938b41/bb/tmp-SdWg1S/public_inputs_fields.json" (mem: 251.56 MiB)
15:56:57 Proof saved to "/tmp/ca938b41/bb/tmp-SdWg1S/proof" (mem: 251.56 MiB)
15:56:57 Proof fields saved to "/tmp/ca938b41/bb/tmp-SdWg1S/proof_fields.json" (mem: 251.56 MiB)
15:56:57 VK saved to "/tmp/ca938b41/bb/tmp-SdWg1S/vk" (mem: 251.56 MiB)
15:56:57 VK fields saved to "/tmp/ca938b41/bb/tmp-SdWg1S/vk_fields.json" (mem: 251.56 MiB)
15:56:57 [15:56:57.737]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4886 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4885.070025999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:56:57 [15:56:57.738]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.60 MiB)
15:56:57 finished decider proving. (mem: 251.60 MiB)
15:56:57 Public inputs saved to "/tmp/ca938b41/bb/tmp-aheeqx/public_inputs" (mem: 251.60 MiB)
15:56:57 Public inputs fields saved to "/tmp/ca938b41/bb/tmp-aheeqx/public_inputs_fields.json" (mem: 251.60 MiB)
15:56:57 Proof saved to "/tmp/ca938b41/bb/tmp-aheeqx/proof" (mem: 251.60 MiB)
15:56:57 Proof fields saved to "/tmp/ca938b41/bb/tmp-aheeqx/proof_fields.json" (mem: 251.60 MiB)
15:56:57 VK saved to "/tmp/ca938b41/bb/tmp-aheeqx/vk" (mem: 251.60 MiB)
15:56:57 VK fields saved to "/tmp/ca938b41/bb/tmp-aheeqx/vk_fields.json" (mem: 251.60 MiB)
15:56:57 [15:56:57.739]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.60 MiB)
15:56:57 finished decider proving. (mem: 251.60 MiB)
15:56:57 [15:56:57.745]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/ca938b41/bb/tmp-DKOnS6/public_inputs" (mem: 251.60 MiB)
15:56:57 Public inputs fields saved to "/tmp/ca938b41/bb/tmp-DKOnS6/public_inputs_fields.json" (mem: 251.60 MiB)
15:56:57 Proof saved to "/tmp/ca938b41/bb/tmp-DKOnS6/proof" (mem: 251.60 MiB)
15:56:57 [15:56:57.745]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:56:57 [15:56:57.746]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ca938b41/bb/tmp-RyNHVB/proof -k /tmp/ca938b41/bb/tmp-RyNHVB/vk -i /tmp/ca938b41/bb/tmp-RyNHVB/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:56:57 [15:56:57.786]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/ca938b41/bb/tmp-DKOnS6/proof_fields.json" (mem: 251.60 MiB)
15:56:57 VK saved to "/tmp/ca938b41/bb/tmp-DKOnS6/vk" (mem: 251.60 MiB)
15:56:57 VK fields saved to "/tmp/ca938b41/bb/tmp-DKOnS6/vk_fields.json" (mem: 251.60 MiB)
15:56:57 [15:56:57.792]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4852 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4851.5500680000005,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:56:57 [15:56:57.795]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4874 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4873.608172999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:56:57 [15:56:57.796]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.61 MiB)
15:56:57 Scheme is: ultra_honk, num threads: 128 (mem: 251.61 MiB)
15:56:57 --public_inputs_path: /tmp/ca938b41/bb/tmp-RyNHVB/public_inputs (mem: 251.61 MiB)
15:56:57 --proof_path: /tmp/ca938b41/bb/tmp-RyNHVB/proof (mem: 251.61 MiB)
15:56:57 --vk_path: /tmp/ca938b41/bb/tmp-RyNHVB/vk (mem: 251.61 MiB)
15:56:57 --verbose: true (mem: 251.61 MiB)
15:56:57 --scheme: ultra_honk (mem: 251.61 MiB)
15:56:57 --oracle_hash: poseidon2 (mem: 251.61 MiB)
15:56:57 --disable_zk: true (mem: 251.61 MiB)
15:56:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.61 MiB)
15:56:57 [15:56:57.799]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:56:57 [15:56:57.800]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ca938b41/bb/tmp-nq0Jgg/proof -k /tmp/ca938b41/bb/tmp-nq0Jgg/vk -i /tmp/ca938b41/bb/tmp-nq0Jgg/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:56:57 [15:56:57.834]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:56:57 [15:56:57.835]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ca938b41/bb/tmp-eMphYU/proof -k /tmp/ca938b41/bb/tmp-eMphYU/vk -i /tmp/ca938b41/bb/tmp-eMphYU/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:56:57 [15:56:57.894]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.56 MiB)
15:56:57 [15:56:57.895]
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.61 MiB)
15:56:57 Initialized BN254 CRS from memory with num points = 1 (mem: 251.61 MiB)
15:56:57 sumcheck_verified: 1 (mem: 251.61 MiB)
15:56:57 libra_evals_verified: 1 (mem: 251.61 MiB)
15:56:57 pairing_check_verified: 1 (mem: 251.61 MiB)
15:56:57 Proof verified successfully (mem: 251.61 MiB)
15:56:57 verified: 1 (mem: 251.61 MiB)
15:56:57 [15:56:57.896]
INFO:
bb-prover Successfully verified proof from key in 150.2855610000006 ms
15:56:57 [15:56:57.896]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.68 MiB)
15:56:57 Scheme is: ultra_honk, num threads: 128 (mem: 251.68 MiB)
15:56:57 --public_inputs_path: /tmp/ca938b41/bb/tmp-nq0Jgg/public_inputs (mem: 251.68 MiB)
15:56:57 --proof_path: /tmp/ca938b41/bb/tmp-nq0Jgg/proof (mem: 251.68 MiB)
15:56:57 --vk_path: /tmp/ca938b41/bb/tmp-nq0Jgg/vk (mem: 251.68 MiB)
15:56:57 --verbose: true (mem: 251.68 MiB)
15:56:57 --scheme: ultra_honk (mem: 251.68 MiB)
15:56:57 --oracle_hash: poseidon2 (mem: 251.68 MiB)
15:56:57 --disable_zk: true (mem: 251.68 MiB)
15:56:57 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.68 MiB)
15:56:57 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.68 MiB)
15:56:57 Initialized BN254 CRS from memory with num points = 1 (mem: 251.68 MiB)
15:56:57 sumcheck_verified: 1 (mem: 251.68 MiB)
15:56:57 libra_evals_verified: 1 (mem: 251.68 MiB)
15:56:57 pairing_check_verified: 1 (mem: 251.68 MiB)
15:56:57 Proof verified successfully (mem: 251.68 MiB)
15:56:57 verified: 1 (mem: 251.68 MiB)
15:56:57 [15:56:57.897]
INFO:
bb-prover Successfully verified proof from key in 97.8911680000001 ms
15:56:57 [15:56:57.906]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
15:56:57 [15:56:57.907]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.68 MiB)
15:56:57 Scheme is: ultra_honk, num threads: 128 (mem: 251.68 MiB)
15:56:57 --public_inputs_path: /tmp/ca938b41/bb/tmp-eMphYU/public_inputs (mem: 251.68 MiB)
15:56:57 --proof_path: /tmp/ca938b41/bb/tmp-eMphYU/proof (mem: 251.68 MiB)
15:56:57 --vk_path: /tmp/ca938b41/bb/tmp-eMphYU/vk (mem: 251.68 MiB)
15:56:57 --verbose: true (mem: 251.68 MiB)
15:56:57 --scheme: ultra_honk (mem: 251.68 MiB)
15:56:57 --oracle_hash: poseidon2 (mem: 251.68 MiB)
15:56:57 --disable_zk: true (mem: 251.68 MiB)
15:56:57 [15:56:57.908]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.68 MiB)
15:56:57 [15:56:57.926]
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.68 MiB)
15:56:57 [15:56:57.926]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 251.68 MiB)
15:56:57 [15:56:57.928]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.68 MiB)
15:56:57 libra_evals_verified: 1 (mem: 251.68 MiB)
15:56:57 pairing_check_verified: 1 (mem: 251.68 MiB)
15:56:57 Proof verified successfully (mem: 251.68 MiB)
15:56:57 verified: 1 (mem: 251.68 MiB)
15:56:57 [15:56:57.936]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.56 MiB)
15:56:57 finished decider proving. (mem: 251.56 MiB)
15:56:57 Public inputs saved to "/tmp/ca938b41/bb/tmp-v0UlNr/public_inputs" (mem: 251.56 MiB)
15:56:57 Public inputs fields saved to "/tmp/ca938b41/bb/tmp-v0UlNr/public_inputs_fields.json" (mem: 251.56 MiB)
15:56:57 Proof saved to "/tmp/ca938b41/bb/tmp-v0UlNr/proof" (mem: 251.56 MiB)
15:56:57 Proof fields saved to "/tmp/ca938b41/bb/tmp-v0UlNr/proof_fields.json" (mem: 251.56 MiB)
15:56:57 VK saved to "/tmp/ca938b41/bb/tmp-v0UlNr/vk" (mem: 251.56 MiB)
15:56:57 VK fields saved to "/tmp/ca938b41/bb/tmp-v0UlNr/vk_fields.json" (mem: 251.56 MiB)
15:56:57 [15:56:57.940]
INFO:
bb-prover Successfully verified proof from key in 105.87330399999883 ms
15:56:58 [15:56:57.986]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5113 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5112.295666,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:56:58 [15:56:57.992]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:56:58 [15:56:57.992]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ca938b41/bb/tmp-rCtB7F/proof -k /tmp/ca938b41/bb/tmp-rCtB7F/vk -i /tmp/ca938b41/bb/tmp-rCtB7F/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:56:58 [15:56:58.025]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.75
15:56:58 [15:56:58.026]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
15:56:58 Scheme is: ultra_honk, num threads: 128 (mem: 251.75 MiB)
15:56:58 --public_inputs_path: /tmp/ca938b41/bb/tmp-rCtB7F/public_inputs (mem: 251.75 MiB)
15:56:58 --proof_path: /tmp/ca938b41/bb/tmp-rCtB7F/proof (mem: 251.75 MiB)
15:56:58 --vk_path: /tmp/ca938b41/bb/tmp-rCtB7F/vk (mem: 251.75 MiB)
15:56:58 --verbose: true (mem: 251.75 MiB)
15:56:58 --scheme: ultra_honk (mem: 251.75 MiB)
15:56:58 --oracle_hash: poseidon2 (mem: 251.75 MiB)
15:56:58 --disable_zk: true (mem: 251.75 MiB)
15:56:58 [15:56:58.026]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.75 MiB)
15:56:58 [15:56:58.042]
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.75 MiB)
15:56:58 [15:56:58.043]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 251.75 MiB)
15:56:58 [15:56:58.044]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.75 MiB)
15:56:58 libra_evals_verified: 1 (mem: 251.75 MiB)
15:56:58 pairing_check_verified: 1 (mem: 251.75 MiB)
15:56:58 Proof verified successfully (mem:
15:56:58 [15:56:58.044]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.75 MiB)
15:56:58 verified: 1 (mem: 251.75 MiB)
15:56:58 [15:56:58.045]
INFO:
bb-prover Successfully verified proof from key in 53.90399100000104 ms
15:56:58 [15:56:58.055]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:56:58 [15:56:58.056]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ca938b41/bb/tmp-siuj6v/proof -k /tmp/ca938b41/bb/tmp-siuj6v/vk -i /tmp/ca938b41/bb/tmp-siuj6v/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:56:58 [15:56:58.083]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:56:58 [15:56:58.083]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ca938b41/bb/tmp-UfPwEy/proof -k /tmp/ca938b41/bb/tmp-UfPwEy/vk -i /tmp/ca938b41/bb/tmp-UfPwEy/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:56:58 [15:56:58.111]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:56:58 [15:56:58.111]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ca938b41/bb/tmp-t6nKFX/proof -k /tmp/ca938b41/bb/tmp-t6nKFX/vk -i /tmp/ca938b41/bb/tmp-t6nKFX/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:56:58 [15:56:58.133]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:56:58 [15:56:58.133]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ca938b41/bb/tmp-s6FRmQ/proof -k /tmp/ca938b41/bb/tmp-s6FRmQ/vk -i /tmp/ca938b41/bb/tmp-s6FRmQ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:56:58 [15:56:58.171]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.80 MiB)
15:56:58 Scheme is: ultra_honk, num threads: 128 (mem: 251.80 MiB)
15:56:58 --public_inputs_path: /tmp/ca938b41/bb/tmp-siuj6v/public_inputs (mem: 251.80 MiB)
15:56:58 --proof_path: /tmp/ca938b41/bb/tmp-siuj6v/proof (mem: 251.80 MiB)
15:56:58 --vk_path: /tmp/ca938b41/bb/tmp-siuj6v/vk (mem: 251.80 MiB)
15:56:58 --verbose: true (mem: 251.80 MiB)
15:56:58 --scheme: ultra_honk (mem: 251.80 MiB)
15:56:58 --oracle_hash: poseidon2 (mem: 251.80 MiB)
15:56:58 --disable_zk: true (mem: 251.80 MiB)
15:56:58 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.80 MiB)
15:56:58 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.80 MiB)
15:56:58 Initialized BN254 CRS from memory with num points = 1 (mem: 251.80 MiB)
15:56:58 sumcheck_verified: 1 (mem: 251.80 MiB)
15:56:58 libra_evals_verified: 1 (mem: 251.80 MiB)
15:56:58 pairing_check_verified: 1 (mem: 251.80 MiB)
15:56:58 Proof verified successfully (mem: 251.80 MiB)
15:56:58 verified: 1 (mem: 251.80 MiB)
15:56:58 [15:56:58.176]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.80 MiB)
15:56:58 Scheme is: ultra_honk, num threads: 128 (mem: 251.80 MiB)
15:56:58 --public_inputs_path: /tmp/ca938b41/bb/tmp-UfPwEy/public_inputs (mem: 251.80 MiB)
15:56:58 --proof_path: /tmp/ca938b41/bb/tmp-UfPwEy/proof (mem: 251.80 MiB)
15:56:58 --vk_path: /tmp/ca938b41/bb/tmp-UfPwEy/vk (mem: 251.80 MiB)
15:56:58 --verbose: true (mem: 251.80 MiB)
15:56:58 --scheme: ultra_honk (mem: 251.80 MiB)
15:56:58 --oracle_hash: poseidon2 (mem: 251.80 MiB)
15:56:58 --disable_zk: true (mem: 251.80 MiB)
15:56:58 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.80 MiB)
15:56:58 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.80 MiB)
15:56:58 Initialized BN254 CRS from memory with num points = 1 (mem: 251.80 MiB)
15:56:58 sumcheck_verified: 1 (mem: 251.80 MiB)
15:56:58 libra_evals_verified: 1 (mem: 251.80 MiB)
15:56:58 pairing_check_verified: 1 (mem: 251.80 MiB)
15:56:58 Proof verified successfully (mem: 251.80 MiB)
15:56:58 verified: 1 (mem: 251.80 MiB)
15:56:58 [15:56:58.177]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.80 MiB)
15:56:58 Scheme is: ultra_honk, num threads: 128 (mem: 251.80 MiB)
15:56:58 --public_inputs_path: /tmp/ca938b41/bb/tmp-t6nKFX/public_inputs (mem: 251.80 MiB)
15:56:58 --proof_path: /tmp/ca938b41/bb/tmp-t6nKFX/proof (mem: 251.80 MiB)
15:56:58 --vk_path: /tmp/ca938b41/bb/tmp-t6nKFX/vk (mem: 251.80 MiB)
15:56:58 --verbose: true (mem: 251.80 MiB)
15:56:58 --scheme: ultra_honk (mem: 251.80 MiB)
15:56:58 --oracle_hash: poseidon2 (mem: 251.80 MiB)
15:56:58 --disable_zk: true (mem: 251.80 MiB)
15:56:58 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.80 MiB)
15:56:58 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.80 MiB)
15:56:58 Initialized BN254 CRS from memory with num points = 1 (mem: 251.80 MiB)
15:56:58 sumcheck_verified: 1 (mem: 251.80 MiB)
15:56:58 libra_evals_verified: 1 (mem: 251.80 MiB)
15:56:58 pairing_check_verified: 1 (mem: 251.80 MiB)
15:56:58 Proof verified successfully (mem: 251.80 MiB)
15:56:58 verified: 1 (mem: 251.80 MiB)
15:56:58 [15:56:58.177]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.80 MiB)
15:56:58 Scheme is: ultra_honk, num threads: 128 (mem: 251.80 MiB)
15:56:58 --public_inputs_path: /tmp/ca938b41/bb/tmp-s6FRmQ/public_inputs (mem: 251.80 MiB)
15:56:58 --proof_path: /tmp/ca938b41/bb/tmp-s6FRmQ/proof (mem: 251.80 MiB)
15:56:58 --vk_path: /tmp/ca938b41/bb/tmp-s6FRmQ/vk (mem: 251.80 MiB)
15:56:58 --verbose: true (mem: 251.80 MiB)
15:56:58 --scheme: ultra_honk (mem: 251.80 MiB)
15:56:58 --oracle_hash: poseidon2 (mem: 251.80 MiB)
15:56:58 --disable_zk: true (mem: 251.80 MiB)
15:56:58 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.80 MiB)
15:56:58 [15:56:58.179]
INFO:
bb-prover Successfully verified proof from key in 67.76093299999957 ms
15:56:58 [15:56:58.179]
INFO:
bb-prover Successfully verified proof from key in 96.57819500000005 ms
15:56:58 [15:56:58.180]
INFO:
bb-prover Successfully verified proof from key in 124.81904200000099 ms
15:56:58 [15:56:58.181]
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.80 MiB)
15:56:58 [15:56:58.182]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 251.80 MiB)
15:56:58 [15:56:58.185]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.80 MiB)
15:56:58 libra_evals_verified: 1 (mem: 251.80 MiB)
15:56:58 pairing_check_verified: 1 (mem: 251.80 MiB)
15:56:58 Proof verified successfully (mem: 251.80 MiB)
15:56:58 verified: 1 (mem: 251.80 MiB)
15:56:58 [15:56:58.186]
INFO:
bb-prover Successfully verified proof from key in 53.72844599999917 ms
15:56:58 [15:56:58.470]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":83.6454849999991,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
15:56:58 [15:56:58.476]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:56:58 [15:56:58.476]
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/ca938b41/bb/tmp-BmRuvR -b /tmp/ca938b41/bb/tmp-BmRuvR/RootParityArtifact-bytecode -w /tmp/ca938b41/bb/tmp-BmRuvR/partial-witness.gz -v --init_kzg_accumulator -v
15:56:58 [15:56:58.507]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 251.85 MiB)
15:56:58 [15:56:58.508]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 251.85 MiB)
15:56:58 --scheme: ultra_honk (mem: 251.85 MiB)
15:56:58 --bytecode_path: /tmp/ca938b41/bb/tmp-BmRuvR/RootParityArtifact-bytecode (mem: 251.85 MiB)
15:56:58 --witness_path: /tmp/ca938b41/bb/tmp-BmRuvR/partial-witness.gz (mem: 251.85 MiB)
15:56:58 --output_path: /tmp/ca938b41/bb/tmp-BmRuvR (mem: 251.85 MiB)
15:56:58 Warning: the following option is called more than once (mem: 251.85 MiB)
15:56:58 --verbose: true (mem: 251.85 MiB)
15:56:58 --oracle_hash: poseidon2 (mem: 251.85 MiB)
15:56:58 --output_format: bytes_and_fields (mem: 251.85 MiB)
15:56:58 --write_vk: true (mem: 251.85 MiB)
15:56:58 --disable_zk: true (mem: 251.85 MiB)
15:56:58 --init_kzg_accumulator: true (mem: 251.85 MiB)
15:56:58 [15:56:58.700]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.85 MiB)
15:57:00 [15:57:00.763]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 419.82 MiB)
15:57:02 [15:57:02.965]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 788.09 MiB)
15:57:05 [15:57:05.022]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1060.10 MiB)
15:57:07 [15:57:07.327]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1431.51 MiB)
15:57:07 Constructing DeciderProvingKey (mem: 1431.51 MiB)
15:57:08 [15:57:08.703]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1844.07 MiB)
15:57:09 [15:57:09.079]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5481.85 MiB)
15:57:10 [15:57:10.818]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3492 ms. (mem: 6058.85 MiB)
15:57:10 [15:57:10.952]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6058.85 MiB)
15:57:10 [15:57:10.952]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6058.85 MiB)
15:57:11 [15:57:11.656]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6058.85 MiB)
15:57:16 [15:57:16.714]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6058.85 MiB)
15:57:22 [15:57:22.741]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6058.85 MiB)
15:57:25 [15:57:25.443]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds...
15:57:25 [15:57:25.445]
INFO:
bb-prover RootParityArtifact BB out - (mem:
15:57:25 [15:57:25.445]
INFO:
bb-prover RootParityArtifact BB out - 6738.27 MiB)
15:57:28 [15:57:28.549]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6738.27 MiB)
15:57:36 [15:57:36.055]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6738.27 MiB)
15:57:37 [15:57:37.814]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6738.27 MiB)
15:57:37 [15:57:37.824]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6738.27 MiB)
15:57:38 [15:57:38.445]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/ca938b41/bb/tmp-BmRuvR/public_inputs" (mem: 6738.27 MiB)
15:57:38 Public inputs fields saved to "/tmp/ca938b41/bb/tmp-BmRuvR/public_inputs_fields.json" (mem: 6738.27 MiB)
15:57:38 Proof saved to "/tmp/ca938b41/bb/tmp-BmRuvR/proof" (mem: 6738.27 MiB)
15:57:38 Proof fields saved to "/tmp/ca938b41/bb/tmp-BmRuvR/proof_fields.json" (mem: 6738.27 MiB)
15:57:38 VK saved to "/tmp/ca938b41/bb/tmp-BmRuvR/vk" (mem: 6738.27 MiB)
15:57:38 VK fields saved to "/tmp/ca938b41/bb/tmp-BmRuvR/vk_fields.json" (mem: 6738.27 MiB)
15:57:38 [15:57:38.636]
INFO:
bb-prover Generated proof for RootParityArtifact in 40151 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40150.763268,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:57:38 [15:57:38.638]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:57:38 [15:57:38.639]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ca938b41/bb/tmp-pcQXKR/proof -k /tmp/ca938b41/bb/tmp-pcQXKR/vk -i /tmp/ca938b41/bb/tmp-pcQXKR/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:57:38 [15:57:38.666]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.42 MiB)
15:57:38 [15:57:38.666]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.42 MiB)
15:57:38 --public_inputs_path: /tmp/ca938b41/bb/tmp-pcQXKR/public_inputs (mem: 252.42 MiB)
15:57:38 --proof_path: /tmp/ca938b41/bb/tmp-pcQXKR/proof (mem: 252.42 MiB)
15:57:38 --vk_path: /tmp/ca938b41/bb/tmp-pcQXKR/vk (mem: 252.42 MiB)
15:57:38 --verbose: true (mem: 252.42 MiB)
15:57:38 --scheme: ultra_honk (mem: 252.42 MiB)
15:57:38 --oracle_hash: poseidon2 (mem: 252.42 MiB)
15:57:38 --disable_zk: true (mem: 252.42 MiB)
15:57:38 [15:57:38.667]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 252.42 MiB)
15:57:38 [15:57:38.681]
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.42 MiB)
15:57:38 [15:57:38.682]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 252.42 MiB)
15:57:38 [15:57:38.683]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.42 MiB)
15:57:38 libra_evals_verified: 1 (mem: 252.42 MiB)
15:57:38 pairing_check_verified: 1 (mem: 252.42 MiB)
15:57:38 Proof verified successfully
15:57:38 [15:57:38.683]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 252.42 MiB)
15:57:38 verified: 1 (mem: 252.42 MiB)
15:57:38 [15:57:38.684]
INFO:
bb-prover Successfully verified proof from key in 46.148465999998734 ms
15:57:38 [15:57:38.690]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:57:38 [15:57:38.690]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ca938b41/bb/tmp-vgvSB8/proof -k /tmp/ca938b41/bb/tmp-vgvSB8/vk -i /tmp/ca938b41/bb/tmp-vgvSB8/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:57:38 [15:57:38.719]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.86 MiB)
15:57:38 Scheme is: ultra_honk, num threads: 128 (mem: 251.86 MiB)
15:57:38 --public_inputs_path: /tmp/ca938b41/bb/tmp-vgvSB8/public_inputs (mem: 251.86 MiB)
15:57:38 --proof_path: /tmp/ca938b41/bb/tmp-vgvSB8/proof (mem: 251.86 MiB)
15:57:38 --vk_path: /tmp/ca938b41/bb/tmp-vgvSB8/vk (mem: 251.86 MiB)
15:57:38 --verbose: true (mem: 251.86 MiB)
15:57:38 --scheme: ultra_honk (mem: 251.86 MiB)
15:57:38 --oracle_hash: poseidon2 (mem: 251.86 MiB)
15:57:38 --disable_zk: true (mem: 251.86 MiB)
15:57:38 [15:57:38.720]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 251.86 MiB)
15:57:38 [15:57:38.741]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.86 MiB)
15:57:38 Initialized BN254 CRS from memory with num points = 1 (mem: 251.86 MiB)
15:57:38 sumcheck_verified: 1 (mem: 251.86 MiB)
15:57:38 libra_evals_verified: 1 (mem: 251.86 MiB)
15:57:38 pairing_check_verified: 1 (mem: 251.86 MiB)
15:57:38 Proof verified successfully (mem: 251.86 MiB)
15:57:38 verified: 1 (mem: 251.86 MiB)
15:57:38 [15:57:38.742]
INFO:
bb-prover Successfully verified proof from key in 52.35742100000061 ms
15:57:38 [15:57:38.871]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
15:57:38
15:57:38 [15:57:38.871]
ERROR:
bb-prover Error running operation at /tmp/ca938b41/bb/tmp-whtiic: Error: Failed to generate witness: Failed assertion
15:57:38
15:57:39 [15:57:39.057]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":66.13693599999533,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
15:57:39 [15:57:39.059]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:57:39 [15:57:39.059]
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/ca938b41/bb/tmp-EMd2qR -b /tmp/ca938b41/bb/tmp-EMd2qR/RootParityArtifact-bytecode -w /tmp/ca938b41/bb/tmp-EMd2qR/partial-witness.gz -v --init_kzg_accumulator -v
15:57:39 [15:57:39.087]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
15:57:39 [15:57:39.088]
INFO:
bb-prover RootParityArtifact BB out - (mem: 256.54 MiB)
15:57:39 Scheme is: ultra_honk, num threads: 128 (mem: 256.54 MiB)
15:57:39 --scheme: ultra_honk (mem: 256.54 MiB)
15:57:39 --bytecode_path: /tmp/ca938b41/bb/tmp-EMd2qR/RootParityArtifact-bytecode (mem: 256.54 MiB)
15:57:39 --witness_path: /tmp/ca938b41/bb/tmp-EMd2qR/partial-witness.gz (mem: 256.54 MiB)
15:57:39 --output_path: /tmp/ca938b41/bb/tmp-EMd2qR (mem: 256.54 MiB)
15:57:39 Warning: the following option is called more than once (mem: 256.54 MiB)
15:57:39 --verbose: true (mem: 256.54 MiB)
15:57:39 --oracle_hash: poseidon2 (mem: 256.54 MiB)
15:57:39 --output_format: bytes_and_fields (mem: 256.54 MiB)
15:57:39 --write_vk: true (mem: 256.54 MiB)
15:57:39 --disable_zk: true (mem: 256.54 MiB)
15:57:39 --init_kzg_accumulator: true (mem: 256.54 MiB)
15:57:39 [15:57:39.274]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.54 MiB)
15:57:39 [15:57:39.286]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses!
15:57:39 [15:57:39.287]
INFO:
bb-prover RootParityArtifact BB out - (mem:
15:57:39 [15:57:39.287]
INFO:
bb-prover RootParityArtifact BB out - 256.54
15:57:39 [15:57:39.288]
INFO:
bb-prover RootParityArtifact BB out - MiB)
15:57:39 [15:57:39.291]
INFO:
bb-prover RootParityArtifact BB out -
15:57:41 [15:57:41.550]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 422.07 MiB)
15:57:43 [15:57:43.962]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 780.80 MiB)
15:57:46 [15:57:46.318]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1049.64 MiB)
15:57:48 [15:57:48.930]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1420.12 MiB)
15:57:48 [15:57:48.931]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1420.12 MiB)
15:57:50 [15:57:50.332]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1832.54 MiB)
15:57:50 [15:57:50.690]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5489.70 MiB)
15:57:52 [15:57:52.414]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3482 ms. (mem: 6069.70 MiB)
15:57:52 [15:57:52.542]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6069.70 MiB)
15:57:52 [15:57:52.543]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6069.70 MiB)
15:57:53 [15:57:53.259]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6069.70 MiB)
15:57:57 [15:57:57.268]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6069.70 MiB)
15:58:01 [15:58:01.951]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6069.70 MiB)
15:58:03 [15:58:03.617]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6792.32 MiB)
15:58:05 [15:58:05.801]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6792.32 MiB)
15:58:13 [15:58:13.155]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6792.32 MiB)
15:58:15 [15:58:15.291]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6792.32 MiB)
15:58:15 [15:58:15.291]
INFO:
bb-prover RootParityArtifact BB out -
15:58:15 [15:58:15.335]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6792.32 MiB)
15:58:16 [15:58:16.137]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/ca938b41/bb/tmp-EMd2qR/public_inputs" (mem: 6792.32 MiB)
15:58:16 [15:58:16.138]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/ca938b41/bb/tmp-EMd2qR/public_inputs_fields.json" (mem: 6792.32 MiB)
15:58:16 Proof saved to "/tmp/ca938b41/bb/tmp-EMd2qR/proof" (mem: 6792.32 MiB)
15:58:16 Proof fields saved to "/tmp/ca938b41/bb/tmp-EMd2qR/proof_fields.json" (mem: 6792.32 MiB)
15:58:16 [15:58:16.138]
INFO:
bb-prover RootParityArtifact BB out - VK saved to "/tmp/ca938b41/bb/tmp-EMd2qR/vk" (mem: 6792.32 MiB)
15:58:16 VK fields saved to "/tmp/ca938b41/bb/tmp-EMd2qR/vk_fields.json" (mem: 6792.32 MiB)
15:58:16 [15:58:16.376]
INFO:
bb-prover Generated proof for RootParityArtifact in 37315 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":37314.206894,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:58:16 [15:58:16.379]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:58:16 [15:58:16.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/ca938b41/bb/tmp-euWRnK/proof -k /tmp/ca938b41/bb/tmp-euWRnK/vk -i /tmp/ca938b41/bb/tmp-euWRnK/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:58:16 [15:58:16.407]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.54 MiB)
15:58:16 Scheme is: ultra_honk, num threads: 128 (mem: 256.54 MiB)
15:58:16 [15:58:16.408]
VERBOSE:
bb-prover bb-prover (verify) BB out - --public_inputs_path: /tmp/ca938b41/bb/tmp-euWRnK/public_inputs (mem: 256.54 MiB)
15:58:16 --proof_path: /tmp/ca938b41/bb/tmp-euWRnK/proof (mem: 256.54 MiB)
15:58:16 --vk_path: /tmp/ca938b41/bb/tmp-euWRnK/vk (mem: 256.54 MiB)
15:58:16 --verbose: true (mem: 256.54 MiB)
15:58:16 --scheme: ultra_honk (mem: 256.54 MiB)
15:58:16 --oracle_hash: poseidon2 (mem: 256.54 MiB)
15:58:16 --disable_zk: true (mem: 256.54 MiB)
15:58:16 [15:58:16.408]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.54 MiB)
15:58:16 [15:58:16.420]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 256.54 MiB)
15:58:16 Proof verification failed (mem: 256.54 MiB)
15:58:16 verified: 0 (mem: 256.54 MiB)
15:58:16 [15:58:16.422]
ERROR:
bb-prover Error running operation at /tmp/ca938b41/bb/tmp-euWRnK: ProvingError: Failed to verify proof from key!
15:58:16 [15:58:16.600]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":92.99702799999795,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
15:58:16 [15:58:16.601]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
15:58:16 [15:58:16.602]
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/ca938b41/bb/tmp-Vw6PQi -b /tmp/ca938b41/bb/tmp-Vw6PQi/RootParityArtifact-bytecode -w /tmp/ca938b41/bb/tmp-Vw6PQi/partial-witness.gz -v --init_kzg_accumulator -v
15:58:16 [15:58:16.633]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 256.54 MiB)
15:58:16 Scheme is: ultra_honk, num threads: 128 (mem: 256.54 MiB)
15:58:16 --scheme: ultra_honk (mem: 256.54 MiB)
15:58:16 --bytecode_path: /tmp/ca938b41/bb/tmp-Vw6PQi/RootParityArtifact-bytecode (mem: 256.54 MiB)
15:58:16 --witness_path: /tmp/ca938b41/bb/tmp-Vw6PQi/partial-witness.gz (mem: 256.54 MiB)
15:58:16 --output_path: /tmp/ca938b41/bb/tmp-Vw6PQi (mem: 256.54 MiB)
15:58:16 Warning: the following option is called more than once (mem: 256.54 MiB)
15:58:16 --verbose: true (mem: 256.54 MiB)
15:58:16 --oracle_hash: poseidon2 (mem: 256.54 MiB)
15:58:16 --output_format: bytes_and_fields (mem: 256.54 MiB)
15:58:16 --write_vk: true (mem: 256.54 MiB)
15:58:16 --disable_zk: true (mem: 256.54 MiB)
15:58:16 --init_kzg_accumulator: true (mem: 256.54 MiB)
15:58:16 [15:58:16.817]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 256.54 MiB)
15:58:16 [15:58:16.833]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 256.54 MiB)
15:58:18 [15:58:18.505]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 423.99 MiB)
15:58:21 [15:58:21.225]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 788.33 MiB)
15:58:23 [15:58:23.227]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1061.62 MiB)
15:58:25 [15:58:25.529]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1433.13 MiB)
15:58:25 [15:58:25.530]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1433.13 MiB)
15:58:26 [15:58:26.591]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1846.89 MiB)
15:58:26 [15:58:26.981]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5481.65 MiB)
15:58:28 [15:58:28.452]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 2921 ms. (mem: 6059.65 MiB)
15:58:28 [15:58:28.585]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6059.65 MiB)
15:58:28 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6059.65 MiB)
15:58:29 [15:58:29.428]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6059.65 MiB)
15:58:32 [15:58:32.788]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 6059.65 MiB)
15:58:37 [15:58:37.067]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6059.65 MiB)
15:58:39 [15:58:39.080]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6795.49 MiB)
15:58:41 [15:58:41.208]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6795.49 MiB)
15:58:47 [15:58:47.569]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6795.49 MiB)
15:58:49 [15:58:49.261]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6795.49 MiB)
15:58:49 [15:58:49.268]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6795.49 MiB)
15:58:49 [15:58:49.724]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/ca938b41/bb/tmp-Vw6PQi/public_inputs" (mem: 6795.49 MiB)
15:58:49 [15:58:49.724]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/ca938b41/bb/tmp-Vw6PQi/public_inputs_fields.json" (mem: 6795.49 MiB)
15:58:49 Proof saved to "/tmp/ca938b41/bb/tmp-Vw6PQi/proof" (mem: 6795.49 MiB)
15:58:49 [15:58:49.725]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/ca938b41/bb/tmp-Vw6PQi/proof_fields.json" (mem: 6795.49 MiB)
15:58:49 VK saved to "/tmp/ca938b41/bb/tmp-Vw6PQi/vk" (mem: 6795.49 MiB)
15:58:49 VK fields saved to "/tmp/ca938b41/bb/tmp-Vw6PQi/vk_fields.json" (mem: 6795.49 MiB)
15:58:49 [15:58:49.884]
INFO:
bb-prover Generated proof for RootParityArtifact in 33281 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":33280.445511,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
15:58:49 [15:58:49.886]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
15:58:49 [15:58:49.887]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/ca938b41/bb/tmp-Cgb9UC/proof -k /tmp/ca938b41/bb/tmp-Cgb9UC/vk -i /tmp/ca938b41/bb/tmp-Cgb9UC/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
15:58:49 [15:58:49.905]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 256.54 MiB)
15:58:49 [15:58:49.906]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 256.54 MiB)
15:58:49 --public_inputs_path: /tmp/ca938b41/bb/tmp-Cgb9UC/public_inputs (mem: 256.54 MiB)
15:58:49 --proof_path: /tmp/ca938b41/bb/tmp-Cgb9UC/proof (mem: 256.54 MiB)
15:58:49 --vk_path: /tmp/ca938b41/bb/tmp-Cgb9UC/vk (mem: 256.54 MiB)
15:58:49 --verbose: true (mem: 256.54 MiB)
15:58:49 --scheme: ultra_honk (mem: 256.54 MiB)
15:58:49 --oracle_hash: poseidon2 (mem: 256.54 MiB)
15:58:49 --disable_zk: true (mem: 256.54 MiB)
15:58:49 [15:58:49.906]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 256.54 MiB)
15:58:49 [15:58:49.915]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 256.54 MiB)
15:58:49 Proof verification failed (mem: 256.54 MiB)
15:58:49 [15:58:49.916]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 256.54 MiB)
15:58:49 [15:58:49.916]
ERROR:
bb-prover Error running operation at /tmp/ca938b41/bb/tmp-Cgb9UC: ProvingError: Failed to verify proof from key!
15:58:49 [15:58:49.919]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
15:58:49
PASS src/test/bb_prover_parity.test.ts (
125.674 s)
15:58:49 prover/bb_prover/parity
15:58:49
✓ proves the parity circuits (117292 ms)
15:58:49
15:58:49
Test Suites: 1 passed, 1 total
15:58:49
Tests: 1 passed, 1 total
15:58:49
Snapshots: 0 total
15:58:49
Time: 125.759 s
15:58:49
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
15:58:49
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?