Parent Log:
http://ci.aztec-labs.com/872252fc092e6399
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/016def8adbfe93f34b41a41f439b146b5318c895
Env: REF_NAME=gh-readonly-queue/next/pr-15237-d4893155ff105399557b55c16450c39921c70d11 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 24 11:50:28 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15237_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
11:50:33 [11:50:33.482]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-mUxiUd/ivc-inputs.msgpack
11:50:33 [11:50:33.491]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
11:50:33 [11:50:33.491]
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-mUxiUd --ivc_inputs_path /tmp/bb-client-ivc-integration-mUxiUd/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
11:50:33 [11:50:33.514]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 235.69 MiB)
11:50:33 [11:50:33.515]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 235.69 MiB)
11:50:33 --scheme: client_ivc (mem: 235.69 MiB)
11:50:33 --output_path: /tmp/bb-client-ivc-integration-mUxiUd (mem: 235.69 MiB)
11:50:33 --ivc_inputs_path: /tmp/bb-client-ivc-integration-mUxiUd/ivc-inputs.msgpack (mem: 235.69 MiB)
11:50:33 --verbose: true (mem: 235.69 MiB)
11:50:33 --write_vk: true (mem: 235.69 MiB)
11:50:33 [11:50:33.516]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 235.69 MiB)
11:50:33 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 235.69 MiB)
11:50:33 [11:50:33.579]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 235.69 MiB)
11:50:33 [11:50:33.583]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 235.69 MiB)
11:50:33 Constructing DeciderProvingKey (mem: 235.69 MiB)
11:50:33 [11:50:33.588]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
11:50:33 [11:50:33.594]
INFO:
ivc-integration:test:native bb - (mem: 235.69 MiB)
11:50:33 goblin ecc op : 4/1024 (mem: 235.69 MiB)
11:50:33 busread : 7/6000 (mem: 235.69 MiB)
11:50:33 lookups : 2/15000 (mem: 235.69 MiB)
11:50:33 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 235.69 MiB)
11:50:33 arithmetic : 1760/56000 (mem: 235.69 MiB)
11:50:33 delta range : 1754/18000 (mem: 235.69 MiB)
11:50:33 elliptic : 2/6000 (mem: 235.69 MiB)
11:50:33 auxiliary : 26/26000 (mem: 235.69 MiB)
11:50:33 poseidon ext : 2/17000 (mem: 235.69 MiB)
11:50:33 poseidon int : 2/92000 (mem: 235.69 MiB)
11:50:33 overflow : 0/0 (mem: 235.69 MiB)
11:50:33 (mem: 235.69 MiB)
11:50:33 Total structured size: 242025 (mem: 235.69 MiB)
11:50:33 allocating polynomials object in proving key... (mem: 235.69 MiB)
11:50:33 [11:50:33.784]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 335.61 MiB)
11:50:33 [11:50:33.799]
INFO:
ivc-integration:test:native bb - time to construct proving key: 216 ms. (mem: 350.61 MiB)
11:50:33 [11:50:33.914]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63099cfdf5c0 (mem: 350.61 MiB)
11:50:33 computing oink proof... (mem: 350.61 MiB)
11:50:33 [11:50:33.915]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 350.61 MiB)
11:50:34 [11:50:34.120]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 358.61 MiB)
11:50:34 [11:50:34.127]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 358.61 MiB)
11:50:34 [11:50:34.140]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 358.61 MiB)
11:50:34 Constructing DeciderProvingKey (mem: 358.61 MiB)
11:50:34 [11:50:34.143]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 358.61 MiB)
11:50:34 goblin ecc op : 56/1024 (mem: 358.61 MiB)
11:50:34 busread : 12/6000 (mem: 358.61 MiB)
11:50:34 lookups : 2/15000 (mem: 358.61 MiB)
11:50:34 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 358.61 MiB)
11:50:34 arithmetic : 4677/56000 (mem: 358.61 MiB)
11:50:34 delta range : 2073/18000 (mem: 358.61 MiB)
11:50:34 elliptic : 2/6000 (mem: 358.61 MiB)
11:50:34 [11:50:34.145]
INFO:
ivc-integration:test:native bb -
11:50:34 auxiliary : 110/26000 (mem: 358.61 MiB)
11:50:34 poseidon ext : 1322/17000 (mem: 358.61 MiB)
11:50:34 poseidon int : 7526/92000 (mem: 358.61 MiB)
11:50:34 overflow : 0/0 (mem: 358.61 MiB)
11:50:34 (mem: 358.61 MiB)
11:50:34 Total structured size: 242025 (mem: 358.61 MiB)
11:50:34 allocating polynomials object in proving key... (mem: 358.61 MiB)
11:50:34 [11:50:34.291]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 569.61 MiB)
11:50:34 [11:50:34.324]
INFO:
ivc-integration:test:native bb - time to construct proving key: 183 ms. (mem: 584.61 MiB)
11:50:34 [11:50:34.465]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63099cfec2c0 (mem: 584.61 MiB)
11:50:34 computing folding proof (mem: 584.61 MiB)
11:50:34 [11:50:34.466]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 584.61 MiB)
11:50:34 [11:50:34.879]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 589.61 MiB)
11:50:34 [11:50:34.978]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 627.61 MiB)
11:50:35 [11:50:35.061]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 659.61 MiB)
11:50:35 [11:50:35.480]
INFO:
ivc-integration:test:native bb - folded (mem: 659.61 MiB)
11:50:35 [11:50:35.481]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 659.61 MiB)
11:50:35 [11:50:35.492]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 659.61 MiB)
11:50:35 [11:50:35.553]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 659.61 MiB)
11:50:35 Constructing DeciderProvingKey (mem: 659.61 MiB)
11:50:35 [11:50:35.559]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 659.61 MiB)
11:50:35 goblin ecc op : 392/1024 (mem: 659.61 MiB)
11:50:35 busread : 3/6000 (mem: 659.61 MiB)
11:50:35 lookups : 2/15000 (mem: 659.61 MiB)
11:50:35 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 659.61 MiB)
11:50:35 arithmetic : 6913/56000 (mem: 659.61 MiB)
11:50:35 delta range : 2353/18000 (mem: 659.61 MiB)
11:50:35 elliptic : 2/6000 (mem: 659.61 MiB)
11:50:35 auxiliary : 50/26000 (mem: 659.61 MiB)
11:50:35 poseidon ext : 2492/17000 (mem: 659.61 MiB)
11:50:35 poseidon int : 14195/92000 (mem: 659.61 MiB)
11:50:35 overflow : 0/0 (mem: 659.61 MiB)
11:50:35 (mem: 659.61 MiB)
11:50:35 Total structured size: 242025 (mem: 659.61 MiB)
11:50:35 allocating polynomials object in proving key... (mem: 659.61 MiB)
11:50:35 [11:50:35.745]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 659.61
11:50:35 [11:50:35.746]
INFO:
ivc-integration:test:native bb - MiB)
11:50:35 [11:50:35.809]
INFO:
ivc-integration:test:native bb - time to construct proving key: 256 ms. (mem: 659.61 MiB)
11:50:36 [11:50:36.123]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x63099cff7780 (mem: 659.61 MiB)
11:50:36 computing folding proof (mem: 659.61 MiB)
11:50:36 [11:50:36.128]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 659.61 MiB)
11:50:36 [11:50:36.484]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 659.61 MiB)
11:50:36 [11:50:36.559]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 659.61 MiB)
11:50:36 [11:50:36.616]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 669.70 MiB)
11:50:37 [11:50:37.010]
INFO:
ivc-integration:test:native bb - folded (mem: 669.70 MiB)
11:50:37 constructed folding proof (mem: 669.70 MiB)
11:50:37 [11:50:37.010]
INFO:
ivc-integration:test:native bb - Largest circuit: 26010 gates. Trace details: (mem: 669.70 MiB)
11:50:37 Minimum required block sizes for structured trace: (mem: 669.70 MiB)
11:50:37 (mem: 669.70 MiB)
11:50:37 prove decider... (mem: 669.70 MiB)
11:50:37 [11:50:37.011]
INFO:
ivc-integration:test:native bb - ecc_op : 392
11:50:37 busread : 12
11:50:37 lookup : 2
11:50:37 pub_inputs : 36
11:50:37 arithmetic : 6913
11:50:37 delta_range : 2353
11:50:37 elliptic : 2
11:50:37 aux : 110
11:50:37 poseidon2_external : 2492
11:50:37 poseidon2_internal : 14195
11:50:37 overflow : 0
11:50:37 [11:50:37.163]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 669.70 MiB)
11:50:37 [11:50:37.324]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 669.70 MiB)
11:50:38 [11:50:38.748]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 669.70 MiB)
11:50:38 [11:50:38.931]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 669.70 MiB)
11:50:38 finished decider proving. (mem: 669.70 MiB)
11:50:38 [11:50:38.973]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 669.70 MiB)
11:50:39 [11:50:39.109]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 669.70 MiB)
11:50:39 [11:50:39.115]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 669.70 MiB)
11:50:39 [11:50:39.309]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 669.70 MiB)
11:50:39 [11:50:39.414]
INFO:
ivc-integration:test:native bb - time to construct proving key: 304 ms. (mem: 669.70
11:50:39 [11:50:39.415]
INFO:
ivc-integration:test:native bb - MiB)
11:50:40 [11:50:40.802]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 669.70 MiB)
11:50:41 [11:50:41.493]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 669.70 MiB)
11:50:41 [11:50:41.771]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 669.70 MiB)
11:50:43 [11:50:43.160]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 669.70 MiB)
11:50:44 [11:50:44.362]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 669.70 MiB)
11:50:44 [11:50:44.501]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 669.70 MiB)
11:50:44 finished decider proving. (mem: 669.70 MiB)
11:50:44 Constructing a Goblin proof with num ultra ops = 1038 (mem: 669.70 MiB)
11:50:44 [11:50:44.994]
INFO:
ivc-integration:test:native bb - prove eccvm...
11:50:44 [11:50:44.994]
INFO:
ivc-integration:test:native bb - (mem:
11:50:44 [11:50:44.996]
INFO:
ivc-integration:test:native bb - 669.70 MiB)
11:50:45 [11:50:45.363]
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: 669.70 MiB)
11:50:45 [11:50:45.375]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 669.70 MiB)
11:50:47 [11:50:47.679]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 669.70 MiB)
11:50:49 [11:50:49.745]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 669.88 MiB)
11:50:54 [11:50:54.307]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 669.88 MiB)
11:50:54 prove translator... (mem: 669.88 MiB)
11:50:56 [11:50:56.228]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 706.88 MiB)
11:50:57 [11:50:57.886]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 706.88 MiB)
11:51:01 [11:51:01.132]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 706.88 MiB)
11:51:01 finished translator proving. (mem: 706.88 MiB)
11:51:01 [11:51:01.135]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 706.88 MiB)
11:51:01 [11:51:01.151]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 706.88 MiB)
11:51:01 libra_evals_verified: 1 (mem: 706.88 MiB)
11:51:01 pairing_check_verified: 1 (mem: 706.88 MiB)
11:51:01 Mega verified: 1 (mem: 706.88 MiB)
11:51:01 [11:51:01.309]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 707.88 MiB)
11:51:01 batch opening verified?: 1 (mem: 707.88 MiB)
11:51:01 eccvm consistency check verified?: 1 (mem: 707.88 MiB)
11:51:01 translation masking consistency checked?: 1 (mem: 707.88 MiB)
11:51:01 [11:51:01.333]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 707.88 MiB)
11:51:01 eccvm verified?: 1 (mem: 707.88 MiB)
11:51:01 accumulator construction_verified?: 1 (mem: 707.88 MiB)
11:51:01 translation verified?: 1 (mem: 707.88 MiB)
11:51:01 consistency verified?: 1 (mem: 707.88 MiB)
11:51:01 Goblin verified: 1 (mem: 707.88 MiB)
11:51:01 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-mUxiUd" (mem: 707.88 MiB)
11:51:01 [11:51:01.336]
INFO:
ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-mUxiUd" (mem: 707.88 MiB)
11:51:01 BN254 commitment key size: 262144 (mem: 707.88 MiB)
11:51:01 [11:51:01.338]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 707.88 MiB)
11:51:01 [11:51:01.341]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
11:51:01 [11:51:01.343]
INFO:
ivc-integration:test:native bb - (mem: 707.88 MiB)
11:51:01 goblin ecc op : 4/1024 (mem: 707.88 MiB)
11:51:01 busread : 3/6000 (mem: 707.88 MiB)
11:51:01 lookups : 2/15000 (mem: 707.88 MiB)
11:51:01 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 707.88 MiB)
11:51:01 arithmetic : 1773/56000 (mem: 707.88 MiB)
11:51:01 delta range : 1754/18000 (mem: 707.88 MiB)
11:51:01 elliptic : 2/6000 (mem: 707.88 MiB)
11:51:01 auxiliary : 26/26000 (mem: 707.88 MiB)
11:51:01 poseidon ext : 2/17000 (mem: 707.88 MiB)
11:51:01 poseidon int : 2/92000 (mem: 707.88 MiB)
11:51:01 overflow : 0/0 (mem: 707.88 MiB)
11:51:01 (mem: 707.88 MiB)
11:51:01 Total structured size: 242025 (mem: 707.88 MiB)
11:51:01 allocating polynomials object in proving key... (mem: 707.88 MiB)
11:51:01 [11:51:01.794]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 707.88 MiB)
11:51:01 [11:51:01.824]
INFO:
ivc-integration:test:native bb - time to construct proving key: 487 ms. (mem: 707.88 MiB)
11:51:02 [11:51:02.079]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 707.88 MiB)
11:51:02 [11:51:02.626]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 707.88 MiB)
11:51:02 [11:51:02.629]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 707.88 MiB)
11:51:03 [11:51:03.045]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 707.88 MiB)
11:51:03 [11:51:03.057]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c
11:51:03 [11:51:03.065]
INFO:
ivc-integration:test:native bb - (mem: 707.88 MiB)
11:51:03 [11:51:03.083]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
11:51:03 [11:51:03.084]
INFO:
ivc-integration:test:native bb - (mem:
11:51:03 [11:51:03.085]
INFO:
ivc-integration:test:native bb - 707.88
11:51:03 [11:51:03.085]
INFO:
ivc-integration:test:native bb - MiB)
11:51:03 [11:51:03.085]
INFO:
ivc-integration:test:native bb -
11:51:03 [11:51:03.093]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 707.88 MiB)
11:51:03 goblin ecc op : 56/1024 (mem: 707.88 MiB)
11:51:03 busread : 3/6000 (mem: 707.88 MiB)
11:51:03 lookups : 2/15000 (mem: 707.88 MiB)
11:51:03 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 707.88 MiB)
11:51:03 arithmetic : 4533/56000 (mem: 707.88 MiB)
11:51:03 delta range : 2060/18000 (mem: 707.88 MiB)
11:51:03 elliptic : 2/6000 (mem: 707.88 MiB)
11:51:03 auxiliary : 50/26000 (mem: 707.88 MiB)
11:51:03 poseidon ext : 1332/17000 (mem: 707.88 MiB)
11:51:03 poseidon int : 7583/92000 (mem: 707.88 MiB)
11:51:03 overflow : 0/0 (mem: 707.88 MiB)
11:51:03 (mem: 707.88 MiB)
11:51:03 Total structured size: 242025 (mem: 707.88 MiB)
11:51:03 allocating polynomials object in proving key... (mem: 707.88 MiB)
11:51:03 [11:51:03.354]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 707.88 MiB)
11:51:03 [11:51:03.393]
INFO:
ivc-integration:test:native bb - time to construct proving key: 305 ms. (mem: 707.88 MiB)
11:51:03 [11:51:03.653]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 707.88 MiB)
11:51:04 [11:51:04.192]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 707.88 MiB)
11:51:04 vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 707.88 MiB)
11:51:04 [11:51:04.988]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 707.88 MiB)
11:51:05 [11:51:05.283]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 707.88 MiB)
11:51:05 [11:51:05.386]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 739.88 MiB)
11:51:05 [11:51:05.721]
INFO:
ivc-integration:test:native bb - folded (mem: 739.88 MiB)
11:51:05 constructed folding proof (mem: 739.88 MiB)
11:51:05 Largest circuit: 15565 gates. Trace details: (mem: 739.88 MiB)
11:51:05 Minimum required block sizes for structured trace: (mem: 739.88 MiB)
11:51:05 (mem: 739.88 MiB)
11:51:05 prove decider... (mem: 739.88 MiB)
11:51:05 [11:51:05.722]
INFO:
ivc-integration:test:native bb - ecc_op : 56
11:51:05 busread : 3
11:51:05 lookup : 2
11:51:05 pub_inputs : 36
11:51:05 arithmetic : 4533
11:51:05 delta_range : 2060
11:51:05 elliptic : 2
11:51:05 aux : 50
11:51:05 poseidon2_external : 1332
11:51:05 poseidon2_internal : 7583
11:51:05 overflow : 0
11:51:05 [11:51:05.935]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 739.88 MiB)
11:51:06 [11:51:06.205]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 739.88 MiB)
11:51:08 [11:51:08.159]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 739.88 MiB)
11:51:08 [11:51:08.328]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 739.88 MiB)
11:51:08 finished decider proving. (mem: 739.88 MiB)
11:51:08 [11:51:08.350]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 739.88 MiB)
11:51:08 [11:51:08.491]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 739.88 MiB)
11:51:08 [11:51:08.522]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 739.88 MiB)
11:51:08 [11:51:08.729]
INFO:
ivc-integration:test:native bb - populating trace...
11:51:08 [11:51:08.734]
INFO:
ivc-integration:test:native bb - (mem: 739.88 MiB)
11:51:08 [11:51:08.795]
INFO:
ivc-integration:test:native bb - time to construct proving key: 306 ms.
11:51:08 [11:51:08.800]
INFO:
ivc-integration:test:native bb - (mem: 739.88 MiB)
11:51:09 [11:51:09.854]
INFO:
ivc-integration:test:native BB concurrency: 1
11:51:09 [11:51:09.855]
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-mUxiUd/proof -k /tmp/bb-client-ivc-integration-mUxiUd/vk -v
11:51:09 [11:51:09.887]
INFO:
ivc-integration:test:native bb command: verify
11:51:09 [11:51:09.890]
INFO:
ivc-integration:test:native (mem: 236.22 MiB)
11:51:09 Scheme is: client_ivc, num threads: 1 (mem: 236.22 MiB)
11:51:09 --proof_path: /tmp/bb-client-ivc-integration-mUxiUd/proof (mem: 236.22 MiB)
11:51:09 --vk_path: /tmp/bb-client-ivc-integration-mUxiUd/vk (mem: 236.22 MiB)
11:51:09 --verbose: true (mem: 236.22 MiB)
11:51:09 --scheme: client_ivc (mem: 236.22 MiB)
11:51:09 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 236.22 MiB)
11:51:09 [11:51:09.909]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 236.22 MiB)
11:51:09 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 236.22 MiB)
11:51:09 [11:51:09.940]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 236.22 MiB)
11:51:09 Initialized BN254 CRS from memory with num points = 1 (mem: 236.22 MiB)
11:51:09 [11:51:09.941]
INFO:
ivc-integration:test:native sumcheck_verified: 1
11:51:09 [11:51:09.941]
INFO:
ivc-integration:test:native (mem:
11:51:09 [11:51:09.946]
INFO:
ivc-integration:test:native 236.22 MiB)
11:51:09 libra_evals_verified: 1 (mem: 236.22 MiB)
11:51:09 pairing_check_verified: 1 (mem: 236.22 MiB)
11:51:09 Mega verified: 1 (mem: 236.22 MiB)
11:51:10 [11:51:10.411]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 236.22 MiB)
11:51:10 batch opening verified?: 1 (mem: 236.22 MiB)
11:51:10 eccvm consistency check verified?: 1 (mem: 236.22 MiB)
11:51:10 translation masking consistency checked?: 1 (mem: 236.22 MiB)
11:51:10 [11:51:10.433]
INFO:
ivc-integration:test:native merge verified?: 1
11:51:10 [11:51:10.434]
INFO:
ivc-integration:test:native (mem:
11:51:10 [11:51:10.434]
INFO:
ivc-integration:test:native 236.22
11:51:10 [11:51:10.435]
INFO:
ivc-integration:test:native MiB)
11:51:10 [11:51:10.438]
INFO:
ivc-integration:test:native
11:51:10 eccvm verified?: 1 (mem: 236.22 MiB)
11:51:10 accumulator construction_verified?: 1 (mem: 236.22 MiB)
11:51:10 translation verified?: 1 (mem: 236.22 MiB)
11:51:10 consistency verified?: 1 (mem: 236.22 MiB)
11:51:10 Goblin verified: 1 (mem: 236.22 MiB)
11:51:10 verified: 1 (mem: 236.22 MiB)
11:51:10 [11:51:10.582]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-DfzdkM/ivc-inputs.msgpack
11:51:10 [11:51:10.583]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
11:51:10 [11:51:10.583]
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-DfzdkM --ivc_inputs_path /tmp/bb-client-ivc-integration-DfzdkM/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
11:51:10 [11:51:10.614]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 239.09 MiB)
11:51:10 Scheme is: client_ivc, num threads: 128 (mem: 239.09 MiB)
11:51:10 --scheme: client_ivc (mem: 239.09 MiB)
11:51:10 --output_path: /tmp/bb-client-ivc-integration-DfzdkM (mem: 239.09 MiB)
11:51:10 --ivc_inputs_path: /tmp/bb-client-ivc-integration-DfzdkM/ivc-inputs.msgpack (mem: 239.09 MiB)
11:51:10 --verbose: true (mem: 239.09 MiB)
11:51:10 --write_vk: true (mem: 239.09 MiB)
11:51:10 [11:51:10.620]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 239.09 MiB)
11:51:10 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 239.09 MiB)
11:51:10 [11:51:10.722]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 239.09 MiB)
11:51:10 [11:51:10.728]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 239.09 MiB)
11:51:10 Constructing DeciderProvingKey (mem: 239.09 MiB)
11:51:10 [11:51:10.735]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 239.09 MiB)
11:51:10 goblin ecc op : 4/1024 (mem: 239.09 MiB)
11:51:10 busread : 7/6000 (mem: 239.09 MiB)
11:51:10 lookups : 2/15000 (mem: 239.09 MiB)
11:51:10 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 239.09 MiB)
11:51:10 arithmetic : 1760/56000 (mem: 239.09 MiB)
11:51:10 delta range : 1754/18000 (mem: 239.09 MiB)
11:51:10 elliptic : 2/6000 (mem: 239.09 MiB)
11:51:10 auxiliary : 26/26000 (mem: 239.09 MiB)
11:51:10 poseidon ext : 2/17000 (mem: 239.09 MiB)
11:51:10 poseidon int : 2/92000 (mem: 239.09 MiB)
11:51:10 overflow : 0/0 (mem: 239.09 MiB)
11:51:10 (mem: 239.09 MiB)
11:51:10 Total structured size: 242025 (mem: 239.09 MiB)
11:51:10 allocating polynomials object in proving key... (mem: 239.09 MiB)
11:51:11 [11:51:11.022]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 346.71 MiB)
11:51:11 [11:51:11.059]
INFO:
ivc-integration:test:native bb - time to construct proving key: 331 ms. (mem: 357.71 MiB)
11:51:11 [11:51:11.383]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f05a83983c0 (mem: 357.71 MiB)
11:51:11 [11:51:11.385]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 357.71 MiB)
11:51:11 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 357.71 MiB)
11:51:11 [11:51:11.841]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 368.71 MiB)
11:51:11 [11:51:11.850]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 368.71 MiB)
11:51:11 [11:51:11.873]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 368.71 MiB)
11:51:11 Constructing DeciderProvingKey (mem: 368.71 MiB)
11:51:11 [11:51:11.876]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 368.71 MiB)
11:51:11 goblin ecc op : 56/1024 (mem: 368.71 MiB)
11:51:11 busread : 12/6000 (mem: 368.71 MiB)
11:51:11 lookups : 2/15000 (mem: 368.71 MiB)
11:51:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 368.71 MiB)
11:51:11 arithmetic : 4677/56000 (mem: 368.71 MiB)
11:51:11 [11:51:11.878]
INFO:
ivc-integration:test:native bb - delta range : 2073/18000 (mem: 368.71 MiB)
11:51:11 elliptic : 2/6000 (mem: 368.71 MiB)
11:51:11 auxiliary : 110/26000 (mem: 368.71 MiB)
11:51:11 poseidon ext : 1322/17000 (mem: 368.71 MiB)
11:51:11 poseidon int : 7526/92000 (mem: 368.71 MiB)
11:51:11 overflow : 0/0 (mem: 368.71 MiB)
11:51:11 (mem: 368.71 MiB)
11:51:11 Total structured size: 242025 (mem: 368.71 MiB)
11:51:11 allocating polynomials object in proving key... (mem: 368.71 MiB)
11:51:12 [11:51:12.049]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 571.71 MiB)
11:51:12 [11:51:12.077]
INFO:
ivc-integration:test:native bb - time to construct proving key: 203 ms. (mem: 590.71 MiB)
11:51:12 [11:51:12.639]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f05a83a1680 (mem: 590.71 MiB)
11:51:12 computing folding proof (mem: 590.71 MiB)
11:51:12 [11:51:12.640]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 590.71 MiB)
11:51:13 [11:51:13.184]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 593.71 MiB)
11:51:13 [11:51:13.277]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 629.71 MiB)
11:51:13 [11:51:13.407]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 661.71 MiB)
11:51:14 [11:51:14.242]
INFO:
ivc-integration:test:native bb - folded
11:51:14 [11:51:14.243]
INFO:
ivc-integration:test:native bb - (mem: 661.71 MiB)
11:51:14 constructed folding proof (mem: 661.71 MiB)
11:51:14 [11:51:14.250]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 661.71 MiB)
11:51:14 Constructing DeciderProvingKey (mem: 661.71 MiB)
11:51:14 [11:51:14.258]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 661.71 MiB)
11:51:14 goblin ecc op : 4/1024 (mem: 661.71 MiB)
11:51:14 busread : 7/6000
11:51:14 [11:51:14.259]
INFO:
ivc-integration:test:native bb - (mem: 661.71 MiB)
11:51:14 lookups : 2/15000 (mem: 661.71 MiB)
11:51:14 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 661.71 MiB)
11:51:14 arithmetic : 1760/56000 (mem: 661.71 MiB)
11:51:14 delta range : 1754/18000 (mem: 661.71 MiB)
11:51:14 elliptic : 2/6000 (mem: 661.71 MiB)
11:51:14 auxiliary : 26/26000 (mem: 661.71 MiB)
11:51:14 poseidon ext : 2/17000 (mem: 661.71 MiB)
11:51:14 poseidon int : 2/92000 (mem: 661.71 MiB)
11:51:14 overflow : 0/0 (mem: 661.71 MiB)
11:51:14 (mem: 661.71 MiB)
11:51:14 Total structured size: 242025 (mem: 661.71 MiB)
11:51:14 allocating polynomials object in proving key... (mem: 661.71 MiB)
11:51:14 [11:51:14.492]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 661.71 MiB)
11:51:14 [11:51:14.539]
INFO:
ivc-integration:test:native bb - time to construct proving key: 284 ms. (mem: 661.71 MiB)
11:51:14 [11:51:14.865]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f05a839d340 (mem: 661.71 MiB)
11:51:14 computing folding proof (mem: 661.71 MiB)
11:51:14 [11:51:14.867]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 661.71 MiB)
11:51:15 [11:51:15.157]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 661.71 MiB)
11:51:15 [11:51:15.242]
INFO:
ivc-integration:test:native bb - perturbator round
11:51:15 [11:51:15.244]
INFO:
ivc-integration:test:native bb - (mem: 661.71 MiB)
11:51:15 [11:51:15.305]
INFO:
ivc-integration:test:native bb - combiner quotient round
11:51:15 [11:51:15.311]
INFO:
ivc-integration:test:native bb - (mem: 666.53 MiB)
11:51:15 [11:51:15.679]
INFO:
ivc-integration:test:native bb - folded (mem: 666.53 MiB)
11:51:15 constructed folding proof (mem: 666.53 MiB)
11:51:15 [11:51:15.689]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a93332ab8e2a40837e4a611879ce928f (mem: 666.53 MiB)
11:51:15 [11:51:15.799]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 666.53 MiB)
11:51:15 [11:51:15.900]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 666.53 MiB)
11:51:15 Constructing DeciderProvingKey (mem: 666.53 MiB)
11:51:15 [11:51:15.908]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
11:51:15 [11:51:15.913]
INFO:
ivc-integration:test:native bb - (mem: 666.53 MiB)
11:51:15 goblin ecc op : 792/1024 (mem: 666.53 MiB)
11:51:15 busread : 12/6000 (mem: 666.53 MiB)
11:51:15 lookups : 2/15000 (mem: 666.53 MiB)
11:51:15 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 666.53 MiB)
11:51:15 arithmetic : 12208/56000 (mem: 666.53 MiB)
11:51:15 delta range : 2981/18000 (mem: 666.53 MiB)
11:51:15 elliptic : 2/6000 (mem: 666.53 MiB)
11:51:15 auxiliary : 350/26000 (mem: 666.53 MiB)
11:51:15 poseidon ext : 4982/17000 (mem: 666.53 MiB)
11:51:15 poseidon int : 28388/92000 (mem: 666.53 MiB)
11:51:15 overflow : 0/0 (mem: 666.53 MiB)
11:51:15 (mem: 666.53 MiB)
11:51:15 Total structured size: 242025 (mem: 666.53 MiB)
11:51:15 allocating polynomials object in proving key... (mem: 666.53 MiB)
11:51:16 [11:51:16.121]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 666.53 MiB)
11:51:16 [11:51:16.173]
INFO:
ivc-integration:test:native bb - time to construct proving key: 273 ms. (mem: 666.53 MiB)
11:51:16 [11:51:16.466]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f05a84153c0 (mem: 666.53 MiB)
11:51:16 computing folding proof (mem: 666.53 MiB)
11:51:16 [11:51:16.467]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 666.53 MiB)
11:51:16 [11:51:16.881]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 666.53 MiB)
11:51:16 [11:51:16.991]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 684.45 MiB)
11:51:17 [11:51:17.064]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 716.45 MiB)
11:51:17 [11:51:17.211]
INFO:
ivc-integration:test:native bb - folded (mem: 716.45 MiB)
11:51:17 constructed folding proof (mem: 716.45 MiB)
11:51:17 [11:51:17.224]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e6174c1b0530833062ce32fac660e994 (mem: 716.45 MiB)
11:51:17 [11:51:17.287]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 716.45 MiB)
11:51:17 Constructing DeciderProvingKey (mem: 716.45 MiB)
11:51:17 [11:51:17.292]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 716.45 MiB)
11:51:17 goblin ecc op : 392/1024 (mem: 716.45 MiB)
11:51:17 busread : 16/6000 (mem: 716.45 MiB)
11:51:17 lookups : 2/15000 (mem: 716.45 MiB)
11:51:17 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 716.45 MiB)
11:51:17 arithmetic : 6978/56000 (mem: 716.45 MiB)
11:51:17 delta range : 2367/18000 (mem: 716.45 MiB)
11:51:17 elliptic : 2/6000 (mem: 716.45 MiB)
11:51:17 auxiliary : 77/26000 (mem: 716.45 MiB)
11:51:17 poseidon ext : 2492/17000 (mem: 716.45 MiB)
11:51:17 poseidon int : 14195/92000 (mem: 716.45 MiB)
11:51:17 overflow : 0/0 (mem: 716.45 MiB)
11:51:17 (mem: 716.45 MiB)
11:51:17 Total structured size: 242025 (mem: 716.45 MiB)
11:51:17 allocating polynomials object in proving key... (mem: 716.45 MiB)
11:51:17 [11:51:17.400]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 716.45 MiB)
11:51:17 [11:51:17.425]
INFO:
ivc-integration:test:native bb - time to construct proving key: 137 ms. (mem: 716.45 MiB)
11:51:17 [11:51:17.643]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f05a83a70c0 (mem: 716.45 MiB)
11:51:17 computing folding proof (mem: 716.45 MiB)
11:51:17 [11:51:17.644]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 716.45 MiB)
11:51:18 [11:51:18.086]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 716.45 MiB)
11:51:18 [11:51:18.172]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 716.45 MiB)
11:51:18 [11:51:18.256]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 717.29 MiB)
11:51:18 [11:51:18.458]
INFO:
ivc-integration:test:native bb - folded (mem: 717.29 MiB)
11:51:18 constructed folding proof (mem: 717.29 MiB)
11:51:18 [11:51:18.467]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000075df4506d195c4bc2eb2afcd2370a73f (mem: 717.29 MiB)
11:51:18 [11:51:18.532]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 717.29 MiB)
11:51:18 Constructing DeciderProvingKey (mem: 717.29 MiB)
11:51:18 [11:51:18.536]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 717.29 MiB)
11:51:18 goblin ecc op : 392/1024 (mem: 717.29 MiB)
11:51:18 busread : 3/6000 (mem: 717.29 MiB)
11:51:18 [11:51:18.537]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 717.29 MiB)
11:51:18 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 717.29 MiB)
11:51:18 arithmetic : 6913/56000 (mem: 717.29 MiB)
11:51:18 delta range : 2353/18000 (mem: 717.29 MiB)
11:51:18 elliptic : 2/6000 (mem: 717.29 MiB)
11:51:18 auxiliary : 50/26000 (mem: 717.29 MiB)
11:51:18 poseidon ext : 2492/17000 (mem: 717.29 MiB)
11:51:18 poseidon int : 14195/92000 (mem: 717.29 MiB)
11:51:18 overflow : 0/0 (mem: 717.29 MiB)
11:51:18 (mem: 717.29 MiB)
11:51:18 Total structured size: 242025 (mem: 717.29 MiB)
11:51:18 allocating polynomials object in proving key... (mem: 717.29 MiB)
11:51:18 [11:51:18.639]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 717.29 MiB)
11:51:18 [11:51:18.660]
INFO:
ivc-integration:test:native bb - time to construct proving key: 127 ms. (mem: 717.29 MiB)
11:51:18 [11:51:18.808]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f05a83a8080 (mem: 717.29 MiB)
11:51:18 computing folding proof (mem: 717.29 MiB)
11:51:18 [11:51:18.808]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 717.29 MiB)
11:51:19 [11:51:19.098]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 717.29 MiB)
11:51:19 [11:51:19.157]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 717.29 MiB)
11:51:19 [11:51:19.194]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 717.71 MiB)
11:51:19 [11:51:19.362]
INFO:
ivc-integration:test:native bb - folded (mem: 717.71 MiB)
11:51:19 constructed folding proof (mem: 717.71 MiB)
11:51:19 [11:51:19.363]
INFO:
ivc-integration:test:native bb - Largest circuit: 48925 gates. Trace details: (mem: 717.71 MiB)
11:51:19 Minimum required block sizes for structured trace: (mem: 717.71 MiB)
11:51:19 (mem: 717.71 MiB)
11:51:19 prove decider... (mem: 717.71 MiB)
11:51:19 [11:51:19.363]
INFO:
ivc-integration:test:native bb - ecc_op : 792
11:51:19 busread : 16
11:51:19 lookup : 2
11:51:19 pub_inputs : 36
11:51:19 arithmetic : 12208
11:51:19 delta_range : 2981
11:51:19 elliptic : 2
11:51:19 aux : 350
11:51:19 poseidon2_external : 4982
11:51:19 poseidon2_internal : 28388
11:51:19 overflow : 0
11:51:19 [11:51:19.449]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 717.71 MiB)
11:51:19 [11:51:19.544]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 717.71 MiB)
11:51:20 [11:51:20.150]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 717.71 MiB)
11:51:20 [11:51:20.233]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 717.71 MiB)
11:51:20 finished decider proving. (mem: 717.71 MiB)
11:51:20 [11:51:20.250]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f10ddd620c42c43004d2e6524a5379c6 (mem: 717.71 MiB)
11:51:20 [11:51:20.335]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 717.71 MiB)
11:51:20 [11:51:20.340]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 717.71 MiB)
11:51:20 [11:51:20.376]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 717.71 MiB)
11:51:20 [11:51:20.398]
INFO:
ivc-integration:test:native bb - time to construct proving key: 63 ms. (mem: 717.71 MiB)
11:51:20 [11:51:20.936]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 717.71 MiB)
11:51:21 [11:51:21.416]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 717.71 MiB)
11:51:21 [11:51:21.584]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 717.71 MiB)
11:51:22 [11:51:22.319]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 717.71 MiB)
11:51:22 [11:51:22.902]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 717.71 MiB)
11:51:22 [11:51:22.997]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 717.71 MiB)
11:51:22 finished decider proving. (mem: 717.71 MiB)
11:51:22 [11:51:22.998]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 717.71 MiB)
11:51:23 [11:51:23.150]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 717.71 MiB)
11:51:23 [11:51:23.381]
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: 717.71 MiB)
11:51:23 [11:51:23.390]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 717.71 MiB)
11:51:24 [11:51:24.728]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 717.71 MiB)
11:51:25 [11:51:25.774]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 717.71 MiB)
11:51:28 [11:51:28.135]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 717.71 MiB)
11:51:28 prove translator... (mem: 717.71 MiB)
11:51:29 [11:51:29.335]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 732.39 MiB)
11:51:32 [11:51:32.932]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 732.39 MiB)
11:51:35 [11:51:35.770]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 732.39 MiB)
11:51:35 finished translator proving. (mem: 732.39 MiB)
11:51:35 vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 732.39 MiB)
11:51:35 [11:51:35.786]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 732.39 MiB)
11:51:35 libra_evals_verified: 1 (mem: 732.39 MiB)
11:51:35 pairing_check_verified: 1 (mem: 732.39 MiB)
11:51:35 Mega verified: 1 (mem: 732.39 MiB)
11:51:35 [11:51:35.910]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 732.39 MiB)
11:51:35 batch opening verified?: 1 (mem: 732.39 MiB)
11:51:35 eccvm consistency check verified?: 1 (mem: 732.39 MiB)
11:51:35 translation masking consistency checked?: 1 (mem: 732.39 MiB)
11:51:35 [11:51:35.930]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 732.39 MiB)
11:51:35 eccvm verified?: 1 (mem: 732.39 MiB)
11:51:35 accumulator construction_verified?: 1 (mem: 732.39 MiB)
11:51:35 translation verified?: 1 (mem: 732.39 MiB)
11:51:35 consistency verified?: 1 (mem: 732.39 MiB)
11:51:35 Goblin verified: 1 (mem: 732.39 MiB)
11:51:35 [11:51:35.933]
INFO:
ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-DfzdkM" (mem: 732.39 MiB)
11:51:35 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-DfzdkM" (mem: 732.39 MiB)
11:51:35 BN254 commitment key size: 262144 (mem: 732.39 MiB)
11:51:35 [11:51:35.936]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 732.39 MiB)
11:51:35 [11:51:35.944]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 732.39 MiB)
11:51:35 goblin ecc op : 4/1024 (mem: 732.39 MiB)
11:51:35 busread : 3/6000 (mem: 732.39 MiB)
11:51:35 lookups : 2/15000 (mem: 732.39 MiB)
11:51:35 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 732.39 MiB)
11:51:35 arithmetic : 1773/56000 (mem: 732.39 MiB)
11:51:35 delta range : 1754/18000 (mem: 732.39 MiB)
11:51:35 elliptic : 2/6000 (mem: 732.39 MiB)
11:51:35 auxiliary : 26/26000 (mem: 732.39 MiB)
11:51:35 poseidon ext : 2/17000 (mem: 732.39 MiB)
11:51:35 poseidon int : 2/92000 (mem: 732.39 MiB)
11:51:35 overflow : 0/0 (mem: 732.39 MiB)
11:51:35 (mem: 732.39 MiB)
11:51:35 Total structured size: 242025 (mem: 732.39 MiB)
11:51:35 allocating polynomials object in proving key... (mem: 732.39 MiB)
11:51:36 [11:51:36.098]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 732.39 MiB)
11:51:36 [11:51:36.128]
INFO:
ivc-integration:test:native bb - time to construct proving key: 188 ms. (mem: 732.39 MiB)
11:51:36 [11:51:36.302]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 732.39 MiB)
11:51:36 [11:51:36.792]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 732.39 MiB)
11:51:36 [11:51:36.793]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 732.39 MiB)
11:51:37 [11:51:37.232]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 732.39 MiB)
11:51:37 [11:51:37.243]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 732.39 MiB)
11:51:37 [11:51:37.258]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 732.39 MiB)
11:51:37 [11:51:37.263]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 732.39 MiB)
11:51:37 goblin ecc op : 56/1024 (mem: 732.39 MiB)
11:51:37 busread : 3/6000 (mem: 732.39 MiB)
11:51:37 lookups : 2/15000 (mem: 732.39 MiB)
11:51:37 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 732.39 MiB)
11:51:37 arithmetic : 4533/56000 (mem: 732.39 MiB)
11:51:37 delta range : 2060/18000 (mem: 732.39 MiB)
11:51:37 elliptic : 2/6000 (mem: 732.39 MiB)
11:51:37 auxiliary : 50/26000 (mem: 732.39 MiB)
11:51:37 poseidon ext : 1332/17000 (mem: 732.39 MiB)
11:51:37 poseidon int : 7583/92000 (mem: 732.39 MiB)
11:51:37 overflow : 0/0 (mem: 732.39 MiB)
11:51:37 (mem: 732.39 MiB)
11:51:37 Total structured size: 242025 (mem: 732.39 MiB)
11:51:37 allocating polynomials object in proving key... (mem: 732.39 MiB)
11:51:37 [11:51:37.422]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 732.39 MiB)
11:51:37 [11:51:37.457]
INFO:
ivc-integration:test:native bb - time to construct proving key: 198 ms. (mem: 732.39 MiB)
11:51:37 [11:51:37.640]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 732.39 MiB)
11:51:37 [11:51:37.863]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 732.39 MiB)
11:51:37 [11:51:37.864]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 732.39 MiB)
11:51:38 [11:51:38.212]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 732.39 MiB)
11:51:38 [11:51:38.335]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 732.39 MiB)
11:51:38 [11:51:38.395]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 764.39 MiB)
11:51:38 [11:51:38.767]
INFO:
ivc-integration:test:native bb - folded (mem: 764.39 MiB)
11:51:38 constructed folding proof (mem: 764.39 MiB)
11:51:38 [11:51:38.768]
INFO:
ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 764.39 MiB)
11:51:38 Minimum required block sizes for structured trace: (mem: 764.39 MiB)
11:51:38 (mem: 764.39 MiB)
11:51:38 prove decider... (mem: 764.39 MiB)
11:51:38 [11:51:38.768]
INFO:
ivc-integration:test:native bb - ecc_op : 56
11:51:38 busread : 3
11:51:38 lookup : 2
11:51:38 pub_inputs : 36
11:51:38 arithmetic : 4533
11:51:38 delta_range : 2060
11:51:38 elliptic : 2
11:51:38 aux : 50
11:51:38 poseidon2_external : 1332
11:51:38 poseidon2_internal : 7583
11:51:38 overflow : 0
11:51:38 [11:51:38.952]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 764.39 MiB)
11:51:39 [11:51:39.055]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 764.39 MiB)
11:51:40 [11:51:40.010]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 764.39 MiB)
11:51:40 [11:51:40.096]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 764.39 MiB)
11:51:40 finished decider proving. (mem: 764.39 MiB)
11:51:40 [11:51:40.107]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 764.39 MiB)
11:51:40 [11:51:40.186]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 764.39 MiB)
11:51:40 [11:51:40.191]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 764.39 MiB)
11:51:40 [11:51:40.253]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 764.39 MiB)
11:51:40 [11:51:40.278]
INFO:
ivc-integration:test:native bb - time to construct proving key: 91 ms. (mem: 764.39 MiB)
11:51:40 [11:51:40.805]
INFO:
ivc-integration:test:native BB concurrency: 1
11:51:40 [11:51:40.805]
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-DfzdkM/proof -k /tmp/bb-client-ivc-integration-DfzdkM/vk -v
11:51:40 [11:51:40.830]
INFO:
ivc-integration:test:native bb command: verify (mem: 242.21 MiB)
11:51:40 Scheme is: client_ivc, num threads: 1 (mem: 242.21 MiB)
11:51:40 [11:51:40.830]
INFO:
ivc-integration:test:native
11:51:40 --proof_path: /tmp/bb-client-ivc-integration-DfzdkM/proof (mem: 242.21 MiB)
11:51:40 --vk_path: /tmp/bb-client-ivc-integration-DfzdkM/vk (mem: 242.21 MiB)
11:51:40 --verbose: true (mem: 242.21 MiB)
11:51:40 --scheme: client_ivc (mem: 242.21 MiB)
11:51:40 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 242.21 MiB)
11:51:40 [11:51:40.849]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 242.21 MiB)
11:51:40 [11:51:40.850]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 242.21 MiB)
11:51:40 [11:51:40.872]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 242.21 MiB)
11:51:40 [11:51:40.873]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1 (mem: 242.21 MiB)
11:51:40 [11:51:40.874]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 242.21 MiB)
11:51:40 libra_evals_verified: 1 (mem: 242.21 MiB)
11:51:40 pairing_check_verified: 1 (mem: 242.21 MiB)
11:51:40 Mega verified: 1 (mem: 242.21 MiB)
11:51:41 [11:51:41.361]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 242.21 MiB)
11:51:41 batch opening verified?: 1 (mem: 242.21 MiB)
11:51:41 eccvm consistency check verified?: 1 (mem: 242.21 MiB)
11:51:41 translation masking consistency checked?: 1 (mem: 242.21 MiB)
11:51:41 [11:51:41.373]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 242.21 MiB)
11:51:41 eccvm verified?: 1 (mem: 242.21 MiB)
11:51:41 accumulator construction_verified?: 1 (mem: 242.21 MiB)
11:51:41 translation verified?: 1 (mem: 242.21 MiB)
11:51:41 consistency verified?: 1 (mem: 242.21 MiB)
11:51:41 Goblin verified: 1 (mem: 242.21 MiB)
11:51:41 verified: 1 (mem: 242.21 MiB)
11:51:41
PASS src/native_client_ivc_integration.test.ts (
71.761 s)
11:51:41 Client IVC Integration
11:51:41
✓ Should generate a verifiable client IVC proof from a simple mock tx (37265 ms)
11:51:41
✓ Should generate a verifiable client IVC proof from a complex mock tx (30932 ms)
11:51:41
11:51:41
Test Suites: 1 passed, 1 total
11:51:41
Tests: 2 passed, 2 total
11:51:41
Snapshots: 0 total
11:51:41
Time: 71.839 s
11:51:41
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
11:51:41
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?