Parent Log:
http://ci.aztec-labs.com/dfafad3f43a52d54
Command: ccc91e389ae607c5: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/16fc84676c7308fa5f7ca4a54b67319803d0f5b7
Env: REF_NAME=gh-readonly-queue/next/pr-15072-991b313d676f7cf820bb62a33e57cf5a4c8cf9cf CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 15:53:24 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15072_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
15:53:29 [15:53:29.259]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-nqDpSI/ivc-inputs.msgpack
15:53:29 [15:53:29.263]
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-nqDpSI --ivc_inputs_path /tmp/bb-client-ivc-integration-nqDpSI/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
15:53:29 [15:53:29.282]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 184.73 MiB)
15:53:29 Scheme is: client_ivc, num threads: 128 (mem: 184.73 MiB)
15:53:29 --scheme: client_ivc (mem: 184.73 MiB)
15:53:29 --output_path: /tmp/bb-client-ivc-integration-nqDpSI (mem: 184.73 MiB)
15:53:29 --ivc_inputs_path: /tmp/bb-client-ivc-integration-nqDpSI/ivc-inputs.msgpack (mem: 184.73 MiB)
15:53:29 --verbose: true (mem: 184.73 MiB)
15:53:29 --write_vk: true (mem: 184.73 MiB)
15:53:29 [15:53:29.283]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 184.73 MiB)
15:53:29 [15:53:29.394]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.00 MiB)
15:53:29 [15:53:29.472]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 297.32 MiB)
15:53:29 [15:53:29.476]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 297.32 MiB)
15:53:29 Constructing DeciderProvingKey (mem:
15:53:29 [15:53:29.477]
INFO:
ivc-integration:test:native bb - 297.32 MiB)
15:53:29 [15:53:29.482]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 297.32 MiB)
15:53:29 goblin ecc op : 4/1024 (mem: 297.32 MiB)
15:53:29 busread : 7/6000 (mem: 297.32 MiB)
15:53:29 lookups : 2/15000 (mem: 297.32 MiB)
15:53:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 297.32 MiB)
15:53:29 arithmetic : 1760/56000 (mem: 297.32 MiB)
15:53:29 delta range : 1754/18000 (mem: 297.32 MiB)
15:53:29 elliptic : 2/6000 (mem: 297.32 MiB)
15:53:29 auxiliary : 26/26000 (mem: 297.32 MiB)
15:53:29 poseidon ext : 2/17000 (mem: 297.32 MiB)
15:53:29 poseidon int : 2/92000 (mem: 297.32 MiB)
15:53:29 overflow : 0/0 (mem: 297.32 MiB)
15:53:29 (mem: 297.32 MiB)
15:53:29 Total structured size: 242025 (mem: 297.32 MiB)
15:53:29 allocating polynomials object in proving key... (mem: 297.32 MiB)
15:53:29 [15:53:29.556]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 504.48 MiB)
15:53:29 [15:53:29.565]
INFO:
ivc-integration:test:native bb - time to construct proving key: 88 ms. (mem: 517.48 MiB)
15:53:29 [15:53:29.616]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x59a0dec54600 (mem: 517.48 MiB)
15:53:29 [15:53:29.617]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 517.48 MiB)
15:53:29 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 517.48 MiB)
15:53:29 [15:53:29.772]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 526.48 MiB)
15:53:29 [15:53:29.782]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 526.48 MiB)
15:53:29 [15:53:29.799]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 526.48 MiB)
15:53:29 Constructing DeciderProvingKey (mem: 526.48 MiB)
15:53:29 [15:53:29.803]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 526.48 MiB)
15:53:29 goblin ecc op : 56/1024 (mem: 526.48 MiB)
15:53:29 busread : 12/6000 (mem: 526.48 MiB)
15:53:29 lookups : 2/15000 (mem: 526.48 MiB)
15:53:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 526.48
15:53:29 [15:53:29.805]
INFO:
ivc-integration:test:native bb - MiB)
15:53:29 arithmetic : 4625/56000 (mem: 526.48 MiB)
15:53:29 delta range : 2054/18000 (mem: 526.48 MiB)
15:53:29 elliptic : 2/6000 (mem: 526.48 MiB)
15:53:29 auxiliary : 110/26000 (mem: 526.48 MiB)
15:53:29 poseidon ext : 1302/17000 (mem: 526.48 MiB)
15:53:29 poseidon int : 7412/92000 (mem: 526.48 MiB)
15:53:29 overflow : 0/0 (mem: 526.48 MiB)
15:53:29 (mem: 526.48 MiB)
15:53:29 Total structured size: 242025 (mem: 526.48 MiB)
15:53:29 allocating polynomials object in proving key... (mem: 526.48 MiB)
15:53:29 [15:53:29.896]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 732.48 MiB)
15:53:29 [15:53:29.924]
INFO:
ivc-integration:test:native bb - time to construct proving key: 124 ms. (mem: 749.48 MiB)
15:53:29 [15:53:29.985]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x59a0dec61280 (mem: 749.48 MiB)
15:53:29 computing folding proof (mem: 749.48 MiB)
15:53:29 [15:53:29.985]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 749.48 MiB)
15:53:30 [15:53:30.442]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 750.48 MiB)
15:53:30 [15:53:30.551]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 787.48 MiB)
15:53:30 [15:53:30.607]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 819.48 MiB)
15:53:31 [15:53:31.016]
INFO:
ivc-integration:test:native bb - folded (mem: 819.48 MiB)
15:53:31 constructed folding proof (mem: 819.48 MiB)
15:53:31 [15:53:31.028]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 819.48 MiB)
15:53:31 [15:53:31.107]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 819.48 MiB)
15:53:31 Constructing DeciderProvingKey (mem: 819.48 MiB)
15:53:31 [15:53:31.112]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 819.48 MiB)
15:53:31 goblin ecc op : 392/1024 (mem: 819.48 MiB)
15:53:31 busread : 3/6000 (mem: 819.48 MiB)
15:53:31 lookups : 2/15000 (mem: 819.48 MiB)
15:53:31 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 819.48 MiB)
15:53:31 arithmetic : 6849/56000 (mem: 819.48 MiB)
15:53:31 delta range : 2333/18000 (mem: 819.48 MiB)
15:53:31 elliptic : 2/6000 (mem: 819.48 MiB)
15:53:31 auxiliary : 50/26000 (mem: 819.48 MiB)
15:53:31 poseidon ext : 2472/17000 (mem: 819.48 MiB)
15:53:31 poseidon int : 14081/92000 (mem: 819.48 MiB)
15:53:31 overflow : 0/0 (mem: 819.48 MiB)
15:53:31 [15:53:31.113]
INFO:
ivc-integration:test:native bb -
15:53:31 (mem: 819.48 MiB)
15:53:31 Total structured size: 242025 (mem: 819.48 MiB)
15:53:31 allocating polynomials object in proving key... (mem: 819.48 MiB)
15:53:31 [15:53:31.324]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 819.48 MiB)
15:53:31 [15:53:31.366]
INFO:
ivc-integration:test:native bb - time to construct proving key: 256 ms. (mem: 819.48 MiB)
15:53:31 [15:53:31.567]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x59a0dec56d00 (mem: 819.48 MiB)
15:53:31 computing folding proof (mem: 819.48 MiB)
15:53:31 vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 819.48 MiB)
15:53:32 [15:53:32.152]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 819.48 MiB)
15:53:32 [15:53:32.266]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 819.48 MiB)
15:53:32 [15:53:32.320]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 819.48 MiB)
15:53:32 [15:53:32.785]
INFO:
ivc-integration:test:native bb - folded (mem: 819.48 MiB)
15:53:32 constructed folding proof (mem: 819.48 MiB)
15:53:32 [15:53:32.788]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 819.48 MiB)
15:53:32 Minimum required block sizes for structured trace: (mem: 819.48 MiB)
15:53:32 (mem: 819.48 MiB)
15:53:32 prove decider... (mem: 819.48 MiB)
15:53:32 [15:53:32.790]
INFO:
ivc-integration:test:native bb - ecc_op : 392
15:53:32 busread : 12
15:53:32 lookup : 2
15:53:32 pub_inputs : 36
15:53:32 arithmetic : 6849
15:53:32 delta_range : 2333
15:53:32 elliptic : 2
15:53:32 aux : 110
15:53:32 poseidon2_external : 2472
15:53:32 poseidon2_internal : 14081
15:53:32 overflow : 0
15:53:32 [15:53:32.986]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
15:53:32 [15:53:32.987]
INFO:
ivc-integration:test:native bb - (mem: 819.48 MiB)
15:53:33 [15:53:33.189]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
15:53:33 [15:53:33.193]
INFO:
ivc-integration:test:native bb - (mem: 819.48 MiB)
15:53:34 [15:53:34.268]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 819.48 MiB)
15:53:34 [15:53:34.361]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 819.48 MiB)
15:53:34 finished decider proving. (mem: 819.48 MiB)
15:53:34 [15:53:34.394]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 819.48 MiB)
15:53:34 [15:53:34.504]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 819.48 MiB)
15:53:34 [15:53:34.510]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 819.48 MiB)
15:53:34 [15:53:34.625]
INFO:
ivc-integration:test:native bb - populating trace...
15:53:34 [15:53:34.626]
INFO:
ivc-integration:test:native bb - (mem: 819.48 MiB)
15:53:34 [15:53:34.671]
INFO:
ivc-integration:test:native bb - time to construct proving key: 169 ms. (mem: 819.48 MiB)
15:53:35 [15:53:35.713]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 819.48 MiB)
15:53:36 [15:53:36.401]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 819.48 MiB)
15:53:36 [15:53:36.739]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 819.48 MiB)
15:53:38 [15:53:38.428]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 819.48 MiB)
15:53:39 [15:53:39.740]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
15:53:39 [15:53:39.744]
INFO:
ivc-integration:test:native bb - (mem: 819.48 MiB)
15:53:39 [15:53:39.778]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 819.48 MiB)
15:53:39 finished decider proving. (mem: 819.48 MiB)
15:53:39 Constructing a Goblin proof with num ultra ops = 1038 (mem: 819.48 MiB)
15:53:40 [15:53:40.065]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 819.48 MiB)
15:53:40 [15:53:40.839]
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: 819.48 MiB)
15:53:40 [15:53:40.874]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 819.48 MiB)
15:53:43 [15:53:43.010]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 819.48 MiB)
15:53:45 [15:53:45.526]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 819.48 MiB)
15:53:50 [15:53:50.188]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 819.48 MiB)
15:53:50 prove translator... (mem: 819.48 MiB)
15:53:52 [15:53:52.849]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.63 MiB)
15:53:55 [15:53:55.298]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
15:53:55 [15:53:55.299]
INFO:
ivc-integration:test:native bb - (mem: 846.63 MiB)
15:53:57 [15:53:57.667]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 846.63 MiB)
15:53:57 finished translator proving. (mem: 846.63 MiB)
15:53:57 [15:53:57.671]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93
15:53:57 [15:53:57.673]
INFO:
ivc-integration:test:native bb - (mem: 846.63 MiB)
15:53:57 [15:53:57.691]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 846.63 MiB)
15:53:57 libra_evals_verified: 1 (mem: 846.63 MiB)
15:53:57 pairing_check_verified: 1 (mem: 846.63 MiB)
15:53:57 Mega verified: 1 (mem: 846.63 MiB)
15:53:57 [15:53:57.781]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1
15:53:57 [15:53:57.784]
INFO:
ivc-integration:test:native bb - (mem: 846.63 MiB)
15:53:57 batch opening verified?: 1 (mem: 846.63 MiB)
15:53:57 eccvm consistency check verified?: 1 (mem: 846.63 MiB)
15:53:57 translation masking consistency checked?: 1 (mem: 846.63 MiB)
15:53:57 [15:53:57.815]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 846.63 MiB)
15:53:57 eccvm verified?: 1 (mem: 846.63 MiB)
15:53:57 accumulator construction_verified?: 1 (mem: 846.63 MiB)
15:53:57 translation verified?: 1 (mem: 846.63 MiB)
15:53:57 consistency verified?: 1 (mem: 846.63 MiB)
15:53:57 Goblin verified: 1 (mem: 846.63 MiB)
15:53:57 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-nqDpSI" (mem: 846.63 MiB)
15:53:57 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-nqDpSI" (mem: 846.63 MiB)
15:53:57 BN254 commitment key size: 262144 (mem: 846.63 MiB)
15:53:57 [15:53:57.818]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
15:53:57 [15:53:57.821]
INFO:
ivc-integration:test:native bb - (mem: 846.63 MiB)
15:53:57 [15:53:57.823]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
15:53:57 [15:53:57.823]
INFO:
ivc-integration:test:native bb - (mem:
15:53:57 [15:53:57.825]
INFO:
ivc-integration:test:native bb - 846.63 MiB)
15:53:57 goblin ecc op : 4/1024 (mem: 846.63 MiB)
15:53:57 busread : 3/6000 (mem: 846.63 MiB)
15:53:57 lookups : 2/15000 (mem: 846.63 MiB)
15:53:57 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.63 MiB)
15:53:57 arithmetic : 1773/56000 (mem: 846.63 MiB)
15:53:57 delta range : 1754/18000 (mem: 846.63 MiB)
15:53:57 elliptic : 2/6000 (mem: 846.63 MiB)
15:53:57 auxiliary : 26/26000 (mem: 846.63 MiB)
15:53:57 poseidon ext : 2/17000 (mem: 846.63 MiB)
15:53:57 poseidon int : 2/92000 (mem: 846.63 MiB)
15:53:57 overflow : 0/0 (mem: 846.63 MiB)
15:53:57 (mem: 846.63 MiB)
15:53:57 Total structured size: 242025 (mem: 846.63 MiB)
15:53:57 allocating polynomials object in proving key... (mem: 846.63 MiB)
15:53:58 [15:53:58.116]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.63 MiB)
15:53:58 [15:53:58.147]
INFO:
ivc-integration:test:native bb - time to construct proving key: 328 ms. (mem: 846.63 MiB)
15:53:58 [15:53:58.299]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.63 MiB)
15:53:59 [15:53:59.238]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 846.63 MiB)
15:53:59 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.63 MiB)
15:53:59 [15:53:59.778]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 846.63 MiB)
15:53:59 [15:53:59.789]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.63 MiB)
15:53:59 [15:53:59.816]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.63 MiB)
15:53:59 [15:53:59.820]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.63 MiB)
15:53:59 goblin ecc op : 56/1024 (mem: 846.63 MiB)
15:53:59 busread : 3/6000 (mem: 846.63 MiB)
15:53:59 [15:53:59.821]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 846.63 MiB)
15:53:59 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.63 MiB)
15:53:59 arithmetic : 4481/56000 (mem: 846.63 MiB)
15:53:59 delta range : 2041/18000 (mem: 846.63 MiB)
15:53:59 elliptic : 2/6000 (mem: 846.63 MiB)
15:53:59 auxiliary : 50/26000 (mem: 846.63 MiB)
15:53:59 poseidon ext : 1312/17000 (mem: 846.63 MiB)
15:53:59 poseidon int : 7469/92000 (mem: 846.63 MiB)
15:53:59 overflow : 0/0 (mem: 846.63 MiB)
15:53:59 (mem: 846.63 MiB)
15:53:59 Total structured size: 242025 (mem: 846.63 MiB)
15:53:59 allocating polynomials object in proving key... (mem: 846.63 MiB)
15:54:00 [15:54:00.114]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.63 MiB)
15:54:00 [15:54:00.160]
INFO:
ivc-integration:test:native bb - time to construct proving key: 343 ms. (mem: 846.63 MiB)
15:54:00 [15:54:00.395]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.63 MiB)
15:54:01 [15:54:01.364]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 846.63 MiB)
15:54:01 [15:54:01.364]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 846.63 MiB)
15:54:02 [15:54:02.338]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.63 MiB)
15:54:02 [15:54:02.503]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 848.63 MiB)
15:54:02 [15:54:02.569]
INFO:
ivc-integration:test:native bb - combiner quotient round
15:54:02 [15:54:02.574]
INFO:
ivc-integration:test:native bb - (mem: 880.63 MiB)
15:54:03 [15:54:03.214]
INFO:
ivc-integration:test:native bb - folded (mem: 880.63 MiB)
15:54:03 constructed folding proof (mem: 880.63 MiB)
15:54:03 [15:54:03.215]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 880.63 MiB)
15:54:03 Minimum required block sizes for structured trace: (mem: 880.63 MiB)
15:54:03 (mem: 880.63 MiB)
15:54:03 prove decider... (mem: 880.63 MiB)
15:54:03 [15:54:03.216]
INFO:
ivc-integration:test:native bb - ecc_op : 56
15:54:03 busread : 3
15:54:03 lookup : 2
15:54:03 pub_inputs : 36
15:54:03 arithmetic : 4481
15:54:03 delta_range : 2041
15:54:03 elliptic : 2
15:54:03 aux : 50
15:54:03 poseidon2_external : 1312
15:54:03 poseidon2_internal : 7469
15:54:03 overflow : 0
15:54:03 [15:54:03.475]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 880.63 MiB)
15:54:03 [15:54:03.746]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 880.63 MiB)
15:54:05 [15:54:05.054]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 880.63 MiB)
15:54:05 [15:54:05.167]
INFO:
ivc-integration:test:native bb - computed opening proof
15:54:05 [15:54:05.172]
INFO:
ivc-integration:test:native bb - (mem: 880.63 MiB)
15:54:05 finished decider proving. (mem: 880.63 MiB)
15:54:05 [15:54:05.190]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 880.63 MiB)
15:54:05 [15:54:05.347]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
15:54:05 [15:54:05.348]
INFO:
ivc-integration:test:native bb - (mem: 880.63 MiB)
15:54:05 [15:54:05.355]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 880.63 MiB)
15:54:05 [15:54:05.553]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 880.63 MiB)
15:54:05 [15:54:05.601]
INFO:
ivc-integration:test:native bb - time to construct proving key: 253 ms. (mem: 880.63 MiB)
15:54:06 [15:54:06.256]
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-nqDpSI/proof -k /tmp/bb-client-ivc-integration-nqDpSI/vk -v
15:54:06 [15:54:06.294]
INFO:
ivc-integration:test:native bb command: verify (mem: 184.73 MiB)
15:54:06 [15:54:06.294]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 184.73 MiB)
15:54:06 --proof_path: /tmp/bb-client-ivc-integration-nqDpSI/proof (mem: 184.73 MiB)
15:54:06 --vk_path: /tmp/bb-client-ivc-integration-nqDpSI/vk (mem: 184.73 MiB)
15:54:06 --verbose: true (mem: 184.73 MiB)
15:54:06 --scheme: client_ivc (mem: 184.73 MiB)
15:54:06 [15:54:06.388]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 184.73 MiB)
15:54:06 [15:54:06.407]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 184.73 MiB)
15:54:06 [15:54:06.409]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 184.73 MiB)
15:54:06 [15:54:06.425]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 184.73 MiB)
15:54:06 [15:54:06.426]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 184.73 MiB)
15:54:06 [15:54:06.426]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 184.73 MiB)
15:54:06 libra_evals_verified: 1 (mem: 184.73 MiB)
15:54:06 pairing_check_verified: 1 (mem: 184.73 MiB)
15:54:06 Mega verified: 1 (mem: 184.73 MiB)
15:54:06 [15:54:06.507]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 184.73 MiB)
15:54:06 batch opening verified?: 1 (mem: 184.73 MiB)
15:54:06 eccvm consistency check verified?: 1 (mem: 184.73 MiB)
15:54:06 translation masking consistency checked?: 1 (mem: 184.73 MiB)
15:54:06 [15:54:06.529]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 184.73 MiB)
15:54:06 eccvm verified?: 1 (mem: 184.73 MiB)
15:54:06 accumulator construction_verified?: 1 (mem: 184.73 MiB)
15:54:06 translation verified?: 1 (mem: 184.73 MiB)
15:54:06 consistency verified?: 1 (mem: 184.73 MiB)
15:54:06 Goblin verified: 1 (mem: 184.73 MiB)
15:54:06 [15:54:06.535]
INFO:
ivc-integration:test:native verified: 1 (mem: 184.73 MiB)
15:54:06 [15:54:06.675]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-ZPieXJ/ivc-inputs.msgpack
15:54:06 [15:54:06.676]
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-ZPieXJ --ivc_inputs_path /tmp/bb-client-ivc-integration-ZPieXJ/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
15:54:06 [15:54:06.703]
INFO:
ivc-integration:test:native bb - bb command: prove
15:54:06 [15:54:06.708]
INFO:
ivc-integration:test:native bb - (mem: 185.86 MiB)
15:54:06 Scheme is: client_ivc, num threads: 128 (mem: 185.86 MiB)
15:54:06 --scheme: client_ivc (mem: 185.86 MiB)
15:54:06 --output_path: /tmp/bb-client-ivc-integration-ZPieXJ (mem: 185.86 MiB)
15:54:06 --ivc_inputs_path: /tmp/bb-client-ivc-integration-ZPieXJ/ivc-inputs.msgpack (mem: 185.86 MiB)
15:54:06 --verbose: true (mem: 185.86 MiB)
15:54:06 --write_vk: true (mem: 185.86 MiB)
15:54:06 [15:54:06.712]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 185.86 MiB)
15:54:06 [15:54:06.848]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 256.00 MiB)
15:54:06 [15:54:06.929]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 304.49 MiB)
15:54:06 [15:54:06.933]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 304.49 MiB)
15:54:06 [15:54:06.934]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 304.49 MiB)
15:54:06 [15:54:06.941]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 304.49 MiB)
15:54:06 goblin ecc op : 4/1024 (mem: 304.49 MiB)
15:54:06 busread : 7/6000 (mem: 304.49 MiB)
15:54:06 lookups : 2/15000 (mem: 304.49 MiB)
15:54:06 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 304.49 MiB)
15:54:06 arithmetic : 1760/56000 (mem: 304.49 MiB)
15:54:06 delta range : 1754/18000 (mem: 304.49 MiB)
15:54:06 elliptic : 2/6000 (mem: 304.49 MiB)
15:54:06 auxiliary : 26/26000 (mem: 304.49 MiB)
15:54:06 poseidon ext : 2/17000 (mem: 304.49 MiB)
15:54:06 poseidon int : 2/92000 (mem: 304.49 MiB)
15:54:06 overflow : 0/0 (mem: 304.49 MiB)
15:54:06 (mem: 304.49 MiB)
15:54:06 Total structured size: 242025 (mem: 304.49 MiB)
15:54:06 allocating polynomials object in proving key... (mem: 304.49 MiB)
15:54:07 [15:54:07.241]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 510.62 MiB)
15:54:07 [15:54:07.296]
INFO:
ivc-integration:test:native bb - time to construct proving key: 361 ms. (mem: 522.62 MiB)
15:54:07 [15:54:07.372]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x572dde408440 (mem: 522.62 MiB)
15:54:07 [15:54:07.373]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 522.62 MiB)
15:54:07 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 522.62 MiB)
15:54:07 [15:54:07.634]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 530.62 MiB)
15:54:07 [15:54:07.648]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 530.62 MiB)
15:54:07 [15:54:07.681]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 530.62 MiB)
15:54:07 Constructing DeciderProvingKey (mem: 530.62 MiB)
15:54:07 [15:54:07.684]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 530.62 MiB)
15:54:07 goblin ecc op : 56/1024 (mem: 530.62 MiB)
15:54:07 busread : 12/6000 (mem: 530.62 MiB)
15:54:07 lookups : 2/15000 (mem: 530.62 MiB)
15:54:07 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 530.62 MiB)
15:54:07 arithmetic : 4625/56000 (mem: 530.62 MiB)
15:54:07 delta range : 2054/18000 (mem:
15:54:07 [15:54:07.684]
INFO:
ivc-integration:test:native bb - 530.62 MiB)
15:54:07 elliptic : 2/6000 (mem: 530.62 MiB)
15:54:07 auxiliary : 110/26000 (mem: 530.62 MiB)
15:54:07 poseidon ext : 1302/17000 (mem: 530.62 MiB)
15:54:07 poseidon int : 7412/92000 (mem: 530.62 MiB)
15:54:07 overflow : 0/0 (mem: 530.62 MiB)
15:54:07 (mem: 530.62 MiB)
15:54:07 Total structured size: 242025 (mem: 530.62 MiB)
15:54:07 allocating polynomials object in proving key... (mem: 530.62 MiB)
15:54:08 [15:54:08.047]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 739.62 MiB)
15:54:08 [15:54:08.122]
INFO:
ivc-integration:test:native bb - time to construct proving key: 440 ms. (mem: 753.62 MiB)
15:54:08 [15:54:08.286]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x572dde4116c0 (mem: 753.62 MiB)
15:54:08 computing folding proof (mem: 753.62 MiB)
15:54:08 [15:54:08.286]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 753.62 MiB)
15:54:08 [15:54:08.794]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 755.62 MiB)
15:54:08 [15:54:08.909]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 790.62 MiB)
15:54:08 [15:54:08.955]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 822.62 MiB)
15:54:09 [15:54:09.372]
INFO:
ivc-integration:test:native bb - folded (mem: 822.62 MiB)
15:54:09 constructed folding proof (mem: 822.62 MiB)
15:54:09 [15:54:09.384]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 822.62 MiB)
15:54:09 Constructing DeciderProvingKey (mem: 822.62 MiB)
15:54:09 [15:54:09.385]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
15:54:09 [15:54:09.386]
INFO:
ivc-integration:test:native bb - (mem:
15:54:09 [15:54:09.386]
INFO:
ivc-integration:test:native bb - 822.62
15:54:09 [15:54:09.391]
INFO:
ivc-integration:test:native bb - MiB)
15:54:09 goblin ecc op : 4/1024 (mem: 822.62 MiB)
15:54:09 busread : 7/6000 (mem: 822.62 MiB)
15:54:09 lookups : 2/15000 (mem: 822.62 MiB)
15:54:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 822.62 MiB)
15:54:09 arithmetic : 1760/56000 (mem: 822.62 MiB)
15:54:09 delta range : 1754/18000 (mem: 822.62 MiB)
15:54:09 elliptic : 2/6000 (mem: 822.62 MiB)
15:54:09 auxiliary : 26/26000 (mem: 822.62 MiB)
15:54:09 poseidon ext : 2/17000 (mem: 822.62 MiB)
15:54:09 poseidon int : 2/92000 (mem: 822.62 MiB)
15:54:09 overflow : 0/0 (mem: 822.62 MiB)
15:54:09 (mem: 822.62 MiB)
15:54:09 Total structured size: 242025 (mem: 822.62 MiB)
15:54:09 allocating polynomials object in proving key... (mem: 822.62 MiB)
15:54:09 [15:54:09.465]
INFO:
ivc-integration:test:native bb - populating trace...
15:54:09 [15:54:09.468]
INFO:
ivc-integration:test:native bb - (mem: 822.62 MiB)
15:54:09 [15:54:09.498]
INFO:
ivc-integration:test:native bb - time to construct proving key: 119 ms. (mem: 822.62 MiB)
15:54:09 [15:54:09.546]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x572dde408c80 (mem: 822.62 MiB)
15:54:09 computing folding proof (mem: 822.62 MiB)
15:54:09 [15:54:09.548]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 822.62 MiB)
15:54:09 [15:54:09.832]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 822.62 MiB)
15:54:09 [15:54:09.922]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 822.62 MiB)
15:54:09 [15:54:09.964]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 822.62 MiB)
15:54:10 [15:54:10.240]
INFO:
ivc-integration:test:native bb - folded (mem: 822.62 MiB)
15:54:10 constructed folding proof (mem: 822.62 MiB)
15:54:10 [15:54:10.247]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 822.62 MiB)
15:54:10 [15:54:10.319]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 822.62 MiB)
15:54:10 [15:54:10.391]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 822.62 MiB)
15:54:10 Constructing DeciderProvingKey (mem: 822.62 MiB)
15:54:10 [15:54:10.393]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 822.62 MiB)
15:54:10 goblin ecc op : 792/1024 (mem: 822.62 MiB)
15:54:10 busread : 12/6000 (mem: 822.62 MiB)
15:54:10 lookups : 2/15000 (mem: 822.62 MiB)
15:54:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 822.62 MiB)
15:54:10 arithmetic : 12080/56000 (mem: 822.62 MiB)
15:54:10 delta range : 2942/18000 (mem: 822.62 MiB)
15:54:10 elliptic : 2/6000 (mem: 822.62 MiB)
15:54:10 auxiliary : 350/26000 (mem: 822.62 MiB)
15:54:10 [15:54:10.395]
INFO:
ivc-integration:test:native bb - poseidon ext : 4942/17000 (mem: 822.62 MiB)
15:54:10 poseidon int : 28160/92000 (mem: 822.62 MiB)
15:54:10 overflow : 0/0 (mem: 822.62 MiB)
15:54:10 (mem: 822.62 MiB)
15:54:10 Total structured size: 242025 (mem: 822.62 MiB)
15:54:10 allocating polynomials object in proving key... (mem: 822.62 MiB)
15:54:10 [15:54:10.481]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 822.62 MiB)
15:54:10 [15:54:10.521]
INFO:
ivc-integration:test:native bb - time to construct proving key: 131 ms.
15:54:10 [15:54:10.532]
INFO:
ivc-integration:test:native bb - (mem: 822.62 MiB)
15:54:10 [15:54:10.656]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x572dde485340 (mem: 822.62 MiB)
15:54:10 computing folding proof (mem: 822.62 MiB)
15:54:10 [15:54:10.661]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 822.62 MiB)
15:54:11 [15:54:11.097]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 822.62 MiB)
15:54:11 [15:54:11.222]
INFO:
ivc-integration:test:native bb - perturbator round
15:54:11 [15:54:11.225]
INFO:
ivc-integration:test:native bb - (mem: 822.62 MiB)
15:54:11 [15:54:11.303]
INFO:
ivc-integration:test:native bb - combiner quotient round
15:54:11 [15:54:11.308]
INFO:
ivc-integration:test:native bb - (mem: 850.62 MiB)
15:54:11 [15:54:11.555]
INFO:
ivc-integration:test:native bb - folded
15:54:11 [15:54:11.557]
INFO:
ivc-integration:test:native bb - (mem: 850.62 MiB)
15:54:11 constructed folding proof (mem: 850.62 MiB)
15:54:11 [15:54:11.567]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 850.62 MiB)
15:54:11 [15:54:11.627]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 850.62 MiB)
15:54:11 Constructing DeciderProvingKey (mem: 850.62 MiB)
15:54:11 [15:54:11.629]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.62 MiB)
15:54:11 goblin ecc op : 392/1024 (mem: 850.62 MiB)
15:54:11 busread : 16/6000 (mem:
15:54:11 [15:54:11.630]
INFO:
ivc-integration:test:native bb - 850.62 MiB)
15:54:11 lookups : 2/15000 (mem: 850.62 MiB)
15:54:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 850.62 MiB)
15:54:11 arithmetic : 6914/56000 (mem: 850.62 MiB)
15:54:11 delta range : 2347/18000 (mem: 850.62 MiB)
15:54:11 elliptic : 2/6000 (mem: 850.62 MiB)
15:54:11 auxiliary : 77/26000 (mem: 850.62 MiB)
15:54:11 poseidon ext : 2472/17000 (mem: 850.62 MiB)
15:54:11 poseidon int : 14081/92000 (mem: 850.62 MiB)
15:54:11 overflow : 0/0 (mem: 850.62 MiB)
15:54:11 (mem: 850.62 MiB)
15:54:11 Total structured size: 242025 (mem: 850.62 MiB)
15:54:11 allocating polynomials object in proving key... (mem: 850.62 MiB)
15:54:11 [15:54:11.728]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 850.62 MiB)
15:54:11 [15:54:11.753]
INFO:
ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 850.62 MiB)
15:54:11 [15:54:11.915]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x572dde47fd40 (mem: 850.62 MiB)
15:54:11 computing folding proof (mem: 850.62 MiB)
15:54:11 [15:54:11.916]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 850.62 MiB)
15:54:12 [15:54:12.346]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.62 MiB)
15:54:12 [15:54:12.449]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 850.62 MiB)
15:54:12 [15:54:12.502]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 851.44 MiB)
15:54:12 [15:54:12.734]
INFO:
ivc-integration:test:native bb - folded (mem: 851.44 MiB)
15:54:12 constructed folding proof (mem: 851.44 MiB)
15:54:12 [15:54:12.747]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0
15:54:12 [15:54:12.748]
INFO:
ivc-integration:test:native bb - (mem: 851.44 MiB)
15:54:12 [15:54:12.817]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 851.44 MiB)
15:54:12 Constructing DeciderProvingKey (mem: 851.44 MiB)
15:54:12 [15:54:12.821]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.44 MiB)
15:54:12 goblin ecc op : 392/1024 (mem: 851.44 MiB)
15:54:12 busread : 3/6000 (mem: 851.44 MiB)
15:54:12 lookups : 2/15000 (mem: 851.44 MiB)
15:54:12 pub inputs : 36/5000 (populated in decider pk constructor)
15:54:12 [15:54:12.822]
INFO:
ivc-integration:test:native bb - (mem: 851.44 MiB)
15:54:12 arithmetic : 6849/56000 (mem: 851.44 MiB)
15:54:12 delta range : 2333/18000 (mem: 851.44 MiB)
15:54:12 elliptic : 2/6000 (mem: 851.44 MiB)
15:54:12 auxiliary : 50/26000 (mem: 851.44 MiB)
15:54:12 poseidon ext : 2472/17000 (mem: 851.44 MiB)
15:54:12 poseidon int : 14081/92000 (mem: 851.44 MiB)
15:54:12 overflow : 0/0 (mem: 851.44 MiB)
15:54:12 (mem: 851.44 MiB)
15:54:12 Total structured size: 242025 (mem: 851.44 MiB)
15:54:12 allocating polynomials object in proving key... (mem: 851.44 MiB)
15:54:12 [15:54:12.900]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 851.44 MiB)
15:54:12 [15:54:12.921]
INFO:
ivc-integration:test:native bb - time to construct proving key: 103 ms. (mem: 851.44 MiB)
15:54:13 [15:54:13.092]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x572dde416fc0 (mem: 851.44 MiB)
15:54:13 computing folding proof (mem: 851.44 MiB)
15:54:13 [15:54:13.093]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 851.44 MiB)
15:54:13 [15:54:13.455]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 851.44 MiB)
15:54:13 [15:54:13.521]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 851.44 MiB)
15:54:13 [15:54:13.584]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 852.30 MiB)
15:54:13 [15:54:13.896]
INFO:
ivc-integration:test:native bb - folded (mem: 852.30 MiB)
15:54:13 constructed folding proof (mem: 852.30 MiB)
15:54:13 [15:54:13.902]
INFO:
ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 852.30 MiB)
15:54:13 Minimum required block sizes for structured trace: (mem: 852.30 MiB)
15:54:13 (mem: 852.30 MiB)
15:54:13 prove decider... (mem: 852.30 MiB)
15:54:13 [15:54:13.903]
INFO:
ivc-integration:test:native bb - ecc_op : 792
15:54:13 busread : 16
15:54:13 lookup : 2
15:54:13 pub_inputs : 36
15:54:13 arithmetic : 12080
15:54:13 delta_range : 2942
15:54:13 elliptic : 2
15:54:13 aux : 350
15:54:13 poseidon2_external : 4942
15:54:13 poseidon2_internal : 28160
15:54:13 overflow : 0
15:54:14 [15:54:14.010]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.30 MiB)
15:54:14 [15:54:14.214]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 852.30 MiB)
15:54:14 [15:54:14.984]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 852.30 MiB)
15:54:15 [15:54:15.062]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 852.30 MiB)
15:54:15 finished decider proving. (mem: 852.30 MiB)
15:54:15 [15:54:15.080]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 852.30 MiB)
15:54:15 [15:54:15.179]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 852.30 MiB)
15:54:15 [15:54:15.188]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 852.30 MiB)
15:54:15 [15:54:15.286]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 852.30 MiB)
15:54:15 [15:54:15.323]
INFO:
ivc-integration:test:native bb - time to construct proving key: 144 ms. (mem:
15:54:15 [15:54:15.324]
INFO:
ivc-integration:test:native bb - 852.30 MiB)
15:54:15 [15:54:15.947]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 852.30 MiB)
15:54:16 [15:54:16.398]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 852.30 MiB)
15:54:16 [15:54:16.550]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.30 MiB)
15:54:17 [15:54:17.823]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 852.30 MiB)
15:54:18 [15:54:18.410]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 852.30 MiB)
15:54:18 [15:54:18.434]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 852.30 MiB)
15:54:18 finished decider proving. (mem: 852.30 MiB)
15:54:18 [15:54:18.438]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 852.30 MiB)
15:54:18 [15:54:18.612]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 852.30 MiB)
15:54:19 [15:54:19.126]
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: 852.30 MiB)
15:54:19 [15:54:19.148]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 852.30 MiB)
15:54:20 [15:54:20.541]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.30 MiB)
15:54:22 [15:54:22.006]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck
15:54:22 [15:54:22.007]
INFO:
ivc-integration:test:native bb - (mem:
15:54:22 [15:54:22.008]
INFO:
ivc-integration:test:native bb - 852.30 MiB)
15:54:25 [15:54:25.513]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 852.30 MiB)
15:54:25 prove translator... (mem: 852.30 MiB)
15:54:29 [15:54:29.014]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
15:54:29 [15:54:29.019]
INFO:
ivc-integration:test:native bb - (mem: 874.50 MiB)
15:54:31 [15:54:31.666]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 874.50 MiB)
15:54:33 [15:54:33.321]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 874.50 MiB)
15:54:33 finished translator proving. (mem: 874.50 MiB)
15:54:33 [15:54:33.324]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 874.50 MiB)
15:54:33 [15:54:33.340]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 874.50 MiB)
15:54:33 libra_evals_verified: 1 (mem: 874.50 MiB)
15:54:33 pairing_check_verified: 1 (mem: 874.50 MiB)
15:54:33 Mega verified: 1 (mem: 874.50 MiB)
15:54:33 [15:54:33.421]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 875.50 MiB)
15:54:33 batch opening verified?: 1 (mem: 875.50 MiB)
15:54:33 eccvm consistency check verified?: 1 (mem: 875.50 MiB)
15:54:33 translation masking consistency checked?: 1 (mem: 875.50 MiB)
15:54:33 [15:54:33.438]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 875.50 MiB)
15:54:33 eccvm verified?: 1 (mem: 875.50 MiB)
15:54:33 accumulator construction_verified?: 1 (mem: 875.50 MiB)
15:54:33 translation verified?: 1 (mem: 875.50 MiB)
15:54:33 consistency verified?: 1 (mem: 875.50 MiB)
15:54:33 Goblin verified: 1 (mem: 875.50 MiB)
15:54:33 [15:54:33.440]
INFO:
ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-ZPieXJ" (mem: 875.50 MiB)
15:54:33 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-ZPieXJ" (mem: 875.50 MiB)
15:54:33 BN254 commitment key size: 262144 (mem: 875.50 MiB)
15:54:33 [15:54:33.441]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 875.50 MiB)
15:54:33 [15:54:33.444]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 875.50 MiB)
15:54:33 goblin ecc op : 4/1024 (mem: 875.50 MiB)
15:54:33 busread : 3/6000 (mem: 875.50 MiB)
15:54:33 lookups : 2/15000 (mem: 875.50 MiB)
15:54:33 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 875.50 MiB)
15:54:33 arithmetic : 1773/56000 (mem: 875.50 MiB)
15:54:33 delta range : 1754/18000 (mem: 875.50 MiB)
15:54:33 elliptic : 2/6000 (mem: 875.50 MiB)
15:54:33 auxiliary : 26/26000 (mem: 875.50 MiB)
15:54:33 poseidon ext : 2/17000 (mem: 875.50 MiB)
15:54:33 poseidon int : 2/92000 (mem: 875.50 MiB)
15:54:33 overflow : 0/0 (mem: 875.50 MiB)
15:54:33 (mem: 875.50 MiB)
15:54:33 Total structured size: 242025 (mem: 875.50 MiB)
15:54:33 allocating polynomials object in proving key... (mem: 875.50 MiB)
15:54:33 [15:54:33.556]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 875.50 MiB)
15:54:33 [15:54:33.565]
INFO:
ivc-integration:test:native bb - time to construct proving key: 123 ms. (mem: 875.50 MiB)
15:54:33 [15:54:33.600]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 875.50 MiB)
15:54:34 [15:54:34.186]
INFO:
ivc-integration:test:native bb - computing oink proof...
15:54:34 [15:54:34.187]
INFO:
ivc-integration:test:native bb - (mem: 875.50 MiB)
15:54:34 [15:54:34.187]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 875.50 MiB)
15:54:34 [15:54:34.287]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 875.50 MiB)
15:54:34 [15:54:34.294]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 875.50 MiB)
15:54:34 [15:54:34.307]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 875.50 MiB)
15:54:34 [15:54:34.311]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 875.50 MiB)
15:54:34 goblin ecc op : 56/1024 (mem: 875.50 MiB)
15:54:34 busread : 3/6000 (mem: 875.50 MiB)
15:54:34 lookups : 2/15000 (mem:
15:54:34 [15:54:34.312]
INFO:
ivc-integration:test:native bb - 875.50 MiB)
15:54:34 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 875.50 MiB)
15:54:34 arithmetic : 4481/56000 (mem: 875.50 MiB)
15:54:34 delta range : 2041/18000 (mem: 875.50 MiB)
15:54:34 elliptic : 2/6000 (mem: 875.50 MiB)
15:54:34 auxiliary : 50/26000 (mem: 875.50 MiB)
15:54:34 poseidon ext : 1312/17000 (mem: 875.50 MiB)
15:54:34 poseidon int : 7469/92000 (mem: 875.50 MiB)
15:54:34 overflow : 0/0 (mem: 875.50 MiB)
15:54:34 (mem: 875.50 MiB)
15:54:34 Total structured size: 242025 (mem: 875.50 MiB)
15:54:34 allocating polynomials object in proving key... (mem: 875.50 MiB)
15:54:34 [15:54:34.373]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 875.50 MiB)
15:54:34 [15:54:34.388]
INFO:
ivc-integration:test:native bb - time to construct proving key: 78 ms. (mem: 875.50 MiB)
15:54:34 [15:54:34.443]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 875.50 MiB)
15:54:35 [15:54:35.033]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 875.50 MiB)
15:54:35 [15:54:35.034]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 875.50 MiB)
15:54:35 [15:54:35.296]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 875.50 MiB)
15:54:35 [15:54:35.398]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 875.50 MiB)
15:54:35 [15:54:35.441]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 907.50 MiB)
15:54:35 [15:54:35.566]
INFO:
ivc-integration:test:native bb - folded (mem: 907.50 MiB)
15:54:35 constructed folding proof (mem: 907.50 MiB)
15:54:35 [15:54:35.567]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 907.50 MiB)
15:54:35 Minimum required block sizes for structured trace: (mem: 907.50 MiB)
15:54:35 (mem: 907.50 MiB)
15:54:35 prove decider... (mem: 907.50 MiB)
15:54:35 [15:54:35.568]
INFO:
ivc-integration:test:native bb - ecc_op : 56
15:54:35 busread : 3
15:54:35 lookup : 2
15:54:35 pub_inputs : 36
15:54:35 arithmetic : 4481
15:54:35 delta_range : 2041
15:54:35 elliptic : 2
15:54:35 aux : 50
15:54:35 poseidon2_external : 1312
15:54:35 poseidon2_internal : 7469
15:54:35 overflow : 0
15:54:35 [15:54:35.828]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 907.50 MiB)
15:54:35 [15:54:35.893]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 907.50 MiB)
15:54:36 [15:54:36.262]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 907.50 MiB)
15:54:36 [15:54:36.314]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 907.50 MiB)
15:54:36 finished decider proving. (mem: 907.50 MiB)
15:54:36 [15:54:36.331]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 907.50 MiB)
15:54:36 [15:54:36.431]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 907.50 MiB)
15:54:36 [15:54:36.437]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 907.50 MiB)
15:54:36 [15:54:36.496]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 907.50 MiB)
15:54:36 [15:54:36.528]
INFO:
ivc-integration:test:native bb - time to construct proving key: 97 ms. (mem: 907.50 MiB)
15:54:37 [15:54:37.134]
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-ZPieXJ/proof -k /tmp/bb-client-ivc-integration-ZPieXJ/vk -v
15:54:37 [15:54:37.159]
INFO:
ivc-integration:test:native bb command: verify (mem: 188.78 MiB)
15:54:37 [15:54:37.160]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 188.78 MiB)
15:54:37 --proof_path: /tmp/bb-client-ivc-integration-ZPieXJ/proof (mem: 188.78 MiB)
15:54:37 --vk_path: /tmp/bb-client-ivc-integration-ZPieXJ/vk (mem: 188.78 MiB)
15:54:37 --verbose: true (mem: 188.78 MiB)
15:54:37 --scheme: client_ivc (mem: 188.78 MiB)
15:54:37 [15:54:37.255]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 188.78 MiB)
15:54:37 [15:54:37.289]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 188.78 MiB)
15:54:37 [15:54:37.290]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 188.78 MiB)
15:54:37 [15:54:37.309]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 188.78 MiB)
15:54:37 [15:54:37.310]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 188.78 MiB)
15:54:37 [15:54:37.311]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 188.78 MiB)
15:54:37 libra_evals_verified: 1 (mem: 188.78 MiB)
15:54:37 pairing_check_verified: 1 (mem: 188.78 MiB)
15:54:37 Mega verified: 1 (mem: 188.78 MiB)
15:54:37 [15:54:37.378]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 188.78 MiB)
15:54:37 batch opening verified?: 1 (mem: 188.78 MiB)
15:54:37 eccvm consistency check verified?: 1 (mem: 188.78 MiB)
15:54:37 translation masking consistency checked?: 1 (mem: 188.78 MiB)
15:54:37 [15:54:37.399]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 188.78 MiB)
15:54:37 eccvm verified?: 1 (mem: 188.78 MiB)
15:54:37 accumulator construction_verified?: 1 (mem: 188.78 MiB)
15:54:37 translation verified?: 1 (mem: 188.78 MiB)
15:54:37 consistency verified?: 1 (mem: 188.78 MiB)
15:54:37 Goblin verified: 1 (mem: 188.78 MiB)
15:54:37 [15:54:37.408]
INFO:
ivc-integration:test:native verified: 1 (mem: 188.78 MiB)
15:54:37
PASS src/native_client_ivc_integration.test.ts (
71.846 s)
15:54:37 Client IVC Integration
15:54:37
✓ Should generate a verifiable client IVC proof from a simple mock tx (37406 ms)
15:54:37
✓ Should generate a verifiable client IVC proof from a complex mock tx (30850 ms)
15:54:37
15:54:37
Test Suites: 1 passed, 1 total
15:54:37
Tests: 2 passed, 2 total
15:54:37
Snapshots: 0 total
15:54:37
Time: 71.966 s
15:54:37
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
15:54:37
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?