Parent Log:
http://ci.aztec-labs.com/6379f596748997ca
Command: 2ca1986c0c6d5c2c: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/9222c7777effe26aa04b5367a455d25be0e7f62e
Env: REF_NAME=gh-readonly-queue/next/pr-15055-a9bb2f683797c8e631b892c5f539a2867bddaabf CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 18 15:57:48 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15055_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
15:57:53 [15:57:53.007]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-hsXMeH/ivc-inputs.msgpack
15:57:53 [15:57:53.013]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
15:57:53 [15:57:53.014]
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-hsXMeH --ivc_inputs_path /tmp/bb-client-ivc-integration-hsXMeH/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
15:57:53 [15:57:53.037]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 181.37 MiB)
15:57:53 Scheme is: client_ivc, num threads: 128 (mem:
15:57:53 [15:57:53.038]
INFO:
ivc-integration:test:native bb - 181.37 MiB)
15:57:53 --scheme: client_ivc (mem: 181.37 MiB)
15:57:53 --output_path: /tmp/bb-client-ivc-integration-hsXMeH (mem: 181.37 MiB)
15:57:53 --ivc_inputs_path: /tmp/bb-client-ivc-integration-hsXMeH/ivc-inputs.msgpack (mem: 181.37 MiB)
15:57:53 --verbose: true (mem: 181.37 MiB)
15:57:53 --write_vk: true (mem: 181.37 MiB)
15:57:53 [15:57:53.039]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 181.37 MiB)
15:57:53 [15:57:53.147]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 245.00 MiB)
15:57:53 [15:57:53.228]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 293.23 MiB)
15:57:53 [15:57:53.231]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 293.23 MiB)
15:57:53 Constructing DeciderProvingKey (mem: 293.23 MiB)
15:57:53 [15:57:53.235]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 293.23 MiB)
15:57:53 goblin ecc op : 4/1024 (mem: 293.23 MiB)
15:57:53 busread : 7/6000 (mem: 293.23 MiB)
15:57:53 lookups : 2/15000 (mem: 293.23 MiB)
15:57:53 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 293.23 MiB)
15:57:53 arithmetic : 1760/56000 (mem: 293.23 MiB)
15:57:53 delta range : 1754/18000 (mem: 293.23 MiB)
15:57:53 elliptic : 2/6000 (mem: 293.23 MiB)
15:57:53 auxiliary : 26/26000 (mem: 293.23 MiB)
15:57:53 poseidon ext : 2/17000 (mem: 293.23 MiB)
15:57:53 poseidon int : 2/92000 (mem:
15:57:53 [15:57:53.236]
INFO:
ivc-integration:test:native bb - 293.23 MiB)
15:57:53 overflow : 0/0 (mem: 293.23 MiB)
15:57:53 (mem: 293.23 MiB)
15:57:53 Total structured size: 242025 (mem: 293.23 MiB)
15:57:53 allocating polynomials object in proving key... (mem: 293.23 MiB)
15:57:53 [15:57:53.301]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 498.39 MiB)
15:57:53 [15:57:53.312]
INFO:
ivc-integration:test:native bb - time to construct proving key: 81 ms. (mem: 514.39 MiB)
15:57:53 [15:57:53.347]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5dc32397d980 (mem: 514.39 MiB)
15:57:53 computing oink proof... (mem: 514.39 MiB)
15:57:53 [15:57:53.348]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 514.39 MiB)
15:57:53 [15:57:53.538]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 523.39 MiB)
15:57:53 [15:57:53.547]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.39 MiB)
15:57:53 [15:57:53.568]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 523.39 MiB)
15:57:53 Constructing DeciderProvingKey (mem: 523.39 MiB)
15:57:53 [15:57:53.573]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.39 MiB)
15:57:53 goblin ecc op : 56/1024 (mem: 523.39 MiB)
15:57:53 busread : 12/6000 (mem: 523.39 MiB)
15:57:53 lookups : 2/15000 (mem: 523.39 MiB)
15:57:53 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.39 MiB)
15:57:53 arithmetic : 4625/56000 (mem: 523.39 MiB)
15:57:53 delta range : 2054/18000 (mem: 523.39 MiB)
15:57:53 elliptic : 2/6000 (mem: 523.39 MiB)
15:57:53 auxiliary : 110/26000 (mem: 523.39 MiB)
15:57:53 poseidon ext : 1302/17000 (mem: 523.39 MiB)
15:57:53 poseidon int : 7412/92000 (mem: 523.39 MiB)
15:57:53 overflow : 0/0 (mem: 523.39 MiB)
15:57:53 (mem: 523.39 MiB)
15:57:53 Total structured size: 242025 (mem: 523.39 MiB)
15:57:53 allocating polynomials object in proving key... (mem: 523.39 MiB)
15:57:53 [15:57:53.642]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 734.39 MiB)
15:57:53 [15:57:53.665]
INFO:
ivc-integration:test:native bb - time to construct proving key: 96 ms. (mem: 753.39 MiB)
15:57:53 [15:57:53.721]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5dc32398a640 (mem: 753.39 MiB)
15:57:53 computing folding proof (mem: 753.39 MiB)
15:57:53 [15:57:53.722]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 753.39 MiB)
15:57:54 [15:57:54.080]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 754.39 MiB)
15:57:54 [15:57:54.180]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 790.39 MiB)
15:57:54 [15:57:54.260]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 822.39 MiB)
15:57:54 [15:57:54.773]
INFO:
ivc-integration:test:native bb - folded (mem: 822.39 MiB)
15:57:54 constructed folding proof (mem: 822.39 MiB)
15:57:54 [15:57:54.788]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 822.39 MiB)
15:57:54 [15:57:54.865]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 822.39 MiB)
15:57:54 [15:57:54.866]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 822.39 MiB)
15:57:54 [15:57:54.871]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 822.39 MiB)
15:57:54 goblin ecc op : 392/1024 (mem: 822.39 MiB)
15:57:54 busread : 3/6000 (mem: 822.39 MiB)
15:57:54 lookups : 2/15000 (mem: 822.39 MiB)
15:57:54 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 822.39 MiB)
15:57:54 arithmetic : 6849/56000 (mem: 822.39 MiB)
15:57:54 delta range : 2333/18000 (mem: 822.39 MiB)
15:57:54 elliptic : 2/6000 (mem: 822.39 MiB)
15:57:54 auxiliary : 50/26000 (mem: 822.39 MiB)
15:57:54 poseidon ext : 2472/17000 (mem: 822.39 MiB)
15:57:54 poseidon int : 14081/92000 (mem: 822.39 MiB)
15:57:54 overflow : 0/0 (mem: 822.39 MiB)
15:57:54 (mem: 822.39 MiB)
15:57:54 Total structured size: 242025 (mem: 822.39 MiB)
15:57:54 allocating polynomials object in proving key... (mem: 822.39 MiB)
15:57:55 [15:57:55.019]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 822.39 MiB)
15:57:55 [15:57:55.077]
INFO:
ivc-integration:test:native bb - time to construct proving key: 207 ms. (mem: 822.39 MiB)
15:57:55 [15:57:55.270]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5dc323979380 (mem: 822.39 MiB)
15:57:55 computing folding proof (mem: 822.39 MiB)
15:57:55 [15:57:55.271]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 822.39 MiB)
15:57:55 [15:57:55.822]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 822.39 MiB)
15:57:56 [15:57:56.050]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 822.39 MiB)
15:57:56 [15:57:56.109]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 822.39 MiB)
15:57:56 [15:57:56.605]
INFO:
ivc-integration:test:native bb - folded (mem: 822.39 MiB)
15:57:56 constructed folding proof (mem: 822.39 MiB)
15:57:56 [15:57:56.608]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 822.39 MiB)
15:57:56 Minimum required block sizes for structured trace: (mem: 822.39 MiB)
15:57:56 (mem: 822.39 MiB)
15:57:56 prove decider... (mem: 822.39 MiB)
15:57:56 [15:57:56.611]
INFO:
ivc-integration:test:native bb - ecc_op : 392
15:57:56 busread : 12
15:57:56 lookup : 2
15:57:56 pub_inputs : 36
15:57:56 arithmetic : 6849
15:57:56 delta_range : 2333
15:57:56 elliptic : 2
15:57:56 aux : 110
15:57:56 poseidon2_external : 2472
15:57:56 poseidon2_internal : 14081
15:57:56 overflow : 0
15:57:56 [15:57:56.757]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 822.39 MiB)
15:57:56 [15:57:56.986]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 822.39 MiB)
15:57:58 [15:57:58.279]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 822.39 MiB)
15:57:58 [15:57:58.400]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 822.39 MiB)
15:57:58 finished decider proving. (mem: 822.39 MiB)
15:57:58 [15:57:58.451]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 822.39 MiB)
15:57:58 [15:57:58.619]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 822.39 MiB)
15:57:58 [15:57:58.628]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 822.39 MiB)
15:57:58 [15:57:58.787]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 822.39 MiB)
15:57:58 [15:57:58.850]
INFO:
ivc-integration:test:native bb - time to construct proving key: 230 ms. (mem: 822.39 MiB)
15:58:00 [15:58:00.017]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 822.39 MiB)
15:58:00 [15:58:00.765]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 822.39 MiB)
15:58:01 [15:58:01.054]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 822.39 MiB)
15:58:03 [15:58:03.014]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 822.39 MiB)
15:58:04 [15:58:04.046]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
15:58:04 [15:58:04.049]
INFO:
ivc-integration:test:native bb - (mem: 822.39 MiB)
15:58:04 [15:58:04.085]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 822.39 MiB)
15:58:04 finished decider proving. (mem: 822.39 MiB)
15:58:04 [15:58:04.088]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 822.39 MiB)
15:58:04 [15:58:04.356]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 822.39 MiB)
15:58:04 [15:58:04.647]
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: 822.39 MiB)
15:58:04 [15:58:04.673]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 822.39 MiB)
15:58:06 [15:58:06.797]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 822.39 MiB)
15:58:09 [15:58:09.266]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 822.39 MiB)
15:58:15 [15:58:15.283]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 822.39 MiB)
15:58:15 prove translator... (mem: 822.39 MiB)
15:58:18 [15:58:18.243]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 850.68 MiB)
15:58:21 [15:58:21.326]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 851.68 MiB)
15:58:24 [15:58:24.685]
INFO:
ivc-integration:test:native bb - computed opening proof
15:58:24 [15:58:24.690]
INFO:
ivc-integration:test:native bb - (mem: 851.68 MiB)
15:58:24 finished translator proving. (mem: 851.68 MiB)
15:58:24 [15:58:24.701]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 851.68 MiB)
15:58:24 [15:58:24.726]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 851.68 MiB)
15:58:24 libra_evals_verified: 1 (mem: 851.68 MiB)
15:58:24 pairing_check_verified: 1 (mem: 851.68 MiB)
15:58:24 Mega verified: 1 (mem: 851.68 MiB)
15:58:24 [15:58:24.806]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 851.68 MiB)
15:58:24 batch opening verified?: 1 (mem: 851.68 MiB)
15:58:24 eccvm consistency check verified?: 1 (mem: 851.68 MiB)
15:58:24 translation masking consistency checked?: 1 (mem: 851.68 MiB)
15:58:24 [15:58:24.841]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 851.68 MiB)
15:58:24 eccvm verified?: 1 (mem: 851.68 MiB)
15:58:24 accumulator construction_verified?: 1 (mem: 851.68 MiB)
15:58:24 translation verified?: 1 (mem: 851.68 MiB)
15:58:24 consistency verified?: 1 (mem: 851.68 MiB)
15:58:24 Goblin verified: 1 (mem: 851.68 MiB)
15:58:24 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-hsXMeH" (mem: 851.68 MiB)
15:58:24 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-hsXMeH" (mem: 851.68 MiB)
15:58:24 BN254 commitment key size: 262144 (mem: 851.68 MiB)
15:58:24 [15:58:24.844]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
15:58:24 [15:58:24.844]
INFO:
ivc-integration:test:native bb - (mem:
15:58:24 [15:58:24.847]
INFO:
ivc-integration:test:native bb - 851.68 MiB)
15:58:24 [15:58:24.849]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
15:58:24 [15:58:24.850]
INFO:
ivc-integration:test:native bb - (mem:
15:58:24 [15:58:24.851]
INFO:
ivc-integration:test:native bb - 851.68 MiB)
15:58:24 goblin ecc op : 4/1024 (mem: 851.68 MiB)
15:58:24 busread : 3/6000 (mem: 851.68 MiB)
15:58:24 lookups : 2/15000 (mem: 851.68 MiB)
15:58:24 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 851.68 MiB)
15:58:24 arithmetic : 1773/56000 (mem: 851.68 MiB)
15:58:24 delta range : 1754/18000 (mem: 851.68 MiB)
15:58:24 elliptic : 2/6000 (mem: 851.68 MiB)
15:58:24 auxiliary : 26/26000 (mem: 851.68 MiB)
15:58:24 poseidon ext : 2/17000 (mem: 851.68 MiB)
15:58:24 poseidon int : 2/92000 (mem: 851.68 MiB)
15:58:24 overflow : 0/0 (mem: 851.68 MiB)
15:58:24 (mem: 851.68 MiB)
15:58:24 Total structured size: 242025 (mem: 851.68 MiB)
15:58:24 allocating polynomials object in proving key... (mem: 851.68 MiB)
15:58:25 [15:58:25.143]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 851.68 MiB)
15:58:25 [15:58:25.170]
INFO:
ivc-integration:test:native bb - time to construct proving key: 323 ms. (mem: 851.68 MiB)
15:58:25 [15:58:25.308]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 851.68 MiB)
15:58:26 [15:58:26.417]
INFO:
ivc-integration:test:native bb - computing oink proof...
15:58:26 [15:58:26.419]
INFO:
ivc-integration:test:native bb - (mem:
15:58:26 [15:58:26.424]
INFO:
ivc-integration:test:native bb - 851.68 MiB)
15:58:26 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 851.68 MiB)
15:58:26 [15:58:26.915]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 851.68 MiB)
15:58:26 [15:58:26.925]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 851.68 MiB)
15:58:26 [15:58:26.948]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.68 MiB)
15:58:26 [15:58:26.953]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.68 MiB)
15:58:26 goblin ecc op : 56/1024 (mem: 851.68 MiB)
15:58:26 busread : 3/6000 (mem: 851.68 MiB)
15:58:26 [15:58:26.955]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 851.68 MiB)
15:58:26 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 851.68 MiB)
15:58:26 arithmetic : 4481/56000 (mem: 851.68 MiB)
15:58:26 delta range : 2041/18000 (mem: 851.68 MiB)
15:58:26 elliptic : 2/6000 (mem: 851.68 MiB)
15:58:26 auxiliary : 50/26000 (mem: 851.68 MiB)
15:58:26 poseidon ext : 1312/17000 (mem: 851.68 MiB)
15:58:26 poseidon int : 7469/92000 (mem: 851.68 MiB)
15:58:26 overflow : 0/0 (mem: 851.68 MiB)
15:58:26 (mem: 851.68 MiB)
15:58:26 Total structured size: 242025 (mem: 851.68 MiB)
15:58:26 allocating polynomials object in proving key... (mem: 851.68 MiB)
15:58:27 [15:58:27.285]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 851.68 MiB)
15:58:27 [15:58:27.356]
INFO:
ivc-integration:test:native bb - time to construct proving key: 408 ms. (mem: 851.68 MiB)
15:58:27 [15:58:27.563]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 851.68 MiB)
15:58:28 [15:58:28.501]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 851.68 MiB)
15:58:28 vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 851.68 MiB)
15:58:29 [15:58:29.488]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 851.68 MiB)
15:58:29 [15:58:29.725]
INFO:
ivc-integration:test:native bb - perturbator round
15:58:29 [15:58:29.727]
INFO:
ivc-integration:test:native bb - (mem:
15:58:29 [15:58:29.727]
INFO:
ivc-integration:test:native bb - 852.68
15:58:29 [15:58:29.728]
INFO:
ivc-integration:test:native bb - MiB)
15:58:29 [15:58:29.728]
INFO:
ivc-integration:test:native bb -
15:58:29 [15:58:29.892]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 884.68 MiB)
15:58:30 [15:58:30.406]
INFO:
ivc-integration:test:native bb - folded (mem: 884.68 MiB)
15:58:30 constructed folding proof (mem: 884.68 MiB)
15:58:30 [15:58:30.414]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 884.68 MiB)
15:58:30 Minimum required block sizes for structured trace: (mem: 884.68 MiB)
15:58:30 (mem: 884.68 MiB)
15:58:30 prove decider... (mem: 884.68 MiB)
15:58:30 [15:58:30.416]
INFO:
ivc-integration:test:native bb - ecc_op : 56
15:58:30 busread : 3
15:58:30 lookup : 2
15:58:30 pub_inputs : 36
15:58:30 arithmetic : 4481
15:58:30 delta_range : 2041
15:58:30 elliptic : 2
15:58:30 aux : 50
15:58:30 poseidon2_external : 1312
15:58:30 poseidon2_internal : 7469
15:58:30 overflow : 0
15:58:30 [15:58:30.788]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 884.68 MiB)
15:58:31 [15:58:31.036]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 884.68 MiB)
15:58:32 [15:58:32.519]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 884.68 MiB)
15:58:32 [15:58:32.588]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 884.68 MiB)
15:58:32 finished decider proving. (mem: 884.68 MiB)
15:58:32 [15:58:32.612]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 884.68 MiB)
15:58:32 [15:58:32.738]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 884.68 MiB)
15:58:32 allocating polynomials object in proving key... (mem: 884.68 MiB)
15:58:33 [15:58:33.031]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 884.68 MiB)
15:58:33 [15:58:33.092]
INFO:
ivc-integration:test:native bb - time to construct proving key: 362 ms.
15:58:33 [15:58:33.095]
INFO:
ivc-integration:test:native bb - (mem: 884.68 MiB)
15:58:33 [15:58:33.911]
INFO:
ivc-integration:test:native BB concurrency: 1
15:58:33 [15:58:33.912]
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-hsXMeH/proof -k /tmp/bb-client-ivc-integration-hsXMeH/vk -v
15:58:33 [15:58:33.936]
INFO:
ivc-integration:test:native bb command: verify (mem: 181.37 MiB)
15:58:33 [15:58:33.937]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 1 (mem: 181.37 MiB)
15:58:33 --proof_path: /tmp/bb-client-ivc-integration-hsXMeH/proof (mem: 181.37 MiB)
15:58:33 --vk_path: /tmp/bb-client-ivc-integration-hsXMeH/vk (mem: 181.37 MiB)
15:58:33 --verbose: true (mem: 181.37 MiB)
15:58:33 --scheme: client_ivc (mem: 181.37 MiB)
15:58:33 [15:58:33.953]
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.37 MiB)
15:58:33 [15:58:33.978]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 181.37 MiB)
15:58:33 [15:58:33.979]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 181.37 MiB)
15:58:34 [15:58:34.002]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 181.37 MiB)
15:58:34 [15:58:34.002]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 9 (mem: 181.37 MiB)
15:58:34 [15:58:34.003]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 181.37 MiB)
15:58:34 libra_evals_verified: 1 (mem: 181.37 MiB)
15:58:34 pairing_check_verified: 1 (mem: 181.37 MiB)
15:58:34 Mega verified: 1 (mem: 181.37 MiB)
15:58:34 [15:58:34.504]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 181.37 MiB)
15:58:34 batch opening verified?: 1 (mem: 181.37 MiB)
15:58:34 eccvm consistency check verified?: 1 (mem: 181.37 MiB)
15:58:34 translation masking consistency checked?: 1 (mem: 181.37 MiB)
15:58:34 [15:58:34.527]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 181.37 MiB)
15:58:34 eccvm verified?: 1 (mem: 181.37 MiB)
15:58:34 accumulator construction_verified?: 1 (mem: 181.37 MiB)
15:58:34 translation verified?: 1 (mem: 181.37 MiB)
15:58:34 consistency verified?: 1 (mem: 181.37 MiB)
15:58:34 Goblin verified: 1 (mem: 181.37 MiB)
15:58:34 [15:58:34.530]
INFO:
ivc-integration:test:native verified: 1 (mem: 181.37 MiB)
15:58:34 [15:58:34.605]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-g388HP/ivc-inputs.msgpack
15:58:34 [15:58:34.606]
INFO:
ivc-integration:test:native bb - BB concurrency: undefined
15:58:34 [15:58:34.606]
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-g388HP --ivc_inputs_path /tmp/bb-client-ivc-integration-g388HP/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
15:58:34 [15:58:34.656]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 181.55 MiB)
15:58:34 Scheme is: client_ivc, num threads: 128 (mem: 181.55 MiB)
15:58:34 --scheme: client_ivc
15:58:34 [15:58:34.657]
INFO:
ivc-integration:test:native bb - (mem: 181.55 MiB)
15:58:34 --output_path: /tmp/bb-client-ivc-integration-g388HP (mem: 181.55 MiB)
15:58:34 --ivc_inputs_path: /tmp/bb-client-ivc-integration-g388HP/ivc-inputs.msgpack (mem: 181.55 MiB)
15:58:34 --verbose: true (mem: 181.55 MiB)
15:58:34 --write_vk: true (mem: 181.55 MiB)
15:58:34 [15:58:34.662]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 181.55 MiB)
15:58:34 [15:58:34.794]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 258.00 MiB)
15:58:34 [15:58:34.891]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169
15:58:34 [15:58:34.904]
INFO:
ivc-integration:test:native bb - (mem: 306.59 MiB)
15:58:34 ClientIVC: accumulating unknown_0 (mem: 306.59 MiB)
15:58:34 Constructing DeciderProvingKey (mem: 306.59 MiB)
15:58:34 [15:58:34.909]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 306.59 MiB)
15:58:34 goblin ecc op : 4/1024 (mem: 306.59 MiB)
15:58:34 busread : 7/6000 (mem: 306.59 MiB)
15:58:34 lookups : 2/15000 (mem: 306.59 MiB)
15:58:34 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 306.59 MiB)
15:58:34 arithmetic : 1760/56000 (mem: 306.59 MiB)
15:58:34 delta range : 1754/18000 (mem: 306.59 MiB)
15:58:34 elliptic : 2/6000 (mem: 306.59 MiB)
15:58:34 auxiliary : 26/26000 (mem: 306.59 MiB)
15:58:34 poseidon ext : 2/17000 (mem: 306.59 MiB)
15:58:34 poseidon int : 2/92000 (mem: 306.59 MiB)
15:58:34 overflow : 0/0 (mem: 306.59 MiB)
15:58:34 (mem: 306.59 MiB)
15:58:34 Total structured size: 242025 (mem: 306.59 MiB)
15:58:34 allocating polynomials object in proving key... (mem: 306.59 MiB)
15:58:35 [15:58:35.295]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 519.71 MiB)
15:58:35 [15:58:35.322]
INFO:
ivc-integration:test:native bb - time to construct proving key: 422 ms. (mem: 532.71 MiB)
15:58:35 [15:58:35.421]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6409c48b56c0 (mem: 532.71 MiB)
15:58:35 [15:58:35.424]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 532.71 MiB)
15:58:35 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 532.71 MiB)
15:58:35 [15:58:35.711]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 540.71 MiB)
15:58:35 [15:58:35.722]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 540.71 MiB)
15:58:35 [15:58:35.743]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 540.71 MiB)
15:58:35 Constructing DeciderProvingKey (mem: 540.71 MiB)
15:58:35 [15:58:35.747]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 540.71 MiB)
15:58:35 goblin ecc op : 56/1024 (mem: 540.71 MiB)
15:58:35 busread : 12/6000 (mem: 540.71 MiB)
15:58:35 lookups : 2/15000 (mem: 540.71 MiB)
15:58:35 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 540.71 MiB)
15:58:35 arithmetic : 4625/56000 (mem: 540.71 MiB)
15:58:35 delta range : 2054/18000 (mem: 540.71
15:58:35 [15:58:35.747]
INFO:
ivc-integration:test:native bb - MiB)
15:58:35 elliptic : 2/6000 (mem: 540.71 MiB)
15:58:35 auxiliary : 110/26000 (mem: 540.71 MiB)
15:58:35 poseidon ext : 1302/17000 (mem: 540.71 MiB)
15:58:35 poseidon int : 7412/92000 (mem: 540.71 MiB)
15:58:35 overflow : 0/0 (mem: 540.71 MiB)
15:58:35 (mem: 540.71 MiB)
15:58:35 Total structured size: 242025 (mem: 540.71 MiB)
15:58:35 allocating polynomials object in proving key... (mem: 540.71 MiB)
15:58:35 [15:58:35.898]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 734.71 MiB)
15:58:35 [15:58:35.964]
INFO:
ivc-integration:test:native bb - time to construct proving key: 221 ms. (mem: 743.71 MiB)
15:58:36 [15:58:36.189]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6409c48be900 (mem: 743.71 MiB)
15:58:36 computing folding proof (mem: 743.71 MiB)
15:58:36 [15:58:36.190]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 743.71 MiB)
15:58:36 [15:58:36.812]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 743.71 MiB)
15:58:36 [15:58:36.911]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 779.71 MiB)
15:58:36 [15:58:36.987]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 811.71 MiB)
15:58:37 [15:58:37.321]
INFO:
ivc-integration:test:native bb - folded (mem: 811.71 MiB)
15:58:37 constructed folding proof (mem: 811.71 MiB)
15:58:37 [15:58:37.327]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 811.71 MiB)
15:58:37 Constructing DeciderProvingKey (mem: 811.71 MiB)
15:58:37 [15:58:37.328]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 811.71 MiB)
15:58:37 goblin ecc op : 4/1024 (mem: 811.71 MiB)
15:58:37 busread : 7/6000 (mem: 811.71 MiB)
15:58:37 lookups : 2/15000 (mem: 811.71 MiB)
15:58:37 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 811.71 MiB)
15:58:37 arithmetic : 1760/56000 (mem: 811.71 MiB)
15:58:37 delta range : 1754/18000 (mem: 811.71 MiB)
15:58:37 elliptic : 2/6000 (mem: 811.71 MiB)
15:58:37 auxiliary : 26/26000 (mem: 811.71 MiB)
15:58:37 poseidon ext : 2/17000 (mem: 811.71 MiB)
15:58:37 [15:58:37.329]
INFO:
ivc-integration:test:native bb - poseidon int : 2/92000 (mem: 811.71 MiB)
15:58:37 overflow : 0/0 (mem: 811.71 MiB)
15:58:37 (mem: 811.71 MiB)
15:58:37 Total structured size: 242025 (mem: 811.71 MiB)
15:58:37 allocating polynomials object in proving key... (mem: 811.71 MiB)
15:58:37 [15:58:37.415]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 811.71 MiB)
15:58:37 [15:58:37.429]
INFO:
ivc-integration:test:native bb - time to construct proving key: 105 ms. (mem: 811.71 MiB)
15:58:37 [15:58:37.492]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6409c48bcb00 (mem: 811.71 MiB)
15:58:37 computing folding proof (mem: 811.71 MiB)
15:58:37 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 811.71 MiB)
15:58:37 [15:58:37.817]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 811.71 MiB)
15:58:37 [15:58:37.967]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 811.71 MiB)
15:58:38 [15:58:38.001]
INFO:
ivc-integration:test:native bb - combiner quotient round
15:58:38 [15:58:38.002]
INFO:
ivc-integration:test:native bb - (mem: 811.71 MiB)
15:58:38 [15:58:38.441]
INFO:
ivc-integration:test:native bb - folded (mem: 811.71 MiB)
15:58:38 [15:58:38.444]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 811.71 MiB)
15:58:38 [15:58:38.458]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 811.71 MiB)
15:58:38 [15:58:38.525]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970
15:58:38 [15:58:38.528]
INFO:
ivc-integration:test:native bb - (mem: 811.71 MiB)
15:58:38 [15:58:38.584]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3
15:58:38 [15:58:38.587]
INFO:
ivc-integration:test:native bb - (mem: 811.71 MiB)
15:58:38 Constructing DeciderProvingKey (mem: 811.71 MiB)
15:58:38 [15:58:38.590]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
15:58:38 [15:58:38.591]
INFO:
ivc-integration:test:native bb - (mem:
15:58:38 [15:58:38.592]
INFO:
ivc-integration:test:native bb - 811.71
15:58:38 [15:58:38.594]
INFO:
ivc-integration:test:native bb - MiB)
15:58:38 goblin ecc op : 792/1024 (mem: 811.71 MiB)
15:58:38 busread : 12/6000 (mem: 811.71 MiB)
15:58:38 lookups : 2/15000 (mem: 811.71 MiB)
15:58:38 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 811.71 MiB)
15:58:38 arithmetic : 12080/56000 (mem: 811.71 MiB)
15:58:38 delta range : 2942/18000 (mem: 811.71 MiB)
15:58:38 elliptic : 2/6000 (mem: 811.71 MiB)
15:58:38 auxiliary : 350/26000 (mem: 811.71 MiB)
15:58:38 poseidon ext : 4942/17000 (mem: 811.71 MiB)
15:58:38 poseidon int : 28160/92000 (mem: 811.71 MiB)
15:58:38 overflow : 0/0 (mem: 811.71 MiB)
15:58:38 (mem: 811.71 MiB)
15:58:38 Total structured size: 242025 (mem: 811.71 MiB)
15:58:38 allocating polynomials object in proving key... (mem: 811.71 MiB)
15:58:38 [15:58:38.708]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 811.71 MiB)
15:58:38 [15:58:38.779]
INFO:
ivc-integration:test:native bb - time to construct proving key: 191 ms. (mem: 811.71 MiB)
15:58:38 [15:58:38.904]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6409c48ae980 (mem: 811.71 MiB)
15:58:38 computing folding proof (mem: 811.71 MiB)
15:58:38 [15:58:38.905]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 811.71 MiB)
15:58:39 [15:58:39.361]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 811.71 MiB)
15:58:39 [15:58:39.490]
INFO:
ivc-integration:test:native bb - perturbator round
15:58:39 [15:58:39.491]
INFO:
ivc-integration:test:native bb - (mem: 811.71 MiB)
15:58:39 [15:58:39.556]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 840.93 MiB)
15:58:39 [15:58:39.941]
INFO:
ivc-integration:test:native bb - folded (mem: 840.93 MiB)
15:58:39 constructed folding proof (mem: 840.93 MiB)
15:58:39 [15:58:39.953]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9
15:58:39 [15:58:39.954]
INFO:
ivc-integration:test:native bb - (mem: 840.93 MiB)
15:58:40 [15:58:40.032]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 840.93 MiB)
15:58:40 Constructing DeciderProvingKey (mem: 840.93 MiB)
15:58:40 [15:58:40.037]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 840.93 MiB)
15:58:40 goblin ecc op : 392/1024 (mem: 840.93 MiB)
15:58:40 busread : 16/6000 (mem: 840.93 MiB)
15:58:40 lookups : 2/15000 (mem: 840.93 MiB)
15:58:40 pub inputs : 32/5000 (populated in decider pk constructor)
15:58:40 [15:58:40.038]
INFO:
ivc-integration:test:native bb - (mem: 840.93 MiB)
15:58:40 arithmetic : 6914/56000 (mem: 840.93 MiB)
15:58:40 delta range : 2347/18000 (mem: 840.93 MiB)
15:58:40 elliptic : 2/6000 (mem: 840.93 MiB)
15:58:40 auxiliary : 77/26000 (mem: 840.93 MiB)
15:58:40 poseidon ext : 2472/17000 (mem: 840.93 MiB)
15:58:40 poseidon int : 14081/92000 (mem: 840.93 MiB)
15:58:40 overflow : 0/0 (mem: 840.93 MiB)
15:58:40 (mem: 840.93 MiB)
15:58:40 Total structured size: 242025 (mem: 840.93 MiB)
15:58:40 allocating polynomials object in proving key... (mem: 840.93 MiB)
15:58:40 [15:58:40.142]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 840.93 MiB)
15:58:40 [15:58:40.165]
INFO:
ivc-integration:test:native bb - time to construct proving key: 133 ms. (mem: 840.93 MiB)
15:58:40 [15:58:40.277]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6409c491f700 (mem: 840.93 MiB)
15:58:40 computing folding proof (mem: 840.93 MiB)
15:58:40 [15:58:40.279]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 840.93 MiB)
15:58:40 [15:58:40.714]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 840.93 MiB)
15:58:40 [15:58:40.888]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 840.93 MiB)
15:58:40 [15:58:40.975]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 841.35 MiB)
15:58:41 [15:58:41.312]
INFO:
ivc-integration:test:native bb - folded (mem: 841.35 MiB)
15:58:41 constructed folding proof (mem: 841.35 MiB)
15:58:41 [15:58:41.328]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 841.35 MiB)
15:58:41 [15:58:41.412]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 841.35 MiB)
15:58:41 Constructing DeciderProvingKey (mem: 841.35 MiB)
15:58:41 [15:58:41.414]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 841.35 MiB)
15:58:41 goblin ecc op : 392/1024 (mem: 841.35 MiB)
15:58:41 [15:58:41.415]
INFO:
ivc-integration:test:native bb - busread : 3/6000 (mem: 841.35 MiB)
15:58:41 lookups : 2/15000 (mem: 841.35 MiB)
15:58:41 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 841.35 MiB)
15:58:41 arithmetic : 6849/56000 (mem: 841.35 MiB)
15:58:41 delta range : 2333/18000 (mem: 841.35 MiB)
15:58:41 elliptic : 2/6000 (mem: 841.35 MiB)
15:58:41 auxiliary : 50/26000 (mem: 841.35 MiB)
15:58:41 poseidon ext : 2472/17000 (mem: 841.35 MiB)
15:58:41 poseidon int : 14081/92000 (mem: 841.35 MiB)
15:58:41 overflow : 0/0 (mem: 841.35 MiB)
15:58:41 (mem: 841.35 MiB)
15:58:41 Total structured size: 242025 (mem: 841.35 MiB)
15:58:41 allocating polynomials object in proving key... (mem: 841.35 MiB)
15:58:41 [15:58:41.501]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 841.35 MiB)
15:58:41 [15:58:41.535]
INFO:
ivc-integration:test:native bb - time to construct proving key: 124 ms. (mem: 841.35 MiB)
15:58:41 [15:58:41.806]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x6409c48c5280 (mem: 841.35 MiB)
15:58:41 computing folding proof (mem: 841.35 MiB)
15:58:41 [15:58:41.807]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 841.35 MiB)
15:58:42 [15:58:42.379]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 841.35 MiB)
15:58:42 [15:58:42.478]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 841.35 MiB)
15:58:42 [15:58:42.559]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 841.89 MiB)
15:58:42 [15:58:42.873]
INFO:
ivc-integration:test:native bb - folded (mem: 841.89 MiB)
15:58:42 constructed folding proof (mem: 841.89 MiB)
15:58:42 Largest circuit: 48490 gates. Trace details: (mem: 841.89 MiB)
15:58:42 Minimum required block sizes for structured trace: (mem: 841.89 MiB)
15:58:42 (mem: 841.89 MiB)
15:58:42 prove decider... (mem: 841.89 MiB)
15:58:42 [15:58:42.873]
INFO:
ivc-integration:test:native bb - ecc_op : 792
15:58:42 busread : 16
15:58:42 lookup : 2
15:58:42 pub_inputs : 36
15:58:42 arithmetic : 12080
15:58:42 delta_range : 2942
15:58:42 elliptic : 2
15:58:42 aux : 350
15:58:42 poseidon2_external : 4942
15:58:42 poseidon2_internal : 28160
15:58:42 overflow : 0
15:58:43 [15:58:43.058]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
15:58:43 [15:58:43.059]
INFO:
ivc-integration:test:native bb - (mem:
15:58:43 [15:58:43.060]
INFO:
ivc-integration:test:native bb - 841.89 MiB)
15:58:43 [15:58:43.186]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 841.89 MiB)
15:58:43 [15:58:43.860]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 841.89 MiB)
15:58:43 [15:58:43.944]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 841.89 MiB)
15:58:43 finished decider proving. (mem: 841.89 MiB)
15:58:43 [15:58:43.960]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 841.89 MiB)
15:58:44 [15:58:44.054]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
15:58:44 [15:58:44.054]
INFO:
ivc-integration:test:native bb - (mem:
15:58:44 [15:58:44.055]
INFO:
ivc-integration:test:native bb - 841.89
15:58:44 [15:58:44.056]
INFO:
ivc-integration:test:native bb - MiB)
15:58:44 [15:58:44.061]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 841.89 MiB)
15:58:44 [15:58:44.104]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 841.89 MiB)
15:58:44 [15:58:44.144]
INFO:
ivc-integration:test:native bb - time to construct proving key: 88 ms. (mem: 841.89 MiB)
15:58:44 [15:58:44.694]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 841.89 MiB)
15:58:45 [15:58:45.161]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 841.89 MiB)
15:58:45 [15:58:45.300]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 841.89 MiB)
15:58:45 [15:58:45.915]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 841.89 MiB)
15:58:46 [15:58:46.681]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 841.89 MiB)
15:58:46 [15:58:46.722]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 841.89 MiB)
15:58:46 finished decider proving. (mem: 841.89 MiB)
15:58:46 [15:58:46.722]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 841.89 MiB)
15:58:46 [15:58:46.867]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 841.89 MiB)
15:58:47 [15:58:47.157]
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: 841.89 MiB)
15:58:47 [15:58:47.169]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 841.89 MiB)
15:58:48 [15:58:48.819]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 841.89 MiB)
15:58:49 [15:58:49.943]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 841.89 MiB)
15:58:52 [15:58:52.527]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 841.89 MiB)
15:58:52 prove translator... (mem: 841.89 MiB)
15:58:55 [15:58:55.218]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 861.88 MiB)
15:58:57 [15:58:57.167]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 861.88 MiB)
15:58:58 [15:58:58.465]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 861.88 MiB)
15:58:58 [15:58:58.466]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 861.88 MiB)
15:58:58 [15:58:58.471]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 861.88 MiB)
15:58:58 [15:58:58.486]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 861.88 MiB)
15:58:58 libra_evals_verified: 1 (mem: 861.88 MiB)
15:58:58 pairing_check_verified: 1 (mem: 861.88 MiB)
15:58:58 Mega verified: 1 (mem: 861.88 MiB)
15:58:58 [15:58:58.551]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 862.88 MiB)
15:58:58 [15:58:58.552]
INFO:
ivc-integration:test:native bb - batch opening verified?: 1 (mem: 862.88 MiB)
15:58:58 eccvm consistency check verified?: 1 (mem: 862.88 MiB)
15:58:58 translation masking consistency checked?: 1 (mem: 862.88 MiB)
15:58:58 [15:58:58.570]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 862.88 MiB)
15:58:58 eccvm verified?: 1 (mem: 862.88 MiB)
15:58:58 accumulator construction_verified?: 1 (mem: 862.88 MiB)
15:58:58 translation verified?: 1 (mem: 862.88 MiB)
15:58:58 consistency verified?: 1 (mem: 862.88 MiB)
15:58:58 Goblin verified: 1 (mem: 862.88 MiB)
15:58:58 [15:58:58.571]
INFO:
ivc-integration:test:native bb - writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-g388HP" (mem: 862.88 MiB)
15:58:58 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-g388HP" (mem: 862.88 MiB)
15:58:58 BN254 commitment key size: 262144 (mem: 863.88 MiB)
15:58:58 [15:58:58.573]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 863.88 MiB)
15:58:58 [15:58:58.577]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 863.88 MiB)
15:58:58 goblin ecc op : 4/1024 (mem: 863.88 MiB)
15:58:58 busread : 3/6000 (mem: 863.88 MiB)
15:58:58 lookups : 2/15000 (mem: 863.88 MiB)
15:58:58 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 863.88 MiB)
15:58:58 arithmetic : 1773/56000 (mem: 863.88 MiB)
15:58:58 delta range : 1754/18000 (mem: 863.88 MiB)
15:58:58 elliptic : 2/6000 (mem: 863.88 MiB)
15:58:58 auxiliary : 26/26000 (mem: 863.88 MiB)
15:58:58 poseidon ext : 2/17000 (mem: 863.88 MiB)
15:58:58 poseidon int : 2/92000 (mem: 863.88 MiB)
15:58:58 overflow : 0/0 (mem: 863.88 MiB)
15:58:58 (mem: 863.88 MiB)
15:58:58 Total structured size: 242025 (mem: 863.88 MiB)
15:58:58 allocating polynomials object in proving key... (mem: 863.88 MiB)
15:58:58 [15:58:58.662]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 863.88 MiB)
15:58:58 [15:58:58.679]
INFO:
ivc-integration:test:native bb - time to construct proving key: 105 ms. (mem: 863.88 MiB)
15:58:58 [15:58:58.716]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 863.88 MiB)
15:58:59 [15:58:59.244]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 863.88 MiB)
15:58:59 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 863.88 MiB)
15:58:59 [15:58:59.475]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 863.88 MiB)
15:58:59 [15:58:59.483]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 863.88 MiB)
15:58:59 [15:58:59.499]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 863.88 MiB)
15:58:59 [15:58:59.503]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 863.88 MiB)
15:58:59 goblin ecc op : 56/1024 (mem: 863.88 MiB)
15:58:59 busread : 3/6000 (mem: 863.88 MiB)
15:58:59 lookups : 2/15000 (mem: 863.88 MiB)
15:58:59 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 863.88 MiB)
15:58:59 arithmetic : 4481/56000 (mem: 863.88 MiB)
15:58:59 delta range : 2041/18000 (mem: 863.88 MiB)
15:58:59 elliptic : 2/6000 (mem: 863.88 MiB)
15:58:59 auxiliary : 50/26000 (mem: 863.88 MiB)
15:58:59 poseidon ext : 1312/17000 (mem: 863.88 MiB)
15:58:59 poseidon int : 7469/92000 (mem: 863.88 MiB)
15:58:59 overflow : 0/0 (mem: 863.88 MiB)
15:58:59 (mem: 863.88 MiB)
15:58:59 Total structured size: 242025 (mem: 863.88 MiB)
15:58:59 allocating polynomials object in proving key... (mem: 863.88 MiB)
15:58:59 [15:58:59.589]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 863.88 MiB)
15:58:59 [15:58:59.611]
INFO:
ivc-integration:test:native bb - time to construct proving key: 110 ms. (mem: 863.88 MiB)
15:58:59 [15:58:59.694]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 863.88 MiB)
15:59:00 [15:59:00.361]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 863.88 MiB)
15:59:00 [15:59:00.362]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 863.88 MiB)
15:59:00 [15:59:00.790]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 863.88
15:59:00 [15:59:00.791]
INFO:
ivc-integration:test:native bb - MiB)
15:59:00 [15:59:00.873]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 863.88 MiB)
15:59:00 [15:59:00.929]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 895.88 MiB)
15:59:01 [15:59:01.141]
INFO:
ivc-integration:test:native bb - folded (mem: 895.88 MiB)
15:59:01 [15:59:01.141]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 895.88 MiB)
15:59:01 Largest circuit: 15360 gates. Trace details: (mem: 895.88 MiB)
15:59:01 Minimum required block sizes for structured trace: (mem: 895.88 MiB)
15:59:01 (mem: 895.88 MiB)
15:59:01 prove decider... (mem: 895.88 MiB)
15:59:01 [15:59:01.142]
INFO:
ivc-integration:test:native bb - ecc_op : 56
15:59:01 busread : 3
15:59:01 lookup : 2
15:59:01 pub_inputs : 36
15:59:01 arithmetic : 4481
15:59:01 delta_range : 2041
15:59:01 elliptic : 2
15:59:01 aux : 50
15:59:01 poseidon2_external : 1312
15:59:01 poseidon2_internal : 7469
15:59:01 overflow : 0
15:59:01 [15:59:01.211]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 895.88 MiB)
15:59:01 [15:59:01.350]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 895.88 MiB)
15:59:01 [15:59:01.977]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 895.88 MiB)
15:59:02 [15:59:02.037]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 895.88 MiB)
15:59:02 finished decider proving.
15:59:02 [15:59:02.037]
INFO:
ivc-integration:test:native bb - (mem: 895.88 MiB)
15:59:02 [15:59:02.055]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 895.88 MiB)
15:59:02 [15:59:02.163]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
15:59:02 [15:59:02.164]
INFO:
ivc-integration:test:native bb - (mem: 895.88 MiB)
15:59:02 [15:59:02.171]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 895.88 MiB)
15:59:02 [15:59:02.227]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 895.88 MiB)
15:59:02 [15:59:02.272]
INFO:
ivc-integration:test:native bb - time to construct proving key: 108 ms. (mem: 895.88 MiB)
15:59:02 [15:59:02.796]
INFO:
ivc-integration:test:native BB concurrency: 1
15:59:02 [15:59:02.796]
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-g388HP/proof -k /tmp/bb-client-ivc-integration-g388HP/vk -v
15:59:02 [15:59:02.821]
INFO:
ivc-integration:test:native bb command: verify (mem: 186.56 MiB)
15:59:02 Scheme is: client_ivc, num threads: 1 (mem: 186.56 MiB)
15:59:02 --proof_path: /tmp/bb-client-ivc-integration-g388HP/proof (mem:
15:59:02 [15:59:02.825]
INFO:
ivc-integration:test:native 186.56 MiB)
15:59:02 --vk_path: /tmp/bb-client-ivc-integration-g388HP/vk (mem: 186.56 MiB)
15:59:02 --verbose: true (mem: 186.56 MiB)
15:59:02 --scheme: client_ivc (mem: 186.56 MiB)
15:59:02 [15:59:02.848]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 186.56 MiB)
15:59:02 [15:59:02.879]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 65545 (mem: 186.56 MiB)
15:59:02 vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 186.56 MiB)
15:59:02 [15:59:02.898]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 186.56 MiB)
15:59:02 Initialized BN254 CRS from memory with num points = 9 (mem: 186.56 MiB)
15:59:02 [15:59:02.899]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 186.56 MiB)
15:59:02 libra_evals_verified: 1 (mem: 186.56 MiB)
15:59:02 pairing_check_verified: 1 (mem: 186.56 MiB)
15:59:02 Mega verified: 1 (mem: 186.56 MiB)
15:59:03 [15:59:03.371]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 186.56 MiB)
15:59:03 batch opening verified?: 1 (mem: 186.56 MiB)
15:59:03 eccvm consistency check verified?: 1 (mem: 186.56 MiB)
15:59:03 translation masking consistency checked?: 1 (mem: 186.56 MiB)
15:59:03 [15:59:03.393]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 186.56 MiB)
15:59:03 eccvm verified?: 1 (mem: 186.56 MiB)
15:59:03 accumulator construction_verified?: 1 (mem: 186.56 MiB)
15:59:03 translation verified?: 1 (mem: 186.56 MiB)
15:59:03 consistency verified?: 1 (mem: 186.56 MiB)
15:59:03 Goblin verified: 1 (mem: 186.56 MiB)
15:59:03 verified: 1 (mem: 186.56 MiB)
15:59:03
PASS src/native_client_ivc_integration.test.ts (
74.07 s)
15:59:03 Client IVC Integration
15:59:03
✓ Should generate a verifiable client IVC proof from a simple mock tx (41594 ms)
15:59:03
✓ Should generate a verifiable client IVC proof from a complex mock tx (28857 ms)
15:59:03
15:59:03
Test Suites: 1 passed, 1 total
15:59:03
Tests: 2 passed, 2 total
15:59:03
Snapshots: 0 total
15:59:03
Time: 74.158 s
15:59:03
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
15:59:03
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?