Parent Log:
http://ci.aztec-labs.com/9182f70137342f7d
Command: eadd2d8c3615a197: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/955126f8565431c0361057561e9e81dc0bd892f5
Env: REF_NAME=gh-readonly-queue/next/pr-15269-13c9f60af5c2ea64e96c521ff1b514d2662d819e CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 25 09:40:29 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15269_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
09:40:29 +++ id -u
09:40:29 +++ id -g
09:40:29 ++ 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'\'''
09:40:30 + cid=c9e38a123b2e15569b100d049b0c4c771216092f9ce6700fd0b79b3140f4a809
09:40:30 + set +x
09:40:32 {"level":25,"time":1750844432118,"pid":7,"hostname":"c9e38a123b2e","module":"logger","msg":"Logger initialized with level verbose"}
09:40:40 [09:40:40.125]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-8g38Lb/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
09:40:40 [09:40:40.202]
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/935c1137/bb
09:40:40 [09:40:40.204]
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/935c1137/acvm
09:40:40 [09:40:40.205]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/935c1137/bb
09:40:40 [09:40:40.205]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/935c1137/acvm
09:40:40 [09:40:40.209]
INFO:
prover-client:proving-broker Proving Broker started
09:40:40 [09:40:40.211]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
09:40:40 [09:40:40.390]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":87.38566899999933,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:40:40 [09:40:40.403]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":62.75341800000024,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:40:40 [09:40:40.415]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:40:40 [09:40:40.415]
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/935c1137/bb/tmp-rtm9QZ -b /tmp/935c1137/bb/tmp-rtm9QZ/BaseParityArtifact-bytecode -w /tmp/935c1137/bb/tmp-rtm9QZ/partial-witness.gz -v --init_kzg_accumulator -v
09:40:40 [09:40:40.442]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:40:40 [09:40:40.442]
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/935c1137/bb/tmp-As8crs -b /tmp/935c1137/bb/tmp-As8crs/BaseParityArtifact-bytecode -w /tmp/935c1137/bb/tmp-As8crs/partial-witness.gz -v --init_kzg_accumulator -v
09:40:40 [09:40:40.478]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":51.15492599999925,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:40:40 [09:40:40.480]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.62 MiB)
09:40:40 Scheme is: ultra_honk, num threads: 128 (mem: 250.62 MiB)
09:40:40 --scheme: ultra_honk (mem: 250.62 MiB)
09:40:40 --bytecode_path: /tmp/935c1137/bb/tmp-rtm9QZ/BaseParityArtifact-bytecode (mem: 250.62 MiB)
09:40:40 --witness_path: /tmp/935c1137/bb/tmp-rtm9QZ/partial-witness.gz (mem: 250.62 MiB)
09:40:40 --output_path: /tmp/935c1137/bb/tmp-rtm9QZ (mem: 250.62 MiB)
09:40:40 Warning: the following option is called more than once (mem: 250.62 MiB)
09:40:40 --verbose: true (mem: 250.62 MiB)
09:40:40 --oracle_hash: poseidon2 (mem: 250.62 MiB)
09:40:40 --output_format: bytes_and_fields (mem: 250.62 MiB)
09:40:40 --write_vk: true (mem: 250.62 MiB)
09:40:40 --disable_zk: true (mem: 250.62 MiB)
09:40:40 --init_kzg_accumulator: true (mem: 250.62 MiB)
09:40:40 [09:40:40.481]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.62 MiB)
09:40:40 Scheme is: ultra_honk, num threads: 128 (mem: 250.62 MiB)
09:40:40 --scheme: ultra_honk (mem: 250.62 MiB)
09:40:40 --bytecode_path: /tmp/935c1137/bb/tmp-As8crs/BaseParityArtifact-bytecode (mem: 250.62 MiB)
09:40:40 --witness_path: /tmp/935c1137/bb/tmp-As8crs/partial-witness.gz (mem: 250.62 MiB)
09:40:40 --output_path: /tmp/935c1137/bb/tmp-As8crs (mem: 250.62 MiB)
09:40:40 Warning: the following option is called more than once (mem: 250.62 MiB)
09:40:40 --verbose: true (mem: 250.62 MiB)
09:40:40 --oracle_hash: poseidon2 (mem: 250.62 MiB)
09:40:40 --output_format: bytes_and_fields (mem: 250.62 MiB)
09:40:40 --write_vk: true (mem: 250.62 MiB)
09:40:40 --disable_zk: true (mem: 250.62 MiB)
09:40:40 --init_kzg_accumulator: true (mem: 250.62 MiB)
09:40:40 [09:40:40.489]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":68.02325500000006,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
09:40:40 [09:40:40.490]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:40:40 [09:40:40.490]
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/935c1137/bb/tmp-Vk8Q8g -b /tmp/935c1137/bb/tmp-Vk8Q8g/BaseParityArtifact-bytecode -w /tmp/935c1137/bb/tmp-Vk8Q8g/partial-witness.gz -v --init_kzg_accumulator -v
09:40:40 [09:40:40.518]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
09:40:40 [09:40:40.519]
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/935c1137/bb/tmp-xET2N6 -b /tmp/935c1137/bb/tmp-xET2N6/BaseParityArtifact-bytecode -w /tmp/935c1137/bb/tmp-xET2N6/partial-witness.gz -v --init_kzg_accumulator -v
09:40:40 [09:40:40.550]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.71 MiB)
09:40:40 Scheme is: ultra_honk, num threads: 128 (mem: 250.71 MiB)
09:40:40 --scheme: ultra_honk (mem: 250.71 MiB)
09:40:40 --bytecode_path: /tmp/935c1137/bb/tmp-Vk8Q8g/BaseParityArtifact-bytecode (mem: 250.71 MiB)
09:40:40 --witness_path: /tmp/935c1137/bb/tmp-Vk8Q8g/partial-witness.gz (mem: 250.71 MiB)
09:40:40 --output_path: /tmp/935c1137/bb/tmp-Vk8Q8g (mem: 250.71 MiB)
09:40:40 Warning: the following option is called more than once (mem: 250.71 MiB)
09:40:40 --verbose: true (mem: 250.71 MiB)
09:40:40 --oracle_hash: poseidon2 (mem: 250.71 MiB)
09:40:40 --output_format: bytes_and_fields (mem: 250.71 MiB)
09:40:40 --write_vk: true (mem: 250.71 MiB)
09:40:40 --disable_zk: true (mem: 250.71 MiB)
09:40:40 --init_kzg_accumulator: true (mem: 250.71 MiB)
09:40:40 [09:40:40.555]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 249.92 MiB)
09:40:40 [09:40:40.556]
INFO:
bb-prover BaseParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 249.92 MiB)
09:40:40 --scheme: ultra_honk (mem: 249.92 MiB)
09:40:40 --bytecode_path: /tmp/935c1137/bb/tmp-xET2N6/BaseParityArtifact-bytecode (mem: 249.92 MiB)
09:40:40 --witness_path: /tmp/935c1137/bb/tmp-xET2N6/partial-witness.gz (mem: 249.92 MiB)
09:40:40 --output_path: /tmp/935c1137/bb/tmp-xET2N6 (mem: 249.92 MiB)
09:40:40 Warning: the following option is called more than once (mem: 249.92 MiB)
09:40:40 --verbose: true (mem: 249.92 MiB)
09:40:40 --oracle_hash: poseidon2 (mem: 249.92 MiB)
09:40:40 --output_format: bytes_and_fields (mem: 249.92 MiB)
09:40:40 --write_vk: true (mem: 249.92 MiB)
09:40:40 --disable_zk: true (mem: 249.92 MiB)
09:40:40 --init_kzg_accumulator: true (mem: 249.92 MiB)
09:40:40 [09:40:40.613]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.62 MiB)
09:40:40 [09:40:40.613]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.62 MiB)
09:40:40 [09:40:40.621]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.62 MiB)
09:40:40 [09:40:40.645]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.62 MiB)
09:40:40 [09:40:40.647]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey (mem: 250.62 MiB)
09:40:40 [09:40:40.652]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.62 MiB)
09:40:40 [09:40:40.727]
INFO:
bb-prover BaseParityArtifact BB out - created circuit
09:40:40 [09:40:40.728]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
09:40:40 [09:40:40.728]
INFO:
bb-prover BaseParityArtifact BB out - 250.71
09:40:40 [09:40:40.729]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
09:40:40 [09:40:40.729]
INFO:
bb-prover BaseParityArtifact BB out -
09:40:40 [09:40:40.730]
INFO:
bb-prover BaseParityArtifact BB out - Constructing DeciderProvingKey
09:40:40 [09:40:40.733]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 250.71 MiB)
09:40:40 [09:40:40.736]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
09:40:40 [09:40:40.737]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
09:40:40 [09:40:40.740]
INFO:
bb-prover BaseParityArtifact BB out - 250.71 MiB)
09:40:40 [09:40:40.741]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 249.92 MiB)
09:40:40 Constructing DeciderProvingKey (mem: 249.92 MiB)
09:40:40 [09:40:40.742]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 249.92 MiB)
09:40:40 [09:40:40.846]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.62 MiB)
09:40:40 [09:40:40.906]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 260 ms. (mem: 250.62 MiB)
09:40:40 [09:40:40.914]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.62 MiB)
09:40:40 [09:40:40.943]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.62 MiB)
09:40:40 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.62 MiB)
09:40:40 [09:40:40.956]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.62 MiB)
09:40:41 [09:40:41.042]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.71 MiB)
09:40:41 [09:40:41.063]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 450 ms. (mem: 250.62 MiB)
09:40:41 [09:40:41.070]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.62 MiB)
09:40:41 [09:40:41.071]
INFO:
bb-prover BaseParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.62 MiB)
09:40:41 [09:40:41.083]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.62 MiB)
09:40:41 [09:40:41.090]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 249.92 MiB)
09:40:41 [09:40:41.172]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 440 ms. (mem: 250.71 MiB)
09:40:41 [09:40:41.181]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.71 MiB)
09:40:41 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.71 MiB)
09:40:41 [09:40:41.195]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537
09:40:41 [09:40:41.197]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 250.71 MiB)
09:40:41 [09:40:41.217]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 478 ms. (mem: 249.92 MiB)
09:40:41 [09:40:41.223]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 249.92 MiB)
09:40:41 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.92 MiB)
09:40:41 [09:40:41.237]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 249.92 MiB)
09:40:42 [09:40:42.076]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.62 MiB)
09:40:42 [09:40:42.267]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.62 MiB)
09:40:42 [09:40:42.356]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.71 MiB)
09:40:42 [09:40:42.437]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.92 MiB)
09:40:42 [09:40:42.623]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.62 MiB)
09:40:42 [09:40:42.918]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof
09:40:42 [09:40:42.919]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 250.62 MiB)
09:40:42 [09:40:42.986]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.71 MiB)
09:40:42 [09:40:42.987]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.62 MiB)
09:40:43 [09:40:43.082]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 249.92 MiB)
09:40:43 [09:40:43.211]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.62 MiB)
09:40:43 [09:40:43.218]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.62 MiB)
09:40:43 [09:40:43.279]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.71 MiB)
09:40:43 [09:40:43.293]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 249.92 MiB)
09:40:43 [09:40:43.438]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.62 MiB)
09:40:43 [09:40:43.510]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.71 MiB)
09:40:43 [09:40:43.550]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 249.92 MiB)
09:40:44 [09:40:44.809]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.62 MiB)
09:40:44 [09:40:44.937]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.62 MiB)
09:40:44 finished decider proving. (mem: 250.62 MiB)
09:40:44 [09:40:44.941]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/935c1137/bb/tmp-As8crs/public_inputs" (mem: 250.62 MiB)
09:40:44 [09:40:44.944]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/935c1137/bb/tmp-As8crs/public_inputs_fields.json" (mem: 250.62 MiB)
09:40:44 [09:40:44.944]
INFO:
bb-prover BaseParityArtifact BB out - Proof saved to "/tmp/935c1137/bb/tmp-As8crs/proof" (mem: 250.62 MiB)
09:40:44 [09:40:44.945]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/935c1137/bb/tmp-As8crs/proof_fields.json" (mem: 250.62 MiB)
09:40:44 VK saved to "/tmp/935c1137/bb/tmp-As8crs/vk" (mem: 250.62 MiB)
09:40:44 [09:40:44.945]
INFO:
bb-prover BaseParityArtifact BB out - VK fields saved to "/tmp/935c1137/bb/tmp-As8crs/vk_fields.json" (mem: 250.62 MiB)
09:40:45 [09:40:45.045]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4600 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4599.731523,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:40:45 [09:40:45.049]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:40:45 [09:40:45.050]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/935c1137/bb/tmp-oJQUqC/proof -k /tmp/935c1137/bb/tmp-oJQUqC/vk -i /tmp/935c1137/bb/tmp-oJQUqC/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:40:45 [09:40:45.084]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify
09:40:45 [09:40:45.086]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem: 250.74 MiB)
09:40:45 Scheme is: ultra_honk, num threads: 128 (mem: 250.74 MiB)
09:40:45 --public_inputs_path: /tmp/935c1137/bb/tmp-oJQUqC/public_inputs (mem: 250.74 MiB)
09:40:45 --proof_path: /tmp/935c1137/bb/tmp-oJQUqC/proof (mem: 250.74 MiB)
09:40:45 --vk_path: /tmp/935c1137/bb/tmp-oJQUqC/vk (mem: 250.74 MiB)
09:40:45 --verbose: true (mem: 250.74 MiB)
09:40:45 --scheme: ultra_honk (mem: 250.74 MiB)
09:40:45 --oracle_hash: poseidon2 (mem: 250.74 MiB)
09:40:45 --disable_zk: true (mem: 250.74 MiB)
09:40:45 [09:40:45.086]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7
09:40:45 [09:40:45.087]
VERBOSE:
bb-prover bb-prover (verify) BB out - (mem:
09:40:45 [09:40:45.087]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.74 MiB)
09:40:45 [09:40:45.105]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.74 MiB)
09:40:45 [09:40:45.108]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 250.74 MiB)
09:40:45 sumcheck_verified: 1 (mem: 250.74 MiB)
09:40:45 libra_evals_verified: 1 (mem: 250.74 MiB)
09:40:45 pairing_check_verified: 1 (mem: 250.74 MiB)
09:40:45 Proof verified successfully (mem: 250.74 MiB)
09:40:45 verified: 1 (mem: 250.74 MiB)
09:40:45 [09:40:45.109]
INFO:
bb-prover Successfully verified proof from key in 59.238594000000376 ms
09:40:45 [09:40:45.127]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.62 MiB)
09:40:45 [09:40:45.275]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.62 MiB)
09:40:45 [09:40:45.277]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 250.62 MiB)
09:40:45 [09:40:45.277]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs saved to "/tmp/935c1137/bb/tmp-rtm9QZ/public_inputs" (mem: 250.62 MiB)
09:40:45 [09:40:45.277]
INFO:
bb-prover BaseParityArtifact BB out - Public inputs fields saved to "/tmp/935c1137/bb/tmp-rtm9QZ/public_inputs_fields.json" (mem: 250.62 MiB)
09:40:45 Proof saved to "/tmp/935c1137/bb/tmp-rtm9QZ/proof" (mem: 250.62 MiB)
09:40:45 [09:40:45.279]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/935c1137/bb/tmp-rtm9QZ/proof_fields.json" (mem: 250.62 MiB)
09:40:45 VK saved to "/tmp/935c1137/bb/tmp-rtm9QZ/vk" (mem: 250.62 MiB)
09:40:45 VK fields saved to "/tmp/935c1137/bb/tmp-rtm9QZ/vk_fields.json"
09:40:45 [09:40:45.281]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 250.62 MiB)
09:40:45 [09:40:45.346]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.71 MiB)
09:40:45 [09:40:45.349]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4931 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4930.1823300000015,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:40:45 [09:40:45.353]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:40:45 [09:40:45.354]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/935c1137/bb/tmp-iQ3otS/proof -k /tmp/935c1137/bb/tmp-iQ3otS/vk -i /tmp/935c1137/bb/tmp-iQ3otS/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:40:45 [09:40:45.446]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 249.92 MiB)
09:40:45 [09:40:45.447]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.71 MiB)
09:40:45 finished decider proving. (mem: 250.71 MiB)
09:40:45 Public inputs saved to "/tmp/935c1137/bb/tmp-Vk8Q8g/public_inputs" (mem: 250.71 MiB)
09:40:45 Public inputs fields saved to "/tmp/935c1137/bb/tmp-Vk8Q8g/public_inputs_fields.json" (mem: 250.71 MiB)
09:40:45 [09:40:45.448]
INFO:
bb-prover BaseParityArtifact BB out - Proof saved to "/tmp/935c1137/bb/tmp-Vk8Q8g/proof" (mem: 250.71 MiB)
09:40:45 Proof fields saved to "/tmp/935c1137/bb/tmp-Vk8Q8g/proof_fields.json" (mem: 250.71 MiB)
09:40:45 VK saved to "/tmp/935c1137/bb/tmp-Vk8Q8g/vk" (mem: 250.71 MiB)
09:40:45 VK fields saved to "/tmp/935c1137/bb/tmp-Vk8Q8g/vk_fields.json" (mem: 250.71 MiB)
09:40:45 [09:40:45.457]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.78 MiB)
09:40:45 Scheme is: ultra_honk, num threads: 128 (mem: 250.78 MiB)
09:40:45 --public_inputs_path: /tmp/935c1137/bb/tmp-iQ3otS/public_inputs (mem: 250.78 MiB)
09:40:45 --proof_path: /tmp/935c1137/bb/tmp-iQ3otS/proof (mem: 250.78 MiB)
09:40:45 --vk_path: /tmp/935c1137/bb/tmp-iQ3otS/vk (mem: 250.78 MiB)
09:40:45 --verbose: true (mem: 250.78 MiB)
09:40:45 --scheme: ultra_honk (mem: 250.78 MiB)
09:40:45 --oracle_hash: poseidon2 (mem: 250.78 MiB)
09:40:45 --disable_zk: true (mem: 250.78 MiB)
09:40:45 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.78 MiB)
09:40:45 [09:40:45.485]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.78 MiB)
09:40:45 Initialized BN254 CRS from memory with num points = 1 (mem: 250.78 MiB)
09:40:45 sumcheck_verified: 1 (mem: 250.78 MiB)
09:40:45 libra_evals_verified: 1 (mem: 250.78 MiB)
09:40:45 pairing_check_verified: 1 (mem: 250.78 MiB)
09:40:45 Proof verified successfully (mem: 250.78 MiB)
09:40:45 verified: 1 (mem: 250.78 MiB)
09:40:45 [09:40:45.486]
INFO:
bb-prover Successfully verified proof from key in 132.7571200000002 ms
09:40:45 [09:40:45.536]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4999 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4998.938958999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:40:45 [09:40:45.552]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 249.92 MiB)
09:40:45 finished decider proving. (mem: 249.92 MiB)
09:40:45 Public inputs saved to "/tmp/935c1137/bb/tmp-xET2N6/public_inputs" (mem: 249.92 MiB)
09:40:45 Public inputs fields saved to "/tmp/935c1137/bb/tmp-xET2N6/public_inputs_fields.json" (mem: 249.92 MiB)
09:40:45 Proof saved to "/tmp/935c1137/bb/tmp-xET2N6/proof" (mem: 249.92 MiB)
09:40:45 Proof fields saved to "/tmp/935c1137/bb/tmp-xET2N6/proof_fields.json" (mem: 249.92 MiB)
09:40:45 VK saved to "/tmp/935c1137/bb/tmp-xET2N6/vk" (mem: 249.92 MiB)
09:40:45 VK fields saved to "/tmp/935c1137/bb/tmp-xET2N6/vk_fields.json" (mem: 249.92 MiB)
09:40:45 [09:40:45.557]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:40:45 [09:40:45.557]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/935c1137/bb/tmp-82ROLU/proof -k /tmp/935c1137/bb/tmp-82ROLU/vk -i /tmp/935c1137/bb/tmp-82ROLU/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:40:45 [09:40:45.581]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.93 MiB)
09:40:45 Scheme is: ultra_honk, num threads: 128 (mem: 250.93 MiB)
09:40:45 --public_inputs_path: /tmp/935c1137/bb/tmp-82ROLU/public_inputs (mem: 250.93 MiB)
09:40:45 --proof_path: /tmp/935c1137/bb/tmp-82ROLU/proof (mem: 250.93 MiB)
09:40:45 --vk_path: /tmp/935c1137/bb/tmp-82ROLU/vk (mem: 250.93 MiB)
09:40:45 --verbose: true (mem: 250.93 MiB)
09:40:45 --scheme: ultra_honk (mem: 250.93 MiB)
09:40:45 --oracle_hash: poseidon2 (mem: 250.93 MiB)
09:40:45 --disable_zk: true (mem: 250.93 MiB)
09:40:45 [09:40:45.583]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.93 MiB)
09:40:45 [09:40:45.586]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5064 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5063.791926,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:40:45 [09:40:45.589]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:40:45 [09:40:45.590]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/935c1137/bb/tmp-s0QQlq/proof -k /tmp/935c1137/bb/tmp-s0QQlq/vk -i /tmp/935c1137/bb/tmp-s0QQlq/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:40:45 [09:40:45.611]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.93 MiB)
09:40:45 Initialized BN254 CRS from memory with num points = 1 (mem: 250.93 MiB)
09:40:45 sumcheck_verified: 1 (mem: 250.93 MiB)
09:40:45 libra_evals_verified: 1 (mem: 250.93 MiB)
09:40:45 pairing_check_verified: 1 (mem: 250.93 MiB)
09:40:45 Proof verified successfully (mem: 250.93 MiB)
09:40:45 verified: 1 (mem: 250.93 MiB)
09:40:45 [09:40:45.612]
INFO:
bb-prover Successfully verified proof from key in 54.906473999999434 ms
09:40:45 [09:40:45.617]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
09:40:45 [09:40:45.618]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.94 MiB)
09:40:45 Scheme is: ultra_honk, num threads: 128 (mem: 250.94 MiB)
09:40:45 --public_inputs_path: /tmp/935c1137/bb/tmp-s0QQlq/public_inputs (mem: 250.94 MiB)
09:40:45 --proof_path: /tmp/935c1137/bb/tmp-s0QQlq/proof (mem: 250.94 MiB)
09:40:45 --vk_path: /tmp/935c1137/bb/tmp-s0QQlq/vk (mem: 250.94 MiB)
09:40:45 --verbose: true (mem: 250.94 MiB)
09:40:45 --scheme: ultra_honk (mem: 250.94 MiB)
09:40:45 --oracle_hash: poseidon2 (mem:
09:40:45 [09:40:45.619]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.94 MiB)
09:40:45 --disable_zk: true (mem: 250.94 MiB)
09:40:45 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.94 MiB)
09:40:45 [09:40:45.635]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.94 MiB)
09:40:45 [09:40:45.636]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 250.94 MiB)
09:40:45 [09:40:45.637]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.94 MiB)
09:40:45 libra_evals_verified: 1 (mem: 250.94 MiB)
09:40:45 pairing_check_verified: 1 (mem: 250.94 MiB)
09:40:45 Proof verified successfully (mem: 250.94 MiB)
09:40:45 verified: 1 (mem: 250.94 MiB)
09:40:45 [09:40:45.640]
INFO:
bb-prover Successfully verified proof from key in 50.44157300000006 ms
09:40:45 [09:40:45.647]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:40:45 [09:40:45.647]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/935c1137/bb/tmp-MRsnZb/proof -k /tmp/935c1137/bb/tmp-MRsnZb/vk -i /tmp/935c1137/bb/tmp-MRsnZb/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:40:45 [09:40:45.670]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:40:45 [09:40:45.670]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/935c1137/bb/tmp-V3IRuK/proof -k /tmp/935c1137/bb/tmp-V3IRuK/vk -i /tmp/935c1137/bb/tmp-V3IRuK/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:40:45 [09:40:45.695]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:40:45 [09:40:45.696]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/935c1137/bb/tmp-UrV6B6/proof -k /tmp/935c1137/bb/tmp-UrV6B6/vk -i /tmp/935c1137/bb/tmp-UrV6B6/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:40:45 [09:40:45.722]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:40:45 [09:40:45.723]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/935c1137/bb/tmp-TiFUiB/proof -k /tmp/935c1137/bb/tmp-TiFUiB/vk -i /tmp/935c1137/bb/tmp-TiFUiB/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:40:45 [09:40:45.749]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.95 MiB)
09:40:45 Scheme is: ultra_honk, num threads: 128 (mem: 250.95 MiB)
09:40:45 --public_inputs_path: /tmp/935c1137/bb/tmp-MRsnZb/public_inputs (mem: 250.95 MiB)
09:40:45 --proof_path: /tmp/935c1137/bb/tmp-MRsnZb/proof (mem: 250.95 MiB)
09:40:45 --vk_path: /tmp/935c1137/bb/tmp-MRsnZb/vk (mem: 250.95 MiB)
09:40:45 --verbose: true (mem: 250.95 MiB)
09:40:45 --scheme: ultra_honk (mem: 250.95 MiB)
09:40:45 --oracle_hash: poseidon2 (mem: 250.95 MiB)
09:40:45 --disable_zk: true (mem: 250.95 MiB)
09:40:45 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.95 MiB)
09:40:45 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.95 MiB)
09:40:45 Initialized BN254 CRS from memory with num points = 1 (mem: 250.95 MiB)
09:40:45 sumcheck_verified: 1 (mem: 250.95 MiB)
09:40:45 libra_evals_verified: 1 (mem: 250.95 MiB)
09:40:45 pairing_check_verified: 1 (mem: 250.95 MiB)
09:40:45 Proof verified successfully (mem: 250.95 MiB)
09:40:45 verified: 1 (mem: 250.95 MiB)
09:40:45 [09:40:45.750]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.95 MiB)
09:40:45 Scheme is: ultra_honk, num threads: 128 (mem: 250.95 MiB)
09:40:45 --public_inputs_path: /tmp/935c1137/bb/tmp-V3IRuK/public_inputs (mem: 250.95 MiB)
09:40:45 --proof_path: /tmp/935c1137/bb/tmp-V3IRuK/proof (mem: 250.95 MiB)
09:40:45 --vk_path: /tmp/935c1137/bb/tmp-V3IRuK/vk (mem: 250.95 MiB)
09:40:45 --verbose: true (mem: 250.95 MiB)
09:40:45 --scheme: ultra_honk (mem: 250.95 MiB)
09:40:45 --oracle_hash: poseidon2 (mem: 250.95 MiB)
09:40:45 --disable_zk: true (mem: 250.95 MiB)
09:40:45 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.95 MiB)
09:40:45 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.95 MiB)
09:40:45 Initialized BN254 CRS from memory with num points = 1 (mem: 250.95 MiB)
09:40:45 sumcheck_verified: 1 (mem: 250.95 MiB)
09:40:45 libra_evals_verified: 1 (mem: 250.95 MiB)
09:40:45 pairing_check_verified: 1 (mem: 250.95 MiB)
09:40:45 Proof verified successfully (mem: 250.95 MiB)
09:40:45 verified: 1 (mem: 250.95 MiB)
09:40:45 [09:40:45.751]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.95 MiB)
09:40:45 Scheme is: ultra_honk, num threads: 128 (mem: 250.95 MiB)
09:40:45 --public_inputs_path: /tmp/935c1137/bb/tmp-UrV6B6/public_inputs (mem: 250.95 MiB)
09:40:45 --proof_path: /tmp/935c1137/bb/tmp-UrV6B6/proof (mem: 250.95 MiB)
09:40:45 --vk_path: /tmp/935c1137/bb/tmp-UrV6B6/vk (mem: 250.95 MiB)
09:40:45 --verbose: true (mem: 250.95 MiB)
09:40:45 --scheme: ultra_honk (mem: 250.95 MiB)
09:40:45 --oracle_hash: poseidon2 (mem: 250.95 MiB)
09:40:45 --disable_zk: true (mem: 250.95 MiB)
09:40:45 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.95 MiB)
09:40:45 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.95 MiB)
09:40:45 Initialized BN254 CRS from memory with num points = 1 (mem: 250.95 MiB)
09:40:45 sumcheck_verified: 1 (mem: 250.95 MiB)
09:40:45 libra_evals_verified: 1 (mem: 250.95 MiB)
09:40:45 pairing_check_verified: 1 (mem: 250.95 MiB)
09:40:45 Proof verified successfully (mem: 250.95 MiB)
09:40:45 verified: 1 (mem: 250.95 MiB)
09:40:45 [09:40:45.756]
INFO:
bb-prover Successfully verified proof from key in 87.24245700000029 ms
09:40:45 [09:40:45.756]
INFO:
bb-prover Successfully verified proof from key in 109.53631400000086 ms
09:40:45 [09:40:45.757]
INFO:
bb-prover Successfully verified proof from key in 62.17701699999998 ms
09:40:45 [09:40:45.763]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.97 MiB)
09:40:45 Scheme is: ultra_honk, num threads: 128 (mem: 249.97 MiB)
09:40:45 --public_inputs_path: /tmp/935c1137/bb/tmp-TiFUiB/public_inputs (mem: 249.97 MiB)
09:40:45 --proof_path: /tmp/935c1137/bb/tmp-TiFUiB/proof (mem: 249.97 MiB)
09:40:45 --vk_path: /tmp/935c1137/bb/tmp-TiFUiB/vk (mem: 249.97 MiB)
09:40:45 --verbose: true (mem: 249.97 MiB)
09:40:45 --scheme: ultra_honk (mem: 249.97 MiB)
09:40:45 --oracle_hash: poseidon2 (mem: 249.97 MiB)
09:40:45 --disable_zk: true (mem: 249.97 MiB)
09:40:45 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.97 MiB)
09:40:45 [09:40:45.779]
VERBOSE:
bb-prover bb-prover (verify) BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.97 MiB)
09:40:45 Initialized BN254 CRS from memory with num points = 1 (mem: 249.97 MiB)
09:40:45 sumcheck_verified: 1 (mem: 249.97 MiB)
09:40:45 libra_evals_verified: 1 (mem: 249.97 MiB)
09:40:45 pairing_check_verified: 1 (mem: 249.97 MiB)
09:40:45 Proof verified successfully (mem: 249.97 MiB)
09:40:45 verified: 1 (mem: 249.97 MiB)
09:40:45 [09:40:45.781]
INFO:
bb-prover Successfully verified proof from key in 59.22425399999884 ms
09:40:45 [09:40:45.969]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":67.90582300000096,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
09:40:45 [09:40:45.975]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:40:45 [09:40:45.975]
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/935c1137/bb/tmp-mhdSGC -b /tmp/935c1137/bb/tmp-mhdSGC/RootParityArtifact-bytecode -w /tmp/935c1137/bb/tmp-mhdSGC/partial-witness.gz -v --init_kzg_accumulator -v
09:40:46 [09:40:46.018]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.51 MiB)
09:40:46 Scheme is: ultra_honk, num threads: 128 (mem: 252.51 MiB)
09:40:46 --scheme: ultra_honk (mem: 252.51 MiB)
09:40:46 --bytecode_path: /tmp/935c1137/bb/tmp-mhdSGC/RootParityArtifact-bytecode (mem: 252.51 MiB)
09:40:46 --witness_path: /tmp/935c1137/bb/tmp-mhdSGC/partial-witness.gz (mem: 252.51 MiB)
09:40:46 --output_path: /tmp/935c1137/bb/tmp-mhdSGC (mem: 252.51 MiB)
09:40:46 Warning: the following option is called more than once (mem: 252.51 MiB)
09:40:46 --verbose: true (mem: 252.51 MiB)
09:40:46 --oracle_hash: poseidon2 (mem: 252.51 MiB)
09:40:46 --output_format: bytes_and_fields (mem: 252.51 MiB)
09:40:46 --write_vk: true (mem: 252.51 MiB)
09:40:46 --disable_zk: true (mem: 252.51 MiB)
09:40:46 --init_kzg_accumulator: true (mem: 252.51 MiB)
09:40:46 [09:40:46.186]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.51 MiB)
09:40:48 [09:40:48.163]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 426.82 MiB)
09:40:50 [09:40:50.422]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 792.96 MiB)
09:40:52 [09:40:52.880]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1058.10 MiB)
09:40:55 [09:40:55.621]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1403.54 MiB)
09:40:55 Constructing DeciderProvingKey (mem: 1403.54 MiB)
09:40:57 [09:40:57.017]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1839.28 MiB)
09:40:57 [09:40:57.371]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5460.28 MiB)
09:40:59 [09:40:59.332]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3710 ms. (mem: 6016.28 MiB)
09:40:59 [09:40:59.471]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6016.28 MiB)
09:40:59 [09:40:59.472]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6016.28 MiB)
09:41:00 [09:41:00.341]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6016.28 MiB)
09:41:05 [09:41:05.398]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6016.28 MiB)
09:41:11 [09:41:11.558]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6016.28 MiB)
09:41:14 [09:41:14.013]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6728.30 MiB)
09:41:16 [09:41:16.766]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem:
09:41:16 [09:41:16.767]
INFO:
bb-prover RootParityArtifact BB out - 6728.30 MiB)
09:41:23 [09:41:23.712]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6728.30 MiB)
09:41:25 [09:41:25.414]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem:
09:41:25 [09:41:25.414]
INFO:
bb-prover RootParityArtifact BB out - 6728.30 MiB)
09:41:25 [09:41:25.449]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6728.30 MiB)
09:41:26 [09:41:26.090]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/935c1137/bb/tmp-mhdSGC/public_inputs" (mem: 6728.30 MiB)
09:41:26 [09:41:26.091]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/935c1137/bb/tmp-mhdSGC/public_inputs_fields.json" (mem: 6728.30 MiB)
09:41:26 Proof saved to "/tmp/935c1137/bb/tmp-mhdSGC/proof" (mem: 6728.30 MiB)
09:41:26 Proof fields saved to "/tmp/935c1137/bb/tmp-mhdSGC/proof_fields.json" (mem: 6728.30 MiB)
09:41:26 VK saved to "/tmp/935c1137/bb/tmp-mhdSGC/vk" (mem: 6728.30 MiB)
09:41:26 VK fields saved to "/tmp/935c1137/bb/tmp-mhdSGC/vk_fields.json" (mem: 6728.30 MiB)
09:41:26 [09:41:26.266]
INFO:
bb-prover Generated proof for RootParityArtifact in 40275 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":40274.401638,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:41:26 [09:41:26.272]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:41:26 [09:41:26.272]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/935c1137/bb/tmp-88cET5/proof -k /tmp/935c1137/bb/tmp-88cET5/vk -i /tmp/935c1137/bb/tmp-88cET5/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:41:26 [09:41:26.296]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
09:41:26 [09:41:26.297]
VERBOSE:
bb-prover bb-prover (verify) BB out - 251.25 MiB)
09:41:26 Scheme is: ultra_honk, num threads: 128 (mem: 251.25 MiB)
09:41:26 --public_inputs_path: /tmp/935c1137/bb/tmp-88cET5/public_inputs (mem: 251.25 MiB)
09:41:26 --proof_path: /tmp/935c1137/bb/tmp-88cET5/proof (mem: 251.25 MiB)
09:41:26 --vk_path: /tmp/935c1137/bb/tmp-88cET5/vk (mem: 251.25 MiB)
09:41:26 --verbose: true (mem: 251.25 MiB)
09:41:26 --scheme: ultra_honk (mem: 251.25 MiB)
09:41:26 --oracle_hash: poseidon2 (mem: 251.25 MiB)
09:41:26 --disable_zk: true (mem: 251.25 MiB)
09:41:26 [09:41:26.297]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 251.25 MiB)
09:41:26 [09:41:26.314]
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.25 MiB)
09:41:26 [09:41:26.315]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 251.25 MiB)
09:41:26 [09:41:26.316]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 251.25 MiB)
09:41:26 libra_evals_verified: 1 (mem: 251.25 MiB)
09:41:26 pairing_check_verified: 1 (mem: 251.25 MiB)
09:41:26 Proof verified successfully (mem: 251.25 MiB)
09:41:26 verified: 1 (mem: 251.25 MiB)
09:41:26 [09:41:26.329]
INFO:
bb-prover Successfully verified proof from key in 57.140707999998995 ms
09:41:26 [09:41:26.341]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:41:26 [09:41:26.342]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/935c1137/bb/tmp-d7C37X/proof -k /tmp/935c1137/bb/tmp-d7C37X/vk -i /tmp/935c1137/bb/tmp-d7C37X/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:41:26 [09:41:26.366]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.53 MiB)
09:41:26 [09:41:26.366]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.53 MiB)
09:41:26 --public_inputs_path: /tmp/935c1137/bb/tmp-d7C37X/public_inputs (mem: 252.53 MiB)
09:41:26 --proof_path: /tmp/935c1137/bb/tmp-d7C37X/proof (mem: 252.53 MiB)
09:41:26 --vk_path: /tmp/935c1137/bb/tmp-d7C37X/vk (mem: 252.53 MiB)
09:41:26 --verbose: true (mem: 252.53 MiB)
09:41:26 --scheme: ultra_honk (mem: 252.53 MiB)
09:41:26 --oracle_hash: poseidon2 (mem: 252.53 MiB)
09:41:26 --disable_zk: true (mem: 252.53 MiB)
09:41:26 [09:41:26.367]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 252.53 MiB)
09:41:26 [09:41:26.384]
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.53 MiB)
09:41:26 [09:41:26.385]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 252.53 MiB)
09:41:26 [09:41:26.385]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 252.53 MiB)
09:41:26 libra_evals_verified: 1 (mem: 252.53 MiB)
09:41:26 pairing_check_verified: 1 (mem: 252.53 MiB)
09:41:26 Proof verified successfully (mem: 252.53 MiB)
09:41:26 [09:41:26.386]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 252.53 MiB)
09:41:26 [09:41:26.387]
INFO:
bb-prover Successfully verified proof from key in 46.20762100000138 ms
09:41:26 [09:41:26.454]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
09:41:26
09:41:26 [09:41:26.455]
ERROR:
bb-prover Error running operation at /tmp/935c1137/bb/tmp-hgyieI: Error: Failed to generate witness: Failed assertion
09:41:26
09:41:26 [09:41:26.615]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":69.07867300000362,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
09:41:26 [09:41:26.616]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:41:26 [09:41:26.616]
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/935c1137/bb/tmp-TsvKmU -b /tmp/935c1137/bb/tmp-TsvKmU/RootParityArtifact-bytecode -w /tmp/935c1137/bb/tmp-TsvKmU/partial-witness.gz -v --init_kzg_accumulator -v
09:41:26 [09:41:26.636]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.53 MiB)
09:41:26 Scheme is: ultra_honk, num threads: 128 (mem: 252.53 MiB)
09:41:26 --scheme: ultra_honk (mem: 252.53 MiB)
09:41:26 --bytecode_path: /tmp/935c1137/bb/tmp-TsvKmU/RootParityArtifact-bytecode (mem: 252.53 MiB)
09:41:26 --witness_path: /tmp/935c1137/bb/tmp-TsvKmU/partial-witness.gz (mem: 252.53 MiB)
09:41:26 --output_path: /tmp/935c1137/bb/tmp-TsvKmU (mem: 252.53 MiB)
09:41:26 Warning: the following option is called more than once (mem: 252.53 MiB)
09:41:26 --verbose: true (mem: 252.53 MiB)
09:41:26 --oracle_hash: poseidon2 (mem: 252.53 MiB)
09:41:26 --output_format: bytes_and_fields (mem: 252.53 MiB)
09:41:26 --write_vk: true (mem: 252.53 MiB)
09:41:26 --disable_zk: true (mem: 252.53 MiB)
09:41:26 --init_kzg_accumulator: true (mem: 252.53 MiB)
09:41:26 [09:41:26.778]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.53 MiB)
09:41:26 [09:41:26.786]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 252.53 MiB)
09:41:28 [09:41:28.797]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 417.91 MiB)
09:41:31 [09:41:31.018]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 784.04 MiB)
09:41:33 [09:41:33.289]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1047.91 MiB)
09:41:36 [09:41:36.024]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1393.17 MiB)
09:41:36 Constructing DeciderProvingKey (mem: 1393.17 MiB)
09:41:37 [09:41:37.687]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1826.69 MiB)
09:41:38 [09:41:38.391]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5452.69 MiB)
09:41:40 [09:41:40.485]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4463 ms. (mem: 6011.69 MiB)
09:41:40 [09:41:40.627]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6011.69 MiB)
09:41:40 [09:41:40.628]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6011.69 MiB)
09:41:41 [09:41:41.378]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6011.69 MiB)
09:41:45 [09:41:45.417]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6011.69 MiB)
09:41:49 [09:41:49.587]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6011.69 MiB)
09:41:51 [09:41:51.131]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6742.14 MiB)
09:41:53 [09:41:53.090]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6742.14 MiB)
09:41:59 [09:41:59.774]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6742.14 MiB)
09:42:01 [09:42:01.833]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6742.14 MiB)
09:42:01 [09:42:01.881]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6742.14 MiB)
09:42:02 [09:42:02.309]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/935c1137/bb/tmp-TsvKmU/public_inputs" (mem: 6742.14 MiB)
09:42:02 [09:42:02.310]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/935c1137/bb/tmp-TsvKmU/public_inputs_fields.json" (mem: 6742.14 MiB)
09:42:02 Proof saved to "/tmp/935c1137/bb/tmp-TsvKmU/proof" (mem: 6742.14 MiB)
09:42:02 Proof fields saved to "/tmp/935c1137/bb/tmp-TsvKmU/proof_fields.json" (mem: 6742.14 MiB)
09:42:02 VK saved to "/tmp/935c1137/bb/tmp-TsvKmU/vk" (mem: 6742.14 MiB)
09:42:02 [09:42:02.310]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/935c1137/bb/tmp-TsvKmU/vk_fields.json" (mem: 6742.14 MiB)
09:42:02 [09:42:02.485]
INFO:
bb-prover Generated proof for RootParityArtifact in 35867 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":35866.156542,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:42:02 [09:42:02.491]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:42:02 [09:42:02.491]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/935c1137/bb/tmp-abOlmJ/proof -k /tmp/935c1137/bb/tmp-abOlmJ/vk -i /tmp/935c1137/bb/tmp-abOlmJ/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:42:02 [09:42:02.520]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 252.30 MiB)
09:42:02 Scheme is: ultra_honk, num threads: 128 (mem: 252.30 MiB)
09:42:02 --public_inputs_path: /tmp/935c1137/bb/tmp-abOlmJ/public_inputs (mem: 252.30 MiB)
09:42:02 --proof_path: /tmp/935c1137/bb/tmp-abOlmJ/proof (mem: 252.30 MiB)
09:42:02 --vk_path: /tmp/935c1137/bb/tmp-abOlmJ/vk (mem: 252.30 MiB)
09:42:02 --verbose: true (mem: 252.30 MiB)
09:42:02 --scheme: ultra_honk (mem: 252.30 MiB)
09:42:02 --oracle_hash: poseidon2 (mem: 252.30 MiB)
09:42:02 --disable_zk: true (mem: 252.30 MiB)
09:42:02 [09:42:02.521]
VERBOSE:
bb-prover bb-prover (verify) BB out -
09:42:02 [09:42:02.521]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 252.30 MiB)
09:42:02 [09:42:02.533]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 252.30 MiB)
09:42:02 Proof verification failed (mem: 252.30 MiB)
09:42:02 verified: 0 (mem: 252.30 MiB)
09:42:02 [09:42:02.535]
ERROR:
bb-prover Error running operation at /tmp/935c1137/bb/tmp-abOlmJ: ProvingError: Failed to verify proof from key!
09:42:02 [09:42:02.661]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":60.709519000010914,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
09:42:02 [09:42:02.662]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
09:42:02 [09:42:02.662]
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/935c1137/bb/tmp-k7Vag9 -b /tmp/935c1137/bb/tmp-k7Vag9/RootParityArtifact-bytecode -w /tmp/935c1137/bb/tmp-k7Vag9/partial-witness.gz -v --init_kzg_accumulator -v
09:42:02 [09:42:02.681]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 252.53 MiB)
09:42:02 [09:42:02.682]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 252.53 MiB)
09:42:02 --scheme: ultra_honk (mem: 252.53 MiB)
09:42:02 --bytecode_path: /tmp/935c1137/bb/tmp-k7Vag9/RootParityArtifact-bytecode (mem: 252.53 MiB)
09:42:02 --witness_path: /tmp/935c1137/bb/tmp-k7Vag9/partial-witness.gz (mem: 252.53 MiB)
09:42:02 --output_path: /tmp/935c1137/bb/tmp-k7Vag9 (mem: 252.53 MiB)
09:42:02 Warning: the following option is called more than once (mem: 252.53 MiB)
09:42:02 --verbose: true (mem: 252.53 MiB)
09:42:02 --oracle_hash: poseidon2 (mem: 252.53 MiB)
09:42:02 --output_format: bytes_and_fields (mem: 252.53 MiB)
09:42:02 --write_vk: true (mem: 252.53 MiB)
09:42:02 --disable_zk: true (mem: 252.53 MiB)
09:42:02 --init_kzg_accumulator: true (mem: 252.53 MiB)
09:42:02 [09:42:02.849]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 252.53 MiB)
09:42:02 [09:42:02.857]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses!
09:42:02 [09:42:02.858]
INFO:
bb-prover RootParityArtifact BB out - (mem:
09:42:02 [09:42:02.858]
INFO:
bb-prover RootParityArtifact BB out - 252.53
09:42:02 [09:42:02.859]
INFO:
bb-prover RootParityArtifact BB out - MiB)
09:42:02 [09:42:02.859]
INFO:
bb-prover RootParityArtifact BB out -
09:42:05 [09:42:05.145]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 421.70 MiB)
09:42:07 [09:42:07.492]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 788.58 MiB)
09:42:09 [09:42:09.976]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1051.82 MiB)
09:42:12 [09:42:12.420]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1397.98 MiB)
09:42:12 [09:42:12.420]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1397.98 MiB)
09:42:13 [09:42:13.996]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1832.36 MiB)
09:42:14 [09:42:14.457]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5458.36 MiB)
09:42:15 [09:42:15.814]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3393 ms. (mem: 6007.36 MiB)
09:42:15 [09:42:15.960]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6007.36 MiB)
09:42:15 [09:42:15.961]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6007.36 MiB)
09:42:16 [09:42:16.577]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6007.36 MiB)
09:42:19 [09:42:19.842]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6007.36 MiB)
09:42:23 [09:42:23.992]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6007.36 MiB)
09:42:25 [09:42:25.534]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6735.51 MiB)
09:42:27 [09:42:27.446]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6735.51 MiB)
09:42:33 [09:42:33.718]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6735.51 MiB)
09:42:35 [09:42:35.491]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6735.51 MiB)
09:42:35 [09:42:35.523]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6735.51 MiB)
09:42:35 [09:42:35.984]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/935c1137/bb/tmp-k7Vag9/public_inputs" (mem: 6735.51 MiB)
09:42:35 Public inputs fields saved to "/tmp/935c1137/bb/tmp-k7Vag9/public_inputs_fields.json" (mem: 6735.51 MiB)
09:42:35 [09:42:35.985]
INFO:
bb-prover RootParityArtifact BB out -
09:42:35 Proof saved to "/tmp/935c1137/bb/tmp-k7Vag9/proof" (mem: 6735.51 MiB)
09:42:35 Proof fields saved to "/tmp/935c1137/bb/tmp-k7Vag9/proof_fields.json" (mem: 6735.51 MiB)
09:42:35 VK saved to "/tmp/935c1137/bb/tmp-k7Vag9/vk" (mem: 6735.51 MiB)
09:42:35 VK fields saved to "/tmp/935c1137/bb/tmp-k7Vag9/vk_fields.json" (mem: 6735.51 MiB)
09:42:36 [09:42:36.170]
INFO:
bb-prover Generated proof for RootParityArtifact in 33506 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":33505.43203299999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
09:42:36 [09:42:36.172]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
09:42:36 [09:42:36.173]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/935c1137/bb/tmp-0SKo6r/proof -k /tmp/935c1137/bb/tmp-0SKo6r/vk -i /tmp/935c1137/bb/tmp-0SKo6r/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
09:42:36 [09:42:36.200]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
09:42:36 [09:42:36.201]
VERBOSE:
bb-prover bb-prover (verify) BB out - 252.53 MiB)
09:42:36 Scheme is: ultra_honk, num threads: 128 (mem: 252.53 MiB)
09:42:36 --public_inputs_path: /tmp/935c1137/bb/tmp-0SKo6r/public_inputs (mem: 252.53 MiB)
09:42:36 --proof_path: /tmp/935c1137/bb/tmp-0SKo6r/proof (mem: 252.53 MiB)
09:42:36 --vk_path: /tmp/935c1137/bb/tmp-0SKo6r/vk (mem: 252.53 MiB)
09:42:36 --verbose: true (mem: 252.53 MiB)
09:42:36 --scheme: ultra_honk (mem: 252.53 MiB)
09:42:36 --oracle_hash: poseidon2 (mem: 252.53 MiB)
09:42:36 --disable_zk: true (mem: 252.53 MiB)
09:42:36 [09:42:36.201]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 252.53 MiB)
09:42:36 [09:42:36.217]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 252.53 MiB)
09:42:36 Proof verification failed (mem: 252.53 MiB)
09:42:36 verified: 0 (mem: 252.53 MiB)
09:42:36 [09:42:36.218]
ERROR:
bb-prover Error running operation at /tmp/935c1137/bb/tmp-0SKo6r: ProvingError: Failed to verify proof from key!
09:42:36 [09:42:36.220]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
09:42:36
PASS src/test/bb_prover_parity.test.ts (
124.36 s)
09:42:36 prover/bb_prover/parity
09:42:36
✓ proves the parity circuits (116006 ms)
09:42:36
09:42:36
Test Suites: 1 passed, 1 total
09:42:36
Tests: 1 passed, 1 total
09:42:36
Snapshots: 0 total
09:42:36
Time: 124.46 s
09:42:36
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
09:42:36
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?