Parent Log:
http://ci.aztec-labs.com/88af6abc5e7063c3
Command: dc9591c437eedcb5: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/42440bd429a3b283b3a344db0be4652d818bd261
Env: REF_NAME=gh-readonly-queue/next/pr-15046-2469b5f1633350f6be15733c04242af1cdc98227 CURRENT_VERSION=0.87.6 CI_FULL=1
Date: Mon Jun 16 19:45:00 UTC 2025
System: ARCH=amd64 CPUS=128 MEM=493Gi HOSTNAME=pr-15046_amd64_x1-full
Resources: CPU_LIST=0-127 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
19:45:04 [19:45:04.829]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-umzTsa/ivc-inputs.msgpack
19:45:04 [19:45:04.836]
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-umzTsa --ivc_inputs_path /tmp/bb-client-ivc-integration-umzTsa/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
19:45:04 [19:45:04.863]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 184.89 MiB)
19:45:04 [19:45:04.865]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 128 (mem: 184.89 MiB)
19:45:04 --scheme: client_ivc (mem: 184.89 MiB)
19:45:04 --output_path: /tmp/bb-client-ivc-integration-umzTsa (mem: 184.89 MiB)
19:45:04 --ivc_inputs_path: /tmp/bb-client-ivc-integration-umzTsa/ivc-inputs.msgpack (mem: 184.89 MiB)
19:45:04 --verbose: true (mem: 184.89 MiB)
19:45:04 --write_vk: true (mem: 184.89 MiB)
19:45:04 [19:45:04.865]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 184.89 MiB)
19:45:04 [19:45:04.979]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 243.00 MiB)
19:45:05 [19:45:05.051]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 291.40 MiB)
19:45:05 [19:45:05.053]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 291.40 MiB)
19:45:05 [19:45:05.053]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 291.40 MiB)
19:45:05 [19:45:05.056]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 291.40 MiB)
19:45:05 goblin ecc op : 4/1024 (mem: 291.40 MiB)
19:45:05 busread : 7/6000 (mem: 291.40 MiB)
19:45:05 [19:45:05.058]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 291.40 MiB)
19:45:05 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 291.40 MiB)
19:45:05 arithmetic : 1760/56000 (mem: 291.40 MiB)
19:45:05 delta range : 1754/18000 (mem: 291.40 MiB)
19:45:05 elliptic : 2/6000 (mem: 291.40 MiB)
19:45:05 auxiliary : 26/26000 (mem: 291.40 MiB)
19:45:05 poseidon ext : 2/17000 (mem: 291.40 MiB)
19:45:05 poseidon int : 2/92000 (mem: 291.40 MiB)
19:45:05 overflow : 0/0 (mem: 291.40 MiB)
19:45:05 (mem: 291.40 MiB)
19:45:05 Total structured size: 242025 (mem: 291.40 MiB)
19:45:05 allocating polynomials object in proving key... (mem: 291.40 MiB)
19:45:05 [19:45:05.157]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 495.55 MiB)
19:45:05 [19:45:05.168]
INFO:
ivc-integration:test:native bb - time to construct proving key: 114 ms. (mem: 508.55 MiB)
19:45:05 [19:45:05.199]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5c013ef4f640 (mem: 508.55 MiB)
19:45:05 computing oink proof... (mem: 508.55 MiB)
19:45:05 [19:45:05.200]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 508.55 MiB)
19:45:05 [19:45:05.365]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 518.55 MiB)
19:45:05 [19:45:05.375]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 518.55 MiB)
19:45:05 [19:45:05.394]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 518.55 MiB)
19:45:05 Constructing DeciderProvingKey (mem: 518.55 MiB)
19:45:05 [19:45:05.398]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 518.55 MiB)
19:45:05 goblin ecc op : 56/1024 (mem: 518.55 MiB)
19:45:05 busread : 12/6000 (mem: 518.55 MiB)
19:45:05 lookups : 2/15000 (mem: 518.55 MiB)
19:45:05 [19:45:05.398]
INFO:
ivc-integration:test:native bb - pub inputs : 32/5000 (populated in decider pk constructor) (mem: 518.55 MiB)
19:45:05 arithmetic : 4625/56000 (mem: 518.55 MiB)
19:45:05 delta range : 2054/18000 (mem: 518.55 MiB)
19:45:05 elliptic : 2/6000 (mem: 518.55 MiB)
19:45:05 auxiliary : 110/26000 (mem: 518.55 MiB)
19:45:05 poseidon ext : 1302/17000 (mem: 518.55 MiB)
19:45:05 poseidon int : 7412/92000 (mem: 518.55 MiB)
19:45:05 overflow : 0/0 (mem: 518.55 MiB)
19:45:05 (mem: 518.55 MiB)
19:45:05 Total structured size: 242025 (mem: 518.55 MiB)
19:45:05 allocating polynomials object in proving key... (mem: 518.55 MiB)
19:45:05 [19:45:05.505]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 728.55 MiB)
19:45:05 [19:45:05.533]
INFO:
ivc-integration:test:native bb - time to construct proving key: 138 ms. (mem: 744.55 MiB)
19:45:05 [19:45:05.614]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5c013ef5c300 (mem: 744.55 MiB)
19:45:05 computing folding proof (mem: 744.55 MiB)
19:45:05 [19:45:05.616]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 744.55 MiB)
19:45:06 [19:45:06.139]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 744.55 MiB)
19:45:06 [19:45:06.257]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 782.55 MiB)
19:45:06 [19:45:06.331]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 815.55 MiB)
19:45:06 [19:45:06.751]
INFO:
ivc-integration:test:native bb - folded (mem: 815.55 MiB)
19:45:06 constructed folding proof (mem: 815.55 MiB)
19:45:06 [19:45:06.771]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 815.55 MiB)
19:45:06 [19:45:06.852]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 815.55 MiB)
19:45:06 Constructing DeciderProvingKey (mem: 815.55 MiB)
19:45:06 [19:45:06.854]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 815.55 MiB)
19:45:06 [19:45:06.856]
INFO:
ivc-integration:test:native bb -
19:45:06 goblin ecc op : 392/1024 (mem: 815.55 MiB)
19:45:06 busread : 3/6000 (mem: 815.55 MiB)
19:45:06 lookups : 2/15000 (mem: 815.55 MiB)
19:45:06 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 815.55 MiB)
19:45:06 arithmetic : 6849/56000 (mem: 815.55 MiB)
19:45:06 delta range : 2333/18000 (mem: 815.55 MiB)
19:45:06 elliptic : 2/6000 (mem: 815.55 MiB)
19:45:06 auxiliary : 50/26000 (mem: 815.55 MiB)
19:45:06 poseidon ext : 2472/17000 (mem: 815.55 MiB)
19:45:06 poseidon int : 14081/92000 (mem: 815.55 MiB)
19:45:06 overflow : 0/0 (mem: 815.55 MiB)
19:45:06 (mem: 815.55 MiB)
19:45:06 Total structured size: 242025 (mem: 815.55 MiB)
19:45:06 allocating polynomials object in proving key... (mem: 815.55 MiB)
19:45:06 [19:45:06.964]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 815.55 MiB)
19:45:07 [19:45:07.021]
INFO:
ivc-integration:test:native bb - time to construct proving key: 169 ms. (mem: 815.55 MiB)
19:45:07 [19:45:07.229]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x5c013ef49200 (mem: 815.55 MiB)
19:45:07 computing folding proof (mem: 815.55 MiB)
19:45:07 [19:45:07.231]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 815.55 MiB)
19:45:07 [19:45:07.857]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 815.55 MiB)
19:45:08 [19:45:08.013]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 815.55 MiB)
19:45:08 [19:45:08.090]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 815.55 MiB)
19:45:08 [19:45:08.565]
INFO:
ivc-integration:test:native bb - folded (mem: 815.55 MiB)
19:45:08 constructed folding proof (mem: 815.55 MiB)
19:45:08 [19:45:08.576]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 815.55 MiB)
19:45:08 Minimum required block sizes for structured trace: (mem: 815.55 MiB)
19:45:08 (mem: 815.55 MiB)
19:45:08 prove decider... (mem: 815.55 MiB)
19:45:08 [19:45:08.577]
INFO:
ivc-integration:test:native bb - ecc_op : 392
19:45:08 busread : 12
19:45:08 lookup : 2
19:45:08 pub_inputs : 36
19:45:08 arithmetic : 6849
19:45:08 delta_range : 2333
19:45:08 elliptic : 2
19:45:08 aux : 110
19:45:08 poseidon2_external : 2472
19:45:08 poseidon2_internal : 14081
19:45:08 overflow : 0
19:45:08 [19:45:08.774]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 815.55 MiB)
19:45:09 [19:45:09.019]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 815.55 MiB)
19:45:10 [19:45:10.104]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 815.55 MiB)
19:45:10 [19:45:10.196]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 815.55 MiB)
19:45:10 finished decider proving. (mem: 815.55 MiB)
19:45:10 [19:45:10.211]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 815.55 MiB)
19:45:10 [19:45:10.344]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 815.55 MiB)
19:45:10 [19:45:10.349]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 815.55 MiB)
19:45:10 [19:45:10.525]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 815.55 MiB)
19:45:10 [19:45:10.609]
INFO:
ivc-integration:test:native bb - time to construct proving key: 264 ms. (mem: 815.55 MiB)
19:45:11 [19:45:11.824]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 815.55 MiB)
19:45:12 [19:45:12.467]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 815.55 MiB)
19:45:12 [19:45:12.812]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 815.55 MiB)
19:45:14 [19:45:14.642]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 815.55 MiB)
19:45:15 [19:45:15.768]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 815.55 MiB)
19:45:15 [19:45:15.804]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 815.55 MiB)
19:45:15 finished decider proving. (mem: 815.55 MiB)
19:45:15 Constructing a Goblin proof with num ultra ops = 1038 (mem: 815.55 MiB)
19:45:16 [19:45:16.029]
INFO:
ivc-integration:test:native bb - prove eccvm...
19:45:16 [19:45:16.032]
INFO:
ivc-integration:test:native bb - (mem: 815.55 MiB)
19:45:16 [19:45:16.422]
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.55 MiB)
19:45:16 [19:45:16.440]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561
19:45:16 [19:45:16.440]
INFO:
ivc-integration:test:native bb - (mem: 815.55 MiB)
19:45:18 [19:45:18.487]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 815.55 MiB)
19:45:20 [19:45:20.853]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 815.55 MiB)
19:45:26 [19:45:26.239]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem:
19:45:26 [19:45:26.239]
INFO:
ivc-integration:test:native bb - 815.55 MiB)
19:45:26 prove translator... (mem: 815.55 MiB)
19:45:28 [19:45:28.913]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 846.76 MiB)
19:45:31 [19:45:31.624]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck
19:45:31 [19:45:31.625]
INFO:
ivc-integration:test:native bb - (mem: 846.76 MiB)
19:45:34 [19:45:34.223]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 846.76 MiB)
19:45:34 finished translator proving. (mem: 846.76 MiB)
19:45:34 [19:45:34.227]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93
19:45:34 [19:45:34.228]
INFO:
ivc-integration:test:native bb - (mem: 846.76 MiB)
19:45:34 [19:45:34.247]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 846.76 MiB)
19:45:34 libra_evals_verified: 1 (mem: 846.76 MiB)
19:45:34 pairing_check_verified: 1 (mem: 846.76 MiB)
19:45:34 Mega verified: 1 (mem: 846.76 MiB)
19:45:34 [19:45:34.369]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 847.76 MiB)
19:45:34 batch opening verified?: 1 (mem: 847.76 MiB)
19:45:34 eccvm consistency check verified?: 1 (mem: 847.76 MiB)
19:45:34 translation masking consistency checked?: 1 (mem:
19:45:34 [19:45:34.370]
INFO:
ivc-integration:test:native bb - 847.76 MiB)
19:45:34 [19:45:34.414]
INFO:
ivc-integration:test:native bb - merge verified?: 1
19:45:34 [19:45:34.415]
INFO:
ivc-integration:test:native bb - (mem:
19:45:34 [19:45:34.418]
INFO:
ivc-integration:test:native bb - 847.76 MiB)
19:45:34 eccvm verified?: 1 (mem: 847.76 MiB)
19:45:34 accumulator construction_verified?: 1 (mem: 847.76 MiB)
19:45:34 translation verified?: 1 (mem: 847.76 MiB)
19:45:34 consistency verified?: 1 (mem: 847.76 MiB)
19:45:34 Goblin verified: 1 (mem: 847.76 MiB)
19:45:34 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-umzTsa" (mem: 847.76 MiB)
19:45:34 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-umzTsa" (mem: 847.76 MiB)
19:45:34 BN254 commitment key size: 262144 (mem: 847.76 MiB)
19:45:34 [19:45:34.421]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.76 MiB)
19:45:34 [19:45:34.425]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.76 MiB)
19:45:34 goblin ecc op : 4/1024 (mem: 847.76 MiB)
19:45:34 busread : 3/6000 (mem: 847.76 MiB)
19:45:34 lookups : 2/15000 (mem: 847.76 MiB)
19:45:34 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 847.76 MiB)
19:45:34 arithmetic : 1773/56000 (mem: 847.76 MiB)
19:45:34 delta range : 1754/18000 (mem: 847.76 MiB)
19:45:34 elliptic : 2/6000 (mem: 847.76 MiB)
19:45:34 auxiliary : 26/26000 (mem:
19:45:34 [19:45:34.426]
INFO:
ivc-integration:test:native bb - 847.76 MiB)
19:45:34 poseidon ext : 2/17000 (mem: 847.76 MiB)
19:45:34 poseidon int : 2/92000 (mem: 847.76 MiB)
19:45:34 overflow : 0/0 (mem: 847.76 MiB)
19:45:34 (mem: 847.76 MiB)
19:45:34 Total structured size: 242025 (mem: 847.76 MiB)
19:45:34 allocating polynomials object in proving key... (mem: 847.76 MiB)
19:45:34 [19:45:34.737]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 847.76 MiB)
19:45:34 [19:45:34.766]
INFO:
ivc-integration:test:native bb - time to construct proving key: 343 ms. (mem: 847.76 MiB)
19:45:34 [19:45:34.916]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 847.76 MiB)
19:45:35 [19:45:35.930]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 847.76 MiB)
19:45:35 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 847.76 MiB)
19:45:36 [19:45:36.442]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 847.76 MiB)
19:45:36 [19:45:36.454]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 847.76 MiB)
19:45:36 [19:45:36.486]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 847.76 MiB)
19:45:36 [19:45:36.490]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 847.76 MiB)
19:45:36 goblin ecc op : 56/1024 (mem: 847.76 MiB)
19:45:36 busread : 3/6000 (mem: 847.76 MiB)
19:45:36 lookups : 2/15000 (mem: 847.76 MiB)
19:45:36 [19:45:36.495]
INFO:
ivc-integration:test:native bb - pub inputs : 36/5000 (populated in decider pk constructor) (mem: 847.76 MiB)
19:45:36 arithmetic : 4481/56000 (mem: 847.76 MiB)
19:45:36 delta range : 2041/18000 (mem: 847.76 MiB)
19:45:36 elliptic : 2/6000 (mem: 847.76 MiB)
19:45:36 auxiliary : 50/26000 (mem: 847.76 MiB)
19:45:36 poseidon ext : 1312/17000 (mem: 847.76 MiB)
19:45:36 poseidon int : 7469/92000 (mem: 847.76 MiB)
19:45:36 overflow : 0/0 (mem: 847.76 MiB)
19:45:36 (mem: 847.76 MiB)
19:45:36 Total structured size: 242025 (mem: 847.76 MiB)
19:45:36 allocating polynomials object in proving key... (mem: 847.76 MiB)
19:45:36 [19:45:36.683]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 847.76 MiB)
19:45:36 [19:45:36.712]
INFO:
ivc-integration:test:native bb - time to construct proving key: 225 ms. (mem: 847.76 MiB)
19:45:36 [19:45:36.987]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 847.76 MiB)
19:45:37 [19:45:37.833]
INFO:
ivc-integration:test:native bb - computing folding proof
19:45:37 [19:45:37.834]
INFO:
ivc-integration:test:native bb - (mem: 847.76 MiB)
19:45:37 [19:45:37.835]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 847.76 MiB)
19:45:38 [19:45:38.788]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 847.76 MiB)
19:45:38 [19:45:38.974]
INFO:
ivc-integration:test:native bb - perturbator round
19:45:38 [19:45:38.975]
INFO:
ivc-integration:test:native bb - (mem: 848.76 MiB)
19:45:39 [19:45:39.042]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 880.76 MiB)
19:45:39 [19:45:39.471]
INFO:
ivc-integration:test:native bb - folded (mem: 880.76 MiB)
19:45:39 constructed folding proof (mem: 880.76 MiB)
19:45:39 [19:45:39.485]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 880.76 MiB)
19:45:39 Minimum required block sizes for structured trace: (mem: 880.76 MiB)
19:45:39 (mem: 880.76 MiB)
19:45:39 prove decider... (mem: 880.76 MiB)
19:45:39 [19:45:39.485]
INFO:
ivc-integration:test:native bb - ecc_op : 56
19:45:39 busread : 3
19:45:39 lookup : 2
19:45:39 pub_inputs : 36
19:45:39 arithmetic : 4481
19:45:39 delta_range : 2041
19:45:39 elliptic : 2
19:45:39 aux : 50
19:45:39 poseidon2_external : 1312
19:45:39 poseidon2_internal : 7469
19:45:39 overflow : 0
19:45:39 [19:45:39.824]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 880.76 MiB)
19:45:40 [19:45:40.142]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 880.76 MiB)
19:45:41 [19:45:41.284]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 880.76 MiB)
19:45:41 [19:45:41.380]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 880.76 MiB)
19:45:41 finished decider proving. (mem: 880.76 MiB)
19:45:41 [19:45:41.397]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 880.76 MiB)
19:45:41 [19:45:41.508]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 880.76 MiB)
19:45:41 [19:45:41.516]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 880.76 MiB)
19:45:41 [19:45:41.803]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 880.76 MiB)
19:45:41 [19:45:41.850]
INFO:
ivc-integration:test:native bb - time to construct proving key: 341 ms. (mem: 880.76 MiB)
19:45:42 [19:45:42.631]
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-umzTsa/proof -k /tmp/bb-client-ivc-integration-umzTsa/vk -v
19:45:42 [19:45:42.654]
INFO:
ivc-integration:test:native bb command: verify (mem: 184.33 MiB)
19:45:42 Scheme is: client_ivc, num threads: 128 (mem: 184.33 MiB)
19:45:42 --proof_path: /tmp/bb-client-ivc-integration-umzTsa/proof (mem: 184.33 MiB)
19:45:42 --vk_path: /tmp/bb-client-ivc-integration-umzTsa/vk (mem: 184.33 MiB)
19:45:42 --verbose: true (mem: 184.33 MiB)
19:45:42 --scheme: client_ivc (mem: 184.33 MiB)
19:45:42 [19:45:42.750]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 184.33 MiB)
19:45:42 [19:45:42.778]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 184.33 MiB)
19:45:42 vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 184.33 MiB)
19:45:42 [19:45:42.797]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 184.33 MiB)
19:45:42 [19:45:42.800]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 184.33 MiB)
19:45:42 sumcheck_verified: 1 (mem: 184.33 MiB)
19:45:42 libra_evals_verified: 1 (mem: 184.33 MiB)
19:45:42 pairing_check_verified: 1 (mem: 184.33 MiB)
19:45:42 Mega verified: 1 (mem: 184.33 MiB)
19:45:42 [19:45:42.880]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 190.27 MiB)
19:45:42 batch opening verified?: 1 (mem: 190.27 MiB)
19:45:42 eccvm consistency check verified?: 1 (mem: 190.27 MiB)
19:45:42 translation masking consistency checked?: 1 (mem: 190.27
19:45:42 [19:45:42.881]
INFO:
ivc-integration:test:native MiB)
19:45:42 [19:45:42.905]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 190.27 MiB)
19:45:42 eccvm verified?: 1 (mem: 190.27 MiB)
19:45:42 accumulator construction_verified?: 1 (mem: 190.27 MiB)
19:45:42 translation verified?: 1 (mem: 190.27 MiB)
19:45:42 consistency verified?: 1 (mem: 190.27 MiB)
19:45:42 Goblin verified: 1 (mem: 190.27 MiB)
19:45:42 [19:45:42.908]
INFO:
ivc-integration:test:native verified: 1 (mem: 190.27 MiB)
19:45:43 [19:45:43.005]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-ib4yjn/ivc-inputs.msgpack
19:45:43 [19:45:43.006]
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-ib4yjn --ivc_inputs_path /tmp/bb-client-ivc-integration-ib4yjn/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
19:45:43 [19:45:43.043]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 184.74 MiB)
19:45:43 Scheme is: client_ivc, num threads: 128 (mem: 184.74 MiB)
19:45:43 --scheme: client_ivc (mem: 184.74 MiB)
19:45:43 --output_path: /tmp/bb-client-ivc-integration-ib4yjn (mem: 184.74 MiB)
19:45:43 --ivc_inputs_path: /tmp/bb-client-ivc-integration-ib4yjn/ivc-inputs.msgpack (mem: 184.74 MiB)
19:45:43 --verbose: true (mem: 184.74 MiB)
19:45:43 --write_vk: true (mem: 184.74 MiB)
19:45:43 [19:45:43.056]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 184.74 MiB)
19:45:43 [19:45:43.187]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 256.00 MiB)
19:45:43 [19:45:43.280]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 263169 (mem: 304.74 MiB)
19:45:43 [19:45:43.285]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 304.74 MiB)
19:45:43 Constructing DeciderProvingKey (mem: 304.74 MiB)
19:45:43 [19:45:43.293]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 304.74 MiB)
19:45:43 goblin ecc op : 4/1024 (mem: 304.74 MiB)
19:45:43 busread : 7/6000 (mem: 304.74 MiB)
19:45:43 lookups : 2/15000 (mem: 304.74 MiB)
19:45:43 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 304.74 MiB)
19:45:43 arithmetic : 1760/56000 (mem: 304.74 MiB)
19:45:43 delta range : 1754/18000 (mem: 304.74 MiB)
19:45:43 elliptic : 2/6000 (mem: 304.74 MiB)
19:45:43 auxiliary : 26/26000 (mem: 304.74 MiB)
19:45:43 poseidon ext : 2/17000 (mem: 304.74 MiB)
19:45:43 poseidon int : 2/92000 (mem: 304.74 MiB)
19:45:43 overflow : 0/0 (mem: 304.74 MiB)
19:45:43 (mem: 304.74 MiB)
19:45:43 Total structured size: 242025 (mem: 304.74 MiB)
19:45:43 allocating polynomials object in proving key... (mem: 304.74 MiB)
19:45:43 [19:45:43.446]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 504.74 MiB)
19:45:43 [19:45:43.462]
INFO:
ivc-integration:test:native bb - time to construct proving key: 176 ms. (mem: 513.74 MiB)
19:45:43 [19:45:43.548]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61da384fe480 (mem: 513.74 MiB)
19:45:43 computing oink proof... (mem: 513.74 MiB)
19:45:43 [19:45:43.549]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 513.74 MiB)
19:45:43 [19:45:43.837]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 522.74
19:45:43 [19:45:43.838]
INFO:
ivc-integration:test:native bb - MiB)
19:45:43 [19:45:43.847]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 523.74 MiB)
19:45:43 [19:45:43.875]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 523.74 MiB)
19:45:43 Constructing DeciderProvingKey (mem: 523.74 MiB)
19:45:43 [19:45:43.878]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 523.74 MiB)
19:45:43 goblin ecc op : 56/1024 (mem: 523.74 MiB)
19:45:43 [19:45:43.879]
INFO:
ivc-integration:test:native bb - busread : 12/6000 (mem: 523.74 MiB)
19:45:43 lookups : 2/15000 (mem: 523.74 MiB)
19:45:43 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 523.74 MiB)
19:45:43 arithmetic : 4625/56000 (mem: 523.74 MiB)
19:45:43 delta range : 2054/18000 (mem: 523.74 MiB)
19:45:43 elliptic : 2/6000 (mem: 523.74 MiB)
19:45:43 auxiliary : 110/26000 (mem: 523.74 MiB)
19:45:43 poseidon ext : 1302/17000 (mem: 523.74 MiB)
19:45:43 poseidon int : 7412/92000 (mem: 523.74 MiB)
19:45:43 overflow : 0/0 (mem: 523.74 MiB)
19:45:43 (mem: 523.74 MiB)
19:45:43 Total structured size: 242025 (mem: 523.74 MiB)
19:45:43 allocating polynomials object in proving key... (mem: 523.74 MiB)
19:45:44 [19:45:44.176]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 732.74 MiB)
19:45:44 [19:45:44.234]
INFO:
ivc-integration:test:native bb - time to construct proving key: 360 ms. (mem: 748.74 MiB)
19:45:44 [19:45:44.315]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61da38507700 (mem: 748.74 MiB)
19:45:44 computing folding proof (mem: 748.74 MiB)
19:45:44 [19:45:44.319]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 748.74 MiB)
19:45:45 [19:45:45.017]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 751.74 MiB)
19:45:45 [19:45:45.150]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 789.74 MiB)
19:45:45 [19:45:45.209]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 821.74 MiB)
19:45:45 [19:45:45.625]
INFO:
ivc-integration:test:native bb - folded (mem: 821.74 MiB)
19:45:45 constructed folding proof (mem: 821.74 MiB)
19:45:45 [19:45:45.631]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 821.74 MiB)
19:45:45 [19:45:45.632]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 821.74 MiB)
19:45:45 [19:45:45.637]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.74 MiB)
19:45:45 goblin ecc op : 4/1024 (mem: 821.74 MiB)
19:45:45 busread : 7/6000
19:45:45 [19:45:45.638]
INFO:
ivc-integration:test:native bb - (mem: 821.74 MiB)
19:45:45 lookups : 2/15000 (mem: 821.74 MiB)
19:45:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 821.74 MiB)
19:45:45 arithmetic : 1760/56000 (mem: 821.74 MiB)
19:45:45 delta range : 1754/18000 (mem: 821.74 MiB)
19:45:45 elliptic : 2/6000 (mem: 821.74 MiB)
19:45:45 auxiliary : 26/26000 (mem: 821.74 MiB)
19:45:45 poseidon ext : 2/17000 (mem: 821.74 MiB)
19:45:45 poseidon int : 2/92000 (mem: 821.74 MiB)
19:45:45 overflow : 0/0 (mem: 821.74 MiB)
19:45:45 (mem: 821.74 MiB)
19:45:45 Total structured size: 242025 (mem: 821.74 MiB)
19:45:45 allocating polynomials object in proving key... (mem: 821.74 MiB)
19:45:45 [19:45:45.736]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 821.74 MiB)
19:45:45 [19:45:45.757]
INFO:
ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 821.74 MiB)
19:45:45 [19:45:45.869]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61da384fecc0 (mem: 821.74 MiB)
19:45:45 computing folding proof (mem: 821.74 MiB)
19:45:45 [19:45:45.870]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.74 MiB)
19:45:46 [19:45:46.240]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.74 MiB)
19:45:46 [19:45:46.364]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 821.74 MiB)
19:45:46 [19:45:46.414]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 821.74 MiB)
19:45:46 [19:45:46.779]
INFO:
ivc-integration:test:native bb - folded (mem: 821.74 MiB)
19:45:46 constructed folding proof (mem:
19:45:46 [19:45:46.780]
INFO:
ivc-integration:test:native bb - 821.74 MiB)
19:45:46 [19:45:46.791]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 821.74 MiB)
19:45:46 [19:45:46.853]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 821.74 MiB)
19:45:46 [19:45:46.945]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 821.74 MiB)
19:45:46 Constructing DeciderProvingKey (mem: 821.74 MiB)
19:45:46 [19:45:46.950]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 821.74 MiB)
19:45:46 goblin ecc op : 792/1024 (mem: 821.74 MiB)
19:45:46 busread : 12/6000 (mem: 821.74 MiB)
19:45:46 lookups : 2/15000 (mem: 821.74 MiB)
19:45:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 821.74 MiB)
19:45:46 arithmetic : 12080/56000 (mem: 821.74 MiB)
19:45:46 delta range : 2942/18000
19:45:46 [19:45:46.951]
INFO:
ivc-integration:test:native bb - (mem: 821.74 MiB)
19:45:46 elliptic : 2/6000 (mem: 821.74 MiB)
19:45:46 auxiliary : 350/26000 (mem: 821.74 MiB)
19:45:46 poseidon ext : 4942/17000 (mem: 821.74 MiB)
19:45:46 poseidon int : 28160/92000 (mem: 821.74 MiB)
19:45:46 overflow : 0/0 (mem: 821.74 MiB)
19:45:46 (mem: 821.74 MiB)
19:45:46 Total structured size: 242025 (mem: 821.74 MiB)
19:45:46 allocating polynomials object in proving key... (mem: 821.74 MiB)
19:45:47 [19:45:47.040]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 821.74 MiB)
19:45:47 [19:45:47.076]
INFO:
ivc-integration:test:native bb - time to construct proving key: 132 ms. (mem: 821.74 MiB)
19:45:47 [19:45:47.171]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61da3857c540 (mem: 821.74 MiB)
19:45:47 computing folding proof (mem: 821.74 MiB)
19:45:47 [19:45:47.172]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 821.74 MiB)
19:45:47 [19:45:47.519]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 821.74 MiB)
19:45:47 [19:45:47.648]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 821.74 MiB)
19:45:47 [19:45:47.711]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 850.55 MiB)
19:45:48 [19:45:48.050]
INFO:
ivc-integration:test:native bb - folded (mem: 850.55 MiB)
19:45:48 constructed folding proof (mem: 850.55 MiB)
19:45:48 [19:45:48.058]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 850.55 MiB)
19:45:48 [19:45:48.134]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 850.55 MiB)
19:45:48 Constructing DeciderProvingKey (mem: 850.55 MiB)
19:45:48 [19:45:48.139]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 850.55 MiB)
19:45:48 goblin ecc op : 392/1024 (mem: 850.55 MiB)
19:45:48 busread : 16/6000 (mem: 850.55
19:45:48 [19:45:48.140]
INFO:
ivc-integration:test:native bb - MiB)
19:45:48 lookups : 2/15000 (mem: 850.55 MiB)
19:45:48 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 850.55 MiB)
19:45:48 arithmetic : 6914/56000 (mem: 850.55 MiB)
19:45:48 delta range : 2347/18000 (mem: 850.55 MiB)
19:45:48 elliptic : 2/6000 (mem: 850.55 MiB)
19:45:48 auxiliary : 77/26000 (mem: 850.55 MiB)
19:45:48 poseidon ext : 2472/17000 (mem: 850.55 MiB)
19:45:48 poseidon int : 14081/92000 (mem: 850.55 MiB)
19:45:48 overflow : 0/0 (mem: 850.55 MiB)
19:45:48 (mem: 850.55 MiB)
19:45:48 Total structured size: 242025 (mem: 850.55 MiB)
19:45:48 allocating polynomials object in proving key... (mem: 850.55 MiB)
19:45:48 [19:45:48.248]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 850.55 MiB)
19:45:48 [19:45:48.282]
INFO:
ivc-integration:test:native bb - time to construct proving key: 147 ms. (mem: 850.55 MiB)
19:45:48 [19:45:48.438]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61da3850e0c0 (mem: 850.55 MiB)
19:45:48 computing folding proof (mem: 850.55 MiB)
19:45:48 [19:45:48.439]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 850.55 MiB)
19:45:48 [19:45:48.850]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 850.55 MiB)
19:45:48 [19:45:48.956]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 850.55 MiB)
19:45:49 [19:45:49.022]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 851.37 MiB)
19:45:49 [19:45:49.290]
INFO:
ivc-integration:test:native bb - folded (mem: 851.37 MiB)
19:45:49 constructed folding proof (mem: 851.37 MiB)
19:45:49 [19:45:49.302]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 851.37 MiB)
19:45:49 [19:45:49.382]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 851.37 MiB)
19:45:49 Constructing DeciderProvingKey (mem: 851.37 MiB)
19:45:49 [19:45:49.386]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 851.37 MiB)
19:45:49 goblin ecc op : 392/1024 (mem: 851.37 MiB)
19:45:49 busread : 3/6000 (mem: 851.37 MiB)
19:45:49 lookups : 2/15000 (mem: 851.37 MiB)
19:45:49 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 851.37 MiB)
19:45:49 arithmetic : 6849/56000 (mem: 851.37 MiB)
19:45:49 [19:45:49.387]
INFO:
ivc-integration:test:native bb - delta range : 2333/18000 (mem: 851.37 MiB)
19:45:49 elliptic : 2/6000 (mem: 851.37 MiB)
19:45:49 auxiliary : 50/26000 (mem: 851.37 MiB)
19:45:49 poseidon ext : 2472/17000 (mem: 851.37 MiB)
19:45:49 poseidon int : 14081/92000 (mem: 851.37 MiB)
19:45:49 overflow : 0/0 (mem: 851.37 MiB)
19:45:49 (mem: 851.37 MiB)
19:45:49 Total structured size: 242025 (mem: 851.37 MiB)
19:45:49 allocating polynomials object in proving key... (mem: 851.37 MiB)
19:45:49 [19:45:49.470]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 851.37 MiB)
19:45:49 [19:45:49.508]
INFO:
ivc-integration:test:native bb - time to construct proving key: 125 ms. (mem: 851.37 MiB)
19:45:49 [19:45:49.678]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0x61da385632c0 (mem: 851.37 MiB)
19:45:49 computing folding proof (mem: 851.37 MiB)
19:45:49 vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 851.37 MiB)
19:45:50 [19:45:50.059]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 851.37 MiB)
19:45:50 [19:45:50.162]
INFO:
ivc-integration:test:native bb - perturbator round (mem:
19:45:50 [19:45:50.163]
INFO:
ivc-integration:test:native bb - 851.37 MiB)
19:45:50 [19:45:50.244]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 851.86 MiB)
19:45:50 [19:45:50.434]
INFO:
ivc-integration:test:native bb - folded (mem: 851.86 MiB)
19:45:50 constructed folding proof (mem: 851.86 MiB)
19:45:50 [19:45:50.436]
INFO:
ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 851.86 MiB)
19:45:50 Minimum required block sizes for structured trace: (mem: 851.86 MiB)
19:45:50 (mem: 851.86 MiB)
19:45:50 prove decider... (mem: 851.86 MiB)
19:45:50 [19:45:50.436]
INFO:
ivc-integration:test:native bb - ecc_op : 792
19:45:50 busread : 16
19:45:50 lookup : 2
19:45:50 pub_inputs : 36
19:45:50 arithmetic : 12080
19:45:50 delta_range : 2942
19:45:50 elliptic : 2
19:45:50 aux : 350
19:45:50 poseidon2_external : 4942
19:45:50 poseidon2_internal : 28160
19:45:50 overflow : 0
19:45:50 [19:45:50.555]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.86 MiB)
19:45:50 [19:45:50.677]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 851.86 MiB)
19:45:51 [19:45:51.335]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 851.86 MiB)
19:45:51 [19:45:51.420]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 851.86 MiB)
19:45:51 finished decider proving. (mem: 851.86 MiB)
19:45:51 [19:45:51.435]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 851.86 MiB)
19:45:51 [19:45:51.540]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 851.86 MiB)
19:45:51 [19:45:51.547]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key...
19:45:51 [19:45:51.548]
INFO:
ivc-integration:test:native bb - (mem: 851.86 MiB)
19:45:51 [19:45:51.549]
INFO:
ivc-integration:test:native bb -
19:45:51 [19:45:51.641]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 851.86 MiB)
19:45:51 [19:45:51.677]
INFO:
ivc-integration:test:native bb - time to construct proving key: 137 ms. (mem: 851.86 MiB)
19:45:52 [19:45:52.191]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 851.86 MiB)
19:45:52 [19:45:52.562]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 851.86 MiB)
19:45:52 [19:45:52.750]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.86 MiB)
19:45:53 [19:45:53.316]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 851.86 MiB)
19:45:53 [19:45:53.890]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 851.86 MiB)
19:45:53 [19:45:53.915]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 851.86 MiB)
19:45:53 finished decider proving. (mem: 851.86 MiB)
19:45:53 [19:45:53.915]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 851.86 MiB)
19:45:54 [19:45:54.093]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 851.86 MiB)
19:45:54 [19:45:54.387]
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.86 MiB)
19:45:54 [19:45:54.400]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 851.86 MiB)
19:45:55 [19:45:55.571]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 851.86 MiB)
19:45:56 [19:45:56.988]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 851.86 MiB)
19:45:59 [19:45:59.638]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 851.86 MiB)
19:45:59 prove translator... (mem: 851.86 MiB)
19:46:02 [19:46:02.099]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 866.92 MiB)
19:46:04 [19:46:04.623]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 866.92 MiB)
19:46:07 [19:46:07.025]
INFO:
ivc-integration:test:native bb - computed opening proof
19:46:07 [19:46:07.026]
INFO:
ivc-integration:test:native bb - (mem: 866.92 MiB)
19:46:07 finished translator proving. (mem: 866.92 MiB)
19:46:07 [19:46:07.032]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 866.92 MiB)
19:46:07 [19:46:07.050]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 866.92 MiB)
19:46:07 libra_evals_verified: 1 (mem: 866.92 MiB)
19:46:07 pairing_check_verified: 1 (mem: 866.92 MiB)
19:46:07 [19:46:07.055]
INFO:
ivc-integration:test:native bb - Mega verified: 1 (mem: 866.92 MiB)
19:46:07 [19:46:07.148]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 866.92 MiB)
19:46:07 batch opening verified?: 1 (mem: 866.92 MiB)
19:46:07 eccvm consistency check verified?: 1 (mem: 866.92 MiB)
19:46:07 translation masking consistency checked?: 1 (mem: 866.92 MiB)
19:46:07 [19:46:07.187]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 866.92 MiB)
19:46:07 eccvm verified?: 1 (mem: 866.92 MiB)
19:46:07 accumulator construction_verified?: 1 (mem: 866.92 MiB)
19:46:07 translation verified?: 1 (mem: 866.92 MiB)
19:46:07 consistency verified?: 1 (mem: 866.92 MiB)
19:46:07 Goblin verified: 1 (mem: 866.92 MiB)
19:46:07 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-ib4yjn" (mem: 866.92 MiB)
19:46:07 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-ib4yjn" (mem: 866.92 MiB)
19:46:07 BN254 commitment key size: 262144 (mem: 866.92 MiB)
19:46:07 [19:46:07.204]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 866.92 MiB)
19:46:07 [19:46:07.214]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 866.92 MiB)
19:46:07 goblin ecc op : 4/1024 (mem: 866.92 MiB)
19:46:07 busread : 3/6000 (mem: 866.92 MiB)
19:46:07 lookups : 2/15000 (mem: 866.92 MiB)
19:46:07 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 866.92 MiB)
19:46:07 arithmetic : 1773/56000 (mem: 866.92 MiB)
19:46:07 delta range : 1754/18000 (mem: 866.92 MiB)
19:46:07 elliptic : 2/6000 (mem: 866.92 MiB)
19:46:07 auxiliary : 26/26000 (mem: 866.92 MiB)
19:46:07 poseidon ext : 2/17000 (mem: 866.92 MiB)
19:46:07 poseidon int : 2/92000 (mem: 866.92 MiB)
19:46:07 overflow : 0/0 (mem: 866.92 MiB)
19:46:07 (mem: 866.92 MiB)
19:46:07 Total structured size: 242025 (mem: 866.92 MiB)
19:46:07 allocating polynomials object in proving key... (mem: 866.92 MiB)
19:46:07 [19:46:07.315]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 866.92 MiB)
19:46:07 [19:46:07.364]
INFO:
ivc-integration:test:native bb - time to construct proving key: 167 ms. (mem: 866.92 MiB)
19:46:07 [19:46:07.438]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 866.92 MiB)
19:46:08 [19:46:08.139]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 866.92 MiB)
19:46:08 vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 866.92 MiB)
19:46:08 [19:46:08.611]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 866.92 MiB)
19:46:08 [19:46:08.621]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 866.92 MiB)
19:46:08 [19:46:08.638]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 866.92 MiB)
19:46:08 [19:46:08.642]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 866.92 MiB)
19:46:08 goblin ecc op : 56/1024 (mem: 866.92 MiB)
19:46:08 busread : 3/6000 (mem: 866.92 MiB)
19:46:08 lookups : 2/15000 (mem: 866.92 MiB)
19:46:08 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 866.92 MiB)
19:46:08 arithmetic : 4481/56000 (mem: 866.92 MiB)
19:46:08 delta range : 2041/18000 (mem: 866.92 MiB)
19:46:08 elliptic : 2/6000 (mem: 866.92 MiB)
19:46:08 auxiliary : 50/26000 (mem: 866.92 MiB)
19:46:08 poseidon ext : 1312/17000 (mem: 866.92 MiB)
19:46:08 poseidon int : 7469/92000 (mem: 866.92 MiB)
19:46:08 overflow : 0/0 (mem: 866.92 MiB)
19:46:08 (mem: 866.92 MiB)
19:46:08 Total structured size: 242025 (mem: 866.92 MiB)
19:46:08 allocating polynomials object in proving key... (mem: 866.92 MiB)
19:46:08 [19:46:08.871]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 866.92 MiB)
19:46:08 [19:46:08.900]
INFO:
ivc-integration:test:native bb - time to construct proving key: 250 ms. (mem: 866.92 MiB)
19:46:09 [19:46:09.079]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 866.92 MiB)
19:46:09 [19:46:09.649]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 866.92 MiB)
19:46:09 [19:46:09.650]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 866.92 MiB)
19:46:10 [19:46:10.174]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 866.92 MiB)
19:46:10 [19:46:10.266]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 866.92 MiB)
19:46:10 [19:46:10.313]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 898.92 MiB)
19:46:10 [19:46:10.411]
INFO:
ivc-integration:test:native bb - folded (mem: 898.92 MiB)
19:46:10 constructed folding proof (mem: 898.92 MiB)
19:46:10 [19:46:10.412]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 898.92 MiB)
19:46:10 Minimum required block sizes for structured trace: (mem: 898.92 MiB)
19:46:10 (mem: 898.92 MiB)
19:46:10 prove decider... (mem: 898.92 MiB)
19:46:10 [19:46:10.412]
INFO:
ivc-integration:test:native bb - ecc_op : 56
19:46:10 busread : 3
19:46:10 lookup : 2
19:46:10 pub_inputs : 36
19:46:10 arithmetic : 4481
19:46:10 delta_range : 2041
19:46:10 elliptic : 2
19:46:10 aux : 50
19:46:10 poseidon2_external : 1312
19:46:10 poseidon2_internal : 7469
19:46:10 overflow : 0
19:46:10 [19:46:10.483]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 898.92 MiB)
19:46:10 [19:46:10.596]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 898.92 MiB)
19:46:11 [19:46:11.239]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 898.92 MiB)
19:46:11 [19:46:11.327]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 898.92 MiB)
19:46:11 finished decider proving. (mem: 898.92 MiB)
19:46:11 [19:46:11.338]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 898.92 MiB)
19:46:11 [19:46:11.466]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 898.92 MiB)
19:46:11 [19:46:11.473]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 898.92 MiB)
19:46:11 [19:46:11.559]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 898.92 MiB)
19:46:11 [19:46:11.611]
INFO:
ivc-integration:test:native bb - time to construct proving key: 144 ms. (mem: 898.92 MiB)
19:46:12 [19:46:12.213]
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-ib4yjn/proof -k /tmp/bb-client-ivc-integration-ib4yjn/vk -v
19:46:12 [19:46:12.234]
INFO:
ivc-integration:test:native bb command: verify (mem: 190.02 MiB)
19:46:12 [19:46:12.235]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 128 (mem: 190.02 MiB)
19:46:12 --proof_path: /tmp/bb-client-ivc-integration-ib4yjn/proof (mem: 190.02 MiB)
19:46:12 --vk_path: /tmp/bb-client-ivc-integration-ib4yjn/vk (mem: 190.02 MiB)
19:46:12 --verbose: true (mem: 190.02 MiB)
19:46:12 --scheme: client_ivc (mem: 190.02 MiB)
19:46:12 [19:46:12.317]
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.02 MiB)
19:46:12 [19:46:12.334]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66561 (mem: 190.02 MiB)
19:46:12 [19:46:12.335]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 190.02 MiB)
19:46:12 [19:46:12.350]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 190.02 MiB)
19:46:12 [19:46:12.351]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 1025 (mem: 190.02 MiB)
19:46:12 [19:46:12.351]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 190.02 MiB)
19:46:12 libra_evals_verified: 1 (mem: 190.02 MiB)
19:46:12 pairing_check_verified: 1 (mem: 190.02 MiB)
19:46:12 Mega verified: 1 (mem: 190.02 MiB)
19:46:12 [19:46:12.400]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 190.02 MiB)
19:46:12 batch opening verified?: 1 (mem: 190.02 MiB)
19:46:12 eccvm consistency check verified?: 1 (mem: 190.02 MiB)
19:46:12 translation masking consistency checked?: 1 (mem: 190.02 MiB)
19:46:12 [19:46:12.421]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 190.02 MiB)
19:46:12 eccvm verified?: 1 (mem: 190.02 MiB)
19:46:12 accumulator construction_verified?: 1 (mem:
19:46:12 [19:46:12.421]
INFO:
ivc-integration:test:native 190.02 MiB)
19:46:12 translation verified?: 1 (mem: 190.02 MiB)
19:46:12 consistency verified?: 1 (mem: 190.02 MiB)
19:46:12 Goblin verified: 1 (mem: 190.02 MiB)
19:46:12 [19:46:12.428]
INFO:
ivc-integration:test:native verified: 1 (mem: 190.02 MiB)
19:46:12
PASS src/native_client_ivc_integration.test.ts (
71.167 s)
19:46:12 Client IVC Integration
19:46:12
✓ Should generate a verifiable client IVC proof from a simple mock tx (38189 ms)
19:46:12
✓ Should generate a verifiable client IVC proof from a complex mock tx (29501 ms)
19:46:12
19:46:12
Test Suites: 1 passed, 1 total
19:46:12
Tests: 2 passed, 2 total
19:46:12
Snapshots: 0 total
19:46:12
Time: 71.284 s
19:46:12
Ran all test suites matching ivc-integration/src/native_client_ivc_integration.test.ts
.
19:46:12
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?