Parent Log:
http://ci.aztec-labs.com/0ea9cc4bfd584f3e
Command: 8eab3f4af2f43a8d: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/5d81047d880386c72ab2e6701b0c86ae607c3618
Env: REF_NAME=gh-readonly-queue/next/pr-15164-308037ad9b1489540aedbb57a9dac3d71282010e CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 13:04:36 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15164_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
13:04:36 +++ id -u
13:04:36 +++ id -g
13:04:36 ++ 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'\'''
13:04:37 + cid=d0a655d03db39f674f377ab68e162647537470ca4ef76ff54c2046b40e5ab11e
13:04:37 + set +x
13:04:38 {"level":25,"time":1750424678887,"pid":7,"hostname":"d0a655d03db3","module":"logger","msg":"Logger initialized with level verbose"}
13:04:48 [13:04:48.225]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-Zg9aAI/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
13:04:48 [13:04:48.296]
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/c7009bdc/bb
13:04:48 [13:04:48.298]
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/c7009bdc/acvm
13:04:48 [13:04:48.300]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/c7009bdc/bb
13:04:48 [13:04:48.301]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/c7009bdc/acvm
13:04:48 [13:04:48.305]
INFO:
prover-client:proving-broker Proving Broker started
13:04:48 [13:04:48.307]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
13:04:48 [13:04:48.604]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":131.6360480000003,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:04:48 [13:04:48.628]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":87.32834999999977,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:04:48 [13:04:48.641]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":56.882400000000416,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:04:48 [13:04:48.652]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":46.78661199999988,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
13:04:48 [13:04:48.655]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:04:48 [13:04:48.655]
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/c7009bdc/bb/tmp-HgYb2T -b /tmp/c7009bdc/bb/tmp-HgYb2T/BaseParityArtifact-bytecode -w /tmp/c7009bdc/bb/tmp-HgYb2T/partial-witness.gz -v --init_kzg_accumulator -v
13:04:48 [13:04:48.686]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:04:48 [13:04:48.688]
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/c7009bdc/bb/tmp-s2YPSj -b /tmp/c7009bdc/bb/tmp-s2YPSj/BaseParityArtifact-bytecode -w /tmp/c7009bdc/bb/tmp-s2YPSj/partial-witness.gz -v --init_kzg_accumulator -v
13:04:48 [13:04:48.731]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.45 MiB)
13:04:48 Scheme is: ultra_honk, num threads: 128 (mem: 251.45 MiB)
13:04:48 --scheme: ultra_honk (mem: 251.45 MiB)
13:04:48 --bytecode_path: /tmp/c7009bdc/bb/tmp-HgYb2T/BaseParityArtifact-bytecode (mem: 251.45 MiB)
13:04:48 --witness_path: /tmp/c7009bdc/bb/tmp-HgYb2T/partial-witness.gz (mem: 251.45 MiB)
13:04:48 --output_path: /tmp/c7009bdc/bb/tmp-HgYb2T (mem: 251.45 MiB)
13:04:48 Warning: the following option is called more than once (mem: 251.45 MiB)
13:04:48 --verbose: true (mem: 251.45 MiB)
13:04:48 --oracle_hash: poseidon2 (mem: 251.45 MiB)
13:04:48 --output_format: bytes_and_fields (mem: 251.45 MiB)
13:04:48 --write_vk: true (mem: 251.45 MiB)
13:04:48 --disable_zk: true (mem: 251.45 MiB)
13:04:48 --init_kzg_accumulator: true (mem: 251.45 MiB)
13:04:48 [13:04:48.732]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:04:48 [13:04:48.732]
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/c7009bdc/bb/tmp-yA0a1q -b /tmp/c7009bdc/bb/tmp-yA0a1q/BaseParityArtifact-bytecode -w /tmp/c7009bdc/bb/tmp-yA0a1q/partial-witness.gz -v --init_kzg_accumulator -v
13:04:48 [13:04:48.766]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
13:04:48 [13:04:48.768]
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/c7009bdc/bb/tmp-7j150y -b /tmp/c7009bdc/bb/tmp-7j150y/BaseParityArtifact-bytecode -w /tmp/c7009bdc/bb/tmp-7j150y/partial-witness.gz -v --init_kzg_accumulator -v
13:04:48 [13:04:48.814]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.45 MiB)
13:04:48 Scheme is: ultra_honk, num threads: 128 (mem: 251.45 MiB)
13:04:48 --scheme: ultra_honk (mem: 251.45 MiB)
13:04:48 --bytecode_path: /tmp/c7009bdc/bb/tmp-s2YPSj/BaseParityArtifact-bytecode (mem: 251.45 MiB)
13:04:48 --witness_path: /tmp/c7009bdc/bb/tmp-s2YPSj/partial-witness.gz (mem: 251.45 MiB)
13:04:48 --output_path: /tmp/c7009bdc/bb/tmp-s2YPSj (mem: 251.45 MiB)
13:04:48 Warning: the following option is called more than once (mem: 251.45 MiB)
13:04:48 --verbose: true (mem: 251.45 MiB)
13:04:48 --oracle_hash: poseidon2 (mem: 251.45 MiB)
13:04:48 --output_format: bytes_and_fields (mem: 251.45 MiB)
13:04:48 --write_vk: true (mem: 251.45 MiB)
13:04:48 --disable_zk: true (mem: 251.45 MiB)
13:04:48 --init_kzg_accumulator: true (mem: 251.45 MiB)
13:04:48 [13:04:48.816]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.45 MiB)
13:04:48 Scheme is: ultra_honk, num threads: 128 (mem: 251.45 MiB)
13:04:48 --scheme: ultra_honk (mem: 251.45 MiB)
13:04:48 --bytecode_path: /tmp/c7009bdc/bb/tmp-yA0a1q/BaseParityArtifact-bytecode (mem: 251.45 MiB)
13:04:48 --witness_path: /tmp/c7009bdc/bb/tmp-yA0a1q/partial-witness.gz (mem: 251.45 MiB)
13:04:48 --output_path: /tmp/c7009bdc/bb/tmp-yA0a1q (mem: 251.45 MiB)
13:04:48 Warning: the following option is called more than once (mem: 251.45 MiB)
13:04:48 --verbose: true (mem: 251.45 MiB)
13:04:48 --oracle_hash: poseidon2 (mem: 251.45 MiB)
13:04:48 --output_format: bytes_and_fields (mem: 251.45 MiB)
13:04:48 --write_vk: true (mem: 251.45 MiB)
13:04:48 --disable_zk: true (mem: 251.45 MiB)
13:04:48 --init_kzg_accumulator: true (mem: 251.45 MiB)
13:04:48 [13:04:48.823]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 251.43 MiB)
13:04:48 Scheme is: ultra_honk, num threads: 128 (mem: 251.43 MiB)
13:04:48 --scheme: ultra_honk (mem: 251.43 MiB)
13:04:48 --bytecode_path: /tmp/c7009bdc/bb/tmp-7j150y/BaseParityArtifact-bytecode (mem: 251.43 MiB)
13:04:48 --witness_path: /tmp/c7009bdc/bb/tmp-7j150y/partial-witness.gz (mem: 251.43 MiB)
13:04:48 --output_path: /tmp/c7009bdc/bb/tmp-7j150y (mem: 251.43 MiB)
13:04:48 Warning: the following option is called more than once (mem: 251.43 MiB)
13:04:48 --verbose: true (mem: 251.43 MiB)
13:04:48 --oracle_hash: poseidon2 (mem: 251.43 MiB)
13:04:48 --output_format: bytes_and_fields (mem: 251.43 MiB)
13:04:48 --write_vk: true (mem: 251.43 MiB)
13:04:48 --disable_zk: true (mem: 251.43 MiB)
13:04:48 --init_kzg_accumulator: true (mem: 251.43 MiB)
13:04:48 [13:04:48.887]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.45 MiB)
13:04:48 [13:04:48.888]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 251.45 MiB)
13:04:48 [13:04:48.894]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.45 MiB)
13:04:48 [13:04:48.938]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.45 MiB)
13:04:48 Constructing DeciderProvingKey (mem: 251.45 MiB)
13:04:48 [13:04:48.942]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
13:04:48 [13:04:48.943]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
13:04:48 [13:04:48.944]
INFO:
bb-prover BaseParityArtifact BB out - 251.45 MiB)
13:04:48 [13:04:48.990]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.43 MiB)
13:04:48 Constructing DeciderProvingKey (mem: 251.43 MiB)
13:04:48 [13:04:48.995]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
13:04:48 [13:04:48.996]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
13:04:48 [13:04:48.998]
INFO:
bb-prover BaseParityArtifact BB out - 251.43 MiB)
13:04:49 [13:04:49.002]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 251.45 MiB)
13:04:49 Constructing DeciderProvingKey (mem: 251.45 MiB)
13:04:49 [13:04:49.014]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 251.45 MiB)
13:04:49 [13:04:49.137]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.45 MiB)
13:04:49 [13:04:49.249]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.45 MiB)
13:04:49 [13:04:49.263]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 374 ms. (mem: 251.45 MiB)
13:04:49 [13:04:49.270]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.43 MiB)
13:04:49 [13:04:49.276]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.45 MiB)
13:04:49 [13:04:49.283]
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.45 MiB)
13:04:49 [13:04:49.318]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 251.45 MiB)
13:04:49 [13:04:49.334]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.45 MiB)
13:04:49 [13:04:49.361]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 372 ms. (mem: 251.43 MiB)
13:04:49 [13:04:49.369]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.43 MiB)
13:04:49 [13:04:49.370]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 432 ms. (mem: 251.45 MiB)
13:04:49 [13:04:49.378]
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.43 MiB)
13:04:49 [13:04:49.381]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.45 MiB)
13:04:49 [13:04:49.394]
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.45 MiB)
13:04:49 [13:04:49.410]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.43 MiB)
13:04:49 [13:04:49.421]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.45 MiB)
13:04:49 [13:04:49.468]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 451 ms. (mem: 251.45 MiB)
13:04:49 WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 251.45 MiB)
13:04:49 [13:04:49.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.45 MiB)
13:04:49 [13:04:49.516]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 66561 (mem: 251.45 MiB)
13:04:50 [13:04:50.386]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.43 MiB)
13:04:50 [13:04:50.425]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.45 MiB)
13:04:50 [13:04:50.440]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.45 MiB)
13:04:50 [13:04:50.455]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.45 MiB)
13:04:50 [13:04:50.995]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.43 MiB)
13:04:50 [13:04:50.996]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.45 MiB)
13:04:51 [13:04:51.012]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.45 MiB)
13:04:51 [13:04:51.038]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 251.45 MiB)
13:04:51 [13:04:51.200]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.45 MiB)
13:04:51 [13:04:51.239]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem:
13:04:51 [13:04:51.246]
INFO:
bb-prover BaseParityArtifact BB out - 251.45 MiB)
13:04:51 [13:04:51.247]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 254.24 MiB)
13:04:51 [13:04:51.312]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 251.45 MiB)
13:04:51 [13:04:51.389]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.45 MiB)
13:04:51 [13:04:51.434]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 254.24 MiB)
13:04:51 [13:04:51.466]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.45 MiB)
13:04:51 [13:04:51.510]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 251.45 MiB)
13:04:52 [13:04:52.584]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.45 MiB)
13:04:52 [13:04:52.622]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.45 MiB)
13:04:52 finished decider proving. (mem: 251.45 MiB)
13:04:52 [13:04:52.634]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/c7009bdc/bb/tmp-s2YPSj/public_inputs" (mem: 251.45 MiB)
13:04:52 Public inputs fields saved to "/tmp/c7009bdc/bb/tmp-s2YPSj/public_inputs_fields.json" (mem: 251.45 MiB)
13:04:52 [13:04:52.642]
INFO:
bb-prover BaseParityArtifact BB out - Proof saved to "/tmp/c7009bdc/bb/tmp-s2YPSj/proof" (mem: 251.45 MiB)
13:04:52 Proof fields saved to "/tmp/c7009bdc/bb/tmp-s2YPSj/proof_fields.json" (mem: 251.45 MiB)
13:04:52 VK saved to "/tmp/c7009bdc/bb/tmp-s2YPSj/vk" (mem: 251.45 MiB)
13:04:52 VK fields saved to "/tmp/c7009bdc/bb/tmp-s2YPSj/vk_fields.json" (mem: 251.45 MiB)
13:04:52 [13:04:52.725]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4027 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4026.2261529999996,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:04:52 [13:04:52.734]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:04:52 [13:04:52.735]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c7009bdc/bb/tmp-mJG0Xh/proof -k /tmp/c7009bdc/bb/tmp-mJG0Xh/vk -i /tmp/c7009bdc/bb/tmp-mJG0Xh/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:04:52 [13:04:52.785]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
13:04:52 [13:04:52.787]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.17 MiB)
13:04:52 Scheme is: ultra_honk, num threads: 128 (mem: 251.17 MiB)
13:04:52 --public_inputs_path: /tmp/c7009bdc/bb/tmp-mJG0Xh/public_inputs (mem: 251.17 MiB)
13:04:52 --proof_path: /tmp/c7009bdc/bb/tmp-mJG0Xh/proof (mem: 251.17 MiB)
13:04:52 --vk_path: /tmp/c7009bdc/bb/tmp-mJG0Xh/vk (mem: 251.17 MiB)
13:04:52 --verbose: true (mem: 251.17 MiB)
13:04:52 --scheme: ultra_honk (mem: 251.17 MiB)
13:04:52 --oracle_hash: poseidon2 (mem: 251.17 MiB)
13:04:52 --disable_zk: true (mem: 251.17 MiB)
13:04:52 [13:04:52.789]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.17 MiB)
13:04:52 [13:04:52.803]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 254.24 MiB)
13:04:52 [13:04:52.805]
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.17 MiB)
13:04:52 [13:04:52.807]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.17 MiB)
13:04:52 [13:04:52.807]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.17 MiB)
13:04:52 libra_evals_verified: 1 (mem: 251.17 MiB)
13:04:52 pairing_check_verified: 1 (mem: 251.17 MiB)
13:04:52 Proof verified successfully (mem: 251.17 MiB)
13:04:52 verified: 1 (mem: 251.17 MiB)
13:04:52 [13:04:52.810]
INFO:
bb-prover Successfully verified proof from key in 75.93698799999947 ms
13:04:52 [13:04:52.814]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.45 MiB)
13:04:52 [13:04:52.861]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 254.24 MiB)
13:04:52 finished decider proving. (mem: 254.24 MiB)
13:04:52 [13:04:52.865]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.45 MiB)
13:04:52 finished decider proving. (mem: 251.45 MiB)
13:04:52 Public inputs saved to "/tmp/c7009bdc/bb/tmp-yA0a1q/public_inputs" (mem: 251.45 MiB)
13:04:52 Public inputs fields saved to "/tmp/c7009bdc/bb/tmp-yA0a1q/public_inputs_fields.json" (mem: 251.45 MiB)
13:04:52 Proof saved to "/tmp/c7009bdc/bb/tmp-yA0a1q/proof" (mem: 251.45 MiB)
13:04:52 Proof fields saved to "/tmp/c7009bdc/bb/tmp-yA0a1q/proof_fields.json" (mem: 251.45 MiB)
13:04:52 VK saved to "/tmp/c7009bdc/bb/tmp-yA0a1q/vk" (mem: 251.45 MiB)
13:04:52 [13:04:52.865]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/c7009bdc/bb/tmp-yA0a1q/vk_fields.json" (mem: 251.45 MiB)
13:04:52 [13:04:52.868]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/c7009bdc/bb/tmp-7j150y/public_inputs" (mem: 254.24 MiB)
13:04:52 Public inputs fields saved to "/tmp/c7009bdc/bb/tmp-7j150y/public_inputs_fields.json" (mem: 254.24 MiB)
13:04:52 Proof saved to "/tmp/c7009bdc/bb/tmp-7j150y/proof" (mem: 254.24 MiB)
13:04:52 Proof fields saved to "/tmp/c7009bdc/bb/tmp-7j150y/proof_fields.json" (mem: 254.24 MiB)
13:04:52 VK saved to "/tmp/c7009bdc/bb/tmp-7j150y/vk" (mem: 254.24 MiB)
13:04:52 [13:04:52.870]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/c7009bdc/bb/tmp-7j150y/vk_fields.json" (mem: 254.24 MiB)
13:04:52 [13:04:52.894]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 251.45 MiB)
13:04:52 [13:04:52.910]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4139 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4138.383814000001,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:04:52 [13:04:52.927]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4190 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4189.817648,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:04:52 [13:04:52.932]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:04:52 [13:04:52.932]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c7009bdc/bb/tmp-bPfOS5/proof -k /tmp/c7009bdc/bb/tmp-bPfOS5/vk -i /tmp/c7009bdc/bb/tmp-bPfOS5/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:04:52 [13:04:52.961]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 251.45 MiB)
13:04:52 finished decider proving. (mem: 251.45 MiB)
13:04:52 Public inputs saved to "/tmp/c7009bdc/bb/tmp-HgYb2T/public_inputs" (mem: 251.45 MiB)
13:04:52 Public inputs fields saved to "/tmp/c7009bdc/bb/tmp-HgYb2T/public_inputs_fields.json" (mem: 251.45 MiB)
13:04:52 Proof saved to "/tmp/c7009bdc/bb/tmp-HgYb2T/proof" (mem: 251.45 MiB)
13:04:52 Proof fields saved to "/tmp/c7009bdc/bb/tmp-HgYb2T/proof_fields.json" (mem: 251.45 MiB)
13:04:52 VK saved to "/tmp/c7009bdc/bb/tmp-HgYb2T/vk" (mem: 251.45 MiB)
13:04:52 VK fields saved to "/tmp/c7009bdc/bb/tmp-HgYb2T/vk_fields.json" (mem: 251.45 MiB)
13:04:52 [13:04:52.965]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:04:52 [13:04:52.966]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c7009bdc/bb/tmp-5MY24r/proof -k /tmp/c7009bdc/bb/tmp-5MY24r/vk -i /tmp/c7009bdc/bb/tmp-5MY24r/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:04:52 [13:04:52.995]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.55 MiB)
13:04:52 Scheme is: ultra_honk, num threads: 128 (mem: 251.55 MiB)
13:04:52 --public_inputs_path: /tmp/c7009bdc/bb/tmp-bPfOS5/public_inputs (mem: 251.55 MiB)
13:04:52 --proof_path: /tmp/c7009bdc/bb/tmp-bPfOS5/proof (mem: 251.55 MiB)
13:04:52 --vk_path: /tmp/c7009bdc/bb/tmp-bPfOS5/vk (mem: 251.55 MiB)
13:04:52 --verbose: true (mem: 251.55 MiB)
13:04:52 --scheme: ultra_honk (mem: 251.55 MiB)
13:04:52 --oracle_hash: poseidon2 (mem: 251.55 MiB)
13:04:52 --disable_zk: true (mem: 251.55 MiB)
13:04:52 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.55 MiB)
13:04:52 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.55 MiB)
13:04:52 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.55 MiB)
13:04:52 sumcheck_verified: 1 (mem: 251.55 MiB)
13:04:52 libra_evals_verified: 1 (mem: 251.55 MiB)
13:04:52 pairing_check_verified: 1 (mem: 251.55 MiB)
13:04:52 Proof verified successfully (mem: 251.55 MiB)
13:04:52 verified: 1 (mem: 251.55 MiB)
13:04:53 [13:04:52.997]
INFO:
bb-prover Successfully verified proof from key in 65.90208100000018 ms
13:04:53 [13:04:53.004]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.57 MiB)
13:04:53 Scheme is: ultra_honk, num threads: 128 (mem: 251.57 MiB)
13:04:53 --public_inputs_path: /tmp/c7009bdc/bb/tmp-5MY24r/public_inputs (mem: 251.57 MiB)
13:04:53 --proof_path: /tmp/c7009bdc/bb/tmp-5MY24r/proof (mem: 251.57 MiB)
13:04:53 --vk_path: /tmp/c7009bdc/bb/tmp-5MY24r/vk (mem: 251.57 MiB)
13:04:53 --verbose: true (mem: 251.57 MiB)
13:04:53 --scheme: ultra_honk (mem: 251.57 MiB)
13:04:53 --oracle_hash: poseidon2 (mem: 251.57 MiB)
13:04:53 --disable_zk: true (mem: 251.57 MiB)
13:04:53 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.57 MiB)
13:04:53 [13:04:53.007]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4343 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4342.926595999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:04:53 [13:04:53.010]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:04:53 [13:04:53.010]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c7009bdc/bb/tmp-k4oBMo/proof -k /tmp/c7009bdc/bb/tmp-k4oBMo/vk -i /tmp/c7009bdc/bb/tmp-k4oBMo/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:04:53 [13:04:53.033]
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.57 MiB)
13:04:53 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.57 MiB)
13:04:53 sumcheck_verified: 1 (mem: 251.57 MiB)
13:04:53 libra_evals_verified: 1 (mem: 251.57 MiB)
13:04:53 pairing_check_verified: 1 (mem: 251.57 MiB)
13:04:53 Proof verified successfully (mem: 251.57 MiB)
13:04:53 verified: 1 (mem: 251.57 MiB)
13:04:53 [13:04:53.034]
INFO:
bb-prover Successfully verified proof from key in 68.62116900000001 ms
13:04:53 [13:04:53.037]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
13:04:53 [13:04:53.040]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.64 MiB)
13:04:53 Scheme is: ultra_honk, num threads: 128 (mem: 251.64 MiB)
13:04:53 --public_inputs_path: /tmp/c7009bdc/bb/tmp-k4oBMo/public_inputs (mem: 251.64 MiB)
13:04:53 --proof_path: /tmp/c7009bdc/bb/tmp-k4oBMo/proof (mem: 251.64 MiB)
13:04:53 --vk_path: /tmp/c7009bdc/bb/tmp-k4oBMo/vk (mem: 251.64 MiB)
13:04:53 --verbose: true (mem: 251.64 MiB)
13:04:53 --scheme: ultra_honk (mem: 251.64 MiB)
13:04:53 --oracle_hash: poseidon2 (mem: 251.64 MiB)
13:04:53 --disable_zk: true (mem: 251.64 MiB)
13:04:53 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.64 MiB)
13:04:53 [13:04:53.057]
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"
13:04:53 [13:04:53.058]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 251.64 MiB)
13:04:53 [13:04:53.058]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 251.64 MiB)
13:04:53 [13:04:53.059]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.64 MiB)
13:04:53 libra_evals_verified: 1 (mem: 251.64 MiB)
13:04:53 pairing_check_verified: 1 (mem:
13:04:53 [13:04:53.060]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.64 MiB)
13:04:53 Proof verified successfully (mem: 251.64 MiB)
13:04:53 verified: 1 (mem: 251.64 MiB)
13:04:53 [13:04:53.062]
INFO:
bb-prover Successfully verified proof from key in 52.075300000000425 ms
13:04:53 [13:04:53.078]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:04:53 [13:04:53.079]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c7009bdc/bb/tmp-HysJIC/proof -k /tmp/c7009bdc/bb/tmp-HysJIC/vk -i /tmp/c7009bdc/bb/tmp-HysJIC/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:04:53 [13:04:53.109]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:04:53 [13:04:53.109]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c7009bdc/bb/tmp-dvIEPP/proof -k /tmp/c7009bdc/bb/tmp-dvIEPP/vk -i /tmp/c7009bdc/bb/tmp-dvIEPP/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:04:53 [13:04:53.137]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:04:53 [13:04:53.138]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c7009bdc/bb/tmp-vS4ffJ/proof -k /tmp/c7009bdc/bb/tmp-vS4ffJ/vk -i /tmp/c7009bdc/bb/tmp-vS4ffJ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:04:53 [13:04:53.167]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:04:53 [13:04:53.168]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c7009bdc/bb/tmp-tzeAAd/proof -k /tmp/c7009bdc/bb/tmp-tzeAAd/vk -i /tmp/c7009bdc/bb/tmp-tzeAAd/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:04:53 [13:04:53.200]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.70 MiB)
13:04:53 Scheme is: ultra_honk, num threads: 128 (mem: 251.70 MiB)
13:04:53 --public_inputs_path: /tmp/c7009bdc/bb/tmp-HysJIC/public_inputs (mem: 251.70 MiB)
13:04:53 --proof_path: /tmp/c7009bdc/bb/tmp-HysJIC/proof (mem: 251.70 MiB)
13:04:53 --vk_path: /tmp/c7009bdc/bb/tmp-HysJIC/vk (mem: 251.70 MiB)
13:04:53 --verbose: true (mem: 251.70 MiB)
13:04:53 --scheme: ultra_honk (mem: 251.70 MiB)
13:04:53 --oracle_hash: poseidon2 (mem: 251.70 MiB)
13:04:53 --disable_zk: true (mem: 251.70 MiB)
13:04:53 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.70 MiB)
13:04:53 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.70 MiB)
13:04:53 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.70 MiB)
13:04:53 sumcheck_verified: 1 (mem: 251.70 MiB)
13:04:53 libra_evals_verified: 1 (mem: 251.70 MiB)
13:04:53 pairing_check_verified: 1 (mem: 251.70 MiB)
13:04:53 Proof verified successfully (mem: 251.70 MiB)
13:04:53 verified: 1 (mem: 251.70 MiB)
13:04:53 [13:04:53.201]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.70 MiB)
13:04:53 Scheme is: ultra_honk, num threads: 128 (mem: 251.70 MiB)
13:04:53 --public_inputs_path: /tmp/c7009bdc/bb/tmp-dvIEPP/public_inputs (mem: 251.70 MiB)
13:04:53 --proof_path: /tmp/c7009bdc/bb/tmp-dvIEPP/proof (mem: 251.70 MiB)
13:04:53 --vk_path: /tmp/c7009bdc/bb/tmp-dvIEPP/vk (mem: 251.70 MiB)
13:04:53 --verbose: true (mem: 251.70 MiB)
13:04:53 --scheme: ultra_honk (mem: 251.70 MiB)
13:04:53 --oracle_hash: poseidon2 (mem: 251.70 MiB)
13:04:53 --disable_zk: true (mem: 251.70 MiB)
13:04:53 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.70 MiB)
13:04:53 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.70 MiB)
13:04:53 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.70 MiB)
13:04:53 sumcheck_verified: 1 (mem: 251.70 MiB)
13:04:53 libra_evals_verified: 1 (mem: 251.70 MiB)
13:04:53 pairing_check_verified: 1 (mem: 251.70 MiB)
13:04:53 Proof verified successfully (mem: 251.70 MiB)
13:04:53 verified: 1 (mem: 251.70 MiB)
13:04:53 [13:04:53.202]
INFO:
bb-prover Successfully verified proof from key in 93.54602100000011 ms
13:04:53 [13:04:53.203]
INFO:
bb-prover Successfully verified proof from key in 124.79363899999953 ms
13:04:53 [13:04:53.207]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.78 MiB)
13:04:53 Scheme is: ultra_honk, num threads: 128 (mem: 250.78 MiB)
13:04:53 --public_inputs_path: /tmp/c7009bdc/bb/tmp-vS4ffJ/public_inputs (mem: 250.78 MiB)
13:04:53 --proof_path: /tmp/c7009bdc/bb/tmp-vS4ffJ/proof (mem: 250.78 MiB)
13:04:53 --vk_path: /tmp/c7009bdc/bb/tmp-vS4ffJ/vk (mem: 250.78 MiB)
13:04:53 --verbose: true (mem: 250.78 MiB)
13:04:53 --scheme: ultra_honk (mem: 250.78 MiB)
13:04:53 --oracle_hash: poseidon2 (mem: 250.78 MiB)
13:04:53 --disable_zk: true (mem: 250.78 MiB)
13:04:53 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.78 MiB)
13:04:53 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.78 MiB)
13:04:53 Initialized BN254 CRS from memory with num points = 1025 (mem: 250.78 MiB)
13:04:53 sumcheck_verified: 1 (mem: 250.78 MiB)
13:04:53 libra_evals_verified: 1 (mem: 250.78 MiB)
13:04:53 pairing_check_verified: 1 (mem: 250.78 MiB)
13:04:53 Proof verified successfully (mem: 250.78 MiB)
13:04:53 verified: 1 (mem: 250.78 MiB)
13:04:53 [13:04:53.208]
INFO:
bb-prover Successfully verified proof from key in 70.4233690000001 ms
13:04:53 [13:04:53.209]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 251.70 MiB)
13:04:53 Scheme is: ultra_honk, num threads: 128 (mem: 251.70 MiB)
13:04:53 --public_inputs_path: /tmp/c7009bdc/bb/tmp-tzeAAd/public_inputs (mem: 251.70 MiB)
13:04:53 --proof_path: /tmp/c7009bdc/bb/tmp-tzeAAd/proof (mem: 251.70 MiB)
13:04:53 --vk_path: /tmp/c7009bdc/bb/tmp-tzeAAd/vk (mem: 251.70 MiB)
13:04:53 --verbose: true (mem: 251.70 MiB)
13:04:53 --scheme: ultra_honk (mem: 251.70 MiB)
13:04:53 --oracle_hash: poseidon2 (mem: 251.70 MiB)
13:04:53 --disable_zk: true (mem: 251.70 MiB)
13:04:53 [13:04:53.210]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 251.70 MiB)
13:04:53 [13:04:53.230]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 251.70 MiB)
13:04:53 Initialized BN254 CRS from memory with num points = 1025 (mem: 251.70 MiB)
13:04:53 sumcheck_verified: 1 (mem: 251.70 MiB)
13:04:53 libra_evals_verified: 1 (mem: 251.70 MiB)
13:04:53 pairing_check_verified: 1 (mem: 251.70 MiB)
13:04:53 Proof verified successfully (mem: 251.70 MiB)
13:04:53 verified: 1 (mem: 251.70 MiB)
13:04:53 [13:04:53.232]
INFO:
bb-prover Successfully verified proof from key in 65.79803900000115 ms
13:04:53 [13:04:53.459]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":81.2550940000001,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
13:04:53 [13:04:53.463]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:04:53 [13:04:53.464]
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/c7009bdc/bb/tmp-eSCym6 -b /tmp/c7009bdc/bb/tmp-eSCym6/RootParityArtifact-bytecode -w /tmp/c7009bdc/bb/tmp-eSCym6/partial-witness.gz -v --init_kzg_accumulator -v
13:04:53 [13:04:53.499]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 253.99 MiB)
13:04:53 Scheme is: ultra_honk, num threads: 128 (mem: 253.99 MiB)
13:04:53 --scheme: ultra_honk (mem: 253.99 MiB)
13:04:53 --bytecode_path: /tmp/c7009bdc/bb/tmp-eSCym6/RootParityArtifact-bytecode (mem: 253.99 MiB)
13:04:53 --witness_path: /tmp/c7009bdc/bb/tmp-eSCym6/partial-witness.gz (mem: 253.99 MiB)
13:04:53 --output_path: /tmp/c7009bdc/bb/tmp-eSCym6 (mem:
13:04:53 [13:04:53.499]
INFO:
bb-prover RootParityArtifact BB out - 253.99 MiB)
13:04:53 Warning: the following option is called more than once (mem: 253.99 MiB)
13:04:53 --verbose: true (mem: 253.99 MiB)
13:04:53 --oracle_hash: poseidon2 (mem: 253.99 MiB)
13:04:53 --output_format: bytes_and_fields (mem: 253.99 MiB)
13:04:53 --write_vk: true (mem: 253.99 MiB)
13:04:53 --disable_zk: true (mem: 253.99 MiB)
13:04:53 --init_kzg_accumulator: true (mem: 253.99 MiB)
13:04:53 [13:04:53.687]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 253.99 MiB)
13:04:56 [13:04:56.053]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 411.19 MiB)
13:04:58 [13:04:58.293]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 779.16 MiB)
13:05:00 [13:05:00.383]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1050.13 MiB)
13:05:02 [13:05:02.900]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1425.64 MiB)
13:05:02 [13:05:02.901]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1425.64 MiB)
13:05:04 [13:05:04.263]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1861.04 MiB)
13:05:04 [13:05:04.609]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5460.32 MiB)
13:05:06 [13:05:06.710]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3809 ms. (mem: 6077.32 MiB)
13:05:06 [13:05:06.872]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6077.32 MiB)
13:05:07 [13:05:06.998]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6561.99 MiB)
13:05:08 [13:05:08.422]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7330.90 MiB)
13:05:17 [13:05:17.163]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7330.90 MiB)
13:05:22 [13:05:22.062]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7330.90 MiB)
13:05:23 [13:05:23.996]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 9033.03 MiB)
13:05:26 [13:05:26.225]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 9033.03 MiB)
13:05:32 [13:05:32.111]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 9033.03 MiB)
13:05:33 [13:05:33.778]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 9033.03 MiB)
13:05:33 [13:05:33.816]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 9033.03 MiB)
13:05:34 [13:05:34.598]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/c7009bdc/bb/tmp-eSCym6/public_inputs" (mem: 9033.03 MiB)
13:05:34 Public inputs fields saved to "/tmp/c7009bdc/bb/tmp-eSCym6/public_inputs_fields.json" (mem: 9033.03 MiB)
13:05:34 Proof saved to "/tmp/c7009bdc/bb/tmp-eSCym6/proof" (mem: 9033.03 MiB)
13:05:34 [13:05:34.599]
INFO:
bb-prover RootParityArtifact BB out - Proof fields saved to "/tmp/c7009bdc/bb/tmp-eSCym6/proof_fields.json" (mem: 9033.03 MiB)
13:05:34 VK saved to "/tmp/c7009bdc/bb/tmp-eSCym6/vk" (mem: 9033.03 MiB)
13:05:34 VK fields saved to "/tmp/c7009bdc/bb/tmp-eSCym6/vk_fields.json" (mem: 9033.03 MiB)
13:05:34 [13:05:34.956]
INFO:
bb-prover Generated proof for RootParityArtifact in 41485 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":41484.952487999995,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:05:34 [13:05:34.960]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:05:34 [13:05:34.960]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c7009bdc/bb/tmp-djYdJZ/proof -k /tmp/c7009bdc/bb/tmp-djYdJZ/vk -i /tmp/c7009bdc/bb/tmp-djYdJZ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:05:34 [13:05:34.991]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
13:05:34 [13:05:34.991]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
13:05:34 [13:05:34.992]
VERBOSE:
bb-prover bb-prover (verify) BB out - 254.00
13:05:34 [13:05:34.992]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
13:05:34 [13:05:34.992]
VERBOSE:
bb-prover bb-prover (verify) BB out -
13:05:34 [13:05:34.993]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.00 MiB)
13:05:34 --public_inputs_path: /tmp/c7009bdc/bb/tmp-djYdJZ/public_inputs (mem: 254.00 MiB)
13:05:34 --proof_path: /tmp/c7009bdc/bb/tmp-djYdJZ/proof (mem: 254.00 MiB)
13:05:34 --vk_path: /tmp/c7009bdc/bb/tmp-djYdJZ/vk (mem: 254.00 MiB)
13:05:34 --verbose: true (mem: 254.00 MiB)
13:05:34 --scheme: ultra_honk (mem: 254.00 MiB)
13:05:35 [13:05:34.997]
VERBOSE:
bb-prover bb-prover (verify) BB out - --oracle_hash: poseidon2 (mem: 254.00 MiB)
13:05:35 --disable_zk: true (mem: 254.00 MiB)
13:05:35 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.00 MiB)
13:05:35 [13:05:35.010]
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"
13:05:35 [13:05:35.011]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
13:05:35 [13:05:35.012]
VERBOSE:
bb-prover bb-prover (verify) BB out - 254.00
13:05:35 [13:05:35.012]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
13:05:35 [13:05:35.012]
VERBOSE:
bb-prover bb-prover (verify) BB out -
13:05:35 [13:05:35.013]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 254.00 MiB)
13:05:35 [13:05:35.016]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 254.00 MiB)
13:05:35 libra_evals_verified: 1 (mem: 254.00 MiB)
13:05:35 pairing_check_verified: 1 (mem: 254.00 MiB)
13:05:35 Proof verified successfully (mem: 254.00 MiB)
13:05:35 verified: 1 (mem: 254.00 MiB)
13:05:35 [13:05:35.017]
INFO:
bb-prover Successfully verified proof from key in 57.58682899999985 ms
13:05:35 [13:05:35.022]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:05:35 [13:05:35.022]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c7009bdc/bb/tmp-bDbVhe/proof -k /tmp/c7009bdc/bb/tmp-bDbVhe/vk -i /tmp/c7009bdc/bb/tmp-bDbVhe/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:05:35 [13:05:35.050]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.00 MiB)
13:05:35 [13:05:35.051]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.00 MiB)
13:05:35 --public_inputs_path: /tmp/c7009bdc/bb/tmp-bDbVhe/public_inputs (mem: 254.00 MiB)
13:05:35 --proof_path: /tmp/c7009bdc/bb/tmp-bDbVhe/proof (mem: 254.00 MiB)
13:05:35 --vk_path: /tmp/c7009bdc/bb/tmp-bDbVhe/vk (mem: 254.00 MiB)
13:05:35 --verbose: true (mem: 254.00 MiB)
13:05:35 --scheme: ultra_honk (mem: 254.00 MiB)
13:05:35 --oracle_hash: poseidon2 (mem: 254.00 MiB)
13:05:35 --disable_zk: true (mem: 254.00 MiB)
13:05:35 vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.00 MiB)
13:05:35 [13:05:35.071]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 254.00 MiB)
13:05:35 [13:05:35.074]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1025 (mem: 254.00 MiB)
13:05:35 sumcheck_verified: 1 (mem: 254.00 MiB)
13:05:35 libra_evals_verified: 1 (mem: 254.00 MiB)
13:05:35 pairing_check_verified: 1 (mem: 254.00 MiB)
13:05:35 Proof verified successfully (mem: 254.00 MiB)
13:05:35 verified: 1 (mem: 254.00 MiB)
13:05:35 [13:05:35.076]
INFO:
bb-prover Successfully verified proof from key in 54.63198399999965 ms
13:05:35 [13:05:35.178]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
13:05:35
13:05:35 [13:05:35.179]
ERROR:
bb-prover Error running operation at /tmp/c7009bdc/bb/tmp-NlF1iF: Error: Failed to generate witness: Failed assertion
13:05:35
13:05:35 [13:05:35.400]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":86.59069799999997,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
13:05:35 [13:05:35.402]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:05:35 [13:05:35.402]
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/c7009bdc/bb/tmp-N3J1lq -b /tmp/c7009bdc/bb/tmp-N3J1lq/RootParityArtifact-bytecode -w /tmp/c7009bdc/bb/tmp-N3J1lq/partial-witness.gz -v --init_kzg_accumulator -v
13:05:35 [13:05:35.436]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.00 MiB)
13:05:35 [13:05:35.437]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.00 MiB)
13:05:35 --scheme: ultra_honk (mem: 254.00 MiB)
13:05:35 --bytecode_path: /tmp/c7009bdc/bb/tmp-N3J1lq/RootParityArtifact-bytecode (mem: 254.00 MiB)
13:05:35 --witness_path: /tmp/c7009bdc/bb/tmp-N3J1lq/partial-witness.gz (mem: 254.00 MiB)
13:05:35 --output_path: /tmp/c7009bdc/bb/tmp-N3J1lq (mem: 254.00 MiB)
13:05:35 Warning: the following option is called more than once (mem: 254.00 MiB)
13:05:35 --verbose: true (mem: 254.00 MiB)
13:05:35 --oracle_hash: poseidon2 (mem: 254.00 MiB)
13:05:35 --output_format: bytes_and_fields (mem: 254.00 MiB)
13:05:35 --write_vk: true (mem: 254.00 MiB)
13:05:35 --disable_zk: true (mem: 254.00 MiB)
13:05:35 --init_kzg_accumulator: true (mem: 254.00 MiB)
13:05:35 [13:05:35.631]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.00 MiB)
13:05:35 [13:05:35.647]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 254.00 MiB)
13:05:38 [13:05:38.000]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 404.28 MiB)
13:05:40 [13:05:40.369]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 771.09 MiB)
13:05:42 [13:05:42.667]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1039.00 MiB)
13:05:45 [13:05:45.123]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1413.50 MiB)
13:05:45 [13:05:45.124]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1413.50 MiB)
13:05:46 [13:05:46.623]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1846.44 MiB)
13:05:47 [13:05:47.008]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5452.55 MiB)
13:05:48 [13:05:48.905]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3780 ms. (mem: 6063.55 MiB)
13:05:49 [13:05:49.048]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6063.55 MiB)
13:05:49 [13:05:49.264]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6556.95 MiB)
13:05:50 [13:05:50.742]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7325.61 MiB)
13:05:56 [13:05:56.294]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7325.61 MiB)
13:06:00 [13:06:00.112]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7325.61 MiB)
13:06:02 [13:06:02.790]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8994.07 MiB)
13:06:05 [13:06:05.218]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8994.07 MiB)
13:06:12 [13:06:12.337]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8994.07 MiB)
13:06:13 [13:06:13.659]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8994.07 MiB)
13:06:13 [13:06:13.691]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8994.07 MiB)
13:06:14 [13:06:14.541]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/c7009bdc/bb/tmp-N3J1lq/public_inputs" (mem: 8994.07 MiB)
13:06:14 [13:06:14.541]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/c7009bdc/bb/tmp-N3J1lq/public_inputs_fields.json" (mem: 8994.07 MiB)
13:06:14 Proof saved to "/tmp/c7009bdc/bb/tmp-N3J1lq/proof" (mem: 8994.07 MiB)
13:06:14 Proof fields saved to "/tmp/c7009bdc/bb/tmp-N3J1lq/proof_fields.json" (mem: 8994.07 MiB)
13:06:14 VK saved to "/tmp/c7009bdc/bb/tmp-N3J1lq/vk" (mem: 8994.07 MiB)
13:06:14 [13:06:14.542]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/c7009bdc/bb/tmp-N3J1lq/vk_fields.json" (mem: 8994.07 MiB)
13:06:14 [13:06:14.800]
INFO:
bb-prover Generated proof for RootParityArtifact in 39396 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":39395.391126,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:06:14 [13:06:14.803]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:06:14 [13:06:14.803]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c7009bdc/bb/tmp-00IYPr/proof -k /tmp/c7009bdc/bb/tmp-00IYPr/vk -i /tmp/c7009bdc/bb/tmp-00IYPr/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:06:14 [13:06:14.827]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.00 MiB)
13:06:14 [13:06:14.827]
VERBOSE:
bb-prover bb-prover (verify) BB out -
13:06:14 Scheme is: ultra_honk, num threads: 128 (mem: 254.00 MiB)
13:06:14 --public_inputs_path: /tmp/c7009bdc/bb/tmp-00IYPr/public_inputs (mem: 254.00 MiB)
13:06:14 --proof_path: /tmp/c7009bdc/bb/tmp-00IYPr/proof (mem: 254.00 MiB)
13:06:14 --vk_path: /tmp/c7009bdc/bb/tmp-00IYPr/vk (mem: 254.00 MiB)
13:06:14 --verbose: true (mem: 254.00 MiB)
13:06:14 --scheme: ultra_honk (mem: 254.00 MiB)
13:06:14 --oracle_hash: poseidon2 (mem: 254.00 MiB)
13:06:14 --disable_zk: true (mem: 254.00 MiB)
13:06:14 [13:06:14.828]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.00 MiB)
13:06:14 [13:06:14.838]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 254.00 MiB)
13:06:14 Proof verification failed (mem: 254.00 MiB)
13:06:14 [13:06:14.838]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 0 (mem: 254.00 MiB)
13:06:14 [13:06:14.840]
ERROR:
bb-prover Error running operation at /tmp/c7009bdc/bb/tmp-00IYPr: ProvingError: Failed to verify proof from key!
13:06:15 [13:06:15.020]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":66.51327100000344,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
13:06:15 [13:06:15.023]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
13:06:15 [13:06:15.024]
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/c7009bdc/bb/tmp-iolbVL -b /tmp/c7009bdc/bb/tmp-iolbVL/RootParityArtifact-bytecode -w /tmp/c7009bdc/bb/tmp-iolbVL/partial-witness.gz -v --init_kzg_accumulator -v
13:06:15 [13:06:15.053]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 254.00 MiB)
13:06:15 Scheme is: ultra_honk, num threads: 128 (mem: 254.00 MiB)
13:06:15 --scheme: ultra_honk (mem: 254.00 MiB)
13:06:15 --bytecode_path: /tmp/c7009bdc/bb/tmp-iolbVL/RootParityArtifact-bytecode (mem: 254.00 MiB)
13:06:15 --witness_path: /tmp/c7009bdc/bb/tmp-iolbVL/partial-witness.gz (mem: 254.00 MiB)
13:06:15 --output_path: /tmp/c7009bdc/bb/tmp-iolbVL (mem: 254.00 MiB)
13:06:15 Warning: the following option is called more than once (mem: 254.00 MiB)
13:06:15 --verbose: true (mem: 254.00 MiB)
13:06:15 --oracle_hash: poseidon2 (mem: 254.00 MiB)
13:06:15 --output_format: bytes_and_fields (mem: 254.00 MiB)
13:06:15 --write_vk: true (mem: 254.00 MiB)
13:06:15 --disable_zk: true (mem: 254.00 MiB)
13:06:15 --init_kzg_accumulator: true (mem: 254.00 MiB)
13:06:15 [13:06:15.236]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 254.00 MiB)
13:06:15 [13:06:15.248]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 254.00 MiB)
13:06:17 [13:06:17.111]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 410.18 MiB)
13:06:19 [13:06:19.028]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 778.27 MiB)
13:06:20 [13:06:20.698]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1046.32 MiB)
13:06:22 [13:06:22.490]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1421.31 MiB)
13:06:22 [13:06:22.491]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1421.31 MiB)
13:06:23 [13:06:23.554]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1856.72 MiB)
13:06:23 [13:06:23.957]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5461.72 MiB)
13:06:25 [13:06:25.607]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3116 ms. (mem: 6079.72 MiB)
13:06:25 [13:06:25.753]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6079.72 MiB)
13:06:25 [13:06:25.897]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6564.70 MiB)
13:06:27 [13:06:27.254]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4195329 (mem: 7332.78 MiB)
13:06:32 [13:06:32.331]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 7332.78 MiB)
13:06:35 [13:06:35.993]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 7332.78 MiB)
13:06:37 [13:06:37.470]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 8993.90 MiB)
13:06:39 [13:06:39.442]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 8993.90 MiB)
13:06:43 [13:06:43.958]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 8993.90 MiB)
13:06:45 [13:06:45.310]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 8993.90 MiB)
13:06:45 [13:06:45.338]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 8993.90 MiB)
13:06:45 [13:06:45.947]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/c7009bdc/bb/tmp-iolbVL/public_inputs" (mem: 8993.90 MiB)
13:06:45 Public inputs fields saved to "/tmp/c7009bdc/bb/tmp-iolbVL/public_inputs_fields.json" (mem: 8993.90 MiB)
13:06:45 [13:06:45.948]
INFO:
bb-prover RootParityArtifact BB out - Proof saved to "/tmp/c7009bdc/bb/tmp-iolbVL/proof" (mem: 8993.90 MiB)
13:06:45 Proof fields saved to "/tmp/c7009bdc/bb/tmp-iolbVL/proof_fields.json" (mem: 8993.90 MiB)
13:06:45 VK saved to "/tmp/c7009bdc/bb/tmp-iolbVL/vk" (mem: 8993.90 MiB)
13:06:45 VK fields saved to "/tmp/c7009bdc/bb/tmp-iolbVL/vk_fields.json" (mem: 8993.90 MiB)
13:06:46 [13:06:46.139]
INFO:
bb-prover Generated proof for RootParityArtifact in 31115 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":31114.103997000013,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
13:06:46 [13:06:46.141]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
13:06:46 [13:06:46.141]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/c7009bdc/bb/tmp-qwMCsW/proof -k /tmp/c7009bdc/bb/tmp-qwMCsW/vk -i /tmp/c7009bdc/bb/tmp-qwMCsW/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
13:06:46 [13:06:46.165]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 254.00 MiB)
13:06:46 [13:06:46.165]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 254.00 MiB)
13:06:46 --public_inputs_path: /tmp/c7009bdc/bb/tmp-qwMCsW/public_inputs (mem: 254.00 MiB)
13:06:46 --proof_path: /tmp/c7009bdc/bb/tmp-qwMCsW/proof (mem: 254.00 MiB)
13:06:46 --vk_path: /tmp/c7009bdc/bb/tmp-qwMCsW/vk (mem: 254.00 MiB)
13:06:46 --verbose: true (mem: 254.00 MiB)
13:06:46 --scheme: ultra_honk (mem: 254.00 MiB)
13:06:46 --oracle_hash: poseidon2 (mem: 254.00 MiB)
13:06:46 --disable_zk: true (mem: 254.00 MiB)
13:06:46 [13:06:46.166]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000005da76fa69a23bbbd93da106130ab0e6f (mem: 254.00 MiB)
13:06:46 [13:06:46.176]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 254.00 MiB)
13:06:46 Proof verification failed (mem: 254.00 MiB)
13:06:46 verified: 0 (mem: 254.00 MiB)
13:06:46 [13:06:46.178]
ERROR:
bb-prover Error running operation at /tmp/c7009bdc/bb/tmp-qwMCsW: ProvingError: Failed to verify proof from key!
13:06:46 [13:06:46.181]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
13:06:46
PASS src/test/bb_prover_parity.test.ts (
127.544 s)
13:06:46 prover/bb_prover/parity
13:06:46
✓ proves the parity circuits (117869 ms)
13:06:46
13:06:46
Test Suites: 1 passed, 1 total
13:06:46
Tests: 1 passed, 1 total
13:06:46
Snapshots: 0 total
13:06:46
Time: 127.626 s
13:06:46
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
13:06:46
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?