Parent Log:
http://ci.aztec-labs.com/d6ab7b7597a8cce2
Command: 19ef62d9450eeb9e: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/eb7990c89ac679ce7fdfc2e985670cbf85c04be2
Env: REF_NAME=gh-readonly-queue/next/pr-14918-b70544b6d50e3ecb6598361f1990bd51745c7b55 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 17 08:57:57 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-14918_amd64_x3-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
08:58:01 [08:58:01.737]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-72LaFm/ivc-inputs.msgpack
08:58:01 [08:58:01.743]
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-72LaFm --ivc_inputs_path /tmp/bb-client-ivc-integration-72LaFm/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
08:58:01 [08:58:01.766]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 184.43
08:58:01 [08:58:01.767]
INFO:
ivc-integration:test:native bb - MiB)
08:58:01 Scheme is: client_ivc, num threads: 128 (mem: 184.43 MiB)
08:58:01 --scheme: client_ivc (mem: 184.43 MiB)
08:58:01 --output_path: /tmp/bb-client-ivc-integration-72LaFm (mem: 184.43 MiB)
08:58:01 --ivc_inputs_path: /tmp/bb-client-ivc-integration-72LaFm/ivc-inputs.msgpack (mem: 184.43 MiB)
08:58:01 --verbose: true (mem: 184.43 MiB)
08:58:01 --write_vk: true (mem: 184.43 MiB)
08:58:01 [08:58:01.768]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 184.43 MiB)
08:58:01 [08:58:01.884]
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)
08:58:01 [08:58:01.974]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 290.67 MiB)
08:58:01 [08:58:01.981]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 290.67 MiB)
08:58:01 Constructing DeciderProvingKey (mem: 290.67 MiB)
08:58:01 [08:58:01.985]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 290.67 MiB)
08:58:01 goblin ecc op : 4/1024 (mem: 290.67 MiB)
08:58:01 busread : 7/6000 (mem: 290.67 MiB)
08:58:01 [08:58:01.991]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 290.67 MiB)
08:58:01 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 290.67 MiB)
08:58:01 arithmetic : 1760/56000 (mem: 290.67 MiB)
08:58:01 delta range : 1754/18000 (mem: 290.67 MiB)
08:58:01 elliptic : 2/6000 (mem: 290.67 MiB)
08:58:01 auxiliary : 26/26000 (mem: 290.67 MiB)
08:58:01 poseidon ext : 2/17000 (mem: 290.67 MiB)
08:58:01 poseidon int : 2/92000 (mem: 290.67 MiB)
08:58:01 overflow : 0/0 (mem: 290.67 MiB)
08:58:01 (mem: 290.67 MiB)
08:58:01 Total structured size: 242025 (mem: 290.67 MiB)
08:58:01 allocating polynomials object in proving key... (mem: 290.67 MiB)
08:58:02 [08:58:02.077]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 499.42 MiB)
08:58:02 [08:58:02.091]
INFO:
ivc-integration:test:native bb - time to construct proving key: 112 ms. (mem: 510.42 MiB)
08:58:02 [08:58:02.130]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cfe44707400 (mem: 510.42 MiB)
08:58:02 computing oink proof... (mem: 510.42 MiB)
08:58:02 [08:58:02.132]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 510.42 MiB)
08:58:02 [08:58:02.305]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 520.42 MiB)
08:58:02 [08:58:02.319]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 520.42 MiB)
08:58:02 [08:58:02.332]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 520.42 MiB)
08:58:02 Constructing DeciderProvingKey (mem: 520.42 MiB)
08:58:02 [08:58:02.335]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 520.42 MiB)
08:58:02 goblin ecc op : 56/1024 (mem: 520.42 MiB)
08:58:02 busread : 12/6000 (mem: 520.42 MiB)
08:58:02 lookups : 2/15000 (mem: 520.42 MiB)
08:58:02 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 520.42 MiB)
08:58:02 [08:58:02.336]
INFO:
ivc-integration:test:native bb - arithmetic : 4625/56000 (mem: 520.42 MiB)
08:58:02 delta range : 2054/18000 (mem: 520.42 MiB)
08:58:02 elliptic : 2/6000 (mem: 520.42 MiB)
08:58:02 auxiliary : 110/26000 (mem: 520.42 MiB)
08:58:02 poseidon ext : 1302/17000 (mem: 520.42 MiB)
08:58:02 poseidon int : 7412/92000 (mem: 520.42 MiB)
08:58:02 overflow : 0/0 (mem: 520.42 MiB)
08:58:02 (mem: 520.42 MiB)
08:58:02 Total structured size: 242025 (mem: 520.42 MiB)
08:58:02 allocating polynomials object in proving key... (mem: 520.42 MiB)
08:58:02 [08:58:02.434]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 726.42 MiB)
08:58:02 [08:58:02.456]
INFO:
ivc-integration:test:native bb - time to construct proving key: 123 ms. (mem: 743.42 MiB)
08:58:02 [08:58:02.545]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cfe44714080 (mem: 743.42 MiB)
08:58:02 computing folding proof (mem: 743.42 MiB)
08:58:02 [08:58:02.546]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 743.42 MiB)
08:58:03 [08:58:03.124]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 744.42 MiB)
08:58:03 [08:58:03.218]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 781.42 MiB)
08:58:03 [08:58:03.273]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 814.42 MiB)
08:58:03 [08:58:03.794]
INFO:
ivc-integration:test:native bb - folded (mem: 814.42 MiB)
08:58:03 constructed folding proof (mem: 814.42 MiB)
08:58:03 [08:58:03.809]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 814.42 MiB)
08:58:03 [08:58:03.882]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 814.42 MiB)
08:58:03 Constructing DeciderProvingKey (mem: 814.42 MiB)
08:58:03 [08:58:03.886]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 814.42 MiB)
08:58:03 goblin ecc op : 392/1024 (mem: 814.42 MiB)
08:58:03 busread : 3/6000 (mem: 814.42 MiB)
08:58:03 [08:58:03.887]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 814.42 MiB)
08:58:03 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 814.42 MiB)
08:58:03 arithmetic : 6849/56000 (mem: 814.42 MiB)
08:58:03 delta range : 2333/18000 (mem: 814.42 MiB)
08:58:03 elliptic : 2/6000 (mem: 814.42 MiB)
08:58:03 auxiliary : 50/26000 (mem: 814.42 MiB)
08:58:03 poseidon ext : 2472/17000 (mem: 814.42 MiB)
08:58:03 poseidon int : 14081/92000 (mem: 814.42 MiB)
08:58:03 overflow : 0/0 (mem: 814.42 MiB)
08:58:03 (mem: 814.42 MiB)
08:58:03 Total structured size: 242025 (mem: 814.42 MiB)
08:58:03 allocating polynomials object in proving key... (mem: 814.42 MiB)
08:58:04 [08:58:04.102]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 814.42 MiB)
08:58:04 [08:58:04.144]
INFO:
ivc-integration:test:native bb - time to construct proving key: 261 ms. (mem: 814.42 MiB)
08:58:04 [08:58:04.286]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5cfe44709b00 (mem: 814.42 MiB)
08:58:04 computing folding proof (mem: 814.42 MiB)
08:58:04 vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 814.42 MiB)
08:58:04 [08:58:04.848]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.42 MiB)
08:58:04 [08:58:04.948]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 814.42 MiB)
08:58:04 [08:58:04.999]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 814.42 MiB)
08:58:05 [08:58:05.464]
INFO:
ivc-integration:test:native bb - folded (mem: 814.42 MiB)
08:58:05 constructed folding proof (mem: 814.42 MiB)
08:58:05 Largest circuit: 25792 gates. Trace details: (mem: 814.42 MiB)
08:58:05 [08:58:05.468]
INFO:
ivc-integration:test:native bb - Minimum required block sizes for structured trace: (mem: 814.42 MiB)
08:58:05 (mem: 814.42 MiB)
08:58:05 prove decider... (mem: 814.42 MiB)
08:58:05 [08:58:05.474]
INFO:
ivc-integration:test:native bb - ecc_op : 392
08:58:05 busread : 12
08:58:05 lookup : 2
08:58:05 pub_inputs : 36
08:58:05 arithmetic : 6849
08:58:05 delta_range : 2333
08:58:05 elliptic : 2
08:58:05 aux : 110
08:58:05 poseidon2_external : 2472
08:58:05 poseidon2_internal : 14081
08:58:05 overflow : 0
08:58:05 [08:58:05.744]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 814.42 MiB)
08:58:05 [08:58:05.946]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 814.42 MiB)
08:58:07 [08:58:07.159]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 814.42 MiB)
08:58:07 [08:58:07.242]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 814.42 MiB)
08:58:07 finished decider proving. (mem: 814.42 MiB)
08:58:07 [08:58:07.262]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 814.42 MiB)
08:58:07 [08:58:07.400]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 814.42 MiB)
08:58:07 [08:58:07.408]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 814.42 MiB)
08:58:07 [08:58:07.609]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 814.42 MiB)
08:58:07 [08:58:07.672]
INFO:
ivc-integration:test:native bb - time to construct proving key: 271 ms. (mem: 814.42 MiB)
08:58:08 [08:58:08.714]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 814.42 MiB)
08:58:09 [08:58:09.476]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 814.42 MiB)
08:58:09 [08:58:09.781]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 814.42 MiB)
08:58:11 [08:58:11.422]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 814.42 MiB)
08:58:12 [08:58:12.522]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
08:58:12 [08:58:12.525]
INFO:
ivc-integration:test:native bb - (mem: 814.42 MiB)
08:58:12 [08:58:12.585]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 814.42 MiB)
08:58:12 finished decider proving. (mem: 814.42 MiB)
08:58:12 [08:58:12.588]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 814.42 MiB)
08:58:12 [08:58:12.875]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 814.42 MiB)
08:58:13 [08:58:13.345]
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: 814.42 MiB)
08:58:13 [08:58:13.371]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 814.42 MiB)
08:58:15 [08:58:15.562]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 814.42 MiB)
08:58:17 [08:58:17.837]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck
08:58:17 [08:58:17.838]
INFO:
ivc-integration:test:native bb - (mem: 814.42 MiB)
08:58:22 [08:58:22.105]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 814.42 MiB)
08:58:22 prove translator... (mem: 814.42 MiB)
08:58:24 [08:58:24.606]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.42 MiB)
08:58:26 [08:58:26.298]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 846.42 MiB)
08:58:28 [08:58:28.851]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 846.42 MiB)
08:58:28 [08:58:28.854]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 846.42 MiB)
08:58:28 [08:58:28.856]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 846.42 MiB)
08:58:28 [08:58:28.873]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 846.42 MiB)
08:58:28 libra_evals_verified: 1 (mem: 846.42 MiB)
08:58:28 pairing_check_verified: 1 (mem: 846.42 MiB)
08:58:28 Mega verified: 1 (mem: 846.42 MiB)
08:58:28 [08:58:28.983]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 847.42 MiB)
08:58:28 batch opening verified?: 1 (mem: 847.42 MiB)
08:58:28 eccvm consistency check verified?: 1 (mem: 847.42 MiB)
08:58:28 translation masking consistency checked?: 1 (mem: 847.42 MiB)
08:58:29 [08:58:29.030]
INFO:
ivc-integration:test:native bb - merge verified?: 1
08:58:29 [08:58:29.035]
INFO:
ivc-integration:test:native bb - (mem: 847.42 MiB)
08:58:29 eccvm verified?: 1 (mem: 847.42 MiB)
08:58:29 accumulator construction_verified?: 1 (mem: 847.42 MiB)
08:58:29 translation verified?: 1 (mem: 847.42 MiB)
08:58:29 consistency verified?: 1 (mem: 847.42 MiB)
08:58:29 Goblin verified: 1 (mem: 847.42 MiB)
08:58:29 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-72LaFm" (mem: 847.42 MiB)
08:58:29 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-72LaFm" (mem: 847.42 MiB)
08:58:29 BN254 commitment key size: 262144 (mem: 847.42 MiB)
08:58:29 [08:58:29.036]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.42 MiB)
08:58:29 [08:58:29.039]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.42 MiB)
08:58:29 [08:58:29.040]
INFO:
ivc-integration:test:native bb - goblin ecc op : 4/1024 (mem: 847.42 MiB)
08:58:29 busread : 3/6000 (mem: 847.42 MiB)
08:58:29 lookups : 2/15000 (mem: 847.42 MiB)
08:58:29 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 847.42 MiB)
08:58:29 arithmetic : 1773/56000 (mem: 847.42 MiB)
08:58:29 delta range : 1754/18000 (mem: 847.42 MiB)
08:58:29 elliptic : 2/6000 (mem: 847.42 MiB)
08:58:29 auxiliary : 26/26000 (mem: 847.42 MiB)
08:58:29 poseidon ext : 2/17000 (mem: 847.42 MiB)
08:58:29 poseidon int : 2/92000 (mem: 847.42 MiB)
08:58:29 overflow : 0/0 (mem: 847.42 MiB)
08:58:29 (mem: 847.42 MiB)
08:58:29 Total structured size: 242025 (mem: 847.42 MiB)
08:58:29 allocating polynomials object in proving key... (mem: 847.42 MiB)
08:58:29 [08:58:29.188]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 847.42 MiB)
08:58:29 [08:58:29.212]
INFO:
ivc-integration:test:native bb - time to construct proving key: 175 ms. (mem: 847.42 MiB)
08:58:29 [08:58:29.438]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 847.42 MiB)
08:58:30 [08:58:30.286]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 847.42 MiB)
08:58:30 [08:58:30.287]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 847.42 MiB)
08:58:30 [08:58:30.695]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 847.42 MiB)
08:58:30 [08:58:30.716]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 847.42 MiB)
08:58:30 [08:58:30.734]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.42 MiB)
08:58:30 [08:58:30.736]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.42 MiB)
08:58:30 goblin ecc op : 56/1024 (mem: 847.42 MiB)
08:58:30 busread : 3/6000 (mem: 847.42 MiB)
08:58:30 lookups : 2/15000 (mem: 847.42 MiB)
08:58:30 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.42 MiB)
08:58:30 [08:58:30.738]
INFO:
ivc-integration:test:native bb - arithmetic : 4481/56000 (mem: 847.42 MiB)
08:58:30 delta range : 2041/18000 (mem: 847.42 MiB)
08:58:30 elliptic : 2/6000 (mem: 847.42 MiB)
08:58:30 auxiliary : 50/26000 (mem: 847.42 MiB)
08:58:30 poseidon ext : 1312/17000 (mem: 847.42 MiB)
08:58:30 poseidon int : 7469/92000 (mem: 847.42 MiB)
08:58:30 overflow : 0/0 (mem: 847.42 MiB)
08:58:30 (mem: 847.42 MiB)
08:58:30 Total structured size: 242025 (mem: 847.42 MiB)
08:58:30 allocating polynomials object in proving key... (mem: 847.42 MiB)
08:58:30 [08:58:30.886]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 847.42 MiB)
08:58:30 [08:58:30.912]
INFO:
ivc-integration:test:native bb - time to construct proving key: 179 ms. (mem: 847.42 MiB)
08:58:31 [08:58:31.030]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 847.42 MiB)
08:58:31 [08:58:31.877]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 847.42 MiB)
08:58:31 vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 847.42 MiB)
08:58:32 [08:58:32.820]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key
08:58:32 [08:58:32.821]
INFO:
ivc-integration:test:native bb - (mem: 847.42 MiB)
08:58:32 [08:58:32.974]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 849.42 MiB)
08:58:33 [08:58:33.062]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 881.42 MiB)
08:58:33 [08:58:33.543]
INFO:
ivc-integration:test:native bb - folded (mem: 881.42 MiB)
08:58:33 constructed folding proof (mem: 881.42 MiB)
08:58:33 Largest circuit: 15360 gates. Trace details: (mem: 881.42 MiB)
08:58:33 Minimum required block sizes for structured trace: (mem: 881.42 MiB)
08:58:33 (mem: 881.42 MiB)
08:58:33 prove decider... (mem: 881.42 MiB)
08:58:33 [08:58:33.545]
INFO:
ivc-integration:test:native bb - ecc_op : 56
08:58:33 busread : 3
08:58:33 lookup : 2
08:58:33 pub_inputs : 36
08:58:33 arithmetic : 4481
08:58:33 delta_range : 2041
08:58:33 elliptic : 2
08:58:33 aux : 50
08:58:33 poseidon2_external : 1312
08:58:33 poseidon2_internal : 7469
08:58:33 overflow : 0
08:58:33 [08:58:33.801]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 881.42 MiB)
08:58:33 [08:58:33.974]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
08:58:33 [08:58:33.976]
INFO:
ivc-integration:test:native bb - (mem: 881.42 MiB)
08:58:35 [08:58:35.240]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 881.42 MiB)
08:58:35 [08:58:35.315]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 881.42 MiB)
08:58:35 [08:58:35.320]
INFO:
ivc-integration:test:native bb - finished decider proving. (mem: 881.42 MiB)
08:58:35 [08:58:35.338]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 881.42 MiB)
08:58:35 [08:58:35.435]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
08:58:35 [08:58:35.436]
INFO:
ivc-integration:test:native bb - (mem:
08:58:35 [08:58:35.438]
INFO:
ivc-integration:test:native bb - 881.42 MiB)
08:58:35 [08:58:35.445]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 881.42 MiB)
08:58:35 [08:58:35.603]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 881.42 MiB)
08:58:35 [08:58:35.648]
INFO:
ivc-integration:test:native bb - time to construct proving key: 210 ms. (mem: 881.42 MiB)
08:58:36 [08:58:36.506]
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-72LaFm/proof -k /tmp/bb-client-ivc-integration-72LaFm/vk -v
08:58:36 [08:58:36.536]
INFO:
ivc-integration:test:native bb command: verify (mem: 184.43 MiB)
08:58:36 Scheme is: client_ivc, num threads: 128 (mem: 184.43 MiB)
08:58:36 --proof_path: /tmp/bb-client-ivc-integration-72LaFm/proof (mem: 184.43 MiB)
08:58:36 --vk_path: /tmp/bb-client-ivc-integration-72LaFm/vk (mem: 184.43 MiB)
08:58:36 --verbose: true (mem: 184.43 MiB)
08:58:36 --scheme: client_ivc (mem: 184.43 MiB)
08:58:36 [08:58:36.660]
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.43 MiB)
08:58:36 [08:58:36.684]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 184.43 MiB)
08:58:36 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 184.43 MiB)
08:58:36 [08:58:36.711]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 184.43 MiB)
08:58:36 Initialized BN254 CRS from memory with num points = 1025 (mem: 184.43 MiB)
08:58:36 sumcheck_verified: 1 (mem: 184.43 MiB)
08:58:36 libra_evals_verified: 1 (mem: 184.43 MiB)
08:58:36 pairing_check_verified: 1 (mem: 184.43 MiB)
08:58:36 Mega verified: 1 (mem: 184.43 MiB)
08:58:36 [08:58:36.793]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 184.43 MiB)
08:58:36 batch opening verified?: 1 (mem: 184.43 MiB)
08:58:36 eccvm consistency check verified?: 1 (mem: 184.43 MiB)
08:58:36 translation masking consistency checked?: 1 (mem: 184.43 MiB)
08:58:36 [08:58:36.812]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 184.43 MiB)
08:58:36 eccvm verified?: 1 (mem: 184.43 MiB)
08:58:36 accumulator construction_verified?: 1 (mem: 184.43 MiB)
08:58:36 translation verified?: 1 (mem: 184.43 MiB)
08:58:36 consistency verified?: 1 (mem: 184.43 MiB)
08:58:36 Goblin verified: 1 (mem: 184.43 MiB)
08:58:36 [08:58:36.816]
INFO:
ivc-integration:test:native verified: 1 (mem: 184.43 MiB)
08:58:36 [08:58:36.932]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-2Mn8UC/ivc-inputs.msgpack
08:58:36 [08:58:36.933]
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-2Mn8UC --ivc_inputs_path /tmp/bb-client-ivc-integration-2Mn8UC/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
08:58:36 [08:58:36.960]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 183.91 MiB)
08:58:36 [08:58:36.961]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 183.91 MiB)
08:58:36 --scheme: client_ivc (mem: 183.91 MiB)
08:58:36 --output_path: /tmp/bb-client-ivc-integration-2Mn8UC (mem: 183.91 MiB)
08:58:36 --ivc_inputs_path: /tmp/bb-client-ivc-integration-2Mn8UC/ivc-inputs.msgpack (mem: 183.91 MiB)
08:58:36 --verbose: true (mem: 183.91 MiB)
08:58:36 --write_vk: true (mem: 183.91 MiB)
08:58:36 [08:58:36.965]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 183.91 MiB)
08:58:37 [08:58:37.079]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 255.00 MiB)
08:58:37 [08:58:37.171]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 302.95 MiB)
08:58:37 [08:58:37.177]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 302.95 MiB)
08:58:37 Constructing DeciderProvingKey (mem: 302.95 MiB)
08:58:37 [08:58:37.183]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 302.95 MiB)
08:58:37 goblin ecc op : 4/1024 (mem: 302.95 MiB)
08:58:37 busread : 7/6000 (mem: 302.95 MiB)
08:58:37 [08:58:37.183]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 302.95 MiB)
08:58:37 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 302.95 MiB)
08:58:37 arithmetic : 1760/56000 (mem: 302.95 MiB)
08:58:37 delta range : 1754/18000 (mem: 302.95 MiB)
08:58:37 elliptic : 2/6000 (mem: 302.95 MiB)
08:58:37 auxiliary : 26/26000 (mem: 302.95 MiB)
08:58:37 poseidon ext : 2/17000 (mem: 302.95 MiB)
08:58:37 poseidon int : 2/92000 (mem: 302.95 MiB)
08:58:37 overflow : 0/0 (mem: 302.95 MiB)
08:58:37 (mem: 302.95 MiB)
08:58:37 Total structured size: 242025 (mem: 302.95 MiB)
08:58:37 allocating polynomials object in proving key... (mem: 302.95 MiB)
08:58:37 [08:58:37.407]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 490.07 MiB)
08:58:37 [08:58:37.416]
INFO:
ivc-integration:test:native bb - time to construct proving key: 239 ms. (mem: 507.07 MiB)
08:58:37 [08:58:37.514]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5bc83b9c0240 (mem: 507.07 MiB)
08:58:37 computing oink proof... (mem: 507.07 MiB)
08:58:37 [08:58:37.515]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 507.07 MiB)
08:58:38 [08:58:38.055]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 517.07 MiB)
08:58:38 [08:58:38.087]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 517.07 MiB)
08:58:38 [08:58:38.108]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 517.07 MiB)
08:58:38 Constructing DeciderProvingKey (mem: 517.07 MiB)
08:58:38 [08:58:38.113]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 517.07 MiB)
08:58:38 goblin ecc op : 56/1024 (mem: 517.07 MiB)
08:58:38 busread : 12/6000 (mem: 517.07 MiB)
08:58:38 lookups : 2/15000 (mem: 517.07 MiB)
08:58:38 pub inputs : 32/5000 (populated in decider pk constructor) (mem:
08:58:38 [08:58:38.113]
INFO:
ivc-integration:test:native bb - 517.07 MiB)
08:58:38 arithmetic : 4625/56000 (mem: 517.07 MiB)
08:58:38 delta range : 2054/18000 (mem: 517.07 MiB)
08:58:38 elliptic : 2/6000 (mem: 517.07 MiB)
08:58:38 auxiliary : 110/26000 (mem: 517.07 MiB)
08:58:38 poseidon ext : 1302/17000 (mem: 517.07 MiB)
08:58:38 poseidon int : 7412/92000 (mem: 517.07 MiB)
08:58:38 overflow : 0/0 (mem: 517.07 MiB)
08:58:38 (mem: 517.07 MiB)
08:58:38 Total structured size: 242025 (mem: 517.07 MiB)
08:58:38 allocating polynomials object in proving key... (mem: 517.07 MiB)
08:58:38 [08:58:38.266]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 732.07 MiB)
08:58:38 [08:58:38.287]
INFO:
ivc-integration:test:native bb - time to construct proving key: 178 ms. (mem: 744.07 MiB)
08:58:38 [08:58:38.403]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5bc83b9c9480
08:58:38 [08:58:38.405]
INFO:
ivc-integration:test:native bb - (mem: 744.07 MiB)
08:58:38 computing folding proof (mem: 744.07 MiB)
08:58:38 [08:58:38.406]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 744.07 MiB)
08:58:38 [08:58:38.993]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 745.07 MiB)
08:58:39 [08:58:39.092]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 783.07 MiB)
08:58:39 [08:58:39.149]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 815.07 MiB)
08:58:39 [08:58:39.629]
INFO:
ivc-integration:test:native bb - folded (mem: 815.07 MiB)
08:58:39 constructed folding proof (mem: 815.07 MiB)
08:58:39 [08:58:39.638]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 815.07 MiB)
08:58:39 Constructing DeciderProvingKey (mem: 815.07 MiB)
08:58:39 [08:58:39.639]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 815.07 MiB)
08:58:39 goblin ecc op : 4/1024 (mem: 815.07 MiB)
08:58:39 busread : 7/6000 (mem: 815.07 MiB)
08:58:39 lookups : 2/15000 (mem: 815.07 MiB)
08:58:39 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 815.07 MiB)
08:58:39 arithmetic : 1760/56000 (mem: 815.07 MiB)
08:58:39 delta range : 1754/18000 (mem: 815.07 MiB)
08:58:39 elliptic : 2/6000 (mem: 815.07 MiB)
08:58:39 auxiliary : 26/26000 (mem: 815.07 MiB)
08:58:39 poseidon ext : 2/17000 (mem: 815.07 MiB)
08:58:39 poseidon int : 2/92000 (mem: 815.07 MiB)
08:58:39 overflow : 0/0 (mem: 815.07 MiB)
08:58:39 (mem: 815.07 MiB)
08:58:39 Total structured size: 242025 (mem: 815.07 MiB)
08:58:39 allocating polynomials object in proving key... (mem: 815.07 MiB)
08:58:40 [08:58:40.021]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 815.07 MiB)
08:58:40 [08:58:40.054]
INFO:
ivc-integration:test:native bb - time to construct proving key: 418 ms. (mem: 815.07 MiB)
08:58:40 [08:58:40.138]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5bc83b9c0a80 (mem: 815.07 MiB)
08:58:40 computing folding proof (mem: 815.07 MiB)
08:58:40 [08:58:40.139]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 815.07 MiB)
08:58:40 [08:58:40.440]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 815.07 MiB)
08:58:40 [08:58:40.552]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 815.07 MiB)
08:58:40 [08:58:40.586]
INFO:
ivc-integration:test:native bb - combiner quotient round
08:58:40 [08:58:40.588]
INFO:
ivc-integration:test:native bb - (mem:
08:58:40 [08:58:40.589]
INFO:
ivc-integration:test:native bb - 815.07
08:58:40 [08:58:40.590]
INFO:
ivc-integration:test:native bb - MiB)
08:58:41 [08:58:41.152]
INFO:
ivc-integration:test:native bb - folded (mem: 815.07 MiB)
08:58:41 constructed folding proof (mem: 815.07 MiB)
08:58:41 [08:58:41.163]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f9fbcf0b6f7f0853068fbc8dbb5098d6 (mem: 815.07 MiB)
08:58:41 [08:58:41.241]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 815.07 MiB)
08:58:41 [08:58:41.304]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 815.07 MiB)
08:58:41 Constructing DeciderProvingKey (mem: 815.07 MiB)
08:58:41 [08:58:41.309]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 815.07 MiB)
08:58:41 goblin ecc op : 792/1024 (mem: 815.07 MiB)
08:58:41 busread : 12/6000 (mem: 815.07 MiB)
08:58:41 lookups : 2/15000 (mem: 815.07 MiB)
08:58:41 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 815.07 MiB)
08:58:41 arithmetic : 12080/56000 (mem: 815.07 MiB)
08:58:41 delta range : 2942/18000 (mem: 815.07 MiB)
08:58:41 elliptic : 2/6000 (mem: 815.07 MiB)
08:58:41 auxiliary : 350/26000 (mem: 815.07 MiB)
08:58:41 poseidon ext : 4942/17000 (mem: 815.07 MiB)
08:58:41 poseidon int : 28160/92000 (mem: 815.07 MiB)
08:58:41 overflow : 0/0 (mem: 815.07 MiB)
08:58:41 (mem: 815.07 MiB)
08:58:41 Total structured size: 242025 (mem: 815.07 MiB)
08:58:41 allocating polynomials object in proving key... (mem: 815.07 MiB)
08:58:41 [08:58:41.415]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 815.07 MiB)
08:58:41 [08:58:41.449]
INFO:
ivc-integration:test:native bb - time to construct proving key: 144 ms. (mem: 815.07 MiB)
08:58:41 [08:58:41.587]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5bc83ba3d200 (mem: 815.07 MiB)
08:58:41 computing folding proof (mem: 815.07 MiB)
08:58:41 [08:58:41.589]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 815.07 MiB)
08:58:41 [08:58:41.931]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 815.07 MiB)
08:58:42 [08:58:42.030]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 815.07 MiB)
08:58:42 [08:58:42.087]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 844.11 MiB)
08:58:42 [08:58:42.292]
INFO:
ivc-integration:test:native bb - folded (mem: 844.11 MiB)
08:58:42 constructed folding proof (mem: 844.11 MiB)
08:58:42 [08:58:42.312]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000477a5774804f7d4f42e884ed00b5dbd1 (mem: 844.11 MiB)
08:58:42 [08:58:42.375]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 844.11 MiB)
08:58:42 Constructing DeciderProvingKey (mem: 844.11 MiB)
08:58:42 [08:58:42.379]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.11 MiB)
08:58:42 goblin ecc op : 392/1024 (mem: 844.11 MiB)
08:58:42 [08:58:42.380]
INFO:
ivc-integration:test:native bb - busread : 16/6000 (mem: 844.11 MiB)
08:58:42 lookups : 2/15000 (mem: 844.11 MiB)
08:58:42 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 844.11 MiB)
08:58:42 arithmetic : 6914/56000 (mem: 844.11 MiB)
08:58:42 delta range : 2347/18000 (mem: 844.11 MiB)
08:58:42 elliptic : 2/6000 (mem: 844.11 MiB)
08:58:42 auxiliary : 77/26000 (mem: 844.11 MiB)
08:58:42 poseidon ext : 2472/17000 (mem: 844.11 MiB)
08:58:42 poseidon int : 14081/92000 (mem: 844.11 MiB)
08:58:42 overflow : 0/0 (mem: 844.11 MiB)
08:58:42 (mem: 844.11 MiB)
08:58:42 Total structured size: 242025 (mem: 844.11 MiB)
08:58:42 allocating polynomials object in proving key... (mem: 844.11 MiB)
08:58:42 [08:58:42.476]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 844.11 MiB)
08:58:42 [08:58:42.504]
INFO:
ivc-integration:test:native bb - time to construct proving key: 128 ms. (mem: 844.11 MiB)
08:58:42 [08:58:42.665]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5bc83ba25080 (mem: 844.11 MiB)
08:58:42 computing folding proof (mem: 844.11 MiB)
08:58:42 vkey hash in Oink prover: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 844.11 MiB)
08:58:43 [08:58:43.170]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 844.11 MiB)
08:58:43 [08:58:43.247]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 844.11 MiB)
08:58:43 [08:58:43.311]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 845.08 MiB)
08:58:43 [08:58:43.605]
INFO:
ivc-integration:test:native bb - folded (mem: 845.08 MiB)
08:58:43 constructed folding proof (mem: 845.08 MiB)
08:58:43 [08:58:43.611]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000005220ed2a360071d17dd741d02ac22a2e (mem: 845.08 MiB)
08:58:43 [08:58:43.677]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 845.08 MiB)
08:58:43 Constructing DeciderProvingKey (mem: 845.08 MiB)
08:58:43 [08:58:43.681]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.08 MiB)
08:58:43 goblin ecc op : 392/1024 (mem: 845.08 MiB)
08:58:43 [08:58:43.682]
INFO:
ivc-integration:test:native bb - busread : 3/6000 (mem: 845.08 MiB)
08:58:43 lookups : 2/15000 (mem: 845.08 MiB)
08:58:43 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 845.08 MiB)
08:58:43 arithmetic : 6849/56000 (mem: 845.08 MiB)
08:58:43 delta range : 2333/18000 (mem: 845.08 MiB)
08:58:43 elliptic : 2/6000 (mem: 845.08 MiB)
08:58:43 auxiliary : 50/26000 (mem: 845.08 MiB)
08:58:43 poseidon ext : 2472/17000 (mem: 845.08 MiB)
08:58:43 poseidon int : 14081/92000 (mem: 845.08 MiB)
08:58:43 overflow : 0/0 (mem: 845.08 MiB)
08:58:43 (mem: 845.08 MiB)
08:58:43 Total structured size: 242025 (mem: 845.08 MiB)
08:58:43 allocating polynomials object in proving key... (mem: 845.08 MiB)
08:58:43 [08:58:43.826]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 845.08 MiB)
08:58:43 [08:58:43.858]
INFO:
ivc-integration:test:native bb - time to construct proving key: 181 ms. (mem: 845.08 MiB)
08:58:44 [08:58:44.076]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5bc83b9c12c0 (mem: 845.08 MiB)
08:58:44 computing folding proof (mem: 845.08 MiB)
08:58:44 vkey hash in Oink prover: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 845.08 MiB)
08:58:44 [08:58:44.529]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key
08:58:44 [08:58:44.531]
INFO:
ivc-integration:test:native bb - (mem: 845.08 MiB)
08:58:44 [08:58:44.619]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 845.08 MiB)
08:58:44 [08:58:44.679]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 845.64 MiB)
08:58:44 [08:58:44.947]
INFO:
ivc-integration:test:native bb - folded (mem: 845.64 MiB)
08:58:44 constructed folding proof (mem: 845.64 MiB)
08:58:44 Largest circuit: 48490 gates. Trace details: (mem: 845.64 MiB)
08:58:44 Minimum required block sizes for structured trace: (mem: 845.64 MiB)
08:58:44 [08:58:44.948]
INFO:
ivc-integration:test:native bb - (mem: 845.64 MiB)
08:58:44 prove decider... (mem: 845.64 MiB)
08:58:44 [08:58:44.952]
INFO:
ivc-integration:test:native bb - ecc_op : 792
08:58:44 busread : 16
08:58:44 lookup : 2
08:58:44 pub_inputs : 36
08:58:44 arithmetic : 12080
08:58:44 delta_range : 2942
08:58:44 elliptic : 2
08:58:44 aux : 350
08:58:44 poseidon2_external : 4942
08:58:44 poseidon2_internal : 28160
08:58:44 overflow : 0
08:58:45 [08:58:45.116]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.64 MiB)
08:58:45 [08:58:45.230]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 845.64 MiB)
08:58:46 [08:58:46.165]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 845.64 MiB)
08:58:46 [08:58:46.257]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 845.64 MiB)
08:58:46 finished decider proving. (mem: 845.64 MiB)
08:58:46 [08:58:46.280]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000007761447b8e75df185a0efb3fe82549da (mem: 845.64 MiB)
08:58:46 [08:58:46.412]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 845.64 MiB)
08:58:46 [08:58:46.420]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 845.64 MiB)
08:58:46 [08:58:46.540]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 845.64 MiB)
08:58:46 [08:58:46.589]
INFO:
ivc-integration:test:native bb - time to construct proving key: 174 ms. (mem: 845.64 MiB)
08:58:47 [08:58:47.465]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 845.64 MiB)
08:58:48 [08:58:48.023]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 845.64 MiB)
08:58:48 [08:58:48.189]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.64 MiB)
08:58:49 [08:58:49.015]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 845.64 MiB)
08:58:49 [08:58:49.928]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 845.64 MiB)
08:58:49 [08:58:49.956]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 845.64 MiB)
08:58:49 finished decider proving. (mem: 845.64 MiB)
08:58:49 [08:58:49.958]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 845.64 MiB)
08:58:50 [08:58:50.135]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 845.64 MiB)
08:58:50 [08:58:50.566]
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: 845.64 MiB)
08:58:50 [08:58:50.589]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 845.64 MiB)
08:58:52 [08:58:52.158]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.64 MiB)
08:58:53 [08:58:53.763]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 845.64 MiB)
08:58:57 [08:58:57.424]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 845.64 MiB)
08:58:57 prove translator... (mem: 845.64 MiB)
08:59:01 [08:59:01.057]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 864.75 MiB)
08:59:04 [08:59:04.390]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 864.75 MiB)
08:59:06 [08:59:06.347]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 864.75 MiB)
08:59:06 finished translator proving. (mem: 864.75 MiB)
08:59:06 [08:59:06.349]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 864.75 MiB)
08:59:06 [08:59:06.366]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 865.75 MiB)
08:59:06 libra_evals_verified: 1 (mem: 865.75 MiB)
08:59:06 pairing_check_verified: 1 (mem: 865.75 MiB)
08:59:06 Mega verified: 1 (mem: 865.75 MiB)
08:59:06 [08:59:06.434]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 865.75 MiB)
08:59:06 batch opening verified?: 1 (mem: 865.75 MiB)
08:59:06 eccvm consistency check verified?: 1 (mem: 865.75 MiB)
08:59:06 translation masking consistency checked?: 1 (mem: 865.75 MiB)
08:59:06 [08:59:06.453]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 865.75 MiB)
08:59:06 eccvm verified?: 1 (mem: 865.75 MiB)
08:59:06 accumulator construction_verified?: 1 (mem: 865.75 MiB)
08:59:06 translation verified?: 1 (mem: 865.75 MiB)
08:59:06 consistency verified?: 1 (mem: 865.75 MiB)
08:59:06 Goblin verified: 1 (mem: 865.75
08:59:06 [08:59:06.453]
INFO:
ivc-integration:test:native bb - MiB)
08:59:06 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-2Mn8UC" (mem: 865.75 MiB)
08:59:06 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-2Mn8UC" (mem: 865.75 MiB)
08:59:06 BN254 commitment key size: 262144 (mem: 865.75 MiB)
08:59:06 [08:59:06.458]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 865.75 MiB)
08:59:06 [08:59:06.459]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
08:59:06 [08:59:06.459]
INFO:
ivc-integration:test:native bb - (mem:
08:59:06 [08:59:06.461]
INFO:
ivc-integration:test:native bb - 865.75 MiB)
08:59:06 goblin ecc op : 4/1024 (mem: 865.75 MiB)
08:59:06 busread : 3/6000 (mem: 865.75 MiB)
08:59:06 lookups : 2/15000 (mem: 865.75 MiB)
08:59:06 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 865.75 MiB)
08:59:06 arithmetic : 1773/56000 (mem: 865.75 MiB)
08:59:06 delta range : 1754/18000 (mem: 865.75 MiB)
08:59:06 elliptic : 2/6000 (mem: 865.75 MiB)
08:59:06 auxiliary : 26/26000 (mem: 865.75 MiB)
08:59:06 poseidon ext : 2/17000 (mem: 865.75 MiB)
08:59:06 poseidon int : 2/92000 (mem: 865.75 MiB)
08:59:06 overflow : 0/0 (mem: 865.75 MiB)
08:59:06 (mem: 865.75 MiB)
08:59:06 Total structured size: 242025 (mem: 865.75 MiB)
08:59:06 allocating polynomials object in proving key... (mem: 865.75 MiB)
08:59:06 [08:59:06.512]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 865.75 MiB)
08:59:06 [08:59:06.524]
INFO:
ivc-integration:test:native bb - time to construct proving key: 68 ms. (mem: 865.75 MiB)
08:59:06 [08:59:06.558]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 865.75 MiB)
08:59:06 [08:59:06.957]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 865.75 MiB)
08:59:06 [08:59:06.958]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 865.75 MiB)
08:59:07 [08:59:07.055]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 865.75 MiB)
08:59:07 [08:59:07.066]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 865.75 MiB)
08:59:07 [08:59:07.079]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 865.75 MiB)
08:59:07 [08:59:07.081]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 865.75 MiB)
08:59:07 goblin ecc op : 56/1024 (mem: 865.75 MiB)
08:59:07 busread : 3/6000 (mem: 865.75 MiB)
08:59:07 lookups : 2/15000 (mem: 865.75 MiB)
08:59:07 pub inputs : 36/5000 (populated in decider pk constructor)
08:59:07 [08:59:07.082]
INFO:
ivc-integration:test:native bb - (mem: 865.75 MiB)
08:59:07 arithmetic : 4481/56000 (mem: 865.75 MiB)
08:59:07 delta range : 2041/18000 (mem: 865.75 MiB)
08:59:07 elliptic : 2/6000 (mem: 865.75 MiB)
08:59:07 auxiliary : 50/26000 (mem: 865.75 MiB)
08:59:07 poseidon ext : 1312/17000 (mem: 865.75 MiB)
08:59:07 poseidon int : 7469/92000 (mem: 865.75 MiB)
08:59:07 overflow : 0/0 (mem: 865.75 MiB)
08:59:07 (mem: 865.75 MiB)
08:59:07 Total structured size: 242025 (mem: 865.75 MiB)
08:59:07 allocating polynomials object in proving key... (mem: 865.75 MiB)
08:59:07 [08:59:07.120]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 865.75 MiB)
08:59:07 [08:59:07.130]
INFO:
ivc-integration:test:native bb - time to construct proving key: 51 ms. (mem: 865.75 MiB)
08:59:07 [08:59:07.162]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 865.75 MiB)
08:59:07 [08:59:07.509]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 865.75 MiB)
08:59:07 [08:59:07.509]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 865.75 MiB)
08:59:07 [08:59:07.728]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 865.75 MiB)
08:59:07 [08:59:07.850]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 865.75 MiB)
08:59:07 [08:59:07.902]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 897.75 MiB)
08:59:08 [08:59:08.260]
INFO:
ivc-integration:test:native bb - folded (mem: 897.75 MiB)
08:59:08 [08:59:08.261]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 897.75 MiB)
08:59:08 [08:59:08.262]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 897.75 MiB)
08:59:08 Minimum required block sizes for structured trace: (mem: 897.75 MiB)
08:59:08 [08:59:08.262]
INFO:
ivc-integration:test:native bb - ecc_op : 56
08:59:08 busread : 3
08:59:08 lookup : 2
08:59:08 pub_inputs : 36
08:59:08 arithmetic : 4481
08:59:08 delta_range : 2041
08:59:08 elliptic : 2
08:59:08 aux : 50
08:59:08 poseidon2_external : 1312
08:59:08 poseidon2_internal : 7469
08:59:08 overflow : 0
08:59:08 [08:59:08.262]
INFO:
ivc-integration:test:native bb - (mem: 897.75 MiB)
08:59:08 prove decider... (mem: 897.75 MiB)
08:59:08 [08:59:08.351]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 897.75 MiB)
08:59:08 [08:59:08.608]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 897.75 MiB)
08:59:09 [08:59:09.020]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 897.75 MiB)
08:59:09 [08:59:09.133]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 897.75 MiB)
08:59:09 finished decider proving. (mem: 897.75 MiB)
08:59:09 [08:59:09.159]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000006d422dbf3ffc420e70943b70b406becf (mem: 897.75 MiB)
08:59:09 [08:59:09.251]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 897.75 MiB)
08:59:09 [08:59:09.257]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 897.75 MiB)
08:59:09 [08:59:09.360]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 897.75 MiB)
08:59:09 [08:59:09.388]
INFO:
ivc-integration:test:native bb - time to construct proving key: 136 ms. (mem: 897.75 MiB)
08:59:09 [08:59:09.942]
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-2Mn8UC/proof -k /tmp/bb-client-ivc-integration-2Mn8UC/vk -v
08:59:09 [08:59:09.967]
INFO:
ivc-integration:test:native bb command: verify (mem: 189.53 MiB)
08:59:09 [08:59:09.968]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 189.53 MiB)
08:59:09 --proof_path: /tmp/bb-client-ivc-integration-2Mn8UC/proof (mem: 189.53 MiB)
08:59:09 --vk_path: /tmp/bb-client-ivc-integration-2Mn8UC/vk (mem: 189.53 MiB)
08:59:09 --verbose: true (mem: 189.53 MiB)
08:59:09 --scheme: client_ivc (mem: 189.53 MiB)
08:59:10 [08:59:10.083]
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.53 MiB)
08:59:10 [08:59:10.105]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 189.53 MiB)
08:59:10 [08:59:10.106]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 189.53 MiB)
08:59:10 [08:59:10.127]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 189.53 MiB)
08:59:10 [08:59:10.128]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 189.53 MiB)
08:59:10 [08:59:10.128]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 189.53 MiB)
08:59:10 libra_evals_verified: 1 (mem: 189.53 MiB)
08:59:10 pairing_check_verified: 1 (mem: 189.53 MiB)
08:59:10 [08:59:10.129]
INFO:
ivc-integration:test:native Mega verified: 1 (mem: 189.53 MiB)
08:59:10 [08:59:10.189]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 189.53 MiB)
08:59:10 batch opening verified?: 1 (mem: 189.53 MiB)
08:59:10 eccvm consistency check verified?: 1 (mem: 189.53 MiB)
08:59:10 translation masking consistency checked?: 1 (mem: 189.53 MiB)
08:59:10 [08:59:10.212]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 189.53 MiB)
08:59:10 eccvm verified?: 1 (mem: 189.53 MiB)
08:59:10 accumulator construction_verified?: 1 (mem: 189.53 MiB)
08:59:10 translation verified?: 1 (mem: 189.53 MiB)
08:59:10 consistency verified?: 1 (mem: 189.53 MiB)
08:59:10 [08:59:10.213]
INFO:
ivc-integration:test:native Goblin verified: 1 (mem: 189.53 MiB)
08:59:10 [08:59:10.220]
INFO:
ivc-integration:test:native verified: 1 (mem: 189.53 MiB)
08:59:10
PASS src/native_client_ivc_integration.test.ts (
72.13 s)
08:59:10 Client IVC Integration
08:59:10
✓ Should generate a verifiable client IVC proof from a simple mock tx (35191 ms)
08:59:10
✓ Should generate a verifiable client IVC proof from a complex mock tx (33416 ms)
08:59:10
08:59:10
Test Suites: 1 passed, 1 total
08:59:10
Tests: 2 passed, 2 total
08:59:10
Snapshots: 0 total
08:59:10
Time: 72.241 s
08:59:10
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
08:59:10
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?