Parent Log:
http://ci.aztec-labs.com/bb5a5dfbdc7368c1
Command: a5511b51e55ea9c0:CPUS=8 yarn-project/scripts/run_test.sh ivc-integration/src/native_client_ivc_integration.test.ts
Commit:
https://github.com/AztecProtocol/aztec-packages/commit/0dc6f60f84deaa57a8570f9942eb75317f5aeea5
Env: REF_NAME=gh-readonly-queue/next/pr-15162-6ee95286f8bcc5bb6dca43222459ac5bf43a8a75 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 09:38:19 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15162_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
09:38:24 [09:38:24.173]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-ejiwQO/ivc-inputs.msgpack
09:38:24 [09:38:24.179]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
09:38:24 [09:38:24.180]
INFO:
ivc-integration:test:native bb - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove -o /tmp/bb-client-ivc-integration-ejiwQO --ivc_inputs_path /tmp/bb-client-ivc-integration-ejiwQO/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
09:38:24 [09:38:24.200]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 183.34 MiB)
09:38:24 [09:38:24.202]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 183.34 MiB)
09:38:24 --scheme: client_ivc (mem: 183.34 MiB)
09:38:24 --output_path: /tmp/bb-client-ivc-integration-ejiwQO (mem: 183.34 MiB)
09:38:24 --ivc_inputs_path: /tmp/bb-client-ivc-integration-ejiwQO/ivc-inputs.msgpack (mem: 183.34 MiB)
09:38:24 --verbose: true (mem: 183.34 MiB)
09:38:24 --write_vk: true (mem: 183.34 MiB)
09:38:24 BN254 commitment key size: 262144 (mem: 183.34 MiB)
09:38:24 [09:38:24.319]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.00 MiB)
09:38:24 [09:38:24.409]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 297.70 MiB)
09:38:24 [09:38:24.414]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 297.70 MiB)
09:38:24 Constructing DeciderProvingKey (mem: 297.70 MiB)
09:38:24 [09:38:24.419]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 297.70 MiB)
09:38:24 goblin ecc op : 4/1024 (mem: 297.70 MiB)
09:38:24 busread : 7/6000 (mem: 297.70 MiB)
09:38:24 lookups : 2/15000 (mem: 297.70 MiB)
09:38:24 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 297.70 MiB)
09:38:24 arithmetic : 1760/56000 (mem: 297.70 MiB)
09:38:24 delta range : 1754/18000 (mem: 297.70 MiB)
09:38:24 elliptic : 2/6000 (mem: 297.70 MiB)
09:38:24 auxiliary : 26/26000 (mem: 297.70
09:38:24 [09:38:24.421]
INFO:
ivc-integration:test:native bb - MiB)
09:38:24 poseidon ext : 2/17000 (mem: 297.70 MiB)
09:38:24 poseidon int : 2/92000 (mem: 297.70 MiB)
09:38:24 overflow : 0/0 (mem: 297.70 MiB)
09:38:24 (mem: 297.70 MiB)
09:38:24 Total structured size: 242025 (mem: 297.70 MiB)
09:38:24 allocating polynomials object in proving key... (mem: 297.70 MiB)
09:38:24 [09:38:24.494]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 501.86 MiB)
09:38:24 [09:38:24.505]
INFO:
ivc-integration:test:native bb - time to construct proving key: 91 ms. (mem: 513.86 MiB)
09:38:24 [09:38:24.550]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x586e7ef4f940 (mem: 513.86 MiB)
09:38:24 [09:38:24.552]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 513.86 MiB)
09:38:24 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 513.86 MiB)
09:38:24 [09:38:24.698]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 523.86 MiB)
09:38:24 [09:38:24.707]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.86 MiB)
09:38:24 [09:38:24.719]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 523.86 MiB)
09:38:24 Constructing DeciderProvingKey (mem: 523.86 MiB)
09:38:24 [09:38:24.721]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.86 MiB)
09:38:24 goblin ecc op : 56/1024 (mem: 523.86 MiB)
09:38:24 busread : 12/6000 (mem: 523.86 MiB)
09:38:24 lookups : 2/15000 (mem: 523.86 MiB)
09:38:24 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.86 MiB)
09:38:24 arithmetic : 4677/56000 (mem: 523.86 MiB)
09:38:24 delta range : 2073/18000 (mem: 523.86 MiB)
09:38:24 elliptic : 2/6000 (mem: 523.86 MiB)
09:38:24 auxiliary : 110/26000 (mem: 523.86 MiB)
09:38:24 poseidon ext : 1322/17000 (mem: 523.86 MiB)
09:38:24 poseidon int : 7526/92000 (mem: 523.86 MiB)
09:38:24 overflow : 0/0 (mem: 523.86 MiB)
09:38:24 (mem: 523.86 MiB)
09:38:24 Total structured size: 242025 (mem: 523.86 MiB)
09:38:24 allocating polynomials object in proving key... (mem: 523.86 MiB)
09:38:24 [09:38:24.805]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 736.86 MiB)
09:38:24 [09:38:24.829]
INFO:
ivc-integration:test:native bb - time to construct proving key: 109 ms. (mem: 747.86 MiB)
09:38:24 [09:38:24.888]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x586e7ef5c680 (mem: 747.86 MiB)
09:38:24 computing folding proof (mem: 747.86 MiB)
09:38:24 [09:38:24.890]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 747.86 MiB)
09:38:25 [09:38:25.333]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 749.86 MiB)
09:38:25 [09:38:25.433]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 787.86 MiB)
09:38:25 [09:38:25.499]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 818.86 MiB)
09:38:25 [09:38:25.876]
INFO:
ivc-integration:test:native bb - folded (mem: 818.86 MiB)
09:38:25 constructed folding proof (mem: 818.86 MiB)
09:38:25 [09:38:25.888]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 818.86 MiB)
09:38:25 [09:38:25.964]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 818.86 MiB)
09:38:25 Constructing DeciderProvingKey (mem: 818.86 MiB)
09:38:25 [09:38:25.965]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.86 MiB)
09:38:25 goblin ecc op : 392/1024 (mem: 818.86 MiB)
09:38:25 busread : 3/6000 (mem: 818.86 MiB)
09:38:25 lookups : 2/15000 (mem: 818.86 MiB)
09:38:25 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 818.86 MiB)
09:38:25 arithmetic : 6913/56000 (mem: 818.86 MiB)
09:38:25 delta range : 2353/18000 (mem: 818.86 MiB)
09:38:25 elliptic : 2/6000 (mem: 818.86 MiB)
09:38:25 auxiliary : 50/26000 (mem: 818.86 MiB)
09:38:25 poseidon ext : 2492/17000 (mem: 818.86 MiB)
09:38:25 poseidon int : 14195/92000 (mem: 818.86 MiB)
09:38:25 overflow : 0/0 (mem: 818.86 MiB)
09:38:25 (mem: 818.86 MiB)
09:38:25 Total structured size: 242025 (mem: 818.86 MiB)
09:38:25 allocating polynomials object in proving key... (mem: 818.86 MiB)
09:38:26 [09:38:26.141]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 818.86 MiB)
09:38:26 [09:38:26.206]
INFO:
ivc-integration:test:native bb - time to construct proving key: 245 ms. (mem: 818.86 MiB)
09:38:26 [09:38:26.421]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x586e7ef51c40 (mem: 818.86 MiB)
09:38:26 computing folding proof (mem: 818.86 MiB)
09:38:26 [09:38:26.422]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 818.86 MiB)
09:38:27 [09:38:27.058]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.86 MiB)
09:38:27 [09:38:27.206]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 818.86 MiB)
09:38:27 [09:38:27.255]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 818.86 MiB)
09:38:27 [09:38:27.783]
INFO:
ivc-integration:test:native bb - folded (mem: 818.86 MiB)
09:38:27 [09:38:27.784]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 818.86 MiB)
09:38:27 Largest circuit: 26010 gates. Trace details: (mem: 818.86 MiB)
09:38:27 Minimum required block sizes for structured trace: (mem: 818.86 MiB)
09:38:27 (mem: 818.86 MiB)
09:38:27 [09:38:27.785]
INFO:
ivc-integration:test:native bb - ecc_op : 392
09:38:27 busread : 12
09:38:27 lookup : 2
09:38:27 pub_inputs : 36
09:38:27 arithmetic : 6913
09:38:27 delta_range : 2353
09:38:27 elliptic : 2
09:38:27 aux : 110
09:38:27 poseidon2_external : 2492
09:38:27 poseidon2_internal : 14195
09:38:27 overflow : 0
09:38:27 [09:38:27.786]
INFO:
ivc-integration:test:native bb - prove decider... (mem: 818.86 MiB)
09:38:28 [09:38:28.030]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 818.86 MiB)
09:38:28 [09:38:28.254]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 818.86 MiB)
09:38:29 [09:38:29.863]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 818.86 MiB)
09:38:29 [09:38:29.962]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 818.86 MiB)
09:38:29 finished decider proving. (mem: 818.86 MiB)
09:38:30 [09:38:30.013]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 818.86 MiB)
09:38:30 [09:38:30.195]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 818.86 MiB)
09:38:30 [09:38:30.199]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 818.86 MiB)
09:38:30 [09:38:30.374]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 818.86 MiB)
09:38:30 [09:38:30.417]
INFO:
ivc-integration:test:native bb - time to construct proving key: 225 ms.
09:38:30 [09:38:30.419]
INFO:
ivc-integration:test:native bb - (mem: 818.86 MiB)
09:38:31 [09:38:31.912]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 818.86 MiB)
09:38:32 [09:38:32.638]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 818.86 MiB)
09:38:32 [09:38:32.862]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 818.86 MiB)
09:38:34 [09:38:34.753]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 818.86
09:38:34 [09:38:34.756]
INFO:
ivc-integration:test:native bb - MiB)
09:38:36 [09:38:36.153]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 818.86 MiB)
09:38:36 [09:38:36.213]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 818.86 MiB)
09:38:36 finished decider proving. (mem: 818.86 MiB)
09:38:36 Constructing a Goblin proof with num ultra ops = 1038 (mem: 818.86 MiB)
09:38:36 [09:38:36.586]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 818.86 MiB)
09:38:37 [09:38:37.630]
INFO:
ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 818.86 MiB)
09:38:37 [09:38:37.708]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 818.86 MiB)
09:38:40 [09:38:40.596]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 818.86 MiB)
09:38:43 [09:38:43.414]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 818.86 MiB)
09:38:47 [09:38:47.586]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 818.86 MiB)
09:38:47 [09:38:47.587]
INFO:
ivc-integration:test:native bb - prove translator... (mem: 818.86 MiB)
09:38:51 [09:38:51.953]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.08 MiB)
09:38:55 [09:38:55.897]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 846.08 MiB)
09:38:58 [09:38:58.918]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 846.08 MiB)
09:38:58 finished translator proving. (mem: 846.08 MiB)
09:38:58 [09:38:58.925]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 846.08 MiB)
09:38:58 [09:38:58.957]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 846.08 MiB)
09:38:58 libra_evals_verified: 1 (mem: 846.08 MiB)
09:38:58 pairing_check_verified: 1 (mem: 846.08 MiB)
09:38:58 Mega verified: 1
09:38:58 [09:38:58.958]
INFO:
ivc-integration:test:native bb - (mem: 846.08 MiB)
09:38:59 [09:38:59.037]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 846.08 MiB)
09:38:59 batch opening verified?: 1 (mem: 846.08 MiB)
09:38:59 eccvm consistency check verified?: 1 (mem: 846.08 MiB)
09:38:59 translation masking consistency checked?: 1 (mem: 846.08 MiB)
09:38:59 [09:38:59.057]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 846.08 MiB)
09:38:59 eccvm verified?: 1 (mem: 846.08 MiB)
09:38:59 accumulator construction_verified?: 1 (mem: 846.08 MiB)
09:38:59 translation verified?: 1 (mem: 846.08 MiB)
09:38:59 consistency verified?: 1 (mem: 846.08 MiB)
09:38:59 [09:38:59.058]
INFO:
ivc-integration:test:native bb - Goblin verified: 1 (mem: 846.08 MiB)
09:38:59 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-ejiwQO" (mem: 846.08 MiB)
09:38:59 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-ejiwQO" (mem: 846.08 MiB)
09:38:59 BN254 commitment key size: 262144 (mem: 846.08 MiB)
09:38:59 [09:38:59.060]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.08 MiB)
09:38:59 [09:38:59.064]
INFO:
ivc-integration:test:native bb -
09:38:59 [09:38:59.088]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.08 MiB)
09:38:59 goblin ecc op : 4/1024 (mem: 846.08 MiB)
09:38:59 busread : 3/6000 (mem: 846.08 MiB)
09:38:59 lookups : 2/15000 (mem: 846.08 MiB)
09:38:59 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.08 MiB)
09:38:59 arithmetic : 1773/56000 (mem: 846.08 MiB)
09:38:59 delta range : 1754/18000 (mem: 846.08 MiB)
09:38:59 elliptic : 2/6000 (mem: 846.08 MiB)
09:38:59 auxiliary : 26/26000 (mem: 846.08 MiB)
09:38:59 poseidon ext : 2/17000 (mem: 846.08 MiB)
09:38:59 poseidon int : 2/92000 (mem: 846.08 MiB)
09:38:59 overflow : 0/0 (mem: 846.08 MiB)
09:38:59 (mem: 846.08 MiB)
09:38:59 Total structured size: 242025 (mem: 846.08 MiB)
09:38:59 allocating polynomials object in proving key... (mem: 846.08 MiB)
09:38:59 [09:38:59.218]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.08 MiB)
09:38:59 [09:38:59.232]
INFO:
ivc-integration:test:native bb - time to construct proving key: 167 ms. (mem: 846.08 MiB)
09:38:59 [09:38:59.360]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.08 MiB)
09:39:00 [09:39:00.031]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 846.08 MiB)
09:39:00 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.08 MiB)
09:39:00 [09:39:00.560]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 846.08 MiB)
09:39:00 [09:39:00.567]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.08 MiB)
09:39:00 [09:39:00.581]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.08 MiB)
09:39:00 [09:39:00.585]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.08 MiB)
09:39:00 goblin ecc op : 56/1024 (mem: 846.08 MiB)
09:39:00 busread : 3/6000 (mem: 846.08 MiB)
09:39:00 lookups : 2/15000 (mem: 846.08 MiB)
09:39:00 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.08 MiB)
09:39:00 arithmetic : 4533/56000 (mem: 846.08 MiB)
09:39:00 delta range : 2060/18000 (mem: 846.08 MiB)
09:39:00 elliptic : 2/6000 (mem: 846.08 MiB)
09:39:00 auxiliary : 50/26000 (mem: 846.08 MiB)
09:39:00 poseidon ext : 1332/17000 (mem: 846.08 MiB)
09:39:00 poseidon int : 7583/92000 (mem: 846.08 MiB)
09:39:00 overflow : 0/0 (mem: 846.08 MiB)
09:39:00 (mem: 846.08 MiB)
09:39:00 Total structured size: 242025 (mem: 846.08 MiB)
09:39:00 allocating polynomials object in proving key... (mem: 846.08 MiB)
09:39:00 [09:39:00.811]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.08 MiB)
09:39:00 [09:39:00.846]
INFO:
ivc-integration:test:native bb - time to construct proving key: 265 ms. (mem: 846.08 MiB)
09:39:00 [09:39:00.962]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.08 MiB)
09:39:01 [09:39:01.773]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 846.08 MiB)
09:39:01 [09:39:01.774]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 846.08 MiB)
09:39:02 [09:39:02.377]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.08 MiB)
09:39:02 [09:39:02.486]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 849.08 MiB)
09:39:02 [09:39:02.549]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 881.08 MiB)
09:39:02 [09:39:02.785]
INFO:
ivc-integration:test:native bb - folded (mem: 881.08 MiB)
09:39:02 constructed folding proof (mem: 881.08 MiB)
09:39:02 Largest circuit: 15565 gates. Trace details: (mem: 881.08 MiB)
09:39:02 Minimum required block sizes for structured trace: (mem: 881.08 MiB)
09:39:02 (mem: 881.08 MiB)
09:39:02 prove decider... (mem: 881.08 MiB)
09:39:02 [09:39:02.786]
INFO:
ivc-integration:test:native bb - ecc_op : 56
09:39:02 busread : 3
09:39:02 lookup : 2
09:39:02 pub_inputs : 36
09:39:02 arithmetic : 4533
09:39:02 delta_range : 2060
09:39:02 elliptic : 2
09:39:02 aux : 50
09:39:02 poseidon2_external : 1332
09:39:02 poseidon2_internal : 7583
09:39:02 overflow : 0
09:39:02 [09:39:02.860]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 881.08 MiB)
09:39:02 [09:39:02.987]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 881.08 MiB)
09:39:03 [09:39:03.771]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 881.08 MiB)
09:39:03 [09:39:03.846]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 881.08 MiB)
09:39:03 finished decider proving. (mem: 881.08 MiB)
09:39:03 [09:39:03.859]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 881.08 MiB)
09:39:03 [09:39:03.962]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 881.08 MiB)
09:39:03 [09:39:03.967]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 881.08 MiB)
09:39:04 [09:39:04.120]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 881.08 MiB)
09:39:04 [09:39:04.163]
INFO:
ivc-integration:test:native bb - time to construct proving key: 200 ms. (mem: 881.08 MiB)
09:39:04 [09:39:04.829]
INFO:
ivc-integration:test:native BB concurrency: 1
09:39:04 [09:39:04.830]
INFO:
ivc-integration:test:native Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify --scheme client_ivc -p /tmp/bb-client-ivc-integration-ejiwQO/proof -k /tmp/bb-client-ivc-integration-ejiwQO/vk -v
09:39:04 [09:39:04.865]
INFO:
ivc-integration:test:native bb command: verify (mem: 183.34 MiB)
09:39:04 Scheme is: client_ivc, num threads: 1 (mem: 183.34 MiB)
09:39:04 --proof_path: /tmp/bb-client-ivc-integration-ejiwQO/proof (mem: 183.34 MiB)
09:39:04 [09:39:04.866]
INFO:
ivc-integration:test:native
09:39:04 --vk_path: /tmp/bb-client-ivc-integration-ejiwQO/vk (mem: 183.34 MiB)
09:39:04 --verbose: true (mem: 183.34 MiB)
09:39:04 --scheme: client_ivc (mem: 183.34 MiB)
09:39:04 [09:39:04.886]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 183.34 MiB)
09:39:04 [09:39:04.907]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 183.34 MiB)
09:39:04 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 183.34 MiB)
09:39:04 [09:39:04.928]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat"
09:39:04 [09:39:04.929]
INFO:
ivc-integration:test:native (mem: 183.34 MiB)
09:39:04 Initialized BN254 CRS from memory with num points = 9 (mem: 183.34 MiB)
09:39:04 [09:39:04.930]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 183.34 MiB)
09:39:04 libra_evals_verified: 1 (mem: 183.34 MiB)
09:39:04 pairing_check_verified: 1 (mem: 183.34 MiB)
09:39:04 [09:39:04.930]
INFO:
ivc-integration:test:native Mega verified: 1 (mem: 183.34 MiB)
09:39:05 [09:39:05.380]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 183.34 MiB)
09:39:05 batch opening verified?: 1 (mem: 183.34 MiB)
09:39:05 eccvm consistency check verified?: 1 (mem: 183.34 MiB)
09:39:05 translation masking consistency checked?: 1 (mem: 183.34 MiB)
09:39:05 [09:39:05.396]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 183.34 MiB)
09:39:05 eccvm verified?: 1 (mem: 183.34 MiB)
09:39:05 accumulator construction_verified?: 1 (mem: 183.34 MiB)
09:39:05 translation verified?: 1 (mem: 183.34 MiB)
09:39:05 consistency verified?: 1 (mem: 183.34 MiB)
09:39:05 [09:39:05.396]
INFO:
ivc-integration:test:native Goblin verified: 1 (mem: 183.34 MiB)
09:39:05 [09:39:05.399]
INFO:
ivc-integration:test:native verified: 1 (mem: 183.34 MiB)
09:39:05 [09:39:05.485]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-R7iiCI/ivc-inputs.msgpack
09:39:05 [09:39:05.487]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
09:39:05 [09:39:05.487]
INFO:
ivc-integration:test:native bb - Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb prove -o /tmp/bb-client-ivc-integration-R7iiCI --ivc_inputs_path /tmp/bb-client-ivc-integration-R7iiCI/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
09:39:05 [09:39:05.516]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 183.72 MiB)
09:39:05 [09:39:05.517]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 183.72 MiB)
09:39:05 --scheme: client_ivc (mem: 183.72 MiB)
09:39:05 --output_path: /tmp/bb-client-ivc-integration-R7iiCI (mem: 183.72 MiB)
09:39:05 --ivc_inputs_path: /tmp/bb-client-ivc-integration-R7iiCI/ivc-inputs.msgpack (mem: 183.72 MiB)
09:39:05 --verbose: true (mem: 183.72 MiB)
09:39:05 --write_vk: true (mem: 183.72 MiB)
09:39:05 [09:39:05.521]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 183.72 MiB)
09:39:05 [09:39:05.630]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 262.00 MiB)
09:39:05 [09:39:05.712]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 310.06 MiB)
09:39:05 [09:39:05.717]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 310.06 MiB)
09:39:05 Constructing DeciderProvingKey (mem: 310.06 MiB)
09:39:05 [09:39:05.722]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 310.06 MiB)
09:39:05 goblin ecc op : 4/1024 (mem: 310.06 MiB)
09:39:05 busread : 7/6000 (mem: 310.06 MiB)
09:39:05 lookups : 2/15000 (mem: 310.06 MiB)
09:39:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 310.06 MiB)
09:39:05 arithmetic : 1760/56000 (mem: 310.06 MiB)
09:39:05 delta range : 1754/18000 (mem: 310.06 MiB)
09:39:05 elliptic : 2/6000 (mem: 310.06 MiB)
09:39:05 auxiliary : 26/26000 (mem: 310.06 MiB)
09:39:05 poseidon ext : 2/17000 (mem: 310.06 MiB)
09:39:05 poseidon int : 2/92000 (mem: 310.06 MiB)
09:39:05 overflow : 0/0 (mem: 310.06 MiB)
09:39:05 (mem: 310.06 MiB)
09:39:05 Total structured size: 242025 (mem: 310.06 MiB)
09:39:05 allocating polynomials object in proving key... (mem: 310.06 MiB)
09:39:05 [09:39:05.874]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 500.18 MiB)
09:39:05 [09:39:05.889]
INFO:
ivc-integration:test:native bb - time to construct proving key: 173 ms. (mem: 512.18 MiB)
09:39:05 [09:39:05.944]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56717731d6c0 (mem: 512.18 MiB)
09:39:05 [09:39:05.945]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 512.18 MiB)
09:39:05 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 512.18 MiB)
09:39:06 [09:39:06.173]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 521.18 MiB)
09:39:06 [09:39:06.182]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 521.18 MiB)
09:39:06 [09:39:06.200]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 521.18 MiB)
09:39:06 Constructing DeciderProvingKey (mem: 521.18 MiB)
09:39:06 [09:39:06.204]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 521.18 MiB)
09:39:06 goblin ecc op : 56/1024 (mem: 521.18 MiB)
09:39:06 [09:39:06.205]
INFO:
ivc-integration:test:native bb - busread : 12/6000 (mem: 521.18 MiB)
09:39:06 lookups : 2/15000 (mem: 521.18 MiB)
09:39:06 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 521.18 MiB)
09:39:06 arithmetic : 4677/56000 (mem: 521.18 MiB)
09:39:06 delta range : 2073/18000 (mem: 521.18 MiB)
09:39:06 elliptic : 2/6000 (mem: 521.18 MiB)
09:39:06 auxiliary : 110/26000 (mem: 521.18 MiB)
09:39:06 poseidon ext : 1322/17000 (mem: 521.18 MiB)
09:39:06 poseidon int : 7526/92000 (mem: 521.18 MiB)
09:39:06 overflow : 0/0 (mem: 521.18 MiB)
09:39:06 (mem: 521.18 MiB)
09:39:06 Total structured size: 242025 (mem: 521.18 MiB)
09:39:06 allocating polynomials object in proving key... (mem: 521.18 MiB)
09:39:06 [09:39:06.408]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 733.18 MiB)
09:39:06 [09:39:06.442]
INFO:
ivc-integration:test:native bb - time to construct proving key: 241 ms. (mem: 747.18 MiB)
09:39:06 [09:39:06.524]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x567177326940 (mem: 747.18 MiB)
09:39:06 computing folding proof (mem: 747.18 MiB)
09:39:06 [09:39:06.525]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 747.18 MiB)
09:39:07 [09:39:07.070]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 748.18 MiB)
09:39:07 [09:39:07.195]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 785.18 MiB)
09:39:07 [09:39:07.252]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 818.18 MiB)
09:39:07 [09:39:07.578]
INFO:
ivc-integration:test:native bb - folded (mem: 818.18 MiB)
09:39:07 constructed folding proof (mem: 818.18 MiB)
09:39:07 [09:39:07.582]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 818.18 MiB)
09:39:07 Constructing DeciderProvingKey (mem: 818.18 MiB)
09:39:07 [09:39:07.585]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.18 MiB)
09:39:07 goblin ecc op : 4/1024 (mem: 818.18 MiB)
09:39:07 [09:39:07.585]
INFO:
ivc-integration:test:native bb - busread : 7/6000 (mem: 818.18 MiB)
09:39:07 lookups : 2/15000 (mem: 818.18 MiB)
09:39:07 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 818.18 MiB)
09:39:07 arithmetic : 1760/56000 (mem: 818.18 MiB)
09:39:07 delta range : 1754/18000 (mem: 818.18 MiB)
09:39:07 elliptic : 2/6000 (mem: 818.18 MiB)
09:39:07 auxiliary : 26/26000 (mem: 818.18 MiB)
09:39:07 poseidon ext : 2/17000 (mem: 818.18 MiB)
09:39:07 poseidon int : 2/92000 (mem: 818.18 MiB)
09:39:07 overflow : 0/0 (mem: 818.18 MiB)
09:39:07 (mem: 818.18 MiB)
09:39:07 Total structured size: 242025 (mem: 818.18 MiB)
09:39:07 allocating polynomials object in proving key... (mem: 818.18 MiB)
09:39:07 [09:39:07.650]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 818.18 MiB)
09:39:07 [09:39:07.674]
INFO:
ivc-integration:test:native bb - time to construct proving key: 91 ms. (mem: 818.18 MiB)
09:39:07 [09:39:07.796]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x567177318f00 (mem: 818.18 MiB)
09:39:07 computing folding proof (mem: 818.18 MiB)
09:39:07 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 818.18 MiB)
09:39:08 [09:39:08.085]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.18 MiB)
09:39:08 [09:39:08.153]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 818.18 MiB)
09:39:08 [09:39:08.199]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 819.14 MiB)
09:39:08 [09:39:08.323]
INFO:
ivc-integration:test:native bb - folded (mem: 819.14 MiB)
09:39:08 constructed folding proof (mem: 819.14 MiB)
09:39:08 [09:39:08.333]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 819.14 MiB)
09:39:08 [09:39:08.394]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 819.14 MiB)
09:39:08 [09:39:08.462]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 819.14 MiB)
09:39:08 Constructing DeciderProvingKey (mem: 819.14 MiB)
09:39:08 [09:39:08.472]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 819.14 MiB)
09:39:08 goblin ecc op : 792/1024 (mem: 819.14 MiB)
09:39:08 busread : 12/6000 (mem: 819.14 MiB)
09:39:08 lookups : 2/15000 (mem: 819.14 MiB)
09:39:08 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 819.14 MiB)
09:39:08 arithmetic : 12208/56000 (mem: 819.14 MiB)
09:39:08 delta range : 2981/18000 (mem: 819.14 MiB)
09:39:08 elliptic : 2/6000 (mem: 819.14 MiB)
09:39:08 auxiliary : 350/26000 (mem: 819.14 MiB)
09:39:08 poseidon ext : 4982/17000 (mem: 819.14 MiB)
09:39:08 poseidon int : 28388/92000 (mem: 819.14 MiB)
09:39:08 overflow : 0/0 (mem: 819.14 MiB)
09:39:08 (mem: 819.14 MiB)
09:39:08 Total structured size: 242025 (mem: 819.14 MiB)
09:39:08 allocating polynomials object in proving key... (mem: 819.14 MiB)
09:39:08 [09:39:08.627]
INFO:
ivc-integration:test:native bb - populating trace...
09:39:08 [09:39:08.630]
INFO:
ivc-integration:test:native bb - (mem: 819.14 MiB)
09:39:08 [09:39:08.748]
INFO:
ivc-integration:test:native bb - time to construct proving key: 286 ms. (mem: 819.14 MiB)
09:39:08 [09:39:08.848]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x567177316a80 (mem: 819.14 MiB)
09:39:08 computing folding proof (mem: 819.14 MiB)
09:39:08 [09:39:08.849]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 819.14 MiB)
09:39:09 [09:39:09.180]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 819.14 MiB)
09:39:09 [09:39:09.267]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 819.14 MiB)
09:39:09 [09:39:09.327]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 847.98 MiB)
09:39:09 [09:39:09.548]
INFO:
ivc-integration:test:native bb - folded (mem: 847.98 MiB)
09:39:09 constructed folding proof (mem: 847.98 MiB)
09:39:09 [09:39:09.556]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 847.98 MiB)
09:39:09 [09:39:09.611]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 847.98 MiB)
09:39:09 Constructing DeciderProvingKey (mem: 847.98 MiB)
09:39:09 [09:39:09.619]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.98 MiB)
09:39:09 goblin ecc op : 392/1024 (mem: 847.98 MiB)
09:39:09 busread : 16/6000 (mem: 847.98 MiB)
09:39:09 lookups : 2/15000 (mem: 847.98 MiB)
09:39:09 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 847.98 MiB)
09:39:09 arithmetic : 6978/56000 (mem: 847.98 MiB)
09:39:09 delta range : 2367/18000 (mem: 847.98 MiB)
09:39:09 elliptic : 2/6000 (mem: 847.98 MiB)
09:39:09 auxiliary : 77/26000 (mem: 847.98 MiB)
09:39:09 poseidon ext : 2492/17000 (mem: 847.98 MiB)
09:39:09 poseidon int : 14195/92000 (mem: 847.98 MiB)
09:39:09 overflow : 0/0 (mem: 847.98 MiB)
09:39:09 (mem: 847.98 MiB)
09:39:09 Total structured size: 242025 (mem: 847.98 MiB)
09:39:09 allocating polynomials object in proving key... (mem: 847.98 MiB)
09:39:09 [09:39:09.673]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 847.98 MiB)
09:39:09 [09:39:09.702]
INFO:
ivc-integration:test:native bb - time to construct proving key: 90 ms. (mem: 847.98 MiB)
09:39:09 [09:39:09.805]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56717732be80 (mem: 847.98 MiB)
09:39:09 computing folding proof (mem: 847.98 MiB)
09:39:09 [09:39:09.806]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 847.98 MiB)
09:39:10 [09:39:10.314]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.98 MiB)
09:39:10 [09:39:10.412]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 847.98 MiB)
09:39:10 [09:39:10.462]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 848.52 MiB)
09:39:10 [09:39:10.644]
INFO:
ivc-integration:test:native bb - folded (mem: 848.52 MiB)
09:39:10 constructed folding proof (mem: 848.52 MiB)
09:39:10 [09:39:10.652]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 848.52 MiB)
09:39:10 [09:39:10.713]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 848.52 MiB)
09:39:10 Constructing DeciderProvingKey (mem: 848.52 MiB)
09:39:10 [09:39:10.717]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.52 MiB)
09:39:10 [09:39:10.717]
INFO:
ivc-integration:test:native bb - goblin ecc op : 392/1024 (mem: 848.52 MiB)
09:39:10 busread : 3/6000 (mem: 848.52 MiB)
09:39:10 lookups : 2/15000 (mem: 848.52 MiB)
09:39:10 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 848.52 MiB)
09:39:10 arithmetic : 6913/56000 (mem: 848.52 MiB)
09:39:10 delta range : 2353/18000 (mem: 848.52 MiB)
09:39:10 elliptic : 2/6000 (mem: 848.52 MiB)
09:39:10 auxiliary : 50/26000 (mem: 848.52 MiB)
09:39:10 poseidon ext : 2492/17000 (mem: 848.52 MiB)
09:39:10 poseidon int : 14195/92000 (mem: 848.52 MiB)
09:39:10 overflow : 0/0 (mem: 848.52 MiB)
09:39:10 (mem: 848.52 MiB)
09:39:10 Total structured size: 242025 (mem: 848.52 MiB)
09:39:10 allocating polynomials object in proving key... (mem: 848.52 MiB)
09:39:10 [09:39:10.778]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 848.52 MiB)
09:39:10 [09:39:10.800]
INFO:
ivc-integration:test:native bb - time to construct proving key: 87 ms. (mem: 848.52 MiB)
09:39:11 [09:39:11.020]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56717739a7c0 (mem: 848.52 MiB)
09:39:11 computing folding proof (mem: 848.52 MiB)
09:39:11 [09:39:11.021]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 848.52 MiB)
09:39:11 [09:39:11.384]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 848.52 MiB)
09:39:11 [09:39:11.459]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 848.52 MiB)
09:39:11 [09:39:11.516]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 848.85 MiB)
09:39:11 [09:39:11.783]
INFO:
ivc-integration:test:native bb - folded (mem: 848.85 MiB)
09:39:11 [09:39:11.785]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 848.85 MiB)
09:39:11 Largest circuit: 48925 gates. Trace details: (mem: 848.85 MiB)
09:39:11 Minimum required block sizes for structured trace: (mem: 848.85 MiB)
09:39:11 (mem: 848.85 MiB)
09:39:11 prove decider... (mem: 848.85 MiB)
09:39:11 [09:39:11.785]
INFO:
ivc-integration:test:native bb - ecc_op : 792
09:39:11 busread : 16
09:39:11 lookup : 2
09:39:11 pub_inputs : 36
09:39:11 arithmetic : 12208
09:39:11 delta_range : 2981
09:39:11 elliptic : 2
09:39:11 aux : 350
09:39:11 poseidon2_external : 4982
09:39:11 poseidon2_internal : 28388
09:39:11 overflow : 0
09:39:12 [09:39:12.041]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.85 MiB)
09:39:12 [09:39:12.190]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 848.85 MiB)
09:39:12 [09:39:12.969]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
09:39:12 [09:39:12.970]
INFO:
ivc-integration:test:native bb - (mem: 848.85 MiB)
09:39:13 [09:39:13.063]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 848.85 MiB)
09:39:13 finished decider proving. (mem: 848.85 MiB)
09:39:13 [09:39:13.081]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 848.85 MiB)
09:39:13 [09:39:13.180]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 848.85 MiB)
09:39:13 [09:39:13.183]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 848.85 MiB)
09:39:13 [09:39:13.265]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 848.85 MiB)
09:39:13 [09:39:13.335]
INFO:
ivc-integration:test:native bb - time to construct proving key: 156 ms. (mem: 848.85 MiB)
09:39:14 [09:39:14.142]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 848.85 MiB)
09:39:14 [09:39:14.684]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 848.85 MiB)
09:39:14 [09:39:14.843]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.85 MiB)
09:39:15 [09:39:15.992]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 848.85 MiB)
09:39:17 [09:39:17.153]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 848.85 MiB)
09:39:17 [09:39:17.183]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 848.85 MiB)
09:39:17 [09:39:17.185]
INFO:
ivc-integration:test:native bb - finished decider proving. (mem: 848.85 MiB)
09:39:17 Constructing a Goblin proof with num ultra ops = 2226 (mem: 848.85 MiB)
09:39:17 [09:39:17.435]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 848.85 MiB)
09:39:17 [09:39:17.849]
INFO:
ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 848.85 MiB)
09:39:17 [09:39:17.868]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 848.85 MiB)
09:39:19 [09:39:19.860]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.85 MiB)
09:39:22 [09:39:22.621]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 848.85 MiB)
09:39:26 [09:39:26.356]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 848.85 MiB)
09:39:26 prove translator... (mem: 848.85 MiB)
09:39:28 [09:39:28.936]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 866.57 MiB)
09:39:30 [09:39:30.362]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 866.57 MiB)
09:39:31 [09:39:31.451]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 866.57 MiB)
09:39:31 [09:39:31.452]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 866.57 MiB)
09:39:31 [09:39:31.456]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 866.57 MiB)
09:39:31 [09:39:31.471]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 866.57 MiB)
09:39:31 libra_evals_verified: 1 (mem: 866.57 MiB)
09:39:31 pairing_check_verified: 1 (mem: 866.57 MiB)
09:39:31 Mega verified: 1 (mem: 866.57 MiB)
09:39:31 [09:39:31.526]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 867.57 MiB)
09:39:31 batch opening verified?: 1 (mem: 867.57 MiB)
09:39:31 eccvm consistency check verified?: 1 (mem: 867.57 MiB)
09:39:31 translation masking consistency checked?: 1 (mem: 867.57 MiB)
09:39:31 [09:39:31.547]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 868.57 MiB)
09:39:31 eccvm verified?: 1 (mem: 868.57 MiB)
09:39:31 accumulator construction_verified?: 1 (mem: 868.57 MiB)
09:39:31 translation verified?: 1 (mem: 868.57 MiB)
09:39:31 consistency verified?: 1 (mem: 868.57 MiB)
09:39:31 Goblin verified: 1 (mem: 868.57 MiB)
09:39:31 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-R7iiCI" (mem: 868.57 MiB)
09:39:31 [09:39:31.552]
INFO:
ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-R7iiCI" (mem: 868.57 MiB)
09:39:31 BN254 commitment key size: 262144 (mem: 868.57 MiB)
09:39:31 Constructing DeciderProvingKey (mem: 868.57 MiB)
09:39:31 [09:39:31.554]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
09:39:31 [09:39:31.555]
INFO:
ivc-integration:test:native bb - (mem: 868.57 MiB)
09:39:31 goblin ecc op : 4/1024 (mem: 868.57 MiB)
09:39:31 busread : 3/6000 (mem: 868.57 MiB)
09:39:31 lookups : 2/15000 (mem: 868.57 MiB)
09:39:31 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 868.57 MiB)
09:39:31 arithmetic : 1773/56000 (mem: 868.57 MiB)
09:39:31 delta range : 1754/18000 (mem: 868.57 MiB)
09:39:31 elliptic : 2/6000 (mem: 868.57 MiB)
09:39:31 auxiliary : 26/26000 (mem: 868.57 MiB)
09:39:31 poseidon ext : 2/17000 (mem: 868.57 MiB)
09:39:31 poseidon int : 2/92000 (mem: 868.57 MiB)
09:39:31 overflow : 0/0 (mem: 868.57 MiB)
09:39:31 (mem: 868.57 MiB)
09:39:31 Total structured size: 242025 (mem: 868.57 MiB)
09:39:31 allocating polynomials object in proving key... (mem: 868.57 MiB)
09:39:31 [09:39:31.688]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 868.57 MiB)
09:39:31 [09:39:31.711]
INFO:
ivc-integration:test:native bb - time to construct proving key: 160 ms. (mem: 868.57 MiB)
09:39:31 [09:39:31.772]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 868.57 MiB)
09:39:32 [09:39:32.307]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 868.57 MiB)
09:39:32 [09:39:32.308]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 868.57 MiB)
09:39:32 [09:39:32.492]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 868.57 MiB)
09:39:32 [09:39:32.500]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 868.57 MiB)
09:39:32 [09:39:32.518]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 868.57 MiB)
09:39:32 [09:39:32.523]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
09:39:32 [09:39:32.523]
INFO:
ivc-integration:test:native bb - (mem: 868.57 MiB)
09:39:32 goblin ecc op : 56/1024 (mem: 868.57 MiB)
09:39:32 busread : 3/6000 (mem: 868.57 MiB)
09:39:32 lookups : 2/15000 (mem: 868.57 MiB)
09:39:32 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 868.57 MiB)
09:39:32 arithmetic : 4533/56000 (mem: 868.57 MiB)
09:39:32 delta range : 2060/18000 (mem: 868.57 MiB)
09:39:32 elliptic : 2/6000 (mem: 868.57 MiB)
09:39:32 auxiliary : 50/26000 (mem: 868.57 MiB)
09:39:32 poseidon ext : 1332/17000 (mem: 868.57 MiB)
09:39:32 poseidon int : 7583/92000 (mem: 868.57 MiB)
09:39:32 overflow : 0/0 (mem: 868.57 MiB)
09:39:32 (mem: 868.57 MiB)
09:39:32 Total structured size: 242025 (mem: 868.57 MiB)
09:39:32 allocating polynomials object in proving key... (mem: 868.57 MiB)
09:39:32 [09:39:32.624]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 868.57 MiB)
09:39:32 [09:39:32.642]
INFO:
ivc-integration:test:native bb - time to construct proving key: 124 ms. (mem: 868.57 MiB)
09:39:32 [09:39:32.694]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 868.57 MiB)
09:39:33 [09:39:33.152]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 868.57 MiB)
09:39:33 [09:39:33.153]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 868.57 MiB)
09:39:33 [09:39:33.474]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 868.57 MiB)
09:39:33 [09:39:33.580]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 868.57 MiB)
09:39:33 [09:39:33.625]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 900.57 MiB)
09:39:33 [09:39:33.831]
INFO:
ivc-integration:test:native bb - folded (mem: 900.57 MiB)
09:39:33 constructed folding proof (mem: 900.57 MiB)
09:39:33 Largest circuit: 15565 gates. Trace details: (mem: 900.57 MiB)
09:39:33 Minimum required block sizes for structured trace: (mem: 900.57 MiB)
09:39:33 (mem: 900.57 MiB)
09:39:33 prove decider... (mem: 900.57 MiB)
09:39:33 [09:39:33.832]
INFO:
ivc-integration:test:native bb - ecc_op : 56
09:39:33 busread : 3
09:39:33 lookup : 2
09:39:33 pub_inputs : 36
09:39:33 arithmetic : 4533
09:39:33 delta_range : 2060
09:39:33 elliptic : 2
09:39:33 aux : 50
09:39:33 poseidon2_external : 1332
09:39:33 poseidon2_internal : 7583
09:39:33 overflow : 0
09:39:33 [09:39:33.936]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 900.57 MiB)
09:39:34 [09:39:34.007]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 900.57 MiB)
09:39:34 [09:39:34.669]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 900.57 MiB)
09:39:34 [09:39:34.733]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 900.57 MiB)
09:39:34 finished decider proving. (mem: 900.57 MiB)
09:39:34 [09:39:34.748]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 900.57 MiB)
09:39:34 [09:39:34.840]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 900.57 MiB)
09:39:34 [09:39:34.846]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 900.57 MiB)
09:39:34 [09:39:34.949]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 900.57 MiB)
09:39:34 [09:39:34.994]
INFO:
ivc-integration:test:native bb - time to construct proving key: 152 ms. (mem: 900.57 MiB)
09:39:35 [09:39:35.401]
INFO:
ivc-integration:test:native BB concurrency: 1
09:39:35 [09:39:35.402]
INFO:
ivc-integration:test:native Executing BB with: /home/aztec-dev/aztec-packages/barretenberg/cpp/build/bin/bb verify --scheme client_ivc -p /tmp/bb-client-ivc-integration-R7iiCI/proof -k /tmp/bb-client-ivc-integration-R7iiCI/vk -v
09:39:35 [09:39:35.420]
INFO:
ivc-integration:test:native bb command: verify (mem: 188.39 MiB)
09:39:35 Scheme is: client_ivc, num threads: 1 (mem: 188.39 MiB)
09:39:35 --proof_path: /tmp/bb-client-ivc-integration-R7iiCI/proof (mem: 188.39 MiB)
09:39:35 --vk_path: /tmp/bb-client-ivc-integration-R7iiCI/vk (mem: 188.39 MiB)
09:39:35 --verbose: true (mem: 188.39 MiB)
09:39:35 --scheme: client_ivc (mem: 188.39 MiB)
09:39:35 [09:39:35.438]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 188.39 MiB)
09:39:35 [09:39:35.456]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 188.39 MiB)
09:39:35 [09:39:35.457]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 188.39 MiB)
09:39:35 [09:39:35.475]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 188.39 MiB)
09:39:35 [09:39:35.476]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 9 (mem: 188.39 MiB)
09:39:35 [09:39:35.477]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 188.39 MiB)
09:39:35 libra_evals_verified: 1 (mem: 188.39 MiB)
09:39:35 pairing_check_verified: 1 (mem: 188.39 MiB)
09:39:35 Mega verified: 1 (mem: 188.39 MiB)
09:39:35 [09:39:35.477]
INFO:
ivc-integration:test:native
09:39:35 [09:39:35.903]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.39 MiB)
09:39:35 batch opening verified?: 1 (mem: 188.39 MiB)
09:39:35 eccvm consistency check verified?: 1 (mem: 188.39 MiB)
09:39:35 translation masking consistency checked?: 1 (mem: 188.39 MiB)
09:39:35 [09:39:35.923]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 188.39 MiB)
09:39:35 eccvm verified?: 1 (mem: 188.39 MiB)
09:39:35 accumulator construction_verified?: 1 (mem: 188.39 MiB)
09:39:35 translation verified?: 1 (mem: 188.39 MiB)
09:39:35 consistency verified?: 1 (mem: 188.39 MiB)
09:39:35 Goblin verified: 1 (mem: 188.39 MiB)
09:39:35 [09:39:35.926]
INFO:
ivc-integration:test:native verified: 1
09:39:35 [09:39:35.929]
INFO:
ivc-integration:test:native (mem: 188.39 MiB)
09:39:35
PASS src/native_client_ivc_integration.test.ts (
75.367 s)
09:39:35 Client IVC Integration
09:39:35
✓ Should generate a verifiable client IVC proof from a simple mock tx (41307 ms)
09:39:35
✓ Should generate a verifiable client IVC proof from a complex mock tx (30522 ms)
09:39:35
09:39:35
Test Suites: 1 passed, 1 total
09:39:35
Tests: 2 passed, 2 total
09:39:35
Snapshots: 0 total
09:39:35
Time: 75.443 s
09:39:35
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
09:39:35
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?