Parent Log:
http://ci.aztec-labs.com/32bd56bf1f1fe84d
Command: 3f1d1d87da1584d1: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/aac426c9418162aeee8162ed45014b9393d605b8
Env: REF_NAME=gh-readonly-queue/next/pr-15051-92d685c3a802eb31897b6f13d28b9ee428c73744 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Fri Jun 20 06:31:25 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15051_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
06:31:30 [06:31:30.386]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-UHRhF1/ivc-inputs.msgpack
06:31:30 [06:31:30.393]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
06:31:30 [06:31:30.393]
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-UHRhF1 --ivc_inputs_path /tmp/bb-client-ivc-integration-UHRhF1/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
06:31:30 [06:31:30.415]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 181.49 MiB)
06:31:30 [06:31:30.416]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 181.49 MiB)
06:31:30 --scheme: client_ivc (mem: 181.49 MiB)
06:31:30 --output_path: /tmp/bb-client-ivc-integration-UHRhF1 (mem: 181.49 MiB)
06:31:30 --ivc_inputs_path: /tmp/bb-client-ivc-integration-UHRhF1/ivc-inputs.msgpack (mem: 181.49 MiB)
06:31:30 --verbose: true (mem: 181.49 MiB)
06:31:30 --write_vk: true (mem: 181.49 MiB)
06:31:30 BN254 commitment key size: 262144 (mem: 181.49 MiB)
06:31:30 [06:31:30.525]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 247.00 MiB)
06:31:30 [06:31:30.614]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 295.96 MiB)
06:31:30 [06:31:30.619]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 295.96 MiB)
06:31:30 Constructing DeciderProvingKey (mem: 295.96 MiB)
06:31:30 [06:31:30.625]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 295.96 MiB)
06:31:30 goblin ecc op : 4/1024 (mem: 295.96 MiB)
06:31:30 busread : 7/6000 (mem: 295.96 MiB)
06:31:30 lookups : 2/15000 (mem: 295.96 MiB)
06:31:30 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 295.96 MiB)
06:31:30 arithmetic : 1760/56000 (mem: 295.96 MiB)
06:31:30 delta range : 1754/18000 (mem: 295.96 MiB)
06:31:30 elliptic : 2/6000 (mem: 295.96 MiB)
06:31:30 auxiliary : 26/26000 (mem:
06:31:30 [06:31:30.626]
INFO:
ivc-integration:test:native bb - 295.96 MiB)
06:31:30 poseidon ext : 2/17000 (mem: 295.96 MiB)
06:31:30 poseidon int : 2/92000 (mem: 295.96 MiB)
06:31:30 overflow : 0/0 (mem: 295.96 MiB)
06:31:30 (mem: 295.96 MiB)
06:31:30 Total structured size: 242025 (mem: 295.96 MiB)
06:31:30 allocating polynomials object in proving key... (mem: 295.96 MiB)
06:31:30 [06:31:30.697]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 504.11 MiB)
06:31:30 [06:31:30.712]
INFO:
ivc-integration:test:native bb - time to construct proving key: 92 ms. (mem: 516.11 MiB)
06:31:30 [06:31:30.760]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x624c18568940 (mem: 516.11 MiB)
06:31:30 computing oink proof... (mem: 516.11 MiB)
06:31:30 [06:31:30.763]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 516.11 MiB)
06:31:30 [06:31:30.989]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 523.11 MiB)
06:31:30 [06:31:30.998]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 524.11 MiB)
06:31:31 [06:31:31.018]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 524.11 MiB)
06:31:31 Constructing DeciderProvingKey (mem: 524.11 MiB)
06:31:31 [06:31:31.021]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 524.11 MiB)
06:31:31 goblin ecc op : 56/1024 (mem: 524.11 MiB)
06:31:31 busread : 12/6000 (mem: 524.11 MiB)
06:31:31 [06:31:31.021]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 524.11 MiB)
06:31:31 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 524.11 MiB)
06:31:31 arithmetic : 4677/56000 (mem: 524.11 MiB)
06:31:31 delta range : 2073/18000 (mem: 524.11 MiB)
06:31:31 elliptic : 2/6000 (mem: 524.11 MiB)
06:31:31 auxiliary : 110/26000 (mem: 524.11 MiB)
06:31:31 poseidon ext : 1322/17000 (mem: 524.11 MiB)
06:31:31 poseidon int : 7526/92000 (mem: 524.11 MiB)
06:31:31 overflow : 0/0 (mem: 524.11 MiB)
06:31:31 (mem: 524.11 MiB)
06:31:31 Total structured size: 242025 (mem: 524.11 MiB)
06:31:31 allocating polynomials object in proving key... (mem: 524.11 MiB)
06:31:31 [06:31:31.195]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 734.11 MiB)
06:31:31 [06:31:31.223]
INFO:
ivc-integration:test:native bb - time to construct proving key: 204 ms. (mem: 748.11 MiB)
06:31:31 [06:31:31.361]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x624c18575680 (mem: 748.11 MiB)
06:31:31 computing folding proof (mem: 748.11 MiB)
06:31:31 [06:31:31.363]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 748.11 MiB)
06:31:31 [06:31:31.845]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 748.11 MiB)
06:31:31 [06:31:31.963]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 784.11 MiB)
06:31:32 [06:31:32.021]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 817.11 MiB)
06:31:32 [06:31:32.624]
INFO:
ivc-integration:test:native bb - folded (mem: 817.11 MiB)
06:31:32 constructed folding proof (mem:
06:31:32 [06:31:32.626]
INFO:
ivc-integration:test:native bb - 817.11 MiB)
06:31:32 [06:31:32.654]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 817.11 MiB)
06:31:32 [06:31:32.779]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 817.11 MiB)
06:31:32 Constructing DeciderProvingKey (mem: 817.11 MiB)
06:31:32 [06:31:32.783]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.11 MiB)
06:31:32 [06:31:32.784]
INFO:
ivc-integration:test:native bb - goblin ecc op : 392/1024 (mem: 817.11 MiB)
06:31:32 busread : 3/6000 (mem: 817.11 MiB)
06:31:32 lookups : 2/15000 (mem: 817.11 MiB)
06:31:32 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 817.11 MiB)
06:31:32 arithmetic : 6913/56000 (mem: 817.11 MiB)
06:31:32 delta range : 2353/18000 (mem: 817.11 MiB)
06:31:32 elliptic : 2/6000 (mem: 817.11 MiB)
06:31:32 auxiliary : 50/26000 (mem: 817.11 MiB)
06:31:32 poseidon ext : 2492/17000 (mem: 817.11 MiB)
06:31:32 poseidon int : 14195/92000 (mem: 817.11 MiB)
06:31:32 overflow : 0/0 (mem: 817.11 MiB)
06:31:32 (mem: 817.11 MiB)
06:31:32 Total structured size: 242025 (mem: 817.11 MiB)
06:31:32 allocating polynomials object in proving key... (mem: 817.11 MiB)
06:31:32 [06:31:32.992]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 817.11 MiB)
06:31:33 [06:31:33.038]
INFO:
ivc-integration:test:native bb - time to construct proving key: 262 ms. (mem: 817.11 MiB)
06:31:33 [06:31:33.226]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x624c1856ac40 (mem: 817.11 MiB)
06:31:33 computing folding proof (mem: 817.11 MiB)
06:31:33 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 817.11 MiB)
06:31:33 [06:31:33.848]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 817.11 MiB)
06:31:33 [06:31:33.992]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 817.11 MiB)
06:31:34 [06:31:34.050]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 817.11 MiB)
06:31:34 [06:31:34.578]
INFO:
ivc-integration:test:native bb - folded
06:31:34 [06:31:34.581]
INFO:
ivc-integration:test:native bb - (mem: 817.11 MiB)
06:31:34 constructed folding proof (mem: 817.11 MiB)
06:31:34 Largest circuit: 26010 gates. Trace details: (mem: 817.11 MiB)
06:31:34 Minimum required block sizes for structured trace: (mem: 817.11 MiB)
06:31:34 (mem: 817.11 MiB)
06:31:34 prove decider... (mem: 817.11 MiB)
06:31:34 [06:31:34.582]
INFO:
ivc-integration:test:native bb - ecc_op : 392
06:31:34 busread : 12
06:31:34 lookup : 2
06:31:34 pub_inputs : 36
06:31:34 arithmetic : 6913
06:31:34 delta_range : 2353
06:31:34 elliptic : 2
06:31:34 aux : 110
06:31:34 poseidon2_external : 2492
06:31:34 poseidon2_internal : 14195
06:31:34 overflow : 0
06:31:34 [06:31:34.962]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.11 MiB)
06:31:35 [06:31:35.123]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 817.11 MiB)
06:31:36 [06:31:36.354]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
06:31:36 [06:31:36.356]
INFO:
ivc-integration:test:native bb - (mem: 817.11 MiB)
06:31:36 [06:31:36.438]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 817.11 MiB)
06:31:36 finished decider proving. (mem: 817.11 MiB)
06:31:36 [06:31:36.470]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 817.11 MiB)
06:31:36 [06:31:36.602]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 817.11 MiB)
06:31:36 [06:31:36.612]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 817.11 MiB)
06:31:36 [06:31:36.782]
INFO:
ivc-integration:test:native bb - populating trace...
06:31:36 [06:31:36.785]
INFO:
ivc-integration:test:native bb - (mem: 817.11 MiB)
06:31:36 [06:31:36.907]
INFO:
ivc-integration:test:native bb - time to construct proving key: 307 ms. (mem: 817.11 MiB)
06:31:38 [06:31:38.099]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 817.11 MiB)
06:31:38 [06:31:38.846]
INFO:
ivc-integration:test:native bb - created oink proof
06:31:38 [06:31:38.847]
INFO:
ivc-integration:test:native bb - (mem: 817.11 MiB)
06:31:39 [06:31:39.196]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.11 MiB)
06:31:40 [06:31:40.800]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 817.11 MiB)
06:31:42 [06:31:42.112]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 817.11 MiB)
06:31:42 [06:31:42.152]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 817.11 MiB)
06:31:42 finished decider proving. (mem: 817.11 MiB)
06:31:42 Constructing a Goblin proof with num ultra ops = 1038 (mem: 817.11 MiB)
06:31:42 [06:31:42.446]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 817.11 MiB)
06:31:43 [06:31:43.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: 817.11 MiB)
06:31:43 [06:31:43.127]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 817.11 MiB)
06:31:45 [06:31:45.564]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 817.11 MiB)
06:31:47 [06:31:47.885]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 817.11 MiB)
06:31:52 [06:31:52.433]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 817.11 MiB)
06:31:52 prove translator... (mem: 817.11 MiB)
06:31:54 [06:31:54.829]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 844.73 MiB)
06:31:57 [06:31:57.920]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 845.73 MiB)
06:32:01 [06:32:01.624]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 845.73 MiB)
06:32:01 finished translator proving. (mem: 845.73 MiB)
06:32:01 [06:32:01.632]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 845.73 MiB)
06:32:01 [06:32:01.647]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 845.73 MiB)
06:32:01 libra_evals_verified: 1 (mem: 845.73 MiB)
06:32:01 pairing_check_verified: 1 (mem: 845.73 MiB)
06:32:01 Mega verified: 1 (mem: 845.73 MiB)
06:32:01 [06:32:01.761]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 846.73 MiB)
06:32:01 batch opening verified?: 1 (mem: 846.73 MiB)
06:32:01 eccvm consistency check verified?: 1 (mem: 846.73 MiB)
06:32:01 translation masking consistency checked?: 1 (mem: 846.73 MiB)
06:32:01 [06:32:01.795]
INFO:
ivc-integration:test:native bb - merge verified?: 1
06:32:01 [06:32:01.796]
INFO:
ivc-integration:test:native bb - (mem:
06:32:01 [06:32:01.798]
INFO:
ivc-integration:test:native bb - 846.73 MiB)
06:32:01 eccvm verified?: 1 (mem: 846.73 MiB)
06:32:01 accumulator construction_verified?: 1 (mem: 846.73 MiB)
06:32:01 translation verified?: 1 (mem: 846.73 MiB)
06:32:01 consistency verified?: 1 (mem: 846.73 MiB)
06:32:01 Goblin verified: 1 (mem: 846.73 MiB)
06:32:01 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-UHRhF1" (mem: 846.73 MiB)
06:32:01 [06:32:01.801]
INFO:
ivc-integration:test:native bb - writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-UHRhF1" (mem: 846.73 MiB)
06:32:01 BN254 commitment key size: 262144 (mem: 846.73 MiB)
06:32:01 [06:32:01.802]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.73 MiB)
06:32:01 [06:32:01.808]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 846.73 MiB)
06:32:01 goblin ecc op : 4/1024 (mem: 846.73 MiB)
06:32:01 busread : 3/6000 (mem: 846.73 MiB)
06:32:01 lookups : 2/15000 (mem: 846.73 MiB)
06:32:01 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 846.73 MiB)
06:32:01 arithmetic : 1773/56000 (mem: 846.73 MiB)
06:32:01 delta range : 1754/18000 (mem: 846.73 MiB)
06:32:01 elliptic : 2/6000 (mem: 846.73 MiB)
06:32:01 auxiliary : 26/26000 (mem: 846.73 MiB)
06:32:01 poseidon ext : 2/17000 (mem: 846.73 MiB)
06:32:01 poseidon int : 2/92000 (mem: 846.73 MiB)
06:32:01 overflow : 0/0 (mem: 846.73 MiB)
06:32:01 (mem: 846.73 MiB)
06:32:01 Total structured size: 242025 (mem: 846.73 MiB)
06:32:01 allocating polynomials object in proving key... (mem: 846.73 MiB)
06:32:02 [06:32:02.056]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.73 MiB)
06:32:02 [06:32:02.115]
INFO:
ivc-integration:test:native bb - time to construct proving key: 311 ms.
06:32:02 [06:32:02.117]
INFO:
ivc-integration:test:native bb - (mem: 846.73 MiB)
06:32:02 [06:32:02.296]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.73 MiB)
06:32:03 [06:32:03.301]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 846.73 MiB)
06:32:03 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.73 MiB)
06:32:03 [06:32:03.796]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 846.73 MiB)
06:32:03 [06:32:03.804]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 846.73 MiB)
06:32:03 [06:32:03.836]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 846.73 MiB)
06:32:03 [06:32:03.837]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
06:32:03 [06:32:03.838]
INFO:
ivc-integration:test:native bb - (mem:
06:32:03 [06:32:03.839]
INFO:
ivc-integration:test:native bb - 846.73
06:32:03 [06:32:03.841]
INFO:
ivc-integration:test:native bb - MiB)
06:32:03 goblin ecc op : 56/1024 (mem: 846.73 MiB)
06:32:03 busread : 3/6000 (mem: 846.73 MiB)
06:32:03 lookups : 2/15000 (mem: 846.73 MiB)
06:32:03 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 846.73 MiB)
06:32:03 arithmetic : 4533/56000 (mem: 846.73 MiB)
06:32:03 delta range : 2060/18000 (mem: 846.73 MiB)
06:32:03 elliptic : 2/6000 (mem: 846.73 MiB)
06:32:03 auxiliary : 50/26000 (mem: 846.73 MiB)
06:32:03 poseidon ext : 1332/17000 (mem: 846.73 MiB)
06:32:03 poseidon int : 7583/92000 (mem: 846.73 MiB)
06:32:03 overflow : 0/0 (mem: 846.73 MiB)
06:32:03 (mem: 846.73 MiB)
06:32:03 Total structured size: 242025 (mem: 846.73 MiB)
06:32:03 allocating polynomials object in proving key... (mem: 846.73 MiB)
06:32:04 [06:32:04.099]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 846.73 MiB)
06:32:04 [06:32:04.131]
INFO:
ivc-integration:test:native bb - time to construct proving key: 298 ms. (mem: 846.73 MiB)
06:32:04 [06:32:04.294]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 846.73 MiB)
06:32:05 [06:32:05.370]
INFO:
ivc-integration:test:native bb - computing folding proof
06:32:05 [06:32:05.386]
INFO:
ivc-integration:test:native bb - (mem: 846.73 MiB)
06:32:05 vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 846.73 MiB)
06:32:06 [06:32:06.218]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 846.73 MiB)
06:32:06 [06:32:06.379]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 849.73 MiB)
06:32:06 [06:32:06.444]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 881.73 MiB)
06:32:07 [06:32:07.123]
INFO:
ivc-integration:test:native bb - folded (mem: 881.73 MiB)
06:32:07 [06:32:07.124]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 881.73 MiB)
06:32:07 Largest circuit: 15565 gates. Trace details: (mem: 881.73 MiB)
06:32:07 Minimum required block sizes for structured trace: (mem: 881.73 MiB)
06:32:07 (mem: 881.73 MiB)
06:32:07 prove decider... (mem: 881.73 MiB)
06:32:07 [06:32:07.128]
INFO:
ivc-integration:test:native bb - ecc_op : 56
06:32:07 busread : 3
06:32:07 lookup : 2
06:32:07 pub_inputs : 36
06:32:07 arithmetic : 4533
06:32:07 delta_range : 2060
06:32:07 elliptic : 2
06:32:07 aux : 50
06:32:07 poseidon2_external : 1332
06:32:07 poseidon2_internal : 7583
06:32:07 overflow : 0
06:32:07 [06:32:07.309]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 881.73 MiB)
06:32:07 [06:32:07.522]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 881.73 MiB)
06:32:08 [06:32:08.713]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 881.73 MiB)
06:32:08 [06:32:08.848]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 881.73 MiB)
06:32:08 finished decider proving. (mem: 881.73 MiB)
06:32:08 [06:32:08.950]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 881.73 MiB)
06:32:09 [06:32:09.074]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 881.73 MiB)
06:32:09 [06:32:09.079]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 881.73 MiB)
06:32:09 [06:32:09.210]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 881.73 MiB)
06:32:09 [06:32:09.247]
INFO:
ivc-integration:test:native bb - time to construct proving key: 174 ms. (mem: 881.73 MiB)
06:32:09 [06:32:09.946]
INFO:
ivc-integration:test:native BB concurrency: 1
06:32:09 [06:32:09.947]
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-UHRhF1/proof -k /tmp/bb-client-ivc-integration-UHRhF1/vk -v
06:32:09 [06:32:09.967]
INFO:
ivc-integration:test:native bb command: verify (mem: 181.49 MiB)
06:32:09 Scheme is: client_ivc, num threads: 1 (mem: 181.49 MiB)
06:32:09 --proof_path: /tmp/bb-client-ivc-integration-UHRhF1/proof (mem: 181.49 MiB)
06:32:09 --vk_path: /tmp/bb-client-ivc-integration-UHRhF1/vk (mem: 181.49 MiB)
06:32:09 --verbose: true (mem: 181.49 MiB)
06:32:09 --scheme: client_ivc (mem: 181.49 MiB)
06:32:09 [06:32:09.987]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 181.49 MiB)
06:32:10 [06:32:10.009]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 181.49 MiB)
06:32:10 [06:32:10.010]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 181.49 MiB)
06:32:10 [06:32:10.026]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 181.49 MiB)
06:32:10 Initialized BN254 CRS from memory with num points = 9 (mem: 181.49 MiB)
06:32:10 sumcheck_verified: 1 (mem: 181.49 MiB)
06:32:10 libra_evals_verified: 1 (mem: 181.49 MiB)
06:32:10 pairing_check_verified: 1 (mem: 181.49 MiB)
06:32:10 Mega verified: 1 (mem: 181.49 MiB)
06:32:10 [06:32:10.449]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 181.49 MiB)
06:32:10 batch opening verified?: 1 (mem: 181.49 MiB)
06:32:10 eccvm consistency check verified?: 1 (mem: 181.49 MiB)
06:32:10 translation masking consistency checked?: 1 (mem: 181.49 MiB)
06:32:10 [06:32:10.472]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 181.49 MiB)
06:32:10 eccvm verified?: 1 (mem: 181.49 MiB)
06:32:10 accumulator construction_verified?: 1 (mem: 181.49 MiB)
06:32:10 translation verified?: 1 (mem: 181.49 MiB)
06:32:10 consistency verified?: 1 (mem: 181.49 MiB)
06:32:10 Goblin verified: 1 (mem: 181.49 MiB)
06:32:10 [06:32:10.476]
INFO:
ivc-integration:test:native verified: 1
06:32:10 [06:32:10.477]
INFO:
ivc-integration:test:native (mem:
06:32:10 [06:32:10.478]
INFO:
ivc-integration:test:native 181.49
06:32:10 [06:32:10.480]
INFO:
ivc-integration:test:native MiB)
06:32:10 [06:32:10.555]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-Ie2kwG/ivc-inputs.msgpack
06:32:10 [06:32:10.556]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
06:32:10 [06:32:10.556]
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-Ie2kwG --ivc_inputs_path /tmp/bb-client-ivc-integration-Ie2kwG/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
06:32:10 [06:32:10.584]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 181.79 MiB)
06:32:10 Scheme is: client_ivc, num threads: 128 (mem: 181.79 MiB)
06:32:10 --scheme: client_ivc (mem: 181.79 MiB)
06:32:10 --output_path: /tmp/bb-client-ivc-integration-Ie2kwG (mem: 181.79 MiB)
06:32:10 --ivc_inputs_path: /tmp/bb-client-ivc-integration-Ie2kwG/ivc-inputs.msgpack (mem: 181.79 MiB)
06:32:10 --verbose: true (mem: 181.79 MiB)
06:32:10 --write_vk: true (mem: 181.79 MiB)
06:32:10 [06:32:10.592]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 181.79 MiB)
06:32:10 [06:32:10.742]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 249.00 MiB)
06:32:10 [06:32:10.854]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 296.00 MiB)
06:32:10 [06:32:10.860]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 296.00 MiB)
06:32:10 [06:32:10.861]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 296.00 MiB)
06:32:10 [06:32:10.868]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 296.00 MiB)
06:32:10 goblin ecc op : 4/1024 (mem: 296.00 MiB)
06:32:10 busread : 7/6000 (mem: 296.00 MiB)
06:32:10 lookups : 2/15000 (mem: 296.00 MiB)
06:32:10 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 296.00 MiB)
06:32:10 arithmetic : 1760/56000 (mem: 296.00 MiB)
06:32:10 delta range : 1754/18000 (mem: 296.00 MiB)
06:32:10 elliptic : 2/6000 (mem: 296.00 MiB)
06:32:10 auxiliary : 26/26000 (mem: 296.00 MiB)
06:32:10 poseidon ext : 2/17000 (mem: 296.00 MiB)
06:32:10 poseidon int : 2/92000 (mem: 296.00 MiB)
06:32:10 overflow : 0/0 (mem: 296.00 MiB)
06:32:10 (mem: 296.00 MiB)
06:32:10 Total structured size: 242025 (mem: 296.00 MiB)
06:32:10 allocating polynomials object in proving key... (mem: 296.00 MiB)
06:32:11 [06:32:11.024]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 501.12 MiB)
06:32:11 [06:32:11.061]
INFO:
ivc-integration:test:native bb - time to construct proving key: 197 ms. (mem: 516.12 MiB)
06:32:11 [06:32:11.107]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56681943e6c0 (mem: 516.12 MiB)
06:32:11 [06:32:11.108]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 516.12 MiB)
06:32:11 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 516.12 MiB)
06:32:11 [06:32:11.334]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 526.12 MiB)
06:32:11 [06:32:11.345]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 526.12 MiB)
06:32:11 [06:32:11.371]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 526.12 MiB)
06:32:11 Constructing DeciderProvingKey (mem: 526.12 MiB)
06:32:11 [06:32:11.374]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 526.12 MiB)
06:32:11 goblin ecc op : 56/1024 (mem: 526.12 MiB)
06:32:11 busread : 12/6000 (mem: 526.12 MiB)
06:32:11 lookups : 2/15000 (mem: 526.12 MiB)
06:32:11 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 526.12 MiB)
06:32:11 arithmetic : 4677/56000 (mem: 526.12 MiB)
06:32:11 delta range : 2073/18000 (mem: 526.12 MiB)
06:32:11 elliptic : 2/6000 (mem: 526.12 MiB)
06:32:11 auxiliary : 110/26000 (mem: 526.12 MiB)
06:32:11 poseidon ext : 1322/17000 (mem: 526.12 MiB)
06:32:11 poseidon int : 7526/92000 (mem: 526.12 MiB)
06:32:11 overflow : 0/0 (mem: 526.12 MiB)
06:32:11 (mem: 526.12 MiB)
06:32:11 Total structured size: 242025 (mem: 526.12 MiB)
06:32:11 allocating polynomials object in proving key... (mem: 526.12 MiB)
06:32:11 [06:32:11.492]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 731.12 MiB)
06:32:11 [06:32:11.518]
INFO:
ivc-integration:test:native bb - time to construct proving key: 148 ms. (mem: 748.12 MiB)
06:32:11 [06:32:11.581]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x566819447940 (mem: 748.12 MiB)
06:32:11 computing folding proof (mem: 748.12 MiB)
06:32:11 [06:32:11.582]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 748.12 MiB)
06:32:12 [06:32:12.010]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 748.12 MiB)
06:32:12 [06:32:12.103]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 786.12 MiB)
06:32:12 [06:32:12.166]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 819.12 MiB)
06:32:12 [06:32:12.449]
INFO:
ivc-integration:test:native bb - folded (mem: 819.12 MiB)
06:32:12 [06:32:12.450]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 819.12 MiB)
06:32:12 [06:32:12.452]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 819.12 MiB)
06:32:12 Constructing DeciderProvingKey (mem: 819.12 MiB)
06:32:12 [06:32:12.456]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 819.12 MiB)
06:32:12 goblin ecc op : 4/1024 (mem: 819.12 MiB)
06:32:12 busread : 7/6000 (mem: 819.12 MiB)
06:32:12 lookups : 2/15000 (mem: 819.12 MiB)
06:32:12 pub inputs : 16/5000 (populated in decider pk constructor) (mem:
06:32:12 [06:32:12.457]
INFO:
ivc-integration:test:native bb - 819.12 MiB)
06:32:12 arithmetic : 1760/56000 (mem: 819.12 MiB)
06:32:12 delta range : 1754/18000 (mem: 819.12 MiB)
06:32:12 elliptic : 2/6000 (mem: 819.12 MiB)
06:32:12 auxiliary : 26/26000 (mem: 819.12 MiB)
06:32:12 poseidon ext : 2/17000 (mem: 819.12 MiB)
06:32:12 poseidon int : 2/92000 (mem: 819.12 MiB)
06:32:12 overflow : 0/0 (mem: 819.12 MiB)
06:32:12 (mem: 819.12 MiB)
06:32:12 Total structured size: 242025 (mem: 819.12 MiB)
06:32:12 allocating polynomials object in proving key... (mem: 819.12 MiB)
06:32:12 [06:32:12.554]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 819.12 MiB)
06:32:12 [06:32:12.579]
INFO:
ivc-integration:test:native bb - time to construct proving key: 126 ms. (mem: 819.12 MiB)
06:32:12 [06:32:12.680]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x566819439f00 (mem: 819.12 MiB)
06:32:12 computing folding proof (mem: 819.12 MiB)
06:32:12 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 819.12 MiB)
06:32:12 [06:32:12.925]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 819.12 MiB)
06:32:13 [06:32:13.000]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 819.12 MiB)
06:32:13 [06:32:13.081]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 820.63 MiB)
06:32:13 [06:32:13.311]
INFO:
ivc-integration:test:native bb - folded (mem: 820.63 MiB)
06:32:13 constructed folding proof (mem: 820.63 MiB)
06:32:13 [06:32:13.326]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a3bae5eefbcce0732cee07568aa1bc46 (mem: 820.63 MiB)
06:32:13 [06:32:13.400]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 820.63 MiB)
06:32:13 [06:32:13.459]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 820.63 MiB)
06:32:13 Constructing DeciderProvingKey (mem: 820.63 MiB)
06:32:13 [06:32:13.464]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 820.63 MiB)
06:32:13 goblin ecc op : 792/1024 (mem: 820.63 MiB)
06:32:13 busread : 12/6000 (mem: 820.63 MiB)
06:32:13 lookups : 2/15000 (mem: 820.63 MiB)
06:32:13 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 820.63 MiB)
06:32:13 arithmetic : 12208/56000 (mem: 820.63 MiB)
06:32:13 delta range : 2981/18000 (mem: 820.63 MiB)
06:32:13 elliptic : 2/6000 (mem: 820.63 MiB)
06:32:13 auxiliary : 350/26000 (mem: 820.63 MiB)
06:32:13 poseidon ext : 4982/17000 (mem: 820.63 MiB)
06:32:13 poseidon int : 28388/92000 (mem: 820.63 MiB)
06:32:13 overflow : 0/0 (mem: 820.63 MiB)
06:32:13 (mem: 820.63 MiB)
06:32:13 Total structured size: 242025 (mem: 820.63 MiB)
06:32:13 allocating polynomials object in proving key... (mem: 820.63 MiB)
06:32:13 [06:32:13.546]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 820.63 MiB)
06:32:13 [06:32:13.604]
INFO:
ivc-integration:test:native bb - time to construct proving key: 143 ms. (mem: 820.63 MiB)
06:32:13 [06:32:13.791]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x566819437a80 (mem: 820.63 MiB)
06:32:13 computing folding proof (mem: 820.63 MiB)
06:32:13 [06:32:13.792]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 820.63 MiB)
06:32:14 [06:32:14.121]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 820.63 MiB)
06:32:14 [06:32:14.208]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 820.63 MiB)
06:32:14 [06:32:14.265]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 847.91 MiB)
06:32:14 [06:32:14.390]
INFO:
ivc-integration:test:native bb - folded (mem: 847.91 MiB)
06:32:14 constructed folding proof (mem: 847.91 MiB)
06:32:14 [06:32:14.402]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000886e2b97d1188860569cd1a37bd45bb0 (mem: 847.91 MiB)
06:32:14 [06:32:14.454]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 847.91 MiB)
06:32:14 Constructing DeciderProvingKey (mem: 847.91 MiB)
06:32:14 [06:32:14.459]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.91 MiB)
06:32:14 goblin ecc op : 392/1024 (mem: 847.91 MiB)
06:32:14 busread : 16/6000 (mem: 847.91 MiB)
06:32:14 lookups : 2/15000 (mem: 847.91 MiB)
06:32:14 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 847.91 MiB)
06:32:14 arithmetic : 6978/56000 (mem: 847.91 MiB)
06:32:14 delta range : 2367/18000 (mem: 847.91 MiB)
06:32:14 elliptic : 2/6000 (mem: 847.91 MiB)
06:32:14 auxiliary : 77/26000 (mem: 847.91 MiB)
06:32:14 poseidon ext : 2492/17000 (mem: 847.91 MiB)
06:32:14 poseidon int : 14195/92000 (mem: 847.91 MiB)
06:32:14 overflow : 0/0 (mem: 847.91 MiB)
06:32:14 (mem: 847.91 MiB)
06:32:14 Total structured size: 242025 (mem: 847.91 MiB)
06:32:14 allocating polynomials object in proving key... (mem: 847.91 MiB)
06:32:14 [06:32:14.564]
INFO:
ivc-integration:test:native bb - populating trace...
06:32:14 [06:32:14.565]
INFO:
ivc-integration:test:native bb - (mem: 847.91 MiB)
06:32:14 [06:32:14.588]
INFO:
ivc-integration:test:native bb - time to construct proving key: 133 ms. (mem: 847.91 MiB)
06:32:14 [06:32:14.673]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x56681944ce80 (mem: 847.91 MiB)
06:32:14 computing folding proof (mem: 847.91 MiB)
06:32:14 [06:32:14.674]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 847.91 MiB)
06:32:15 [06:32:15.070]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key
06:32:15 [06:32:15.073]
INFO:
ivc-integration:test:native bb - (mem: 847.91 MiB)
06:32:15 [06:32:15.170]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 847.91 MiB)
06:32:15 [06:32:15.224]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 848.00 MiB)
06:32:15 [06:32:15.367]
INFO:
ivc-integration:test:native bb - folded (mem: 848.00 MiB)
06:32:15 constructed folding proof (mem: 848.00 MiB)
06:32:15 [06:32:15.376]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000001fe7987e8dd2aeb26beb8ceab392fce7 (mem: 848.00 MiB)
06:32:15 [06:32:15.432]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 848.00 MiB)
06:32:15 Constructing DeciderProvingKey (mem: 848.00 MiB)
06:32:15 [06:32:15.436]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 848.00 MiB)
06:32:15 goblin ecc op : 392/1024 (mem: 848.00 MiB)
06:32:15 busread : 3/6000 (mem: 848.00 MiB)
06:32:15 lookups : 2/15000 (mem: 848.00 MiB)
06:32:15 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 848.00 MiB)
06:32:15 arithmetic : 6913/56000 (mem: 848.00 MiB)
06:32:15 delta range : 2353/18000 (mem: 848.00 MiB)
06:32:15 elliptic : 2/6000 (mem: 848.00 MiB)
06:32:15 auxiliary : 50/26000 (mem: 848.00 MiB)
06:32:15 poseidon ext : 2492/17000 (mem: 848.00 MiB)
06:32:15 poseidon int : 14195/92000 (mem: 848.00 MiB)
06:32:15 overflow : 0/0 (mem: 848.00 MiB)
06:32:15 (mem: 848.00 MiB)
06:32:15 Total structured size: 242025 (mem: 848.00 MiB)
06:32:15 allocating polynomials object in proving key... (mem: 848.00 MiB)
06:32:15 [06:32:15.482]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 848.00 MiB)
06:32:15 [06:32:15.524]
INFO:
ivc-integration:test:native bb - time to construct proving key: 92 ms. (mem: 848.00 MiB)
06:32:15 [06:32:15.687]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5668194bb7c0 (mem: 848.00 MiB)
06:32:15 computing folding proof (mem: 848.00 MiB)
06:32:15 vkey hash in Oink prover: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 848.00 MiB)
06:32:16 [06:32:16.018]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 848.00 MiB)
06:32:16 [06:32:16.159]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 848.00 MiB)
06:32:16 [06:32:16.221]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 848.00 MiB)
06:32:16 [06:32:16.589]
INFO:
ivc-integration:test:native bb - folded (mem: 848.00 MiB)
06:32:16 constructed folding proof (mem: 848.00 MiB)
06:32:16 Largest circuit: 48925 gates. Trace details: (mem: 848.00 MiB)
06:32:16 Minimum required block sizes for structured trace: (mem: 848.00 MiB)
06:32:16 (mem: 848.00 MiB)
06:32:16 prove decider... (mem: 848.00 MiB)
06:32:16 [06:32:16.589]
INFO:
ivc-integration:test:native bb - ecc_op : 792
06:32:16 busread : 16
06:32:16 lookup : 2
06:32:16 pub_inputs : 36
06:32:16 arithmetic : 12208
06:32:16 delta_range : 2981
06:32:16 elliptic : 2
06:32:16 aux : 350
06:32:16 poseidon2_external : 4982
06:32:16 poseidon2_internal : 28388
06:32:16 overflow : 0
06:32:16 [06:32:16.757]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.00 MiB)
06:32:16 [06:32:16.903]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 848.00 MiB)
06:32:17 [06:32:17.641]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 848.00 MiB)
06:32:17 [06:32:17.721]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 848.00 MiB)
06:32:17 finished decider proving. (mem: 848.00 MiB)
06:32:17 [06:32:17.741]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x0000000000000000000000000000000015c1a578fece4ab697bb78c27fd2dc6e (mem: 848.00 MiB)
06:32:17 [06:32:17.838]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 848.00 MiB)
06:32:17 [06:32:17.843]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 848.00 MiB)
06:32:17 [06:32:17.974]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 848.00 MiB)
06:32:18 [06:32:18.011]
INFO:
ivc-integration:test:native bb - time to construct proving key: 173 ms. (mem: 848.00 MiB)
06:32:18 [06:32:18.817]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892
06:32:18 [06:32:18.819]
INFO:
ivc-integration:test:native bb - (mem: 848.00 MiB)
06:32:19 [06:32:19.179]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 848.00 MiB)
06:32:19 [06:32:19.323]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.00 MiB)
06:32:20 [06:32:20.152]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 848.00 MiB)
06:32:20 [06:32:20.660]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 848.00 MiB)
06:32:20 [06:32:20.680]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 848.00 MiB)
06:32:20 finished decider proving. (mem: 848.00 MiB)
06:32:20 [06:32:20.680]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 848.00 MiB)
06:32:20 [06:32:20.773]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 848.00 MiB)
06:32:21 [06:32:21.015]
INFO:
ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 848.00 MiB)
06:32:21 [06:32:21.039]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 848.00 MiB)
06:32:22 [06:32:22.543]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 848.00 MiB)
06:32:24 [06:32:24.663]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 848.00 MiB)
06:32:29 [06:32:29.527]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 848.00 MiB)
06:32:29 prove translator... (mem: 848.00 MiB)
06:32:33 [06:32:33.455]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 872.92 MiB)
06:32:34 [06:32:34.935]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 873.92 MiB)
06:32:35 [06:32:35.791]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 873.92 MiB)
06:32:35 [06:32:35.792]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 873.92 MiB)
06:32:35 [06:32:35.795]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 873.92 MiB)
06:32:35 [06:32:35.815]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 873.92 MiB)
06:32:35 libra_evals_verified: 1 (mem: 873.92 MiB)
06:32:35 pairing_check_verified: 1 (mem: 873.92 MiB)
06:32:35 Mega verified: 1 (mem: 873.92 MiB)
06:32:35 [06:32:35.995]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 874.92 MiB)
06:32:35 batch opening verified?: 1 (mem: 874.92 MiB)
06:32:35 eccvm consistency check verified?: 1 (mem: 874.92 MiB)
06:32:35 translation masking consistency checked?: 1 (mem: 874.92 MiB)
06:32:36 [06:32:36.032]
INFO:
ivc-integration:test:native bb - merge verified?: 1
06:32:36 [06:32:36.035]
INFO:
ivc-integration:test:native bb - (mem: 874.92 MiB)
06:32:36 eccvm verified?: 1 (mem: 874.92 MiB)
06:32:36 accumulator construction_verified?: 1 (mem: 874.92 MiB)
06:32:36 translation verified?: 1 (mem: 874.92 MiB)
06:32:36 consistency verified?: 1 (mem: 874.92 MiB)
06:32:36 Goblin verified: 1 (mem: 874.92 MiB)
06:32:36 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-Ie2kwG" (mem: 874.92 MiB)
06:32:36 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-Ie2kwG" (mem: 874.92 MiB)
06:32:36 BN254 commitment key size: 262144 (mem: 874.92 MiB)
06:32:36 [06:32:36.038]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 874.92 MiB)
06:32:36 [06:32:36.043]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 874.92 MiB)
06:32:36 goblin ecc op : 4/1024 (mem: 874.92 MiB)
06:32:36 busread : 3/6000 (mem: 874.92 MiB)
06:32:36 lookups : 2/15000 (mem: 874.92 MiB)
06:32:36 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 874.92 MiB)
06:32:36 arithmetic : 1773/56000 (mem: 874.92 MiB)
06:32:36 delta range : 1754/18000 (mem: 874.92 MiB)
06:32:36 elliptic : 2/6000 (mem: 874.92 MiB)
06:32:36 auxiliary : 26/26000 (mem: 874.92 MiB)
06:32:36 poseidon ext : 2/17000 (mem: 874.92 MiB)
06:32:36 poseidon int : 2/92000 (mem: 874.92 MiB)
06:32:36 overflow : 0/0 (mem: 874.92 MiB)
06:32:36 (mem: 874.92 MiB)
06:32:36 Total structured size: 242025 (mem: 874.92 MiB)
06:32:36 allocating polynomials object in proving key... (mem: 874.92 MiB)
06:32:36 [06:32:36.124]
INFO:
ivc-integration:test:native bb - populating trace...
06:32:36 [06:32:36.125]
INFO:
ivc-integration:test:native bb - (mem: 874.92 MiB)
06:32:36 [06:32:36.134]
INFO:
ivc-integration:test:native bb - time to construct proving key: 96 ms. (mem: 874.92 MiB)
06:32:36 [06:32:36.173]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 874.92 MiB)
06:32:36 [06:32:36.798]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 874.92 MiB)
06:32:36 [06:32:36.799]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 874.92 MiB)
06:32:37 [06:32:37.113]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 874.92 MiB)
06:32:37 [06:32:37.146]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 874.92 MiB)
06:32:37 [06:32:37.191]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 874.92 MiB)
06:32:37 [06:32:37.195]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 874.92 MiB)
06:32:37 goblin ecc op : 56/1024 (mem: 874.92 MiB)
06:32:37 busread : 3/6000 (mem: 874.92 MiB)
06:32:37 lookups : 2/15000 (mem: 874.92 MiB)
06:32:37 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 874.92 MiB)
06:32:37 arithmetic : 4533/56000 (mem: 874.92 MiB)
06:32:37 delta range : 2060/18000 (mem: 874.92 MiB)
06:32:37 elliptic : 2/6000 (mem: 874.92 MiB)
06:32:37 auxiliary : 50/26000 (mem: 874.92 MiB)
06:32:37 poseidon ext : 1332/17000 (mem: 874.92 MiB)
06:32:37 poseidon int : 7583/92000 (mem: 874.92 MiB)
06:32:37 overflow : 0/0 (mem: 874.92 MiB)
06:32:37 (mem: 874.92 MiB)
06:32:37 Total structured size: 242025 (mem: 874.92 MiB)
06:32:37 allocating polynomials object in proving key... (mem: 874.92 MiB)
06:32:37 [06:32:37.277]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 874.92 MiB)
06:32:37 [06:32:37.294]
INFO:
ivc-integration:test:native bb - time to construct proving key: 103 ms. (mem: 874.92 MiB)
06:32:37 [06:32:37.372]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 874.92 MiB)
06:32:37 [06:32:37.973]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 874.92 MiB)
06:32:37 [06:32:37.974]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 874.92 MiB)
06:32:38 [06:32:38.231]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 874.92 MiB)
06:32:38 [06:32:38.362]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 874.92 MiB)
06:32:38 [06:32:38.411]
INFO:
ivc-integration:test:native bb - combiner quotient round
06:32:38 [06:32:38.412]
INFO:
ivc-integration:test:native bb - (mem: 906.92 MiB)
06:32:38 [06:32:38.649]
INFO:
ivc-integration:test:native bb - folded (mem: 906.92 MiB)
06:32:38 constructed folding proof (mem: 906.92 MiB)
06:32:38 [06:32:38.650]
INFO:
ivc-integration:test:native bb - Largest circuit: 15565 gates. Trace details: (mem: 906.92 MiB)
06:32:38 Minimum required block sizes for structured trace: (mem: 906.92 MiB)
06:32:38 (mem: 906.92 MiB)
06:32:38 prove decider... (mem: 906.92 MiB)
06:32:38 [06:32:38.651]
INFO:
ivc-integration:test:native bb - ecc_op : 56
06:32:38 busread : 3
06:32:38 lookup : 2
06:32:38 pub_inputs : 36
06:32:38 arithmetic : 4533
06:32:38 delta_range : 2060
06:32:38 elliptic : 2
06:32:38 aux : 50
06:32:38 poseidon2_external : 1332
06:32:38 poseidon2_internal : 7583
06:32:38 overflow : 0
06:32:38 [06:32:38.763]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 906.92 MiB)
06:32:38 [06:32:38.830]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 906.92 MiB)
06:32:39 [06:32:39.292]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 906.92 MiB)
06:32:39 [06:32:39.339]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 906.92 MiB)
06:32:39 finished decider proving. (mem: 906.92 MiB)
06:32:39 [06:32:39.350]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000759a48d3fb0665b35058f8c0105f6440 (mem: 906.92 MiB)
06:32:39 [06:32:39.439]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
06:32:39 [06:32:39.439]
INFO:
ivc-integration:test:native bb - (mem: 906.92 MiB)
06:32:39 [06:32:39.449]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 906.92 MiB)
06:32:39 [06:32:39.509]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 906.92 MiB)
06:32:39 [06:32:39.535]
INFO:
ivc-integration:test:native bb - time to construct proving key: 95 ms. (mem: 906.92 MiB)
06:32:39 [06:32:39.966]
INFO:
ivc-integration:test:native BB concurrency: 1
06:32:39 [06:32:39.966]
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-Ie2kwG/proof -k /tmp/bb-client-ivc-integration-Ie2kwG/vk -v
06:32:39 [06:32:39.994]
INFO:
ivc-integration:test:native bb command: verify (mem: 187.91 MiB)
06:32:39 Scheme is: client_ivc, num threads: 1 (mem: 187.91 MiB)
06:32:39 --proof_path: /tmp/bb-client-ivc-integration-Ie2kwG/proof (mem: 187.91 MiB)
06:32:39 --vk_path: /tmp/bb-client-ivc-integration-Ie2kwG/vk (mem: 187.91 MiB)
06:32:39 --verbose: true (mem: 187.91 MiB)
06:32:39 --scheme: client_ivc (mem: 187.91 MiB)
06:32:40 [06:32:40.011]
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.91 MiB)
06:32:40 [06:32:40.029]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 187.91 MiB)
06:32:40 [06:32:40.031]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000d254785abb50914d5b19d871d3aef892 (mem: 187.91 MiB)
06:32:40 [06:32:40.049]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 187.91 MiB)
06:32:40 [06:32:40.050]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 9 (mem: 187.91 MiB)
06:32:40 [06:32:40.051]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 187.91 MiB)
06:32:40 libra_evals_verified: 1 (mem: 187.91 MiB)
06:32:40 pairing_check_verified: 1 (mem: 187.91 MiB)
06:32:40 Mega verified: 1 (mem: 187.91 MiB)
06:32:40 [06:32:40.464]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 187.91 MiB)
06:32:40 batch opening verified?: 1 (mem: 187.91 MiB)
06:32:40 eccvm consistency check verified?: 1 (mem: 187.91 MiB)
06:32:40 translation masking consistency checked?: 1 (mem: 187.91 MiB)
06:32:40 [06:32:40.486]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 187.91 MiB)
06:32:40 eccvm verified?: 1 (mem: 187.91 MiB)
06:32:40 accumulator construction_verified?: 1 (mem: 187.91 MiB)
06:32:40 translation verified?: 1 (mem: 187.91 MiB)
06:32:40 consistency verified?: 1 (mem: 187.91 MiB)
06:32:40 Goblin verified: 1 (mem: 187.91 MiB)
06:32:40 [06:32:40.491]
INFO:
ivc-integration:test:native verified: 1 (mem: 187.91 MiB)
06:32:40
PASS src/native_client_ivc_integration.test.ts (
73.892 s)
06:32:40 Client IVC Integration
06:32:40
✓ Should generate a verifiable client IVC proof from a simple mock tx (40192 ms)
06:32:40
✓ Should generate a verifiable client IVC proof from a complex mock tx (30006 ms)
06:32:40
06:32:40
Test Suites: 1 passed, 1 total
06:32:40
Tests: 2 passed, 2 total
06:32:40
Snapshots: 0 total
06:32:40
Time: 73.991 s
06:32:40
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
06:32:40
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?