Parent Log:
http://ci.aztec-labs.com/eca0d68fde727e0f
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 10:13:45 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15066_amd64_x4-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
10:13:49 [10:13:49.626]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-tF2rxu/ivc-inputs.msgpack
10:13:49 [10:13:49.633]
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-tF2rxu --ivc_inputs_path /tmp/bb-client-ivc-integration-tF2rxu/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
10:13:49 [10:13:49.657]
INFO:
ivc-integration:test:native bb - bb command: prove (mem:
10:13:49 [10:13:49.658]
INFO:
ivc-integration:test:native bb - 183.94 MiB)
10:13:49 Scheme is: client_ivc, num threads: 128 (mem: 183.94 MiB)
10:13:49 --scheme: client_ivc (mem: 183.94 MiB)
10:13:49 --output_path: /tmp/bb-client-ivc-integration-tF2rxu (mem: 183.94 MiB)
10:13:49 --ivc_inputs_path: /tmp/bb-client-ivc-integration-tF2rxu/ivc-inputs.msgpack (mem: 183.94 MiB)
10:13:49 --verbose: true (mem: 183.94 MiB)
10:13:49 --write_vk: true (mem: 183.94 MiB)
10:13:49 [10:13:49.659]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 183.94 MiB)
10:13:49 [10:13:49.758]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 250.00 MiB)
10:13:49 [10:13:49.834]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 298.44 MiB)
10:13:49 [10:13:49.838]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 298.44 MiB)
10:13:49 Constructing DeciderProvingKey (mem: 298.44 MiB)
10:13:49 [10:13:49.845]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 298.44 MiB)
10:13:49 goblin ecc op : 4/1024 (mem: 298.44 MiB)
10:13:49 busread : 7/6000 (mem: 298.44 MiB)
10:13:49 lookups : 2/15000 (mem: 298.44 MiB)
10:13:49 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 298.44 MiB)
10:13:49 arithmetic : 1760/56000 (mem: 298.44 MiB)
10:13:49 delta range : 1754/18000 (mem: 298.44 MiB)
10:13:49 elliptic : 2/6000 (mem: 298.44 MiB)
10:13:49 auxiliary : 26/26000 (mem: 298.44 MiB)
10:13:49 poseidon ext : 2/17000 (mem: 298.44 MiB)
10:13:49 poseidon int : 2/92000 (mem: 298.44 MiB)
10:13:49 overflow : 0/0 (mem: 298.44 MiB)
10:13:49 (mem: 298.44 MiB)
10:13:49 Total structured size: 242025 (mem: 298.44 MiB)
10:13:49 allocating polynomials object in proving key... (mem: 298.44 MiB)
10:13:49 [10:13:49.920]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 495.60 MiB)
10:13:49 [10:13:49.930]
INFO:
ivc-integration:test:native bb - time to construct proving key: 91 ms. (mem: 512.60 MiB)
10:13:49 [10:13:49.959]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64703eb90700 (mem: 512.60 MiB)
10:13:49 [10:13:49.960]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 512.60 MiB)
10:13:49 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 512.60 MiB)
10:13:50 [10:13:50.152]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 522.60 MiB)
10:13:50 [10:13:50.160]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 522.60 MiB)
10:13:50 [10:13:50.180]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 523.60 MiB)
10:13:50 [10:13:50.181]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 523.60 MiB)
10:13:50 [10:13:50.185]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.60 MiB)
10:13:50 goblin ecc op : 56/1024 (mem: 523.60 MiB)
10:13:50 busread : 12/6000 (mem: 523.60 MiB)
10:13:50 lookups : 2/15000 (mem: 523.60 MiB)
10:13:50 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.60 MiB)
10:13:50 arithmetic : 4625/56000 (mem: 523.60 MiB)
10:13:50 delta range : 2054/18000 (mem: 523.60 MiB)
10:13:50 elliptic : 2/6000 (mem: 523.60 MiB)
10:13:50 auxiliary : 110/26000 (mem: 523.60 MiB)
10:13:50 poseidon ext : 1302/17000 (mem: 523.60 MiB)
10:13:50 poseidon int : 7412/92000 (mem: 523.60 MiB)
10:13:50 overflow : 0/0 (mem: 523.60 MiB)
10:13:50 (mem: 523.60 MiB)
10:13:50 Total structured size: 242025 (mem: 523.60 MiB)
10:13:50 allocating polynomials object in proving key... (mem: 523.60 MiB)
10:13:50 [10:13:50.291]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 732.60 MiB)
10:13:50 [10:13:50.309]
INFO:
ivc-integration:test:native bb - time to construct proving key: 129 ms. (mem: 747.60 MiB)
10:13:50 [10:13:50.363]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64703eb9d380 (mem: 747.60 MiB)
10:13:50 computing folding proof (mem: 747.60 MiB)
10:13:50 [10:13:50.364]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 747.60 MiB)
10:13:50 [10:13:50.806]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 748.60 MiB)
10:13:50 [10:13:50.911]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 783.60 MiB)
10:13:50 [10:13:50.976]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 815.60 MiB)
10:13:51 [10:13:51.278]
INFO:
ivc-integration:test:native bb - folded (mem: 815.60 MiB)
10:13:51 constructed folding proof (mem: 815.60 MiB)
10:13:51 [10:13:51.286]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 815.60 MiB)
10:13:51 [10:13:51.352]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 815.60 MiB)
10:13:51 Constructing DeciderProvingKey (mem: 815.60 MiB)
10:13:51 [10:13:51.361]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 815.60 MiB)
10:13:51 goblin ecc op : 392/1024 (mem: 815.60 MiB)
10:13:51 busread : 3/6000 (mem: 815.60 MiB)
10:13:51 lookups : 2/15000 (mem: 815.60 MiB)
10:13:51 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 815.60 MiB)
10:13:51 arithmetic : 6849/56000 (mem: 815.60 MiB)
10:13:51 delta range : 2333/18000 (mem: 815.60 MiB)
10:13:51 elliptic : 2/6000 (mem: 815.60 MiB)
10:13:51 auxiliary : 50/26000 (mem: 815.60 MiB)
10:13:51 poseidon ext : 2472/17000 (mem: 815.60 MiB)
10:13:51 poseidon int : 14081/92000 (mem: 815.60 MiB)
10:13:51 overflow : 0/0 (mem: 815.60 MiB)
10:13:51 (mem: 815.60 MiB)
10:13:51 Total structured size: 242025 (mem: 815.60 MiB)
10:13:51 allocating polynomials object in proving key... (mem: 815.60 MiB)
10:13:51 [10:13:51.523]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 815.60 MiB)
10:13:51 [10:13:51.581]
INFO:
ivc-integration:test:native bb - time to construct proving key: 228 ms. (mem: 815.60 MiB)
10:13:51 [10:13:51.838]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x64703eb92d40 (mem: 815.60 MiB)
10:13:51 computing folding proof (mem: 815.60 MiB)
10:13:51 vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 815.60 MiB)
10:13:52 [10:13:52.451]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 815.60 MiB)
10:13:52 [10:13:52.629]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 815.60 MiB)
10:13:52 [10:13:52.678]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 815.60 MiB)
10:13:53 [10:13:53.102]
INFO:
ivc-integration:test:native bb - folded (mem: 815.60 MiB)
10:13:53 constructed folding proof (mem: 815.60 MiB)
10:13:53 [10:13:53.104]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 815.60 MiB)
10:13:53 Minimum required block sizes for structured trace: (mem: 815.60 MiB)
10:13:53 (mem: 815.60 MiB)
10:13:53 prove decider... (mem: 815.60 MiB)
10:13:53 [10:13:53.108]
INFO:
ivc-integration:test:native bb - ecc_op : 392
10:13:53 busread : 12
10:13:53 lookup : 2
10:13:53 pub_inputs : 36
10:13:53 arithmetic : 6849
10:13:53 delta_range : 2333
10:13:53 elliptic : 2
10:13:53 aux : 110
10:13:53 poseidon2_external : 2472
10:13:53 poseidon2_internal : 14081
10:13:53 overflow : 0
10:13:53 [10:13:53.353]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 815.60 MiB)
10:13:53 [10:13:53.534]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 815.60 MiB)
10:13:54 [10:13:54.756]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 815.60 MiB)
10:13:54 [10:13:54.859]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 815.60 MiB)
10:13:54 finished decider proving. (mem: 815.60 MiB)
10:13:54 [10:13:54.880]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a
10:13:54 [10:13:54.882]
INFO:
ivc-integration:test:native bb - (mem:
10:13:54 [10:13:54.884]
INFO:
ivc-integration:test:native bb - 815.60 MiB)
10:13:55 [10:13:55.013]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 815.60 MiB)
10:13:55 [10:13:55.019]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 815.60 MiB)
10:13:55 [10:13:55.230]
INFO:
ivc-integration:test:native bb - populating trace...
10:13:55 [10:13:55.234]
INFO:
ivc-integration:test:native bb - (mem: 815.60 MiB)
10:13:55 [10:13:55.303]
INFO:
ivc-integration:test:native bb - time to construct proving key: 291 ms. (mem: 815.60 MiB)
10:13:56 [10:13:56.283]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 815.60 MiB)
10:13:56 [10:13:56.906]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 815.60 MiB)
10:13:57 [10:13:57.139]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds...
10:13:57 [10:13:57.141]
INFO:
ivc-integration:test:native bb - (mem: 815.60 MiB)
10:13:58 [10:13:58.772]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 815.60 MiB)
10:13:59 [10:13:59.892]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 815.60 MiB)
10:13:59 [10:13:59.941]
INFO:
ivc-integration:test:native bb - computed opening proof
10:13:59 [10:13:59.943]
INFO:
ivc-integration:test:native bb - (mem:
10:13:59 [10:13:59.943]
INFO:
ivc-integration:test:native bb - 815.60
10:13:59 [10:13:59.945]
INFO:
ivc-integration:test:native bb - MiB)
10:13:59 finished decider proving. (mem: 815.60 MiB)
10:13:59 Constructing a Goblin proof with num ultra ops = 1038 (mem: 815.60 MiB)
10:14:00 [10:14:00.203]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 815.60 MiB)
10:14:00 [10:14:00.704]
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: 815.60 MiB)
10:14:00 [10:14:00.717]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 815.60 MiB)
10:14:03 [10:14:03.144]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 815.60 MiB)
10:14:05 [10:14:05.465]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 815.60 MiB)
10:14:11 [10:14:11.075]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 815.60 MiB)
10:14:11 [10:14:11.077]
INFO:
ivc-integration:test:native bb - prove translator... (mem: 815.60 MiB)
10:14:13 [10:14:13.596]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 843.67 MiB)
10:14:15 [10:14:15.796]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 844.67 MiB)
10:14:19 [10:14:19.221]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 844.67 MiB)
10:14:19 finished translator proving. (mem: 844.67 MiB)
10:14:19 [10:14:19.223]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 844.67 MiB)
10:14:19 [10:14:19.277]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 844.67 MiB)
10:14:19 libra_evals_verified: 1 (mem: 844.67 MiB)
10:14:19 pairing_check_verified: 1 (mem: 844.67 MiB)
10:14:19 Mega verified: 1 (mem: 844.67 MiB)
10:14:19 [10:14:19.390]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 844.67 MiB)
10:14:19 batch opening verified?: 1 (mem: 844.67 MiB)
10:14:19 eccvm consistency check verified?: 1 (mem: 844.67 MiB)
10:14:19 [10:14:19.393]
INFO:
ivc-integration:test:native bb - translation masking consistency checked?: 1 (mem: 844.67 MiB)
10:14:19 [10:14:19.413]
INFO:
ivc-integration:test:native bb - merge verified?: 1
10:14:19 [10:14:19.418]
INFO:
ivc-integration:test:native bb - (mem: 844.67 MiB)
10:14:19 eccvm verified?: 1 (mem: 844.67 MiB)
10:14:19 accumulator construction_verified?: 1 (mem: 844.67 MiB)
10:14:19 translation verified?: 1 (mem: 844.67 MiB)
10:14:19 consistency verified?: 1 (mem: 844.67 MiB)
10:14:19 Goblin verified: 1 (mem: 844.67 MiB)
10:14:19 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-tF2rxu" (mem: 844.67 MiB)
10:14:19 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-tF2rxu" (mem: 844.67 MiB)
10:14:19 BN254 commitment key size: 262144 (mem: 844.67 MiB)
10:14:19 [10:14:19.423]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 844.67 MiB)
10:14:19 [10:14:19.427]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity)
10:14:19 [10:14:19.431]
INFO:
ivc-integration:test:native bb - (mem: 844.67 MiB)
10:14:19 goblin ecc op : 4/1024 (mem: 844.67 MiB)
10:14:19 busread : 3/6000 (mem: 844.67 MiB)
10:14:19 lookups : 2/15000 (mem: 844.67 MiB)
10:14:19 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 844.67 MiB)
10:14:19 arithmetic : 1773/56000 (mem: 844.67 MiB)
10:14:19 delta range : 1754/18000 (mem: 844.67 MiB)
10:14:19 elliptic : 2/6000 (mem: 844.67 MiB)
10:14:19 auxiliary : 26/26000 (mem: 844.67 MiB)
10:14:19 poseidon ext : 2/17000 (mem: 844.67 MiB)
10:14:19 poseidon int : 2/92000 (mem: 844.67 MiB)
10:14:19 overflow : 0/0 (mem: 844.67 MiB)
10:14:19 (mem: 844.67 MiB)
10:14:19 Total structured size: 242025 (mem: 844.67 MiB)
10:14:19 allocating polynomials object in proving key... (mem: 844.67 MiB)
10:14:19 [10:14:19.706]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 844.67 MiB)
10:14:19 [10:14:19.752]
INFO:
ivc-integration:test:native bb - time to construct proving key: 329 ms. (mem: 844.67 MiB)
10:14:19 [10:14:19.898]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 844.67 MiB)
10:14:20 [10:14:20.812]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 844.67 MiB)
10:14:20 [10:14:20.813]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 844.67 MiB)
10:14:21 [10:14:21.480]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 844.67 MiB)
10:14:21 [10:14:21.492]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 844.67 MiB)
10:14:21 [10:14:21.507]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 844.67 MiB)
10:14:21 [10:14:21.512]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 844.67 MiB)
10:14:21 goblin ecc op : 56/1024 (mem: 844.67 MiB)
10:14:21 busread : 3/6000 (mem: 844.67 MiB)
10:14:21 lookups : 2/15000 (mem: 844.67 MiB)
10:14:21 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 844.67 MiB)
10:14:21 arithmetic : 4481/56000 (mem: 844.67 MiB)
10:14:21 delta range : 2041/18000 (mem: 844.67 MiB)
10:14:21 elliptic : 2/6000 (mem: 844.67 MiB)
10:14:21 auxiliary : 50/26000 (mem: 844.67 MiB)
10:14:21 poseidon ext : 1312/17000 (mem: 844.67 MiB)
10:14:21 poseidon int : 7469/92000 (mem: 844.67 MiB)
10:14:21 overflow : 0/0 (mem: 844.67 MiB)
10:14:21 (mem: 844.67 MiB)
10:14:21 Total structured size: 242025 (mem: 844.67 MiB)
10:14:21 allocating polynomials object in proving key... (mem: 844.67 MiB)
10:14:21 [10:14:21.776]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 844.67 MiB)
10:14:21 [10:14:21.837]
INFO:
ivc-integration:test:native bb - time to construct proving key: 329 ms. (mem: 844.67 MiB)
10:14:22 [10:14:22.067]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 844.67 MiB)
10:14:23 [10:14:23.062]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 844.67 MiB)
10:14:23 vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 844.67 MiB)
10:14:24 [10:14:24.012]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 844.67 MiB)
10:14:24 [10:14:24.160]
INFO:
ivc-integration:test:native bb - perturbator round
10:14:24 [10:14:24.161]
INFO:
ivc-integration:test:native bb - (mem: 846.67 MiB)
10:14:24 [10:14:24.238]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 878.67 MiB)
10:14:24 [10:14:24.904]
INFO:
ivc-integration:test:native bb - folded (mem: 878.67 MiB)
10:14:24 constructed folding proof (mem: 878.67 MiB)
10:14:24 Largest circuit: 15360 gates. Trace details: (mem: 878.67 MiB)
10:14:24 Minimum required block sizes for structured trace: (mem: 878.67 MiB)
10:14:24 (mem: 878.67 MiB)
10:14:24 prove decider... (mem: 878.67 MiB)
10:14:24 [10:14:24.905]
INFO:
ivc-integration:test:native bb - ecc_op : 56
10:14:24 busread : 3
10:14:24 lookup : 2
10:14:24 pub_inputs : 36
10:14:24 arithmetic : 4481
10:14:24 delta_range : 2041
10:14:24 elliptic : 2
10:14:24 aux : 50
10:14:24 poseidon2_external : 1312
10:14:24 poseidon2_internal : 7469
10:14:24 overflow : 0
10:14:25 [10:14:25.158]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 878.67 MiB)
10:14:25 [10:14:25.380]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 878.67 MiB)
10:14:26 [10:14:26.620]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction
10:14:26 [10:14:26.623]
INFO:
ivc-integration:test:native bb - (mem: 878.67 MiB)
10:14:26 [10:14:26.723]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 878.67 MiB)
10:14:26 finished decider proving. (mem: 878.67 MiB)
10:14:26 [10:14:26.736]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 878.67 MiB)
10:14:26 [10:14:26.888]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey
10:14:26 [10:14:26.891]
INFO:
ivc-integration:test:native bb - (mem: 878.67 MiB)
10:14:26 [10:14:26.897]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 878.67 MiB)
10:14:27 [10:14:27.065]
INFO:
ivc-integration:test:native bb - populating trace...
10:14:27 [10:14:27.067]
INFO:
ivc-integration:test:native bb - (mem: 878.67 MiB)
10:14:27 [10:14:27.149]
INFO:
ivc-integration:test:native bb - time to construct proving key: 256 ms. (mem: 878.67 MiB)
10:14:27 [10:14:27.818]
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-tF2rxu/proof -k /tmp/bb-client-ivc-integration-tF2rxu/vk -v
10:14:27 [10:14:27.842]
INFO:
ivc-integration:test:native bb command: verify (mem: 183.94 MiB)
10:14:27 [10:14:27.843]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 183.94 MiB)
10:14:27 --proof_path: /tmp/bb-client-ivc-integration-tF2rxu/proof (mem: 183.94 MiB)
10:14:27 --vk_path: /tmp/bb-client-ivc-integration-tF2rxu/vk (mem: 183.94 MiB)
10:14:27 --verbose: true (mem: 183.94 MiB)
10:14:27 --scheme: client_ivc (mem: 183.94 MiB)
10:14:27 [10:14:27.944]
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.94 MiB)
10:14:27 [10:14:27.975]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 183.94 MiB)
10:14:27 [10:14:27.976]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 183.94 MiB)
10:14:27 [10:14:28.000]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 183.94 MiB)
10:14:27 Initialized BN254 CRS from memory with num points = 1025 (mem: 183.94 MiB)
10:14:28 [10:14:28.001]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 183.94 MiB)
10:14:28 libra_evals_verified: 1 (mem: 183.94 MiB)
10:14:28 pairing_check_verified: 1 (mem: 183.94 MiB)
10:14:28 Mega verified: 1 (mem: 183.94 MiB)
10:14:28 [10:14:28.079]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 183.94 MiB)
10:14:28 batch opening verified?: 1 (mem: 183.94 MiB)
10:14:28 eccvm consistency check verified?: 1 (mem: 183.94 MiB)
10:14:28 translation masking consistency checked?: 1 (mem: 183.94 MiB)
10:14:28 [10:14:28.100]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 183.94 MiB)
10:14:28 eccvm verified?: 1 (mem: 183.94 MiB)
10:14:28 accumulator construction_verified?: 1 (mem: 183.94 MiB)
10:14:28 translation verified?: 1 (mem: 183.94
10:14:28 [10:14:28.104]
INFO:
ivc-integration:test:native MiB)
10:14:28 consistency verified?: 1 (mem: 183.94 MiB)
10:14:28 Goblin verified: 1 (mem: 183.94 MiB)
10:14:28 [10:14:28.111]
INFO:
ivc-integration:test:native verified: 1 (mem: 183.94 MiB)
10:14:28 [10:14:28.223]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-VgSgSR/ivc-inputs.msgpack
10:14:28 [10:14:28.224]
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-VgSgSR --ivc_inputs_path /tmp/bb-client-ivc-integration-VgSgSR/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
10:14:28 [10:14:28.249]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 183.97 MiB)
10:14:28 Scheme is: client_ivc, num threads: 128 (mem: 183.97 MiB)
10:14:28 --scheme: client_ivc (mem: 183.97 MiB)
10:14:28 --output_path: /tmp/bb-client-ivc-integration-VgSgSR (mem: 183.97 MiB)
10:14:28 --ivc_inputs_path: /tmp/bb-client-ivc-integration-VgSgSR/ivc-inputs.msgpack (mem: 183.97 MiB)
10:14:28 --verbose: true (mem: 183.97 MiB)
10:14:28 --write_vk: true (mem: 183.97 MiB)
10:14:28 [10:14:28.254]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144
10:14:28 [10:14:28.256]
INFO:
ivc-integration:test:native bb - (mem: 183.97 MiB)
10:14:28 [10:14:28.461]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 274.00 MiB)
10:14:28 [10:14:28.539]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169
10:14:28 [10:14:28.545]
INFO:
ivc-integration:test:native bb - (mem: 322.30 MiB)
10:14:28 [10:14:28.545]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 322.30 MiB)
10:14:28 [10:14:28.546]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 322.30 MiB)
10:14:28 [10:14:28.550]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 322.30 MiB)
10:14:28 goblin ecc op : 4/1024 (mem: 322.30 MiB)
10:14:28 [10:14:28.553]
INFO:
ivc-integration:test:native bb - busread : 7/6000 (mem: 322.30 MiB)
10:14:28 lookups : 2/15000 (mem: 322.30 MiB)
10:14:28 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 322.30 MiB)
10:14:28 arithmetic : 1760/56000 (mem: 322.30 MiB)
10:14:28 delta range : 1754/18000 (mem: 322.30 MiB)
10:14:28 elliptic : 2/6000 (mem: 322.30 MiB)
10:14:28 auxiliary : 26/26000 (mem: 322.30 MiB)
10:14:28 poseidon ext : 2/17000 (mem: 322.30 MiB)
10:14:28 poseidon int : 2/92000 (mem: 322.30 MiB)
10:14:28 overflow : 0/0 (mem: 322.30 MiB)
10:14:28 (mem: 322.30 MiB)
10:14:28 Total structured size: 242025 (mem: 322.30 MiB)
10:14:28 allocating polynomials object in proving key... (mem: 322.30 MiB)
10:14:28 [10:14:28.664]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 512.43 MiB)
10:14:28 [10:14:28.688]
INFO:
ivc-integration:test:native bb - time to construct proving key: 142 ms. (mem: 521.43 MiB)
10:14:28 [10:14:28.748]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5fdfae1f7540 (mem: 521.43 MiB)
10:14:28 computing oink proof... (mem: 521.43 MiB)
10:14:28 vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 521.43 MiB)
10:14:28 [10:14:28.994]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 530.43 MiB)
10:14:29 [10:14:29.010]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 531.43 MiB)
10:14:29 [10:14:29.022]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 531.43 MiB)
10:14:29 Constructing DeciderProvingKey (mem: 531.43 MiB)
10:14:29 [10:14:29.025]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 531.43 MiB)
10:14:29 goblin ecc op : 56/1024 (mem: 531.43 MiB)
10:14:29 busread : 12/6000 (mem: 531.43 MiB)
10:14:29 lookups : 2/15000 (mem: 531.43 MiB)
10:14:29 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 531.43 MiB)
10:14:29 [10:14:29.026]
INFO:
ivc-integration:test:native bb - arithmetic : 4625/56000 (mem: 531.43 MiB)
10:14:29 delta range : 2054/18000 (mem: 531.43 MiB)
10:14:29 elliptic : 2/6000 (mem: 531.43 MiB)
10:14:29 auxiliary : 110/26000 (mem: 531.43 MiB)
10:14:29 poseidon ext : 1302/17000 (mem: 531.43 MiB)
10:14:29 poseidon int : 7412/92000 (mem: 531.43 MiB)
10:14:29 overflow : 0/0 (mem: 531.43 MiB)
10:14:29 (mem: 531.43 MiB)
10:14:29 Total structured size: 242025 (mem: 531.43 MiB)
10:14:29 allocating polynomials object in proving key... (mem: 531.43 MiB)
10:14:29 [10:14:29.166]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 733.43 MiB)
10:14:29 [10:14:29.191]
INFO:
ivc-integration:test:native bb - time to construct proving key: 168 ms. (mem: 748.43 MiB)
10:14:29 [10:14:29.243]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5fdfae2007c0 (mem: 748.43 MiB)
10:14:29 computing folding proof (mem: 748.43 MiB)
10:14:29 [10:14:29.244]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 748.43 MiB)
10:14:29 [10:14:29.833]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 748.43 MiB)
10:14:29 [10:14:29.927]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 785.43 MiB)
10:14:29 [10:14:29.980]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 817.43 MiB)
10:14:30 [10:14:30.168]
INFO:
ivc-integration:test:native bb - folded (mem: 817.43 MiB)
10:14:30 constructed folding proof (mem: 817.43 MiB)
10:14:30 [10:14:30.170]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 817.43 MiB)
10:14:30 Constructing DeciderProvingKey (mem: 817.43 MiB)
10:14:30 [10:14:30.172]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.43 MiB)
10:14:30 goblin ecc op : 4/1024 (mem: 817.43 MiB)
10:14:30 busread : 7/6000 (mem: 817.43 MiB)
10:14:30 lookups : 2/15000 (mem: 817.43 MiB)
10:14:30 pub inputs : 16/5000 (populated in decider pk constructor)
10:14:30 [10:14:30.172]
INFO:
ivc-integration:test:native bb - (mem: 817.43 MiB)
10:14:30 arithmetic : 1760/56000 (mem: 817.43 MiB)
10:14:30 delta range : 1754/18000 (mem: 817.43 MiB)
10:14:30 elliptic : 2/6000 (mem: 817.43 MiB)
10:14:30 auxiliary : 26/26000 (mem: 817.43 MiB)
10:14:30 poseidon ext : 2/17000 (mem: 817.43 MiB)
10:14:30 poseidon int : 2/92000 (mem: 817.43 MiB)
10:14:30 overflow : 0/0 (mem: 817.43 MiB)
10:14:30 (mem: 817.43 MiB)
10:14:30 Total structured size: 242025 (mem: 817.43 MiB)
10:14:30 allocating polynomials object in proving key... (mem: 817.43 MiB)
10:14:30 [10:14:30.244]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 817.43 MiB)
10:14:30 [10:14:30.254]
INFO:
ivc-integration:test:native bb - time to construct proving key: 84 ms. (mem: 817.43 MiB)
10:14:30 [10:14:30.304]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5fdfae1f7d80 (mem: 817.43 MiB)
10:14:30 computing folding proof (mem: 817.43 MiB)
10:14:30 [10:14:30.305]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 817.43 MiB)
10:14:30 [10:14:30.493]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 817.43 MiB)
10:14:30 [10:14:30.575]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 817.43 MiB)
10:14:30 [10:14:30.607]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 817.43 MiB)
10:14:30 [10:14:30.850]
INFO:
ivc-integration:test:native bb - folded (mem: 817.43 MiB)
10:14:30 constructed folding proof (mem: 817.43 MiB)
10:14:30 [10:14:30.860]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000f615ab7a596b5de92bbb153ca48aec0c (mem: 817.43 MiB)
10:14:30 [10:14:30.958]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 817.43 MiB)
10:14:31 [10:14:31.021]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 817.43 MiB)
10:14:31 Constructing DeciderProvingKey (mem: 817.43 MiB)
10:14:31 [10:14:31.026]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 817.43 MiB)
10:14:31 goblin ecc op : 792/1024 (mem: 817.43 MiB)
10:14:31 [10:14:31.027]
INFO:
ivc-integration:test:native bb - busread : 12/6000 (mem: 817.43 MiB)
10:14:31 lookups : 2/15000 (mem: 817.43 MiB)
10:14:31 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 817.43 MiB)
10:14:31 arithmetic : 12080/56000 (mem: 817.43 MiB)
10:14:31 delta range : 2942/18000 (mem: 817.43 MiB)
10:14:31 elliptic : 2/6000 (mem: 817.43 MiB)
10:14:31 auxiliary : 350/26000 (mem: 817.43 MiB)
10:14:31 poseidon ext : 4942/17000 (mem: 817.43 MiB)
10:14:31 poseidon int : 28160/92000 (mem: 817.43 MiB)
10:14:31 overflow : 0/0 (mem: 817.43 MiB)
10:14:31 (mem: 817.43 MiB)
10:14:31 Total structured size: 242025 (mem: 817.43 MiB)
10:14:31 allocating polynomials object in proving key... (mem: 817.43 MiB)
10:14:31 [10:14:31.118]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 817.43 MiB)
10:14:31 [10:14:31.166]
INFO:
ivc-integration:test:native bb - time to construct proving key: 145 ms. (mem: 817.43 MiB)
10:14:31 [10:14:31.235]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5fdfae275600 (mem: 817.43 MiB)
10:14:31 [10:14:31.236]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 817.43 MiB)
10:14:31 vkey hash in Oink prover: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 817.43 MiB)
10:14:31 [10:14:31.626]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 817.43 MiB)
10:14:31 [10:14:31.731]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 817.43 MiB)
10:14:31 [10:14:31.795]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 849.24 MiB)
10:14:32 [10:14:32.107]
INFO:
ivc-integration:test:native bb - folded (mem: 849.24 MiB)
10:14:32 constructed folding proof (mem: 849.24 MiB)
10:14:32 [10:14:32.112]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000098f7e183c5d42820434cc9635360fc9 (mem: 849.24 MiB)
10:14:32 [10:14:32.172]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 849.24 MiB)
10:14:32 Constructing DeciderProvingKey (mem: 849.24 MiB)
10:14:32 [10:14:32.176]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 849.24 MiB)
10:14:32 goblin ecc op : 392/1024 (mem: 849.24 MiB)
10:14:32 busread : 16/6000 (mem: 849.24 MiB)
10:14:32 lookups : 2/15000
10:14:32 [10:14:32.176]
INFO:
ivc-integration:test:native bb - (mem: 849.24 MiB)
10:14:32 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 849.24 MiB)
10:14:32 arithmetic : 6914/56000 (mem: 849.24 MiB)
10:14:32 delta range : 2347/18000 (mem: 849.24 MiB)
10:14:32 elliptic : 2/6000 (mem: 849.24 MiB)
10:14:32 auxiliary : 77/26000 (mem: 849.24 MiB)
10:14:32 poseidon ext : 2472/17000 (mem: 849.24 MiB)
10:14:32 poseidon int : 14081/92000 (mem: 849.24 MiB)
10:14:32 overflow : 0/0 (mem: 849.24 MiB)
10:14:32 (mem: 849.24 MiB)
10:14:32 Total structured size: 242025 (mem: 849.24 MiB)
10:14:32 allocating polynomials object in proving key... (mem: 849.24 MiB)
10:14:32 [10:14:32.256]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 849.24 MiB)
10:14:32 [10:14:32.286]
INFO:
ivc-integration:test:native bb - time to construct proving key: 113 ms. (mem: 849.24 MiB)
10:14:32 [10:14:32.440]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5fdfae274700 (mem: 849.24 MiB)
10:14:32 computing folding proof (mem: 849.24 MiB)
10:14:32 [10:14:32.441]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 849.24 MiB)
10:14:32 [10:14:32.853]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 849.24 MiB)
10:14:32 [10:14:32.949]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 849.24 MiB)
10:14:33 [10:14:33.009]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 850.18 MiB)
10:14:33 [10:14:33.231]
INFO:
ivc-integration:test:native bb - folded (mem: 850.18 MiB)
10:14:33 constructed folding proof (mem: 850.18 MiB)
10:14:33 [10:14:33.241]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000bfc4e2746bf919da2b1cf0a1fb5b18c9 (mem: 850.18 MiB)
10:14:33 [10:14:33.307]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 850.18 MiB)
10:14:33 Constructing DeciderProvingKey (mem: 850.18 MiB)
10:14:33 [10:14:33.311]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.18 MiB)
10:14:33 goblin ecc op : 392/1024 (mem: 850.18 MiB)
10:14:33 busread : 3/6000 (mem: 850.18 MiB)
10:14:33 lookups : 2/15000 (mem: 850.18 MiB)
10:14:33 [10:14:33.313]
INFO:
ivc-integration:test:native bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 850.18 MiB)
10:14:33 arithmetic : 6849/56000 (mem: 850.18 MiB)
10:14:33 delta range : 2333/18000 (mem: 850.18 MiB)
10:14:33 elliptic : 2/6000 (mem: 850.18 MiB)
10:14:33 auxiliary : 50/26000 (mem: 850.18 MiB)
10:14:33 poseidon ext : 2472/17000 (mem: 850.18 MiB)
10:14:33 poseidon int : 14081/92000 (mem: 850.18 MiB)
10:14:33 overflow : 0/0 (mem: 850.18 MiB)
10:14:33 (mem: 850.18 MiB)
10:14:33 Total structured size: 242025 (mem: 850.18 MiB)
10:14:33 allocating polynomials object in proving key... (mem: 850.18 MiB)
10:14:33 [10:14:33.406]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 850.18 MiB)
10:14:33 [10:14:33.440]
INFO:
ivc-integration:test:native bb - time to construct proving key: 132 ms. (mem: 850.18 MiB)
10:14:33 [10:14:33.632]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5fdfae1f1a40 (mem: 850.18 MiB)
10:14:33 computing folding proof (mem: 850.18 MiB)
10:14:33 [10:14:33.632]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a (mem: 850.18 MiB)
10:14:34 [10:14:34.184]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.18 MiB)
10:14:34 [10:14:34.311]
INFO:
ivc-integration:test:native bb - perturbator round
10:14:34 [10:14:34.313]
INFO:
ivc-integration:test:native bb - (mem: 850.18 MiB)
10:14:34 [10:14:34.366]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 851.18 MiB)
10:14:34 [10:14:34.653]
INFO:
ivc-integration:test:native bb - folded (mem: 851.18 MiB)
10:14:34 constructed folding proof (mem: 851.18 MiB)
10:14:34 [10:14:34.654]
INFO:
ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 851.18 MiB)
10:14:34 Minimum required block sizes for structured trace: (mem: 851.18 MiB)
10:14:34 (mem: 851.18 MiB)
10:14:34 prove decider... (mem: 851.18 MiB)
10:14:34 [10:14:34.655]
INFO:
ivc-integration:test:native bb - ecc_op : 792
10:14:34 busread : 16
10:14:34 lookup : 2
10:14:34 pub_inputs : 36
10:14:34 arithmetic : 12080
10:14:34 delta_range : 2942
10:14:34 elliptic : 2
10:14:34 aux : 350
10:14:34 poseidon2_external : 4942
10:14:34 poseidon2_internal : 28160
10:14:34 overflow : 0
10:14:34 [10:14:34.795]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.18 MiB)
10:14:34 [10:14:34.953]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
10:14:34 [10:14:34.954]
INFO:
ivc-integration:test:native bb - (mem: 851.18 MiB)
10:14:35 [10:14:35.803]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 851.18 MiB)
10:14:35 [10:14:35.872]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 851.18 MiB)
10:14:35 finished decider proving. (mem: 851.18 MiB)
10:14:35 [10:14:35.890]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000d4cd9f7202403d095a724e2a978aaf5a
10:14:35 [10:14:35.892]
INFO:
ivc-integration:test:native bb - (mem: 851.18 MiB)
10:14:36 [10:14:36.015]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.18 MiB)
10:14:36 [10:14:36.020]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key...
10:14:36 [10:14:36.023]
INFO:
ivc-integration:test:native bb - (mem: 851.18 MiB)
10:14:36 [10:14:36.099]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 851.18 MiB)
10:14:36 [10:14:36.155]
INFO:
ivc-integration:test:native bb - time to construct proving key: 141 ms. (mem: 851.18 MiB)
10:14:36 [10:14:36.990]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 851.18 MiB)
10:14:37 [10:14:37.429]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 851.18 MiB)
10:14:37 [10:14:37.727]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.18 MiB)
10:14:38 [10:14:38.627]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 851.18 MiB)
10:14:39 [10:14:39.337]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 851.18 MiB)
10:14:39 [10:14:39.370]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 851.18 MiB)
10:14:39 finished decider proving. (mem: 851.18 MiB)
10:14:39 Constructing a Goblin proof with num ultra ops = 2226 (mem: 851.18 MiB)
10:14:39 [10:14:39.598]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 851.18 MiB)
10:14:39 [10:14:39.900]
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: 851.18 MiB)
10:14:39 [10:14:39.917]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 851.18 MiB)
10:14:41 [10:14:41.346]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.18 MiB)
10:14:43 [10:14:43.967]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 851.18 MiB)
10:14:48 [10:14:48.251]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 851.18 MiB)
10:14:48 prove translator... (mem: 851.18 MiB)
10:14:52 [10:14:52.387]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 876.16 MiB)
10:14:54 [10:14:54.013]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 877.16 MiB)
10:14:54 [10:14:54.836]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 877.16 MiB)
10:14:54 [10:14:54.837]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 877.16 MiB)
10:14:54 [10:14:54.839]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 877.16 MiB)
10:14:54 [10:14:54.853]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 877.16 MiB)
10:14:54 libra_evals_verified: 1 (mem: 877.16 MiB)
10:14:54 pairing_check_verified: 1 (mem: 877.16 MiB)
10:14:54 [10:14:54.854]
INFO:
ivc-integration:test:native bb - Mega verified: 1 (mem: 877.16 MiB)
10:14:54 [10:14:54.900]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 878.16 MiB)
10:14:54 batch opening verified?: 1 (mem: 878.16 MiB)
10:14:54 eccvm consistency check verified?: 1 (mem: 878.16 MiB)
10:14:54 translation masking consistency checked?: 1 (mem: 878.16 MiB)
10:14:54 [10:14:54.916]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 878.16 MiB)
10:14:54 eccvm verified?: 1 (mem: 878.16 MiB)
10:14:54 accumulator construction_verified?: 1 (mem: 878.16 MiB)
10:14:54 translation verified?: 1 (mem: 878.16 MiB)
10:14:54 [10:14:54.916]
INFO:
ivc-integration:test:native bb -
10:14:54 consistency verified?: 1 (mem: 878.16 MiB)
10:14:54 Goblin verified: 1 (mem: 878.16 MiB)
10:14:54 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-VgSgSR" (mem: 878.16 MiB)
10:14:54 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-VgSgSR" (mem: 878.16 MiB)
10:14:54 BN254 commitment key size: 262144 (mem: 878.16 MiB)
10:14:54 [10:14:54.918]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 878.16 MiB)
10:14:54 [10:14:54.922]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 878.16 MiB)
10:14:54 goblin ecc op : 4/1024 (mem: 878.16 MiB)
10:14:54 busread : 3/6000 (mem: 878.16 MiB)
10:14:54 lookups : 2/15000 (mem: 878.16 MiB)
10:14:54 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 878.16 MiB)
10:14:54 arithmetic : 1773/56000 (mem: 878.16 MiB)
10:14:54 delta range : 1754/18000 (mem: 878.16 MiB)
10:14:54 elliptic : 2/6000 (mem: 878.16 MiB)
10:14:54 [10:14:54.922]
INFO:
ivc-integration:test:native bb - auxiliary : 26/26000 (mem: 878.16 MiB)
10:14:54 poseidon ext : 2/17000 (mem: 878.16 MiB)
10:14:54 poseidon int : 2/92000 (mem: 878.16 MiB)
10:14:54 overflow : 0/0 (mem: 878.16 MiB)
10:14:54 (mem: 878.16 MiB)
10:14:54 Total structured size: 242025 (mem: 878.16 MiB)
10:14:54 allocating polynomials object in proving key... (mem: 878.16 MiB)
10:14:55 [10:14:55.034]
INFO:
ivc-integration:test:native bb - populating trace...
10:14:55 [10:14:55.035]
INFO:
ivc-integration:test:native bb - (mem: 878.16 MiB)
10:14:55 [10:14:55.044]
INFO:
ivc-integration:test:native bb - time to construct proving key: 126 ms. (mem: 878.16 MiB)
10:14:55 [10:14:55.076]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 878.16 MiB)
10:14:55 [10:14:55.800]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 878.16 MiB)
10:14:55 [10:14:55.800]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 878.16 MiB)
10:14:55 [10:14:55.897]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 878.16 MiB)
10:14:55 [10:14:55.905]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 878.16 MiB)
10:14:55 [10:14:55.920]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 878.16 MiB)
10:14:55 [10:14:55.924]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 878.16 MiB)
10:14:55 goblin ecc op : 56/1024 (mem: 878.16
10:14:55 [10:14:55.924]
INFO:
ivc-integration:test:native bb - MiB)
10:14:55 busread : 3/6000 (mem: 878.16 MiB)
10:14:55 lookups : 2/15000 (mem: 878.16 MiB)
10:14:55 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 878.16 MiB)
10:14:55 arithmetic : 4481/56000 (mem: 878.16 MiB)
10:14:55 delta range : 2041/18000 (mem: 878.16 MiB)
10:14:55 elliptic : 2/6000 (mem: 878.16 MiB)
10:14:55 auxiliary : 50/26000 (mem: 878.16 MiB)
10:14:55 poseidon ext : 1312/17000 (mem: 878.16 MiB)
10:14:55 poseidon int : 7469/92000 (mem: 878.16 MiB)
10:14:55 overflow : 0/0 (mem: 878.16 MiB)
10:14:55 (mem: 878.16 MiB)
10:14:55 Total structured size: 242025 (mem: 878.16 MiB)
10:14:55 allocating polynomials object in proving key... (mem: 878.16 MiB)
10:14:55 [10:14:55.981]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 878.16 MiB)
10:14:55 [10:14:55.993]
INFO:
ivc-integration:test:native bb - time to construct proving key: 72 ms. (mem: 878.16 MiB)
10:14:56 [10:14:56.022]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 878.16 MiB)
10:14:56 [10:14:56.699]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 878.16 MiB)
10:14:56 [10:14:56.700]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 878.16 MiB)
10:14:56 [10:14:56.898]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 878.16 MiB)
10:14:56 [10:14:56.964]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 878.16 MiB)
10:14:57 [10:14:57.004]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 910.16 MiB)
10:14:57 [10:14:57.086]
INFO:
ivc-integration:test:native bb - folded (mem: 910.16 MiB)
10:14:57 constructed folding proof (mem: 910.16 MiB)
10:14:57 [10:14:57.086]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 910.16 MiB)
10:14:57 Minimum required block sizes for structured trace: (mem: 910.16 MiB)
10:14:57 (mem: 910.16 MiB)
10:14:57 prove decider... (mem: 910.16 MiB)
10:14:57 [10:14:57.087]
INFO:
ivc-integration:test:native bb - ecc_op : 56
10:14:57 busread : 3
10:14:57 lookup : 2
10:14:57 pub_inputs : 36
10:14:57 arithmetic : 4481
10:14:57 delta_range : 2041
10:14:57 elliptic : 2
10:14:57 aux : 50
10:14:57 poseidon2_external : 1312
10:14:57 poseidon2_internal : 7469
10:14:57 overflow : 0
10:14:57 [10:14:57.152]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 910.16 MiB)
10:14:57 [10:14:57.213]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 910.16 MiB)
10:14:57 [10:14:57.593]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 910.16 MiB)
10:14:57 [10:14:57.639]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 910.16 MiB)
10:14:57 finished decider proving. (mem: 910.16 MiB)
10:14:57 [10:14:57.653]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a6a57790fad668956d04f3dc5e864645 (mem: 910.16 MiB)
10:14:57 [10:14:57.755]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 910.16 MiB)
10:14:57 [10:14:57.760]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 910.16 MiB)
10:14:57 [10:14:57.811]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 910.16 MiB)
10:14:57 [10:14:57.833]
INFO:
ivc-integration:test:native bb - time to construct proving key: 78 ms. (mem: 910.16 MiB)
10:14:58 [10:14:58.109]
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-VgSgSR/proof -k /tmp/bb-client-ivc-integration-VgSgSR/vk -v
10:14:58 [10:14:58.127]
INFO:
ivc-integration:test:native bb command: verify (mem: 189.81 MiB)
10:14:58 [10:14:58.127]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 189.81 MiB)
10:14:58 --proof_path: /tmp/bb-client-ivc-integration-VgSgSR/proof (mem: 189.81 MiB)
10:14:58 --vk_path: /tmp/bb-client-ivc-integration-VgSgSR/vk (mem: 189.81 MiB)
10:14:58 --verbose: true (mem: 189.81 MiB)
10:14:58 --scheme: client_ivc (mem: 189.81 MiB)
10:14:58 [10:14:58.216]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 189.81 MiB)
10:14:58 [10:14:58.237]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 189.81 MiB)
10:14:58 [10:14:58.238]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x00000000000000000000000000000000723ae3d080822d2b5e2e68812dde8261 (mem: 189.81 MiB)
10:14:58 [10:14:58.253]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 189.81 MiB)
10:14:58 [10:14:58.253]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 189.81 MiB)
10:14:58 [10:14:58.254]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 189.81 MiB)
10:14:58 libra_evals_verified: 1 (mem: 189.81 MiB)
10:14:58 pairing_check_verified: 1 (mem: 189.81 MiB)
10:14:58 Mega verified: 1 (mem: 189.81 MiB)
10:14:58 [10:14:58.313]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 189.81 MiB)
10:14:58 batch opening verified?: 1 (mem: 189.81 MiB)
10:14:58 eccvm consistency check verified?: 1 (mem: 189.81 MiB)
10:14:58 translation masking consistency checked?: 1 (mem: 189.81 MiB)
10:14:58 [10:14:58.329]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 189.81 MiB)
10:14:58 eccvm verified?: 1 (mem: 189.81 MiB)
10:14:58 accumulator construction_verified?: 1 (mem: 189.81 MiB)
10:14:58 translation verified?: 1 (mem: 189.81 MiB)
10:14:58 consistency verified?: 1 (mem: 189.81 MiB)
10:14:58 [10:14:58.330]
INFO:
ivc-integration:test:native Goblin verified: 1 (mem: 189.81 MiB)
10:14:58 [10:14:58.335]
INFO:
ivc-integration:test:native verified: 1 (mem: 189.81 MiB)
10:14:58
PASS src/native_client_ivc_integration.test.ts (
72.339 s)
10:14:58 Client IVC Integration
10:14:58
✓ Should generate a verifiable client IVC proof from a simple mock tx (38607 ms)
10:14:58
✓ Should generate a verifiable client IVC proof from a complex mock tx (30205 ms)
10:14:58
10:14:58
Test Suites: 1 passed, 1 total
10:14:58
Tests: 2 passed, 2 total
10:14:58
Snapshots: 0 total
10:14:58
Time: 72.427 s
10:14:58
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
10:14:58
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?