Parent Log:
http://ci.aztec-labs.com/24684d1f39d30db8
Command: b71f9d6a9e3f68ca: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/ee24aac96469b4f1cb8d70e614b2dd27bf0eb134
Env: REF_NAME=gh-readonly-queue/next/pr-15242-1c2c2ee2949dbe31742cc9501a31bf3bce8083cf CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 24 14:03:09 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15242_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
14:03:09 +++ id -u
14:03:09 +++ id -g
14:03:09 ++ 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'\'''
14:03:10 + cid=ffcddbc847e8d7a50e0c7266a9b3ba270221a8e94c3965a8dcace48f3d63ae4f
14:03:10 + set +x
14:03:12 {"level":25,"time":1750773792366,"pid":7,"hostname":"ffcddbc847e8","module":"logger","msg":"Logger initialized with level verbose"}
14:03:20 [14:03:20.544]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-7PLlRW/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
14:03:20 [14:03:20.614]
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/26801428/bb
14:03:20 [14:03:20.616]
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/26801428/acvm
14:03:20 [14:03:20.618]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/26801428/bb
14:03:20 [14:03:20.621]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/26801428/acvm
14:03:20 [14:03:20.624]
INFO:
prover-client:proving-broker Proving Broker started
14:03:20 [14:03:20.637]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
14:03:20 [14:03:20.820]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":77.56781899999987,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:03:20 [14:03:20.847]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":59.49211699999978,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:03:20 [14:03:20.860]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":42.58636800000022,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:03:20 [14:03:20.863]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:03:20 [14:03:20.863]
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/26801428/bb/tmp-5LghYk -b /tmp/26801428/bb/tmp-5LghYk/BaseParityArtifact-bytecode -w /tmp/26801428/bb/tmp-5LghYk/partial-witness.gz -v --init_kzg_accumulator -v
14:03:20 [14:03:20.887]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:03:20 [14:03:20.888]
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/26801428/bb/tmp-xq6JP7 -b /tmp/26801428/bb/tmp-xq6JP7/BaseParityArtifact-bytecode -w /tmp/26801428/bb/tmp-xq6JP7/partial-witness.gz -v --init_kzg_accumulator -v
14:03:20 [14:03:20.922]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:03:20 [14:03:20.923]
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/26801428/bb/tmp-fZIhJE -b /tmp/26801428/bb/tmp-fZIhJE/BaseParityArtifact-bytecode -w /tmp/26801428/bb/tmp-fZIhJE/partial-witness.gz -v --init_kzg_accumulator -v
14:03:20 [14:03:20.942]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.73 MiB)
14:03:20 Scheme is: ultra_honk, num threads: 128 (mem: 252.73 MiB)
14:03:20 --scheme: ultra_honk (mem: 252.73 MiB)
14:03:20 --bytecode_path: /tmp/26801428/bb/tmp-5LghYk/BaseParityArtifact-bytecode (mem: 252.73 MiB)
14:03:20 --witness_path: /tmp/26801428/bb/tmp-5LghYk/partial-witness.gz (mem: 252.73 MiB)
14:03:20 --output_path: /tmp/26801428/bb/tmp-5LghYk (mem: 252.73 MiB)
14:03:20 Warning: the following option is called more than once (mem: 252.73 MiB)
14:03:20 --verbose: true (mem: 252.73 MiB)
14:03:20 --oracle_hash: poseidon2 (mem: 252.73 MiB)
14:03:20 --output_format: bytes_and_fields (mem: 252.73 MiB)
14:03:20 --write_vk: true (mem: 252.73 MiB)
14:03:20 --disable_zk: true (mem: 252.73 MiB)
14:03:20 --init_kzg_accumulator: true (mem: 252.73 MiB)
14:03:20 [14:03:20.944]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.73 MiB)
14:03:20 Scheme is: ultra_honk, num threads: 128 (mem: 252.73 MiB)
14:03:20 --scheme: ultra_honk (mem: 252.73 MiB)
14:03:20 --bytecode_path: /tmp/26801428/bb/tmp-xq6JP7/BaseParityArtifact-bytecode (mem: 252.73 MiB)
14:03:20 --witness_path: /tmp/26801428/bb/tmp-xq6JP7/partial-witness.gz (mem: 252.73 MiB)
14:03:20 --output_path: /tmp/26801428/bb/tmp-xq6JP7 (mem: 252.73 MiB)
14:03:20 Warning: the following option is called more than once (mem: 252.73 MiB)
14:03:20 --verbose: true (mem: 252.73 MiB)
14:03:20 --oracle_hash: poseidon2 (mem: 252.73 MiB)
14:03:20 --output_format: bytes_and_fields (mem: 252.73 MiB)
14:03:20 --write_vk: true (mem: 252.73 MiB)
14:03:20 --disable_zk: true (mem: 252.73 MiB)
14:03:20 --init_kzg_accumulator: true (mem: 252.73 MiB)
14:03:20 [14:03:20.955]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":58.85857600000054,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:03:20 [14:03:20.957]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 253.13 MiB)
14:03:20 Scheme is: ultra_honk, num threads: 128 (mem: 253.13 MiB)
14:03:20 --scheme: ultra_honk (mem: 253.13 MiB)
14:03:20 --bytecode_path: /tmp/26801428/bb/tmp-fZIhJE/BaseParityArtifact-bytecode (mem: 253.13 MiB)
14:03:20 --witness_path: /tmp/26801428/bb/tmp-fZIhJE/partial-witness.gz (mem: 253.13 MiB)
14:03:20 --output_path: /tmp/26801428/bb/tmp-fZIhJE (mem: 253.13 MiB)
14:03:20 Warning: the following option is called more than once (mem: 253.13 MiB)
14:03:20 --verbose: true (mem: 253.13 MiB)
14:03:20 --oracle_hash: poseidon2 (mem: 253.13 MiB)
14:03:20 --output_format: bytes_and_fields (mem: 253.13 MiB)
14:03:20 --write_vk: true (mem: 253.13 MiB)
14:03:20 --disable_zk: true (mem: 253.13 MiB)
14:03:20 --init_kzg_accumulator: true (mem: 253.13 MiB)
14:03:20 [14:03:20.962]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:03:20 [14:03:20.963]
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/26801428/bb/tmp-Pwp4vy -b /tmp/26801428/bb/tmp-Pwp4vy/BaseParityArtifact-bytecode -w /tmp/26801428/bb/tmp-Pwp4vy/partial-witness.gz -v --init_kzg_accumulator -v
14:03:20 [14:03:20.989]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 252.78 MiB)
14:03:20 Scheme is: ultra_honk, num threads: 128 (mem: 252.78 MiB)
14:03:20 --scheme: ultra_honk (mem: 252.78 MiB)
14:03:20 --bytecode_path: /tmp/26801428/bb/tmp-Pwp4vy/BaseParityArtifact-bytecode (mem: 252.78 MiB)
14:03:20 --witness_path: /tmp/26801428/bb/tmp-Pwp4vy/partial-witness.gz (mem: 252.78 MiB)
14:03:20 --output_path: /tmp/26801428/bb/tmp-Pwp4vy (mem: 252.78 MiB)
14:03:20 Warning: the following option is called more than once (mem: 252.78 MiB)
14:03:20 --verbose: true (mem: 252.78 MiB)
14:03:20 --oracle_hash: poseidon2 (mem: 252.78 MiB)
14:03:20 --output_format: bytes_and_fields (mem: 252.78 MiB)
14:03:20 --write_vk: true (mem: 252.78 MiB)
14:03:20 --disable_zk: true (mem: 252.78 MiB)
14:03:20 --init_kzg_accumulator: true (mem: 252.78 MiB)
14:03:21 [14:03:21.035]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.73 MiB)
14:03:21 Constructing DeciderProvingKey (mem: 252.73 MiB)
14:03:21 [14:03:21.036]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
14:03:21 [14:03:21.037]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
14:03:21 [14:03:21.037]
INFO:
bb-prover BaseParityArtifact BB out - 252.73
14:03:21 [14:03:21.037]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
14:03:21 [14:03:21.037]
INFO:
bb-prover BaseParityArtifact BB out -
14:03:21 [14:03:21.114]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
14:03:21 [14:03:21.116]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 253.13 MiB)
14:03:21 Constructing DeciderProvingKey (mem: 253.13 MiB)
14:03:21 [14:03:21.118]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 252.73 MiB)
14:03:21 Constructing DeciderProvingKey (mem: 252.73 MiB)
14:03:21 [14:03:21.122]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
14:03:21 [14:03:21.123]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
14:03:21 [14:03:21.124]
INFO:
bb-prover BaseParityArtifact BB out - 252.73 MiB)
14:03:21 [14:03:21.125]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 253.13 MiB)
14:03:21 [14:03:21.193]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
14:03:21 [14:03:21.194]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 252.78 MiB)
14:03:21 [14:03:21.194]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 252.78 MiB)
14:03:21 [14:03:21.218]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 252.78 MiB)
14:03:21 [14:03:21.257]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.73 MiB)
14:03:21 [14:03:21.345]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.73 MiB)
14:03:21 [14:03:21.355]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 323 ms. (mem: 252.73 MiB)
14:03:21 [14:03:21.360]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.73 MiB)
14:03:21 [14:03:21.365]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.73 MiB)
14:03:21 [14:03:21.388]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 253.13 MiB)
14:03:21 [14:03:21.402]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 252.73 MiB)
14:03:21 [14:03:21.473]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 355 ms. (mem: 252.73 MiB)
14:03:21 [14:03:21.479]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.73 MiB)
14:03:21 [14:03:21.480]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.73 MiB)
14:03:21 [14:03:21.491]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 252.73 MiB)
14:03:21 [14:03:21.498]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 252.78 MiB)
14:03:21 [14:03:21.534]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 415 ms. (mem: 253.13 MiB)
14:03:21 [14:03:21.547]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 253.13 MiB)
14:03:21 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.13 MiB)
14:03:21 [14:03:21.563]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 253.13 MiB)
14:03:21 [14:03:21.603]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 408 ms. (mem: 252.78 MiB)
14:03:21 [14:03:21.612]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 252.78 MiB)
14:03:21 [14:03:21.613]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.78 MiB)
14:03:21 [14:03:21.625]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 252.78 MiB)
14:03:22 [14:03:22.672]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.73 MiB)
14:03:22 [14:03:22.772]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.13 MiB)
14:03:22 [14:03:22.862]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.73 MiB)
14:03:22 [14:03:22.935]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.78 MiB)
14:03:23 [14:03:23.169]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.73 MiB)
14:03:23 [14:03:23.358]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 253.13 MiB)
14:03:23 [14:03:23.511]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.73 MiB)
14:03:23 [14:03:23.568]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 252.78 MiB)
14:03:23 [14:03:23.627]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.73 MiB)
14:03:23 [14:03:23.727]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 253.13 MiB)
14:03:23 [14:03:23.851]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.78 MiB)
14:03:23 [14:03:23.876]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.73 MiB)
14:03:23 [14:03:23.883]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 252.73 MiB)
14:03:23 [14:03:23.971]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 253.13 MiB)
14:03:24 [14:03:24.026]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.78 MiB)
14:03:24 [14:03:24.031]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 252.73 MiB)
14:03:25 [14:03:25.515]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.73 MiB)
14:03:25 [14:03:25.614]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.73 MiB)
14:03:25 finished decider proving. (mem: 252.73 MiB)
14:03:25 Public inputs saved to "/tmp/26801428/bb/tmp-xq6JP7/public_inputs" (mem: 252.73 MiB)
14:03:25 Public inputs fields saved to "/tmp/26801428/bb/tmp-xq6JP7/public_inputs_fields.json" (mem: 252.73 MiB)
14:03:25 Proof saved to "/tmp/26801428/bb/tmp-xq6JP7/proof" (mem: 252.73 MiB)
14:03:25 Proof fields saved to "/tmp/26801428/bb/tmp-xq6JP7/proof_fields.json" (mem: 252.73 MiB)
14:03:25 VK saved to "/tmp/26801428/bb/tmp-xq6JP7/vk" (mem: 252.73 MiB)
14:03:25 VK fields saved to "/tmp/26801428/bb/tmp-xq6JP7/vk_fields.json" (mem: 252.73 MiB)
14:03:25 [14:03:25.620]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 253.13 MiB)
14:03:25 [14:03:25.703]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 253.13 MiB)
14:03:25 finished decider proving. (mem: 253.13 MiB)
14:03:25 Public inputs saved to "/tmp/26801428/bb/tmp-fZIhJE/public_inputs" (mem: 253.13 MiB)
14:03:25 Public inputs fields saved to "/tmp/26801428/bb/tmp-fZIhJE/public_inputs_fields.json" (mem: 253.13 MiB)
14:03:25 Proof saved to "/tmp/26801428/bb/tmp-fZIhJE/proof" (mem: 253.13 MiB)
14:03:25 Proof fields saved to "/tmp/26801428/bb/tmp-fZIhJE/proof_fields.json" (mem: 253.13 MiB)
14:03:25 VK saved to "/tmp/26801428/bb/tmp-fZIhJE/vk" (mem: 253.13 MiB)
14:03:25 VK fields saved to "/tmp/26801428/bb/tmp-fZIhJE/vk_fields.json" (mem: 253.13 MiB)
14:03:25 [14:03:25.706]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.78 MiB)
14:03:25 [14:03:25.711]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4807 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4806.969429000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:03:25 [14:03:25.717]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:03:25 [14:03:25.718]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/26801428/bb/tmp-ZxdkA1/proof -k /tmp/26801428/bb/tmp-ZxdkA1/vk -i /tmp/26801428/bb/tmp-ZxdkA1/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:03:25 [14:03:25.784]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 252.73 MiB)
14:03:25 [14:03:25.785]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.78 MiB)
14:03:25 finished decider proving. (mem: 252.78 MiB)
14:03:25 Public inputs saved to "/tmp/26801428/bb/tmp-Pwp4vy/public_inputs" (mem: 252.78 MiB)
14:03:25 Public inputs fields saved to "/tmp/26801428/bb/tmp-Pwp4vy/public_inputs_fields.json" (mem: 252.78 MiB)
14:03:25 Proof saved to "/tmp/26801428/bb/tmp-Pwp4vy/proof" (mem: 252.78 MiB)
14:03:25 Proof fields saved to "/tmp/26801428/bb/tmp-Pwp4vy/proof_fields.json" (mem: 252.78 MiB)
14:03:25 VK saved to "/tmp/26801428/bb/tmp-Pwp4vy/vk" (mem: 252.78 MiB)
14:03:25 VK fields saved to "/tmp/26801428/bb/tmp-Pwp4vy/vk_fields.json" (mem: 252.78 MiB)
14:03:25 [14:03:25.797]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4865 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4864.556092000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:03:25 [14:03:25.808]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.80 MiB)
14:03:25 Scheme is: ultra_honk, num threads: 128 (mem: 252.80 MiB)
14:03:25 --public_inputs_path: /tmp/26801428/bb/tmp-ZxdkA1/public_inputs (mem: 252.80 MiB)
14:03:25 --proof_path: /tmp/26801428/bb/tmp-ZxdkA1/proof (mem: 252.80 MiB)
14:03:25 --vk_path: /tmp/26801428/bb/tmp-ZxdkA1/vk (mem: 252.80 MiB)
14:03:25 --verbose: true (mem: 252.80 MiB)
14:03:25 --scheme: ultra_honk (mem: 252.80 MiB)
14:03:25 --oracle_hash: poseidon2 (mem: 252.80 MiB)
14:03:25 --disable_zk: true (mem: 252.80 MiB)
14:03:25 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.80 MiB)
14:03:25 [14:03:25.814]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:03:25 [14:03:25.815]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/26801428/bb/tmp-HFuBDk/proof -k /tmp/26801428/bb/tmp-HFuBDk/vk -i /tmp/26801428/bb/tmp-HFuBDk/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:03:25 [14:03:25.841]
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.80 MiB)
14:03:25 Initialized BN254 CRS from memory with num points = 1 (mem: 252.80 MiB)
14:03:25 sumcheck_verified: 1 (mem: 252.80 MiB)
14:03:25 libra_evals_verified: 1 (mem: 252.80 MiB)
14:03:25 pairing_check_verified: 1 (mem: 252.80 MiB)
14:03:25 Proof verified successfully (mem: 252.80 MiB)
14:03:25 verified: 1 (mem: 252.80 MiB)
14:03:25 [14:03:25.844]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 252.73 MiB)
14:03:25 finished decider proving. (mem: 252.73 MiB)
14:03:25 Public inputs saved to "/tmp/26801428/bb/tmp-5LghYk/public_inputs" (mem: 252.73 MiB)
14:03:25 Public inputs fields saved to "/tmp/26801428/bb/tmp-5LghYk/public_inputs_fields.json" (mem: 252.73 MiB)
14:03:25 Proof saved to "/tmp/26801428/bb/tmp-5LghYk/proof" (mem: 252.73 MiB)
14:03:25 Proof fields saved to "/tmp/26801428/bb/tmp-5LghYk/proof_fields.json" (mem: 252.73 MiB)
14:03:25 VK saved to "/tmp/26801428/bb/tmp-5LghYk/vk" (mem: 252.73 MiB)
14:03:25 VK fields saved to "/tmp/26801428/bb/tmp-5LghYk/vk_fields.json" (mem: 252.73 MiB)
14:03:25 [14:03:25.847]
INFO:
bb-prover Successfully verified proof from key in 128.56150499999967 ms
14:03:25 [14:03:25.855]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.84 MiB)
14:03:25 Scheme is: ultra_honk, num threads: 128 (mem: 252.84 MiB)
14:03:25 --public_inputs_path: /tmp/26801428/bb/tmp-HFuBDk/public_inputs (mem: 252.84 MiB)
14:03:25 --proof_path: /tmp/26801428/bb/tmp-HFuBDk/proof (mem: 252.84 MiB)
14:03:25 --vk_path: /tmp/26801428/bb/tmp-HFuBDk/vk (mem: 252.84 MiB)
14:03:25 --verbose: true (mem: 252.84 MiB)
14:03:25 --scheme: ultra_honk (mem: 252.84 MiB)
14:03:25 --oracle_hash: poseidon2 (mem: 252.84 MiB)
14:03:25 --disable_zk: true (mem: 252.84 MiB)
14:03:25 [14:03:25.856]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.84 MiB)
14:03:25 [14:03:25.860]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4890 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4889.8822420000015,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:03:25 [14:03:25.884]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5012 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5011.380362,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:03:25 [14:03:25.885]
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.84 MiB)
14:03:25 Initialized BN254 CRS from memory with num points = 1 (mem: 252.84 MiB)
14:03:25 sumcheck_verified: 1 (mem: 252.84 MiB)
14:03:25 libra_evals_verified: 1 (mem: 252.84 MiB)
14:03:25 pairing_check_verified: 1 (mem: 252.84 MiB)
14:03:25 Proof verified successfully (mem: 252.84 MiB)
14:03:25 verified: 1 (mem: 252.84 MiB)
14:03:25 [14:03:25.886]
INFO:
bb-prover Successfully verified proof from key in 71.83290699999998 ms
14:03:25 [14:03:25.893]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:03:25 [14:03:25.893]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/26801428/bb/tmp-hfwSIL/proof -k /tmp/26801428/bb/tmp-hfwSIL/vk -i /tmp/26801428/bb/tmp-hfwSIL/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:03:25 [14:03:25.920]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:03:25 [14:03:25.921]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/26801428/bb/tmp-NudlYh/proof -k /tmp/26801428/bb/tmp-NudlYh/vk -i /tmp/26801428/bb/tmp-NudlYh/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:03:25 [14:03:25.950]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.99 MiB)
14:03:25 Scheme is: ultra_honk, num threads: 128 (mem: 252.99 MiB)
14:03:25 --public_inputs_path: /tmp/26801428/bb/tmp-hfwSIL/public_inputs (mem: 252.99 MiB)
14:03:25 --proof_path: /tmp/26801428/bb/tmp-hfwSIL/proof (mem: 252.99 MiB)
14:03:25 --vk_path: /tmp/26801428/bb/tmp-hfwSIL/vk (mem: 252.99 MiB)
14:03:25 --verbose: true (mem: 252.99 MiB)
14:03:25 --scheme: ultra_honk (mem: 252.99 MiB)
14:03:25 --oracle_hash: poseidon2 (mem: 252.99 MiB)
14:03:25 --disable_zk: true (mem: 252.99 MiB)
14:03:25 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.99 MiB)
14:03:25 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 252.99 MiB)
14:03:25 Initialized BN254 CRS from memory with num points = 1 (mem: 252.99 MiB)
14:03:25 sumcheck_verified: 1 (mem: 252.99 MiB)
14:03:25 libra_evals_verified: 1 (mem: 252.99 MiB)
14:03:25 pairing_check_verified: 1 (mem: 252.99 MiB)
14:03:25 Proof verified successfully (mem: 252.99 MiB)
14:03:25 verified: 1 (mem: 252.99 MiB)
14:03:25 [14:03:25.951]
INFO:
bb-prover Successfully verified proof from key in 58.665383000001384 ms
14:03:25 [14:03:25.961]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.03 MiB)
14:03:25 Scheme is: ultra_honk, num threads: 128 (mem: 253.03 MiB)
14:03:25 --public_inputs_path: /tmp/26801428/bb/tmp-NudlYh/public_inputs (mem: 253.03 MiB)
14:03:25 --proof_path: /tmp/26801428/bb/tmp-NudlYh/proof (mem: 253.03 MiB)
14:03:25 --vk_path: /tmp/26801428/bb/tmp-NudlYh/vk (mem: 253.03 MiB)
14:03:25 --verbose: true (mem: 253.03 MiB)
14:03:25 --scheme: ultra_honk (mem: 253.03 MiB)
14:03:25 --oracle_hash: poseidon2 (mem: 253.03 MiB)
14:03:25 --disable_zk: true (mem: 253.03 MiB)
14:03:25 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.03 MiB)
14:03:25 [14:03:25.975]
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.03 MiB)
14:03:25 [14:03:25.976]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 253.03 MiB)
14:03:25 [14:03:25.976]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.03 MiB)
14:03:25 libra_evals_verified: 1 (mem: 253.03 MiB)
14:03:25 pairing_check_verified: 1 (mem: 253.03 MiB)
14:03:25 [14:03:25.977]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 253.03 MiB)
14:03:25 verified: 1 (mem: 253.03 MiB)
14:03:25 [14:03:25.979]
INFO:
bb-prover Successfully verified proof from key in 58.961498000000574 ms
14:03:25 [14:03:25.986]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:03:25 [14:03:25.987]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/26801428/bb/tmp-8XUb2q/proof -k /tmp/26801428/bb/tmp-8XUb2q/vk -i /tmp/26801428/bb/tmp-8XUb2q/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:03:26 [14:03:26.010]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:03:26 [14:03:26.011]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/26801428/bb/tmp-k3by8t/proof -k /tmp/26801428/bb/tmp-k3by8t/vk -i /tmp/26801428/bb/tmp-k3by8t/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:03:26 [14:03:26.030]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.05 MiB)
14:03:26 Scheme is: ultra_honk, num threads: 128 (mem: 253.05 MiB)
14:03:26 --public_inputs_path: /tmp/26801428/bb/tmp-8XUb2q/public_inputs (mem: 253.05 MiB)
14:03:26 --proof_path: /tmp/26801428/bb/tmp-8XUb2q/proof (mem: 253.05 MiB)
14:03:26 --vk_path: /tmp/26801428/bb/tmp-8XUb2q/vk (mem: 253.05 MiB)
14:03:26 --verbose: true (mem: 253.05 MiB)
14:03:26 --scheme: ultra_honk (mem: 253.05 MiB)
14:03:26 --oracle_hash: poseidon2 (mem: 253.05 MiB)
14:03:26 --disable_zk: true (mem: 253.05 MiB)
14:03:26 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.05 MiB)
14:03:26 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.05 MiB)
14:03:26 Initialized BN254 CRS from memory with num points = 1 (mem: 253.05 MiB)
14:03:26 sumcheck_verified: 1 (mem: 253.05 MiB)
14:03:26 libra_evals_verified: 1 (mem: 253.05 MiB)
14:03:26 pairing_check_verified: 1 (mem: 253.05 MiB)
14:03:26 Proof verified successfully (mem: 253.05 MiB)
14:03:26 verified: 1 (mem: 253.05 MiB)
14:03:26 [14:03:26.032]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:03:26 [14:03:26.032]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/26801428/bb/tmp-rsuNSS/proof -k /tmp/26801428/bb/tmp-rsuNSS/vk -i /tmp/26801428/bb/tmp-rsuNSS/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:03:26 [14:03:26.051]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:03:26 [14:03:26.052]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/26801428/bb/tmp-fbxuYu/proof -k /tmp/26801428/bb/tmp-fbxuYu/vk -i /tmp/26801428/bb/tmp-fbxuYu/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:03:26 [14:03:26.079]
INFO:
bb-prover Successfully verified proof from key in 92.76373899999999 ms
14:03:26 [14:03:26.090]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.05 MiB)
14:03:26 Scheme is: ultra_honk, num threads: 128 (mem: 253.05 MiB)
14:03:26 --public_inputs_path: /tmp/26801428/bb/tmp-k3by8t/public_inputs (mem: 253.05 MiB)
14:03:26 --proof_path: /tmp/26801428/bb/tmp-k3by8t/proof (mem: 253.05 MiB)
14:03:26 --vk_path: /tmp/26801428/bb/tmp-k3by8t/vk (mem: 253.05 MiB)
14:03:26 --verbose: true (mem: 253.05 MiB)
14:03:26 --scheme: ultra_honk (mem: 253.05 MiB)
14:03:26 --oracle_hash: poseidon2 (mem: 253.05 MiB)
14:03:26 --disable_zk: true (mem: 253.05 MiB)
14:03:26 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.05 MiB)
14:03:26 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.05 MiB)
14:03:26 Initialized BN254 CRS from memory with num points = 1 (mem: 253.05 MiB)
14:03:26 sumcheck_verified: 1 (mem: 253.05 MiB)
14:03:26 libra_evals_verified: 1 (mem: 253.05 MiB)
14:03:26 pairing_check_verified: 1 (mem: 253.05 MiB)
14:03:26 Proof verified successfully (mem: 253.05 MiB)
14:03:26 verified: 1 (mem: 253.05 MiB)
14:03:26 [14:03:26.092]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.05 MiB)
14:03:26 Scheme is: ultra_honk, num threads: 128 (mem: 253.05 MiB)
14:03:26 --public_inputs_path: /tmp/26801428/bb/tmp-rsuNSS/public_inputs (mem: 253.05 MiB)
14:03:26 --proof_path: /tmp/26801428/bb/tmp-rsuNSS/proof (mem: 253.05 MiB)
14:03:26 --vk_path: /tmp/26801428/bb/tmp-rsuNSS/vk (mem: 253.05 MiB)
14:03:26 --verbose: true (mem: 253.05 MiB)
14:03:26 --scheme: ultra_honk (mem: 253.05 MiB)
14:03:26 --oracle_hash: poseidon2 (mem: 253.05 MiB)
14:03:26 --disable_zk: true (mem: 253.05 MiB)
14:03:26 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.05 MiB)
14:03:26 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.05 MiB)
14:03:26 Initialized BN254 CRS from memory with num points = 1 (mem: 253.05 MiB)
14:03:26 sumcheck_verified: 1 (mem: 253.05 MiB)
14:03:26 libra_evals_verified: 1 (mem: 253.05 MiB)
14:03:26 pairing_check_verified: 1 (mem: 253.05 MiB)
14:03:26 Proof verified successfully (mem: 253.05 MiB)
14:03:26 verified: 1 (mem: 253.05 MiB)
14:03:26 [14:03:26.092]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.05 MiB)
14:03:26 Scheme is: ultra_honk, num threads: 128 (mem: 253.05 MiB)
14:03:26 --public_inputs_path: /tmp/26801428/bb/tmp-fbxuYu/public_inputs (mem: 253.05 MiB)
14:03:26 --proof_path: /tmp/26801428/bb/tmp-fbxuYu/proof (mem: 253.05 MiB)
14:03:26 --vk_path: /tmp/26801428/bb/tmp-fbxuYu/vk (mem: 253.05 MiB)
14:03:26 --verbose: true (mem: 253.05 MiB)
14:03:26 --scheme: ultra_honk (mem: 253.05 MiB)
14:03:26 --oracle_hash: poseidon2 (mem: 253.05 MiB)
14:03:26 --disable_zk: true (mem: 253.05 MiB)
14:03:26 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.05 MiB)
14:03:26 [14:03:26.093]
INFO:
bb-prover Successfully verified proof from key in 61.032374999998865 ms
14:03:26 [14:03:26.093]
INFO:
bb-prover Successfully verified proof from key in 83.14510800000062 ms
14:03:26 [14:03:26.095]
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)
14:03:26 Initialized BN254 CRS from memory with num points = 1 (mem: 253.05 MiB)
14:03:26 [14:03:26.096]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.05 MiB)
14:03:26 libra_evals_verified: 1 (mem: 253.05 MiB)
14:03:26 pairing_check_verified: 1 (mem: 253.05 MiB)
14:03:26 Proof verified successfully (mem: 253.05 MiB)
14:03:26 verified: 1 (mem: 253.05 MiB)
14:03:26 [14:03:26.098]
INFO:
bb-prover Successfully verified proof from key in 46.88455399999839 ms
14:03:26 [14:03:26.309]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":69.10617899999852,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
14:03:26 [14:03:26.311]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:03:26 [14:03:26.312]
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/26801428/bb/tmp-IceKqF -b /tmp/26801428/bb/tmp-IceKqF/RootParityArtifact-bytecode -w /tmp/26801428/bb/tmp-IceKqF/partial-witness.gz -v --init_kzg_accumulator -v
14:03:26 [14:03:26.336]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.05 MiB)
14:03:26 Scheme is: ultra_honk, num threads: 128 (mem: 253.05 MiB)
14:03:26 --scheme: ultra_honk (mem: 253.05 MiB)
14:03:26 [14:03:26.337]
INFO:
bb-prover RootParityArtifact BB out - --bytecode_path: /tmp/26801428/bb/tmp-IceKqF/RootParityArtifact-bytecode (mem: 253.05 MiB)
14:03:26 --witness_path: /tmp/26801428/bb/tmp-IceKqF/partial-witness.gz (mem: 253.05 MiB)
14:03:26 --output_path: /tmp/26801428/bb/tmp-IceKqF (mem: 253.05 MiB)
14:03:26 Warning: the following option is called more than once (mem: 253.05 MiB)
14:03:26 --verbose: true (mem: 253.05 MiB)
14:03:26 --oracle_hash: poseidon2 (mem: 253.05 MiB)
14:03:26 --output_format: bytes_and_fields (mem: 253.05 MiB)
14:03:26 --write_vk: true (mem: 253.05 MiB)
14:03:26 --disable_zk: true (mem: 253.05 MiB)
14:03:26 --init_kzg_accumulator: true (mem: 253.05 MiB)
14:03:26 [14:03:26.489]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.05 MiB)
14:03:28 [14:03:28.411]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 414.59 MiB)
14:03:30 [14:03:30.639]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 788.77 MiB)
14:03:32 [14:03:32.797]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1045.08 MiB)
14:03:35 [14:03:35.164]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1421.35 MiB)
14:03:35 Constructing DeciderProvingKey (mem: 1421.35 MiB)
14:03:36 [14:03:36.524]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1805.75 MiB)
14:03:36 [14:03:36.910]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5442.22 MiB)
14:03:38 [14:03:38.635]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3471 ms. (mem: 6032.22 MiB)
14:03:38 [14:03:38.762]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6032.22 MiB)
14:03:38 [14:03:38.763]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6032.22 MiB)
14:03:39 [14:03:39.635]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6032.22 MiB)
14:03:43 [14:03:43.912]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae
14:03:43 [14:03:43.915]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6032.22 MiB)
14:03:49 [14:03:49.654]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6032.22 MiB)
14:03:52 [14:03:52.187]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6722.15 MiB)
14:03:55 [14:03:54.991]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6722.15 MiB)
14:04:02 [14:04:02.524]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6722.15 MiB)
14:04:04 [14:04:04.328]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6722.15 MiB)
14:04:04 [14:04:04.353]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6722.15 MiB)
14:04:04 [14:04:04.917]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/26801428/bb/tmp-IceKqF/public_inputs" (mem: 6722.15 MiB)
14:04:04 Public inputs fields saved to "/tmp/26801428/bb/tmp-IceKqF/public_inputs_fields.json" (mem: 6722.15 MiB)
14:04:04 Proof saved to "/tmp/26801428/bb/tmp-IceKqF/proof" (mem: 6722.15 MiB)
14:04:04 [14:04:04.919]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/26801428/bb/tmp-IceKqF/proof_fields.json" (mem: 6722.15 MiB)
14:04:04 VK saved to "/tmp/26801428/bb/tmp-IceKqF/vk" (mem: 6722.15 MiB)
14:04:04 VK fields saved to "/tmp/26801428/bb/tmp-IceKqF/vk_fields.json" (mem: 6722.15 MiB)
14:04:05 [14:04:05.102]
INFO:
bb-prover Generated proof for RootParityArtifact in 38785 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":38784.845536,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:04:05 [14:04:05.107]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:04:05 [14:04:05.108]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/26801428/bb/tmp-7sTATE/proof -k /tmp/26801428/bb/tmp-7sTATE/vk -i /tmp/26801428/bb/tmp-7sTATE/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:04:05 [14:04:05.134]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.05 MiB)
14:04:05 Scheme is: ultra_honk, num threads: 128 (mem: 253.05 MiB)
14:04:05 --public_inputs_path: /tmp/26801428/bb/tmp-7sTATE/public_inputs (mem: 253.05 MiB)
14:04:05 --proof_path: /tmp/26801428/bb/tmp-7sTATE/proof (mem: 253.05 MiB)
14:04:05 --vk_path: /tmp/26801428/bb/tmp-7sTATE/vk (mem: 253.05 MiB)
14:04:05 --verbose: true (mem: 253.05 MiB)
14:04:05 --scheme: ultra_honk (mem: 253.05 MiB)
14:04:05 --oracle_hash: poseidon2 (mem: 253.05 MiB)
14:04:05 --disable_zk: true (mem: 253.05 MiB)
14:04:05 vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 253.05 MiB)
14:04:05 [14:04:05.151]
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"
14:04:05 [14:04:05.152]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 253.05 MiB)
14:04:05 Initialized BN254 CRS from memory with num points = 1 (mem: 253.05 MiB)
14:04:05 [14:04:05.155]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.05 MiB)
14:04:05 libra_evals_verified: 1 (mem: 253.05 MiB)
14:04:05 pairing_check_verified: 1 (mem: 253.05 MiB)
14:04:05 Proof verified successfully (mem: 253.05 MiB)
14:04:05 verified: 1 (mem: 253.05 MiB)
14:04:05 [14:04:05.156]
INFO:
bb-prover Successfully verified proof from key in 48.89038499999879 ms
14:04:05 [14:04:05.162]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:04:05 [14:04:05.163]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/26801428/bb/tmp-usY02w/proof -k /tmp/26801428/bb/tmp-usY02w/vk -i /tmp/26801428/bb/tmp-usY02w/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:04:05 [14:04:05.188]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.05 MiB)
14:04:05 Scheme is: ultra_honk, num threads: 128 (mem: 253.05 MiB)
14:04:05 --public_inputs_path: /tmp/26801428/bb/tmp-usY02w/public_inputs (mem: 253.05 MiB)
14:04:05 --proof_path: /tmp/26801428/bb/tmp-usY02w/proof (mem: 253.05 MiB)
14:04:05 --vk_path: /tmp/26801428/bb/tmp-usY02w/vk (mem: 253.05 MiB)
14:04:05 --verbose: true (mem: 253.05 MiB)
14:04:05 --scheme: ultra_honk (mem: 253.05 MiB)
14:04:05 --oracle_hash: poseidon2 (mem: 253.05 MiB)
14:04:05 --disable_zk: true (mem: 253.05 MiB)
14:04:05 [14:04:05.189]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 253.05 MiB)
14:04:05 [14:04:05.208]
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)
14:04:05 [14:04:05.209]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 253.05 MiB)
14:04:05 [14:04:05.212]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 253.05 MiB)
14:04:05 libra_evals_verified: 1 (mem: 253.05 MiB)
14:04:05 pairing_check_verified: 1 (mem: 253.05 MiB)
14:04:05 Proof verified successfully (mem: 253.05 MiB)
14:04:05 verified: 1 (mem: 253.05 MiB)
14:04:05 [14:04:05.213]
INFO:
bb-prover Successfully verified proof from key in 51.1260340000008 ms
14:04:05 [14:04:05.314]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
14:04:05
14:04:05 [14:04:05.315]
ERROR:
bb-prover Error running operation at /tmp/26801428/bb/tmp-fBhhCA: Error: Failed to generate witness: Failed assertion
14:04:05
14:04:05 [14:04:05.500]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":64.43405699999857,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
14:04:05 [14:04:05.504]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:04:05 [14:04:05.505]
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/26801428/bb/tmp-iLLfAL -b /tmp/26801428/bb/tmp-iLLfAL/RootParityArtifact-bytecode -w /tmp/26801428/bb/tmp-iLLfAL/partial-witness.gz -v --init_kzg_accumulator -v
14:04:05 [14:04:05.529]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.05 MiB)
14:04:05 [14:04:05.531]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.05 MiB)
14:04:05 --scheme: ultra_honk (mem: 253.05 MiB)
14:04:05 --bytecode_path: /tmp/26801428/bb/tmp-iLLfAL/RootParityArtifact-bytecode (mem: 253.05 MiB)
14:04:05 --witness_path: /tmp/26801428/bb/tmp-iLLfAL/partial-witness.gz (mem: 253.05 MiB)
14:04:05 --output_path: /tmp/26801428/bb/tmp-iLLfAL (mem: 253.05 MiB)
14:04:05 Warning: the following option is called more than once (mem: 253.05 MiB)
14:04:05 --verbose: true (mem: 253.05 MiB)
14:04:05 --oracle_hash: poseidon2 (mem: 253.05 MiB)
14:04:05 --output_format: bytes_and_fields (mem: 253.05 MiB)
14:04:05 --write_vk: true (mem: 253.05 MiB)
14:04:05 --disable_zk: true (mem: 253.05 MiB)
14:04:05 --init_kzg_accumulator: true (mem: 253.05 MiB)
14:04:05 [14:04:05.686]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.05 MiB)
14:04:05 [14:04:05.696]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.05 MiB)
14:04:07 [14:04:07.765]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 409.72 MiB)
14:04:10 [14:04:10.067]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 787.41 MiB)
14:04:12 [14:04:12.133]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1044.37 MiB)
14:04:14 [14:04:14.662]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1420.73 MiB)
14:04:14 Constructing DeciderProvingKey (mem: 1420.73 MiB)
14:04:16 [14:04:16.132]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1806.54 MiB)
14:04:16 [14:04:16.999]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5442.64 MiB)
14:04:18 [14:04:18.927]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4265 ms. (mem: 6029.64 MiB)
14:04:19 [14:04:19.080]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6029.64 MiB)
14:04:19 [14:04:19.084]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6029.64 MiB)
14:04:19 [14:04:19.879]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6029.64 MiB)
14:04:24 [14:04:24.180]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6029.64 MiB)
14:04:28 [14:04:28.201]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6029.64 MiB)
14:04:29 [14:04:29.652]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6713.74 MiB)
14:04:31 [14:04:31.535]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6713.74 MiB)
14:04:37 [14:04:37.477]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6713.74 MiB)
14:04:39 [14:04:39.199]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6713.74 MiB)
14:04:39 [14:04:39.230]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6713.74 MiB)
14:04:39 [14:04:39.571]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/26801428/bb/tmp-iLLfAL/public_inputs" (mem: 6713.74 MiB)
14:04:39 Public inputs fields saved to "/tmp/26801428/bb/tmp-iLLfAL/public_inputs_fields.json" (mem: 6713.74 MiB)
14:04:39 [14:04:39.572]
INFO:
bb-prover RootParityArtifact BB out - Proof saved to "/tmp/26801428/bb/tmp-iLLfAL/proof" (mem: 6713.74 MiB)
14:04:39 Proof fields saved to "/tmp/26801428/bb/tmp-iLLfAL/proof_fields.json" (mem: 6713.74 MiB)
14:04:39 VK saved to "/tmp/26801428/bb/tmp-iLLfAL/vk" (mem: 6713.74 MiB)
14:04:39 VK fields saved to "/tmp/26801428/bb/tmp-iLLfAL/vk_fields.json" (mem: 6713.74 MiB)
14:04:39 [14:04:39.738]
INFO:
bb-prover Generated proof for RootParityArtifact in 34232 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":34231.181604000005,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:04:39 [14:04:39.741]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:04:39 [14:04:39.741]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/26801428/bb/tmp-3X8DFE/proof -k /tmp/26801428/bb/tmp-3X8DFE/vk -i /tmp/26801428/bb/tmp-3X8DFE/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:04:39 [14:04:39.765]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.05 MiB)
14:04:39 [14:04:39.765]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.05 MiB)
14:04:39 --public_inputs_path: /tmp/26801428/bb/tmp-3X8DFE/public_inputs (mem: 253.05 MiB)
14:04:39 --proof_path: /tmp/26801428/bb/tmp-3X8DFE/proof (mem: 253.05 MiB)
14:04:39 --vk_path: /tmp/26801428/bb/tmp-3X8DFE/vk (mem: 253.05 MiB)
14:04:39 --verbose: true (mem: 253.05 MiB)
14:04:39 --scheme: ultra_honk (mem: 253.05 MiB)
14:04:39 --oracle_hash: poseidon2 (mem: 253.05 MiB)
14:04:39 --disable_zk: true (mem: 253.05 MiB)
14:04:39 [14:04:39.766]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 253.05 MiB)
14:04:39 [14:04:39.776]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.05 MiB)
14:04:39 Proof verification failed (mem: 253.05 MiB)
14:04:39 [14:04:39.777]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 253.05 MiB)
14:04:39 [14:04:39.778]
ERROR:
bb-prover Error running operation at /tmp/26801428/bb/tmp-3X8DFE: ProvingError: Failed to verify proof from key!
14:04:39 [14:04:39.917]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":65.75038400001358,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
14:04:39 [14:04:39.918]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:04:39 [14:04:39.919]
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/26801428/bb/tmp-sW2TUI -b /tmp/26801428/bb/tmp-sW2TUI/RootParityArtifact-bytecode -w /tmp/26801428/bb/tmp-sW2TUI/partial-witness.gz -v --init_kzg_accumulator -v
14:04:39 [14:04:39.940]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.05 MiB)
14:04:39 Scheme is: ultra_honk, num threads: 128 (mem: 253.05 MiB)
14:04:39 --scheme: ultra_honk (mem: 253.05 MiB)
14:04:39 --bytecode_path: /tmp/26801428/bb/tmp-sW2TUI/RootParityArtifact-bytecode (mem: 253.05 MiB)
14:04:39 --witness_path: /tmp/26801428/bb/tmp-sW2TUI/partial-witness.gz (mem: 253.05 MiB)
14:04:39 [14:04:39.941]
INFO:
bb-prover RootParityArtifact BB out - --output_path: /tmp/26801428/bb/tmp-sW2TUI (mem: 253.05 MiB)
14:04:39 Warning: the following option is called more than once (mem: 253.05 MiB)
14:04:39 --verbose: true (mem: 253.05 MiB)
14:04:39 --oracle_hash: poseidon2 (mem: 253.05 MiB)
14:04:39 --output_format: bytes_and_fields (mem: 253.05 MiB)
14:04:39 --write_vk: true (mem: 253.05 MiB)
14:04:39 --disable_zk: true (mem: 253.05 MiB)
14:04:39 --init_kzg_accumulator: true (mem: 253.05 MiB)
14:04:40 [14:04:40.105]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.05 MiB)
14:04:40 [14:04:40.115]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 253.05 MiB)
14:04:42 [14:04:42.147]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 412.33 MiB)
14:04:45 [14:04:45.194]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 791.25 MiB)
14:04:47 [14:04:47.384]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1046.73 MiB)
14:04:49 [14:04:49.805]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1422.25 MiB)
14:04:49 Constructing DeciderProvingKey (mem: 1422.25 MiB)
14:04:50 [14:04:50.999]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1808.01 MiB)
14:04:51 [14:04:51.422]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5440.46 MiB)
14:04:53 [14:04:53.079]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3275 ms. (mem: 6020.46 MiB)
14:04:53 [14:04:53.213]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6020.46 MiB)
14:04:53 [14:04:53.216]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6020.46 MiB)
14:04:53 [14:04:53.964]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6020.46 MiB)
14:04:57 [14:04:57.748]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6020.46 MiB)
14:05:03 [14:05:03.034]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6020.46 MiB)
14:05:05 [14:05:05.643]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6723.63 MiB)
14:05:07 [14:05:07.943]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6723.63 MiB)
14:05:13 [14:05:13.944]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6723.63 MiB)
14:05:15 [14:05:15.682]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6723.63 MiB)
14:05:15 [14:05:15.711]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6723.63 MiB)
14:05:16 [14:05:16.401]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/26801428/bb/tmp-sW2TUI/public_inputs" (mem: 6723.63 MiB)
14:05:16 [14:05:16.402]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/26801428/bb/tmp-sW2TUI/public_inputs_fields.json" (mem: 6723.63 MiB)
14:05:16 Proof saved to "/tmp/26801428/bb/tmp-sW2TUI/proof" (mem: 6723.63 MiB)
14:05:16 Proof fields saved to "/tmp/26801428/bb/tmp-sW2TUI/proof_fields.json" (mem: 6723.63 MiB)
14:05:16 VK saved to "/tmp/26801428/bb/tmp-sW2TUI/vk" (mem: 6723.63 MiB)
14:05:16 VK fields saved to "/tmp/26801428/bb/tmp-sW2TUI/vk_fields.json" (mem: 6723.63 MiB)
14:05:16 [14:05:16.610]
INFO:
bb-prover Generated proof for RootParityArtifact in 36689 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":36688.97114299999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:05:16 [14:05:16.612]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:05:16 [14:05:16.613]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/26801428/bb/tmp-ED2nkb/proof -k /tmp/26801428/bb/tmp-ED2nkb/vk -i /tmp/26801428/bb/tmp-ED2nkb/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:05:16 [14:05:16.631]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 253.05 MiB)
14:05:16 [14:05:16.631]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 253.05 MiB)
14:05:16 --public_inputs_path: /tmp/26801428/bb/tmp-ED2nkb/public_inputs (mem: 253.05 MiB)
14:05:16 --proof_path: /tmp/26801428/bb/tmp-ED2nkb/proof (mem: 253.05 MiB)
14:05:16 --vk_path: /tmp/26801428/bb/tmp-ED2nkb/vk (mem: 253.05 MiB)
14:05:16 --verbose: true (mem: 253.05 MiB)
14:05:16 --scheme: ultra_honk (mem: 253.05 MiB)
14:05:16 --oracle_hash: poseidon2 (mem: 253.05 MiB)
14:05:16 --disable_zk: true (mem: 253.05 MiB)
14:05:16 [14:05:16.632]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 253.05 MiB)
14:05:16 [14:05:16.641]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 253.05 MiB)
14:05:16 Proof verification failed (mem: 253.05 MiB)
14:05:16 [14:05:16.641]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 253.05 MiB)
14:05:16 [14:05:16.643]
ERROR:
bb-prover Error running operation at /tmp/26801428/bb/tmp-ED2nkb: ProvingError: Failed to verify proof from key!
14:05:16 [14:05:16.645]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
14:05:16
PASS src/test/bb_prover_parity.test.ts (
124.5 s)
14:05:16 prover/bb_prover/parity
14:05:16
✓ proves the parity circuits (116000 ms)
14:05:16
14:05:16
Test Suites: 1 passed, 1 total
14:05:16
Tests: 1 passed, 1 total
14:05:16
Snapshots: 0 total
14:05:16
Time: 124.578 s
14:05:16
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
14:05:16
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?