Parent Log:
http://ci.aztec-labs.com/20110a864ac2046b
Command: ebf67495dae0c068: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/10badd24359b04680068afd9ca24407383374db1
Env: REF_NAME=gh-readonly-queue/next/pr-15019-7d223783d91db15002a09abc1b52d1455eb3e3da CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 11:02:11 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15019_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
11:02:15 [11:02:15.846]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-RjBTXU/ivc-inputs.msgpack
11:02:15 [11:02:15.853]
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-RjBTXU --ivc_inputs_path /tmp/bb-client-ivc-integration-RjBTXU/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
11:02:15 [11:02:15.875]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 156.38 MiB)
11:02:15 Scheme is: client_ivc, num threads: 128 (mem: 156.38 MiB)
11:02:15 --scheme: client_ivc (mem: 156.38 MiB)
11:02:15 --output_path: /tmp/bb-client-ivc-integration-RjBTXU (mem: 156.38 MiB)
11:02:15 --ivc_inputs_path: /tmp/bb-client-ivc-integration-RjBTXU/ivc-inputs.msgpack (mem: 156.38 MiB)
11:02:15 --verbose: true (mem: 156.38 MiB)
11:02:15 --write_vk: true (mem: 156.38 MiB)
11:02:15 [11:02:15.877]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 156.38 MiB)
11:02:15 [11:02:15.988]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 240.00 MiB)
11:02:16 [11:02:16.068]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 288.88 MiB)
11:02:16 [11:02:16.073]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 288.88 MiB)
11:02:16 Constructing DeciderProvingKey (mem: 288.88 MiB)
11:02:16 [11:02:16.078]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 288.88 MiB)
11:02:16 goblin ecc op : 4/1024 (mem: 288.88 MiB)
11:02:16 busread : 7/6000 (mem: 288.88 MiB)
11:02:16 lookups : 2/15000 (mem: 288.88 MiB)
11:02:16 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 288.88 MiB)
11:02:16 arithmetic : 1760/56000 (mem: 288.88 MiB)
11:02:16 delta range : 1754/18000 (mem: 288.88 MiB)
11:02:16 [11:02:16.079]
INFO:
ivc-integration:test:native bb -
11:02:16 elliptic : 2/6000 (mem: 288.88 MiB)
11:02:16 auxiliary : 26/26000 (mem: 288.88 MiB)
11:02:16 poseidon ext : 2/17000 (mem: 288.88 MiB)
11:02:16 poseidon int : 2/92000 (mem: 288.88 MiB)
11:02:16 overflow : 0/0 (mem: 288.88 MiB)
11:02:16 (mem: 288.88 MiB)
11:02:16 Total structured size: 242025 (mem: 288.88 MiB)
11:02:16 allocating polynomials object in proving key... (mem: 288.88 MiB)
11:02:16 [11:02:16.157]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 499.04 MiB)
11:02:16 [11:02:16.168]
INFO:
ivc-integration:test:native bb - time to construct proving key: 94 ms. (mem: 515.04 MiB)
11:02:16 [11:02:16.234]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64a6494eca40 (mem: 515.04 MiB)
11:02:16 [11:02:16.234]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 515.04 MiB)
11:02:16 [11:02:16.235]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 515.04 MiB)
11:02:16 [11:02:16.455]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 520.04 MiB)
11:02:16 [11:02:16.474]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 521.04 MiB)
11:02:16 [11:02:16.496]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 521.04 MiB)
11:02:16 Constructing DeciderProvingKey (mem: 521.04 MiB)
11:02:16 [11:02:16.505]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 521.04 MiB)
11:02:16 goblin ecc op : 56/1024 (mem: 521.04 MiB)
11:02:16 busread : 12/6000 (mem: 521.04 MiB)
11:02:16 lookups : 2/15000 (mem: 521.04 MiB)
11:02:16 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 521.04 MiB)
11:02:16 arithmetic : 4625/56000 (mem: 521.04 MiB)
11:02:16 delta range : 2054/18000 (mem: 521.04 MiB)
11:02:16 elliptic : 2/6000 (mem: 521.04 MiB)
11:02:16 auxiliary : 110/26000 (mem: 521.04 MiB)
11:02:16 poseidon ext : 1302/17000 (mem: 521.04 MiB)
11:02:16 poseidon int : 7412/92000 (mem: 521.04 MiB)
11:02:16 overflow : 0/0 (mem: 521.04 MiB)
11:02:16 (mem: 521.04 MiB)
11:02:16 Total structured size: 242025 (mem: 521.04 MiB)
11:02:16 allocating polynomials object in proving key... (mem: 521.04 MiB)
11:02:16 [11:02:16.640]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 730.04 MiB)
11:02:16 [11:02:16.673]
INFO:
ivc-integration:test:native bb - time to construct proving key: 177 ms. (mem: 745.04 MiB)
11:02:16 [11:02:16.806]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64a6494f96c0 (mem: 745.04 MiB)
11:02:16 computing folding proof (mem: 745.04 MiB)
11:02:16 vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 745.04 MiB)
11:02:17 [11:02:17.231]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 746.04 MiB)
11:02:17 [11:02:17.340]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 784.04 MiB)
11:02:17 [11:02:17.413]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 816.04 MiB)
11:02:17 [11:02:17.834]
INFO:
ivc-integration:test:native bb - folded (mem: 816.04 MiB)
11:02:17 constructed folding proof (mem: 816.04 MiB)
11:02:17 [11:02:17.849]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 816.04 MiB)
11:02:17 [11:02:17.914]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 816.04 MiB)
11:02:17 Constructing DeciderProvingKey (mem: 816.04 MiB)
11:02:17 [11:02:17.922]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.04 MiB)
11:02:17 goblin ecc op : 392/1024 (mem: 816.04 MiB)
11:02:17 busread : 3/6000 (mem: 816.04 MiB)
11:02:17 lookups : 2/15000 (mem: 816.04 MiB)
11:02:17 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 816.04 MiB)
11:02:17 arithmetic : 6849/56000 (mem: 816.04 MiB)
11:02:17 delta range : 2333/18000 (mem: 816.04 MiB)
11:02:17 elliptic : 2/6000 (mem: 816.04 MiB)
11:02:17 auxiliary : 50/26000 (mem: 816.04 MiB)
11:02:17 poseidon ext : 2472/17000 (mem: 816.04 MiB)
11:02:17 poseidon int : 14081/92000 (mem: 816.04 MiB)
11:02:17 overflow : 0/0 (mem: 816.04 MiB)
11:02:17 (mem: 816.04 MiB)
11:02:17 Total structured size: 242025 (mem: 816.04 MiB)
11:02:17 allocating polynomials object in proving key... (mem: 816.04 MiB)
11:02:18 [11:02:18.185]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 816.04 MiB)
11:02:18 [11:02:18.235]
INFO:
ivc-integration:test:native bb - time to construct proving key: 321 ms. (mem: 816.04 MiB)
11:02:18 [11:02:18.407]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64a6494ef080 (mem: 816.04 MiB)
11:02:18 computing folding proof (mem: 816.04 MiB)
11:02:18 [11:02:18.408]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 816.04 MiB)
11:02:18 [11:02:18.889]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.04 MiB)
11:02:18 [11:02:18.991]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 816.04 MiB)
11:02:19 [11:02:19.029]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 816.04 MiB)
11:02:19 [11:02:19.485]
INFO:
ivc-integration:test:native bb - folded (mem: 816.04 MiB)
11:02:19 constructed folding proof (mem: 816.04 MiB)
11:02:19 [11:02:19.486]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 816.04 MiB)
11:02:19 Minimum required block sizes for structured trace: (mem: 816.04 MiB)
11:02:19 (mem: 816.04 MiB)
11:02:19 prove decider... (mem: 816.04 MiB)
11:02:19 [11:02:19.487]
INFO:
ivc-integration:test:native bb - ecc_op : 392
11:02:19 busread : 12
11:02:19 lookup : 2
11:02:19 pub_inputs : 36
11:02:19 arithmetic : 6849
11:02:19 delta_range : 2333
11:02:19 elliptic : 2
11:02:19 aux : 110
11:02:19 poseidon2_external : 2472
11:02:19 poseidon2_internal : 14081
11:02:19 overflow : 0
11:02:19 [11:02:19.737]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 816.04 MiB)
11:02:19 [11:02:19.943]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 816.04 MiB)
11:02:21 [11:02:21.110]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
11:02:21 [11:02:21.112]
INFO:
ivc-integration:test:native bb - (mem: 816.04 MiB)
11:02:21 [11:02:21.194]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 816.04 MiB)
11:02:21 finished decider proving. (mem: 816.04 MiB)
11:02:21 [11:02:21.210]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 816.04 MiB)
11:02:21 [11:02:21.373]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 816.04 MiB)
11:02:21 [11:02:21.378]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key...
11:02:21 [11:02:21.379]
INFO:
ivc-integration:test:native bb - (mem:
11:02:21 [11:02:21.379]
INFO:
ivc-integration:test:native bb - 816.04
11:02:21 [11:02:21.381]
INFO:
ivc-integration:test:native bb - MiB)
11:02:21 [11:02:21.550]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 816.04 MiB)
11:02:21 [11:02:21.655]
INFO:
ivc-integration:test:native bb - time to construct proving key: 281 ms. (mem: 816.04 MiB)
11:02:22 [11:02:22.931]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 816.04 MiB)
11:02:23 [11:02:23.628]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 816.04 MiB)
11:02:23 [11:02:23.995]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 816.04 MiB)
11:02:25 [11:02:25.728]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 816.04 MiB)
11:02:26 [11:02:26.743]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 816.04 MiB)
11:02:26 [11:02:26.786]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 816.04 MiB)
11:02:26 [11:02:26.788]
INFO:
ivc-integration:test:native bb - finished decider proving. (mem: 816.04 MiB)
11:02:26 Constructing a Goblin proof with num ultra ops = 1038 (mem: 816.04 MiB)
11:02:26 [11:02:26.965]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 816.04 MiB)
11:02:27 [11:02:27.579]
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: 816.04 MiB)
11:02:27 [11:02:27.617]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 816.04 MiB)
11:02:29 [11:02:29.763]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 816.04 MiB)
11:02:31 [11:02:31.865]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 816.04 MiB)
11:02:37 [11:02:37.338]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 816.04 MiB)
11:02:37 prove translator... (mem: 816.04 MiB)
11:02:40 [11:02:40.281]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.15 MiB)
11:02:42 [11:02:42.860]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 847.15 MiB)
11:02:46 [11:02:46.182]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 847.15 MiB)
11:02:46 [11:02:46.185]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 847.15 MiB)
11:02:46 [11:02:46.193]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 847.15 MiB)
11:02:46 [11:02:46.211]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 847.15 MiB)
11:02:46 libra_evals_verified: 1 (mem: 847.15 MiB)
11:02:46 pairing_check_verified: 1 (mem: 847.15 MiB)
11:02:46 Mega verified: 1 (mem: 847.15 MiB)
11:02:46 [11:02:46.312]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 847.15 MiB)
11:02:46 batch opening verified?: 1 (mem: 847.15 MiB)
11:02:46 eccvm consistency check verified?: 1 (mem: 847.15 MiB)
11:02:46 translation masking consistency checked?: 1 (mem: 847.15 MiB)
11:02:46 [11:02:46.332]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 847.15 MiB)
11:02:46 eccvm verified?: 1 (mem: 847.15 MiB)
11:02:46 accumulator construction_verified?: 1 (mem: 847.15 MiB)
11:02:46 translation verified?: 1 (mem: 847.15 MiB)
11:02:46 consistency verified?: 1 (mem: 847.15 MiB)
11:02:46 Goblin verified: 1 (mem: 847.15 MiB)
11:02:46 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-RjBTXU" (mem: 847.15 MiB)
11:02:46 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-RjBTXU" (mem: 847.15 MiB)
11:02:46 BN254 commitment key size: 262144 (mem: 847.15 MiB)
11:02:46 [11:02:46.337]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.15 MiB)
11:02:46 [11:02:46.337]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
11:02:46 [11:02:46.338]
INFO:
ivc-integration:test:native bb - (mem:
11:02:46 [11:02:46.338]
INFO:
ivc-integration:test:native bb - 847.15
11:02:46 [11:02:46.338]
INFO:
ivc-integration:test:native bb - MiB)
11:02:46 [11:02:46.339]
INFO:
ivc-integration:test:native bb -
11:02:46 [11:02:46.340]
INFO:
ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 847.15 MiB)
11:02:46 busread : 3/6000 (mem: 847.15 MiB)
11:02:46 lookups : 2/15000 (mem: 847.15 MiB)
11:02:46 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 847.15 MiB)
11:02:46 arithmetic : 1773/56000 (mem: 847.15 MiB)
11:02:46 delta range : 1754/18000 (mem: 847.15 MiB)
11:02:46 elliptic : 2/6000 (mem: 847.15 MiB)
11:02:46 auxiliary : 26/26000 (mem: 847.15 MiB)
11:02:46 poseidon ext : 2/17000 (mem: 847.15 MiB)
11:02:46 poseidon int : 2/92000 (mem: 847.15 MiB)
11:02:46 overflow : 0/0 (mem: 847.15 MiB)
11:02:46 (mem: 847.15 MiB)
11:02:46 Total structured size: 242025 (mem: 847.15 MiB)
11:02:46 allocating polynomials object in proving key... (mem: 847.15 MiB)
11:02:46 [11:02:46.570]
INFO:
ivc-integration:test:native bb - populating trace... (mem:
11:02:46 [11:02:46.571]
INFO:
ivc-integration:test:native bb - 847.15 MiB)
11:02:46 [11:02:46.591]
INFO:
ivc-integration:test:native bb - time to construct proving key: 256 ms. (mem:
11:02:46 [11:02:46.592]
INFO:
ivc-integration:test:native bb - 847.15 MiB)
11:02:46 [11:02:46.679]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 847.15 MiB)
11:02:47 [11:02:47.546]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 847.15 MiB)
11:02:47 [11:02:47.549]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 847.15 MiB)
11:02:48 [11:02:48.139]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 847.15 MiB)
11:02:48 [11:02:48.152]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 847.15 MiB)
11:02:48 [11:02:48.170]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.15 MiB)
11:02:48 [11:02:48.174]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
11:02:48 [11:02:48.176]
INFO:
ivc-integration:test:native bb - (mem: 847.15 MiB)
11:02:48 goblin ecc op : 56/1024 (mem: 847.15 MiB)
11:02:48 busread : 3/6000 (mem: 847.15 MiB)
11:02:48 lookups : 2/15000 (mem: 847.15 MiB)
11:02:48 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.15 MiB)
11:02:48 arithmetic : 4481/56000 (mem: 847.15 MiB)
11:02:48 delta range : 2041/18000 (mem: 847.15 MiB)
11:02:48 elliptic : 2/6000 (mem: 847.15 MiB)
11:02:48 auxiliary : 50/26000 (mem: 847.15 MiB)
11:02:48 poseidon ext : 1312/17000 (mem: 847.15 MiB)
11:02:48 poseidon int : 7469/92000 (mem: 847.15 MiB)
11:02:48 overflow : 0/0 (mem: 847.15 MiB)
11:02:48 (mem: 847.15 MiB)
11:02:48 Total structured size: 242025 (mem: 847.15 MiB)
11:02:48 allocating polynomials object in proving key... (mem: 847.15 MiB)
11:02:48 [11:02:48.496]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 847.15 MiB)
11:02:48 [11:02:48.542]
INFO:
ivc-integration:test:native bb - time to construct proving key: 370 ms. (mem: 847.15 MiB)
11:02:48 [11:02:48.800]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 847.15 MiB)
11:02:49 [11:02:49.840]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 847.15 MiB)
11:02:49 vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 847.15 MiB)
11:02:50 [11:02:50.892]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.15 MiB)
11:02:51 [11:02:51.076]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 848.15 MiB)
11:02:51 [11:02:51.207]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 881.15 MiB)
11:02:51 [11:02:51.863]
INFO:
ivc-integration:test:native bb - folded
11:02:51 [11:02:51.875]
INFO:
ivc-integration:test:native bb - (mem: 881.15 MiB)
11:02:51 constructed folding proof (mem: 881.15 MiB)
11:02:51 Largest circuit: 15360 gates. Trace details: (mem: 881.15 MiB)
11:02:51 Minimum required block sizes for structured trace: (mem: 881.15 MiB)
11:02:51 (mem: 881.15 MiB)
11:02:51 prove decider... (mem: 881.15 MiB)
11:02:51 [11:02:51.877]
INFO:
ivc-integration:test:native bb - ecc_op : 56
11:02:51 busread : 3
11:02:51 lookup : 2
11:02:51 pub_inputs : 36
11:02:51 arithmetic : 4481
11:02:51 delta_range : 2041
11:02:51 elliptic : 2
11:02:51 aux : 50
11:02:51 poseidon2_external : 1312
11:02:51 poseidon2_internal : 7469
11:02:51 overflow : 0
11:02:52 [11:02:52.087]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 881.15 MiB)
11:02:52 [11:02:52.327]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 881.15 MiB)
11:02:53 [11:02:53.663]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 881.15 MiB)
11:02:53 [11:02:53.753]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 881.15 MiB)
11:02:53 finished decider proving. (mem: 881.15 MiB)
11:02:53 [11:02:53.774]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 881.15 MiB)
11:02:53 [11:02:53.934]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 881.15 MiB)
11:02:53 [11:02:53.942]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 881.15 MiB)
11:02:54 [11:02:54.175]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 881.15 MiB)
11:02:54 [11:02:54.273]
INFO:
ivc-integration:test:native bb - time to construct proving key: 339 ms. (mem: 881.15 MiB)
11:02:54 [11:02:54.948]
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-RjBTXU/proof -k /tmp/bb-client-ivc-integration-RjBTXU/vk -v
11:02:54 [11:02:54.964]
INFO:
ivc-integration:test:native bb command: verify (mem: 156.38 MiB)
11:02:54 Scheme is: client_ivc, num threads: 128 (mem: 156.38 MiB)
11:02:54 --proof_path: /tmp/bb-client-ivc-integration-RjBTXU/proof (mem: 156.38 MiB)
11:02:54 --vk_path: /tmp/bb-client-ivc-integration-RjBTXU/vk (mem: 156.38 MiB)
11:02:54 --verbose: true (mem: 156.38 MiB)
11:02:54 --scheme: client_ivc (mem: 156.38 MiB)
11:02:55 [11:02:55.057]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 156.38 MiB)
11:02:55 [11:02:55.079]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561
11:02:55 [11:02:55.080]
INFO:
ivc-integration:test:native (mem: 161.70 MiB)
11:02:55 [11:02:55.081]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 161.70 MiB)
11:02:55 [11:02:55.106]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 161.70 MiB)
11:02:55 Initialized BN254 CRS from memory with num points = 1025 (mem: 161.70 MiB)
11:02:55 sumcheck_verified: 1 (mem: 161.70 MiB)
11:02:55 libra_evals_verified: 1 (mem: 161.70 MiB)
11:02:55 pairing_check_verified: 1 (mem: 161.70 MiB)
11:02:55 Mega verified: 1 (mem: 161.70 MiB)
11:02:55 [11:02:55.186]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 178.83 MiB)
11:02:55 batch opening verified?: 1 (mem: 178.83 MiB)
11:02:55 eccvm consistency check verified?: 1 (mem: 178.83 MiB)
11:02:55 translation masking consistency checked?: 1 (mem: 178.83 MiB)
11:02:55 [11:02:55.217]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 178.83 MiB)
11:02:55 eccvm verified?: 1 (mem: 178.83 MiB)
11:02:55 accumulator construction_verified?: 1 (mem: 178.83 MiB)
11:02:55 translation verified?: 1 (mem: 178.83 MiB)
11:02:55 consistency verified?: 1 (mem: 178.83 MiB)
11:02:55 Goblin verified: 1 (mem: 178.83 MiB)
11:02:55 [11:02:55.227]
INFO:
ivc-integration:test:native verified: 1 (mem: 178.83 MiB)
11:02:55 [11:02:55.374]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-BduHbF/ivc-inputs.msgpack
11:02:55 [11:02:55.375]
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-BduHbF --ivc_inputs_path /tmp/bb-client-ivc-integration-BduHbF/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
11:02:55 [11:02:55.406]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 156.57 MiB)
11:02:55 Scheme is: client_ivc, num threads: 128 (mem: 156.57 MiB)
11:02:55 --scheme: client_ivc (mem: 156.57 MiB)
11:02:55 --output_path: /tmp/bb-client-ivc-integration-BduHbF (mem: 156.57 MiB)
11:02:55 --ivc_inputs_path: /tmp/bb-client-ivc-integration-BduHbF/ivc-inputs.msgpack (mem: 156.57 MiB)
11:02:55 --verbose: true (mem: 156.57 MiB)
11:02:55 --write_vk: true (mem: 156.57 MiB)
11:02:55 [11:02:55.408]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 156.57 MiB)
11:02:55 [11:02:55.597]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 273.00 MiB)
11:02:55 [11:02:55.712]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 320.73 MiB)
11:02:55 [11:02:55.720]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 320.73 MiB)
11:02:55 Constructing DeciderProvingKey (mem: 320.73 MiB)
11:02:55 [11:02:55.733]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 320.73 MiB)
11:02:55 goblin ecc op : 4/1024 (mem: 320.73 MiB)
11:02:55 busread : 7/6000 (mem: 320.73 MiB)
11:02:55 lookups : 2/15000 (mem: 320.73 MiB)
11:02:55 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 320.73 MiB)
11:02:55 arithmetic : 1760/56000 (mem: 320.73 MiB)
11:02:55 delta range : 1754/18000 (mem: 320.73 MiB)
11:02:55 elliptic : 2/6000 (mem: 320.73 MiB)
11:02:55 auxiliary : 26/26000 (mem: 320.73 MiB)
11:02:55 poseidon ext : 2/17000 (mem: 320.73 MiB)
11:02:55 poseidon int : 2/92000 (mem: 320.73 MiB)
11:02:55 overflow : 0/0 (mem: 320.73 MiB)
11:02:55 (mem: 320.73 MiB)
11:02:55 Total structured size: 242025 (mem: 320.73 MiB)
11:02:55 allocating polynomials object in proving key... (mem: 320.73 MiB)
11:02:55 [11:02:55.950]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 512.32 MiB)
11:02:55 [11:02:55.984]
INFO:
ivc-integration:test:native bb - time to construct proving key: 263 ms. (mem: 525.32 MiB)
11:02:56 [11:02:56.045]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e98d18ae880 (mem: 525.32 MiB)
11:02:56 computing oink proof... (mem: 525.32 MiB)
11:02:56 [11:02:56.046]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 525.32 MiB)
11:02:56 [11:02:56.385]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 535.32 MiB)
11:02:56 [11:02:56.394]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 536.32 MiB)
11:02:56 [11:02:56.417]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 536.32 MiB)
11:02:56 Constructing DeciderProvingKey (mem: 536.32 MiB)
11:02:56 [11:02:56.423]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 536.32 MiB)
11:02:56 goblin ecc op : 56/1024 (mem: 536.32 MiB)
11:02:56 busread : 12/6000 (mem: 536.32 MiB)
11:02:56 lookups : 2/15000 (mem: 536.32 MiB)
11:02:56 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 536.32 MiB)
11:02:56 arithmetic : 4625/56000 (mem: 536.32 MiB)
11:02:56 delta range : 2054/18000 (mem: 536.32 MiB)
11:02:56 elliptic : 2/6000 (mem: 536.32 MiB)
11:02:56 auxiliary : 110/26000 (mem: 536.32 MiB)
11:02:56 poseidon ext : 1302/17000 (mem: 536.32 MiB)
11:02:56 poseidon int : 7412/92000 (mem: 536.32 MiB)
11:02:56 overflow : 0/0 (mem: 536.32 MiB)
11:02:56 (mem: 536.32 MiB)
11:02:56 Total structured size: 242025 (mem: 536.32 MiB)
11:02:56 allocating polynomials object in proving key... (mem: 536.32 MiB)
11:02:56 [11:02:56.687]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 740.32 MiB)
11:02:56 [11:02:56.734]
INFO:
ivc-integration:test:native bb - time to construct proving key: 316 ms. (mem: 753.32 MiB)
11:02:56 [11:02:56.839]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e98d18b7b00 (mem: 753.32 MiB)
11:02:56 computing folding proof (mem: 753.32 MiB)
11:02:56 vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 753.32 MiB)
11:02:57 [11:02:57.442]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 753.32 MiB)
11:02:57 [11:02:57.607]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 791.32 MiB)
11:02:57 [11:02:57.675]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 823.32 MiB)
11:02:58 [11:02:58.007]
INFO:
ivc-integration:test:native bb - folded
11:02:58 [11:02:58.009]
INFO:
ivc-integration:test:native bb - (mem: 823.32 MiB)
11:02:58 constructed folding proof (mem: 823.32 MiB)
11:02:58 [11:02:58.014]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2
11:02:58 [11:02:58.014]
INFO:
ivc-integration:test:native bb - (mem:
11:02:58 [11:02:58.015]
INFO:
ivc-integration:test:native bb - 823.32
11:02:58 [11:02:58.016]
INFO:
ivc-integration:test:native bb - MiB)
11:02:58 Constructing DeciderProvingKey (mem: 823.32 MiB)
11:02:58 [11:02:58.019]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 823.32 MiB)
11:02:58 goblin ecc op : 4/1024 (mem: 823.32 MiB)
11:02:58 busread : 7/6000 (mem: 823.32 MiB)
11:02:58 [11:02:58.020]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 823.32 MiB)
11:02:58 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 823.32 MiB)
11:02:58 arithmetic : 1760/56000 (mem: 823.32 MiB)
11:02:58 delta range : 1754/18000 (mem: 823.32 MiB)
11:02:58 elliptic : 2/6000 (mem: 823.32 MiB)
11:02:58 auxiliary : 26/26000 (mem: 823.32 MiB)
11:02:58 poseidon ext : 2/17000 (mem: 823.32 MiB)
11:02:58 poseidon int : 2/92000 (mem: 823.32 MiB)
11:02:58 overflow : 0/0 (mem: 823.32 MiB)
11:02:58 (mem: 823.32 MiB)
11:02:58 Total structured size: 242025 (mem: 823.32 MiB)
11:02:58 allocating polynomials object in proving key... (mem: 823.32 MiB)
11:02:58 [11:02:58.181]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 823.32 MiB)
11:02:58 [11:02:58.205]
INFO:
ivc-integration:test:native bb - time to construct proving key: 186 ms. (mem: 823.32 MiB)
11:02:58 [11:02:58.295]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e98d18af0c0 (mem: 823.32 MiB)
11:02:58 computing folding proof (mem: 823.32 MiB)
11:02:58 [11:02:58.296]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 823.32 MiB)
11:02:58 [11:02:58.552]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 823.32 MiB)
11:02:58 [11:02:58.633]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 823.32 MiB)
11:02:58 [11:02:58.703]
INFO:
ivc-integration:test:native bb - combiner quotient round
11:02:58 [11:02:58.705]
INFO:
ivc-integration:test:native bb - (mem: 823.83 MiB)
11:02:59 [11:02:59.128]
INFO:
ivc-integration:test:native bb - folded (mem: 823.83 MiB)
11:02:59 constructed folding proof (mem: 823.83 MiB)
11:02:59 [11:02:59.139]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 823.83 MiB)
11:02:59 [11:02:59.199]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 823.83 MiB)
11:02:59 [11:02:59.258]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 823.83 MiB)
11:02:59 Constructing DeciderProvingKey (mem: 823.83 MiB)
11:02:59 [11:02:59.261]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 823.83 MiB)
11:02:59 goblin ecc op : 792/1024 (mem: 823.83 MiB)
11:02:59 busread : 12/6000 (mem: 823.83 MiB)
11:02:59 lookups : 2/15000 (mem: 823.83 MiB)
11:02:59 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 823.83 MiB)
11:02:59 arithmetic : 12080/56000 (mem: 823.83 MiB)
11:02:59 delta range : 2942/18000 (mem: 823.83 MiB)
11:02:59 elliptic : 2/6000 (mem: 823.83 MiB)
11:02:59 auxiliary : 350/26000 (mem: 823.83 MiB)
11:02:59 poseidon ext : 4942/17000 (mem: 823.83 MiB)
11:02:59 [11:02:59.264]
INFO:
ivc-integration:test:native bb - poseidon int : 28160/92000 (mem: 823.83 MiB)
11:02:59 overflow : 0/0 (mem: 823.83 MiB)
11:02:59 (mem: 823.83 MiB)
11:02:59 Total structured size: 242025 (mem: 823.83 MiB)
11:02:59 allocating polynomials object in proving key... (mem: 823.83 MiB)
11:02:59 [11:02:59.381]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 823.83 MiB)
11:02:59 [11:02:59.435]
INFO:
ivc-integration:test:native bb - time to construct proving key: 177 ms. (mem: 823.83 MiB)
11:02:59 [11:02:59.564]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e98d18a8b40 (mem: 823.83 MiB)
11:02:59 computing folding proof (mem: 823.83 MiB)
11:02:59 [11:02:59.564]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 823.83 MiB)
11:02:59 [11:02:59.950]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 823.83 MiB)
11:03:00 [11:03:00.070]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 823.83 MiB)
11:03:00 [11:03:00.141]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 853.22 MiB)
11:03:00 [11:03:00.570]
INFO:
ivc-integration:test:native bb - folded (mem: 853.22 MiB)
11:03:00 constructed folding proof (mem: 853.22 MiB)
11:03:00 [11:03:00.580]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 853.22 MiB)
11:03:00 [11:03:00.664]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 853.22 MiB)
11:03:00 Constructing DeciderProvingKey (mem: 853.22 MiB)
11:03:00 [11:03:00.669]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 853.22 MiB)
11:03:00 goblin ecc op : 392/1024 (mem: 853.22 MiB)
11:03:00 busread : 16/6000 (mem: 853.22 MiB)
11:03:00 lookups : 2/15000 (mem: 853.22 MiB)
11:03:00 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 853.22 MiB)
11:03:00 arithmetic : 6914/56000 (mem: 853.22 MiB)
11:03:00 delta range : 2347/18000 (mem: 853.22 MiB)
11:03:00 elliptic : 2/6000 (mem: 853.22 MiB)
11:03:00 auxiliary : 77/26000 (mem: 853.22 MiB)
11:03:00 poseidon ext : 2472/17000 (mem: 853.22 MiB)
11:03:00 poseidon int : 14081/92000 (mem: 853.22 MiB)
11:03:00 overflow : 0/0 (mem: 853.22 MiB)
11:03:00 (mem: 853.22 MiB)
11:03:00 Total structured size: 242025 (mem: 853.22 MiB)
11:03:00 allocating polynomials object in proving key... (mem: 853.22 MiB)
11:03:00 [11:03:00.774]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 853.22 MiB)
11:03:00 [11:03:00.810]
INFO:
ivc-integration:test:native bb - time to construct proving key: 147 ms. (mem: 853.22 MiB)
11:03:01 [11:03:01.094]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e98d192ba00 (mem: 853.22 MiB)
11:03:01 computing folding proof (mem: 853.22 MiB)
11:03:01 [11:03:01.095]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 853.22 MiB)
11:03:01 [11:03:01.755]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 853.22 MiB)
11:03:01 [11:03:01.944]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 853.22 MiB)
11:03:02 [11:03:02.025]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 853.22 MiB)
11:03:02 [11:03:02.523]
INFO:
ivc-integration:test:native bb - folded (mem: 853.22 MiB)
11:03:02 constructed folding proof (mem: 853.22 MiB)
11:03:02 [11:03:02.531]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem:
11:03:02 [11:03:02.532]
INFO:
ivc-integration:test:native bb - 853.22 MiB)
11:03:02 [11:03:02.608]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 853.22 MiB)
11:03:02 Constructing DeciderProvingKey (mem: 853.22 MiB)
11:03:02 Gate blocks summary: (actual gates / fixed capacity) (mem: 853.22 MiB)
11:03:02 goblin ecc op : 392/1024 (mem: 853.22 MiB)
11:03:02 busread : 3/6000 (mem: 853.22 MiB)
11:03:02 lookups : 2/15000 (mem: 853.22 MiB)
11:03:02 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 853.22 MiB)
11:03:02 arithmetic : 6849/56000 (mem: 853.22 MiB)
11:03:02 delta range : 2333/18000 (mem: 853.22 MiB)
11:03:02 elliptic : 2/6000 (mem: 853.22 MiB)
11:03:02 auxiliary : 50/26000 (mem: 853.22 MiB)
11:03:02 poseidon ext : 2472/17000 (mem: 853.22 MiB)
11:03:02 poseidon int : 14081/92000 (mem: 853.22 MiB)
11:03:02 overflow : 0/0 (mem: 853.22 MiB)
11:03:02 (mem: 853.22 MiB)
11:03:02 Total structured size: 242025 (mem: 853.22 MiB)
11:03:02 allocating polynomials object in proving key... (mem: 853.22 MiB)
11:03:02 [11:03:02.746]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 853.22 MiB)
11:03:02 [11:03:02.771]
INFO:
ivc-integration:test:native bb - time to construct proving key: 166 ms. (mem: 853.22 MiB)
11:03:02 [11:03:02.956]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5e98d18c2300 (mem: 853.22 MiB)
11:03:02 computing folding proof (mem: 853.22 MiB)
11:03:02 [11:03:02.957]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 853.22 MiB)
11:03:03 [11:03:03.301]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 853.22 MiB)
11:03:03 [11:03:03.418]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 853.22 MiB)
11:03:03 [11:03:03.472]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 853.79 MiB)
11:03:03 [11:03:03.666]
INFO:
ivc-integration:test:native bb - folded (mem: 853.79 MiB)
11:03:03 constructed folding proof (mem: 853.79 MiB)
11:03:03 [11:03:03.667]
INFO:
ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 853.79 MiB)
11:03:03 Minimum required block sizes for structured trace: (mem: 853.79 MiB)
11:03:03 (mem: 853.79 MiB)
11:03:03 prove decider... (mem: 853.79 MiB)
11:03:03 [11:03:03.672]
INFO:
ivc-integration:test:native bb - ecc_op : 792
11:03:03 busread : 16
11:03:03 lookup : 2
11:03:03 pub_inputs : 36
11:03:03 arithmetic : 12080
11:03:03 delta_range : 2942
11:03:03 elliptic : 2
11:03:03 aux : 350
11:03:03 poseidon2_external : 4942
11:03:03 poseidon2_internal : 28160
11:03:03 overflow : 0
11:03:03 [11:03:03.783]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 853.79 MiB)
11:03:03 [11:03:03.900]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 853.79 MiB)
11:03:04 [11:03:04.876]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 853.79 MiB)
11:03:04 [11:03:04.933]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 853.79 MiB)
11:03:04 finished decider proving. (mem: 853.79 MiB)
11:03:04 [11:03:04.949]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 853.79 MiB)
11:03:05 [11:03:05.024]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 853.79 MiB)
11:03:05 [11:03:05.029]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 853.79 MiB)
11:03:05 [11:03:05.082]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 853.79 MiB)
11:03:05 [11:03:05.110]
INFO:
ivc-integration:test:native bb - time to construct proving key: 85 ms. (mem: 853.79 MiB)
11:03:05 [11:03:05.825]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 853.79 MiB)
11:03:06 [11:03:06.377]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 853.79 MiB)
11:03:06 [11:03:06.545]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 853.79 MiB)
11:03:07 [11:03:07.313]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 853.79 MiB)
11:03:07 [11:03:07.827]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 853.79 MiB)
11:03:07 [11:03:07.846]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 853.79 MiB)
11:03:07 finished decider proving. (mem: 853.79 MiB)
11:03:07 [11:03:07.847]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 853.79 MiB)
11:03:07 [11:03:07.931]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 853.79 MiB)
11:03:08 [11:03:08.250]
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: 853.79 MiB)
11:03:08 [11:03:08.270]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 853.79 MiB)
11:03:09 [11:03:09.620]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
11:03:09 [11:03:09.621]
INFO:
ivc-integration:test:native bb - (mem: 853.79 MiB)
11:03:11 [11:03:11.153]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 853.79 MiB)
11:03:14 [11:03:14.131]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 853.79 MiB)
11:03:14 prove translator... (mem: 853.79 MiB)
11:03:17 [11:03:17.352]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 872.00 MiB)
11:03:20 [11:03:20.056]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 872.00 MiB)
11:03:22 [11:03:22.574]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 872.00 MiB)
11:03:22 finished translator proving. (mem: 872.00 MiB)
11:03:22 [11:03:22.578]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93
11:03:22 [11:03:22.579]
INFO:
ivc-integration:test:native bb - (mem: 872.00 MiB)
11:03:22 [11:03:22.613]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1
11:03:22 [11:03:22.614]
INFO:
ivc-integration:test:native bb - (mem: 872.00 MiB)
11:03:22 libra_evals_verified: 1 (mem: 872.00 MiB)
11:03:22 pairing_check_verified: 1 (mem: 872.00 MiB)
11:03:22 Mega verified: 1 (mem: 872.00 MiB)
11:03:22 [11:03:22.698]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 872.00 MiB)
11:03:22 batch opening verified?: 1 (mem: 872.00 MiB)
11:03:22 eccvm consistency check verified?: 1 (mem: 872.00 MiB)
11:03:22 translation masking consistency checked?: 1 (mem: 872.00 MiB)
11:03:22 [11:03:22.713]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 872.00 MiB)
11:03:22 eccvm verified?: 1 (mem: 872.00 MiB)
11:03:22 accumulator construction_verified?: 1 (mem: 872.00 MiB)
11:03:22 translation verified?: 1 (mem: 872.00 MiB)
11:03:22 consistency verified?: 1 (mem: 872.00 MiB)
11:03:22 Goblin verified: 1 (mem: 872.00 MiB)
11:03:22 [11:03:22.714]
INFO:
ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-BduHbF" (mem: 872.00 MiB)
11:03:22 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-BduHbF" (mem: 872.00 MiB)
11:03:22 BN254 commitment key size: 262144 (mem: 872.00 MiB)
11:03:22 [11:03:22.717]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.00 MiB)
11:03:22 [11:03:22.721]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 872.00 MiB)
11:03:22 goblin ecc op : 4/1024 (mem: 872.00 MiB)
11:03:22 busread : 3/6000 (mem: 872.00 MiB)
11:03:22 lookups : 2/15000 (mem: 872.00 MiB)
11:03:22 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 872.00 MiB)
11:03:22 arithmetic : 1773/56000 (mem: 872.00 MiB)
11:03:22 delta range : 1754/18000 (mem: 872.00 MiB)
11:03:22 elliptic : 2/6000 (mem: 872.00 MiB)
11:03:22 auxiliary : 26/26000 (mem: 872.00 MiB)
11:03:22 poseidon ext : 2/17000 (mem: 872.00 MiB)
11:03:22 poseidon int : 2/92000 (mem: 872.00 MiB)
11:03:22 overflow : 0/0 (mem: 872.00 MiB)
11:03:22 (mem: 872.00 MiB)
11:03:22 Total structured size: 242025 (mem: 872.00 MiB)
11:03:22 allocating polynomials object in proving key... (mem: 872.00 MiB)
11:03:23 [11:03:23.135]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 872.00 MiB)
11:03:23 [11:03:23.151]
INFO:
ivc-integration:test:native bb - time to construct proving key: 432 ms. (mem: 872.00 MiB)
11:03:23 [11:03:23.212]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.00 MiB)
11:03:23 [11:03:23.603]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 872.00 MiB)
11:03:23 [11:03:23.604]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.00 MiB)
11:03:23 [11:03:23.723]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 872.00 MiB)
11:03:23 [11:03:23.732]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.00 MiB)
11:03:23 [11:03:23.748]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.00 MiB)
11:03:23 [11:03:23.751]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 872.00 MiB)
11:03:23 goblin ecc op : 56/1024 (mem: 872.00 MiB)
11:03:23 busread : 3/6000 (mem: 872.00 MiB)
11:03:23 lookups : 2/15000 (mem: 872.00 MiB)
11:03:23 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 872.00 MiB)
11:03:23 arithmetic : 4481/56000 (mem: 872.00 MiB)
11:03:23 delta range : 2041/18000 (mem: 872.00 MiB)
11:03:23 elliptic : 2/6000 (mem: 872.00 MiB)
11:03:23 auxiliary : 50/26000 (mem: 872.00 MiB)
11:03:23 poseidon ext : 1312/17000 (mem: 872.00 MiB)
11:03:23 poseidon int : 7469/92000 (mem: 872.00 MiB)
11:03:23 overflow : 0/0 (mem: 872.00 MiB)
11:03:23 (mem: 872.00 MiB)
11:03:23 Total structured size: 242025 (mem: 872.00 MiB)
11:03:23 allocating polynomials object in proving key... (mem: 872.00 MiB)
11:03:23 [11:03:23.850]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 872.00 MiB)
11:03:23 [11:03:23.869]
INFO:
ivc-integration:test:native bb - time to construct proving key: 121 ms. (mem: 872.00 MiB)
11:03:23 [11:03:23.933]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.00 MiB)
11:03:24 [11:03:24.312]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 872.00 MiB)
11:03:24 [11:03:24.313]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 872.00 MiB)
11:03:24 [11:03:24.543]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 872.00 MiB)
11:03:24 [11:03:24.629]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 872.00 MiB)
11:03:24 [11:03:24.670]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 904.00 MiB)
11:03:24 [11:03:24.819]
INFO:
ivc-integration:test:native bb - folded (mem: 904.00 MiB)
11:03:24 constructed folding proof (mem: 904.00 MiB)
11:03:24 [11:03:24.820]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 904.00 MiB)
11:03:24 Minimum required block sizes for structured trace: (mem: 904.00 MiB)
11:03:24 (mem: 904.00 MiB)
11:03:24 prove decider... (mem: 904.00 MiB)
11:03:24 [11:03:24.821]
INFO:
ivc-integration:test:native bb - ecc_op : 56
11:03:24 busread : 3
11:03:24 lookup : 2
11:03:24 pub_inputs : 36
11:03:24 arithmetic : 4481
11:03:24 delta_range : 2041
11:03:24 elliptic : 2
11:03:24 aux : 50
11:03:24 poseidon2_external : 1312
11:03:24 poseidon2_internal : 7469
11:03:24 overflow : 0
11:03:24 [11:03:24.987]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 904.00 MiB)
11:03:25 [11:03:25.230]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 904.00 MiB)
11:03:25 [11:03:25.856]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 904.00 MiB)
11:03:25 [11:03:25.905]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 904.00 MiB)
11:03:25 finished decider proving. (mem: 904.00 MiB)
11:03:25 [11:03:25.918]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 904.00 MiB)
11:03:26 [11:03:26.013]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 904.00 MiB)
11:03:26 [11:03:26.019]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 904.00 MiB)
11:03:26 [11:03:26.122]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 904.00 MiB)
11:03:26 [11:03:26.178]
INFO:
ivc-integration:test:native bb - time to construct proving key: 164 ms. (mem: 904.00 MiB)
11:03:26 [11:03:26.810]
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-BduHbF/proof -k /tmp/bb-client-ivc-integration-BduHbF/vk -v
11:03:26 [11:03:26.828]
INFO:
ivc-integration:test:native bb command: verify (mem: 160.59 MiB)
11:03:26 Scheme is: client_ivc, num threads: 128 (mem: 160.59 MiB)
11:03:26 --proof_path: /tmp/bb-client-ivc-integration-BduHbF/proof (mem: 160.59 MiB)
11:03:26 --vk_path: /tmp/bb-client-ivc-integration-BduHbF/vk (mem: 160.59 MiB)
11:03:26 --verbose: true (mem: 160.59 MiB)
11:03:26 --scheme: client_ivc (mem: 160.59 MiB)
11:03:26 [11:03:26.920]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 160.59 MiB)
11:03:26 [11:03:26.943]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 160.59 MiB)
11:03:26 [11:03:26.944]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 160.59 MiB)
11:03:26 [11:03:26.962]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 160.59 MiB)
11:03:26 [11:03:26.963]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 160.59 MiB)
11:03:26 [11:03:26.963]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 160.59 MiB)
11:03:26 libra_evals_verified: 1 (mem: 160.59 MiB)
11:03:26 pairing_check_verified: 1 (mem: 160.59 MiB)
11:03:26 Mega verified: 1 (mem: 160.59 MiB)
11:03:27 [11:03:27.025]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 172.16 MiB)
11:03:27 batch opening verified?: 1 (mem: 172.16 MiB)
11:03:27 eccvm consistency check verified?: 1 (mem: 172.16 MiB)
11:03:27 translation masking consistency checked?: 1 (mem: 172.16 MiB)
11:03:27 [11:03:27.044]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 172.16 MiB)
11:03:27 eccvm verified?: 1 (mem: 172.16 MiB)
11:03:27 accumulator construction_verified?: 1 (mem: 172.16 MiB)
11:03:27 translation verified?: 1 (mem: 172.16 MiB)
11:03:27 consistency verified?: 1 (mem: 172.16 MiB)
11:03:27 Goblin verified: 1 (mem: 172.16 MiB)
11:03:27 [11:03:27.047]
INFO:
ivc-integration:test:native verified: 1 (mem: 172.16 MiB)
11:03:27
PASS src/native_client_ivc_integration.test.ts (
74.698 s)
11:03:27 Client IVC Integration
11:03:27
✓ Should generate a verifiable client IVC proof from a simple mock tx (39510 ms)
11:03:27
✓ Should generate a verifiable client IVC proof from a complex mock tx (31783 ms)
11:03:27
11:03:27
Test Suites: 1 passed, 1 total
11:03:27
Tests: 2 passed, 2 total
11:03:27
Snapshots: 0 total
11:03:27
Time: 74.777 s
11:03:27
Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i
.
11:03:27
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?