Parent Log:
http://ci.aztec-labs.com/6f54d6e87ee134d3
Command: 467c61bd41bfcfc4: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/2a96aa32179deb1c1a98c9bc93fbe72f0d016d62
Env: REF_NAME=gh-readonly-queue/next/pr-15284-aacd7d15462246c78893a25b05d292342c07b582 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 25 15:32:38 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15284_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
15:32:43 [15:32:43.085]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-tSwDyY/ivc-inputs.msgpack
15:32:43 [15:32:43.090]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
15:32:43 [15:32:43.091]
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-tSwDyY --ivc_inputs_path /tmp/bb-client-ivc-integration-tSwDyY/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
15:32:43 [15:32:43.116]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 238.69 MiB)
15:32:43 [15:32:43.119]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 238.69 MiB)
15:32:43 --scheme: client_ivc (mem: 238.69 MiB)
15:32:43 --output_path: /tmp/bb-client-ivc-integration-tSwDyY (mem: 238.69 MiB)
15:32:43 --ivc_inputs_path: /tmp/bb-client-ivc-integration-tSwDyY/ivc-inputs.msgpack (mem: 238.69 MiB)
15:32:43 --verbose: true (mem: 238.69 MiB)
15:32:43 --write_vk: true (mem: 238.69 MiB)
15:32:43 BN254 commitment key size: 262144 (mem: 238.69 MiB)
15:32:43 using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 238.69 MiB)
15:32:43 [15:32:43.189]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 238.69 MiB)
15:32:43 [15:32:43.194]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0
15:32:43 [15:32:43.200]
INFO:
ivc-integration:test:native bb - (mem: 238.69 MiB)
15:32:43 Constructing DeciderProvingKey (mem: 238.69 MiB)
15:32:43 [15:32:43.203]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
15:32:43 [15:32:43.205]
INFO:
ivc-integration:test:native bb - (mem: 238.69 MiB)
15:32:43 goblin ecc op : 4/1024 (mem: 238.69 MiB)
15:32:43 busread : 7/6000 (mem: 238.69 MiB)
15:32:43 lookups : 2/15000 (mem: 238.69 MiB)
15:32:43 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 238.69 MiB)
15:32:43 arithmetic : 1760/56000 (mem: 238.69 MiB)
15:32:43 delta range : 1754/18000 (mem: 238.69 MiB)
15:32:43 elliptic : 2/6000 (mem: 238.69 MiB)
15:32:43 auxiliary : 26/26000 (mem: 238.69 MiB)
15:32:43 poseidon ext : 2/17000 (mem: 238.69 MiB)
15:32:43 poseidon int : 2/92000 (mem: 238.69 MiB)
15:32:43 overflow : 0/0 (mem: 238.69 MiB)
15:32:43 (mem: 238.69 MiB)
15:32:43 Total structured size: 242025 (mem: 238.69 MiB)
15:32:43 allocating polynomials object in proving key... (mem: 238.69 MiB)
15:32:43 [15:32:43.427]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 336.14 MiB)
15:32:43 [15:32:43.437]
INFO:
ivc-integration:test:native bb - time to construct proving key: 240 ms. (mem: 352.14 MiB)
15:32:43 getting honk vk... precomputed?: 0x63e911e28e00 (mem: 352.14 MiB)
15:32:43 computing oink proof... (mem: 352.14 MiB)
15:32:43 [15:32:43.438]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 352.14 MiB)
15:32:43 [15:32:43.596]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 361.14 MiB)
15:32:43 [15:32:43.725]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 361.14 MiB)
15:32:43 [15:32:43.744]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 361.14 MiB)
15:32:43 Constructing DeciderProvingKey (mem: 361.14 MiB)
15:32:43 [15:32:43.749]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 361.14 MiB)
15:32:43 goblin ecc op : 56/1024 (mem: 361.14 MiB)
15:32:43 busread : 12/6000 (mem: 361.14 MiB)
15:32:43 lookups : 2/15000 (mem: 361.14 MiB)
15:32:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 361.14 MiB)
15:32:43 arithmetic : 4676/56000 (mem: 361.14 MiB)
15:32:43 delta range : 2073/18000 (mem: 361.14 MiB)
15:32:43 elliptic : 2/6000 (mem: 361.14 MiB)
15:32:43 auxiliary : 110/26000 (mem: 361.14 MiB)
15:32:43 [15:32:43.750]
INFO:
ivc-integration:test:native bb - poseidon ext : 1322/17000 (mem: 361.14 MiB)
15:32:43 poseidon int : 7526/92000 (mem: 361.14 MiB)
15:32:43 overflow : 0/0 (mem: 361.14 MiB)
15:32:43 (mem: 361.14 MiB)
15:32:43 Total structured size: 242025 (mem: 361.14 MiB)
15:32:43 allocating polynomials object in proving key... (mem: 361.14 MiB)
15:32:43 [15:32:43.854]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 572.14 MiB)
15:32:43 [15:32:43.884]
INFO:
ivc-integration:test:native bb - time to construct proving key: 140 ms. (mem: 588.14 MiB)
15:32:43 getting honk vk... precomputed?: 0x63e911e35b00 (mem: 588.14 MiB)
15:32:43 [15:32:43.885]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 588.14 MiB)
15:32:43 vkey hash in Oink prover: 0x0000000000000000000000000000000045dc0590acf6e211b18270b02b984baa (mem: 588.14 MiB)
15:32:44 [15:32:44.202]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 598.14 MiB)
15:32:44 [15:32:44.331]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 631.14 MiB)
15:32:44 [15:32:44.392]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 663.14 MiB)
15:32:44 [15:32:44.754]
INFO:
ivc-integration:test:native bb - folded (mem: 663.14 MiB)
15:32:44 constructed folding proof (mem: 663.14 MiB)
15:32:44 [15:32:44.916]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000045dc0590acf6e211b18270b02b984baa (mem: 663.14 MiB)
15:32:44 [15:32:44.997]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 663.14 MiB)
15:32:44 Constructing DeciderProvingKey (mem: 663.14 MiB)
15:32:45 [15:32:45.001]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 663.14 MiB)
15:32:45 goblin ecc op : 392/1024 (mem: 663.14 MiB)
15:32:45 busread : 3/6000 (mem: 663.14 MiB)
15:32:45 lookups : 2/15000 (mem: 663.14 MiB)
15:32:45 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 663.14 MiB)
15:32:45 arithmetic : 6912/56000 (mem: 663.14 MiB)
15:32:45 delta range : 2353/18000 (mem: 663.14 MiB)
15:32:45 elliptic : 2/6000 (mem: 663.14 MiB)
15:32:45 auxiliary : 50/26000 (mem: 663.14 MiB)
15:32:45 poseidon ext : 2492/17000 (mem: 663.14 MiB)
15:32:45 poseidon int : 14195/92000 (mem: 663.14 MiB)
15:32:45 overflow : 0/0 (mem: 663.14 MiB)
15:32:45 (mem: 663.14 MiB)
15:32:45 Total structured size: 242025 (mem: 663.14 MiB)
15:32:45 allocating polynomials object in proving key... (mem: 663.14 MiB)
15:32:45 [15:32:45.183]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 663.14 MiB)
15:32:45 [15:32:45.234]
INFO:
ivc-integration:test:native bb - time to construct proving key: 238 ms. (mem: 663.14 MiB)
15:32:45 getting honk vk... precomputed?: 0x63e911e40fc0 (mem: 663.14 MiB)
15:32:45 computing folding proof (mem: 663.14 MiB)
15:32:45 [15:32:45.235]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001d815734fdf2359ccaf5ddce18e2970f (mem: 663.14 MiB)
15:32:45 [15:32:45.819]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 663.14 MiB)
15:32:45 [15:32:45.936]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 663.14 MiB)
15:32:46 [15:32:46.009]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 672.08 MiB)
15:32:46 [15:32:46.391]
INFO:
ivc-integration:test:native bb - folded (mem: 672.08 MiB)
15:32:46 constructed folding proof (mem: 672.08 MiB)
15:32:46 [15:32:46.665]
INFO:
ivc-integration:test:native bb - Largest circuit: 26009 gates. Trace details: (mem: 672.08 MiB)
15:32:46 Minimum required block sizes for structured trace: (mem: 672.08 MiB)
15:32:46 (mem: 672.08 MiB)
15:32:46 prove decider... (mem: 672.08 MiB)
15:32:46 [15:32:46.666]
INFO:
ivc-integration:test:native bb - ecc_op : 392
15:32:46 busread : 12
15:32:46 lookup : 2
15:32:46 pub_inputs : 36
15:32:46 arithmetic : 6912
15:32:46 delta_range : 2353
15:32:46 elliptic : 2
15:32:46 aux : 110
15:32:46 poseidon2_external : 2492
15:32:46 poseidon2_internal : 14195
15:32:46 overflow : 0
15:32:46 [15:32:46.859]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 672.08 MiB)
15:32:46 [15:32:46.996]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 672.08 MiB)
15:32:48 [15:32:48.507]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 672.08 MiB)
15:32:48 [15:32:48.629]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 672.08 MiB)
15:32:48 finished decider proving. (mem: 672.08 MiB)
15:32:48 [15:32:48.642]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001d815734fdf2359ccaf5ddce18e2970f (mem: 672.08 MiB)
15:32:48 [15:32:48.862]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 672.08 MiB)
15:32:48 [15:32:48.879]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 672.08 MiB)
15:32:49 [15:32:49.185]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 672.08 MiB)
15:32:49 [15:32:49.243]
INFO:
ivc-integration:test:native bb - time to construct proving key: 381 ms. (mem: 672.08 MiB)
15:32:50 [15:32:50.630]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000449cebb89754c72144ab71facf66b0e4 (mem: 672.08 MiB)
15:32:51 [15:32:51.537]
INFO:
ivc-integration:test:native bb - created oink proof
15:32:51 [15:32:51.538]
INFO:
ivc-integration:test:native bb - (mem: 672.08 MiB)
15:32:51 [15:32:51.969]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 672.08 MiB)
15:32:53 [15:32:53.680]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 672.08 MiB)
15:32:55 [15:32:55.212]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 672.08 MiB)
15:32:55 [15:32:55.343]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 672.08 MiB)
15:32:55 finished decider proving. (mem: 672.08 MiB)
15:32:55 [15:32:55.345]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 672.08 MiB)
15:32:55 [15:32:55.672]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 672.08 MiB)
15:32:56 [15:32:56.170]
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: 672.08 MiB)
15:32:56 [15:32:56.181]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 672.08 MiB)
15:32:58 [15:32:58.296]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 672.08 MiB)
15:33:01 [15:33:01.122]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 672.08 MiB)
15:33:06 [15:33:06.684]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 672.08 MiB)
15:33:06 prove translator... (mem: 672.08 MiB)
15:33:08 [15:33:08.909]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 700.50 MiB)
15:33:12 [15:33:12.865]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 700.50 MiB)
15:33:16 [15:33:16.415]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 700.50 MiB)
15:33:16 [15:33:16.417]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 700.50 MiB)
15:33:16 vkey hash in Oink verifier: 0x00000000000000000000000000000000449cebb89754c72144ab71facf66b0e4 (mem: 700.50 MiB)
15:33:16 [15:33:16.449]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 700.50 MiB)
15:33:16 libra_evals_verified: 1 (mem: 700.50 MiB)
15:33:16 pairing_check_verified: 1 (mem: 700.50 MiB)
15:33:16 Mega verified: 1 (mem: 700.50 MiB)
15:33:16 [15:33:16.704]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 701.50 MiB)
15:33:16 batch opening verified?: 1 (mem: 701.50 MiB)
15:33:16 eccvm consistency check verified?: 1 (mem: 701.50 MiB)
15:33:16 translation masking consistency checked?: 1 (mem: 701.50 MiB)
15:33:16 [15:33:16.729]
INFO:
ivc-integration:test:native bb - merge verified?: 1
15:33:16 [15:33:16.730]
INFO:
ivc-integration:test:native bb - (mem: 701.50 MiB)
15:33:16 eccvm verified?: 1 (mem: 701.50 MiB)
15:33:16 accumulator construction_verified?: 1 (mem: 701.50 MiB)
15:33:16 translation verified?: 1 (mem: 701.50 MiB)
15:33:16 consistency verified?: 1 (mem: 701.50 MiB)
15:33:16 Goblin verified: 1 (mem: 701.50 MiB)
15:33:16 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-tSwDyY" (mem: 701.50 MiB)
15:33:16 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-tSwDyY" (mem: 701.50 MiB)
15:33:16 BN254 commitment key size: 262144 (mem: 701.50 MiB)
15:33:16 [15:33:16.739]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 701.50 MiB)
15:33:16 [15:33:16.741]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
15:33:16 [15:33:16.741]
INFO:
ivc-integration:test:native bb - (mem:
15:33:16 [15:33:16.742]
INFO:
ivc-integration:test:native bb - 701.50
15:33:16 [15:33:16.742]
INFO:
ivc-integration:test:native bb - MiB)
15:33:16 [15:33:16.742]
INFO:
ivc-integration:test:native bb -
15:33:16 [15:33:16.743]
INFO:
ivc-integration:test:native bb - goblin ecc op : 4/1024
15:33:16 [15:33:16.744]
INFO:
ivc-integration:test:native bb - (mem: 701.50 MiB)
15:33:16 busread : 3/6000 (mem: 701.50 MiB)
15:33:16 lookups : 2/15000 (mem: 701.50 MiB)
15:33:16 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 701.50 MiB)
15:33:16 arithmetic : 1773/56000 (mem: 701.50 MiB)
15:33:16 delta range : 1754/18000 (mem: 701.50 MiB)
15:33:16 elliptic : 2/6000 (mem: 701.50 MiB)
15:33:16 auxiliary : 26/26000 (mem: 701.50 MiB)
15:33:16 poseidon ext : 2/17000 (mem: 701.50 MiB)
15:33:16 poseidon int : 2/92000 (mem: 701.50 MiB)
15:33:16 overflow : 0/0 (mem: 701.50 MiB)
15:33:16 (mem: 701.50 MiB)
15:33:16 Total structured size: 242025 (mem: 701.50 MiB)
15:33:16 allocating polynomials object in proving key... (mem: 701.50 MiB)
15:33:17 [15:33:17.045]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 701.50 MiB)
15:33:17 [15:33:17.060]
INFO:
ivc-integration:test:native bb - time to construct proving key: 323 ms. (mem: 701.50 MiB)
15:33:17 getting honk vk... precomputed?: 0 (mem: 701.50 MiB)
15:33:17 [15:33:17.697]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 703.50 MiB)
15:33:17 [15:33:17.698]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 703.50 MiB)
15:33:18 [15:33:18.184]
INFO:
ivc-integration:test:native bb - oink proof constructed
15:33:18 [15:33:18.185]
INFO:
ivc-integration:test:native bb - (mem: 704.50 MiB)
15:33:18 [15:33:18.428]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 704.50 MiB)
15:33:18 [15:33:18.447]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 704.50 MiB)
15:33:18 [15:33:18.451]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 704.50 MiB)
15:33:18 goblin ecc op : 56/1024 (mem: 704.50 MiB)
15:33:18 busread : 3/6000 (mem: 704.50 MiB)
15:33:18 lookups : 2/15000 (mem: 704.50 MiB)
15:33:18 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 704.50 MiB)
15:33:18 arithmetic : 4532/56000 (mem: 704.50 MiB)
15:33:18 delta range : 2060/18000 (mem: 704.50 MiB)
15:33:18 elliptic : 2/6000 (mem: 704.50 MiB)
15:33:18 auxiliary : 50/26000 (mem: 704.50 MiB)
15:33:18 poseidon ext : 1332/17000 (mem: 704.50 MiB)
15:33:18 poseidon int : 7583/92000 (mem: 704.50 MiB)
15:33:18 overflow : 0/0 (mem: 704.50 MiB)
15:33:18 (mem: 704.50 MiB)
15:33:18 Total structured size: 242025 (mem: 704.50 MiB)
15:33:18 allocating polynomials object in proving key... (mem: 704.50 MiB)
15:33:19 [15:33:19.028]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 704.50 MiB)
15:33:19 [15:33:19.082]
INFO:
ivc-integration:test:native bb - time to construct proving key: 635 ms. (mem: 704.50 MiB)
15:33:19 [15:33:19.086]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 704.50 MiB)
15:33:19 [15:33:19.777]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 705.50 MiB)
15:33:19 vkey hash in Oink prover: 0x00000000000000000000000000000000606f56dcb2676be1815ae2792a4009c5 (mem: 705.50 MiB)
15:33:20 [15:33:20.360]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 705.50 MiB)
15:33:20 [15:33:20.560]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 705.50 MiB)
15:33:20 [15:33:20.647]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 737.50 MiB)
15:33:21 [15:33:21.273]
INFO:
ivc-integration:test:native bb - folded (mem: 737.50 MiB)
15:33:21 [15:33:21.274]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 737.50 MiB)
15:33:21 [15:33:21.433]
INFO:
ivc-integration:test:native bb - Largest circuit: 15564 gates. Trace details: (mem: 737.50 MiB)
15:33:21 Minimum required block sizes for structured trace: (mem: 737.50 MiB)
15:33:21 (mem: 737.50 MiB)
15:33:21 prove decider... (mem: 737.50 MiB)
15:33:21 [15:33:21.434]
INFO:
ivc-integration:test:native bb - ecc_op : 56
15:33:21 busread : 3
15:33:21 lookup : 2
15:33:21 pub_inputs : 36
15:33:21 arithmetic : 4532
15:33:21 delta_range : 2060
15:33:21 elliptic : 2
15:33:21 aux : 50
15:33:21 poseidon2_external : 1332
15:33:21 poseidon2_internal : 7583
15:33:21 overflow : 0
15:33:21 [15:33:21.644]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 737.50 MiB)
15:33:21 [15:33:21.825]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 737.50 MiB)
15:33:23 [15:33:23.275]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 737.50 MiB)
15:33:23 [15:33:23.478]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 737.50 MiB)
15:33:23 finished decider proving. (mem: 737.50 MiB)
15:33:23 [15:33:23.487]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000606f56dcb2676be1815ae2792a4009c5 (mem: 737.50 MiB)
15:33:23 [15:33:23.611]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 737.50 MiB)
15:33:23 [15:33:23.619]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 737.50 MiB)
15:33:23 [15:33:23.733]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 737.50 MiB)
15:33:23 [15:33:23.835]
INFO:
ivc-integration:test:native bb - time to construct proving key: 224 ms. (mem: 737.50 MiB)
15:33:24 [15:33:24.623]
INFO:
ivc-integration:test:native BB concurrency: 1
15:33:24 [15:33:24.624]
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-tSwDyY/proof -k /tmp/bb-client-ivc-integration-tSwDyY/vk -v
15:33:24 [15:33:24.687]
INFO:
ivc-integration:test:native bb command: verify (mem: 239.21 MiB)
15:33:24 Scheme is: client_ivc, num threads: 1 (mem: 239.21 MiB)
15:33:24 --proof_path: /tmp/bb-client-ivc-integration-tSwDyY/proof (mem: 239.21 MiB)
15:33:24 --vk_path: /tmp/bb-client-ivc-integration-tSwDyY/vk (mem: 239.21 MiB)
15:33:24 --verbose: true (mem: 239.21 MiB)
15:33:24 --scheme: client_ivc (mem: 239.21 MiB)
15:33:24 using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 239.21 MiB)
15:33:24 [15:33:24.718]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537
15:33:24 [15:33:24.722]
INFO:
ivc-integration:test:native (mem: 239.21 MiB)
15:33:24 vkey hash in Oink verifier: 0x00000000000000000000000000000000449cebb89754c72144ab71facf66b0e4 (mem: 239.21 MiB)
15:33:24 [15:33:24.742]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat"
15:33:24 [15:33:24.743]
INFO:
ivc-integration:test:native (mem:
15:33:24 [15:33:24.744]
INFO:
ivc-integration:test:native 239.21 MiB)
15:33:24 Initialized BN254 CRS from memory with num points = 1 (mem: 239.21 MiB)
15:33:24 [15:33:24.748]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 239.21 MiB)
15:33:24 libra_evals_verified: 1 (mem: 239.21 MiB)
15:33:24 pairing_check_verified: 1 (mem: 239.21 MiB)
15:33:24 Mega verified: 1 (mem: 239.21 MiB)
15:33:25 [15:33:25.268]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 239.21 MiB)
15:33:25 batch opening verified?: 1 (mem: 239.21 MiB)
15:33:25 eccvm consistency check verified?: 1 (mem: 239.21 MiB)
15:33:25 translation masking consistency checked?: 1 (mem: 239.21 MiB)
15:33:25 [15:33:25.299]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 239.21 MiB)
15:33:25 eccvm verified?: 1 (mem: 239.21 MiB)
15:33:25 accumulator construction_verified?: 1 (mem: 239.21 MiB)
15:33:25 translation verified?: 1 (mem: 239.21 MiB)
15:33:25 consistency verified?: 1 (mem: 239.21 MiB)
15:33:25 Goblin verified: 1 (mem: 239.21 MiB)
15:33:25 verified: 1 (mem: 239.21 MiB)
15:33:25 [15:33:25.385]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-La42HW/ivc-inputs.msgpack
15:33:25 [15:33:25.385]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
15:33:25 [15:33:25.386]
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-La42HW --ivc_inputs_path /tmp/bb-client-ivc-integration-La42HW/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
15:33:25 [15:33:25.410]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 239.38 MiB)
15:33:25 Scheme is: client_ivc, num threads: 128 (mem: 239.38 MiB)
15:33:25 --scheme: client_ivc (mem: 239.38 MiB)
15:33:25 --output_path: /tmp/bb-client-ivc-integration-La42HW (mem: 239.38 MiB)
15:33:25 [15:33:25.411]
INFO:
ivc-integration:test:native bb - --ivc_inputs_path: /tmp/bb-client-ivc-integration-La42HW/ivc-inputs.msgpack (mem: 239.38 MiB)
15:33:25 --verbose: true (mem: 239.38 MiB)
15:33:25 --write_vk: true (mem: 239.38 MiB)
15:33:25 [15:33:25.414]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 239.38 MiB)
15:33:25 [15:33:25.416]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 239.38 MiB)
15:33:25 [15:33:25.489]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262145 (mem: 239.38 MiB)
15:33:25 [15:33:25.492]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 239.38 MiB)
15:33:25 Constructing DeciderProvingKey (mem: 239.38 MiB)
15:33:25 [15:33:25.499]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 239.38 MiB)
15:33:25 goblin ecc op : 4/1024 (mem: 239.38 MiB)
15:33:25 busread : 7/6000 (mem: 239.38 MiB)
15:33:25 lookups : 2/15000 (mem: 239.38 MiB)
15:33:25 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 239.38 MiB)
15:33:25 arithmetic : 1760/56000 (mem: 239.38 MiB)
15:33:25 delta range : 1754/18000 (mem: 239.38 MiB)
15:33:25 elliptic : 2/6000 (mem: 239.38 MiB)
15:33:25 auxiliary : 26/26000 (mem: 239.38 MiB)
15:33:25 poseidon ext : 2/17000 (mem: 239.38 MiB)
15:33:25 poseidon int : 2/92000 (mem: 239.38 MiB)
15:33:25 overflow : 0/0 (mem: 239.38 MiB)
15:33:25 (mem: 239.38 MiB)
15:33:25 Total structured size: 242025 (mem: 239.38 MiB)
15:33:25 allocating polynomials object in proving key... (mem: 239.38 MiB)
15:33:25 [15:33:25.957]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 344.60 MiB)
15:33:26 [15:33:26.011]
INFO:
ivc-integration:test:native bb - time to construct proving key: 517 ms. (mem: 358.60 MiB)
15:33:26 getting honk vk... precomputed?: 0x6066e510bc00 (mem: 358.60 MiB)
15:33:26 computing oink proof... (mem: 358.60 MiB)
15:33:26 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 358.60 MiB)
15:33:26 [15:33:26.481]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 364.60 MiB)
15:33:26 [15:33:26.668]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 364.60 MiB)
15:33:26 [15:33:26.689]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 364.60 MiB)
15:33:26 Constructing DeciderProvingKey (mem: 364.60 MiB)
15:33:26 [15:33:26.694]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 364.60 MiB)
15:33:26 goblin ecc op : 56/1024 (mem: 364.60 MiB)
15:33:26 busread : 12/6000 (mem: 364.60 MiB)
15:33:26 lookups : 2/15000 (mem: 364.60 MiB)
15:33:26 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 364.60 MiB)
15:33:26 arithmetic : 4676/56000 (mem: 364.60 MiB)
15:33:26 delta range : 2073/18000 (mem: 364.60 MiB)
15:33:26 elliptic : 2/6000 (mem: 364.60 MiB)
15:33:26 auxiliary : 110/26000 (mem: 364.60 MiB)
15:33:26 poseidon ext : 1322/17000 (mem: 364.60 MiB)
15:33:26 poseidon int : 7526/92000 (mem: 364.60 MiB)
15:33:26 overflow : 0/0 (mem: 364.60 MiB)
15:33:26 (mem: 364.60 MiB)
15:33:26 Total structured size: 242025 (mem: 364.60 MiB)
15:33:26 allocating polynomials object in proving key... (mem: 364.60 MiB)
15:33:26 [15:33:26.878]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 571.60 MiB)
15:33:26 [15:33:26.915]
INFO:
ivc-integration:test:native bb - time to construct proving key: 226 ms. (mem: 590.60 MiB)
15:33:26 getting honk vk... precomputed?: 0x6066e5114e80 (mem: 590.60
15:33:26 [15:33:26.916]
INFO:
ivc-integration:test:native bb - MiB)
15:33:26 computing folding proof (mem: 590.60 MiB)
15:33:26 vkey hash in Oink prover: 0x0000000000000000000000000000000045dc0590acf6e211b18270b02b984baa (mem: 590.60 MiB)
15:33:27 [15:33:27.201]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 595.60 MiB)
15:33:27 [15:33:27.279]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 628.60 MiB)
15:33:27 [15:33:27.333]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 661.60 MiB)
15:33:27 [15:33:27.593]
INFO:
ivc-integration:test:native bb - folded (mem: 661.60 MiB)
15:33:27 constructed folding proof (mem: 661.60 MiB)
15:33:27 [15:33:27.714]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 661.60 MiB)
15:33:27 Constructing DeciderProvingKey (mem: 661.60 MiB)
15:33:27 [15:33:27.718]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 661.60 MiB)
15:33:27 goblin ecc op : 4/1024 (mem: 661.60 MiB)
15:33:27 busread : 7/6000 (mem: 661.60 MiB)
15:33:27 lookups : 2/15000 (mem: 661.60 MiB)
15:33:27 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 661.60 MiB)
15:33:27 arithmetic : 1760/56000 (mem: 661.60 MiB)
15:33:27 delta range : 1754/18000 (mem: 661.60 MiB)
15:33:27 elliptic : 2/6000 (mem: 661.60 MiB)
15:33:27 auxiliary : 26/26000 (mem: 661.60 MiB)
15:33:27 poseidon ext : 2/17000 (mem: 661.60 MiB)
15:33:27 poseidon int : 2/92000 (mem: 661.60 MiB)
15:33:27 overflow : 0/0 (mem: 661.60 MiB)
15:33:27 (mem:
15:33:27 [15:33:27.720]
INFO:
ivc-integration:test:native bb - 661.60 MiB)
15:33:27 Total structured size: 242025 (mem: 661.60 MiB)
15:33:27 allocating polynomials object in proving key... (mem: 661.60 MiB)
15:33:27 [15:33:27.779]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 661.60 MiB)
15:33:27 [15:33:27.787]
INFO:
ivc-integration:test:native bb - time to construct proving key: 72 ms. (mem: 661.60 MiB)
15:33:27 getting honk vk... precomputed?: 0x6066e5110b40 (mem: 661.60 MiB)
15:33:27 computing folding proof (mem: 661.60 MiB)
15:33:27 [15:33:27.787]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 661.60 MiB)
15:33:27 [15:33:27.970]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 661.60 MiB)
15:33:28 [15:33:28.075]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 661.60 MiB)
15:33:28 [15:33:28.110]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 661.60 MiB)
15:33:28 [15:33:28.532]
INFO:
ivc-integration:test:native bb - folded (mem: 661.60 MiB)
15:33:28 constructed folding proof (mem: 661.60 MiB)
15:33:28 [15:33:28.719]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000045dc0590acf6e211b18270b02b984baa
15:33:28 [15:33:28.720]
INFO:
ivc-integration:test:native bb - (mem: 661.60 MiB)
15:33:28 [15:33:28.808]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 661.60 MiB)
15:33:28 [15:33:28.878]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 661.60 MiB)
15:33:28 Constructing DeciderProvingKey (mem: 661.60 MiB)
15:33:28 [15:33:28.884]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
15:33:28 [15:33:28.886]
INFO:
ivc-integration:test:native bb - (mem: 661.60 MiB)
15:33:28 goblin ecc op : 792/1024 (mem: 661.60 MiB)
15:33:28 busread : 12/6000 (mem: 661.60 MiB)
15:33:28 lookups : 2/15000 (mem: 661.60 MiB)
15:33:28 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 661.60 MiB)
15:33:28 arithmetic : 12206/56000 (mem: 661.60 MiB)
15:33:28 delta range : 2981/18000 (mem: 661.60 MiB)
15:33:28 elliptic : 2/6000 (mem: 661.60 MiB)
15:33:28 auxiliary : 350/26000 (mem: 661.60 MiB)
15:33:28 poseidon ext : 4982/17000 (mem: 661.60 MiB)
15:33:28 poseidon int : 28388/92000 (mem: 661.60 MiB)
15:33:28 overflow : 0/0 (mem: 661.60 MiB)
15:33:28 (mem: 661.60 MiB)
15:33:28 Total structured size: 242025 (mem: 661.60 MiB)
15:33:28 allocating polynomials object in proving key... (mem: 661.60 MiB)
15:33:29 [15:33:29.009]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 661.60 MiB)
15:33:29 [15:33:29.076]
INFO:
ivc-integration:test:native bb - time to construct proving key: 197 ms. (mem: 661.60 MiB)
15:33:29 getting honk vk... precomputed?: 0x6066e511b780 (mem: 661.60 MiB)
15:33:29 computing folding proof (mem: 661.60 MiB)
15:33:29 [15:33:29.081]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000026e8a8fcb1d0d801bc6df5682519fd09 (mem: 661.60 MiB)
15:33:29 [15:33:29.771]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key
15:33:29 [15:33:29.772]
INFO:
ivc-integration:test:native bb - (mem:
15:33:29 [15:33:29.773]
INFO:
ivc-integration:test:native bb - 661.60
15:33:29 [15:33:29.774]
INFO:
ivc-integration:test:native bb - MiB)
15:33:29 [15:33:29.774]
INFO:
ivc-integration:test:native bb -
15:33:29 [15:33:29.876]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 673.90 MiB)
15:33:29 [15:33:29.947]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 705.90 MiB)
15:33:30 [15:33:30.202]
INFO:
ivc-integration:test:native bb - folded (mem: 705.90 MiB)
15:33:30 constructed folding proof (mem: 705.90 MiB)
15:33:30 [15:33:30.349]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000026e8a8fcb1d0d801bc6df5682519fd09 (mem: 705.90 MiB)
15:33:30 [15:33:30.420]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 705.90 MiB)
15:33:30 Constructing DeciderProvingKey (mem: 705.90 MiB)
15:33:30 [15:33:30.424]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 705.90 MiB)
15:33:30 goblin ecc op : 392/1024 (mem: 705.90 MiB)
15:33:30 busread : 16/6000 (mem: 705.90 MiB)
15:33:30 lookups : 2/15000 (mem: 705.90 MiB)
15:33:30 [15:33:30.426]
INFO:
ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 705.90 MiB)
15:33:30 arithmetic : 6977/56000 (mem: 705.90 MiB)
15:33:30 delta range : 2367/18000 (mem: 705.90 MiB)
15:33:30 elliptic : 2/6000 (mem: 705.90 MiB)
15:33:30 auxiliary : 77/26000 (mem: 705.90 MiB)
15:33:30 poseidon ext : 2492/17000 (mem: 705.90 MiB)
15:33:30 poseidon int : 14195/92000 (mem: 705.90 MiB)
15:33:30 overflow : 0/0 (mem: 705.90 MiB)
15:33:30 (mem: 705.90 MiB)
15:33:30 Total structured size: 242025 (mem: 705.90 MiB)
15:33:30 allocating polynomials object in proving key... (mem: 705.90 MiB)
15:33:30 [15:33:30.531]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 705.90 MiB)
15:33:30 [15:33:30.551]
INFO:
ivc-integration:test:native bb - time to construct proving key: 131 ms. (mem: 705.90 MiB)
15:33:30 getting honk vk... precomputed?: 0x6066e5181700 (mem: 705.90 MiB)
15:33:30 computing folding proof (mem: 705.90 MiB)
15:33:30 [15:33:30.553]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000017d71b4fa03328693c500a00b4c6eec2 (mem: 705.90 MiB)
15:33:30 [15:33:30.874]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 705.90 MiB)
15:33:30 [15:33:30.956]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 705.90 MiB)
15:33:31 [15:33:31.022]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 705.90 MiB)
15:33:31 [15:33:31.153]
INFO:
ivc-integration:test:native bb - folded (mem: 705.90 MiB)
15:33:31 constructed folding proof (mem:
15:33:31 [15:33:31.154]
INFO:
ivc-integration:test:native bb - 705.90 MiB)
15:33:31 [15:33:31.301]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000017d71b4fa03328693c500a00b4c6eec2 (mem: 705.90 MiB)
15:33:31 [15:33:31.358]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 705.90 MiB)
15:33:31 Constructing DeciderProvingKey (mem: 705.90 MiB)
15:33:31 [15:33:31.361]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
15:33:31 [15:33:31.362]
INFO:
ivc-integration:test:native bb - (mem:
15:33:31 [15:33:31.362]
INFO:
ivc-integration:test:native bb - 705.90
15:33:31 [15:33:31.364]
INFO:
ivc-integration:test:native bb - MiB)
15:33:31 goblin ecc op : 392/1024 (mem: 705.90 MiB)
15:33:31 busread : 3/6000 (mem: 705.90 MiB)
15:33:31 lookups : 2/15000 (mem: 705.90 MiB)
15:33:31 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 705.90 MiB)
15:33:31 arithmetic : 6912/56000 (mem: 705.90 MiB)
15:33:31 delta range : 2353/18000 (mem: 705.90 MiB)
15:33:31 elliptic : 2/6000 (mem: 705.90 MiB)
15:33:31 auxiliary : 50/26000 (mem: 705.90 MiB)
15:33:31 poseidon ext : 2492/17000 (mem: 705.90 MiB)
15:33:31 poseidon int : 14195/92000 (mem: 705.90 MiB)
15:33:31 overflow : 0/0 (mem: 705.90 MiB)
15:33:31 (mem: 705.90 MiB)
15:33:31 Total structured size: 242025 (mem: 705.90 MiB)
15:33:31 allocating polynomials object in proving key... (mem: 705.90 MiB)
15:33:31 [15:33:31.495]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 705.90 MiB)
15:33:31 [15:33:31.518]
INFO:
ivc-integration:test:native bb - time to construct proving key: 162 ms. (mem: 705.90 MiB)
15:33:31 getting honk vk... precomputed?: 0x6066e5188c80 (mem: 705.90 MiB)
15:33:31 computing folding proof (mem: 705.90 MiB)
15:33:31 [15:33:31.520]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001d815734fdf2359ccaf5ddce18e2970f (mem: 705.90 MiB)
15:33:31 [15:33:31.777]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 705.90 MiB)
15:33:31 [15:33:31.894]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 705.90 MiB)
15:33:31 [15:33:31.963]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 706.45 MiB)
15:33:32 [15:33:32.169]
INFO:
ivc-integration:test:native bb - folded (mem: 706.45 MiB)
15:33:32 [15:33:32.169]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 706.45 MiB)
15:33:32 [15:33:32.339]
INFO:
ivc-integration:test:native bb - Largest circuit: 48923 gates. Trace details: (mem: 706.45 MiB)
15:33:32 Minimum required block sizes for structured trace: (mem: 706.45 MiB)
15:33:32 (mem: 706.45 MiB)
15:33:32 prove decider... (mem:
15:33:32 [15:33:32.339]
INFO:
ivc-integration:test:native bb - 706.45 MiB)
15:33:32 [15:33:32.340]
INFO:
ivc-integration:test:native bb - ecc_op : 792
15:33:32 busread : 16
15:33:32 lookup : 2
15:33:32 pub_inputs : 36
15:33:32 arithmetic : 12206
15:33:32 delta_range : 2981
15:33:32 elliptic : 2
15:33:32 aux : 350
15:33:32 poseidon2_external : 4982
15:33:32 poseidon2_internal : 28388
15:33:32 overflow : 0
15:33:32 [15:33:32.454]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 706.45 MiB)
15:33:32 [15:33:32.554]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 706.45 MiB)
15:33:33 [15:33:33.335]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 706.45 MiB)
15:33:33 [15:33:33.512]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 706.45 MiB)
15:33:33 finished decider proving. (mem: 706.45 MiB)
15:33:33 [15:33:33.520]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001d815734fdf2359ccaf5ddce18e2970f (mem: 706.45 MiB)
15:33:33 [15:33:33.630]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 706.45 MiB)
15:33:33 [15:33:33.636]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 706.45 MiB)
15:33:33 [15:33:33.715]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 706.45 MiB)
15:33:33 [15:33:33.743]
INFO:
ivc-integration:test:native bb - time to construct proving key: 113 ms. (mem: 706.45 MiB)
15:33:34 [15:33:34.413]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000449cebb89754c72144ab71facf66b0e4 (mem: 706.45 MiB)
15:33:34 [15:33:34.716]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 706.45 MiB)
15:33:34 [15:33:34.828]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 706.45 MiB)
15:33:35 [15:33:35.691]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 706.45 MiB)
15:33:36 [15:33:36.633]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 706.45 MiB)
15:33:36 [15:33:36.713]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 706.45 MiB)
15:33:36 finished decider proving. (mem: 706.45 MiB)
15:33:36 [15:33:36.713]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 706.45 MiB)
15:33:36 [15:33:36.841]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 706.45 MiB)
15:33:37 [15:33:37.071]
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: 706.45 MiB)
15:33:37 [15:33:37.083]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 706.45 MiB)
15:33:38 [15:33:38.114]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 706.45 MiB)
15:33:39 [15:33:39.288]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 706.45 MiB)
15:33:45 [15:33:45.528]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 706.45 MiB)
15:33:45 [15:33:45.529]
INFO:
ivc-integration:test:native bb - prove translator... (mem: 706.45 MiB)
15:33:48 [15:33:48.208]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 726.20 MiB)
15:33:50 [15:33:50.317]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 726.20 MiB)
15:33:52 [15:33:52.668]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 726.20 MiB)
15:33:52 [15:33:52.668]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 726.20 MiB)
15:33:52 [15:33:52.669]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000449cebb89754c72144ab71facf66b0e4 (mem: 726.20 MiB)
15:33:52 [15:33:52.689]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 726.20 MiB)
15:33:52 libra_evals_verified: 1 (mem: 726.20 MiB)
15:33:52 pairing_check_verified: 1 (mem: 726.20 MiB)
15:33:52 Mega verified: 1 (mem: 726.20 MiB)
15:33:52 [15:33:52.886]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 727.20 MiB)
15:33:52 batch opening verified?: 1 (mem: 727.20 MiB)
15:33:52 eccvm consistency check verified?: 1 (mem: 727.20 MiB)
15:33:52 translation masking consistency checked?: 1 (mem: 727.20 MiB)
15:33:52 [15:33:52.913]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 727.20 MiB)
15:33:52 eccvm verified?: 1 (mem: 727.20 MiB)
15:33:52 accumulator construction_verified?: 1 (mem: 727.20 MiB)
15:33:52 translation verified?: 1 (mem: 727.20 MiB)
15:33:52 consistency verified?: 1 (mem: 727.20 MiB)
15:33:52 Goblin verified: 1 (mem: 727.20 MiB)
15:33:52 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-La42HW" (mem: 727.20 MiB)
15:33:52 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-La42HW" (mem: 727.20 MiB)
15:33:52 BN254 commitment key size: 262144 (mem: 727.20 MiB)
15:33:52 [15:33:52.915]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 727.20 MiB)
15:33:52 [15:33:52.922]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 727.20 MiB)
15:33:52 goblin ecc op : 4/1024 (mem: 727.20 MiB)
15:33:52 busread : 3/6000 (mem: 727.20 MiB)
15:33:52 lookups : 2/15000 (mem: 727.20 MiB)
15:33:52 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 727.20 MiB)
15:33:52 arithmetic : 1773/56000 (mem: 727.20 MiB)
15:33:52 delta range : 1754/18000 (mem: 727.20 MiB)
15:33:52 elliptic : 2/6000 (mem: 727.20 MiB)
15:33:52 auxiliary : 26/26000 (mem: 727.20 MiB)
15:33:52 poseidon ext : 2/17000 (mem: 727.20 MiB)
15:33:52 poseidon int : 2/92000 (mem: 727.20 MiB)
15:33:52 overflow : 0/0 (mem: 727.20 MiB)
15:33:52 (mem: 727.20 MiB)
15:33:52 Total structured size: 242025 (mem: 727.20 MiB)
15:33:52 allocating polynomials object in proving key... (mem: 727.20 MiB)
15:33:53 [15:33:53.039]
INFO:
ivc-integration:test:native bb - populating trace...
15:33:53 [15:33:53.040]
INFO:
ivc-integration:test:native bb - (mem: 727.20 MiB)
15:33:53 [15:33:53.066]
INFO:
ivc-integration:test:native bb - time to construct proving key: 149 ms. (mem: 727.20 MiB)
15:33:53 getting honk vk... precomputed?: 0 (mem: 727.20 MiB)
15:33:53 [15:33:53.679]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 727.20 MiB)
15:33:53 [15:33:53.680]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 727.20 MiB)
15:33:53 [15:33:53.964]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 727.20 MiB)
15:33:54 [15:33:54.058]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 727.20 MiB)
15:33:54 [15:33:54.073]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 727.20 MiB)
15:33:54 [15:33:54.078]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 727.20 MiB)
15:33:54 goblin ecc op : 56/1024 (mem: 727.20 MiB)
15:33:54 busread : 3/6000 (mem: 727.20 MiB)
15:33:54 lookups : 2/15000 (mem: 727.20 MiB)
15:33:54 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 727.20 MiB)
15:33:54 arithmetic : 4532/56000 (mem: 727.20 MiB)
15:33:54 delta range : 2060/18000 (mem: 727.20 MiB)
15:33:54 elliptic : 2/6000 (mem: 727.20 MiB)
15:33:54 auxiliary : 50/26000 (mem: 727.20 MiB)
15:33:54 poseidon ext : 1332/17000 (mem: 727.20 MiB)
15:33:54 poseidon int : 7583/92000 (mem: 727.20 MiB)
15:33:54 overflow : 0/0 (mem: 727.20 MiB)
15:33:54 (mem: 727.20 MiB)
15:33:54 Total structured size: 242025 (mem: 727.20 MiB)
15:33:54 allocating polynomials object in proving key... (mem: 727.20 MiB)
15:33:54 [15:33:54.215]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 727.20 MiB)
15:33:54 [15:33:54.243]
INFO:
ivc-integration:test:native bb - time to construct proving key: 169 ms. (mem: 727.20 MiB)
15:33:54 getting honk vk... precomputed?: 0 (mem:
15:33:54 [15:33:54.244]
INFO:
ivc-integration:test:native bb - 727.20 MiB)
15:33:54 [15:33:54.547]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 727.20 MiB)
15:33:54 [15:33:54.548]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000606f56dcb2676be1815ae2792a4009c5 (mem: 727.20 MiB)
15:33:54 [15:33:54.868]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 727.20 MiB)
15:33:54 [15:33:54.997]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 727.20 MiB)
15:33:55 [15:33:55.051]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 759.20 MiB)
15:33:55 [15:33:55.286]
INFO:
ivc-integration:test:native bb - folded (mem: 759.20 MiB)
15:33:55 constructed folding proof (mem: 759.20 MiB)
15:33:55 [15:33:55.437]
INFO:
ivc-integration:test:native bb - Largest circuit: 15564 gates. Trace details: (mem: 759.20 MiB)
15:33:55 Minimum required block sizes for structured trace: (mem: 759.20 MiB)
15:33:55 [15:33:55.438]
INFO:
ivc-integration:test:native bb - (mem: 759.20 MiB)
15:33:55 prove decider... (mem: 759.20 MiB)
15:33:55 [15:33:55.438]
INFO:
ivc-integration:test:native bb - ecc_op : 56
15:33:55 busread : 3
15:33:55 lookup : 2
15:33:55 pub_inputs : 36
15:33:55 arithmetic : 4532
15:33:55 delta_range : 2060
15:33:55 elliptic : 2
15:33:55 aux : 50
15:33:55 poseidon2_external : 1332
15:33:55 poseidon2_internal : 7583
15:33:55 overflow : 0
15:33:55 [15:33:55.544]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 759.20 MiB)
15:33:55 [15:33:55.663]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 759.20 MiB)
15:33:56 [15:33:56.299]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 759.20 MiB)
15:33:56 [15:33:56.380]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 759.20 MiB)
15:33:56 finished decider proving. (mem: 759.20 MiB)
15:33:56 [15:33:56.392]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000606f56dcb2676be1815ae2792a4009c5 (mem: 759.20 MiB)
15:33:56 [15:33:56.484]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 759.20 MiB)
15:33:56 [15:33:56.489]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 759.20 MiB)
15:33:56 [15:33:56.560]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 759.20 MiB)
15:33:56 [15:33:56.604]
INFO:
ivc-integration:test:native bb - time to construct proving key: 120 ms. (mem: 759.20 MiB)
15:33:57 [15:33:57.006]
INFO:
ivc-integration:test:native BB concurrency: 1
15:33:57 [15:33:57.006]
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-La42HW/proof -k /tmp/bb-client-ivc-integration-La42HW/vk -v
15:33:57 [15:33:57.031]
INFO:
ivc-integration:test:native bb command: verify (mem: 243.95 MiB)
15:33:57 Scheme is: client_ivc, num threads: 1 (mem: 243.95 MiB)
15:33:57 --proof_path: /tmp/bb-client-ivc-integration-La42HW/proof (mem: 243.95 MiB)
15:33:57 --vk_path: /tmp/bb-client-ivc-integration-La42HW/vk (mem: 243.95 MiB)
15:33:57 --verbose: true (mem: 243.95 MiB)
15:33:57 --scheme: client_ivc (mem: 243.95 MiB)
15:33:57 [15:33:57.031]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 243.95 MiB)
15:33:57 [15:33:57.048]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65537 (mem: 243.95 MiB)
15:33:57 [15:33:57.049]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000449cebb89754c72144ab71facf66b0e4 (mem: 243.95 MiB)
15:33:57 [15:33:57.068]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 243.95 MiB)
15:33:57 Initialized BN254 CRS from memory with num points = 1 (mem: 243.95 MiB)
15:33:57 [15:33:57.069]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 243.95 MiB)
15:33:57 libra_evals_verified: 1 (mem: 243.95 MiB)
15:33:57 pairing_check_verified: 1 (mem: 243.95 MiB)
15:33:57 Mega verified: 1 (mem: 243.95 MiB)
15:33:57 [15:33:57.516]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 243.95 MiB)
15:33:57 batch opening verified?: 1 (mem: 243.95 MiB)
15:33:57 eccvm consistency check verified?: 1 (mem: 243.95 MiB)
15:33:57 translation masking consistency checked?: 1 (mem: 243.95 MiB)
15:33:57 [15:33:57.537]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 243.95 MiB)
15:33:57 eccvm verified?: 1 (mem: 243.95 MiB)
15:33:57 accumulator construction_verified?: 1 (mem: 243.95 MiB)
15:33:57 translation verified?: 1 (mem: 243.95 MiB)
15:33:57 consistency verified?: 1 (mem: 243.95 MiB)
15:33:57 Goblin verified: 1 (mem: 243.95 MiB)
15:33:57 verified: 1 (mem: 243.95 MiB)
15:33:57
PASS src/native_client_ivc_integration.test.ts (
78.542 s)
15:33:57 Client IVC Integration
15:33:57
✓ Should generate a verifiable client IVC proof from a simple mock tx (42587 ms)
15:33:57
✓ Should generate a verifiable client IVC proof from a complex mock tx (32232 ms)
15:33:57
15:33:57
Test Suites: 1 passed, 1 total
15:33:57
Tests: 2 passed, 2 total
15:33:57
Snapshots: 0 total
15:33:57
Time: 78.619 s
15:33:57
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
15:33:57
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?