Parent Log:
http://ci.aztec-labs.com/d5c4976d91abf392
Command: 72b59a67627043b2: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/433ba6218aed45169029991a493e4232b30b8ec6
Env: REF_NAME=gh-readonly-queue/next/pr-15114-23ff13c6b16a0c1333bf26aa5c213054c92403c3 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Tue Jun 17 17:48:27 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15114_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
17:48:31 [17:48:31.857]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-lLERCy/ivc-inputs.msgpack
17:48:31 [17:48:31.862]
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-lLERCy --ivc_inputs_path /tmp/bb-client-ivc-integration-lLERCy/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
17:48:31 [17:48:31.884]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 180.29 MiB)
17:48:31 [17:48:31.885]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 180.29 MiB)
17:48:31 --scheme: client_ivc (mem: 180.29 MiB)
17:48:31 --output_path: /tmp/bb-client-ivc-integration-lLERCy (mem: 180.29 MiB)
17:48:31 --ivc_inputs_path: /tmp/bb-client-ivc-integration-lLERCy/ivc-inputs.msgpack (mem: 180.29 MiB)
17:48:31 --verbose: true (mem: 180.29 MiB)
17:48:31 --write_vk: true (mem: 180.29 MiB)
17:48:31 [17:48:31.885]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 180.29 MiB)
17:48:32 [17:48:32.020]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 258.00 MiB)
17:48:32 [17:48:32.119]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 306.80 MiB)
17:48:32 [17:48:32.120]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 306.80 MiB)
17:48:32 Constructing DeciderProvingKey (mem: 306.80 MiB)
17:48:32 [17:48:32.123]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 306.80 MiB)
17:48:32 goblin ecc op : 4/1024 (mem: 306.80 MiB)
17:48:32 busread : 7/6000 (mem: 306.80 MiB)
17:48:32 lookups : 2/15000 (mem: 306.80 MiB)
17:48:32 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 306.80 MiB)
17:48:32 arithmetic : 1760/56000 (mem: 306.80 MiB)
17:48:32 delta range : 1754/18000 (mem: 306.80 MiB)
17:48:32 elliptic : 2/6000 (mem: 306.80 MiB)
17:48:32 auxiliary : 26/26000 (mem: 306.80 MiB)
17:48:32 poseidon ext : 2/17000 (mem: 306.80
17:48:32 [17:48:32.125]
INFO:
ivc-integration:test:native bb - MiB)
17:48:32 poseidon int : 2/92000 (mem: 306.80 MiB)
17:48:32 overflow : 0/0 (mem: 306.80 MiB)
17:48:32 (mem: 306.80 MiB)
17:48:32 Total structured size: 242025 (mem: 306.80 MiB)
17:48:32 allocating polynomials object in proving key... (mem: 306.80 MiB)
17:48:32 [17:48:32.201]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 506.71 MiB)
17:48:32 [17:48:32.217]
INFO:
ivc-integration:test:native bb - time to construct proving key: 96 ms. (mem: 516.71 MiB)
17:48:32 [17:48:32.251]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a3cbd129440 (mem: 516.71 MiB)
17:48:32 [17:48:32.252]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 516.71 MiB)
17:48:32 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 516.71 MiB)
17:48:32 [17:48:32.424]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 523.71 MiB)
17:48:32 [17:48:32.433]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.71 MiB)
17:48:32 [17:48:32.454]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 523.71 MiB)
17:48:32 Constructing DeciderProvingKey (mem: 523.71 MiB)
17:48:32 [17:48:32.457]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.71 MiB)
17:48:32 goblin ecc op : 56/1024 (mem: 523.71 MiB)
17:48:32 busread : 12/6000 (mem: 523.71 MiB)
17:48:32 lookups : 2/15000 (mem: 523.71 MiB)
17:48:32 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.71 MiB)
17:48:32 arithmetic : 4625/56000 (mem:
17:48:32 [17:48:32.458]
INFO:
ivc-integration:test:native bb - 523.71 MiB)
17:48:32 delta range : 2054/18000 (mem: 523.71 MiB)
17:48:32 elliptic : 2/6000 (mem: 523.71 MiB)
17:48:32 auxiliary : 110/26000 (mem: 523.71 MiB)
17:48:32 poseidon ext : 1302/17000 (mem: 523.71 MiB)
17:48:32 poseidon int : 7412/92000 (mem: 523.71 MiB)
17:48:32 overflow : 0/0 (mem: 523.71 MiB)
17:48:32 (mem: 523.71 MiB)
17:48:32 Total structured size: 242025 (mem: 523.71 MiB)
17:48:32 allocating polynomials object in proving key... (mem: 523.71 MiB)
17:48:32 [17:48:32.543]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 730.71 MiB)
17:48:32 [17:48:32.569]
INFO:
ivc-integration:test:native bb - time to construct proving key: 115 ms. (mem: 748.71 MiB)
17:48:32 [17:48:32.663]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a3cbd136100 (mem: 748.71 MiB)
17:48:32 computing folding proof (mem: 748.71 MiB)
17:48:32 [17:48:32.664]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 748.71 MiB)
17:48:33 [17:48:33.225]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 748.71 MiB)
17:48:33 [17:48:33.351]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 785.71 MiB)
17:48:33 [17:48:33.405]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 817.71 MiB)
17:48:33 [17:48:33.821]
INFO:
ivc-integration:test:native bb - folded (mem: 817.71 MiB)
17:48:33 constructed folding proof (mem: 817.71 MiB)
17:48:33 [17:48:33.835]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 817.71 MiB)
17:48:33 [17:48:33.936]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 817.71 MiB)
17:48:33 [17:48:33.937]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 817.71 MiB)
17:48:33 [17:48:33.946]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.71 MiB)
17:48:33 goblin ecc op : 392/1024 (mem: 817.71 MiB)
17:48:33 busread : 3/6000 (mem: 817.71 MiB)
17:48:33 lookups : 2/15000 (mem: 817.71 MiB)
17:48:33 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 817.71 MiB)
17:48:33 arithmetic : 6849/56000 (mem: 817.71 MiB)
17:48:33 delta range : 2333/18000 (mem: 817.71 MiB)
17:48:33 elliptic : 2/6000 (mem: 817.71 MiB)
17:48:33 auxiliary : 50/26000 (mem: 817.71 MiB)
17:48:33 poseidon ext : 2472/17000 (mem: 817.71 MiB)
17:48:33 poseidon int : 14081/92000 (mem: 817.71 MiB)
17:48:33 overflow : 0/0 (mem: 817.71 MiB)
17:48:33 (mem: 817.71 MiB)
17:48:33 Total structured size: 242025 (mem: 817.71 MiB)
17:48:33 allocating polynomials object in proving key... (mem: 817.71 MiB)
17:48:34 [17:48:34.117]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 817.71 MiB)
17:48:34 [17:48:34.167]
INFO:
ivc-integration:test:native bb - time to construct proving key: 230 ms. (mem: 817.71 MiB)
17:48:34 [17:48:34.367]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a3cbd12ba80 (mem: 817.71 MiB)
17:48:34 computing folding proof (mem: 817.71 MiB)
17:48:34 [17:48:34.368]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 817.71 MiB)
17:48:35 [17:48:35.073]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 817.71 MiB)
17:48:35 [17:48:35.179]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 817.71 MiB)
17:48:35 [17:48:35.211]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 817.71 MiB)
17:48:35 [17:48:35.521]
INFO:
ivc-integration:test:native bb - folded (mem: 817.71 MiB)
17:48:35 constructed folding proof (mem: 817.71 MiB)
17:48:35 Largest circuit: 25792 gates. Trace details: (mem: 817.71 MiB)
17:48:35 Minimum required block sizes for structured trace: (mem: 817.71 MiB)
17:48:35 (mem: 817.71 MiB)
17:48:35 prove decider... (mem: 817.71 MiB)
17:48:35 [17:48:35.525]
INFO:
ivc-integration:test:native bb - ecc_op : 392
17:48:35 busread : 12
17:48:35 lookup : 2
17:48:35 pub_inputs : 36
17:48:35 arithmetic : 6849
17:48:35 delta_range : 2333
17:48:35 elliptic : 2
17:48:35 aux : 110
17:48:35 poseidon2_external : 2472
17:48:35 poseidon2_internal : 14081
17:48:35 overflow : 0
17:48:35 [17:48:35.757]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.71 MiB)
17:48:35 [17:48:35.996]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 817.71 MiB)
17:48:37 [17:48:37.160]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 817.71 MiB)
17:48:37 [17:48:37.256]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 817.71 MiB)
17:48:37 finished decider proving. (mem: 817.71 MiB)
17:48:37 [17:48:37.291]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 817.71 MiB)
17:48:37 [17:48:37.422]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 817.71 MiB)
17:48:37 [17:48:37.434]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 817.71 MiB)
17:48:37 [17:48:37.578]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 817.71 MiB)
17:48:37 [17:48:37.657]
INFO:
ivc-integration:test:native bb - time to construct proving key: 234 ms. (mem: 817.71 MiB)
17:48:38 [17:48:38.799]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 817.71 MiB)
17:48:39 [17:48:39.504]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 817.71 MiB)
17:48:39 [17:48:39.932]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.71 MiB)
17:48:41 [17:48:41.838]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 817.71 MiB)
17:48:42 [17:48:42.853]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
17:48:42 [17:48:42.854]
INFO:
ivc-integration:test:native bb - (mem: 817.71 MiB)
17:48:42 [17:48:42.919]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 817.71 MiB)
17:48:42 finished decider proving. (mem: 817.71 MiB)
17:48:42 Constructing a Goblin proof with num ultra ops = 1038 (mem: 817.71 MiB)
17:48:43 [17:48:43.193]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 817.71 MiB)
17:48:43 [17:48:43.812]
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: 817.71 MiB)
17:48:43 [17:48:43.865]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 817.71 MiB)
17:48:45 [17:48:45.981]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.71 MiB)
17:48:48 [17:48:48.137]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 817.71 MiB)
17:48:53 [17:48:53.401]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 817.71 MiB)
17:48:53 prove translator... (mem: 817.71 MiB)
17:48:55 [17:48:55.890]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.35 MiB)
17:48:58 [17:48:58.858]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
17:48:58 [17:48:58.858]
INFO:
ivc-integration:test:native bb - (mem: 845.35 MiB)
17:49:01 [17:49:01.371]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 845.35 MiB)
17:49:01 [17:49:01.372]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 845.35 MiB)
17:49:01 [17:49:01.379]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 845.35 MiB)
17:49:01 [17:49:01.401]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 845.35 MiB)
17:49:01 libra_evals_verified: 1 (mem: 845.35 MiB)
17:49:01 pairing_check_verified: 1 (mem: 845.35 MiB)
17:49:01 Mega verified: 1 (mem: 845.35 MiB)
17:49:01 [17:49:01.520]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 845.35 MiB)
17:49:01 [17:49:01.521]
INFO:
ivc-integration:test:native bb - batch opening verified?: 1 (mem: 845.35 MiB)
17:49:01 eccvm consistency check verified?: 1 (mem: 845.35 MiB)
17:49:01 translation masking consistency checked?: 1 (mem: 845.35 MiB)
17:49:01 [17:49:01.547]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 845.35 MiB)
17:49:01 eccvm verified?: 1 (mem: 845.35 MiB)
17:49:01 accumulator construction_verified?: 1 (mem: 845.35 MiB)
17:49:01 translation verified?: 1 (mem: 845.35 MiB)
17:49:01 consistency verified?: 1 (mem: 845.35 MiB)
17:49:01 Goblin verified: 1 (mem: 845.35 MiB)
17:49:01 [17:49:01.549]
INFO:
ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-lLERCy" (mem: 845.35 MiB)
17:49:01 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-lLERCy" (mem: 845.35 MiB)
17:49:01 BN254 commitment key size: 262144 (mem: 845.35 MiB)
17:49:01 Constructing DeciderProvingKey (mem: 845.35 MiB)
17:49:01 [17:49:01.557]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.35 MiB)
17:49:01 goblin ecc op : 4/1024 (mem: 845.35 MiB)
17:49:01 busread : 3/6000 (mem: 845.35 MiB)
17:49:01 lookups : 2/15000 (mem: 845.35 MiB)
17:49:01 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 845.35 MiB)
17:49:01 arithmetic : 1773/56000 (mem: 845.35 MiB)
17:49:01 delta range : 1754/18000 (mem: 845.35 MiB)
17:49:01 elliptic : 2/6000 (mem: 845.35 MiB)
17:49:01 auxiliary : 26/26000 (mem: 845.35 MiB)
17:49:01 poseidon ext : 2/17000 (mem: 845.35 MiB)
17:49:01 poseidon int : 2/92000 (mem: 845.35 MiB)
17:49:01 overflow : 0/0 (mem: 845.35 MiB)
17:49:01 (mem: 845.35 MiB)
17:49:01 Total structured size: 242025 (mem: 845.35 MiB)
17:49:01 allocating polynomials object in proving key... (mem: 845.35 MiB)
17:49:01 [17:49:01.840]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 845.35 MiB)
17:49:01 [17:49:01.870]
INFO:
ivc-integration:test:native bb - time to construct proving key: 320 ms.
17:49:01 [17:49:01.870]
INFO:
ivc-integration:test:native bb - (mem:
17:49:01 [17:49:01.871]
INFO:
ivc-integration:test:native bb - 845.35
17:49:01 [17:49:01.871]
INFO:
ivc-integration:test:native bb - MiB)
17:49:01 [17:49:01.872]
INFO:
ivc-integration:test:native bb -
17:49:02 [17:49:02.057]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 845.35 MiB)
17:49:03 [17:49:03.042]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 845.35 MiB)
17:49:03 [17:49:03.043]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 845.35 MiB)
17:49:03 [17:49:03.609]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 845.35 MiB)
17:49:03 [17:49:03.624]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c
17:49:03 [17:49:03.626]
INFO:
ivc-integration:test:native bb - (mem: 845.35 MiB)
17:49:03 [17:49:03.642]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
17:49:03 [17:49:03.644]
INFO:
ivc-integration:test:native bb - (mem: 845.35 MiB)
17:49:03 [17:49:03.650]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 845.35 MiB)
17:49:03 goblin ecc op : 56/1024 (mem: 845.35 MiB)
17:49:03 busread : 3/6000 (mem: 845.35 MiB)
17:49:03 lookups : 2/15000 (mem: 845.35 MiB)
17:49:03 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 845.35 MiB)
17:49:03 arithmetic : 4481/56000 (mem: 845.35 MiB)
17:49:03 delta range : 2041/18000 (mem: 845.35 MiB)
17:49:03 elliptic : 2/6000 (mem: 845.35 MiB)
17:49:03 auxiliary : 50/26000 (mem: 845.35 MiB)
17:49:03 poseidon ext : 1312/17000 (mem: 845.35 MiB)
17:49:03 poseidon int : 7469/92000 (mem: 845.35 MiB)
17:49:03 overflow : 0/0 (mem: 845.35 MiB)
17:49:03 (mem: 845.35 MiB)
17:49:03 Total structured size: 242025 (mem: 845.35 MiB)
17:49:03 allocating polynomials object in proving key... (mem: 845.35 MiB)
17:49:03 [17:49:03.774]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 845.35 MiB)
17:49:03 [17:49:03.910]
INFO:
ivc-integration:test:native bb - time to construct proving key: 265 ms. (mem: 845.35 MiB)
17:49:04 [17:49:04.034]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 845.35 MiB)
17:49:04 [17:49:04.979]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 845.35 MiB)
17:49:04 vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 845.35 MiB)
17:49:05 [17:49:05.601]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key
17:49:05 [17:49:05.605]
INFO:
ivc-integration:test:native bb - (mem: 845.35 MiB)
17:49:05 [17:49:05.712]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 847.35 MiB)
17:49:05 [17:49:05.798]
INFO:
ivc-integration:test:native bb - combiner quotient round
17:49:05 [17:49:05.799]
INFO:
ivc-integration:test:native bb - (mem: 879.35 MiB)
17:49:06 [17:49:06.256]
INFO:
ivc-integration:test:native bb - folded (mem: 879.35 MiB)
17:49:06 constructed folding proof (mem: 879.35 MiB)
17:49:06 Largest circuit: 15360 gates. Trace details: (mem: 879.35 MiB)
17:49:06 Minimum required block sizes for structured trace: (mem: 879.35 MiB)
17:49:06 (mem: 879.35 MiB)
17:49:06 prove decider... (mem: 879.35 MiB)
17:49:06 [17:49:06.257]
INFO:
ivc-integration:test:native bb - ecc_op : 56
17:49:06 busread : 3
17:49:06 lookup : 2
17:49:06 pub_inputs : 36
17:49:06 arithmetic : 4481
17:49:06 delta_range : 2041
17:49:06 elliptic : 2
17:49:06 aux : 50
17:49:06 poseidon2_external : 1312
17:49:06 poseidon2_internal : 7469
17:49:06 overflow : 0
17:49:06 [17:49:06.497]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 879.35 MiB)
17:49:06 [17:49:06.720]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 879.35 MiB)
17:49:07 [17:49:07.749]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
17:49:07 [17:49:07.754]
INFO:
ivc-integration:test:native bb - (mem: 879.35 MiB)
17:49:07 [17:49:07.860]
INFO:
ivc-integration:test:native bb - computed opening proof
17:49:07 [17:49:07.862]
INFO:
ivc-integration:test:native bb - (mem: 879.35 MiB)
17:49:07 finished decider proving. (mem: 879.35 MiB)
17:49:07 [17:49:07.877]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 879.35 MiB)
17:49:08 [17:49:08.051]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 879.35 MiB)
17:49:08 [17:49:08.056]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 879.35 MiB)
17:49:08 [17:49:08.336]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 879.35 MiB)
17:49:08 [17:49:08.415]
INFO:
ivc-integration:test:native bb - time to construct proving key: 367 ms. (mem: 879.35 MiB)
17:49:09 [17:49:09.121]
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-lLERCy/proof -k /tmp/bb-client-ivc-integration-lLERCy/vk -v
17:49:09 [17:49:09.153]
INFO:
ivc-integration:test:native bb command: verify
17:49:09 [17:49:09.154]
INFO:
ivc-integration:test:native (mem: 180.29 MiB)
17:49:09 Scheme is: client_ivc, num threads: 128 (mem: 180.29 MiB)
17:49:09 --proof_path: /tmp/bb-client-ivc-integration-lLERCy/proof (mem: 180.29 MiB)
17:49:09 --vk_path: /tmp/bb-client-ivc-integration-lLERCy/vk (mem: 180.29 MiB)
17:49:09 --verbose: true (mem: 180.29 MiB)
17:49:09 --scheme: client_ivc (mem: 180.29 MiB)
17:49:09 [17:49:09.269]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 180.29 MiB)
17:49:09 [17:49:09.290]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561
17:49:09 [17:49:09.293]
INFO:
ivc-integration:test:native (mem: 180.29 MiB)
17:49:09 [17:49:09.297]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 180.29 MiB)
17:49:09 [17:49:09.315]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat"
17:49:09 [17:49:09.316]
INFO:
ivc-integration:test:native (mem:
17:49:09 [17:49:09.318]
INFO:
ivc-integration:test:native 180.29 MiB)
17:49:09 [17:49:09.322]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 180.29 MiB)
17:49:09 sumcheck_verified: 1 (mem: 180.29 MiB)
17:49:09 libra_evals_verified: 1 (mem: 180.29 MiB)
17:49:09 pairing_check_verified: 1 (mem: 180.29 MiB)
17:49:09 Mega verified: 1 (mem: 180.29 MiB)
17:49:09 [17:49:09.420]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1
17:49:09 [17:49:09.420]
INFO:
ivc-integration:test:native (mem: 182.82 MiB)
17:49:09 batch opening verified?: 1 (mem: 182.82 MiB)
17:49:09 eccvm consistency check verified?: 1 (mem: 182.82 MiB)
17:49:09 translation masking consistency checked?: 1 (mem: 182.82 MiB)
17:49:09 [17:49:09.451]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 182.82 MiB)
17:49:09 eccvm verified?: 1 (mem: 182.82 MiB)
17:49:09 accumulator construction_verified?: 1 (mem: 182.82 MiB)
17:49:09 translation verified?: 1 (mem: 182.82 MiB)
17:49:09 consistency verified?: 1 (mem: 182.82 MiB)
17:49:09 Goblin verified: 1 (mem: 182.82 MiB)
17:49:09 [17:49:09.456]
INFO:
ivc-integration:test:native verified: 1 (mem: 182.82 MiB)
17:49:09 [17:49:09.595]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-ExFgw9/ivc-inputs.msgpack
17:49:09 [17:49:09.599]
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-ExFgw9 --ivc_inputs_path /tmp/bb-client-ivc-integration-ExFgw9/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
17:49:09 [17:49:09.633]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 181.45 MiB)
17:49:09 Scheme is: client_ivc, num threads: 128 (mem: 181.45 MiB)
17:49:09 --scheme: client_ivc (mem: 181.45 MiB)
17:49:09 --output_path: /tmp/bb-client-ivc-integration-ExFgw9 (mem: 181.45 MiB)
17:49:09 --ivc_inputs_path: /tmp/bb-client-ivc-integration-ExFgw9/ivc-inputs.msgpack (mem: 181.45 MiB)
17:49:09 --verbose: true (mem: 181.45 MiB)
17:49:09 --write_vk: true (mem: 181.45 MiB)
17:49:09 [17:49:09.639]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 181.45 MiB)
17:49:09 [17:49:09.774]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 265.00 MiB)
17:49:09 [17:49:09.863]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 313.64 MiB)
17:49:09 [17:49:09.867]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 313.64 MiB)
17:49:09 [17:49:09.868]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 313.64 MiB)
17:49:09 [17:49:09.873]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
17:49:09 [17:49:09.875]
INFO:
ivc-integration:test:native bb - (mem: 313.64 MiB)
17:49:09 goblin ecc op : 4/1024 (mem: 313.64 MiB)
17:49:09 busread : 7/6000 (mem: 313.64 MiB)
17:49:09 lookups : 2/15000 (mem: 313.64 MiB)
17:49:09 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 313.64 MiB)
17:49:09 arithmetic : 1760/56000 (mem: 313.64 MiB)
17:49:09 delta range : 1754/18000 (mem: 313.64 MiB)
17:49:09 elliptic : 2/6000 (mem: 313.64 MiB)
17:49:09 auxiliary : 26/26000 (mem: 313.64 MiB)
17:49:09 poseidon ext : 2/17000 (mem: 313.64 MiB)
17:49:09 poseidon int : 2/92000 (mem: 313.64 MiB)
17:49:09 overflow : 0/0 (mem: 313.64 MiB)
17:49:09 (mem: 313.64 MiB)
17:49:09 Total structured size: 242025 (mem: 313.64 MiB)
17:49:09 allocating polynomials object in proving key... (mem: 313.64 MiB)
17:49:10 [17:49:10.080]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 502.77 MiB)
17:49:10 [17:49:10.113]
INFO:
ivc-integration:test:native bb - time to construct proving key: 244 ms. (mem: 513.77 MiB)
17:49:10 [17:49:10.304]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a1d48878240 (mem: 513.77 MiB)
17:49:10 [17:49:10.306]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 513.77 MiB)
17:49:10 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 513.77 MiB)
17:49:10 [17:49:10.806]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 523.77 MiB)
17:49:10 [17:49:10.814]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.77 MiB)
17:49:10 [17:49:10.833]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 523.77 MiB)
17:49:10 Constructing DeciderProvingKey (mem: 523.77 MiB)
17:49:10 [17:49:10.836]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.77 MiB)
17:49:10 goblin ecc op : 56/1024 (mem: 523.77 MiB)
17:49:10 busread : 12/6000 (mem: 523.77 MiB)
17:49:10 lookups : 2/15000 (mem: 523.77 MiB)
17:49:10 [17:49:10.838]
INFO:
ivc-integration:test:native bb -
17:49:10 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.77 MiB)
17:49:10 arithmetic : 4625/56000 (mem: 523.77 MiB)
17:49:10 delta range : 2054/18000 (mem: 523.77 MiB)
17:49:10 elliptic : 2/6000 (mem: 523.77 MiB)
17:49:10 auxiliary : 110/26000 (mem: 523.77 MiB)
17:49:10 poseidon ext : 1302/17000 (mem: 523.77 MiB)
17:49:10 poseidon int : 7412/92000 (mem: 523.77 MiB)
17:49:10 overflow : 0/0 (mem: 523.77 MiB)
17:49:10 (mem: 523.77 MiB)
17:49:10 Total structured size: 242025 (mem: 523.77 MiB)
17:49:10 allocating polynomials object in proving key... (mem: 523.77 MiB)
17:49:10 [17:49:10.916]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 729.77 MiB)
17:49:10 [17:49:10.937]
INFO:
ivc-integration:test:native bb - time to construct proving key: 103 ms. (mem: 745.77 MiB)
17:49:11 [17:49:11.098]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a1d48881480 (mem: 745.77 MiB)
17:49:11 computing folding proof (mem: 745.77 MiB)
17:49:11 [17:49:11.099]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 745.77 MiB)
17:49:11 [17:49:11.913]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 746.77 MiB)
17:49:12 [17:49:12.031]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 783.77 MiB)
17:49:12 [17:49:12.107]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 814.77 MiB)
17:49:12 [17:49:12.541]
INFO:
ivc-integration:test:native bb - folded (mem: 814.77 MiB)
17:49:12 constructed folding proof (mem: 814.77 MiB)
17:49:12 [17:49:12.545]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 814.77 MiB)
17:49:12 Constructing DeciderProvingKey (mem: 814.77 MiB)
17:49:12 [17:49:12.550]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 814.77 MiB)
17:49:12 goblin ecc op : 4/1024 (mem: 814.77 MiB)
17:49:12 busread : 7/6000 (mem: 814.77 MiB)
17:49:12 lookups : 2/15000 (mem: 814.77 MiB)
17:49:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 814.77 MiB)
17:49:12 arithmetic : 1760/56000 (mem: 814.77 MiB)
17:49:12 delta range : 1754/18000 (mem: 814.77 MiB)
17:49:12 [17:49:12.552]
INFO:
ivc-integration:test:native bb - elliptic : 2/6000 (mem: 814.77 MiB)
17:49:12 auxiliary : 26/26000 (mem: 814.77 MiB)
17:49:12 poseidon ext : 2/17000 (mem: 814.77 MiB)
17:49:12 poseidon int : 2/92000 (mem: 814.77 MiB)
17:49:12 overflow : 0/0 (mem: 814.77 MiB)
17:49:12 (mem: 814.77 MiB)
17:49:12 Total structured size: 242025 (mem: 814.77 MiB)
17:49:12 allocating polynomials object in proving key... (mem: 814.77 MiB)
17:49:12 [17:49:12.705]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 814.77 MiB)
17:49:12 [17:49:12.724]
INFO:
ivc-integration:test:native bb - time to construct proving key: 179 ms. (mem: 814.77 MiB)
17:49:12 [17:49:12.842]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a1d48873dc0 (mem: 814.77 MiB)
17:49:12 computing folding proof (mem: 814.77 MiB)
17:49:12 [17:49:12.846]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 814.77 MiB)
17:49:13 [17:49:13.126]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 814.77 MiB)
17:49:13 [17:49:13.209]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 814.77 MiB)
17:49:13 [17:49:13.279]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 815.31 MiB)
17:49:13 [17:49:13.663]
INFO:
ivc-integration:test:native bb - folded (mem:
17:49:13 [17:49:13.664]
INFO:
ivc-integration:test:native bb - 815.31 MiB)
17:49:13 constructed folding proof (mem: 815.31 MiB)
17:49:13 [17:49:13.685]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 815.31 MiB)
17:49:13 [17:49:13.765]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970
17:49:13 [17:49:13.766]
INFO:
ivc-integration:test:native bb - (mem:
17:49:13 [17:49:13.766]
INFO:
ivc-integration:test:native bb - 815.31
17:49:13 [17:49:13.766]
INFO:
ivc-integration:test:native bb - MiB)
17:49:13 [17:49:13.768]
INFO:
ivc-integration:test:native bb -
17:49:13 [17:49:13.840]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 815.31 MiB)
17:49:13 Constructing DeciderProvingKey (mem: 815.31 MiB)
17:49:13 [17:49:13.846]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 815.31 MiB)
17:49:13 goblin ecc op : 792/1024 (mem: 815.31 MiB)
17:49:13 busread : 12/6000 (mem: 815.31 MiB)
17:49:13 lookups : 2/15000 (mem: 815.31 MiB)
17:49:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 815.31 MiB)
17:49:13 [17:49:13.848]
INFO:
ivc-integration:test:native bb - arithmetic : 12080/56000 (mem: 815.31 MiB)
17:49:13 delta range : 2942/18000 (mem: 815.31 MiB)
17:49:13 elliptic : 2/6000 (mem: 815.31 MiB)
17:49:13 auxiliary : 350/26000 (mem: 815.31 MiB)
17:49:13 poseidon ext : 4942/17000 (mem: 815.31 MiB)
17:49:13 poseidon int : 28160/92000 (mem: 815.31 MiB)
17:49:13 overflow : 0/0 (mem: 815.31 MiB)
17:49:13 (mem: 815.31 MiB)
17:49:13 Total structured size: 242025 (mem: 815.31 MiB)
17:49:13 allocating polynomials object in proving key... (mem: 815.31 MiB)
17:49:13 [17:49:13.967]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 815.31 MiB)
17:49:14 [17:49:14.016]
INFO:
ivc-integration:test:native bb - time to construct proving key: 172 ms. (mem: 815.31 MiB)
17:49:14 [17:49:14.131]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a1d48878a80 (mem: 815.31 MiB)
17:49:14 computing folding proof (mem: 815.31 MiB)
17:49:14 [17:49:14.131]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 815.31 MiB)
17:49:14 [17:49:14.552]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 815.31 MiB)
17:49:14 [17:49:14.653]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 815.31 MiB)
17:49:14 [17:49:14.723]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 843.10 MiB)
17:49:15 [17:49:15.025]
INFO:
ivc-integration:test:native bb - folded (mem: 843.10 MiB)
17:49:15 constructed folding proof (mem: 843.10 MiB)
17:49:15 [17:49:15.042]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 843.10 MiB)
17:49:15 [17:49:15.130]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 843.10 MiB)
17:49:15 Constructing DeciderProvingKey (mem: 843.10 MiB)
17:49:15 [17:49:15.131]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 843.10 MiB)
17:49:15 goblin ecc op : 392/1024 (mem: 843.10 MiB)
17:49:15 busread : 16/6000 (mem: 843.10 MiB)
17:49:15 lookups : 2/15000 (mem: 843.10 MiB)
17:49:15 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 843.10 MiB)
17:49:15 arithmetic : 6914/56000 (mem: 843.10 MiB)
17:49:15 delta range : 2347/18000 (mem: 843.10 MiB)
17:49:15 elliptic : 2/6000 (mem: 843.10 MiB)
17:49:15 auxiliary : 77/26000 (mem: 843.10 MiB)
17:49:15 poseidon ext : 2472/17000 (mem: 843.10 MiB)
17:49:15 poseidon int : 14081/92000 (mem: 843.10 MiB)
17:49:15 overflow : 0/0 (mem: 843.10 MiB)
17:49:15 (mem: 843.10 MiB)
17:49:15 Total structured size: 242025 (mem: 843.10 MiB)
17:49:15 allocating polynomials object in proving key... (mem: 843.10 MiB)
17:49:15 [17:49:15.241]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 843.10 MiB)
17:49:15 [17:49:15.273]
INFO:
ivc-integration:test:native bb - time to construct proving key: 145 ms. (mem: 843.10 MiB)
17:49:15 [17:49:15.389]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a1d488f5180 (mem: 843.10 MiB)
17:49:15 computing folding proof (mem: 843.10 MiB)
17:49:15 [17:49:15.390]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 843.10 MiB)
17:49:15 [17:49:15.805]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 843.10 MiB)
17:49:15 [17:49:15.892]
INFO:
ivc-integration:test:native bb - perturbator round
17:49:15 [17:49:15.893]
INFO:
ivc-integration:test:native bb - (mem: 843.10 MiB)
17:49:15 [17:49:15.947]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 844.65 MiB)
17:49:16 [17:49:16.180]
INFO:
ivc-integration:test:native bb - folded (mem: 844.65 MiB)
17:49:16 constructed folding proof (mem: 844.65 MiB)
17:49:16 [17:49:16.196]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 844.65 MiB)
17:49:16 [17:49:16.272]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 844.65 MiB)
17:49:16 Constructing DeciderProvingKey (mem: 844.65 MiB)
17:49:16 [17:49:16.276]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.65 MiB)
17:49:16 goblin ecc op : 392/1024 (mem: 844.65 MiB)
17:49:16 busread : 3/6000 (mem: 844.65 MiB)
17:49:16 lookups : 2/15000 (mem: 844.65 MiB)
17:49:16 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 844.65 MiB)
17:49:16 arithmetic : 6849/56000 (mem: 844.65 MiB)
17:49:16 delta range : 2333/18000 (mem: 844.65 MiB)
17:49:16 elliptic : 2/6000 (mem: 844.65 MiB)
17:49:16 auxiliary : 50/26000 (mem: 844.65 MiB)
17:49:16 poseidon ext : 2472/17000 (mem: 844.65 MiB)
17:49:16 poseidon int : 14081/92000 (mem: 844.65 MiB)
17:49:16 overflow : 0/0 (mem: 844.65 MiB)
17:49:16 (mem: 844.65 MiB)
17:49:16 Total structured size: 242025 (mem: 844.65 MiB)
17:49:16 allocating polynomials object in proving key... (mem: 844.65 MiB)
17:49:16 [17:49:16.343]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 844.65 MiB)
17:49:16 [17:49:16.367]
INFO:
ivc-integration:test:native bb - time to construct proving key: 95 ms. (mem: 844.65 MiB)
17:49:16 [17:49:16.498]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5a1d488dce00 (mem: 844.65 MiB)
17:49:16 computing folding proof (mem: 844.65 MiB)
17:49:16 vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 844.65 MiB)
17:49:16 [17:49:16.973]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 844.65 MiB)
17:49:17 [17:49:17.044]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 844.65 MiB)
17:49:17 [17:49:17.091]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 845.06 MiB)
17:49:17 [17:49:17.179]
INFO:
ivc-integration:test:native bb - folded (mem: 845.06 MiB)
17:49:17 constructed folding proof (mem: 845.06 MiB)
17:49:17 [17:49:17.180]
INFO:
ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 845.06 MiB)
17:49:17 Minimum required block sizes for structured trace: (mem: 845.06 MiB)
17:49:17 (mem: 845.06 MiB)
17:49:17 prove decider... (mem: 845.06 MiB)
17:49:17 [17:49:17.180]
INFO:
ivc-integration:test:native bb - ecc_op : 792
17:49:17 busread : 16
17:49:17 lookup : 2
17:49:17 pub_inputs : 36
17:49:17 arithmetic : 12080
17:49:17 delta_range : 2942
17:49:17 elliptic : 2
17:49:17 aux : 350
17:49:17 poseidon2_external : 4942
17:49:17 poseidon2_internal : 28160
17:49:17 overflow : 0
17:49:17 [17:49:17.236]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.06 MiB)
17:49:17 [17:49:17.384]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 845.06 MiB)
17:49:18 [17:49:18.101]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 845.06 MiB)
17:49:18 [17:49:18.202]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 845.06 MiB)
17:49:18 finished decider proving. (mem: 845.06 MiB)
17:49:18 [17:49:18.216]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 845.06 MiB)
17:49:18 [17:49:18.316]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
17:49:18 [17:49:18.318]
INFO:
ivc-integration:test:native bb - (mem: 845.06 MiB)
17:49:18 [17:49:18.321]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 845.06 MiB)
17:49:18 [17:49:18.431]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 845.06 MiB)
17:49:18 [17:49:18.484]
INFO:
ivc-integration:test:native bb - time to construct proving key: 167 ms. (mem: 845.06 MiB)
17:49:19 [17:49:19.151]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 845.06 MiB)
17:49:19 [17:49:19.564]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 845.06 MiB)
17:49:19 [17:49:19.729]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.06 MiB)
17:49:20 [17:49:20.222]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 845.06 MiB)
17:49:20 [17:49:20.610]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 845.06 MiB)
17:49:20 [17:49:20.634]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 845.06 MiB)
17:49:20 finished decider proving. (mem: 845.06 MiB)
17:49:20 Constructing a Goblin proof with num ultra ops = 2226 (mem: 845.06 MiB)
17:49:20 [17:49:20.746]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 845.06 MiB)
17:49:21 [17:49:21.083]
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.06 MiB)
17:49:21 [17:49:21.102]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 845.06 MiB)
17:49:22 [17:49:22.460]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 845.06 MiB)
17:49:23 [17:49:23.884]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 845.06 MiB)
17:49:25 [17:49:25.848]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 845.06 MiB)
17:49:25 prove translator... (mem: 845.06 MiB)
17:49:28 [17:49:28.110]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 865.65 MiB)
17:49:29 [17:49:29.973]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 865.65 MiB)
17:49:31 [17:49:31.546]
INFO:
ivc-integration:test:native bb - computed opening proof
17:49:31 [17:49:31.546]
INFO:
ivc-integration:test:native bb - (mem: 865.65 MiB)
17:49:31 finished translator proving. (mem: 865.65 MiB)
17:49:31 [17:49:31.559]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 865.65 MiB)
17:49:31 [17:49:31.572]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 865.65 MiB)
17:49:31 libra_evals_verified: 1 (mem: 865.65 MiB)
17:49:31 pairing_check_verified: 1 (mem: 865.65 MiB)
17:49:31 Mega verified: 1 (mem: 865.65 MiB)
17:49:31 [17:49:31.668]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 866.65 MiB)
17:49:31 batch opening verified?: 1 (mem: 866.65 MiB)
17:49:31 eccvm consistency check verified?: 1 (mem: 866.65 MiB)
17:49:31 translation masking consistency checked?: 1 (mem: 866.65 MiB)
17:49:31 [17:49:31.695]
INFO:
ivc-integration:test:native bb - merge verified?: 1
17:49:31 [17:49:31.696]
INFO:
ivc-integration:test:native bb - (mem: 866.65 MiB)
17:49:31 eccvm verified?: 1 (mem: 866.65 MiB)
17:49:31 accumulator construction_verified?: 1 (mem: 866.65 MiB)
17:49:31 translation verified?: 1 (mem: 866.65 MiB)
17:49:31 consistency verified?: 1 (mem: 866.65 MiB)
17:49:31 Goblin verified: 1 (mem: 866.65 MiB)
17:49:31 [17:49:31.699]
INFO:
ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-ExFgw9" (mem: 866.65 MiB)
17:49:31 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-ExFgw9" (mem: 866.65 MiB)
17:49:31 BN254 commitment key size: 262144 (mem: 866.65 MiB)
17:49:31 Constructing DeciderProvingKey (mem: 866.65 MiB)
17:49:31 [17:49:31.702]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
17:49:31 [17:49:31.704]
INFO:
ivc-integration:test:native bb - (mem: 866.65 MiB)
17:49:31 goblin ecc op : 4/1024 (mem: 866.65 MiB)
17:49:31 busread : 3/6000 (mem: 866.65 MiB)
17:49:31 lookups : 2/15000 (mem: 866.65 MiB)
17:49:31 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 866.65 MiB)
17:49:31 arithmetic : 1773/56000 (mem: 866.65 MiB)
17:49:31 delta range : 1754/18000 (mem: 866.65 MiB)
17:49:31 elliptic : 2/6000 (mem: 866.65 MiB)
17:49:31 auxiliary : 26/26000 (mem: 866.65 MiB)
17:49:31 poseidon ext : 2/17000 (mem: 866.65 MiB)
17:49:31 poseidon int : 2/92000 (mem: 866.65 MiB)
17:49:31 overflow : 0/0 (mem: 866.65 MiB)
17:49:31 (mem: 866.65 MiB)
17:49:31 Total structured size: 242025 (mem: 866.65 MiB)
17:49:31 allocating polynomials object in proving key... (mem: 866.65 MiB)
17:49:31 [17:49:31.895]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 866.65 MiB)
17:49:31 [17:49:31.907]
INFO:
ivc-integration:test:native bb - time to construct proving key: 208 ms. (mem: 866.65 MiB)
17:49:31 [17:49:31.949]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 866.65 MiB)
17:49:32 [17:49:32.826]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 866.65 MiB)
17:49:32 [17:49:32.827]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 866.65 MiB)
17:49:33 [17:49:33.136]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 866.65 MiB)
17:49:33 [17:49:33.143]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c
17:49:33 [17:49:33.145]
INFO:
ivc-integration:test:native bb - (mem: 866.65 MiB)
17:49:33 [17:49:33.161]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
17:49:33 [17:49:33.170]
INFO:
ivc-integration:test:native bb - (mem: 866.65 MiB)
17:49:33 [17:49:33.170]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 866.65 MiB)
17:49:33 goblin ecc op : 56/1024 (mem: 866.65 MiB)
17:49:33 busread : 3/6000 (mem: 866.65 MiB)
17:49:33 lookups : 2/15000 (mem: 866.65 MiB)
17:49:33 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 866.65 MiB)
17:49:33 arithmetic : 4481/56000 (mem: 866.65 MiB)
17:49:33 delta range : 2041/18000 (mem: 866.65 MiB)
17:49:33 elliptic : 2/6000 (mem: 866.65 MiB)
17:49:33 auxiliary : 50/26000 (mem: 866.65 MiB)
17:49:33 poseidon ext : 1312/17000 (mem: 866.65 MiB)
17:49:33 poseidon int : 7469/92000 (mem: 866.65 MiB)
17:49:33 overflow : 0/0 (mem: 866.65 MiB)
17:49:33 (mem: 866.65 MiB)
17:49:33 Total structured size: 242025 (mem: 866.65 MiB)
17:49:33 allocating polynomials object in proving key... (mem: 866.65 MiB)
17:49:33 [17:49:33.455]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 866.65 MiB)
17:49:33 [17:49:33.483]
INFO:
ivc-integration:test:native bb - time to construct proving key: 320 ms.
17:49:33 [17:49:33.485]
INFO:
ivc-integration:test:native bb - (mem: 866.65 MiB)
17:49:33 [17:49:33.595]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 866.65 MiB)
17:49:34 [17:49:34.288]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 866.65 MiB)
17:49:34 [17:49:34.289]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 866.65 MiB)
17:49:34 [17:49:34.850]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 866.65 MiB)
17:49:34 [17:49:34.937]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 866.65 MiB)
17:49:35 [17:49:35.007]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 898.65 MiB)
17:49:35 [17:49:35.274]
INFO:
ivc-integration:test:native bb - folded (mem: 898.65 MiB)
17:49:35 constructed folding proof (mem: 898.65 MiB)
17:49:35 [17:49:35.275]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 898.65 MiB)
17:49:35 Minimum required block sizes for structured trace: (mem: 898.65 MiB)
17:49:35 (mem: 898.65 MiB)
17:49:35 prove decider... (mem: 898.65 MiB)
17:49:35 [17:49:35.276]
INFO:
ivc-integration:test:native bb - ecc_op : 56
17:49:35 busread : 3
17:49:35 lookup : 2
17:49:35 pub_inputs : 36
17:49:35 arithmetic : 4481
17:49:35 delta_range : 2041
17:49:35 elliptic : 2
17:49:35 aux : 50
17:49:35 poseidon2_external : 1312
17:49:35 poseidon2_internal : 7469
17:49:35 overflow : 0
17:49:35 [17:49:35.353]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 898.65 MiB)
17:49:35 [17:49:35.574]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 898.65 MiB)
17:49:36 [17:49:36.535]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 898.65 MiB)
17:49:36 [17:49:36.593]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 898.65 MiB)
17:49:36 finished decider proving. (mem: 898.65 MiB)
17:49:36 [17:49:36.604]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 898.65 MiB)
17:49:36 [17:49:36.675]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 898.65 MiB)
17:49:36 [17:49:36.679]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 898.65 MiB)
17:49:36 [17:49:36.717]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 898.65 MiB)
17:49:36 [17:49:36.740]
INFO:
ivc-integration:test:native bb - time to construct proving key: 65 ms. (mem: 898.65 MiB)
17:49:37 [17:49:37.058]
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-ExFgw9/proof -k /tmp/bb-client-ivc-integration-ExFgw9/vk -v
17:49:37 [17:49:37.076]
INFO:
ivc-integration:test:native bb command: verify (mem: 187.47 MiB)
17:49:37 [17:49:37.077]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 187.47 MiB)
17:49:37 --proof_path: /tmp/bb-client-ivc-integration-ExFgw9/proof (mem: 187.47 MiB)
17:49:37 --vk_path: /tmp/bb-client-ivc-integration-ExFgw9/vk (mem: 187.47 MiB)
17:49:37 --verbose: true (mem: 187.47 MiB)
17:49:37 --scheme: client_ivc (mem: 187.47 MiB)
17:49:37 [17:49:37.159]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 187.47 MiB)
17:49:37 [17:49:37.179]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 187.47 MiB)
17:49:37 [17:49:37.181]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 187.47 MiB)
17:49:37 [17:49:37.196]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 187.47 MiB)
17:49:37 [17:49:37.197]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 187.47 MiB)
17:49:37 [17:49:37.197]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 187.47 MiB)
17:49:37 libra_evals_verified: 1 (mem: 187.47 MiB)
17:49:37 pairing_check_verified: 1 (mem: 187.47 MiB)
17:49:37 Mega verified: 1 (mem: 187.47 MiB)
17:49:37 [17:49:37.257]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 187.47 MiB)
17:49:37 batch opening verified?: 1 (mem: 187.47 MiB)
17:49:37 eccvm consistency check verified?: 1 (mem: 187.47 MiB)
17:49:37 translation masking consistency checked?: 1 (mem: 187.47 MiB)
17:49:37 [17:49:37.273]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 187.47 MiB)
17:49:37 eccvm verified?: 1 (mem: 187.47 MiB)
17:49:37 accumulator construction_verified?: 1 (mem: 187.47 MiB)
17:49:37 translation verified?: 1 (mem: 187.47 MiB)
17:49:37 consistency verified?: 1 (mem: 187.47 MiB)
17:49:37 [17:49:37.273]
INFO:
ivc-integration:test:native Goblin verified: 1 (mem: 187.47 MiB)
17:49:37 [17:49:37.278]
INFO:
ivc-integration:test:native verified: 1 (mem: 187.47 MiB)
17:49:37
PASS src/native_client_ivc_integration.test.ts (
69.153 s)
17:49:37 Client IVC Integration
17:49:37
✓ Should generate a verifiable client IVC proof from a simple mock tx (37747 ms)
17:49:37
✓ Should generate a verifiable client IVC proof from a complex mock tx (27786 ms)
17:49:37
17:49:37
Test Suites: 1 passed, 1 total
17:49:37
Tests: 2 passed, 2 total
17:49:37
Snapshots: 0 total
17:49:37
Time: 69.254 s
17:49:37
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
17:49:37
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?