Parent Log:
http://ci.aztec-labs.com/aaadd3aef9ab971c
Command: 4ef547fa5e299294: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/d4893155ff105399557b55c16450c39921c70d11
Env: REF_NAME=gh-readonly-queue/next/pr-15218-7edf16da6c056f9499e2dfd9c71fb9b7580f9bfc CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 24 10:23:04 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15218_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
10:23:09 [10:23:09.177]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-GEbIgf/ivc-inputs.msgpack
10:23:09 [10:23:09.188]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
10:23:09 [10:23:09.188]
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-GEbIgf --ivc_inputs_path /tmp/bb-client-ivc-integration-GEbIgf/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
10:23:09 [10:23:09.218]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 235.97 MiB)
10:23:09 Scheme is: client_ivc, num threads: 128 (mem: 235.97 MiB)
10:23:09 --scheme: client_ivc (mem: 235.97 MiB)
10:23:09 --output_path: /tmp/bb-client-ivc-integration-GEbIgf (mem: 235.97 MiB)
10:23:09 --ivc_inputs_path: /tmp/bb-client-ivc-integration-GEbIgf/ivc-inputs.msgpack (mem: 235.97 MiB)
10:23:09 --verbose: true (mem: 235.97 MiB)
10:23:09 --write_vk: true (mem: 235.97 MiB)
10:23:09 BN254 commitment key size: 262144 (mem: 235.97 MiB)
10:23:09 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 235.97 MiB)
10:23:09 [10:23:09.281]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 235.97 MiB)
10:23:09 [10:23:09.285]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 235.97 MiB)
10:23:09 Constructing DeciderProvingKey (mem: 235.97 MiB)
10:23:09 [10:23:09.292]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 235.97 MiB)
10:23:09 goblin ecc op : 4/1024 (mem: 235.97 MiB)
10:23:09 busread : 7/6000 (mem: 235.97 MiB)
10:23:09 lookups : 2/15000 (mem: 235.97 MiB)
10:23:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 235.97 MiB)
10:23:09 arithmetic : 1760/56000 (mem: 235.97 MiB)
10:23:09 delta range : 1754/18000 (mem: 235.97 MiB)
10:23:09 elliptic : 2/6000 (mem: 235.97 MiB)
10:23:09 auxiliary : 26/26000 (mem: 235.97 MiB)
10:23:09 poseidon ext : 2/17000 (mem: 235.97 MiB)
10:23:09 poseidon int : 2/92000 (mem: 235.97 MiB)
10:23:09 overflow : 0/0 (mem: 235.97 MiB)
10:23:09 (mem: 235.97 MiB)
10:23:09 Total structured size: 242025 (mem: 235.97 MiB)
10:23:09 allocating polynomials object in proving key... (mem: 235.97 MiB)
10:23:09 [10:23:09.481]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 339.58 MiB)
10:23:09 [10:23:09.492]
INFO:
ivc-integration:test:native bb - time to construct proving key: 206 ms. (mem: 353.58 MiB)
10:23:09 [10:23:09.617]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62c8c56535c0 (mem: 353.58 MiB)
10:23:09 computing oink proof... (mem: 353.58 MiB)
10:23:09 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 353.58 MiB)
10:23:09 [10:23:09.854]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 363.58 MiB)
10:23:09 [10:23:09.862]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 363.58 MiB)
10:23:09 [10:23:09.876]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 363.58 MiB)
10:23:09 Constructing DeciderProvingKey (mem: 363.58 MiB)
10:23:09 [10:23:09.879]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 363.58 MiB)
10:23:09 goblin ecc op : 56/1024 (mem: 363.58 MiB)
10:23:09 busread : 12/6000 (mem: 363.58 MiB)
10:23:09 lookups : 2/15000 (mem: 363.58 MiB)
10:23:09 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 363.58 MiB)
10:23:09 arithmetic : 4677/56000 (mem: 363.58 MiB)
10:23:09 delta range : 2073/18000 (mem: 363.58 MiB)
10:23:09 elliptic : 2/6000 (mem: 363.58 MiB)
10:23:09 auxiliary : 110/26000 (mem: 363.58 MiB)
10:23:09 poseidon ext : 1322/17000 (mem: 363.58 MiB)
10:23:09 poseidon int : 7526/92000 (mem: 363.58 MiB)
10:23:09 overflow : 0/0 (mem: 363.58 MiB)
10:23:09 (mem: 363.58 MiB)
10:23:09 Total structured size: 242025 (mem: 363.58 MiB)
10:23:09 allocating polynomials object in proving key... (mem: 363.58 MiB)
10:23:09 [10:23:09.993]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 570.58 MiB)
10:23:10 [10:23:10.017]
INFO:
ivc-integration:test:native bb - time to construct proving key: 140 ms. (mem: 586.58 MiB)
10:23:10 [10:23:10.221]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62c8c56602c0 (mem: 586.58 MiB)
10:23:10 computing folding proof (mem: 586.58 MiB)
10:23:10 [10:23:10.222]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 586.58 MiB)
10:23:10 [10:23:10.711]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 587.58 MiB)
10:23:10 [10:23:10.793]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 624.58 MiB)
10:23:10 [10:23:10.850]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 656.58 MiB)
10:23:11 [10:23:11.214]
INFO:
ivc-integration:test:native bb - folded (mem: 656.58 MiB)
10:23:11 [10:23:11.215]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 656.58 MiB)
10:23:11 [10:23:11.228]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 656.58 MiB)
10:23:11 [10:23:11.289]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 656.58 MiB)
10:23:11 Constructing DeciderProvingKey (mem: 656.58 MiB)
10:23:11 [10:23:11.295]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 656.58 MiB)
10:23:11 goblin ecc op : 392/1024 (mem: 656.58 MiB)
10:23:11 busread : 3/6000 (mem: 656.58 MiB)
10:23:11 lookups : 2/15000 (mem: 656.58 MiB)
10:23:11 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 656.58 MiB)
10:23:11 arithmetic : 6913/56000 (mem: 656.58 MiB)
10:23:11 delta range : 2353/18000 (mem: 656.58 MiB)
10:23:11 elliptic : 2/6000 (mem: 656.58 MiB)
10:23:11 auxiliary : 50/26000 (mem: 656.58 MiB)
10:23:11 poseidon ext : 2492/17000 (mem: 656.58 MiB)
10:23:11 poseidon int : 14195/92000 (mem: 656.58 MiB)
10:23:11 overflow : 0/0 (mem: 656.58 MiB)
10:23:11 (mem: 656.58 MiB)
10:23:11 Total structured size: 242025 (mem: 656.58 MiB)
10:23:11 allocating polynomials object in proving key... (mem: 656.58 MiB)
10:23:11 [10:23:11.531]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 656.58 MiB)
10:23:11 [10:23:11.581]
INFO:
ivc-integration:test:native bb - time to construct proving key: 291 ms.
10:23:11 [10:23:11.584]
INFO:
ivc-integration:test:native bb - (mem: 656.58 MiB)
10:23:11 [10:23:11.901]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62c8c566b780 (mem: 656.58 MiB)
10:23:11 computing folding proof (mem: 656.58 MiB)
10:23:11 vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 656.58 MiB)
10:23:12 [10:23:12.247]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 656.58 MiB)
10:23:12 [10:23:12.346]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 656.58 MiB)
10:23:12 [10:23:12.401]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 667.63 MiB)
10:23:12 [10:23:12.868]
INFO:
ivc-integration:test:native bb - folded (mem: 667.63 MiB)
10:23:12 constructed folding proof (mem: 667.63 MiB)
10:23:12 [10:23:12.871]
INFO:
ivc-integration:test:native bb - Largest circuit: 26010 gates. Trace details: (mem: 667.63 MiB)
10:23:12 Minimum required block sizes for structured trace: (mem: 667.63 MiB)
10:23:12 (mem: 667.63 MiB)
10:23:12 prove decider... (mem: 667.63 MiB)
10:23:12 [10:23:12.871]
INFO:
ivc-integration:test:native bb - ecc_op : 392
10:23:12 busread : 12
10:23:12 lookup : 2
10:23:12 pub_inputs : 36
10:23:12 arithmetic : 6913
10:23:12 delta_range : 2353
10:23:12 elliptic : 2
10:23:12 aux : 110
10:23:12 poseidon2_external : 2492
10:23:12 poseidon2_internal : 14195
10:23:12 overflow : 0
10:23:13 [10:23:13.056]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 667.63 MiB)
10:23:13 [10:23:13.195]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 667.63 MiB)
10:23:14 [10:23:14.766]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 667.63 MiB)
10:23:14 [10:23:14.889]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 667.63 MiB)
10:23:14 finished decider proving. (mem: 667.63 MiB)
10:23:14 [10:23:14.908]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 667.63 MiB)
10:23:15 [10:23:15.033]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 667.63 MiB)
10:23:15 [10:23:15.041]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 667.63 MiB)
10:23:15 [10:23:15.365]
INFO:
ivc-integration:test:native bb - populating trace...
10:23:15 [10:23:15.366]
INFO:
ivc-integration:test:native bb - (mem:
10:23:15 [10:23:15.370]
INFO:
ivc-integration:test:native bb - 667.63 MiB)
10:23:15 [10:23:15.450]
INFO:
ivc-integration:test:native bb - time to construct proving key: 416 ms. (mem: 667.63 MiB)
10:23:17 [10:23:17.075]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892
10:23:17 [10:23:17.076]
INFO:
ivc-integration:test:native bb - (mem:
10:23:17 [10:23:17.077]
INFO:
ivc-integration:test:native bb - 667.63 MiB)
10:23:17 [10:23:17.857]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 667.63 MiB)
10:23:18 [10:23:18.144]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 667.63 MiB)
10:23:19 [10:23:19.817]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck
10:23:19 [10:23:19.819]
INFO:
ivc-integration:test:native bb - (mem: 667.63 MiB)
10:23:21 [10:23:21.660]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 667.63 MiB)
10:23:21 [10:23:21.783]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 667.63 MiB)
10:23:21 finished decider proving. (mem: 667.63 MiB)
10:23:21 [10:23:21.784]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 667.63 MiB)
10:23:22 [10:23:22.108]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 667.63 MiB)
10:23:22 [10:23:22.750]
INFO:
ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat"
10:23:22 [10:23:22.752]
INFO:
ivc-integration:test:native bb - (mem: 667.63 MiB)
10:23:22 [10:23:22.762]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 667.63 MiB)
10:23:25 [10:23:25.106]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 667.63 MiB)
10:23:27 [10:23:27.449]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 670.04 MiB)
10:23:31 [10:23:31.798]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 670.04 MiB)
10:23:31 prove translator... (mem: 670.04 MiB)
10:23:34 [10:23:34.414]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
10:23:34 [10:23:34.415]
INFO:
ivc-integration:test:native bb - (mem: 709.04 MiB)
10:23:38 [10:23:38.172]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 709.04 MiB)
10:23:41 [10:23:41.872]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 709.04 MiB)
10:23:41 finished translator proving. (mem: 709.04 MiB)
10:23:41 [10:23:41.873]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 709.04 MiB)
10:23:41 [10:23:41.890]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 709.04 MiB)
10:23:41 libra_evals_verified: 1 (mem: 709.04 MiB)
10:23:41 pairing_check_verified: 1 (mem: 709.04 MiB)
10:23:41 Mega verified: 1 (mem: 709.04 MiB)
10:23:42 [10:23:42.037]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 709.04 MiB)
10:23:42 batch opening verified?: 1 (mem: 709.04 MiB)
10:23:42 eccvm consistency check verified?: 1 (mem: 709.04 MiB)
10:23:42 translation masking consistency checked?: 1 (mem: 709.04 MiB)
10:23:42 [10:23:42.125]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 709.04 MiB)
10:23:42 eccvm verified?: 1 (mem: 709.04 MiB)
10:23:42 [10:23:42.126]
INFO:
ivc-integration:test:native bb - accumulator construction_verified?: 1 (mem: 709.04 MiB)
10:23:42 translation verified?: 1 (mem: 709.04 MiB)
10:23:42 consistency verified?: 1 (mem: 709.04 MiB)
10:23:42 Goblin verified: 1 (mem: 709.04 MiB)
10:23:42 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-GEbIgf" (mem: 709.04 MiB)
10:23:42 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-GEbIgf" (mem: 709.04 MiB)
10:23:42 BN254 commitment key size: 262144 (mem: 709.04 MiB)
10:23:42 [10:23:42.138]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 709.04 MiB)
10:23:42 [10:23:42.150]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 709.04 MiB)
10:23:42 goblin ecc op : 4/1024 (mem: 709.04 MiB)
10:23:42 busread : 3/6000 (mem: 709.04 MiB)
10:23:42 lookups : 2/15000 (mem: 709.04 MiB)
10:23:42 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 709.04 MiB)
10:23:42 arithmetic : 1773/56000 (mem: 709.04 MiB)
10:23:42 delta range : 1754/18000 (mem: 709.04 MiB)
10:23:42 elliptic : 2/6000 (mem: 709.04 MiB)
10:23:42 auxiliary : 26/26000 (mem: 709.04 MiB)
10:23:42 poseidon ext : 2/17000 (mem: 709.04 MiB)
10:23:42 poseidon int : 2/92000 (mem: 709.04 MiB)
10:23:42 overflow : 0/0 (mem: 709.04 MiB)
10:23:42 (mem: 709.04 MiB)
10:23:42 Total structured size: 242025 (mem: 709.04 MiB)
10:23:42 allocating polynomials object in proving key... (mem: 709.04 MiB)
10:23:42 [10:23:42.339]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 709.04 MiB)
10:23:42 [10:23:42.368]
INFO:
ivc-integration:test:native bb - time to construct proving key: 229 ms. (mem: 709.04 MiB)
10:23:42 [10:23:42.725]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 709.04 MiB)
10:23:43 [10:23:43.206]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 709.04 MiB)
10:23:43 [10:23:43.207]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 709.04 MiB)
10:23:43 [10:23:43.806]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 709.04 MiB)
10:23:43 [10:23:43.840]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 709.04 MiB)
10:23:43 [10:23:43.942]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 709.04 MiB)
10:23:43 [10:23:43.959]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 709.04 MiB)
10:23:43 goblin ecc op : 56/1024 (mem: 709.04 MiB)
10:23:43 busread : 3/6000 (mem: 709.04 MiB)
10:23:43 lookups : 2/15000 (mem: 709.04 MiB)
10:23:43 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 709.04 MiB)
10:23:43 arithmetic : 4533/56000 (mem: 709.04 MiB)
10:23:43 delta range : 2060/18000 (mem: 709.04 MiB)
10:23:43 elliptic : 2/6000 (mem: 709.04 MiB)
10:23:43 auxiliary : 50/26000 (mem: 709.04 MiB)
10:23:43 poseidon ext : 1332/17000 (mem: 709.04 MiB)
10:23:43 poseidon int : 7583/92000 (mem: 709.04 MiB)
10:23:43 overflow : 0/0 (mem: 709.04 MiB)
10:23:43 (mem: 709.04 MiB)
10:23:43 Total structured size: 242025 (mem: 709.04 MiB)
10:23:43 allocating polynomials object in proving key... (mem: 709.04 MiB)
10:23:44 [10:23:44.308]
INFO:
ivc-integration:test:native bb - populating trace...
10:23:44 [10:23:44.309]
INFO:
ivc-integration:test:native bb - (mem: 709.04 MiB)
10:23:44 [10:23:44.359]
INFO:
ivc-integration:test:native bb - time to construct proving key: 417 ms. (mem: 709.04 MiB)
10:23:44 [10:23:44.602]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 709.04 MiB)
10:23:45 [10:23:45.080]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 710.04 MiB)
10:23:45 [10:23:45.082]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 710.04 MiB)
10:23:45 [10:23:45.742]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 710.04 MiB)
10:23:45 [10:23:45.933]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 710.04 MiB)
10:23:46 [10:23:46.003]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 742.04 MiB)
10:23:46 [10:23:46.419]
INFO:
ivc-integration:test:native bb - folded (mem: 742.04 MiB)
10:23:46 constructed folding proof (mem: 742.04 MiB)
10:23:46 Largest circuit: 15565 gates. Trace details: (mem: 742.04 MiB)
10:23:46 Minimum required block sizes for structured trace: (mem: 742.04 MiB)
10:23:46 (mem: 742.04 MiB)
10:23:46 prove decider... (mem: 742.04 MiB)
10:23:46 [10:23:46.421]
INFO:
ivc-integration:test:native bb - ecc_op : 56
10:23:46 busread : 3
10:23:46 lookup : 2
10:23:46 pub_inputs : 36
10:23:46 arithmetic : 4533
10:23:46 delta_range : 2060
10:23:46 elliptic : 2
10:23:46 aux : 50
10:23:46 poseidon2_external : 1332
10:23:46 poseidon2_internal : 7583
10:23:46 overflow : 0
10:23:46 [10:23:46.573]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 742.04 MiB)
10:23:46 [10:23:46.763]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 742.04 MiB)
10:23:47 [10:23:47.950]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 742.04 MiB)
10:23:48 [10:23:48.111]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 742.04 MiB)
10:23:48 finished decider proving. (mem: 742.04 MiB)
10:23:48 [10:23:48.128]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 742.04 MiB)
10:23:48 [10:23:48.230]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
10:23:48 [10:23:48.233]
INFO:
ivc-integration:test:native bb - (mem: 742.04 MiB)
10:23:48 [10:23:48.241]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key...
10:23:48 [10:23:48.243]
INFO:
ivc-integration:test:native bb - (mem: 742.04 MiB)
10:23:48 [10:23:48.440]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 742.04 MiB)
10:23:48 [10:23:48.519]
INFO:
ivc-integration:test:native bb - time to construct proving key: 286 ms. (mem: 742.04 MiB)
10:23:49 [10:23:49.397]
INFO:
ivc-integration:test:native BB concurrency: 1
10:23:49 [10:23:49.398]
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-GEbIgf/proof -k /tmp/bb-client-ivc-integration-GEbIgf/vk -v
10:23:49 [10:23:49.440]
INFO:
ivc-integration:test:native bb command: verify (mem: 236.50 MiB)
10:23:49 Scheme is: client_ivc, num threads: 1 (mem: 236.50 MiB)
10:23:49 --proof_path: /tmp/bb-client-ivc-integration-GEbIgf/proof (mem: 236.50 MiB)
10:23:49 --vk_path: /tmp/bb-client-ivc-integration-GEbIgf/vk (mem: 236.50 MiB)
10:23:49 --verbose: true (mem: 236.50 MiB)
10:23:49 --scheme: client_ivc (mem: 236.50 MiB)
10:23:49 [10:23:49.442]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 236.50 MiB)
10:23:49 [10:23:49.464]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 236.50 MiB)
10:23:49 [10:23:49.466]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 236.50 MiB)
10:23:49 [10:23:49.487]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 236.50 MiB)
10:23:49 [10:23:49.492]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 236.50 MiB)
10:23:49 sumcheck_verified: 1 (mem: 236.50 MiB)
10:23:49 libra_evals_verified: 1 (mem: 236.50 MiB)
10:23:49 pairing_check_verified: 1 (mem: 236.50 MiB)
10:23:49 Mega verified: 1 (mem: 236.50 MiB)
10:23:50 [10:23:50.052]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 236.50 MiB)
10:23:50 batch opening verified?: 1 (mem: 236.50 MiB)
10:23:50 eccvm consistency check verified?: 1 (mem: 236.50 MiB)
10:23:50 translation masking consistency checked?: 1 (mem: 236.50 MiB)
10:23:50 [10:23:50.072]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 236.50 MiB)
10:23:50 eccvm verified?: 1 (mem: 236.50 MiB)
10:23:50 accumulator construction_verified?: 1 (mem: 236.50 MiB)
10:23:50 translation verified?: 1 (mem: 236.50 MiB)
10:23:50 consistency verified?: 1 (mem: 236.50 MiB)
10:23:50 [10:23:50.074]
INFO:
ivc-integration:test:native Goblin verified: 1 (mem: 236.50 MiB)
10:23:50 verified: 1 (mem: 236.50 MiB)
10:23:50 [10:23:50.248]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-y1UTrZ/ivc-inputs.msgpack
10:23:50 [10:23:50.253]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
10:23:50 [10:23:50.254]
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-y1UTrZ --ivc_inputs_path /tmp/bb-client-ivc-integration-y1UTrZ/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
10:23:50 [10:23:50.318]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 240.50 MiB)
10:23:50 Scheme is: client_ivc, num threads: 128 (mem: 240.50 MiB)
10:23:50 --scheme: client_ivc (mem: 240.50 MiB)
10:23:50 --output_path: /tmp/bb-client-ivc-integration-y1UTrZ (mem: 240.50 MiB)
10:23:50 --ivc_inputs_path: /tmp/bb-client-ivc-integration-y1UTrZ/ivc-inputs.msgpack (mem: 240.50 MiB)
10:23:50 --verbose: true (mem: 240.50 MiB)
10:23:50 --write_vk: true (mem: 240.50 MiB)
10:23:50 [10:23:50.332]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 240.50 MiB)
10:23:50 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 240.50 MiB)
10:23:50 [10:23:50.403]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 240.50 MiB)
10:23:50 [10:23:50.413]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 240.50 MiB)
10:23:50 Constructing DeciderProvingKey (mem: 240.50 MiB)
10:23:50 [10:23:50.415]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
10:23:50 [10:23:50.415]
INFO:
ivc-integration:test:native bb - (mem:
10:23:50 [10:23:50.418]
INFO:
ivc-integration:test:native bb - 240.50 MiB)
10:23:50 goblin ecc op : 4/1024 (mem: 240.50 MiB)
10:23:50 busread : 7/6000 (mem: 240.50 MiB)
10:23:50 lookups : 2/15000 (mem: 240.50 MiB)
10:23:50 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 240.50 MiB)
10:23:50 arithmetic : 1760/56000 (mem: 240.50 MiB)
10:23:50 delta range : 1754/18000 (mem: 240.50 MiB)
10:23:50 elliptic : 2/6000 (mem: 240.50 MiB)
10:23:50 auxiliary : 26/26000 (mem: 240.50 MiB)
10:23:50 poseidon ext : 2/17000 (mem: 240.50 MiB)
10:23:50 poseidon int : 2/92000 (mem: 240.50 MiB)
10:23:50 overflow : 0/0 (mem: 240.50 MiB)
10:23:50 (mem: 240.50 MiB)
10:23:50 Total structured size: 242025 (mem: 240.50 MiB)
10:23:50 allocating polynomials object in proving key... (mem: 240.50 MiB)
10:23:50 [10:23:50.764]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 347.59 MiB)
10:23:50 [10:23:50.779]
INFO:
ivc-integration:test:native bb - time to construct proving key: 370 ms. (mem: 357.59 MiB)
10:23:51 [10:23:51.051]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a818ef063c0 (mem: 357.59 MiB)
10:23:51 computing oink proof... (mem: 357.59 MiB)
10:23:51 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 357.59 MiB)
10:23:51 [10:23:51.389]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 367.59 MiB)
10:23:51 [10:23:51.407]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 368.59 MiB)
10:23:51 [10:23:51.423]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 368.59 MiB)
10:23:51 Constructing DeciderProvingKey (mem: 368.59 MiB)
10:23:51 Gate blocks summary: (actual gates / fixed capacity) (mem: 368.59 MiB)
10:23:51 goblin ecc op : 56/1024 (mem: 368.59 MiB)
10:23:51 busread : 12/6000 (mem: 368.59 MiB)
10:23:51 lookups : 2/15000 (mem: 368.59 MiB)
10:23:51 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 368.59 MiB)
10:23:51 arithmetic : 4677/56000 (mem: 368.59 MiB)
10:23:51 delta range : 2073/18000 (mem: 368.59 MiB)
10:23:51 elliptic : 2/6000 (mem: 368.59 MiB)
10:23:51 auxiliary : 110/26000 (mem: 368.59 MiB)
10:23:51 poseidon ext : 1322/17000 (mem: 368.59 MiB)
10:23:51 poseidon int : 7526/92000 (mem: 368.59 MiB)
10:23:51 overflow : 0/0 (mem: 368.59 MiB)
10:23:51 (mem: 368.59 MiB)
10:23:51 Total structured size: 242025 (mem: 368.59 MiB)
10:23:51 allocating polynomials object in proving key... (mem: 368.59 MiB)
10:23:51 [10:23:51.610]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 570.59 MiB)
10:23:51 [10:23:51.633]
INFO:
ivc-integration:test:native bb - time to construct proving key: 213 ms. (mem: 588.59 MiB)
10:23:51 [10:23:51.971]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a818ef0f680 (mem: 588.59 MiB)
10:23:51 computing folding proof (mem: 588.59 MiB)
10:23:51 [10:23:51.974]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 588.59 MiB)
10:23:52 [10:23:52.318]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 590.59 MiB)
10:23:52 [10:23:52.406]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 626.59 MiB)
10:23:52 [10:23:52.447]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 658.59 MiB)
10:23:52 [10:23:52.557]
INFO:
ivc-integration:test:native bb - folded (mem: 658.59 MiB)
10:23:52 constructed folding proof (mem: 658.59 MiB)
10:23:52 [10:23:52.559]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 658.59 MiB)
10:23:52 Constructing DeciderProvingKey (mem:
10:23:52 [10:23:52.560]
INFO:
ivc-integration:test:native bb - 658.59 MiB)
10:23:52 [10:23:52.562]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 658.59 MiB)
10:23:52 goblin ecc op : 4/1024 (mem: 658.59 MiB)
10:23:52 busread : 7/6000 (mem: 658.59 MiB)
10:23:52 lookups : 2/15000 (mem: 658.59 MiB)
10:23:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 658.59 MiB)
10:23:52 arithmetic : 1760/56000 (mem: 658.59 MiB)
10:23:52 delta range : 1754/18000 (mem: 658.59 MiB)
10:23:52 elliptic : 2/6000 (mem: 658.59 MiB)
10:23:52 auxiliary : 26/26000 (mem: 658.59 MiB)
10:23:52 poseidon ext : 2/17000 (mem: 658.59 MiB)
10:23:52 poseidon int : 2/92000 (mem: 658.59 MiB)
10:23:52 overflow : 0/0 (mem: 658.59 MiB)
10:23:52 (mem: 658.59 MiB)
10:23:52 Total structured size: 242025 (mem: 658.59 MiB)
10:23:52 allocating polynomials object in proving key... (mem: 658.59 MiB)
10:23:52 [10:23:52.659]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 658.59 MiB)
10:23:52 [10:23:52.674]
INFO:
ivc-integration:test:native bb - time to construct proving key: 114 ms. (mem: 658.59 MiB)
10:23:52 [10:23:52.808]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a818ef0b340 (mem: 658.59 MiB)
10:23:52 computing folding proof (mem: 658.59 MiB)
10:23:52 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 658.59 MiB)
10:23:52 [10:23:52.989]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 658.59 MiB)
10:23:53 [10:23:53.063]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 658.59 MiB)
10:23:53 [10:23:53.107]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 659.92 MiB)
10:23:53 [10:23:53.364]
INFO:
ivc-integration:test:native bb - folded (mem: 659.92 MiB)
10:23:53 constructed folding proof (mem: 659.92 MiB)
10:23:53 [10:23:53.373]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 659.92 MiB)
10:23:53 [10:23:53.469]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 659.92 MiB)
10:23:53 [10:23:53.529]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 659.92 MiB)
10:23:53 Constructing DeciderProvingKey (mem: 659.92 MiB)
10:23:53 [10:23:53.533]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 659.92 MiB)
10:23:53 [10:23:53.535]
INFO:
ivc-integration:test:native bb - goblin ecc op : 792/1024 (mem: 659.92 MiB)
10:23:53 busread : 12/6000 (mem: 659.92 MiB)
10:23:53 lookups : 2/15000 (mem: 659.92 MiB)
10:23:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 659.92 MiB)
10:23:53 arithmetic : 12208/56000 (mem: 659.92 MiB)
10:23:53 delta range : 2981/18000 (mem: 659.92 MiB)
10:23:53 elliptic : 2/6000 (mem: 659.92 MiB)
10:23:53 auxiliary : 350/26000 (mem: 659.92 MiB)
10:23:53 poseidon ext : 4982/17000 (mem: 659.92 MiB)
10:23:53 poseidon int : 28388/92000 (mem: 659.92 MiB)
10:23:53 overflow : 0/0 (mem: 659.92 MiB)
10:23:53 (mem: 659.92 MiB)
10:23:53 Total structured size: 242025 (mem: 659.92 MiB)
10:23:53 allocating polynomials object in proving key... (mem: 659.92 MiB)
10:23:53 [10:23:53.621]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 659.92 MiB)
10:23:53 [10:23:53.660]
INFO:
ivc-integration:test:native bb - time to construct proving key: 131 ms. (mem: 659.92 MiB)
10:23:53 [10:23:53.847]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a818ef833c0 (mem: 659.92 MiB)
10:23:53 computing folding proof (mem: 659.92 MiB)
10:23:53 vkey hash in Oink prover: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 659.92 MiB)
10:23:54 [10:23:54.337]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 659.92 MiB)
10:23:54 [10:23:54.402]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 674.48 MiB)
10:23:54 [10:23:54.450]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 707.48 MiB)
10:23:54 [10:23:54.669]
INFO:
ivc-integration:test:native bb - folded (mem: 707.48 MiB)
10:23:54 constructed folding proof (mem: 707.48 MiB)
10:23:54 [10:23:54.679]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 707.48 MiB)
10:23:54 [10:23:54.738]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 707.48 MiB)
10:23:54 Constructing DeciderProvingKey (mem: 707.48 MiB)
10:23:54 [10:23:54.745]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 707.48 MiB)
10:23:54 goblin ecc op : 392/1024 (mem: 707.48 MiB)
10:23:54 busread : 16/6000 (mem: 707.48 MiB)
10:23:54 lookups : 2/15000 (mem: 707.48 MiB)
10:23:54 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 707.48 MiB)
10:23:54 arithmetic : 6978/56000 (mem: 707.48 MiB)
10:23:54 delta range : 2367/18000 (mem: 707.48 MiB)
10:23:54 elliptic : 2/6000 (mem: 707.48 MiB)
10:23:54 auxiliary : 77/26000 (mem: 707.48 MiB)
10:23:54 poseidon ext : 2492/17000 (mem: 707.48 MiB)
10:23:54 poseidon int : 14195/92000 (mem: 707.48 MiB)
10:23:54 overflow : 0/0 (mem: 707.48 MiB)
10:23:54 (mem: 707.48 MiB)
10:23:54 Total structured size: 242025 (mem: 707.48 MiB)
10:23:54 allocating polynomials object in proving key... (mem: 707.48 MiB)
10:23:54 [10:23:54.875]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 707.48 MiB)
10:23:54 [10:23:54.952]
INFO:
ivc-integration:test:native bb - time to construct proving key: 212 ms. (mem: 707.48 MiB)
10:23:55 [10:23:55.193]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a818ef150c0 (mem: 707.48 MiB)
10:23:55 computing folding proof (mem: 707.48 MiB)
10:23:55 [10:23:55.193]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 707.48 MiB)
10:23:55 [10:23:55.583]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 707.48 MiB)
10:23:55 [10:23:55.718]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 707.48 MiB)
10:23:55 [10:23:55.784]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 707.48 MiB)
10:23:55 [10:23:55.945]
INFO:
ivc-integration:test:native bb - folded
10:23:55 [10:23:55.948]
INFO:
ivc-integration:test:native bb - (mem: 707.48 MiB)
10:23:55 constructed folding proof (mem: 707.48 MiB)
10:23:55 [10:23:55.960]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f
10:23:55 [10:23:55.961]
INFO:
ivc-integration:test:native bb - (mem: 707.48 MiB)
10:23:56 [10:23:56.025]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 707.48 MiB)
10:23:56 Constructing DeciderProvingKey (mem:
10:23:56 [10:23:56.026]
INFO:
ivc-integration:test:native bb - 707.48 MiB)
10:23:56 [10:23:56.029]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 707.48 MiB)
10:23:56 goblin ecc op : 392/1024 (mem: 707.48 MiB)
10:23:56 busread : 3/6000 (mem:
10:23:56 [10:23:56.030]
INFO:
ivc-integration:test:native bb - 707.48 MiB)
10:23:56 lookups : 2/15000 (mem: 707.48 MiB)
10:23:56 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 707.48 MiB)
10:23:56 arithmetic : 6913/56000 (mem: 707.48 MiB)
10:23:56 delta range : 2353/18000 (mem: 707.48 MiB)
10:23:56 elliptic : 2/6000 (mem: 707.48 MiB)
10:23:56 auxiliary : 50/26000 (mem: 707.48 MiB)
10:23:56 poseidon ext : 2492/17000 (mem: 707.48 MiB)
10:23:56 poseidon int : 14195/92000 (mem: 707.48 MiB)
10:23:56 overflow : 0/0 (mem: 707.48 MiB)
10:23:56 (mem: 707.48 MiB)
10:23:56 Total structured size: 242025 (mem: 707.48 MiB)
10:23:56 allocating polynomials object in proving key... (mem: 707.48 MiB)
10:23:56 [10:23:56.098]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 707.48 MiB)
10:23:56 [10:23:56.119]
INFO:
ivc-integration:test:native bb - time to construct proving key: 94 ms. (mem: 707.48 MiB)
10:23:56 [10:23:56.245]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a818ef16080 (mem: 707.48 MiB)
10:23:56 computing folding proof (mem: 707.48 MiB)
10:23:56 [10:23:56.246]
INFO:
ivc-integration:test:native bb -
10:23:56 vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 707.48 MiB)
10:23:56 [10:23:56.247]
INFO:
ivc-integration:test:native bb -
10:23:56 [10:23:56.547]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 707.48 MiB)
10:23:56 [10:23:56.613]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 707.48 MiB)
10:23:56 [10:23:56.668]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 707.48 MiB)
10:23:56 [10:23:56.824]
INFO:
ivc-integration:test:native bb - folded (mem: 707.48 MiB)
10:23:56 constructed folding proof (mem: 707.48 MiB)
10:23:56 [10:23:56.825]
INFO:
ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details: (mem: 707.48 MiB)
10:23:56 Minimum required block sizes for structured trace: (mem: 707.48 MiB)
10:23:56 (mem: 707.48 MiB)
10:23:56 prove decider... (mem: 707.48 MiB)
10:23:56 [10:23:56.829]
INFO:
ivc-integration:test:native bb - ecc_op : 792
10:23:56 busread : 16
10:23:56 lookup : 2
10:23:56 pub_inputs : 36
10:23:56 arithmetic : 12208
10:23:56 delta_range : 2981
10:23:56 elliptic : 2
10:23:56 aux : 350
10:23:56 poseidon2_external : 4982
10:23:56 poseidon2_internal : 28388
10:23:56 overflow : 0
10:23:56 [10:23:56.906]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 707.48 MiB)
10:23:57 [10:23:57.079]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 707.48 MiB)
10:23:57 [10:23:57.888]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
10:23:57 [10:23:57.889]
INFO:
ivc-integration:test:native bb - (mem: 707.48 MiB)
10:23:58 [10:23:58.002]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 707.48 MiB)
10:23:58 finished decider proving. (mem: 707.48 MiB)
10:23:58 [10:23:58.019]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 707.48 MiB)
10:23:58 [10:23:58.116]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 707.48 MiB)
10:23:58 [10:23:58.125]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 707.48 MiB)
10:23:58 [10:23:58.205]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 707.48 MiB)
10:23:58 [10:23:58.239]
INFO:
ivc-integration:test:native bb - time to construct proving key: 123 ms. (mem: 707.48 MiB)
10:23:58 [10:23:58.572]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 707.48 MiB)
10:23:58 [10:23:58.729]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 707.48 MiB)
10:23:58 [10:23:58.875]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 707.48 MiB)
10:23:59 [10:23:59.385]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 707.48 MiB)
10:23:59 [10:23:59.897]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 707.48 MiB)
10:23:59 [10:23:59.952]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 707.48 MiB)
10:23:59 finished decider proving. (mem: 707.48 MiB)
10:23:59 [10:23:59.953]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 707.48 MiB)
10:24:00 [10:24:00.062]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 707.48 MiB)
10:24:00 [10:24:00.311]
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: 707.48 MiB)
10:24:00 [10:24:00.322]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 707.48 MiB)
10:24:01 [10:24:01.352]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 707.48 MiB)
10:24:02 [10:24:02.394]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 707.48 MiB)
10:24:05 [10:24:05.039]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 707.48 MiB)
10:24:05 prove translator... (mem: 707.48 MiB)
10:24:07 [10:24:07.679]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 726.30 MiB)
10:24:11 [10:24:11.708]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 727.30 MiB)
10:24:14 [10:24:14.207]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 727.30 MiB)
10:24:14 [10:24:14.208]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 727.30 MiB)
10:24:14 [10:24:14.208]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 727.30 MiB)
10:24:14 [10:24:14.224]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 727.30 MiB)
10:24:14 libra_evals_verified: 1 (mem: 727.30 MiB)
10:24:14 pairing_check_verified: 1 (mem: 727.30 MiB)
10:24:14 Mega verified: 1 (mem: 727.30 MiB)
10:24:14 [10:24:14.311]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 728.30 MiB)
10:24:14 batch opening verified?: 1 (mem: 728.30 MiB)
10:24:14 eccvm consistency check verified?: 1 (mem: 728.30 MiB)
10:24:14 translation masking consistency checked?: 1 (mem: 728.30 MiB)
10:24:14 [10:24:14.342]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 728.30 MiB)
10:24:14 eccvm verified?: 1 (mem: 728.30 MiB)
10:24:14 accumulator construction_verified?: 1 (mem: 728.30 MiB)
10:24:14 translation verified?: 1 (mem: 728.30 MiB)
10:24:14 consistency verified?: 1 (mem: 728.30 MiB)
10:24:14 Goblin verified: 1 (mem: 728.30 MiB)
10:24:14 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-y1UTrZ" (mem: 728.30 MiB)
10:24:14 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-y1UTrZ" (mem: 728.30 MiB)
10:24:14 BN254 commitment key size: 262144 (mem: 728.30 MiB)
10:24:14 Constructing DeciderProvingKey (mem: 728.30 MiB)
10:24:14 [10:24:14.343]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 728.30 MiB)
10:24:14 goblin ecc op : 4/1024 (mem: 728.30 MiB)
10:24:14 busread : 3/6000 (mem: 728.30 MiB)
10:24:14 lookups : 2/15000 (mem: 728.30 MiB)
10:24:14 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 728.30 MiB)
10:24:14 arithmetic : 1773/56000 (mem: 728.30 MiB)
10:24:14 delta range : 1754/18000 (mem: 728.30 MiB)
10:24:14 elliptic : 2/6000 (mem: 728.30 MiB)
10:24:14 auxiliary : 26/26000 (mem: 728.30 MiB)
10:24:14 poseidon ext : 2/17000 (mem: 728.30 MiB)
10:24:14 poseidon int : 2/92000 (mem: 728.30 MiB)
10:24:14 overflow : 0/0 (mem: 728.30 MiB)
10:24:14 (mem: 728.30 MiB)
10:24:14 Total structured size: 242025 (mem: 728.30 MiB)
10:24:14 allocating polynomials object in proving key... (mem: 728.30 MiB)
10:24:14 [10:24:14.487]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 728.30 MiB)
10:24:14 [10:24:14.507]
INFO:
ivc-integration:test:native bb - time to construct proving key: 167 ms. (mem: 728.30 MiB)
10:24:14 [10:24:14.596]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 728.30 MiB)
10:24:14 [10:24:14.778]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 728.30 MiB)
10:24:14 [10:24:14.779]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 728.30 MiB)
10:24:14 [10:24:14.982]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 728.30 MiB)
10:24:14 [10:24:14.993]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 728.30 MiB)
10:24:15 [10:24:15.004]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 728.30 MiB)
10:24:15 [10:24:15.008]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 728.30 MiB)
10:24:15 goblin ecc op : 56/1024 (mem: 728.30 MiB)
10:24:15 busread : 3/6000 (mem: 728.30 MiB)
10:24:15 lookups : 2/15000 (mem: 728.30 MiB)
10:24:15 [10:24:15.011]
INFO:
ivc-integration:test:native bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 728.30 MiB)
10:24:15 arithmetic : 4533/56000 (mem: 728.30 MiB)
10:24:15 delta range : 2060/18000 (mem: 728.30 MiB)
10:24:15 elliptic : 2/6000 (mem: 728.30 MiB)
10:24:15 auxiliary : 50/26000 (mem: 728.30 MiB)
10:24:15 poseidon ext : 1332/17000 (mem: 728.30 MiB)
10:24:15 poseidon int : 7583/92000 (mem: 728.30 MiB)
10:24:15 overflow : 0/0 (mem: 728.30 MiB)
10:24:15 (mem: 728.30 MiB)
10:24:15 Total structured size: 242025 (mem: 728.30 MiB)
10:24:15 allocating polynomials object in proving key... (mem: 728.30 MiB)
10:24:15 [10:24:15.173]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 728.30 MiB)
10:24:15 [10:24:15.197]
INFO:
ivc-integration:test:native bb - time to construct proving key: 192 ms. (mem: 728.30 MiB)
10:24:15 [10:24:15.548]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 728.30 MiB)
10:24:16 [10:24:16.324]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 729.30 MiB)
10:24:16 [10:24:16.325]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 729.30 MiB)
10:24:16 [10:24:16.644]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 729.30 MiB)
10:24:16 [10:24:16.945]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 729.30 MiB)
10:24:17 [10:24:17.114]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 761.30 MiB)
10:24:17 [10:24:17.630]
INFO:
ivc-integration:test:native bb - folded
10:24:17 [10:24:17.631]
INFO:
ivc-integration:test:native bb - (mem: 761.30 MiB)
10:24:17 constructed folding proof (mem: 761.30 MiB)
10:24:17 [10:24:17.636]
INFO:
ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 761.30 MiB)
10:24:17 Minimum required block sizes for structured trace: (mem: 761.30 MiB)
10:24:17 (mem: 761.30 MiB)
10:24:17 prove decider... (mem: 761.30 MiB)
10:24:17 [10:24:17.637]
INFO:
ivc-integration:test:native bb - ecc_op : 56
10:24:17 busread : 3
10:24:17 lookup : 2
10:24:17 pub_inputs : 36
10:24:17 arithmetic : 4533
10:24:17 delta_range : 2060
10:24:17 elliptic : 2
10:24:17 aux : 50
10:24:17 poseidon2_external : 1332
10:24:17 poseidon2_internal : 7583
10:24:17 overflow : 0
10:24:17 [10:24:17.793]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 761.30 MiB)
10:24:17 [10:24:17.885]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 761.30 MiB)
10:24:18 [10:24:18.768]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 761.30 MiB)
10:24:18 [10:24:18.863]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 761.30 MiB)
10:24:18 finished decider proving. (mem: 761.30 MiB)
10:24:18 [10:24:18.872]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 761.30 MiB)
10:24:18 [10:24:18.956]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 761.30 MiB)
10:24:18 [10:24:18.960]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 761.30 MiB)
10:24:19 [10:24:19.069]
INFO:
ivc-integration:test:native bb - populating trace...
10:24:19 [10:24:19.070]
INFO:
ivc-integration:test:native bb - (mem: 761.30 MiB)
10:24:19 [10:24:19.100]
INFO:
ivc-integration:test:native bb - time to construct proving key: 143 ms. (mem: 761.30 MiB)
10:24:19 [10:24:19.512]
INFO:
ivc-integration:test:native BB concurrency: 1
10:24:19 [10:24:19.513]
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-y1UTrZ/proof -k /tmp/bb-client-ivc-integration-y1UTrZ/vk -v
10:24:19 [10:24:19.538]
INFO:
ivc-integration:test:native bb command: verify (mem: 243.98 MiB)
10:24:19 Scheme is: client_ivc, num threads: 1 (mem: 243.98 MiB)
10:24:19 --proof_path: /tmp/bb-client-ivc-integration-y1UTrZ/proof (mem: 243.98 MiB)
10:24:19 --vk_path: /tmp/bb-client-ivc-integration-y1UTrZ/vk (mem: 243.98 MiB)
10:24:19 --verbose: true (mem: 243.98 MiB)
10:24:19 --scheme: client_ivc (mem: 243.98 MiB)
10:24:19 [10:24:19.538]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 243.98 MiB)
10:24:19 [10:24:19.555]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 243.98 MiB)
10:24:19 [10:24:19.556]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 243.98 MiB)
10:24:19 [10:24:19.580]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 243.98 MiB)
10:24:19 Initialized BN254 CRS from memory with num points = 1 (mem: 243.98 MiB)
10:24:19 [10:24:19.586]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 243.98 MiB)
10:24:19 libra_evals_verified: 1 (mem: 243.98 MiB)
10:24:19 pairing_check_verified: 1 (mem: 243.98 MiB)
10:24:19 Mega verified: 1 (mem: 243.98 MiB)
10:24:20 [10:24:20.018]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 243.98 MiB)
10:24:20 batch opening verified?: 1 (mem: 243.98 MiB)
10:24:20 eccvm consistency check verified?: 1 (mem: 243.98 MiB)
10:24:20 translation masking consistency checked?: 1 (mem: 243.98 MiB)
10:24:20 [10:24:20.036]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 243.98 MiB)
10:24:20 eccvm verified?: 1 (mem: 243.98 MiB)
10:24:20 accumulator construction_verified?: 1 (mem: 243.98 MiB)
10:24:20 translation verified?: 1 (mem: 243.98 MiB)
10:24:20 consistency verified?: 1 (mem: 243.98 MiB)
10:24:20 Goblin verified: 1 (mem: 243.98 MiB)
10:24:20 [10:24:20.039]
INFO:
ivc-integration:test:native verified: 1 (mem: 243.98 MiB)
10:24:20
PASS src/native_client_ivc_integration.test.ts (
74.865 s)
10:24:20 Client IVC Integration
10:24:20
✓ Should generate a verifiable client IVC proof from a simple mock tx (41213 ms)
10:24:20
✓ Should generate a verifiable client IVC proof from a complex mock tx (29955 ms)
10:24:20
10:24:20
Test Suites: 1 passed, 1 total
10:24:20
Tests: 2 passed, 2 total
10:24:20
Snapshots: 0 total
10:24:20
Time: 74.964 s
10:24:20
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
10:24:20
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?