Parent Log:
http://ci.aztec-labs.com/d750ec1612c5b272
Command: 430b662d7e79c93b: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/04760775ac41c49f04129b978fde906271954e3a
Env: REF_NAME=gh-readonly-queue/next/pr-15067-b70544b6d50e3ecb6598361f1990bd51745c7b55 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 23:15:35 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15067_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
23:15:40 [23:15:40.122]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-Ck1tN4/ivc-inputs.msgpack
23:15:40 [23:15:40.130]
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-Ck1tN4 --ivc_inputs_path /tmp/bb-client-ivc-integration-Ck1tN4/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
23:15:40 [23:15:40.153]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 181.93 MiB)
23:15:40 [23:15:40.154]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 181.93 MiB)
23:15:40 --scheme: client_ivc (mem: 181.93 MiB)
23:15:40 --output_path: /tmp/bb-client-ivc-integration-Ck1tN4 (mem: 181.93 MiB)
23:15:40 --ivc_inputs_path: /tmp/bb-client-ivc-integration-Ck1tN4/ivc-inputs.msgpack (mem: 181.93 MiB)
23:15:40 --verbose: true (mem: 181.93 MiB)
23:15:40 --write_vk: true (mem: 181.93 MiB)
23:15:40 [23:15:40.155]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 181.93 MiB)
23:15:40 [23:15:40.267]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 242.00 MiB)
23:15:40 [23:15:40.350]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 290.88 MiB)
23:15:40 [23:15:40.355]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 290.88 MiB)
23:15:40 Constructing DeciderProvingKey (mem: 290.88 MiB)
23:15:40 [23:15:40.360]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 290.88 MiB)
23:15:40 goblin ecc op : 4/1024 (mem: 290.88 MiB)
23:15:40 busread : 7/6000 (mem: 290.88 MiB)
23:15:40 lookups : 2/15000 (mem: 290.88 MiB)
23:15:40 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 290.88 MiB)
23:15:40 arithmetic : 1760/56000 (mem: 290.88 MiB)
23:15:40 delta range : 1754/18000 (mem: 290.88 MiB)
23:15:40 elliptic : 2/6000 (mem: 290.88 MiB)
23:15:40 auxiliary : 26/26000 (mem: 290.88 MiB)
23:15:40 poseidon ext : 2/17000 (mem: 290.88 MiB)
23:15:40 poseidon int : 2/92000 (mem: 290.88 MiB)
23:15:40 overflow : 0/0 (mem: 290.88 MiB)
23:15:40 (mem: 290.88 MiB)
23:15:40 Total structured size: 242025 (mem: 290.88 MiB)
23:15:40 allocating polynomials object in proving key... (mem: 290.88 MiB)
23:15:40 [23:15:40.445]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 498.04 MiB)
23:15:40 [23:15:40.455]
INFO:
ivc-integration:test:native bb - time to construct proving key: 99 ms. (mem: 515.04 MiB)
23:15:40 [23:15:40.486]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5bd27b7f6600 (mem: 515.04 MiB)
23:15:40 computing oink proof... (mem: 515.04 MiB)
23:15:40 [23:15:40.488]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 515.04 MiB)
23:15:40 [23:15:40.677]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 525.04 MiB)
23:15:40 [23:15:40.684]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 525.04 MiB)
23:15:40 [23:15:40.700]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 525.04 MiB)
23:15:40 Constructing DeciderProvingKey (mem: 525.04 MiB)
23:15:40 [23:15:40.704]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 525.04 MiB)
23:15:40 goblin ecc op : 56/1024 (mem: 525.04 MiB)
23:15:40 busread : 12/6000 (mem: 525.04 MiB)
23:15:40 lookups : 2/15000 (mem: 525.04 MiB)
23:15:40 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 525.04 MiB)
23:15:40 arithmetic : 4625/56000 (mem: 525.04 MiB)
23:15:40 delta range : 2054/18000 (mem: 525.04 MiB)
23:15:40 elliptic : 2/6000 (mem: 525.04 MiB)
23:15:40 [23:15:40.705]
INFO:
ivc-integration:test:native bb - auxiliary : 110/26000 (mem: 525.04 MiB)
23:15:40 poseidon ext : 1302/17000 (mem: 525.04 MiB)
23:15:40 poseidon int : 7412/92000 (mem: 525.04 MiB)
23:15:40 overflow : 0/0 (mem: 525.04 MiB)
23:15:40 (mem: 525.04 MiB)
23:15:40 Total structured size: 242025 (mem: 525.04 MiB)
23:15:40 allocating polynomials object in proving key... (mem: 525.04 MiB)
23:15:40 [23:15:40.848]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 729.04 MiB)
23:15:40 [23:15:40.875]
INFO:
ivc-integration:test:native bb - time to construct proving key: 175 ms. (mem: 746.04 MiB)
23:15:40 [23:15:40.966]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5bd27b803280 (mem: 746.04 MiB)
23:15:40 computing folding proof (mem: 746.04 MiB)
23:15:40 [23:15:40.968]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 746.04 MiB)
23:15:41 [23:15:41.582]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 747.04 MiB)
23:15:41 [23:15:41.710]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 784.04 MiB)
23:15:41 [23:15:41.760]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 816.04 MiB)
23:15:42 [23:15:42.309]
INFO:
ivc-integration:test:native bb - folded (mem: 816.04 MiB)
23:15:42 constructed folding proof (mem: 816.04 MiB)
23:15:42 [23:15:42.319]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 816.04 MiB)
23:15:42 [23:15:42.413]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 816.04 MiB)
23:15:42 Constructing DeciderProvingKey (mem: 816.04 MiB)
23:15:42 [23:15:42.415]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 816.04 MiB)
23:15:42 goblin ecc op : 392/1024 (mem: 816.04 MiB)
23:15:42 busread : 3/6000 (mem: 816.04 MiB)
23:15:42 lookups : 2/15000 (mem: 816.04 MiB)
23:15:42 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 816.04 MiB)
23:15:42 arithmetic : 6849/56000 (mem: 816.04 MiB)
23:15:42 delta range : 2333/18000 (mem: 816.04 MiB)
23:15:42 elliptic : 2/6000 (mem: 816.04 MiB)
23:15:42 auxiliary : 50/26000 (mem: 816.04 MiB)
23:15:42 poseidon ext : 2472/17000 (mem: 816.04 MiB)
23:15:42 poseidon int : 14081/92000 (mem: 816.04 MiB)
23:15:42 overflow : 0/0 (mem: 816.04 MiB)
23:15:42 (mem: 816.04 MiB)
23:15:42 Total structured size: 242025 (mem: 816.04 MiB)
23:15:42 allocating polynomials object in proving key... (mem: 816.04 MiB)
23:15:42 [23:15:42.627]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 816.04 MiB)
23:15:42 [23:15:42.706]
INFO:
ivc-integration:test:native bb - time to construct proving key: 293 ms. (mem: 816.04 MiB)
23:15:42 [23:15:42.959]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5bd27b7f3480 (mem: 816.04 MiB)
23:15:42 computing folding proof (mem: 816.04 MiB)
23:15:42 [23:15:42.961]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 816.04 MiB)
23:15:43 [23:15:43.568]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 816.04 MiB)
23:15:43 [23:15:43.671]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 816.04 MiB)
23:15:43 [23:15:43.725]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 816.04 MiB)
23:15:44 [23:15:44.147]
INFO:
ivc-integration:test:native bb - folded (mem: 816.04 MiB)
23:15:44 constructed folding proof (mem: 816.04 MiB)
23:15:44 [23:15:44.148]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 816.04 MiB)
23:15:44 Minimum required block sizes for structured trace: (mem: 816.04 MiB)
23:15:44 (mem: 816.04 MiB)
23:15:44 prove decider... (mem: 816.04 MiB)
23:15:44 [23:15:44.150]
INFO:
ivc-integration:test:native bb - ecc_op : 392
23:15:44 busread : 12
23:15:44 lookup : 2
23:15:44 pub_inputs : 36
23:15:44 arithmetic : 6849
23:15:44 delta_range : 2333
23:15:44 elliptic : 2
23:15:44 aux : 110
23:15:44 poseidon2_external : 2472
23:15:44 poseidon2_internal : 14081
23:15:44 overflow : 0
23:15:44 [23:15:44.391]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 816.04 MiB)
23:15:44 [23:15:44.666]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 816.04 MiB)
23:15:45 [23:15:45.821]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 816.04 MiB)
23:15:45 [23:15:45.912]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 816.04 MiB)
23:15:45 finished decider proving. (mem: 816.04 MiB)
23:15:45 [23:15:45.929]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 816.04 MiB)
23:15:46 [23:15:46.045]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 816.04 MiB)
23:15:46 [23:15:46.056]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 816.04 MiB)
23:15:46 [23:15:46.301]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 816.04 MiB)
23:15:46 [23:15:46.339]
INFO:
ivc-integration:test:native bb - time to construct proving key: 293 ms. (mem: 816.04 MiB)
23:15:47 [23:15:47.400]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 816.04 MiB)
23:15:48 [23:15:48.136]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 816.04 MiB)
23:15:48 [23:15:48.504]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 816.04 MiB)
23:15:50 [23:15:50.094]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 816.04 MiB)
23:15:51 [23:15:51.143]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 816.04 MiB)
23:15:51 [23:15:51.176]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 816.04 MiB)
23:15:51 finished decider proving. (mem: 816.04 MiB)
23:15:51 [23:15:51.178]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 816.04 MiB)
23:15:51 [23:15:51.418]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 816.04 MiB)
23:15:52 [23:15:52.113]
INFO:
ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 816.04 MiB)
23:15:52 [23:15:52.154]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 816.04 MiB)
23:15:54 [23:15:54.622]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 816.04 MiB)
23:15:56 [23:15:56.872]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 816.04 MiB)
23:16:01 [23:16:01.443]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 816.04 MiB)
23:16:01 prove translator... (mem: 816.04 MiB)
23:16:03 [23:16:03.928]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.73 MiB)
23:16:06 [23:16:06.545]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 845.73 MiB)
23:16:09 [23:16:09.814]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 845.73 MiB)
23:16:09 finished translator proving. (mem: 845.73 MiB)
23:16:09 [23:16:09.820]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 845.73 MiB)
23:16:09 [23:16:09.844]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 845.73 MiB)
23:16:09 libra_evals_verified: 1 (mem: 845.73 MiB)
23:16:09 pairing_check_verified: 1 (mem: 845.73 MiB)
23:16:09 Mega verified: 1 (mem: 845.73 MiB)
23:16:09 [23:16:09.990]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 845.73 MiB)
23:16:09 batch opening verified?: 1 (mem: 845.73 MiB)
23:16:09 eccvm consistency check verified?: 1 (mem: 845.73 MiB)
23:16:09 translation masking consistency checked?: 1 (mem: 845.73 MiB)
23:16:10 [23:16:10.031]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 845.73 MiB)
23:16:10 eccvm verified?: 1 (mem: 845.73 MiB)
23:16:10 accumulator construction_verified?: 1 (mem: 845.73 MiB)
23:16:10 translation verified?: 1 (mem: 845.73 MiB)
23:16:10 consistency verified?: 1 (mem: 845.73 MiB)
23:16:10 [23:16:10.032]
INFO:
ivc-integration:test:native bb - Goblin verified: 1 (mem: 845.73 MiB)
23:16:10 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-Ck1tN4" (mem: 845.73 MiB)
23:16:10 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-Ck1tN4" (mem: 845.73 MiB)
23:16:10 BN254 commitment key size: 262144 (mem: 845.73 MiB)
23:16:10 [23:16:10.035]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 845.73 MiB)
23:16:10 [23:16:10.049]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.73 MiB)
23:16:10 goblin ecc op : 4/1024 (mem: 845.73 MiB)
23:16:10 busread : 3/6000 (mem: 845.73 MiB)
23:16:10 lookups : 2/15000 (mem: 845.73 MiB)
23:16:10 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 845.73 MiB)
23:16:10 arithmetic : 1773/56000 (mem: 845.73 MiB)
23:16:10 delta range : 1754/18000 (mem: 845.73 MiB)
23:16:10 elliptic : 2/6000 (mem: 845.73 MiB)
23:16:10 auxiliary : 26/26000 (mem: 845.73 MiB)
23:16:10 poseidon ext : 2/17000 (mem: 845.73 MiB)
23:16:10 poseidon int : 2/92000 (mem: 845.73 MiB)
23:16:10 overflow : 0/0 (mem: 845.73 MiB)
23:16:10 (mem: 845.73 MiB)
23:16:10 Total structured size: 242025 (mem: 845.73 MiB)
23:16:10 allocating polynomials object in proving key... (mem: 845.73 MiB)
23:16:10 [23:16:10.202]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 845.73 MiB)
23:16:10 [23:16:10.265]
INFO:
ivc-integration:test:native bb - time to construct proving key: 229 ms. (mem: 845.73 MiB)
23:16:10 [23:16:10.356]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 845.73 MiB)
23:16:11 [23:16:11.284]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 845.73 MiB)
23:16:11 [23:16:11.285]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 845.73 MiB)
23:16:11 [23:16:11.870]
INFO:
ivc-integration:test:native bb - oink proof constructed
23:16:11 [23:16:11.871]
INFO:
ivc-integration:test:native bb - (mem: 845.73 MiB)
23:16:11 [23:16:11.880]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 845.73 MiB)
23:16:11 [23:16:11.895]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 845.73 MiB)
23:16:11 [23:16:11.898]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.73 MiB)
23:16:11 goblin ecc op : 56/1024 (mem: 845.73 MiB)
23:16:11 busread : 3/6000 (mem: 845.73 MiB)
23:16:11 lookups : 2/15000 (mem: 845.73 MiB)
23:16:11 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 845.73 MiB)
23:16:11 arithmetic : 4481/56000 (mem: 845.73 MiB)
23:16:11 delta range : 2041/18000 (mem: 845.73 MiB)
23:16:11 elliptic : 2/6000 (mem: 845.73 MiB)
23:16:11 auxiliary : 50/26000 (mem: 845.73 MiB)
23:16:11 poseidon ext : 1312/17000 (mem: 845.73 MiB)
23:16:11 poseidon int : 7469/92000 (mem: 845.73 MiB)
23:16:11 overflow : 0/0 (mem: 845.73 MiB)
23:16:11 (mem: 845.73 MiB)
23:16:11 Total structured size: 242025 (mem: 845.73 MiB)
23:16:11 allocating polynomials object in proving key... (mem: 845.73 MiB)
23:16:12 [23:16:12.108]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 845.73 MiB)
23:16:12 [23:16:12.167]
INFO:
ivc-integration:test:native bb - time to construct proving key: 272 ms. (mem: 845.73 MiB)
23:16:12 [23:16:12.436]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0
23:16:12 [23:16:12.438]
INFO:
ivc-integration:test:native bb - (mem: 845.73 MiB)
23:16:13 [23:16:13.332]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 845.73 MiB)
23:16:13 [23:16:13.333]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 845.73 MiB)
23:16:14 [23:16:14.244]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 845.73 MiB)
23:16:14 [23:16:14.416]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 847.73 MiB)
23:16:14 [23:16:14.461]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 879.73 MiB)
23:16:15 [23:16:15.093]
INFO:
ivc-integration:test:native bb - folded (mem: 879.73 MiB)
23:16:15 constructed folding proof (mem: 879.73 MiB)
23:16:15 Largest circuit: 15360 gates. Trace details: (mem: 879.73 MiB)
23:16:15 Minimum required block sizes for structured trace: (mem: 879.73 MiB)
23:16:15 (mem: 879.73 MiB)
23:16:15 prove decider... (mem: 879.73 MiB)
23:16:15 [23:16:15.094]
INFO:
ivc-integration:test:native bb - ecc_op : 56
23:16:15 busread : 3
23:16:15 lookup : 2
23:16:15 pub_inputs : 36
23:16:15 arithmetic : 4481
23:16:15 delta_range : 2041
23:16:15 elliptic : 2
23:16:15 aux : 50
23:16:15 poseidon2_external : 1312
23:16:15 poseidon2_internal : 7469
23:16:15 overflow : 0
23:16:15 [23:16:15.377]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
23:16:15 [23:16:15.378]
INFO:
ivc-integration:test:native bb - (mem:
23:16:15 [23:16:15.379]
INFO:
ivc-integration:test:native bb - 879.73
23:16:15 [23:16:15.379]
INFO:
ivc-integration:test:native bb - MiB)
23:16:15 [23:16:15.384]
INFO:
ivc-integration:test:native bb -
23:16:15 [23:16:15.767]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 879.73 MiB)
23:16:16 [23:16:16.971]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 879.73 MiB)
23:16:17 [23:16:17.052]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 879.73 MiB)
23:16:17 finished decider proving. (mem: 879.73 MiB)
23:16:17 [23:16:17.078]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 879.73 MiB)
23:16:17 [23:16:17.174]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 879.73 MiB)
23:16:17 [23:16:17.179]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 879.73 MiB)
23:16:17 [23:16:17.353]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 879.73 MiB)
23:16:17 [23:16:17.423]
INFO:
ivc-integration:test:native bb - time to construct proving key: 249 ms. (mem: 879.73 MiB)
23:16:18 [23:16:18.037]
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-Ck1tN4/proof -k /tmp/bb-client-ivc-integration-Ck1tN4/vk -v
23:16:18 [23:16:18.061]
INFO:
ivc-integration:test:native bb command: verify (mem: 181.93 MiB)
23:16:18 Scheme is: client_ivc, num threads: 128 (mem: 181.93 MiB)
23:16:18 --proof_path: /tmp/bb-client-ivc-integration-Ck1tN4/proof (mem: 181.93 MiB)
23:16:18 --vk_path: /tmp/bb-client-ivc-integration-Ck1tN4/vk (mem: 181.93 MiB)
23:16:18 --verbose: true (mem: 181.93 MiB)
23:16:18 --scheme: client_ivc (mem: 181.93 MiB)
23:16:18 [23:16:18.166]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 181.93 MiB)
23:16:18 [23:16:18.192]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 181.93 MiB)
23:16:18 [23:16:18.194]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 181.93 MiB)
23:16:18 [23:16:18.215]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 181.93 MiB)
23:16:18 [23:16:18.216]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 181.93 MiB)
23:16:18 sumcheck_verified: 1 (mem: 181.93 MiB)
23:16:18 libra_evals_verified: 1 (mem: 181.93 MiB)
23:16:18 pairing_check_verified: 1 (mem: 181.93 MiB)
23:16:18 Mega verified: 1 (mem: 181.93 MiB)
23:16:18 [23:16:18.286]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 181.93 MiB)
23:16:18 batch opening verified?: 1 (mem: 181.93 MiB)
23:16:18 eccvm consistency check verified?: 1 (mem: 181.93 MiB)
23:16:18 translation masking consistency checked?: 1 (mem: 181.93 MiB)
23:16:18 [23:16:18.313]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 181.93 MiB)
23:16:18 eccvm verified?: 1 (mem: 181.93 MiB)
23:16:18 accumulator construction_verified?: 1 (mem: 181.93 MiB)
23:16:18 translation verified?: 1 (mem: 181.93 MiB)
23:16:18 consistency verified?: 1 (mem: 181.93 MiB)
23:16:18 Goblin verified: 1 (mem: 181.93 MiB)
23:16:18 [23:16:18.319]
INFO:
ivc-integration:test:native verified: 1 (mem: 181.93 MiB)
23:16:18 [23:16:18.428]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-PSEtsJ/ivc-inputs.msgpack
23:16:18 [23:16:18.429]
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-PSEtsJ --ivc_inputs_path /tmp/bb-client-ivc-integration-PSEtsJ/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
23:16:18 [23:16:18.464]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 183.41 MiB)
23:16:18 Scheme is: client_ivc, num threads: 128 (mem: 183.41 MiB)
23:16:18 --scheme: client_ivc (mem: 183.41 MiB)
23:16:18 --output_path: /tmp/bb-client-ivc-integration-PSEtsJ (mem: 183.41 MiB)
23:16:18 --ivc_inputs_path: /tmp/bb-client-ivc-integration-PSEtsJ/ivc-inputs.msgpack (mem: 183.41 MiB)
23:16:18 --verbose: true (mem: 183.41 MiB)
23:16:18 --write_vk: true (mem: 183.41 MiB)
23:16:18 [23:16:18.475]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 183.41 MiB)
23:16:18 [23:16:18.596]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 245.00 MiB)
23:16:18 [23:16:18.747]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169
23:16:18 [23:16:18.748]
INFO:
ivc-integration:test:native bb - (mem:
23:16:18 [23:16:18.757]
INFO:
ivc-integration:test:native bb - 293.81 MiB)
23:16:18 [23:16:18.763]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0
23:16:18 [23:16:18.764]
INFO:
ivc-integration:test:native bb - (mem:
23:16:18 [23:16:18.764]
INFO:
ivc-integration:test:native bb - 293.81
23:16:18 [23:16:18.765]
INFO:
ivc-integration:test:native bb - MiB)
23:16:18 [23:16:18.768]
INFO:
ivc-integration:test:native bb -
23:16:18 Constructing DeciderProvingKey (mem: 293.81 MiB)
23:16:18 [23:16:18.778]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
23:16:18 [23:16:18.781]
INFO:
ivc-integration:test:native bb - (mem: 293.81 MiB)
23:16:18 goblin ecc op : 4/1024 (mem: 293.81 MiB)
23:16:18 busread : 7/6000 (mem: 293.81 MiB)
23:16:18 lookups : 2/15000 (mem: 293.81 MiB)
23:16:18 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 293.81 MiB)
23:16:18 arithmetic : 1760/56000 (mem: 293.81 MiB)
23:16:18 delta range : 1754/18000 (mem: 293.81 MiB)
23:16:18 elliptic : 2/6000 (mem: 293.81 MiB)
23:16:18 auxiliary : 26/26000 (mem: 293.81 MiB)
23:16:18 poseidon ext : 2/17000 (mem: 293.81 MiB)
23:16:18 poseidon int : 2/92000 (mem: 293.81 MiB)
23:16:18 overflow : 0/0 (mem: 293.81 MiB)
23:16:18 (mem: 293.81 MiB)
23:16:18 Total structured size: 242025 (mem: 293.81 MiB)
23:16:18 allocating polynomials object in proving key... (mem: 293.81 MiB)
23:16:19 [23:16:19.049]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 500.93 MiB)
23:16:19 [23:16:19.071]
INFO:
ivc-integration:test:native bb - time to construct proving key: 301 ms. (mem: 514.93 MiB)
23:16:19 [23:16:19.238]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f492a23f440 (mem: 514.93 MiB)
23:16:19 computing oink proof... (mem: 514.93 MiB)
23:16:19 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 514.93 MiB)
23:16:19 [23:16:19.543]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 524.93 MiB)
23:16:19 [23:16:19.568]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 524.93 MiB)
23:16:19 [23:16:19.581]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 524.93 MiB)
23:16:19 Constructing DeciderProvingKey (mem: 524.93 MiB)
23:16:19 [23:16:19.585]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 524.93 MiB)
23:16:19 goblin ecc op : 56/1024 (mem: 524.93 MiB)
23:16:19 busread : 12/6000 (mem: 524.93 MiB)
23:16:19 lookups : 2/15000 (mem: 524.93 MiB)
23:16:19 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 524.93 MiB)
23:16:19 arithmetic : 4625/56000 (mem: 524.93 MiB)
23:16:19 delta range : 2054/18000 (mem: 524.93 MiB)
23:16:19 elliptic : 2/6000 (mem: 524.93 MiB)
23:16:19 auxiliary : 110/26000 (mem: 524.93 MiB)
23:16:19 poseidon ext : 1302/17000 (mem: 524.93 MiB)
23:16:19 poseidon int : 7412/92000 (mem: 524.93 MiB)
23:16:19 overflow : 0/0 (mem: 524.93 MiB)
23:16:19 (mem: 524.93 MiB)
23:16:19 Total structured size: 242025 (mem: 524.93 MiB)
23:16:19 allocating polynomials object in proving key... (mem: 524.93 MiB)
23:16:19 [23:16:19.945]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 730.93 MiB)
23:16:19 [23:16:19.985]
INFO:
ivc-integration:test:native bb - time to construct proving key: 403 ms. (mem: 749.93 MiB)
23:16:20 [23:16:20.069]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f492a2486c0 (mem: 749.93 MiB)
23:16:20 computing folding proof (mem: 749.93 MiB)
23:16:20 [23:16:20.070]
INFO:
ivc-integration:test:native bb -
23:16:20 [23:16:20.070]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 749.93 MiB)
23:16:20 [23:16:20.553]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 749.93 MiB)
23:16:20 [23:16:20.672]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 786.93 MiB)
23:16:20 [23:16:20.731]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 818.93 MiB)
23:16:21 [23:16:21.135]
INFO:
ivc-integration:test:native bb - folded (mem: 818.93 MiB)
23:16:21 constructed folding proof (mem: 818.93 MiB)
23:16:21 [23:16:21.141]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 818.93 MiB)
23:16:21 Constructing DeciderProvingKey (mem:
23:16:21 [23:16:21.142]
INFO:
ivc-integration:test:native bb - 818.93 MiB)
23:16:21 [23:16:21.146]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.93 MiB)
23:16:21 goblin ecc op : 4/1024 (mem: 818.93 MiB)
23:16:21 busread : 7/6000 (mem: 818.93 MiB)
23:16:21 lookups : 2/15000 (mem: 818.93 MiB)
23:16:21 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 818.93 MiB)
23:16:21 arithmetic : 1760/56000 (mem: 818.93 MiB)
23:16:21 delta range : 1754/18000 (mem: 818.93 MiB)
23:16:21 elliptic : 2/6000 (mem: 818.93 MiB)
23:16:21 auxiliary : 26/26000 (mem: 818.93 MiB)
23:16:21 poseidon ext : 2/17000 (mem: 818.93 MiB)
23:16:21 poseidon int : 2/92000 (mem: 818.93 MiB)
23:16:21 overflow : 0/0 (mem: 818.93 MiB)
23:16:21 (mem: 818.93 MiB)
23:16:21 Total structured size: 242025 (mem: 818.93 MiB)
23:16:21 allocating polynomials object in proving key... (mem: 818.93 MiB)
23:16:21 [23:16:21.227]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 818.93 MiB)
23:16:21 [23:16:21.247]
INFO:
ivc-integration:test:native bb - time to construct proving key: 105 ms. (mem: 818.93 MiB)
23:16:21 [23:16:21.348]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f492a23fc80 (mem: 818.93 MiB)
23:16:21 computing folding proof (mem: 818.93 MiB)
23:16:21 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 818.93 MiB)
23:16:21 [23:16:21.582]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.93 MiB)
23:16:21 [23:16:21.684]
INFO:
ivc-integration:test:native bb - perturbator round
23:16:21 [23:16:21.689]
INFO:
ivc-integration:test:native bb - (mem: 818.93 MiB)
23:16:21 [23:16:21.732]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 818.93 MiB)
23:16:21 [23:16:21.993]
INFO:
ivc-integration:test:native bb - folded (mem: 818.93 MiB)
23:16:21 constructed folding proof (mem: 818.93 MiB)
23:16:22 [23:16:22.005]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 818.93 MiB)
23:16:22 [23:16:22.068]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 818.93 MiB)
23:16:22 [23:16:22.113]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 818.93 MiB)
23:16:22 Constructing DeciderProvingKey (mem: 818.93 MiB)
23:16:22 [23:16:22.119]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 818.93 MiB)
23:16:22 goblin ecc op : 792/1024 (mem: 818.93 MiB)
23:16:22 busread : 12/6000 (mem: 818.93 MiB)
23:16:22 lookups : 2/15000 (mem: 818.93 MiB)
23:16:22 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 818.93 MiB)
23:16:22 arithmetic : 12080/56000 (mem: 818.93 MiB)
23:16:22 delta range : 2942/18000 (mem: 818.93 MiB)
23:16:22 elliptic : 2/6000 (mem: 818.93 MiB)
23:16:22 auxiliary : 350/26000 (mem: 818.93 MiB)
23:16:22 poseidon ext : 4942/17000 (mem: 818.93 MiB)
23:16:22 poseidon int : 28160/92000 (mem: 818.93 MiB)
23:16:22 overflow : 0/0 (mem: 818.93 MiB)
23:16:22 (mem: 818.93 MiB)
23:16:22 Total structured size: 242025 (mem: 818.93 MiB)
23:16:22 allocating polynomials object in proving key... (mem: 818.93 MiB)
23:16:22 [23:16:22.209]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 818.93 MiB)
23:16:22 [23:16:22.250]
INFO:
ivc-integration:test:native bb - time to construct proving key: 135 ms. (mem: 818.93 MiB)
23:16:22 [23:16:22.321]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f492a2bc380 (mem: 818.93 MiB)
23:16:22 computing folding proof (mem: 818.93 MiB)
23:16:22 vkey hash in Oink prover: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 818.93 MiB)
23:16:22 [23:16:22.664]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 818.93 MiB)
23:16:22 [23:16:22.767]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 818.93 MiB)
23:16:22 [23:16:22.838]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 847.08 MiB)
23:16:23 [23:16:23.091]
INFO:
ivc-integration:test:native bb - folded (mem: 847.08 MiB)
23:16:23 constructed folding proof (mem: 847.08 MiB)
23:16:23 [23:16:23.092]
INFO:
ivc-integration:test:native bb -
23:16:23 [23:16:23.100]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 847.08 MiB)
23:16:23 [23:16:23.159]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 847.08 MiB)
23:16:23 Constructing DeciderProvingKey (mem: 847.08 MiB)
23:16:23 [23:16:23.162]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.08 MiB)
23:16:23 goblin ecc op : 392/1024 (mem: 847.08 MiB)
23:16:23 busread : 16/6000 (mem: 847.08 MiB)
23:16:23 lookups : 2/15000 (mem: 847.08 MiB)
23:16:23 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 847.08 MiB)
23:16:23 [23:16:23.162]
INFO:
ivc-integration:test:native bb - arithmetic : 6914/56000 (mem: 847.08 MiB)
23:16:23 delta range : 2347/18000 (mem: 847.08 MiB)
23:16:23 elliptic : 2/6000 (mem: 847.08 MiB)
23:16:23 auxiliary : 77/26000 (mem: 847.08 MiB)
23:16:23 poseidon ext : 2472/17000 (mem: 847.08 MiB)
23:16:23 poseidon int : 14081/92000 (mem: 847.08 MiB)
23:16:23 overflow : 0/0 (mem: 847.08 MiB)
23:16:23 (mem: 847.08 MiB)
23:16:23 Total structured size: 242025 (mem: 847.08 MiB)
23:16:23 allocating polynomials object in proving key... (mem: 847.08 MiB)
23:16:23 [23:16:23.257]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 847.08 MiB)
23:16:23 [23:16:23.280]
INFO:
ivc-integration:test:native bb - time to construct proving key: 121 ms. (mem: 847.08 MiB)
23:16:23 [23:16:23.478]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f492a2baa40 (mem: 847.08 MiB)
23:16:23 computing folding proof (mem: 847.08 MiB)
23:16:23 [23:16:23.479]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 847.08 MiB)
23:16:23 [23:16:23.829]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.08 MiB)
23:16:23 [23:16:23.892]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 847.08 MiB)
23:16:23 [23:16:23.968]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 847.83 MiB)
23:16:24 [23:16:24.200]
INFO:
ivc-integration:test:native bb - folded (mem: 847.83 MiB)
23:16:24 constructed folding proof (mem: 847.83 MiB)
23:16:24 [23:16:24.213]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 847.83 MiB)
23:16:24 [23:16:24.280]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 847.83 MiB)
23:16:24 Constructing DeciderProvingKey (mem: 847.83 MiB)
23:16:24 [23:16:24.281]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
23:16:24 [23:16:24.281]
INFO:
ivc-integration:test:native bb - (mem:
23:16:24 [23:16:24.281]
INFO:
ivc-integration:test:native bb - 847.83
23:16:24 [23:16:24.284]
INFO:
ivc-integration:test:native bb - MiB)
23:16:24 goblin ecc op : 392/1024 (mem: 847.83 MiB)
23:16:24 busread : 3/6000 (mem: 847.83 MiB)
23:16:24 lookups : 2/15000 (mem: 847.83 MiB)
23:16:24 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.83 MiB)
23:16:24 arithmetic : 6849/56000 (mem: 847.83 MiB)
23:16:24 delta range : 2333/18000 (mem: 847.83 MiB)
23:16:24 elliptic : 2/6000 (mem: 847.83 MiB)
23:16:24 auxiliary : 50/26000 (mem: 847.83 MiB)
23:16:24 poseidon ext : 2472/17000 (mem: 847.83 MiB)
23:16:24 poseidon int : 14081/92000 (mem: 847.83 MiB)
23:16:24 overflow : 0/0 (mem: 847.83 MiB)
23:16:24 (mem: 847.83 MiB)
23:16:24 Total structured size: 242025 (mem: 847.83 MiB)
23:16:24 allocating polynomials object in proving key... (mem: 847.83 MiB)
23:16:24 [23:16:24.411]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 847.83 MiB)
23:16:24 [23:16:24.461]
INFO:
ivc-integration:test:native bb - time to construct proving key: 183 ms. (mem: 847.83 MiB)
23:16:24 [23:16:24.655]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5f492a2b4ac0 (mem: 847.83 MiB)
23:16:24 computing folding proof (mem: 847.83 MiB)
23:16:24 [23:16:24.656]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 847.83 MiB)
23:16:25 [23:16:25.158]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.83 MiB)
23:16:25 [23:16:25.289]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 847.83 MiB)
23:16:25 [23:16:25.355]
INFO:
ivc-integration:test:native bb - combiner quotient round
23:16:25 [23:16:25.357]
INFO:
ivc-integration:test:native bb - (mem: 848.64 MiB)
23:16:25 [23:16:25.777]
INFO:
ivc-integration:test:native bb - folded (mem: 848.64 MiB)
23:16:25 constructed folding proof (mem: 848.64 MiB)
23:16:25 Largest circuit: 48490 gates. Trace details: (mem: 848.64 MiB)
23:16:25 Minimum required block sizes for structured trace: (mem: 848.64 MiB)
23:16:25 (mem: 848.64 MiB)
23:16:25 prove decider... (mem: 848.64 MiB)
23:16:25 [23:16:25.779]
INFO:
ivc-integration:test:native bb - ecc_op : 792
23:16:25 busread : 16
23:16:25 lookup : 2
23:16:25 pub_inputs : 36
23:16:25 arithmetic : 12080
23:16:25 delta_range : 2942
23:16:25 elliptic : 2
23:16:25 aux : 350
23:16:25 poseidon2_external : 4942
23:16:25 poseidon2_internal : 28160
23:16:25 overflow : 0
23:16:25 [23:16:25.950]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.64 MiB)
23:16:26 [23:16:26.086]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 848.64 MiB)
23:16:26 [23:16:26.720]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 848.64 MiB)
23:16:26 [23:16:26.793]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 848.64 MiB)
23:16:26 finished decider proving. (mem: 848.64 MiB)
23:16:26 [23:16:26.808]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 848.64 MiB)
23:16:26 [23:16:26.916]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 848.64 MiB)
23:16:26 [23:16:26.920]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key...
23:16:26 [23:16:26.921]
INFO:
ivc-integration:test:native bb - (mem:
23:16:26 [23:16:26.921]
INFO:
ivc-integration:test:native bb - 848.64
23:16:26 [23:16:26.921]
INFO:
ivc-integration:test:native bb - MiB)
23:16:26 [23:16:26.923]
INFO:
ivc-integration:test:native bb -
23:16:27 [23:16:27.024]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 848.64 MiB)
23:16:27 [23:16:27.073]
INFO:
ivc-integration:test:native bb - time to construct proving key: 159 ms. (mem: 848.64 MiB)
23:16:27 [23:16:27.786]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 848.64 MiB)
23:16:28 [23:16:28.196]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 848.64 MiB)
23:16:28 [23:16:28.373]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.64 MiB)
23:16:29 [23:16:29.490]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 848.64 MiB)
23:16:30 [23:16:30.126]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 848.64 MiB)
23:16:30 [23:16:30.158]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 848.64 MiB)
23:16:30 [23:16:30.159]
INFO:
ivc-integration:test:native bb - finished decider proving. (mem: 848.64 MiB)
23:16:30 Constructing a Goblin proof with num ultra ops = 2226 (mem: 848.64 MiB)
23:16:30 [23:16:30.351]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 848.64 MiB)
23:16:30 [23:16:30.987]
INFO:
ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 848.64 MiB)
23:16:31 [23:16:31.006]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 848.64 MiB)
23:16:32 [23:16:32.287]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.64 MiB)
23:16:33 [23:16:33.641]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 848.64 MiB)
23:16:37 [23:16:37.501]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 848.64 MiB)
23:16:37 prove translator... (mem: 848.64 MiB)
23:16:42 [23:16:42.006]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 871.32 MiB)
23:16:44 [23:16:44.260]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 872.32 MiB)
23:16:45 [23:16:45.620]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 872.32 MiB)
23:16:45 [23:16:45.621]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 872.32 MiB)
23:16:45 [23:16:45.624]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 872.32 MiB)
23:16:45 [23:16:45.638]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 872.32 MiB)
23:16:45 libra_evals_verified: 1 (mem: 872.32 MiB)
23:16:45 pairing_check_verified: 1 (mem: 872.32 MiB)
23:16:45 Mega verified: 1 (mem: 872.32 MiB)
23:16:45 [23:16:45.684]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 872.32 MiB)
23:16:45 batch opening verified?: 1 (mem: 872.32 MiB)
23:16:45 eccvm consistency check verified?: 1 (mem: 872.32 MiB)
23:16:45 translation masking consistency checked?: 1 (mem: 872.32 MiB)
23:16:45 [23:16:45.705]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 872.32 MiB)
23:16:45 eccvm verified?: 1 (mem: 872.32 MiB)
23:16:45 accumulator construction_verified?: 1 (mem: 872.32
23:16:45 [23:16:45.706]
INFO:
ivc-integration:test:native bb - MiB)
23:16:45 translation verified?: 1 (mem: 872.32 MiB)
23:16:45 consistency verified?: 1 (mem: 872.32 MiB)
23:16:45 Goblin verified: 1 (mem: 872.32 MiB)
23:16:45 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-PSEtsJ" (mem: 872.32 MiB)
23:16:45 [23:16:45.707]
INFO:
ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-PSEtsJ" (mem: 872.32 MiB)
23:16:45 BN254 commitment key size: 262144 (mem: 872.32 MiB)
23:16:45 [23:16:45.709]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.32 MiB)
23:16:45 [23:16:45.713]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 872.32 MiB)
23:16:45 goblin ecc op : 4/1024 (mem: 872.32 MiB)
23:16:45 busread : 3/6000 (mem: 872.32
23:16:45 [23:16:45.713]
INFO:
ivc-integration:test:native bb - MiB)
23:16:45 lookups : 2/15000 (mem: 872.32 MiB)
23:16:45 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 872.32 MiB)
23:16:45 arithmetic : 1773/56000 (mem: 872.32 MiB)
23:16:45 delta range : 1754/18000 (mem: 872.32 MiB)
23:16:45 elliptic : 2/6000 (mem: 872.32 MiB)
23:16:45 auxiliary : 26/26000 (mem: 872.32 MiB)
23:16:45 poseidon ext : 2/17000 (mem: 872.32 MiB)
23:16:45 poseidon int : 2/92000 (mem: 872.32 MiB)
23:16:45 overflow : 0/0 (mem: 872.32 MiB)
23:16:45 (mem: 872.32 MiB)
23:16:45 Total structured size: 242025 (mem: 872.32 MiB)
23:16:45 allocating polynomials object in proving key... (mem: 872.32 MiB)
23:16:45 [23:16:45.755]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 872.32 MiB)
23:16:45 [23:16:45.766]
INFO:
ivc-integration:test:native bb - time to construct proving key: 56 ms. (mem: 872.32 MiB)
23:16:45 [23:16:45.794]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.32 MiB)
23:16:46 [23:16:46.423]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 872.32 MiB)
23:16:46 [23:16:46.424]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.32 MiB)
23:16:46 [23:16:46.544]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 872.32 MiB)
23:16:46 [23:16:46.553]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 872.32 MiB)
23:16:46 [23:16:46.568]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 872.32 MiB)
23:16:46 [23:16:46.571]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 872.32 MiB)
23:16:46 goblin ecc op : 56/1024 (mem: 872.32 MiB)
23:16:46 busread : 3/6000 (mem: 872.32 MiB)
23:16:46 lookups : 2/15000 (mem: 872.32 MiB)
23:16:46 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 872.32 MiB)
23:16:46 arithmetic : 4481/56000 (mem: 872.32 MiB)
23:16:46 delta range : 2041/18000 (mem: 872.32 MiB)
23:16:46 elliptic : 2/6000 (mem: 872.32 MiB)
23:16:46 auxiliary : 50/26000 (mem: 872.32 MiB)
23:16:46 poseidon ext : 1312/17000 (mem: 872.32 MiB)
23:16:46 [23:16:46.572]
INFO:
ivc-integration:test:native bb - poseidon int : 7469/92000 (mem: 872.32 MiB)
23:16:46 overflow : 0/0 (mem: 872.32 MiB)
23:16:46 (mem: 872.32 MiB)
23:16:46 Total structured size: 242025 (mem: 872.32 MiB)
23:16:46 allocating polynomials object in proving key... (mem: 872.32 MiB)
23:16:46 [23:16:46.613]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 872.32 MiB)
23:16:46 [23:16:46.628]
INFO:
ivc-integration:test:native bb - time to construct proving key: 60 ms. (mem: 872.32 MiB)
23:16:46 [23:16:46.721]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 872.32 MiB)
23:16:47 [23:16:47.306]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 872.32 MiB)
23:16:47 [23:16:47.307]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 872.32 MiB)
23:16:47 [23:16:47.694]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 872.32 MiB)
23:16:47 [23:16:47.805]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 872.32 MiB)
23:16:47 [23:16:47.853]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 904.32 MiB)
23:16:47 [23:16:47.949]
INFO:
ivc-integration:test:native bb - folded (mem: 904.32 MiB)
23:16:47 [23:16:47.949]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 904.32 MiB)
23:16:47 Largest circuit: 15360 gates. Trace details: (mem: 904.32 MiB)
23:16:47 Minimum required block sizes for structured trace: (mem: 904.32 MiB)
23:16:47 (mem: 904.32 MiB)
23:16:47 prove decider... (mem: 904.32 MiB)
23:16:47 [23:16:47.950]
INFO:
ivc-integration:test:native bb - ecc_op : 56
23:16:47 busread : 3
23:16:47 lookup : 2
23:16:47 pub_inputs : 36
23:16:47 arithmetic : 4481
23:16:47 delta_range : 2041
23:16:47 elliptic : 2
23:16:47 aux : 50
23:16:47 poseidon2_external : 1312
23:16:47 poseidon2_internal : 7469
23:16:47 overflow : 0
23:16:48 [23:16:48.036]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 904.32 MiB)
23:16:48 [23:16:48.108]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 904.32 MiB)
23:16:48 [23:16:48.747]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 904.32 MiB)
23:16:48 [23:16:48.796]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 904.32 MiB)
23:16:48 finished decider proving. (mem: 904.32 MiB)
23:16:48 [23:16:48.809]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 904.32 MiB)
23:16:48 [23:16:48.906]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 904.32 MiB)
23:16:48 [23:16:48.912]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 904.32 MiB)
23:16:48 [23:16:48.963]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 904.32 MiB)
23:16:48 [23:16:48.989]
INFO:
ivc-integration:test:native bb - time to construct proving key: 84 ms. (mem: 904.32 MiB)
23:16:49 [23:16:49.331]
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-PSEtsJ/proof -k /tmp/bb-client-ivc-integration-PSEtsJ/vk -v
23:16:49 [23:16:49.351]
INFO:
ivc-integration:test:native bb command: verify (mem: 189.64 MiB)
23:16:49 [23:16:49.352]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 189.64 MiB)
23:16:49 --proof_path: /tmp/bb-client-ivc-integration-PSEtsJ/proof (mem: 189.64 MiB)
23:16:49 --vk_path: /tmp/bb-client-ivc-integration-PSEtsJ/vk (mem: 189.64 MiB)
23:16:49 --verbose: true (mem: 189.64 MiB)
23:16:49 --scheme: client_ivc (mem: 189.64 MiB)
23:16:49 [23:16:49.454]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 189.64 MiB)
23:16:49 [23:16:49.476]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 189.64 MiB)
23:16:49 [23:16:49.478]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 189.64 MiB)
23:16:49 [23:16:49.492]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 189.64 MiB)
23:16:49 [23:16:49.493]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 189.64 MiB)
23:16:49 [23:16:49.495]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 189.64 MiB)
23:16:49 libra_evals_verified: 1 (mem: 189.64 MiB)
23:16:49 pairing_check_verified: 1 (mem: 189.64 MiB)
23:16:49 Mega verified: 1 (mem: 189.64 MiB)
23:16:49 [23:16:49.552]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 189.64 MiB)
23:16:49 batch opening verified?: 1 (mem: 189.64 MiB)
23:16:49 eccvm consistency check verified?: 1 (mem: 189.64 MiB)
23:16:49 translation masking consistency checked?: 1 (mem: 189.64 MiB)
23:16:49 [23:16:49.572]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 189.64 MiB)
23:16:49 eccvm verified?: 1 (mem: 189.64
23:16:49 [23:16:49.573]
INFO:
ivc-integration:test:native MiB)
23:16:49 accumulator construction_verified?: 1 (mem: 189.64 MiB)
23:16:49 translation verified?: 1 (mem: 189.64 MiB)
23:16:49 consistency verified?: 1 (mem: 189.64 MiB)
23:16:49 Goblin verified: 1 (mem: 189.64 MiB)
23:16:49 [23:16:49.582]
INFO:
ivc-integration:test:native verified: 1 (mem: 189.64 MiB)
23:16:49
PASS src/native_client_ivc_integration.test.ts (
73.291 s)
23:16:49 Client IVC Integration
23:16:49
✓ Should generate a verifiable client IVC proof from a simple mock tx (38297 ms)
23:16:49
✓ Should generate a verifiable client IVC proof from a complex mock tx (31243 ms)
23:16:49
23:16:49
Test Suites: 1 passed, 1 total
23:16:49
Tests: 2 passed, 2 total
23:16:49
Snapshots: 0 total
23:16:49
Time: 73.402 s
23:16:49
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
23:16:49
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?