Parent Log:
http://ci.aztec-labs.com/5b78f67da94557f7
Command: e4e37220d2336322: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/282da3bd25d49b92970e6fc85f110092e8566299
Env: REF_NAME=gh-readonly-queue/next/pr-14610-ee24aac96469b4f1cb8d70e614b2dd27bf0eb134 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 24 14:13:36 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14610_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=16 MEM=96g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_fba8bed7686af779_next
14:13:36 +++ id -u
14:13:36 +++ id -g
14:13: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'\'''
14:13:37 + cid=2268192f32c415afbe24519daf7690f96069b9e62730c319444e9741b43503be
14:13:37 + set +x
14:13:39 {"level":25,"time":1750774419300,"pid":7,"hostname":"2268192f32c4","module":"logger","msg":"Logger initialized with level verbose"}
14:13:47 [14:13:47.164]
INFO:
world-state:database Creating world state data store at directory /tmp/aztec-world-state-fhmc1A/world_state with map sizes {"archiveTreeMapSizeKb":10485760,"nullifierTreeMapSizeKb":10485760,"noteHashTreeMapSizeKb":10485760,"messageTreeMapSizeKb":10485760,"publicDataTreeMapSizeKb":10485760} and 16 threads.
14:13:47 [14:13:47.234]
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/e4ae5c28/bb
14:13:47 [14:13:47.236]
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/e4ae5c28/acvm
14:13:47 [14:13:47.238]
INFO:
bb-prover Using native BB at /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb and working directory /tmp/e4ae5c28/bb
14:13:47 [14:13:47.239]
INFO:
bb-prover Using native ACVM at /home/aztec-dev/aztec-packages/noir/noir-repo/target/release/acvm and working directory /tmp/e4ae5c28/acvm
14:13:47 [14:13:47.242]
INFO:
prover-client:proving-broker Proving Broker started
14:13:47 [14:13:47.243]
VERBOSE:
prover-client:broker-circuit-prover-facade Starting BrokerCircuitProverFacade
14:13:47 [14:13:47.494]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":91.17963100000088,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:13:47 [14:13:47.509]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":129.07329500000014,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:13:47 [14:13:47.526]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:13:47 [14:13:47.527]
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/e4ae5c28/bb/tmp-OP4meB -b /tmp/e4ae5c28/bb/tmp-OP4meB/BaseParityArtifact-bytecode -w /tmp/e4ae5c28/bb/tmp-OP4meB/partial-witness.gz -v --init_kzg_accumulator -v
14:13:47 [14:13:47.552]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:13:47 [14:13:47.557]
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/e4ae5c28/bb/tmp-tFmEgQ -b /tmp/e4ae5c28/bb/tmp-tFmEgQ/BaseParityArtifact-bytecode -w /tmp/e4ae5c28/bb/tmp-tFmEgQ/partial-witness.gz -v --init_kzg_accumulator -v
14:13:47 [14:13:47.622]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.56 MiB)
14:13:47 Scheme is: ultra_honk, num threads: 128 (mem: 250.56 MiB)
14:13:47 --scheme: ultra_honk (mem: 250.56 MiB)
14:13:47 --bytecode_path: /tmp/e4ae5c28/bb/tmp-OP4meB/BaseParityArtifact-bytecode (mem: 250.56 MiB)
14:13:47 --witness_path: /tmp/e4ae5c28/bb/tmp-OP4meB/partial-witness.gz (mem: 250.56 MiB)
14:13:47 --output_path: /tmp/e4ae5c28/bb/tmp-OP4meB (mem: 250.56 MiB)
14:13:47 Warning: the following option is called more than once (mem: 250.56 MiB)
14:13:47 --verbose: true (mem: 250.56 MiB)
14:13:47 --oracle_hash: poseidon2 (mem: 250.56 MiB)
14:13:47 --output_format: bytes_and_fields (mem: 250.56 MiB)
14:13:47 --write_vk: true (mem: 250.56 MiB)
14:13:47 --disable_zk: true (mem: 250.56 MiB)
14:13:47 --init_kzg_accumulator: true (mem: 250.56 MiB)
14:13:47 [14:13:47.639]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":80.39777700000013,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:13:47 [14:13:47.650]
INFO:
bb-prover Generated witness
{"circuitName":"base-parity","duration":123.7292180000004,"inputSize":160,"outputSize":96,"eventName":"circuit-witness-generation"}
14:13:47 [14:13:47.653]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.56 MiB)
14:13:47 Scheme is: ultra_honk, num threads: 128 (mem: 250.56 MiB)
14:13:47 --scheme: ultra_honk (mem: 250.56 MiB)
14:13:47 --bytecode_path: /tmp/e4ae5c28/bb/tmp-tFmEgQ/BaseParityArtifact-bytecode (mem: 250.56 MiB)
14:13:47 --witness_path: /tmp/e4ae5c28/bb/tmp-tFmEgQ/partial-witness.gz (mem: 250.56 MiB)
14:13:47 --output_path: /tmp/e4ae5c28/bb/tmp-tFmEgQ (mem: 250.56 MiB)
14:13:47 Warning: the following option is called more than once (mem: 250.56 MiB)
14:13:47 --verbose: true (mem: 250.56 MiB)
14:13:47 --oracle_hash: poseidon2 (mem: 250.56 MiB)
14:13:47 --output_format: bytes_and_fields (mem: 250.56 MiB)
14:13:47 --write_vk: true (mem: 250.56 MiB)
14:13:47 --disable_zk: true (mem: 250.56 MiB)
14:13:47 --init_kzg_accumulator: true (mem: 250.56 MiB)
14:13:47 [14:13:47.654]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:13:47 [14:13:47.654]
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/e4ae5c28/bb/tmp-KBLs5Q -b /tmp/e4ae5c28/bb/tmp-KBLs5Q/BaseParityArtifact-bytecode -w /tmp/e4ae5c28/bb/tmp-KBLs5Q/partial-witness.gz -v --init_kzg_accumulator -v
14:13:47 [14:13:47.685]
INFO:
bb-prover BaseParityArtifact BB out - BB concurrency: undefined
14:13:47 [14:13:47.686]
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/e4ae5c28/bb/tmp-EhMCYd -b /tmp/e4ae5c28/bb/tmp-EhMCYd/BaseParityArtifact-bytecode -w /tmp/e4ae5c28/bb/tmp-EhMCYd/partial-witness.gz -v --init_kzg_accumulator -v
14:13:47 [14:13:47.709]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.66 MiB)
14:13:47 Scheme is: ultra_honk, num threads: 128 (mem: 250.66 MiB)
14:13:47 --scheme: ultra_honk (mem: 250.66 MiB)
14:13:47 --bytecode_path: /tmp/e4ae5c28/bb/tmp-KBLs5Q/BaseParityArtifact-bytecode (mem: 250.66 MiB)
14:13:47 --witness_path: /tmp/e4ae5c28/bb/tmp-KBLs5Q/partial-witness.gz (mem: 250.66 MiB)
14:13:47 --output_path: /tmp/e4ae5c28/bb/tmp-KBLs5Q (mem: 250.66 MiB)
14:13:47 Warning: the following option is called more than once (mem: 250.66 MiB)
14:13:47 --verbose: true (mem: 250.66 MiB)
14:13:47 --oracle_hash: poseidon2 (mem: 250.66 MiB)
14:13:47 --output_format: bytes_and_fields (mem: 250.66 MiB)
14:13:47 --write_vk: true (mem: 250.66 MiB)
14:13:47 --disable_zk: true (mem: 250.66 MiB)
14:13:47 --init_kzg_accumulator: true (mem: 250.66 MiB)
14:13:47 [14:13:47.713]
INFO:
bb-prover BaseParityArtifact BB out - bb command: prove (mem: 250.66 MiB)
14:13:47 Scheme is: ultra_honk, num threads: 128 (mem: 250.66 MiB)
14:13:47 --scheme: ultra_honk (mem: 250.66 MiB)
14:13:47 --bytecode_path: /tmp/e4ae5c28/bb/tmp-EhMCYd/BaseParityArtifact-bytecode (mem: 250.66 MiB)
14:13:47 --witness_path: /tmp/e4ae5c28/bb/tmp-EhMCYd/partial-witness.gz (mem: 250.66 MiB)
14:13:47 --output_path: /tmp/e4ae5c28/bb/tmp-EhMCYd (mem: 250.66 MiB)
14:13:47 Warning: the following option is called more than once (mem: 250.66 MiB)
14:13:47 --verbose: true (mem: 250.66 MiB)
14:13:47 --oracle_hash: poseidon2 (mem: 250.66 MiB)
14:13:47 --output_format: bytes_and_fields (mem: 250.66 MiB)
14:13:47 --write_vk: true (mem: 250.66 MiB)
14:13:47 --disable_zk: true (mem: 250.66 MiB)
14:13:47 --init_kzg_accumulator: true (mem: 250.66 MiB)
14:13:47 [14:13:47.725]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.56 MiB)
14:13:47 Constructing DeciderProvingKey (mem: 250.56 MiB)
14:13:47 [14:13:47.730]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
14:13:47 [14:13:47.731]
INFO:
bb-prover BaseParityArtifact BB out - (mem: 250.56 MiB)
14:13:47 [14:13:47.808]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.56 MiB)
14:13:47 Constructing DeciderProvingKey (mem: 250.56 MiB)
14:13:47 [14:13:47.813]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
14:13:47 [14:13:47.814]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
14:13:47 [14:13:47.816]
INFO:
bb-prover BaseParityArtifact BB out - 250.56 MiB)
14:13:47 [14:13:47.876]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.66 MiB)
14:13:47 Constructing DeciderProvingKey (mem: 250.66 MiB)
14:13:47 [14:13:47.877]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key... (mem: 250.66 MiB)
14:13:47 [14:13:47.884]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.56 MiB)
14:13:47 [14:13:47.980]
INFO:
bb-prover BaseParityArtifact BB out - created circuit (mem: 250.66 MiB)
14:13:47 Constructing DeciderProvingKey (mem: 250.66 MiB)
14:13:47 [14:13:47.982]
INFO:
bb-prover BaseParityArtifact BB out - allocating polynomials object in proving key...
14:13:47 [14:13:47.983]
INFO:
bb-prover BaseParityArtifact BB out - (mem:
14:13:47 [14:13:47.983]
INFO:
bb-prover BaseParityArtifact BB out - 250.66
14:13:47 [14:13:47.984]
INFO:
bb-prover BaseParityArtifact BB out - MiB)
14:13:47 [14:13:47.984]
INFO:
bb-prover BaseParityArtifact BB out -
14:13:48 [14:13:48.052]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 327 ms. (mem: 250.56 MiB)
14:13:48 [14:13:48.060]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.56 MiB)
14:13:48 [14:13:48.062]
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.56 MiB)
14:13:48 [14:13:48.071]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.56 MiB)
14:13:48 [14:13:48.144]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.56 MiB)
14:13:48 [14:13:48.249]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.66 MiB)
14:13:48 [14:13:48.277]
INFO:
bb-prover BaseParityArtifact BB out - populating trace... (mem: 250.66 MiB)
14:13:48 [14:13:48.305]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 496 ms. (mem: 250.56 MiB)
14:13:48 [14:13:48.310]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.56 MiB)
14:13:48 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.56 MiB)
14:13:48 [14:13:48.343]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.56 MiB)
14:13:48 [14:13:48.424]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 551 ms. (mem: 250.66 MiB)
14:13:48 [14:13:48.432]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.66 MiB)
14:13:48 [14:13:48.433]
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.66 MiB)
14:13:48 [14:13:48.448]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.66 MiB)
14:13:48 [14:13:48.474]
INFO:
bb-prover BaseParityArtifact BB out - time to construct proving key: 496 ms. (mem: 250.66 MiB)
14:13:48 [14:13:48.482]
INFO:
bb-prover BaseParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 250.66 MiB)
14:13:48 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.66 MiB)
14:13:48 [14:13:48.500]
INFO:
bb-prover BaseParityArtifact BB out - Initialized BN254 CRS from memory with num points = 65537 (mem: 250.66 MiB)
14:13:49 [14:13:49.375]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.56 MiB)
14:13:49 [14:13:49.567]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.66 MiB)
14:13:49 [14:13:49.579]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.66 MiB)
14:13:49 [14:13:49.693]
INFO:
bb-prover BaseParityArtifact BB out - vkey hash in Oink prover: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.56 MiB)
14:13:49 [14:13:49.980]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.56 MiB)
14:13:50 [14:13:50.157]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.66 MiB)
14:13:50 [14:13:50.276]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.66 MiB)
14:13:50 [14:13:50.312]
INFO:
bb-prover BaseParityArtifact BB out - created oink proof (mem: 250.56 MiB)
14:13:50 [14:13:50.399]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.56 MiB)
14:13:50 [14:13:50.453]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.66 MiB)
14:13:50 [14:13:50.566]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.66 MiB)
14:13:50 [14:13:50.601]
INFO:
bb-prover BaseParityArtifact BB out - starting sumcheck rounds... (mem: 250.56 MiB)
14:13:50 [14:13:50.693]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.56 MiB)
14:13:50 [14:13:50.702]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.66 MiB)
14:13:50 [14:13:50.822]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.56 MiB)
14:13:50 [14:13:50.832]
INFO:
bb-prover BaseParityArtifact BB out - completed 16 rounds of sumcheck (mem: 250.66 MiB)
14:13:52 [14:13:52.216]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.66 MiB)
14:13:52 [14:13:52.316]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.66 MiB)
14:13:52 [14:13:52.316]
INFO:
bb-prover BaseParityArtifact BB out - finished decider proving. (mem: 250.66 MiB)
14:13:52 Public inputs saved to "/tmp/e4ae5c28/bb/tmp-KBLs5Q/public_inputs" (mem: 250.66 MiB)
14:13:52 Public inputs fields saved to "/tmp/e4ae5c28/bb/tmp-KBLs5Q/public_inputs_fields.json" (mem: 250.66 MiB)
14:13:52 Proof saved to "/tmp/e4ae5c28/bb/tmp-KBLs5Q/proof" (mem: 250.66 MiB)
14:13:52 [14:13:52.317]
INFO:
bb-prover BaseParityArtifact BB out - Proof fields saved to "/tmp/e4ae5c28/bb/tmp-KBLs5Q/proof_fields.json" (mem: 250.66 MiB)
14:13:52 VK saved to "/tmp/e4ae5c28/bb/tmp-KBLs5Q/vk" (mem: 250.66 MiB)
14:13:52 VK fields saved to "/tmp/e4ae5c28/bb/tmp-KBLs5Q/vk_fields.json" (mem:
14:13:52 [14:13:52.317]
INFO:
bb-prover BaseParityArtifact BB out - 250.66 MiB)
14:13:52 [14:13:52.326]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.56 MiB)
14:13:52 [14:13:52.335]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.56 MiB)
14:13:52 [14:13:52.463]
INFO:
bb-prover Generated proof for BaseParityArtifact in 4805 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":4804.042174,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:13:52 [14:13:52.468]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:13:52 [14:13:52.472]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e4ae5c28/bb/tmp-GxItfF/proof -k /tmp/e4ae5c28/bb/tmp-GxItfF/vk -i /tmp/e4ae5c28/bb/tmp-GxItfF/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:13:52 [14:13:52.513]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.56 MiB)
14:13:52 finished decider proving. (mem: 250.56 MiB)
14:13:52 Public inputs saved to "/tmp/e4ae5c28/bb/tmp-tFmEgQ/public_inputs" (mem: 250.56 MiB)
14:13:52 Public inputs fields saved to "/tmp/e4ae5c28/bb/tmp-tFmEgQ/public_inputs_fields.json" (mem: 250.56 MiB)
14:13:52 Proof saved to "/tmp/e4ae5c28/bb/tmp-tFmEgQ/proof" (mem: 250.56 MiB)
14:13:52 Proof fields saved to "/tmp/e4ae5c28/bb/tmp-tFmEgQ/proof_fields.json" (mem: 250.56 MiB)
14:13:52 VK saved to "/tmp/e4ae5c28/bb/tmp-tFmEgQ/vk" (mem: 250.56 MiB)
14:13:52 VK fields saved to "/tmp/e4ae5c28/bb/tmp-tFmEgQ/vk_fields.json" (mem: 250.56 MiB)
14:13:52 [14:13:52.514]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.56 MiB)
14:13:52 finished decider proving. (mem: 250.56 MiB)
14:13:52 Public inputs saved to "/tmp/e4ae5c28/bb/tmp-OP4meB/public_inputs" (mem: 250.56 MiB)
14:13:52 Public inputs fields saved to "/tmp/e4ae5c28/bb/tmp-OP4meB/public_inputs_fields.json" (mem: 250.56 MiB)
14:13:52 Proof saved to "/tmp/e4ae5c28/bb/tmp-OP4meB/proof" (mem: 250.56 MiB)
14:13:52 Proof fields saved to "/tmp/e4ae5c28/bb/tmp-OP4meB/proof_fields.json" (mem: 250.56 MiB)
14:13:52 VK saved to "/tmp/e4ae5c28/bb/tmp-OP4meB/vk" (mem: 250.56 MiB)
14:13:52 VK fields saved to "/tmp/e4ae5c28/bb/tmp-OP4meB/vk_fields.json" (mem: 250.56 MiB)
14:13:52 [14:13:52.521]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.25 MiB)
14:13:52 Scheme is: ultra_honk, num threads: 128 (mem: 249.25 MiB)
14:13:52 --public_inputs_path: /tmp/e4ae5c28/bb/tmp-GxItfF/public_inputs (mem: 249.25 MiB)
14:13:52 --proof_path: /tmp/e4ae5c28/bb/tmp-GxItfF/proof (mem: 249.25 MiB)
14:13:52 --vk_path: /tmp/e4ae5c28/bb/tmp-GxItfF/vk (mem: 249.25 MiB)
14:13:52 --verbose: true (mem: 249.25 MiB)
14:13:52 --scheme: ultra_honk (mem: 249.25 MiB)
14:13:52 --oracle_hash: poseidon2 (mem: 249.25 MiB)
14:13:52 --disable_zk: true (mem: 249.25 MiB)
14:13:52 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.25 MiB)
14:13:52 [14:13:52.535]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5004 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5003.367778,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:13:52 [14:13:52.541]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:13:52 [14:13:52.542]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e4ae5c28/bb/tmp-wcZWp6/proof -k /tmp/e4ae5c28/bb/tmp-wcZWp6/vk -i /tmp/e4ae5c28/bb/tmp-wcZWp6/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:13:52 [14:13:52.583]
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.25 MiB)
14:13:52 Initialized BN254 CRS from memory with num points = 1 (mem: 249.25 MiB)
14:13:52 sumcheck_verified: 1 (mem: 249.25 MiB)
14:13:52 libra_evals_verified: 1 (mem: 249.25 MiB)
14:13:52 pairing_check_verified: 1 (mem: 249.25 MiB)
14:13:52 Proof verified successfully (mem: 249.25 MiB)
14:13:52 verified: 1 (mem: 249.25 MiB)
14:13:52 [14:13:52.584]
INFO:
bb-prover BaseParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 250.66 MiB)
14:13:52 [14:13:52.585]
INFO:
bb-prover Successfully verified proof from key in 116.78076099999998 ms
14:13:52 [14:13:52.594]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5033 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5032.293259999999,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:13:52 [14:13:52.596]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.86 MiB)
14:13:52 Scheme is: ultra_honk, num threads: 128 (mem: 249.86 MiB)
14:13:52 --public_inputs_path: /tmp/e4ae5c28/bb/tmp-wcZWp6/public_inputs (mem: 249.86 MiB)
14:13:52 --proof_path: /tmp/e4ae5c28/bb/tmp-wcZWp6/proof (mem: 249.86 MiB)
14:13:52 --vk_path: /tmp/e4ae5c28/bb/tmp-wcZWp6/vk (mem: 249.86 MiB)
14:13:52 --verbose: true (mem: 249.86 MiB)
14:13:52 --scheme: ultra_honk (mem: 249.86 MiB)
14:13:52 --oracle_hash: poseidon2 (mem: 249.86 MiB)
14:13:52 --disable_zk: true (mem: 249.86 MiB)
14:13:52 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 249.86 MiB)
14:13:52 [14:13:52.605]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:13:52 [14:13:52.605]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e4ae5c28/bb/tmp-E7N7a3/proof -k /tmp/e4ae5c28/bb/tmp-E7N7a3/vk -i /tmp/e4ae5c28/bb/tmp-E7N7a3/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:13:52 [14:13:52.646]
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.86 MiB)
14:13:52 Initialized BN254 CRS from memory with num points = 1 (mem: 249.86 MiB)
14:13:52 sumcheck_verified: 1 (mem: 249.86 MiB)
14:13:52 libra_evals_verified: 1 (mem: 249.86 MiB)
14:13:52 pairing_check_verified: 1 (mem: 249.86 MiB)
14:13:52 Proof verified successfully (mem: 249.86 MiB)
14:13:52 verified: 1 (mem: 249.86 MiB)
14:13:52 [14:13:52.647]
INFO:
bb-prover BaseParityArtifact BB out - computed opening proof (mem: 250.66 MiB)
14:13:52 finished decider proving. (mem: 250.66 MiB)
14:13:52 Public inputs saved to "/tmp/e4ae5c28/bb/tmp-EhMCYd/public_inputs" (mem: 250.66 MiB)
14:13:52 Public inputs fields saved to "/tmp/e4ae5c28/bb/tmp-EhMCYd/public_inputs_fields.json" (mem: 250.66 MiB)
14:13:52 Proof saved to "/tmp/e4ae5c28/bb/tmp-EhMCYd/proof" (mem: 250.66 MiB)
14:13:52 Proof fields saved to "/tmp/e4ae5c28/bb/tmp-EhMCYd/proof_fields.json" (mem: 250.66 MiB)
14:13:52 VK saved to "/tmp/e4ae5c28/bb/tmp-EhMCYd/vk" (mem: 250.66 MiB)
14:13:52 VK fields saved to "/tmp/e4ae5c28/bb/tmp-EhMCYd/vk_fields.json" (mem: 250.66 MiB)
14:13:52 [14:13:52.649]
INFO:
bb-prover Successfully verified proof from key in 107.83730900000046 ms
14:13:52 [14:13:52.652]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.78 MiB)
14:13:52 Scheme is: ultra_honk, num threads: 128 (mem: 250.78 MiB)
14:13:52 --public_inputs_path: /tmp/e4ae5c28/bb/tmp-E7N7a3/public_inputs (mem: 250.78 MiB)
14:13:52 --proof_path: /tmp/e4ae5c28/bb/tmp-E7N7a3/proof (mem: 250.78 MiB)
14:13:52 --vk_path: /tmp/e4ae5c28/bb/tmp-E7N7a3/vk (mem: 250.78 MiB)
14:13:52 --verbose: true (mem: 250.78 MiB)
14:13:52 --scheme: ultra_honk (mem: 250.78 MiB)
14:13:52 --oracle_hash: poseidon2 (mem: 250.78 MiB)
14:13:52 --disable_zk: true (mem: 250.78 MiB)
14:13:52 [14:13:52.653]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.78 MiB)
14:13:52 [14:13:52.673]
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)
14:13:52 [14:13:52.675]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 250.78 MiB)
14:13:52 sumcheck_verified: 1 (mem: 250.78 MiB)
14:13:52 libra_evals_verified: 1 (mem: 250.78 MiB)
14:13:52 pairing_check_verified: 1 (mem: 250.78 MiB)
14:13:52 Proof verified successfully (mem: 250.78 MiB)
14:13:52 verified: 1 (mem: 250.78 MiB)
14:13:52 [14:13:52.679]
INFO:
bb-prover Successfully verified proof from key in 74.08649700000024 ms
14:13:52 [14:13:52.692]
INFO:
bb-prover Generated proof for BaseParityArtifact in 5004 ms, size: 456 fields
{"circuitName":"base-parity","circuitSize":65536,"duration":5003.50164,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:13:52 [14:13:52.694]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:13:52 [14:13:52.695]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e4ae5c28/bb/tmp-Nzg9Em/proof -k /tmp/e4ae5c28/bb/tmp-Nzg9Em/vk -i /tmp/e4ae5c28/bb/tmp-Nzg9Em/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:13:52 [14:13:52.727]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.85 MiB)
14:13:52 [14:13:52.727]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 250.85 MiB)
14:13:52 --public_inputs_path: /tmp/e4ae5c28/bb/tmp-Nzg9Em/public_inputs (mem: 250.85 MiB)
14:13:52 --proof_path: /tmp/e4ae5c28/bb/tmp-Nzg9Em/proof (mem: 250.85 MiB)
14:13:52 --vk_path: /tmp/e4ae5c28/bb/tmp-Nzg9Em/vk (mem: 250.85 MiB)
14:13:52 --verbose: true (mem: 250.85 MiB)
14:13:52 --scheme: ultra_honk (mem: 250.85 MiB)
14:13:52 --oracle_hash: poseidon2 (mem: 250.85 MiB)
14:13:52 --disable_zk: true (mem: 250.85 MiB)
14:13:52 [14:13:52.731]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.85 MiB)
14:13:52 [14:13:52.747]
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.85 MiB)
14:13:52 Initialized BN254 CRS from memory with num points = 1 (mem: 250.85 MiB)
14:13:52 [14:13:52.750]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.85 MiB)
14:13:52 libra_evals_verified: 1 (mem: 250.85 MiB)
14:13:52 pairing_check_verified: 1 (mem: 250.85 MiB)
14:13:52 Proof verified successfully (mem: 250.85 MiB)
14:13:52 verified: 1 (mem: 250.85 MiB)
14:13:52 [14:13:52.751]
INFO:
bb-prover Successfully verified proof from key in 57.08930499999951 ms
14:13:52 [14:13:52.761]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:13:52 [14:13:52.761]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e4ae5c28/bb/tmp-Zv4u6G/proof -k /tmp/e4ae5c28/bb/tmp-Zv4u6G/vk -i /tmp/e4ae5c28/bb/tmp-Zv4u6G/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:13:52 [14:13:52.785]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:13:52 [14:13:52.786]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e4ae5c28/bb/tmp-vfnwj4/proof -k /tmp/e4ae5c28/bb/tmp-vfnwj4/vk -i /tmp/e4ae5c28/bb/tmp-vfnwj4/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:13:52 [14:13:52.810]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:13:52 [14:13:52.811]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e4ae5c28/bb/tmp-VigNIm/proof -k /tmp/e4ae5c28/bb/tmp-VigNIm/vk -i /tmp/e4ae5c28/bb/tmp-VigNIm/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:13:52 [14:13:52.845]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:13:52 [14:13:52.846]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e4ae5c28/bb/tmp-DbQnka/proof -k /tmp/e4ae5c28/bb/tmp-DbQnka/vk -i /tmp/e4ae5c28/bb/tmp-DbQnka/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:13:52 [14:13:52.885]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.89 MiB)
14:13:52 Scheme is: ultra_honk, num threads: 128 (mem: 250.89 MiB)
14:13:52 --public_inputs_path: /tmp/e4ae5c28/bb/tmp-Zv4u6G/public_inputs (mem: 250.89 MiB)
14:13:52 --proof_path: /tmp/e4ae5c28/bb/tmp-Zv4u6G/proof (mem: 250.89 MiB)
14:13:52 --vk_path: /tmp/e4ae5c28/bb/tmp-Zv4u6G/vk (mem: 250.89 MiB)
14:13:52 --verbose: true (mem: 250.89 MiB)
14:13:52 --scheme: ultra_honk (mem: 250.89 MiB)
14:13:52 --oracle_hash: poseidon2 (mem: 250.89 MiB)
14:13:52 --disable_zk: true (mem: 250.89 MiB)
14:13:52 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.89 MiB)
14:13:52 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.89 MiB)
14:13:52 Initialized BN254 CRS from memory with num points = 1 (mem: 250.89 MiB)
14:13:52 sumcheck_verified: 1 (mem: 250.89 MiB)
14:13:52 libra_evals_verified: 1 (mem: 250.89 MiB)
14:13:52 pairing_check_verified: 1 (mem: 250.89 MiB)
14:13:52 Proof verified successfully (mem: 250.89 MiB)
14:13:52 verified: 1 (mem: 250.89 MiB)
14:13:52 [14:13:52.888]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.89 MiB)
14:13:52 Scheme is: ultra_honk, num threads: 128 (mem: 250.89 MiB)
14:13:52 --public_inputs_path: /tmp/e4ae5c28/bb/tmp-vfnwj4/public_inputs (mem: 250.89 MiB)
14:13:52 --proof_path: /tmp/e4ae5c28/bb/tmp-vfnwj4/proof (mem: 250.89 MiB)
14:13:52 --vk_path: /tmp/e4ae5c28/bb/tmp-vfnwj4/vk (mem: 250.89 MiB)
14:13:52 --verbose: true (mem: 250.89 MiB)
14:13:52 --scheme: ultra_honk (mem: 250.89 MiB)
14:13:52 --oracle_hash: poseidon2 (mem: 250.89 MiB)
14:13:52 --disable_zk: true (mem: 250.89 MiB)
14:13:52 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.89 MiB)
14:13:52 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.89 MiB)
14:13:52 Initialized BN254 CRS from memory with num points = 1 (mem: 250.89 MiB)
14:13:52 sumcheck_verified: 1 (mem: 250.89 MiB)
14:13:52 libra_evals_verified: 1 (mem: 250.89 MiB)
14:13:52 pairing_check_verified: 1 (mem: 250.89 MiB)
14:13:52 Proof verified successfully (mem: 250.89 MiB)
14:13:52 verified: 1 (mem: 250.89 MiB)
14:13:52 [14:13:52.889]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.75 MiB)
14:13:52 Scheme is: ultra_honk, num threads: 128 (mem: 250.75 MiB)
14:13:52 --public_inputs_path: /tmp/e4ae5c28/bb/tmp-VigNIm/public_inputs (mem: 250.75 MiB)
14:13:52 --proof_path: /tmp/e4ae5c28/bb/tmp-VigNIm/proof (mem: 250.75 MiB)
14:13:52 --vk_path: /tmp/e4ae5c28/bb/tmp-VigNIm/vk (mem: 250.75 MiB)
14:13:52 --verbose: true (mem: 250.75 MiB)
14:13:52 --scheme: ultra_honk (mem: 250.75 MiB)
14:13:52 --oracle_hash: poseidon2 (mem: 250.75 MiB)
14:13:52 --disable_zk: true (mem: 250.75 MiB)
14:13:52 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.75 MiB)
14:13:52 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.75 MiB)
14:13:52 Initialized BN254 CRS from memory with num points = 1 (mem: 250.75 MiB)
14:13:52 sumcheck_verified: 1 (mem: 250.75 MiB)
14:13:52 libra_evals_verified: 1 (mem: 250.75 MiB)
14:13:52 pairing_check_verified: 1 (mem: 250.75 MiB)
14:13:52 Proof verified successfully (mem: 250.75 MiB)
14:13:52 verified: 1 (mem: 250.75 MiB)
14:13:52 [14:13:52.891]
INFO:
bb-prover Successfully verified proof from key in 105.66711199999918 ms
14:13:52 [14:13:52.892]
INFO:
bb-prover Successfully verified proof from key in 131.03401900000063 ms
14:13:52 [14:13:52.893]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.89 MiB)
14:13:52 Scheme is: ultra_honk, num threads: 128 (mem: 250.89 MiB)
14:13:52 --public_inputs_path: /tmp/e4ae5c28/bb/tmp-DbQnka/public_inputs (mem: 250.89 MiB)
14:13:52 --proof_path: /tmp/e4ae5c28/bb/tmp-DbQnka/proof (mem: 250.89 MiB)
14:13:52 --vk_path: /tmp/e4ae5c28/bb/tmp-DbQnka/vk (mem: 250.89 MiB)
14:13:52 --verbose: true (mem: 250.89 MiB)
14:13:52 --scheme: ultra_honk (mem: 250.89 MiB)
14:13:52 --oracle_hash: poseidon2 (mem: 250.89 MiB)
14:13:52 --disable_zk: true (mem: 250.89 MiB)
14:13:52 vkey hash in Oink verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.89 MiB)
14:13:52 [14:13:52.894]
INFO:
bb-prover Successfully verified proof from key in 83.69784700000127 ms
14:13:52 [14:13:52.904]
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.89 MiB)
14:13:52 Initialized BN254 CRS from memory with num points = 1 (mem: 250.89 MiB)
14:13:52 [14:13:52.909]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.89 MiB)
14:13:52 libra_evals_verified: 1 (mem: 250.89 MiB)
14:13:52 pairing_check_verified: 1 (mem: 250.89 MiB)
14:13:52 [14:13:52.909]
VERBOSE:
bb-prover bb-prover (verify) BB out - Proof verified successfully (mem: 250.89 MiB)
14:13:52 verified: 1 (mem: 250.89 MiB)
14:13:52 [14:13:52.912]
INFO:
bb-prover Successfully verified proof from key in 66.18191800000022 ms
14:13:53 [14:13:53.136]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":101.3263279999992,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
14:13:53 [14:13:53.150]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:13:53 [14:13:53.150]
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/e4ae5c28/bb/tmp-cAOWwC -b /tmp/e4ae5c28/bb/tmp-cAOWwC/RootParityArtifact-bytecode -w /tmp/e4ae5c28/bb/tmp-cAOWwC/partial-witness.gz -v --init_kzg_accumulator -v
14:13:53 [14:13:53.184]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove
14:13:53 [14:13:53.185]
INFO:
bb-prover RootParityArtifact BB out - (mem:
14:13:53 [14:13:53.185]
INFO:
bb-prover RootParityArtifact BB out - 250.89
14:13:53 [14:13:53.186]
INFO:
bb-prover RootParityArtifact BB out - MiB)
14:13:53 [14:13:53.186]
INFO:
bb-prover RootParityArtifact BB out -
14:13:53 [14:13:53.187]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 250.89 MiB)
14:13:53 --scheme: ultra_honk (mem: 250.89 MiB)
14:13:53 --bytecode_path: /tmp/e4ae5c28/bb/tmp-cAOWwC/RootParityArtifact-bytecode (mem: 250.89 MiB)
14:13:53 --witness_path: /tmp/e4ae5c28/bb/tmp-cAOWwC/partial-witness.gz (mem: 250.89 MiB)
14:13:53 --output_path: /tmp/e4ae5c28/bb/tmp-cAOWwC (mem: 250.89 MiB)
14:13:53 Warning: the following option is called more than once (mem: 250.89 MiB)
14:13:53 --verbose: true (mem: 250.89 MiB)
14:13:53 --oracle_hash: poseidon2 (mem: 250.89 MiB)
14:13:53 --output_format: bytes_and_fields (mem: 250.89 MiB)
14:13:53 --write_vk: true (mem: 250.89 MiB)
14:13:53 --disable_zk: true (mem: 250.89 MiB)
14:13:53 --init_kzg_accumulator: true (mem: 250.89 MiB)
14:13:53 [14:13:53.361]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.89 MiB)
14:13:55 [14:13:55.515]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 412.73 MiB)
14:13:57 [14:13:57.707]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 791.11 MiB)
14:13:59 [14:13:59.742]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1049.80 MiB)
14:14:02 [14:14:02.134]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1427.14 MiB)
14:14:02 Constructing DeciderProvingKey (mem: 1427.14 MiB)
14:14:03 [14:14:03.524]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1812.76 MiB)
14:14:03 [14:14:03.946]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5441.84 MiB)
14:14:05 [14:14:05.770]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 3636 ms. (mem: 6025.84 MiB)
14:14:05 [14:14:05.907]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance.
14:14:05 [14:14:05.909]
INFO:
bb-prover RootParityArtifact BB out - (mem: 6025.84 MiB)
14:14:05 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6025.84 MiB)
14:14:06 [14:14:06.738]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6025.84 MiB)
14:14:12 [14:14:12.557]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6025.84 MiB)
14:14:18 [14:14:18.880]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6025.84 MiB)
14:14:21 [14:14:21.684]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6712.72 MiB)
14:14:24 [14:14:24.629]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6712.72 MiB)
14:14:32 [14:14:32.264]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6712.72 MiB)
14:14:34 [14:14:34.053]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6712.72 MiB)
14:14:34 [14:14:34.087]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6712.72 MiB)
14:14:34 [14:14:34.698]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/e4ae5c28/bb/tmp-cAOWwC/public_inputs" (mem: 6712.72 MiB)
14:14:34 Public inputs fields saved to "/tmp/e4ae5c28/bb/tmp-cAOWwC/public_inputs_fields.json" (mem: 6712.72 MiB)
14:14:34 Proof saved to "/tmp/e4ae5c28/bb/tmp-cAOWwC/proof" (mem: 6712.72
14:14:34 [14:14:34.698]
INFO:
bb-prover RootParityArtifact BB out - MiB)
14:14:34 Proof fields saved to "/tmp/e4ae5c28/bb/tmp-cAOWwC/proof_fields.json" (mem: 6712.72 MiB)
14:14:34 VK saved to "/tmp/e4ae5c28/bb/tmp-cAOWwC/vk" (mem: 6712.72 MiB)
14:14:34 VK fields saved to "/tmp/e4ae5c28/bb/tmp-cAOWwC/vk_fields.json" (mem: 6712.72 MiB)
14:14:34 [14:14:34.880]
INFO:
bb-prover Generated proof for RootParityArtifact in 41725 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":41724.679762,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:14:34 [14:14:34.886]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:14:34 [14:14:34.887]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e4ae5c28/bb/tmp-QowwGU/proof -k /tmp/e4ae5c28/bb/tmp-QowwGU/vk -i /tmp/e4ae5c28/bb/tmp-QowwGU/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:14:34 [14:14:34.914]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 249.90 MiB)
14:14:34 [14:14:34.915]
VERBOSE:
bb-prover bb-prover (verify) BB out - Scheme is: ultra_honk, num threads: 128 (mem: 249.90 MiB)
14:14:34 --public_inputs_path: /tmp/e4ae5c28/bb/tmp-QowwGU/public_inputs (mem: 249.90 MiB)
14:14:34 --proof_path: /tmp/e4ae5c28/bb/tmp-QowwGU/proof (mem: 249.90 MiB)
14:14:34 --vk_path: /tmp/e4ae5c28/bb/tmp-QowwGU/vk (mem: 249.90 MiB)
14:14:34 --verbose: true (mem: 249.90 MiB)
14:14:34 --scheme: ultra_honk (mem: 249.90 MiB)
14:14:34 --oracle_hash: poseidon2 (mem: 249.90 MiB)
14:14:34 --disable_zk: true (mem: 249.90 MiB)
14:14:34 [14:14:34.916]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 249.90 MiB)
14:14:34 [14:14:34.928]
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.90 MiB)
14:14:34 [14:14:34.928]
VERBOSE:
bb-prover bb-prover (verify) BB out - Initialized BN254 CRS from memory with num points = 1 (mem: 249.90 MiB)
14:14:34 [14:14:34.929]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 249.90 MiB)
14:14:34 libra_evals_verified: 1 (mem: 249.90 MiB)
14:14:34 pairing_check_verified: 1 (mem: 249.90 MiB)
14:14:34 Proof verified successfully (mem: 249.90 MiB)
14:14:34 [14:14:34.929]
VERBOSE:
bb-prover bb-prover (verify) BB out - verified: 1 (mem: 249.90 MiB)
14:14:34 [14:14:34.934]
INFO:
bb-prover Successfully verified proof from key in 47.99301899999409 ms
14:14:34 [14:14:34.938]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:14:34 [14:14:34.938]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e4ae5c28/bb/tmp-THNK8P/proof -k /tmp/e4ae5c28/bb/tmp-THNK8P/vk -i /tmp/e4ae5c28/bb/tmp-THNK8P/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:14:34 [14:14:34.968]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.90 MiB)
14:14:34 Scheme is: ultra_honk, num threads: 128 (mem: 250.90 MiB)
14:14:34 --public_inputs_path: /tmp/e4ae5c28/bb/tmp-THNK8P/public_inputs (mem: 250.90 MiB)
14:14:34 --proof_path: /tmp/e4ae5c28/bb/tmp-THNK8P/proof (mem: 250.90 MiB)
14:14:34 --vk_path: /tmp/e4ae5c28/bb/tmp-THNK8P/vk (mem: 250.90 MiB)
14:14:34 --verbose: true (mem: 250.90 MiB)
14:14:34 --scheme: ultra_honk (mem: 250.90 MiB)
14:14:34 --oracle_hash: poseidon2 (mem: 250.90 MiB)
14:14:34 --disable_zk: true (mem: 250.90 MiB)
14:14:34 vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 250.90 MiB)
14:14:34 [14:14:34.987]
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.90 MiB)
14:14:34 Initialized BN254 CRS from memory with num points = 1 (mem: 250.90 MiB)
14:14:34 [14:14:34.988]
VERBOSE:
bb-prover bb-prover (verify) BB out - sumcheck_verified: 1 (mem: 250.90 MiB)
14:14:34 libra_evals_verified: 1 (mem: 250.90 MiB)
14:14:34 pairing_check_verified: 1 (mem: 250.90 MiB)
14:14:34 Proof verified successfully (mem: 250.90 MiB)
14:14:34 verified: 1 (mem: 250.90 MiB)
14:14:34 [14:14:34.990]
INFO:
bb-prover Successfully verified proof from key in 52.62724800000433 ms
14:14:35 [14:14:35.084]
ERROR:
simulator:acvm-native From ACVM: Failed assertion
14:14:35
14:14:35 [14:14:35.084]
ERROR:
bb-prover Error running operation at /tmp/e4ae5c28/bb/tmp-XjuSOx: Error: Failed to generate witness: Failed assertion
14:14:35
14:14:35 [14:14:35.254]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":55.09738899999502,"inputSize":118158,"outputSize":96,"eventName":"circuit-witness-generation"}
14:14:35 [14:14:35.256]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:14:35 [14:14:35.256]
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/e4ae5c28/bb/tmp-0R78nb -b /tmp/e4ae5c28/bb/tmp-0R78nb/RootParityArtifact-bytecode -w /tmp/e4ae5c28/bb/tmp-0R78nb/partial-witness.gz -v --init_kzg_accumulator -v
14:14:35 [14:14:35.283]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 250.90 MiB)
14:14:35 [14:14:35.283]
INFO:
bb-prover RootParityArtifact BB out - Scheme is: ultra_honk, num threads: 128 (mem: 250.90 MiB)
14:14:35 --scheme: ultra_honk (mem: 250.90 MiB)
14:14:35 --bytecode_path: /tmp/e4ae5c28/bb/tmp-0R78nb/RootParityArtifact-bytecode (mem: 250.90 MiB)
14:14:35 --witness_path: /tmp/e4ae5c28/bb/tmp-0R78nb/partial-witness.gz (mem: 250.90 MiB)
14:14:35 --output_path: /tmp/e4ae5c28/bb/tmp-0R78nb (mem: 250.90 MiB)
14:14:35 Warning: the following option is called more than once (mem: 250.90 MiB)
14:14:35 --verbose: true (mem: 250.90 MiB)
14:14:35 --oracle_hash: poseidon2 (mem: 250.90 MiB)
14:14:35 --output_format: bytes_and_fields (mem: 250.90 MiB)
14:14:35 --write_vk: true (mem: 250.90 MiB)
14:14:35 --disable_zk: true (mem: 250.90 MiB)
14:14:35 --init_kzg_accumulator: true (mem: 250.90 MiB)
14:14:35 [14:14:35.432]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.90 MiB)
14:14:35 [14:14:35.440]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 250.90 MiB)
14:14:37 [14:14:37.599]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 405.76 MiB)
14:14:40 [14:14:39.998]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 785.52 MiB)
14:14:42 [14:14:42.459]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1039.56 MiB)
14:14:45 [14:14:45.146]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1415.30 MiB)
14:14:45 Constructing DeciderProvingKey (mem: 1415.30 MiB)
14:14:46 [14:14:46.680]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1798.52 MiB)
14:14:47 [14:14:47.187]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5434.35 MiB)
14:14:49 [14:14:49.297]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 4149 ms. (mem: 6022.35 MiB)
14:14:49 [14:14:49.445]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance.
14:14:49 [14:14:49.446]
INFO:
bb-prover RootParityArtifact BB out - (mem:
14:14:49 [14:14:49.446]
INFO:
bb-prover RootParityArtifact BB out - 6022.35
14:14:49 [14:14:49.447]
INFO:
bb-prover RootParityArtifact BB out - MiB)
14:14:49 [14:14:49.448]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6022.35 MiB)
14:14:50 [14:14:50.251]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6022.35 MiB)
14:14:54 [14:14:54.440]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6022.35 MiB)
14:14:59 [14:14:59.331]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6022.35 MiB)
14:15:01 [14:15:01.129]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6729.96 MiB)
14:15:03 [14:15:03.413]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6729.96 MiB)
14:15:10 [14:15:10.504]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6729.96 MiB)
14:15:12 [14:15:12.313]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6729.96 MiB)
14:15:12 [14:15:12.356]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6729.96 MiB)
14:15:13 [14:15:13.129]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/e4ae5c28/bb/tmp-0R78nb/public_inputs" (mem: 6729.96 MiB)
14:15:13 [14:15:13.131]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/e4ae5c28/bb/tmp-0R78nb/public_inputs_fields.json" (mem: 6729.96 MiB)
14:15:13 Proof saved to "/tmp/e4ae5c28/bb/tmp-0R78nb/proof" (mem: 6729.96 MiB)
14:15:13 Proof fields saved to "/tmp/e4ae5c28/bb/tmp-0R78nb/proof_fields.json" (mem: 6729.96 MiB)
14:15:13 VK saved to "/tmp/e4ae5c28/bb/tmp-0R78nb/vk" (mem: 6729.96 MiB)
14:15:13 VK fields saved to "/tmp/e4ae5c28/bb/tmp-0R78nb/vk_fields.json" (mem: 6729.96 MiB)
14:15:13 [14:15:13.348]
INFO:
bb-prover Generated proof for RootParityArtifact in 38090 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":38089.522408,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:15:13 [14:15:13.352]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:15:13 [14:15:13.352]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e4ae5c28/bb/tmp-QZeyd4/proof -k /tmp/e4ae5c28/bb/tmp-QZeyd4/vk -i /tmp/e4ae5c28/bb/tmp-QZeyd4/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:15:13 [14:15:13.377]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem: 250.90 MiB)
14:15:13 Scheme is: ultra_honk, num threads: 128 (mem: 250.90 MiB)
14:15:13 [14:15:13.377]
VERBOSE:
bb-prover bb-prover (verify) BB out - --public_inputs_path: /tmp/e4ae5c28/bb/tmp-QZeyd4/public_inputs (mem: 250.90 MiB)
14:15:13 --proof_path: /tmp/e4ae5c28/bb/tmp-QZeyd4/proof (mem: 250.90 MiB)
14:15:13 --vk_path: /tmp/e4ae5c28/bb/tmp-QZeyd4/vk (mem: 250.90 MiB)
14:15:13 --verbose: true (mem: 250.90 MiB)
14:15:13 --scheme: ultra_honk (mem: 250.90 MiB)
14:15:13 --oracle_hash: poseidon2 (mem: 250.90 MiB)
14:15:13 --disable_zk: true (mem: 250.90 MiB)
14:15:13 [14:15:13.378]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 250.90 MiB)
14:15:13 [14:15:13.388]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 250.90 MiB)
14:15:13 Proof verification failed (mem: 250.90 MiB)
14:15:13 verified: 0 (mem: 250.90
14:15:13 [14:15:13.389]
VERBOSE:
bb-prover bb-prover (verify) BB out - MiB)
14:15:13 [14:15:13.390]
ERROR:
bb-prover Error running operation at /tmp/e4ae5c28/bb/tmp-QZeyd4: ProvingError: Failed to verify proof from key!
14:15:13 [14:15:13.520]
INFO:
bb-prover Generated witness
{"circuitName":"root-parity","duration":55.099377000005916,"inputSize":132804,"outputSize":96,"eventName":"circuit-witness-generation"}
14:15:13 [14:15:13.521]
INFO:
bb-prover RootParityArtifact BB out - BB concurrency: undefined
14:15:13 [14:15:13.521]
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/e4ae5c28/bb/tmp-cktRnr -b /tmp/e4ae5c28/bb/tmp-cktRnr/RootParityArtifact-bytecode -w /tmp/e4ae5c28/bb/tmp-cktRnr/partial-witness.gz -v --init_kzg_accumulator -v
14:15:13 [14:15:13.548]
INFO:
bb-prover RootParityArtifact BB out - bb command: prove (mem: 250.90 MiB)
14:15:13 Scheme is: ultra_honk, num threads: 128 (mem: 250.90 MiB)
14:15:13 --scheme: ultra_honk (mem: 250.90 MiB)
14:15:13 --bytecode_path: /tmp/e4ae5c28/bb/tmp-cktRnr/RootParityArtifact-bytecode (mem: 250.90 MiB)
14:15:13 --witness_path: /tmp/e4ae5c28/bb/tmp-cktRnr/partial-witness.gz (mem: 250.90 MiB)
14:15:13 [14:15:13.548]
INFO:
bb-prover RootParityArtifact BB out - --output_path: /tmp/e4ae5c28/bb/tmp-cktRnr (mem: 250.90 MiB)
14:15:13 Warning: the following option is called more than once (mem: 250.90 MiB)
14:15:13 --verbose: true (mem: 250.90 MiB)
14:15:13 --oracle_hash: poseidon2 (mem: 250.90 MiB)
14:15:13 --output_format: bytes_and_fields (mem: 250.90 MiB)
14:15:13 --write_vk: true (mem: 250.90 MiB)
14:15:13 --disable_zk: true (mem: 250.90 MiB)
14:15:13 --init_kzg_accumulator: true (mem: 250.90 MiB)
14:15:13 [14:15:13.684]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 250.90 MiB)
14:15:13 [14:15:13.694]
INFO:
bb-prover RootParityArtifact BB out - (Experimental) WARNING: Builder failure when we have real witnesses! (mem: 250.90 MiB)
14:15:15 [14:15:15.593]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 415.58 MiB)
14:15:17 [14:15:17.906]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 793.39 MiB)
14:15:19 [14:15:19.794]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000786cdc7f7bdc64868b5aab1479f542f7 (mem: 1051.28 MiB)
14:15:21 [14:15:21.992]
INFO:
bb-prover RootParityArtifact BB out - created circuit (mem: 1426.19 MiB)
14:15:21 [14:15:21.993]
INFO:
bb-prover RootParityArtifact BB out - Constructing DeciderProvingKey (mem: 1426.19 MiB)
14:15:23 [14:15:23.072]
INFO:
bb-prover RootParityArtifact BB out - allocating polynomials object in proving key... (mem: 1811.81 MiB)
14:15:23 [14:15:23.452]
INFO:
bb-prover RootParityArtifact BB out - populating trace... (mem: 5443.45 MiB)
14:15:24 [14:15:24.861]
INFO:
bb-prover RootParityArtifact BB out - time to construct proving key: 2867 ms. (mem: 6025.45 MiB)
14:15:24 [14:15:24.991]
INFO:
bb-prover RootParityArtifact BB out - WARNING: computing verification key while proving. Pass in a precomputed vk for better performance. (mem: 6025.45 MiB)
14:15:24 [14:15:24.992]
INFO:
bb-prover RootParityArtifact BB out - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 6025.45 MiB)
14:15:25 [14:15:25.684]
INFO:
bb-prover RootParityArtifact BB out - Initialized BN254 CRS from memory with num points = 4194305 (mem: 6025.45 MiB)
14:15:29 [14:15:29.054]
INFO:
bb-prover RootParityArtifact BB out - vkey hash in Oink prover: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 6025.45 MiB)
14:15:33 [14:15:33.048]
INFO:
bb-prover RootParityArtifact BB out - created oink proof (mem: 6025.45 MiB)
14:15:34 [14:15:34.854]
INFO:
bb-prover RootParityArtifact BB out - starting sumcheck rounds... (mem: 6721.11 MiB)
14:15:36 [14:15:36.663]
INFO:
bb-prover RootParityArtifact BB out - completed 22 rounds of sumcheck (mem: 6721.11 MiB)
14:15:42 [14:15:42.958]
INFO:
bb-prover RootParityArtifact BB out - executed multivariate-to-univariate reduction (mem: 6721.11 MiB)
14:15:44 [14:15:44.827]
INFO:
bb-prover RootParityArtifact BB out - computed opening proof (mem: 6721.11 MiB)
14:15:44 [14:15:44.852]
INFO:
bb-prover RootParityArtifact BB out - finished decider proving. (mem: 6721.11 MiB)
14:15:45 [14:15:45.428]
INFO:
bb-prover RootParityArtifact BB out - Public inputs saved to "/tmp/e4ae5c28/bb/tmp-cktRnr/public_inputs" (mem: 6721.11 MiB)
14:15:45 [14:15:45.429]
INFO:
bb-prover RootParityArtifact BB out - Public inputs fields saved to "/tmp/e4ae5c28/bb/tmp-cktRnr/public_inputs_fields.json" (mem: 6721.11 MiB)
14:15:45 Proof saved to "/tmp/e4ae5c28/bb/tmp-cktRnr/proof" (mem: 6721.11 MiB)
14:15:45 Proof fields saved to "/tmp/e4ae5c28/bb/tmp-cktRnr/proof_fields.json" (mem: 6721.11 MiB)
14:15:45 VK saved to "/tmp/e4ae5c28/bb/tmp-cktRnr/vk" (mem: 6721.11 MiB)
14:15:45 [14:15:45.429]
INFO:
bb-prover RootParityArtifact BB out - VK fields saved to "/tmp/e4ae5c28/bb/tmp-cktRnr/vk_fields.json" (mem: 6721.11 MiB)
14:15:45 [14:15:45.591]
INFO:
bb-prover Generated proof for RootParityArtifact in 32069 ms, size: 456 fields
{"circuitName":"root-parity","circuitSize":4194304,"duration":32068.191166999997,"inputSize":96,"proofSize":14688,"eventName":"circuit-proving","numPublicInputs":19}
14:15:45 [14:15:45.594]
VERBOSE:
bb-prover bb-prover (verify) BB out - BB concurrency: undefined
14:15:45 [14:15:45.594]
VERBOSE:
bb-prover bb-prover (verify) BB out - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify -p /tmp/e4ae5c28/bb/tmp-vQD5V7/proof -k /tmp/e4ae5c28/bb/tmp-vQD5V7/vk -i /tmp/e4ae5c28/bb/tmp-vQD5V7/public_inputs --disable_zk --scheme ultra_honk --oracle_hash poseidon2 -v
14:15:45 [14:15:45.616]
VERBOSE:
bb-prover bb-prover (verify) BB out - bb command: verify (mem:
14:15:45 [14:15:45.617]
VERBOSE:
bb-prover bb-prover (verify) BB out - 250.90 MiB)
14:15:45 Scheme is: ultra_honk, num threads: 128 (mem: 250.90 MiB)
14:15:45 --public_inputs_path: /tmp/e4ae5c28/bb/tmp-vQD5V7/public_inputs (mem: 250.90 MiB)
14:15:45 --proof_path: /tmp/e4ae5c28/bb/tmp-vQD5V7/proof (mem: 250.90 MiB)
14:15:45 --vk_path: /tmp/e4ae5c28/bb/tmp-vQD5V7/vk (mem: 250.90 MiB)
14:15:45 --verbose: true (mem: 250.90 MiB)
14:15:45 --scheme: ultra_honk (mem: 250.90 MiB)
14:15:45 --oracle_hash: poseidon2 (mem: 250.90 MiB)
14:15:45 --disable_zk: true (mem: 250.90 MiB)
14:15:45 [14:15:45.617]
VERBOSE:
bb-prover bb-prover (verify) BB out - vkey hash in Oink verifier: 0x000000000000000000000000000000003a3564851132aa13b058067a6b985fae (mem: 250.90 MiB)
14:15:45 [14:15:45.628]
VERBOSE:
bb-prover bb-prover (verify) BB out - Sumcheck failed! (mem: 250.90 MiB)
14:15:45 Proof verification failed (mem: 250.90 MiB)
14:15:45 verified: 0 (mem: 250.90 MiB)
14:15:45 [14:15:45.629]
ERROR:
bb-prover Error running operation at /tmp/e4ae5c28/bb/tmp-vQD5V7: ProvingError: Failed to verify proof from key!
14:15:45 [14:15:45.632]
VERBOSE:
prover-client:broker-circuit-prover-facade Stopping BrokerCircuitProverFacade
14:15:45
PASS src/test/bb_prover_parity.test.ts (
126.583 s)
14:15:45 prover/bb_prover/parity
14:15:45
✓ proves the parity circuits (118385 ms)
14:15:45
14:15:45
Test Suites: 1 passed, 1 total
14:15:45
Tests: 1 passed, 1 total
14:15:45
Snapshots: 0 total
14:15:45
Time: 126.674 s
14:15:45
Ran all test suites matching prover-client/src/test/bb_prover_parity.test.ts
.
14:15:45
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?