Parent Log:
http://ci.aztec-labs.com/4b746e1186bf09cc
Command: 0e6cfc077fbe1818: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/f17855f94a58189a98dd378743e67b774ea38144
Env: REF_NAME=gh-readonly-queue/next/pr-15066-47bd93499e6606131b6ececa3536632cf5e84409 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Wed Jun 18 09:55:47 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15066_amd64_x2-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
09:55:51 [09:55:51.840]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-mI02w2/ivc-inputs.msgpack
09:55:51 [09:55:51.847]
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-mI02w2 --ivc_inputs_path /tmp/bb-client-ivc-integration-mI02w2/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
09:55:51 [09:55:51.865]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 183.91 MiB)
09:55:51 [09:55:51.868]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 183.91 MiB)
09:55:51 --scheme: client_ivc (mem: 183.91 MiB)
09:55:51 --output_path: /tmp/bb-client-ivc-integration-mI02w2 (mem: 183.91 MiB)
09:55:51 --ivc_inputs_path: /tmp/bb-client-ivc-integration-mI02w2/ivc-inputs.msgpack (mem: 183.91 MiB)
09:55:51 --verbose: true (mem: 183.91 MiB)
09:55:51 --write_vk: true (mem: 183.91 MiB)
09:55:51 BN254 commitment key size: 262144 (mem: 183.91 MiB)
09:55:51 [09:55:51.968]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 253.00 MiB)
09:55:52 [09:55:52.065]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 301.08 MiB)
09:55:52 [09:55:52.069]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 301.08 MiB)
09:55:52 [09:55:52.070]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 301.08 MiB)
09:55:52 [09:55:52.075]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 301.08 MiB)
09:55:52 goblin ecc op : 4/1024 (mem: 301.08 MiB)
09:55:52 busread : 7/6000 (mem: 301.08 MiB)
09:55:52 lookups : 2/15000 (mem: 301.08 MiB)
09:55:52 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 301.08 MiB)
09:55:52 arithmetic : 1760/56000 (mem: 301.08 MiB)
09:55:52 delta range : 1754/18000 (mem: 301.08 MiB)
09:55:52 elliptic : 2/6000 (mem: 301.08 MiB)
09:55:52 auxiliary : 26/26000 (mem: 301.08 MiB)
09:55:52 poseidon ext : 2/17000 (mem: 301.08 MiB)
09:55:52 poseidon int : 2/92000 (mem: 301.08 MiB)
09:55:52 overflow : 0/0 (mem: 301.08 MiB)
09:55:52 [09:55:52.079]
INFO:
ivc-integration:test:native bb - (mem: 301.08 MiB)
09:55:52 Total structured size: 242025 (mem: 301.08 MiB)
09:55:52 allocating polynomials object in proving key... (mem: 301.08 MiB)
09:55:52 [09:55:52.169]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 498.24 MiB)
09:55:52 [09:55:52.181]
INFO:
ivc-integration:test:native bb - time to construct proving key: 111 ms. (mem: 513.24 MiB)
09:55:52 [09:55:52.223]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62c684212700 (mem: 513.24 MiB)
09:55:52 computing oink proof... (mem: 513.24 MiB)
09:55:52 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 513.24 MiB)
09:55:52 [09:55:52.402]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 522.24 MiB)
09:55:52 [09:55:52.412]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.24 MiB)
09:55:52 [09:55:52.439]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 523.24 MiB)
09:55:52 Constructing DeciderProvingKey (mem: 523.24 MiB)
09:55:52 [09:55:52.442]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.24 MiB)
09:55:52 goblin ecc op : 56/1024 (mem: 523.24 MiB)
09:55:52 busread : 12/6000 (mem: 523.24 MiB)
09:55:52 lookups : 2/15000 (mem: 523.24 MiB)
09:55:52 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.24 MiB)
09:55:52 arithmetic : 4625/56000 (mem: 523.24 MiB)
09:55:52 delta range : 2054/18000 (mem: 523.24 MiB)
09:55:52 elliptic : 2/6000 (mem: 523.24 MiB)
09:55:52 auxiliary : 110/26000 (mem: 523.24 MiB)
09:55:52 [09:55:52.444]
INFO:
ivc-integration:test:native bb - poseidon ext : 1302/17000 (mem: 523.24 MiB)
09:55:52 poseidon int : 7412/92000 (mem: 523.24 MiB)
09:55:52 overflow : 0/0 (mem: 523.24 MiB)
09:55:52 (mem: 523.24 MiB)
09:55:52 Total structured size: 242025 (mem: 523.24 MiB)
09:55:52 allocating polynomials object in proving key... (mem: 523.24 MiB)
09:55:52 [09:55:52.578]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 725.24 MiB)
09:55:52 [09:55:52.613]
INFO:
ivc-integration:test:native bb - time to construct proving key: 173 ms. (mem: 739.24 MiB)
09:55:52 [09:55:52.773]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62c68421f380 (mem: 739.24 MiB)
09:55:52 computing folding proof (mem: 739.24 MiB)
09:55:52 [09:55:52.774]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 739.24 MiB)
09:55:53 [09:55:53.347]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 740.24 MiB)
09:55:53 [09:55:53.456]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 777.24 MiB)
09:55:53 [09:55:53.509]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 810.24 MiB)
09:55:53 [09:55:53.863]
INFO:
ivc-integration:test:native bb - folded (mem: 810.24 MiB)
09:55:53 constructed folding proof (mem: 810.24 MiB)
09:55:53 [09:55:53.878]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 810.24 MiB)
09:55:53 [09:55:53.947]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 810.24 MiB)
09:55:53 Constructing DeciderProvingKey (mem: 810.24 MiB)
09:55:53 [09:55:53.948]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 810.24 MiB)
09:55:53 goblin ecc op : 392/1024 (mem: 810.24 MiB)
09:55:53 busread : 3/6000 (mem: 810.24 MiB)
09:55:53 lookups : 2/15000 (mem: 810.24 MiB)
09:55:53 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 810.24 MiB)
09:55:53 arithmetic : 6849/56000 (mem: 810.24 MiB)
09:55:53 delta range : 2333/18000 (mem: 810.24 MiB)
09:55:53 elliptic : 2/6000 (mem: 810.24 MiB)
09:55:53 auxiliary : 50/26000 (mem: 810.24 MiB)
09:55:53 poseidon ext : 2472/17000 (mem: 810.24 MiB)
09:55:53 poseidon int : 14081/92000 (mem: 810.24 MiB)
09:55:53 overflow : 0/0 (mem: 810.24 MiB)
09:55:53 (mem: 810.24 MiB)
09:55:53 Total structured size: 242025 (mem: 810.24 MiB)
09:55:53 allocating polynomials object in proving key... (mem: 810.24 MiB)
09:55:54 [09:55:54.140]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 810.24 MiB)
09:55:54 [09:55:54.188]
INFO:
ivc-integration:test:native bb - time to construct proving key: 244 ms. (mem: 810.24 MiB)
09:55:54 [09:55:54.336]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x62c684214d40 (mem: 810.24 MiB)
09:55:54 computing folding proof (mem: 810.24 MiB)
09:55:54 [09:55:54.337]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 810.24 MiB)
09:55:54 [09:55:54.910]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 810.24 MiB)
09:55:55 [09:55:55.090]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 810.24 MiB)
09:55:55 [09:55:55.166]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 810.24 MiB)
09:55:55 [09:55:55.540]
INFO:
ivc-integration:test:native bb - folded (mem: 810.24 MiB)
09:55:55 constructed folding proof (mem: 810.24 MiB)
09:55:55 [09:55:55.542]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 810.24 MiB)
09:55:55 Minimum required block sizes for structured trace: (mem: 810.24 MiB)
09:55:55 (mem: 810.24 MiB)
09:55:55 prove decider... (mem: 810.24 MiB)
09:55:55 [09:55:55.542]
INFO:
ivc-integration:test:native bb - ecc_op : 392
09:55:55 busread : 12
09:55:55 lookup : 2
09:55:55 pub_inputs : 36
09:55:55 arithmetic : 6849
09:55:55 delta_range : 2333
09:55:55 elliptic : 2
09:55:55 aux : 110
09:55:55 poseidon2_external : 2472
09:55:55 poseidon2_internal : 14081
09:55:55 overflow : 0
09:55:55 [09:55:55.740]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 810.24 MiB)
09:55:55 [09:55:55.966]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem:
09:55:55 [09:55:55.969]
INFO:
ivc-integration:test:native bb - 810.24 MiB)
09:55:57 [09:55:57.161]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 810.24 MiB)
09:55:57 [09:55:57.235]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 810.24 MiB)
09:55:57 finished decider proving. (mem: 810.24 MiB)
09:55:57 [09:55:57.255]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 810.24 MiB)
09:55:57 [09:55:57.366]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 810.24 MiB)
09:55:57 [09:55:57.373]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 810.24 MiB)
09:55:57 [09:55:57.545]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 810.24 MiB)
09:55:57 [09:55:57.593]
INFO:
ivc-integration:test:native bb - time to construct proving key: 226 ms. (mem: 810.24 MiB)
09:55:58 [09:55:58.740]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 810.24 MiB)
09:55:59 [09:55:59.403]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 810.24 MiB)
09:55:59 [09:55:59.769]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 810.24 MiB)
09:56:01 [09:56:01.364]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 810.24 MiB)
09:56:02 [09:56:02.250]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 810.24 MiB)
09:56:02 [09:56:02.285]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 810.24 MiB)
09:56:02 finished decider proving. (mem: 810.24 MiB)
09:56:02 Constructing a Goblin proof with num ultra ops = 1038 (mem: 810.24 MiB)
09:56:02 [09:56:02.467]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 810.24 MiB)
09:56:02 [09:56:02.952]
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: 810.24 MiB)
09:56:02 [09:56:02.973]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 810.24 MiB)
09:56:05 [09:56:05.077]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 810.24 MiB)
09:56:07 [09:56:07.656]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 810.24 MiB)
09:56:12 [09:56:12.861]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 810.24 MiB)
09:56:12 prove translator... (mem: 810.24 MiB)
09:56:15 [09:56:15.600]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 843.00 MiB)
09:56:18 [09:56:18.224]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 843.00 MiB)
09:56:20 [09:56:20.501]
INFO:
ivc-integration:test:native bb - computed opening proof
09:56:20 [09:56:20.506]
INFO:
ivc-integration:test:native bb - (mem: 843.00 MiB)
09:56:20 finished translator proving. (mem: 843.00 MiB)
09:56:20 [09:56:20.511]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 843.00 MiB)
09:56:20 [09:56:20.531]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 843.00 MiB)
09:56:20 libra_evals_verified: 1 (mem: 843.00 MiB)
09:56:20 pairing_check_verified: 1 (mem: 843.00 MiB)
09:56:20 Mega verified: 1 (mem: 843.00 MiB)
09:56:20 [09:56:20.639]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 844.00 MiB)
09:56:20 batch opening verified?: 1 (mem: 844.00 MiB)
09:56:20 eccvm consistency check verified?: 1 (mem: 844.00 MiB)
09:56:20 translation masking consistency checked?: 1 (mem: 844.00 MiB)
09:56:20 [09:56:20.658]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 844.00 MiB)
09:56:20 eccvm verified?: 1 (mem: 844.00 MiB)
09:56:20 accumulator construction_verified?: 1 (mem: 844.00 MiB)
09:56:20 translation verified?: 1 (mem: 844.00 MiB)
09:56:20 consistency verified?: 1 (mem: 844.00 MiB)
09:56:20 [09:56:20.659]
INFO:
ivc-integration:test:native bb - Goblin verified: 1 (mem: 844.00 MiB)
09:56:20 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-mI02w2" (mem: 844.00 MiB)
09:56:20 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-mI02w2" (mem: 844.00 MiB)
09:56:20 BN254 commitment key size: 262144 (mem: 844.00 MiB)
09:56:20 [09:56:20.661]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 844.00 MiB)
09:56:20 [09:56:20.670]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.00 MiB)
09:56:20 goblin ecc op : 4/1024 (mem: 844.00 MiB)
09:56:20 busread : 3/6000 (mem: 844.00 MiB)
09:56:20 lookups : 2/15000 (mem: 844.00 MiB)
09:56:20 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 844.00 MiB)
09:56:20 arithmetic : 1773/56000 (mem: 844.00 MiB)
09:56:20 delta range : 1754/18000 (mem: 844.00 MiB)
09:56:20 elliptic : 2/6000 (mem: 844.00 MiB)
09:56:20 auxiliary : 26/26000 (mem: 844.00 MiB)
09:56:20 poseidon ext : 2/17000 (mem: 844.00 MiB)
09:56:20 poseidon int : 2/92000 (mem: 844.00 MiB)
09:56:20 overflow : 0/0 (mem: 844.00 MiB)
09:56:20 (mem: 844.00 MiB)
09:56:20 Total structured size: 242025 (mem: 844.00 MiB)
09:56:20 allocating polynomials object in proving key... (mem: 844.00 MiB)
09:56:20 [09:56:20.992]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 844.00 MiB)
09:56:21 [09:56:21.014]
INFO:
ivc-integration:test:native bb - time to construct proving key: 353 ms. (mem: 844.00 MiB)
09:56:21 [09:56:21.132]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 844.00 MiB)
09:56:22 [09:56:22.224]
INFO:
ivc-integration:test:native bb - computing oink proof...
09:56:22 [09:56:22.225]
INFO:
ivc-integration:test:native bb - (mem: 844.00 MiB)
09:56:22 [09:56:22.226]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 844.00 MiB)
09:56:22 [09:56:22.669]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 844.00 MiB)
09:56:22 [09:56:22.683]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 844.00 MiB)
09:56:22 [09:56:22.723]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 844.00 MiB)
09:56:22 [09:56:22.730]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.00 MiB)
09:56:22 goblin ecc op : 56/1024 (mem: 844.00 MiB)
09:56:22 busread : 3/6000 (mem: 844.00 MiB)
09:56:22 lookups : 2/15000 (mem: 844.00 MiB)
09:56:22 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 844.00 MiB)
09:56:22 arithmetic : 4481/56000 (mem: 844.00 MiB)
09:56:22 delta range : 2041/18000 (mem: 844.00 MiB)
09:56:22 elliptic : 2/6000 (mem: 844.00 MiB)
09:56:22 auxiliary : 50/26000 (mem: 844.00 MiB)
09:56:22 poseidon ext : 1312/17000 (mem: 844.00 MiB)
09:56:22 poseidon int : 7469/92000 (mem: 844.00 MiB)
09:56:22 overflow : 0/0 (mem: 844.00 MiB)
09:56:22 (mem: 844.00 MiB)
09:56:22 Total structured size: 242025 (mem: 844.00 MiB)
09:56:22 allocating polynomials object in proving key... (mem: 844.00 MiB)
09:56:23 [09:56:23.063]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 844.00 MiB)
09:56:23 [09:56:23.115]
INFO:
ivc-integration:test:native bb - time to construct proving key: 393 ms. (mem: 844.00 MiB)
09:56:23 [09:56:23.280]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 844.00 MiB)
09:56:24 [09:56:24.213]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 844.00 MiB)
09:56:24 [09:56:24.216]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 844.00 MiB)
09:56:25 [09:56:25.068]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 844.00 MiB)
09:56:25 [09:56:25.240]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 847.00 MiB)
09:56:25 [09:56:25.313]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 879.00 MiB)
09:56:25 [09:56:25.899]
INFO:
ivc-integration:test:native bb - folded (mem: 879.00 MiB)
09:56:25 constructed folding proof (mem: 879.00 MiB)
09:56:25 Largest circuit: 15360 gates. Trace details: (mem: 879.00 MiB)
09:56:25 Minimum required block sizes for structured trace: (mem: 879.00 MiB)
09:56:25 (mem: 879.00 MiB)
09:56:25 prove decider... (mem: 879.00 MiB)
09:56:25 [09:56:25.905]
INFO:
ivc-integration:test:native bb - ecc_op : 56
09:56:25 busread : 3
09:56:25 lookup : 2
09:56:25 pub_inputs : 36
09:56:25 arithmetic : 4481
09:56:25 delta_range : 2041
09:56:25 elliptic : 2
09:56:25 aux : 50
09:56:25 poseidon2_external : 1312
09:56:25 poseidon2_internal : 7469
09:56:25 overflow : 0
09:56:26 [09:56:26.275]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 879.00 MiB)
09:56:26 [09:56:26.448]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 879.00 MiB)
09:56:27 [09:56:27.828]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
09:56:27 [09:56:27.830]
INFO:
ivc-integration:test:native bb - (mem:
09:56:27 [09:56:27.831]
INFO:
ivc-integration:test:native bb - 879.00 MiB)
09:56:27 [09:56:27.931]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 879.00 MiB)
09:56:27 finished decider proving. (mem: 879.00 MiB)
09:56:27 [09:56:27.955]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 879.00 MiB)
09:56:28 [09:56:28.060]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 879.00 MiB)
09:56:28 [09:56:28.066]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 879.00 MiB)
09:56:28 [09:56:28.252]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 879.00 MiB)
09:56:28 [09:56:28.323]
INFO:
ivc-integration:test:native bb - time to construct proving key: 262 ms. (mem: 879.00 MiB)
09:56:29 [09:56:29.149]
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-mI02w2/proof -k /tmp/bb-client-ivc-integration-mI02w2/vk -v
09:56:29 [09:56:29.183]
INFO:
ivc-integration:test:native bb command: verify (mem: 183.91 MiB)
09:56:29 Scheme is: client_ivc, num threads: 128 (mem: 183.91 MiB)
09:56:29 --proof_path: /tmp/bb-client-ivc-integration-mI02w2/proof (mem: 183.91 MiB)
09:56:29 --vk_path: /tmp/bb-client-ivc-integration-mI02w2/vk (mem: 183.91 MiB)
09:56:29 --verbose: true (mem: 183.91 MiB)
09:56:29 --scheme: client_ivc (mem: 183.91 MiB)
09:56:29 [09:56:29.331]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 183.91 MiB)
09:56:29 [09:56:29.369]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 183.91 MiB)
09:56:29 [09:56:29.371]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 183.91 MiB)
09:56:29 [09:56:29.390]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 183.91 MiB)
09:56:29 Initialized BN254 CRS from memory with num points = 1025 (mem: 183.91 MiB)
09:56:29 [09:56:29.392]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 183.91 MiB)
09:56:29 libra_evals_verified: 1 (mem: 183.91 MiB)
09:56:29 pairing_check_verified: 1 (mem: 183.91 MiB)
09:56:29 Mega verified: 1 (mem: 183.91 MiB)
09:56:29 [09:56:29.468]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 186.09 MiB)
09:56:29 batch opening verified?: 1 (mem: 186.09 MiB)
09:56:29 eccvm consistency check verified?: 1 (mem: 186.09 MiB)
09:56:29 [09:56:29.471]
INFO:
ivc-integration:test:native translation masking consistency checked?: 1 (mem: 186.09 MiB)
09:56:29 [09:56:29.489]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 186.09 MiB)
09:56:29 eccvm verified?: 1 (mem: 186.09 MiB)
09:56:29 accumulator construction_verified?: 1 (mem: 186.09 MiB)
09:56:29 translation verified?: 1 (mem: 186.09 MiB)
09:56:29 consistency verified?: 1 (mem: 186.09 MiB)
09:56:29 Goblin verified: 1 (mem: 186.09 MiB)
09:56:29 [09:56:29.495]
INFO:
ivc-integration:test:native verified: 1 (mem: 186.09 MiB)
09:56:29 [09:56:29.644]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-6CZMFa/ivc-inputs.msgpack
09:56:29 [09:56:29.645]
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-6CZMFa --ivc_inputs_path /tmp/bb-client-ivc-integration-6CZMFa/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
09:56:29 [09:56:29.670]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 186.54 MiB)
09:56:29 Scheme is: client_ivc, num threads: 128 (mem: 186.54 MiB)
09:56:29 --scheme: client_ivc (mem: 186.54 MiB)
09:56:29 --output_path: /tmp/bb-client-ivc-integration-6CZMFa (mem: 186.54 MiB)
09:56:29 --ivc_inputs_path: /tmp/bb-client-ivc-integration-6CZMFa/ivc-inputs.msgpack (mem: 186.54 MiB)
09:56:29 --verbose: true (mem: 186.54 MiB)
09:56:29 --write_vk: true (mem: 186.54 MiB)
09:56:29 [09:56:29.677]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 186.54 MiB)
09:56:29 [09:56:29.822]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 257.00 MiB)
09:56:29 [09:56:29.929]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 303.76 MiB)
09:56:29 [09:56:29.935]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 303.76 MiB)
09:56:29 Constructing DeciderProvingKey (mem: 303.76 MiB)
09:56:29 [09:56:29.937]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 303.76 MiB)
09:56:29 goblin ecc op : 4/1024 (mem: 303.76 MiB)
09:56:29 busread : 7/6000 (mem: 303.76 MiB)
09:56:29 lookups : 2/15000 (mem: 303.76 MiB)
09:56:29 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 303.76 MiB)
09:56:29 arithmetic : 1760/56000 (mem: 303.76 MiB)
09:56:29 delta range : 1754/18000 (mem: 303.76 MiB)
09:56:29 elliptic : 2/6000 (mem: 303.76 MiB)
09:56:29 auxiliary : 26/26000 (mem: 303.76 MiB)
09:56:29 poseidon ext : 2/17000 (mem: 303.76 MiB)
09:56:29 poseidon int : 2/92000 (mem: 303.76 MiB)
09:56:29 overflow : 0/0 (mem: 303.76 MiB)
09:56:29 (mem: 303.76 MiB)
09:56:29 Total structured size: 242025 (mem: 303.76 MiB)
09:56:29 allocating polynomials object in proving key... (mem: 303.76 MiB)
09:56:30 [09:56:30.183]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 505.08 MiB)
09:56:30 [09:56:30.252]
INFO:
ivc-integration:test:native bb - time to construct proving key: 321 ms. (mem: 516.08 MiB)
09:56:30 [09:56:30.324]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x619f6b243540 (mem: 516.08 MiB)
09:56:30 computing oink proof... (mem: 516.08 MiB)
09:56:30 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 516.08 MiB)
09:56:30 [09:56:30.579]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 525.08 MiB)
09:56:30 [09:56:30.588]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 525.08 MiB)
09:56:30 [09:56:30.611]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 525.08 MiB)
09:56:30 Constructing DeciderProvingKey (mem: 525.08 MiB)
09:56:30 [09:56:30.619]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 525.08 MiB)
09:56:30 goblin ecc op : 56/1024 (mem: 525.08 MiB)
09:56:30 busread : 12/6000 (mem: 525.08 MiB)
09:56:30 lookups : 2/15000 (mem: 525.08 MiB)
09:56:30 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 525.08 MiB)
09:56:30 arithmetic : 4625/56000 (mem: 525.08 MiB)
09:56:30 delta range : 2054/18000 (mem: 525.08 MiB)
09:56:30 elliptic : 2/6000 (mem: 525.08 MiB)
09:56:30 auxiliary : 110/26000 (mem: 525.08 MiB)
09:56:30 poseidon ext : 1302/17000 (mem: 525.08 MiB)
09:56:30 poseidon int : 7412/92000 (mem: 525.08 MiB)
09:56:30 overflow : 0/0 (mem: 525.08 MiB)
09:56:30 (mem: 525.08 MiB)
09:56:30 Total structured size: 242025 (mem: 525.08 MiB)
09:56:30 allocating polynomials object in proving key... (mem: 525.08 MiB)
09:56:30 [09:56:30.780]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 734.08 MiB)
09:56:30 [09:56:30.803]
INFO:
ivc-integration:test:native bb - time to construct proving key: 191 ms. (mem: 752.08 MiB)
09:56:30 [09:56:30.924]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x619f6b24c7c0 (mem: 752.08 MiB)
09:56:30 computing folding proof (mem: 752.08 MiB)
09:56:30 vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 752.08 MiB)
09:56:31 [09:56:31.398]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 752.08 MiB)
09:56:31 [09:56:31.552]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 789.08 MiB)
09:56:31 [09:56:31.637]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 822.08 MiB)
09:56:32 [09:56:32.012]
INFO:
ivc-integration:test:native bb - folded (mem: 822.08 MiB)
09:56:32 constructed folding proof (mem: 822.08 MiB)
09:56:32 [09:56:32.016]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 822.08 MiB)
09:56:32 Constructing DeciderProvingKey (mem: 822.08 MiB)
09:56:32 [09:56:32.020]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 822.08 MiB)
09:56:32 goblin ecc op : 4/1024 (mem: 822.08 MiB)
09:56:32 busread : 7/6000 (mem: 822.08 MiB)
09:56:32 lookups : 2/15000 (mem: 822.08 MiB)
09:56:32 [09:56:32.022]
INFO:
ivc-integration:test:native bb -
09:56:32 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 822.08 MiB)
09:56:32 arithmetic : 1760/56000 (mem: 822.08 MiB)
09:56:32 delta range : 1754/18000 (mem: 822.08 MiB)
09:56:32 elliptic : 2/6000 (mem: 822.08 MiB)
09:56:32 auxiliary : 26/26000 (mem: 822.08 MiB)
09:56:32 poseidon ext : 2/17000 (mem: 822.08 MiB)
09:56:32 poseidon int : 2/92000 (mem: 822.08 MiB)
09:56:32 overflow : 0/0 (mem: 822.08 MiB)
09:56:32 (mem: 822.08 MiB)
09:56:32 Total structured size: 242025 (mem: 822.08 MiB)
09:56:32 allocating polynomials object in proving key... (mem: 822.08 MiB)
09:56:32 [09:56:32.129]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 822.08 MiB)
09:56:32 [09:56:32.150]
INFO:
ivc-integration:test:native bb - time to construct proving key: 133 ms. (mem: 822.08 MiB)
09:56:32 [09:56:32.239]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x619f6b243d80 (mem: 822.08 MiB)
09:56:32 computing folding proof (mem: 822.08 MiB)
09:56:32 vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 822.08 MiB)
09:56:32 [09:56:32.663]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 822.08 MiB)
09:56:32 [09:56:32.745]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 822.08 MiB)
09:56:32 [09:56:32.824]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 822.73 MiB)
09:56:33 [09:56:33.181]
INFO:
ivc-integration:test:native bb - folded (mem: 822.73 MiB)
09:56:33 [09:56:33.182]
INFO:
ivc-integration:test:native bb - constructed folding proof (mem: 822.73 MiB)
09:56:33 [09:56:33.194]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 822.73 MiB)
09:56:33 [09:56:33.279]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 822.73 MiB)
09:56:33 [09:56:33.363]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 822.73 MiB)
09:56:33 Constructing DeciderProvingKey (mem: 822.73 MiB)
09:56:33 [09:56:33.371]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 822.73 MiB)
09:56:33 goblin ecc op : 792/1024 (mem: 822.73 MiB)
09:56:33 busread : 12/6000 (mem: 822.73 MiB)
09:56:33 lookups : 2/15000 (mem: 822.73 MiB)
09:56:33 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 822.73 MiB)
09:56:33 arithmetic : 12080/56000 (mem: 822.73 MiB)
09:56:33 delta range : 2942/18000 (mem: 822.73 MiB)
09:56:33 elliptic : 2/6000 (mem: 822.73 MiB)
09:56:33 auxiliary : 350/26000 (mem: 822.73 MiB)
09:56:33 poseidon ext : 4942/17000 (mem: 822.73 MiB)
09:56:33 poseidon int : 28160/92000 (mem: 822.73 MiB)
09:56:33 overflow : 0/0 (mem: 822.73 MiB)
09:56:33 (mem: 822.73 MiB)
09:56:33 Total structured size: 242025 (mem: 822.73 MiB)
09:56:33 allocating polynomials object in proving key... (mem: 822.73 MiB)
09:56:33 [09:56:33.581]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 822.73 MiB)
09:56:33 [09:56:33.648]
INFO:
ivc-integration:test:native bb - time to construct proving key: 285 ms. (mem: 822.73 MiB)
09:56:33 [09:56:33.743]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x619f6b2c1600 (mem: 822.73 MiB)
09:56:33 computing folding proof (mem: 822.73 MiB)
09:56:33 [09:56:33.744]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 822.73 MiB)
09:56:34 [09:56:34.100]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 822.73 MiB)
09:56:34 [09:56:34.192]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 822.73 MiB)
09:56:34 [09:56:34.259]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 852.08 MiB)
09:56:34 [09:56:34.471]
INFO:
ivc-integration:test:native bb - folded (mem: 852.08 MiB)
09:56:34 constructed folding proof (mem: 852.08 MiB)
09:56:34 [09:56:34.485]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 852.08 MiB)
09:56:34 [09:56:34.559]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 852.08 MiB)
09:56:34 Constructing DeciderProvingKey (mem: 852.08 MiB)
09:56:34 [09:56:34.566]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 852.08 MiB)
09:56:34 goblin ecc op : 392/1024 (mem: 852.08 MiB)
09:56:34 busread : 16/6000 (mem: 852.08 MiB)
09:56:34 lookups : 2/15000 (mem: 852.08 MiB)
09:56:34 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 852.08 MiB)
09:56:34 arithmetic : 6914/56000 (mem: 852.08 MiB)
09:56:34 delta range : 2347/18000 (mem: 852.08 MiB)
09:56:34 elliptic : 2/6000 (mem: 852.08 MiB)
09:56:34 auxiliary : 77/26000 (mem: 852.08 MiB)
09:56:34 poseidon ext : 2472/17000 (mem: 852.08 MiB)
09:56:34 poseidon int : 14081/92000 (mem: 852.08 MiB)
09:56:34 overflow : 0/0 (mem: 852.08 MiB)
09:56:34 (mem: 852.08 MiB)
09:56:34 Total structured size: 242025 (mem: 852.08 MiB)
09:56:34 allocating polynomials object in proving key... (mem: 852.08 MiB)
09:56:34 [09:56:34.664]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 852.08 MiB)
09:56:34 [09:56:34.688]
INFO:
ivc-integration:test:native bb - time to construct proving key: 127 ms. (mem: 852.08 MiB)
09:56:34 [09:56:34.814]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x619f6b2c0700 (mem: 852.08 MiB)
09:56:34 computing folding proof (mem: 852.08 MiB)
09:56:34 [09:56:34.814]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 852.08 MiB)
09:56:35 [09:56:35.182]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 852.08 MiB)
09:56:35 [09:56:35.261]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 852.08 MiB)
09:56:35 [09:56:35.323]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 852.33 MiB)
09:56:35 [09:56:35.458]
INFO:
ivc-integration:test:native bb - folded (mem: 852.33 MiB)
09:56:35 constructed folding proof (mem: 852.33 MiB)
09:56:35 [09:56:35.470]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 852.33 MiB)
09:56:35 [09:56:35.539]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 852.33 MiB)
09:56:35 Constructing DeciderProvingKey (mem: 852.33 MiB)
09:56:35 [09:56:35.545]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 852.33 MiB)
09:56:35 goblin ecc op : 392/1024 (mem: 852.33 MiB)
09:56:35 busread : 3/6000 (mem: 852.33 MiB)
09:56:35 lookups : 2/15000 (mem: 852.33 MiB)
09:56:35 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 852.33 MiB)
09:56:35 arithmetic : 6849/56000 (mem: 852.33 MiB)
09:56:35 delta range : 2333/18000 (mem: 852.33 MiB)
09:56:35 elliptic : 2/6000 (mem: 852.33 MiB)
09:56:35 auxiliary : 50/26000 (mem: 852.33 MiB)
09:56:35 poseidon ext : 2472/17000 (mem: 852.33 MiB)
09:56:35 poseidon int : 14081/92000 (mem: 852.33 MiB)
09:56:35 overflow : 0/0 (mem: 852.33 MiB)
09:56:35 (mem: 852.33 MiB)
09:56:35 Total structured size: 242025 (mem: 852.33 MiB)
09:56:35 allocating polynomials object in proving key... (mem: 852.33 MiB)
09:56:35 [09:56:35.694]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 852.33 MiB)
09:56:35 [09:56:35.728]
INFO:
ivc-integration:test:native bb - time to construct proving key: 188 ms. (mem: 852.33 MiB)
09:56:35 [09:56:35.916]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x619f6b23da40 (mem: 852.33 MiB)
09:56:35 computing folding proof (mem: 852.33 MiB)
09:56:35 [09:56:35.917]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 852.33 MiB)
09:56:36 [09:56:36.385]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 852.33 MiB)
09:56:36 [09:56:36.497]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 852.33 MiB)
09:56:36 [09:56:36.558]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 852.39 MiB)
09:56:36 [09:56:36.712]
INFO:
ivc-integration:test:native bb - folded (mem: 852.39 MiB)
09:56:36 constructed folding proof (mem: 852.39 MiB)
09:56:36 [09:56:36.713]
INFO:
ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 852.39 MiB)
09:56:36 Minimum required block sizes for structured trace: (mem: 852.39 MiB)
09:56:36 (mem: 852.39 MiB)
09:56:36 prove decider... (mem: 852.39 MiB)
09:56:36 [09:56:36.720]
INFO:
ivc-integration:test:native bb - ecc_op : 792
09:56:36 busread : 16
09:56:36 lookup : 2
09:56:36 pub_inputs : 36
09:56:36 arithmetic : 12080
09:56:36 delta_range : 2942
09:56:36 elliptic : 2
09:56:36 aux : 350
09:56:36 poseidon2_external : 4942
09:56:36 poseidon2_internal : 28160
09:56:36 overflow : 0
09:56:36 [09:56:36.790]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.39 MiB)
09:56:36 [09:56:36.887]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 852.39 MiB)
09:56:37 [09:56:37.575]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 852.39 MiB)
09:56:37 [09:56:37.705]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 852.39 MiB)
09:56:37 finished decider proving. (mem: 852.39 MiB)
09:56:37 [09:56:37.722]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a
09:56:37 [09:56:37.723]
INFO:
ivc-integration:test:native bb - (mem:
09:56:37 [09:56:37.724]
INFO:
ivc-integration:test:native bb - 852.39
09:56:37 [09:56:37.724]
INFO:
ivc-integration:test:native bb - MiB)
09:56:37 [09:56:37.725]
INFO:
ivc-integration:test:native bb -
09:56:37 [09:56:37.834]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 852.39 MiB)
09:56:37 [09:56:37.843]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 852.39 MiB)
09:56:37 [09:56:37.960]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 852.39 MiB)
09:56:38 [09:56:38.011]
INFO:
ivc-integration:test:native bb - time to construct proving key: 177 ms. (mem: 852.39 MiB)
09:56:38 [09:56:38.928]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 852.39 MiB)
09:56:39 [09:56:39.460]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 852.39 MiB)
09:56:39 [09:56:39.603]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.39 MiB)
09:56:40 [09:56:40.227]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 852.39 MiB)
09:56:40 [09:56:40.868]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 852.39 MiB)
09:56:40 [09:56:40.901]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 852.39 MiB)
09:56:40 finished decider proving. (mem: 852.39 MiB)
09:56:40 Constructing a Goblin proof with num ultra ops = 2226 (mem: 852.39 MiB)
09:56:41 [09:56:41.036]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 852.39 MiB)
09:56:41 [09:56:41.437]
INFO:
ivc-integration:test:native bb - using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat"
09:56:41 [09:56:41.438]
INFO:
ivc-integration:test:native bb - (mem: 852.39 MiB)
09:56:41 [09:56:41.458]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 852.39 MiB)
09:56:43 [09:56:43.455]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 852.39 MiB)
09:56:44 [09:56:44.921]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 852.39 MiB)
09:56:48 [09:56:48.775]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 852.39 MiB)
09:56:48 prove translator... (mem: 852.39 MiB)
09:56:51 [09:56:51.888]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
09:56:51 [09:56:51.889]
INFO:
ivc-integration:test:native bb - (mem: 867.48 MiB)
09:56:54 [09:56:54.972]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 868.48 MiB)
09:56:56 [09:56:56.718]
INFO:
ivc-integration:test:native bb - computed opening proof
09:56:56 [09:56:56.719]
INFO:
ivc-integration:test:native bb - (mem: 868.48 MiB)
09:56:56 [09:56:56.719]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 868.48 MiB)
09:56:56 [09:56:56.722]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 868.48 MiB)
09:56:56 [09:56:56.738]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 868.48 MiB)
09:56:56 libra_evals_verified: 1 (mem: 868.48 MiB)
09:56:56 pairing_check_verified: 1 (mem: 868.48 MiB)
09:56:56 [09:56:56.738]
INFO:
ivc-integration:test:native bb - Mega verified: 1 (mem: 868.48 MiB)
09:56:56 [09:56:56.797]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 869.48 MiB)
09:56:56 batch opening verified?: 1 (mem: 869.48 MiB)
09:56:56 eccvm consistency check verified?: 1 (mem: 869.48 MiB)
09:56:56 translation masking consistency checked?: 1 (mem: 869.48 MiB)
09:56:56 [09:56:56.812]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 869.48 MiB)
09:56:56 eccvm verified?: 1 (mem: 869.48 MiB)
09:56:56 accumulator construction_verified?: 1 (mem: 869.48 MiB)
09:56:56 translation verified?: 1 (mem: 869.48 MiB)
09:56:56 consistency verified?: 1 (mem: 869.48 MiB)
09:56:56 [09:56:56.813]
INFO:
ivc-integration:test:native bb - Goblin verified: 1 (mem: 869.48 MiB)
09:56:56 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-6CZMFa" (mem: 869.48 MiB)
09:56:56 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-6CZMFa" (mem: 869.48 MiB)
09:56:56 BN254 commitment key size: 262144 (mem: 869.48 MiB)
09:56:56 [09:56:56.815]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 869.48 MiB)
09:56:56 [09:56:56.818]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 869.48 MiB)
09:56:56 goblin ecc op : 4/1024 (mem: 869.48 MiB)
09:56:56 busread : 3/6000 (mem: 869.48 MiB)
09:56:56 lookups : 2/15000 (mem: 869.48 MiB)
09:56:56 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 869.48 MiB)
09:56:56 arithmetic : 1773/56000 (mem: 869.48 MiB)
09:56:56 delta range : 1754/18000 (mem: 869.48 MiB)
09:56:56 elliptic : 2/6000 (mem: 869.48 MiB)
09:56:56 auxiliary : 26/26000 (mem: 869.48 MiB)
09:56:56 poseidon ext : 2/17000 (mem: 869.48 MiB)
09:56:56 poseidon int : 2/92000 (mem: 869.48 MiB)
09:56:56 overflow : 0/0 (mem: 869.48 MiB)
09:56:56 (mem: 869.48 MiB)
09:56:56 [09:56:56.819]
INFO:
ivc-integration:test:native bb - Total structured size: 242025 (mem: 869.48 MiB)
09:56:56 allocating polynomials object in proving key... (mem: 869.48 MiB)
09:56:56 [09:56:56.856]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 869.48 MiB)
09:56:56 [09:56:56.873]
INFO:
ivc-integration:test:native bb - time to construct proving key: 57 ms. (mem: 869.48 MiB)
09:56:56 [09:56:56.898]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 869.48 MiB)
09:56:57 [09:56:57.353]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 869.48 MiB)
09:56:57 [09:56:57.355]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 869.48 MiB)
09:56:57 [09:56:57.463]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 869.48 MiB)
09:56:57 [09:56:57.472]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 869.48 MiB)
09:56:57 [09:56:57.488]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 869.48 MiB)
09:56:57 [09:56:57.491]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 869.48 MiB)
09:56:57 goblin ecc op : 56/1024 (mem: 869.48 MiB)
09:56:57 busread : 3/6000 (mem: 869.48 MiB)
09:56:57 lookups : 2/15000 (mem: 869.48
09:56:57 [09:56:57.493]
INFO:
ivc-integration:test:native bb - MiB)
09:56:57 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 869.48 MiB)
09:56:57 arithmetic : 4481/56000 (mem: 869.48 MiB)
09:56:57 delta range : 2041/18000 (mem: 869.48 MiB)
09:56:57 elliptic : 2/6000 (mem: 869.48 MiB)
09:56:57 auxiliary : 50/26000 (mem: 869.48 MiB)
09:56:57 poseidon ext : 1312/17000 (mem: 869.48 MiB)
09:56:57 poseidon int : 7469/92000 (mem: 869.48 MiB)
09:56:57 overflow : 0/0 (mem: 869.48 MiB)
09:56:57 (mem: 869.48 MiB)
09:56:57 Total structured size: 242025 (mem: 869.48 MiB)
09:56:57 allocating polynomials object in proving key... (mem: 869.48 MiB)
09:56:57 [09:56:57.541]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 869.48 MiB)
09:56:57 [09:56:57.558]
INFO:
ivc-integration:test:native bb - time to construct proving key: 69 ms. (mem: 869.48 MiB)
09:56:57 [09:56:57.589]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 869.48 MiB)
09:56:57 [09:56:57.993]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 869.48 MiB)
09:56:57 [09:56:57.994]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 869.48 MiB)
09:56:58 [09:56:58.195]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 869.48 MiB)
09:56:58 [09:56:58.339]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 869.48 MiB)
09:56:58 [09:56:58.416]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 901.48 MiB)
09:56:58 [09:56:58.991]
INFO:
ivc-integration:test:native bb - folded (mem: 901.48 MiB)
09:56:58 constructed folding proof (mem: 901.48 MiB)
09:56:58 [09:56:58.992]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 901.48 MiB)
09:56:58 Minimum required block sizes for structured trace: (mem: 901.48 MiB)
09:56:58 (mem: 901.48 MiB)
09:56:58 prove decider... (mem: 901.48 MiB)
09:56:58 [09:56:58.992]
INFO:
ivc-integration:test:native bb - ecc_op : 56
09:56:58 busread : 3
09:56:58 lookup : 2
09:56:58 pub_inputs : 36
09:56:58 arithmetic : 4481
09:56:58 delta_range : 2041
09:56:58 elliptic : 2
09:56:58 aux : 50
09:56:58 poseidon2_external : 1312
09:56:58 poseidon2_internal : 7469
09:56:58 overflow : 0
09:56:59 [09:56:59.098]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 901.48 MiB)
09:56:59 [09:56:59.200]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 901.48 MiB)
09:56:59 [09:56:59.753]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 901.48 MiB)
09:56:59 [09:56:59.832]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 901.48 MiB)
09:56:59 finished decider proving. (mem: 901.48 MiB)
09:56:59 [09:56:59.853]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 901.48 MiB)
09:56:59 [09:56:59.997]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 901.48 MiB)
09:57:00 [09:57:00.005]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key...
09:57:00 [09:57:00.006]
INFO:
ivc-integration:test:native bb - (mem:
09:57:00 [09:57:00.009]
INFO:
ivc-integration:test:native bb - 901.48 MiB)
09:57:00 [09:57:00.416]
INFO:
ivc-integration:test:native bb - populating trace...
09:57:00 [09:57:00.417]
INFO:
ivc-integration:test:native bb - (mem: 901.48 MiB)
09:57:00 [09:57:00.460]
INFO:
ivc-integration:test:native bb - time to construct proving key: 465 ms. (mem: 901.48 MiB)
09:57:00 [09:57:00.908]
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-6CZMFa/proof -k /tmp/bb-client-ivc-integration-6CZMFa/vk -v
09:57:00 [09:57:00.925]
INFO:
ivc-integration:test:native bb command: verify (mem: 190.23 MiB)
09:57:00 Scheme is: client_ivc, num threads: 128 (mem: 190.23 MiB)
09:57:00 --proof_path: /tmp/bb-client-ivc-integration-6CZMFa/proof (mem: 190.23 MiB)
09:57:00 --vk_path: /tmp/bb-client-ivc-integration-6CZMFa/vk (mem: 190.23 MiB)
09:57:00 --verbose: true (mem: 190.23 MiB)
09:57:00 --scheme: client_ivc (mem: 190.23 MiB)
09:57:01 [09:57:01.019]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 190.23 MiB)
09:57:01 [09:57:01.043]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 190.23 MiB)
09:57:01 [09:57:01.047]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 190.23 MiB)
09:57:01 [09:57:01.065]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 190.23 MiB)
09:57:01 [09:57:01.066]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 190.23 MiB)
09:57:01 [09:57:01.067]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 190.23 MiB)
09:57:01 libra_evals_verified: 1 (mem: 190.23 MiB)
09:57:01 pairing_check_verified: 1 (mem: 190.23 MiB)
09:57:01 Mega verified: 1 (mem: 190.23 MiB)
09:57:01 [09:57:01.129]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 190.23 MiB)
09:57:01 batch opening verified?: 1 (mem: 190.23 MiB)
09:57:01 eccvm consistency check verified?: 1 (mem: 190.23 MiB)
09:57:01 translation masking consistency checked?: 1 (mem: 190.23 MiB)
09:57:01 [09:57:01.148]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 190.23 MiB)
09:57:01 eccvm verified?: 1 (mem: 190.23 MiB)
09:57:01 accumulator construction_verified?: 1 (mem: 190.23 MiB)
09:57:01 translation verified?: 1 (mem: 190.23 MiB)
09:57:01 consistency verified?: 1 (mem: 190.23 MiB)
09:57:01 Goblin verified: 1 (mem: 190.23 MiB)
09:57:01 [09:57:01.155]
INFO:
ivc-integration:test:native verified: 1 (mem: 190.23 MiB)
09:57:01
PASS src/native_client_ivc_integration.test.ts (
73.12 s)
09:57:01 Client IVC Integration
09:57:01
✓ Should generate a verifiable client IVC proof from a simple mock tx (37764 ms)
09:57:01
✓ Should generate a verifiable client IVC proof from a complex mock tx (31662 ms)
09:57:01
09:57:01
Test Suites: 1 passed, 1 total
09:57:01
Tests: 2 passed, 2 total
09:57:01
Snapshots: 0 total
09:57:01
Time: 73.212 s
09:57:01
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
09:57:01
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?