Parent Log:
http://ci.aztec-labs.com/a6ad5c00f5faa201
Command: 4a8fdb7487b9ad73: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/420e0a54fb4bfe8b04d7dd479f59ed0fe3ad3b74
Env: REF_NAME=gh-readonly-queue/next/pr-14922-106f897363bb5aee27ddd091b5be9641b011c5bb CURRENT_VERSION=0.87.6 CI_FULL=0
Date: Thu Jun 12 16:08:27 UTC 2025
System: ARCH=arm64 CPUS=64 MEM=247Gi HOSTNAME=pr-14922_arm64_a1-fast
Resources: CPU_LIST=0-63 CPUS=8 MEM=32g TIMEOUT=600s
History:
http://ci.aztec-labs.com/list/history_727c530b0d162492_next
16:08:30 [16:08:30.853]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-cScU1l/ivc-inputs.msgpack
16:08:30 [16:08:30.857]
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-cScU1l --ivc_inputs_path /tmp/bb-client-ivc-integration-cScU1l/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
16:08:30 [16:08:30.871]
INFO:
ivc-integration:test:native bb - bb command: prove (mem:
16:08:30 [16:08:30.872]
INFO:
ivc-integration:test:native bb - 140.89 MiB)
16:08:30 Scheme is: client_ivc, num threads: 64 (mem: 140.89 MiB)
16:08:30 --scheme: client_ivc (mem: 140.89 MiB)
16:08:30 --output_path: /tmp/bb-client-ivc-integration-cScU1l (mem: 140.89 MiB)
16:08:30 --ivc_inputs_path: /tmp/bb-client-ivc-integration-cScU1l/ivc-inputs.msgpack (mem: 140.89 MiB)
16:08:30 --verbose: true (mem: 140.89 MiB)
16:08:30 --write_vk: true (mem: 140.89 MiB)
16:08:30 [16:08:30.872]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 140.89 MiB)
16:08:30 [16:08:30.903]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 195.50 MiB)
16:08:30 [16:08:30.962]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262657 (mem: 243.55 MiB)
16:08:30 [16:08:30.965]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 243.55 MiB)
16:08:30 Constructing DeciderProvingKey (mem: 243.55 MiB)
16:08:30 [16:08:30.968]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 243.55 MiB)
16:08:30 goblin ecc op : 4/1024 (mem: 243.55 MiB)
16:08:30 busread : 7/6000 (mem: 243.55 MiB)
16:08:30 [16:08:30.969]
INFO:
ivc-integration:test:native bb - lookups : 2/15000 (mem: 243.55 MiB)
16:08:30 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 243.55 MiB)
16:08:30 arithmetic : 1760/56000 (mem: 243.55 MiB)
16:08:30 delta range : 1754/18000 (mem: 243.55 MiB)
16:08:30 elliptic : 2/6000 (mem: 243.55 MiB)
16:08:30 auxiliary : 26/26000 (mem: 243.55 MiB)
16:08:30 poseidon ext : 2/17000 (mem: 243.55 MiB)
16:08:30 poseidon int : 2/92000 (mem: 243.55 MiB)
16:08:30 overflow : 0/0 (mem: 243.55 MiB)
16:08:30 (mem: 243.55 MiB)
16:08:30 Total structured size: 242025 (mem: 243.55 MiB)
16:08:30 allocating polynomials object in proving key... (mem: 243.55 MiB)
16:08:31 [16:08:31.009]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 453.64 MiB)
16:08:31 [16:08:31.013]
INFO:
ivc-integration:test:native bb - time to construct proving key: 47 ms. (mem: 468.64 MiB)
16:08:31 [16:08:31.025]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc778a34c2e00 (mem: 468.64 MiB)
16:08:31 [16:08:31.026]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 468.64 MiB)
16:08:31 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 468.64 MiB)
16:08:31 [16:08:31.586]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 469.14 MiB)
16:08:31 [16:08:31.745]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 478.14 MiB)
16:08:31 [16:08:31.748]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 478.14 MiB)
16:08:31 [16:08:31.756]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 478.64 MiB)
16:08:31 Constructing DeciderProvingKey (mem: 478.64 MiB)
16:08:31 [16:08:31.758]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 478.64 MiB)
16:08:31 goblin ecc op : 56/1024 (mem: 478.64 MiB)
16:08:31 busread : 12/6000 (mem: 478.64 MiB)
16:08:31 [16:08:31.759]
INFO:
ivc-integration:test:native bb -
16:08:31 lookups : 2/15000 (mem: 478.64 MiB)
16:08:31 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 478.64 MiB)
16:08:31 arithmetic : 4625/56000 (mem: 478.64 MiB)
16:08:31 delta range : 2054/18000 (mem: 478.64 MiB)
16:08:31 elliptic : 2/6000 (mem: 478.64 MiB)
16:08:31 auxiliary : 110/26000 (mem: 478.64 MiB)
16:08:31 poseidon ext : 1302/17000 (mem: 478.64 MiB)
16:08:31 poseidon int : 7412/92000 (mem: 478.64 MiB)
16:08:31 overflow : 0/0 (mem: 478.64 MiB)
16:08:31 (mem: 478.64 MiB)
16:08:31 Total structured size: 242025 (mem: 478.64 MiB)
16:08:31 allocating polynomials object in proving key... (mem: 478.64 MiB)
16:08:31 [16:08:31.807]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 690.14 MiB)
16:08:31 [16:08:31.815]
INFO:
ivc-integration:test:native bb - time to construct proving key: 58 ms. (mem: 706.14 MiB)
16:08:31 [16:08:31.833]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc778a34bbac0 (mem: 706.14 MiB)
16:08:31 computing folding proof (mem:
16:08:31 [16:08:31.834]
INFO:
ivc-integration:test:native bb - 706.14 MiB)
16:08:31 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 706.14 MiB)
16:08:32 [16:08:32.283]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 706.14 MiB)
16:08:32 [16:08:32.519]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 710.14 MiB)
16:08:32 [16:08:32.568]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 743.64 MiB)
16:08:32 [16:08:32.603]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 776.14 MiB)
16:08:32 [16:08:32.736]
INFO:
ivc-integration:test:native bb - folded (mem: 776.14 MiB)
16:08:32 constructed folding proof (mem: 776.14 MiB)
16:08:32 [16:08:32.740]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 776.14 MiB)
16:08:32 [16:08:32.780]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 776.14 MiB)
16:08:32 Constructing DeciderProvingKey (mem: 776.14 MiB)
16:08:32 [16:08:32.782]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 776.14 MiB)
16:08:32 goblin ecc op : 392/1024 (mem: 776.14 MiB)
16:08:32 busread : 3/6000 (mem: 776.14 MiB)
16:08:32 lookups : 2/15000 (mem: 776.14 MiB)
16:08:32 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 776.14 MiB)
16:08:32 [16:08:32.783]
INFO:
ivc-integration:test:native bb - arithmetic : 6849/56000 (mem: 776.14 MiB)
16:08:32 delta range : 2333/18000 (mem: 776.14 MiB)
16:08:32 elliptic : 2/6000 (mem: 776.14 MiB)
16:08:32 auxiliary : 50/26000 (mem: 776.14 MiB)
16:08:32 poseidon ext : 2472/17000 (mem: 776.14 MiB)
16:08:32 poseidon int : 14081/92000 (mem: 776.14 MiB)
16:08:32 overflow : 0/0 (mem: 776.14 MiB)
16:08:32 (mem: 776.14 MiB)
16:08:32 Total structured size: 242025 (mem: 776.14 MiB)
16:08:32 allocating polynomials object in proving key... (mem: 776.14 MiB)
16:08:32 [16:08:32.806]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 776.14 MiB)
16:08:32 [16:08:32.817]
INFO:
ivc-integration:test:native bb - time to construct proving key: 37 ms. (mem: 776.14 MiB)
16:08:32 [16:08:32.856]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc778a34c5440 (mem: 776.14 MiB)
16:08:32 computing folding proof (mem: 776.14 MiB)
16:08:32 [16:08:32.857]
INFO:
ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 776.14 MiB)
16:08:33 [16:08:33.202]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 776.14 MiB)
16:08:33 [16:08:33.432]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 776.14 MiB)
16:08:33 [16:08:33.477]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 776.14 MiB)
16:08:33 [16:08:33.510]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 785.14 MiB)
16:08:33 [16:08:33.638]
INFO:
ivc-integration:test:native bb - folded (mem: 785.14 MiB)
16:08:33 constructed folding proof (mem: 785.14 MiB)
16:08:33 [16:08:33.638]
INFO:
ivc-integration:test:native bb - Largest circuit: 25792 gates. Trace details: (mem: 785.14 MiB)
16:08:33 Minimum required block sizes for structured trace: (mem: 785.14 MiB)
16:08:33 (mem: 785.14 MiB)
16:08:33 prove decider... (mem: 785.14 MiB)
16:08:33 [16:08:33.639]
INFO:
ivc-integration:test:native bb - ecc_op : 392
16:08:33 busread : 12
16:08:33 lookup : 2
16:08:33 pub_inputs : 36
16:08:33 arithmetic : 6849
16:08:33 delta_range : 2333
16:08:33 elliptic : 2
16:08:33 aux : 110
16:08:33 poseidon2_external : 2472
16:08:33 poseidon2_internal : 14081
16:08:33 overflow : 0
16:08:33 [16:08:33.666]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 785.14 MiB)
16:08:33 [16:08:33.735]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 785.14 MiB)
16:08:34 [16:08:34.150]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 785.14 MiB)
16:08:34 [16:08:34.204]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 785.14 MiB)
16:08:34 finished decider proving. (mem: 785.14 MiB)
16:08:34 [16:08:34.213]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 785.14 MiB)
16:08:34 [16:08:34.274]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 785.14 MiB)
16:08:34 [16:08:34.276]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 785.14 MiB)
16:08:34 [16:08:34.330]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 785.14 MiB)
16:08:34 [16:08:34.350]
INFO:
ivc-integration:test:native bb - time to construct proving key: 76 ms. (mem: 785.14 MiB)
16:08:34 [16:08:34.672]
INFO:
ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 785.14 MiB)
16:08:34 [16:08:34.881]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 785.14 MiB)
16:08:35 [16:08:35.171]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 785.14 MiB)
16:08:35 [16:08:35.205]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 785.14 MiB)
16:08:35 [16:08:35.411]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 785.14 MiB)
16:08:35 [16:08:35.652]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 785.14 MiB)
16:08:35 [16:08:35.673]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 785.14 MiB)
16:08:35 finished decider proving. (mem: 785.14 MiB)
16:08:35 [16:08:35.673]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 1038 (mem: 785.14 MiB)
16:08:35 [16:08:35.733]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 785.14 MiB)
16:08:35 [16:08:35.812]
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: 785.14 MiB)
16:08:35 [16:08:35.822]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 785.14 MiB)
16:08:36 [16:08:36.373]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 785.14 MiB)
16:08:37 [16:08:37.053]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 785.14 MiB)
16:08:38 [16:08:38.377]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 785.14 MiB)
16:08:38 prove translator... (mem: 785.14 MiB)
16:08:39 [16:08:39.783]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 797.17 MiB)
16:08:40 [16:08:40.283]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 797.17 MiB)
16:08:40 [16:08:40.915]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 797.17 MiB)
16:08:40 [16:08:40.915]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 797.17 MiB)
16:08:40 [16:08:40.916]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 797.17 MiB)
16:08:40 [16:08:40.931]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 797.67 MiB)
16:08:40 libra_evals_verified: 1 (mem: 797.67 MiB)
16:08:40 pairing_check_verified: 1 (mem: 797.67 MiB)
16:08:40 Mega verified: 1 (mem: 797.67 MiB)
16:08:40 [16:08:40.971]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 797.67 MiB)
16:08:40 batch opening verified?: 1 (mem: 797.67 MiB)
16:08:40 eccvm consistency check verified?: 1 (mem: 797.67 MiB)
16:08:40 translation masking consistency checked?: 1 (mem: 797.67 MiB)
16:08:40 [16:08:40.989]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 798.17 MiB)
16:08:40 eccvm verified?: 1 (mem: 798.17 MiB)
16:08:40 accumulator construction_verified?: 1 (mem: 798.17 MiB)
16:08:40 translation verified?: 1 (mem: 798.17 MiB)
16:08:40 [16:08:40.989]
INFO:
ivc-integration:test:native bb -
16:08:40 consistency verified?: 1 (mem: 798.17 MiB)
16:08:40 Goblin verified: 1 (mem: 798.17 MiB)
16:08:40 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-cScU1l" (mem: 798.17 MiB)
16:08:40 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-cScU1l" (mem: 798.17 MiB)
16:08:40 BN254 commitment key size: 262144 (mem: 798.17 MiB)
16:08:40 [16:08:40.991]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 798.17 MiB)
16:08:40 [16:08:40.992]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 798.17 MiB)
16:08:40 goblin ecc op : 4/1024 (mem: 798.17 MiB)
16:08:40 [16:08:40.993]
INFO:
ivc-integration:test:native bb - busread : 3/6000 (mem: 798.17 MiB)
16:08:40 lookups : 2/15000 (mem: 798.17 MiB)
16:08:40 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 798.17 MiB)
16:08:40 arithmetic : 1773/56000 (mem: 798.17 MiB)
16:08:40 delta range : 1754/18000 (mem: 798.17 MiB)
16:08:40 elliptic : 2/6000 (mem: 798.17 MiB)
16:08:40 auxiliary : 26/26000 (mem: 798.17 MiB)
16:08:40 poseidon ext : 2/17000 (mem: 798.17 MiB)
16:08:40 poseidon int : 2/92000 (mem: 798.17 MiB)
16:08:40 overflow : 0/0 (mem: 798.17 MiB)
16:08:40 (mem: 798.17 MiB)
16:08:40 Total structured size: 242025 (mem: 798.17 MiB)
16:08:40 allocating polynomials object in proving key... (mem: 798.17 MiB)
16:08:41 [16:08:41.004]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 798.17 MiB)
16:08:41 [16:08:41.007]
INFO:
ivc-integration:test:native bb - time to construct proving key: 16 ms. (mem: 798.17 MiB)
16:08:41 [16:08:41.016]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 798.17 MiB)
16:08:41 [16:08:41.458]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 798.17 MiB)
16:08:41 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 798.17 MiB)
16:08:41 [16:08:41.930]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 798.17 MiB)
16:08:41 [16:08:41.988]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 798.17 MiB)
16:08:41 [16:08:41.991]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 798.17 MiB)
16:08:41 [16:08:41.999]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 798.17 MiB)
16:08:42 [16:08:42.001]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 798.17 MiB)
16:08:42 goblin ecc op : 56/1024 (mem: 798.17 MiB)
16:08:42 busread : 3/6000
16:08:42 [16:08:42.001]
INFO:
ivc-integration:test:native bb - (mem: 798.17 MiB)
16:08:42 lookups : 2/15000 (mem: 798.17 MiB)
16:08:42 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 798.17 MiB)
16:08:42 arithmetic : 4481/56000 (mem: 798.17 MiB)
16:08:42 delta range : 2041/18000 (mem: 798.17 MiB)
16:08:42 elliptic : 2/6000 (mem: 798.17 MiB)
16:08:42 auxiliary : 50/26000 (mem: 798.17 MiB)
16:08:42 poseidon ext : 1312/17000 (mem: 798.17 MiB)
16:08:42 poseidon int : 7469/92000 (mem: 798.17 MiB)
16:08:42 overflow : 0/0 (mem: 798.17 MiB)
16:08:42 (mem: 798.17 MiB)
16:08:42 Total structured size: 242025 (mem: 798.17 MiB)
16:08:42 allocating polynomials object in proving key... (mem: 798.17 MiB)
16:08:42 [16:08:42.013]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 798.17 MiB)
16:08:42 [16:08:42.028]
INFO:
ivc-integration:test:native bb - time to construct proving key: 28 ms. (mem: 798.17 MiB)
16:08:42 [16:08:42.043]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 798.17 MiB)
16:08:42 [16:08:42.365]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 798.17 MiB)
16:08:42 [16:08:42.366]
INFO:
ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 798.17 MiB)
16:08:42 [16:08:42.699]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 798.17 MiB)
16:08:42 [16:08:42.896]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 798.17 MiB)
16:08:42 [16:08:42.947]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 800.17 MiB)
16:08:42 [16:08:42.978]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 832.17 MiB)
16:08:43 [16:08:43.066]
INFO:
ivc-integration:test:native bb - folded (mem: 832.17 MiB)
16:08:43 constructed folding proof (mem: 832.17 MiB)
16:08:43 [16:08:43.067]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 832.17 MiB)
16:08:43 Minimum required block sizes for structured trace: (mem: 832.17 MiB)
16:08:43 (mem: 832.17 MiB)
16:08:43 prove decider... (mem: 832.17 MiB)
16:08:43 [16:08:43.067]
INFO:
ivc-integration:test:native bb - ecc_op : 56
16:08:43 busread : 3
16:08:43 lookup : 2
16:08:43 pub_inputs : 36
16:08:43 arithmetic : 4481
16:08:43 delta_range : 2041
16:08:43 elliptic : 2
16:08:43 aux : 50
16:08:43 poseidon2_external : 1312
16:08:43 poseidon2_internal : 7469
16:08:43 overflow : 0
16:08:43 [16:08:43.090]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 832.17 MiB)
16:08:43 [16:08:43.141]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 832.17 MiB)
16:08:43 [16:08:43.494]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 832.17 MiB)
16:08:43 [16:08:43.548]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 832.17 MiB)
16:08:43 finished decider proving. (mem: 832.17 MiB)
16:08:43 [16:08:43.555]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5
16:08:43 [16:08:43.556]
INFO:
ivc-integration:test:native bb - (mem: 832.17 MiB)
16:08:43 [16:08:43.616]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 832.17 MiB)
16:08:43 [16:08:43.619]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 832.17 MiB)
16:08:43 [16:08:43.673]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 832.17 MiB)
16:08:43 [16:08:43.689]
INFO:
ivc-integration:test:native bb - time to construct proving key: 72 ms. (mem:
16:08:43 [16:08:43.690]
INFO:
ivc-integration:test:native bb - 832.17 MiB)
16:08:43 [16:08:43.911]
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-cScU1l/proof -k /tmp/bb-client-ivc-integration-cScU1l/vk -v
16:08:43 [16:08:43.924]
INFO:
ivc-integration:test:native bb command: verify (mem: 140.89 MiB)
16:08:43 [16:08:43.924]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 64 (mem: 140.89 MiB)
16:08:43 --proof_path: /tmp/bb-client-ivc-integration-cScU1l/proof (mem: 140.89 MiB)
16:08:43 --vk_path: /tmp/bb-client-ivc-integration-cScU1l/vk (mem: 140.89 MiB)
16:08:43 --verbose: true (mem: 140.89 MiB)
16:08:43 --scheme: client_ivc (mem: 140.89 MiB)
16:08:43 [16:08:43.948]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 140.89 MiB)
16:08:43 [16:08:43.962]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 140.89 MiB)
16:08:43 [16:08:43.963]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 140.89 MiB)
16:08:43 [16:08:43.979]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 140.89 MiB)
16:08:43 [16:08:43.980]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 513 (mem: 140.89 MiB)
16:08:43 [16:08:43.981]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 140.89 MiB)
16:08:43 libra_evals_verified: 1 (mem: 140.89 MiB)
16:08:43 pairing_check_verified: 1 (mem: 140.89 MiB)
16:08:43 [16:08:43.981]
INFO:
ivc-integration:test:native
16:08:43 Mega verified: 1 (mem: 140.89 MiB)
16:08:44 [16:08:44.025]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 140.89 MiB)
16:08:44 batch opening verified?: 1 (mem: 140.89 MiB)
16:08:44 eccvm consistency check verified?: 1 (mem: 140.89 MiB)
16:08:44 translation masking consistency checked?: 1 (mem: 140.89 MiB)
16:08:44 [16:08:44.044]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 140.89 MiB)
16:08:44 eccvm verified?: 1 (mem: 140.89 MiB)
16:08:44 accumulator construction_verified?: 1 (mem: 140.89 MiB)
16:08:44 translation verified?: 1 (mem: 140.89 MiB)
16:08:44 consistency verified?: 1 (mem: 140.89 MiB)
16:08:44 [16:08:44.044]
INFO:
ivc-integration:test:native Goblin verified: 1 (mem: 140.89 MiB)
16:08:44 [16:08:44.046]
INFO:
ivc-integration:test:native verified: 1 (mem: 140.89 MiB)
16:08:44 [16:08:44.095]
INFO:
ivc-integration:test:native inputsPath /tmp/bb-client-ivc-integration-sBTiOY/ivc-inputs.msgpack
16:08:44 [16:08:44.095]
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-sBTiOY --ivc_inputs_path /tmp/bb-client-ivc-integration-sBTiOY/ivc-inputs.msgpack -v --scheme client_ivc --write_vk
16:08:44 [16:08:44.108]
INFO:
ivc-integration:test:native bb - bb command: prove (mem: 145.73 MiB)
16:08:44 [16:08:44.108]
INFO:
ivc-integration:test:native bb - Scheme is: client_ivc, num threads: 64 (mem: 145.73 MiB)
16:08:44 --scheme: client_ivc (mem: 145.73 MiB)
16:08:44 --output_path: /tmp/bb-client-ivc-integration-sBTiOY (mem: 145.73 MiB)
16:08:44 --ivc_inputs_path: /tmp/bb-client-ivc-integration-sBTiOY/ivc-inputs.msgpack (mem: 145.73 MiB)
16:08:44 --verbose: true (mem: 145.73 MiB)
16:08:44 --write_vk: true (mem: 145.73 MiB)
16:08:44 [16:08:44.111]
INFO:
ivc-integration:test:native bb - BN254 commitment key size: 262144 (mem: 145.73 MiB)
16:08:44 [16:08:44.148]
INFO:
ivc-integration:test:native bb - using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 195.39 MiB)
16:08:44 [16:08:44.205]
INFO:
ivc-integration:test:native bb - Initialized BN254 CRS from memory with num points = 262657 (mem: 243.70 MiB)
16:08:44 [16:08:44.207]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_0 (mem: 243.70 MiB)
16:08:44 Constructing DeciderProvingKey (mem: 243.70 MiB)
16:08:44 [16:08:44.210]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 243.70 MiB)
16:08:44 goblin ecc op : 4/1024 (mem: 243.70 MiB)
16:08:44 [16:08:44.210]
INFO:
ivc-integration:test:native bb - busread : 7/6000 (mem: 243.70 MiB)
16:08:44 lookups : 2/15000 (mem: 243.70 MiB)
16:08:44 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 243.70 MiB)
16:08:44 arithmetic : 1760/56000 (mem: 243.70 MiB)
16:08:44 delta range : 1754/18000 (mem: 243.70 MiB)
16:08:44 elliptic : 2/6000 (mem: 243.70 MiB)
16:08:44 auxiliary : 26/26000 (mem: 243.70 MiB)
16:08:44 poseidon ext : 2/17000 (mem: 243.70 MiB)
16:08:44 poseidon int : 2/92000 (mem: 243.70 MiB)
16:08:44 overflow : 0/0 (mem: 243.70 MiB)
16:08:44 (mem: 243.70 MiB)
16:08:44 Total structured size: 242025 (mem: 243.70 MiB)
16:08:44 allocating polynomials object in proving key... (mem: 243.70 MiB)
16:08:44 [16:08:44.249]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 454.77 MiB)
16:08:44 [16:08:44.253]
INFO:
ivc-integration:test:native bb - time to construct proving key: 45 ms. (mem: 469.27 MiB)
16:08:44 [16:08:44.263]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc08d81116c40 (mem: 469.27 MiB)
16:08:44 [16:08:44.263]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 469.27 MiB)
16:08:44 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 469.27 MiB)
16:08:44 [16:08:44.689]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 470.27 MiB)
16:08:44 [16:08:44.763]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 479.27 MiB)
16:08:44 [16:08:44.767]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003d005c401550ecd069aa05a84b9a3d4a (mem: 479.27 MiB)
16:08:44 [16:08:44.775]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_1 (mem: 479.77 MiB)
16:08:44 Constructing DeciderProvingKey (mem: 479.77 MiB)
16:08:44 [16:08:44.777]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 479.77 MiB)
16:08:44 goblin ecc op : 56/1024 (mem: 479.77 MiB)
16:08:44 busread : 12/6000 (mem:
16:08:44 [16:08:44.777]
INFO:
ivc-integration:test:native bb - 479.77 MiB)
16:08:44 lookups : 2/15000 (mem: 479.77 MiB)
16:08:44 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 479.77 MiB)
16:08:44 arithmetic : 4625/56000 (mem: 479.77 MiB)
16:08:44 delta range : 2054/18000 (mem: 479.77 MiB)
16:08:44 elliptic : 2/6000 (mem: 479.77 MiB)
16:08:44 auxiliary : 110/26000 (mem: 479.77 MiB)
16:08:44 poseidon ext : 1302/17000 (mem: 479.77 MiB)
16:08:44 poseidon int : 7412/92000 (mem: 479.77 MiB)
16:08:44 overflow : 0/0 (mem: 479.77 MiB)
16:08:44 (mem: 479.77 MiB)
16:08:44 Total structured size: 242025 (mem: 479.77 MiB)
16:08:44 allocating polynomials object in proving key... (mem: 479.77 MiB)
16:08:44 [16:08:44.798]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 689.27 MiB)
16:08:44 [16:08:44.805]
INFO:
ivc-integration:test:native bb - time to construct proving key: 30 ms. (mem: 706.27 MiB)
16:08:44 [16:08:44.812]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc08d81120240 (mem: 706.27 MiB)
16:08:44 computing folding proof (mem: 706.27 MiB)
16:08:44 [16:08:44.812]
INFO:
ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 706.27 MiB)
16:08:45 [16:08:45.112]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 706.27 MiB)
16:08:45 [16:08:45.204]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 710.27 MiB)
16:08:45 [16:08:45.245]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 743.77 MiB)
16:08:45 [16:08:45.274]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 775.77 MiB)
16:08:45 [16:08:45.327]
INFO:
ivc-integration:test:native bb - folded (mem: 775.77 MiB)
16:08:45 constructed folding proof (mem: 775.77 MiB)
16:08:45 [16:08:45.328]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_2 (mem: 775.77 MiB)
16:08:45 Constructing DeciderProvingKey (mem: 775.77 MiB)
16:08:45 [16:08:45.330]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 775.77 MiB)
16:08:45 goblin ecc op : 4/1024 (mem: 775.77 MiB)
16:08:45 busread : 7/6000 (mem:
16:08:45 [16:08:45.330]
INFO:
ivc-integration:test:native bb - 775.77 MiB)
16:08:45 lookups : 2/15000 (mem: 775.77 MiB)
16:08:45 pub inputs : 16/5000 (populated in decider pk constructor) (mem: 775.77 MiB)
16:08:45 arithmetic : 1760/56000 (mem: 775.77 MiB)
16:08:45 delta range : 1754/18000 (mem: 775.77 MiB)
16:08:45 elliptic : 2/6000 (mem: 775.77 MiB)
16:08:45 auxiliary : 26/26000 (mem: 775.77 MiB)
16:08:45 poseidon ext : 2/17000 (mem: 775.77 MiB)
16:08:45 poseidon int : 2/92000 (mem: 775.77 MiB)
16:08:45 overflow : 0/0 (mem: 775.77 MiB)
16:08:45 (mem: 775.77 MiB)
16:08:45 Total structured size: 242025 (mem: 775.77 MiB)
16:08:45 allocating polynomials object in proving key... (mem: 775.77 MiB)
16:08:45 [16:08:45.336]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 775.77 MiB)
16:08:45 [16:08:45.339]
INFO:
ivc-integration:test:native bb - time to construct proving key: 10 ms. (mem: 775.77 MiB)
16:08:45 [16:08:45.345]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc08d81117480 (mem: 775.77 MiB)
16:08:45 computing folding proof (mem: 775.77 MiB)
16:08:45 [16:08:45.345]
INFO:
ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 775.77 MiB)
16:08:45 [16:08:45.739]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 775.77 MiB)
16:08:45 [16:08:45.792]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 775.77 MiB)
16:08:45 [16:08:45.831]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 775.77 MiB)
16:08:45 [16:08:45.860]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 776.18 MiB)
16:08:45 [16:08:45.922]
INFO:
ivc-integration:test:native bb - folded (mem: 776.18 MiB)
16:08:45 constructed folding proof (mem: 776.18 MiB)
16:08:45 [16:08:45.927]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000685d57080a3d604b4083dd175f59848d (mem: 776.18 MiB)
16:08:45 [16:08:45.964]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000a043f921bc12cc570671adb65320970 (mem: 776.18 MiB)
16:08:46 [16:08:46.007]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_3 (mem: 776.18 MiB)
16:08:46 Constructing DeciderProvingKey (mem: 776.18 MiB)
16:08:46 [16:08:46.010]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 776.18 MiB)
16:08:46 goblin ecc op : 792/1024 (mem: 776.18 MiB)
16:08:46 busread : 12/6000 (mem: 776.18 MiB)
16:08:46 [16:08:46.011]
INFO:
ivc-integration:test:native bb -
16:08:46 lookups : 2/15000 (mem: 776.18 MiB)
16:08:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 776.18 MiB)
16:08:46 arithmetic : 12080/56000 (mem: 776.18 MiB)
16:08:46 delta range : 2942/18000 (mem: 776.18 MiB)
16:08:46 elliptic : 2/6000 (mem: 776.18 MiB)
16:08:46 auxiliary : 350/26000 (mem: 776.18 MiB)
16:08:46 poseidon ext : 4942/17000 (mem: 776.18 MiB)
16:08:46 poseidon int : 28160/92000 (mem: 776.18 MiB)
16:08:46 overflow : 0/0 (mem: 776.18 MiB)
16:08:46 (mem: 776.18 MiB)
16:08:46 Total structured size: 242025 (mem: 776.18 MiB)
16:08:46 allocating polynomials object in proving key... (mem: 776.18 MiB)
16:08:46 [16:08:46.019]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 776.18 MiB)
16:08:46 [16:08:46.037]
INFO:
ivc-integration:test:native bb - time to construct proving key: 29 ms. (mem: 776.18 MiB)
16:08:46 [16:08:46.066]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc08d81110300 (mem: 776.18 MiB)
16:08:46 computing folding proof (mem: 776.18 MiB)
16:08:46 [16:08:46.067]
INFO:
ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 776.18 MiB)
16:08:46 [16:08:46.351]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 776.18 MiB)
16:08:46 [16:08:46.465]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 776.18 MiB)
16:08:46 [16:08:46.508]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 776.18 MiB)
16:08:46 [16:08:46.539]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 803.81 MiB)
16:08:46 [16:08:46.582]
INFO:
ivc-integration:test:native bb - folded (mem: 803.81 MiB)
16:08:46 constructed folding proof (mem: 803.81 MiB)
16:08:46 [16:08:46.586]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000a7bd23107d260b11e525f8fb8bfd27e0 (mem: 803.81 MiB)
16:08:46 [16:08:46.625]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_4 (mem: 803.81 MiB)
16:08:46 Constructing DeciderProvingKey (mem: 803.81 MiB)
16:08:46 [16:08:46.627]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 803.81 MiB)
16:08:46 goblin ecc op : 392/1024 (mem: 803.81 MiB)
16:08:46 [16:08:46.628]
INFO:
ivc-integration:test:native bb - busread : 16/6000 (mem: 803.81 MiB)
16:08:46 lookups : 2/15000 (mem: 803.81 MiB)
16:08:46 pub inputs : 32/5000 (populated in decider pk constructor) (mem: 803.81 MiB)
16:08:46 arithmetic : 6914/56000 (mem: 803.81 MiB)
16:08:46 delta range : 2347/18000 (mem: 803.81 MiB)
16:08:46 elliptic : 2/6000 (mem: 803.81 MiB)
16:08:46 auxiliary : 77/26000 (mem: 803.81 MiB)
16:08:46 poseidon ext : 2472/17000 (mem: 803.81 MiB)
16:08:46 poseidon int : 14081/92000 (mem: 803.81 MiB)
16:08:46 overflow : 0/0 (mem: 803.81 MiB)
16:08:46 (mem: 803.81 MiB)
16:08:46 Total structured size: 242025 (mem: 803.81 MiB)
16:08:46 allocating polynomials object in proving key... (mem: 803.81 MiB)
16:08:46 [16:08:46.634]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 803.81 MiB)
16:08:46 [16:08:46.643]
INFO:
ivc-integration:test:native bb - time to construct proving key: 17 ms. (mem: 803.81 MiB)
16:08:46 [16:08:46.668]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc08d811928c0 (mem: 803.81 MiB)
16:08:46 computing folding proof (mem: 803.81 MiB)
16:08:46 [16:08:46.669]
INFO:
ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 803.81 MiB)
16:08:46 [16:08:46.921]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 803.81 MiB)
16:08:47 [16:08:47.013]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 803.81 MiB)
16:08:47 [16:08:47.055]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 803.81 MiB)
16:08:47 [16:08:47.087]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 804.29 MiB)
16:08:47 [16:08:47.123]
INFO:
ivc-integration:test:native bb - folded (mem: 804.29 MiB)
16:08:47 constructed folding proof (mem: 804.29 MiB)
16:08:47 [16:08:47.127]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x00000000000000000000000000000000e38d2287beb771910284ec587a6c70f0 (mem: 804.29 MiB)
16:08:47 [16:08:47.166]
INFO:
ivc-integration:test:native bb - ClientIVC: accumulating unknown_5 (mem: 804.29 MiB)
16:08:47 Constructing DeciderProvingKey (mem: 804.29 MiB)
16:08:47 [16:08:47.168]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 804.29 MiB)
16:08:47 goblin ecc op : 392/1024 (mem: 804.29 MiB)
16:08:47 [16:08:47.169]
INFO:
ivc-integration:test:native bb - busread : 3/6000 (mem: 804.29 MiB)
16:08:47 lookups : 2/15000 (mem: 804.29 MiB)
16:08:47 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 804.29 MiB)
16:08:47 arithmetic : 6849/56000 (mem: 804.29 MiB)
16:08:47 delta range : 2333/18000 (mem: 804.29 MiB)
16:08:47 elliptic : 2/6000 (mem: 804.29 MiB)
16:08:47 auxiliary : 50/26000 (mem: 804.29 MiB)
16:08:47 poseidon ext : 2472/17000 (mem: 804.29 MiB)
16:08:47 poseidon int : 14081/92000 (mem: 804.29 MiB)
16:08:47 overflow : 0/0 (mem: 804.29 MiB)
16:08:47 (mem: 804.29 MiB)
16:08:47 Total structured size: 242025 (mem: 804.29 MiB)
16:08:47 allocating polynomials object in proving key... (mem: 804.29 MiB)
16:08:47 [16:08:47.177]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 804.29 MiB)
16:08:47 [16:08:47.187]
INFO:
ivc-integration:test:native bb - time to construct proving key: 21 ms. (mem: 804.29 MiB)
16:08:47 [16:08:47.214]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0xc08d81117cc0 (mem: 804.29 MiB)
16:08:47 computing folding proof (mem: 804.29 MiB)
16:08:47 [16:08:47.214]
INFO:
ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 804.29 MiB)
16:08:47 [16:08:47.468]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 804.29 MiB)
16:08:47 [16:08:47.566]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 804.29 MiB)
16:08:47 [16:08:47.609]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 804.29 MiB)
16:08:47 [16:08:47.637]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 804.39 MiB)
16:08:47 [16:08:47.672]
INFO:
ivc-integration:test:native bb - folded (mem: 804.39 MiB)
16:08:47 constructed folding proof (mem: 804.39 MiB)
16:08:47 [16:08:47.672]
INFO:
ivc-integration:test:native bb - Largest circuit: 48490 gates. Trace details: (mem: 804.39 MiB)
16:08:47 Minimum required block sizes for structured trace: (mem: 804.39 MiB)
16:08:47 (mem: 804.39 MiB)
16:08:47 prove decider... (mem: 804.39 MiB)
16:08:47 [16:08:47.673]
INFO:
ivc-integration:test:native bb - ecc_op : 792
16:08:47 busread : 16
16:08:47 lookup : 2
16:08:47 pub_inputs : 36
16:08:47 arithmetic : 12080
16:08:47 delta_range : 2942
16:08:47 elliptic : 2
16:08:47 aux : 350
16:08:47 poseidon2_external : 4942
16:08:47 poseidon2_internal : 28160
16:08:47 overflow : 0
16:08:47 [16:08:47.693]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 804.39 MiB)
16:08:47 [16:08:47.736]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 804.39 MiB)
16:08:47 [16:08:47.933]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 804.39 MiB)
16:08:47 [16:08:47.974]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 804.39 MiB)
16:08:47 finished decider proving. (mem: 804.39 MiB)
16:08:47 [16:08:47.983]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000000abdf9fb00d7cc7af5634c0ad35bd37a (mem: 804.39 MiB)
16:08:48 [16:08:48.043]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 804.39 MiB)
16:08:48 [16:08:48.046]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 804.39 MiB)
16:08:48 [16:08:48.052]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 804.39 MiB)
16:08:48 [16:08:48.067]
INFO:
ivc-integration:test:native bb - time to construct proving key: 23 ms. (mem: 804.39 MiB)
16:08:48 [16:08:48.173]
INFO:
ivc-integration:test:native bb - WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 804.39 MiB)
16:08:48 [16:08:48.288]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 804.39 MiB)
16:08:48 [16:08:48.524]
INFO:
ivc-integration:test:native bb - created oink proof (mem: 804.39 MiB)
16:08:48 [16:08:48.550]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 804.39 MiB)
16:08:48 [16:08:48.633]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 804.39 MiB)
16:08:48 [16:08:48.773]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 804.39 MiB)
16:08:48 [16:08:48.789]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 804.39 MiB)
16:08:48 finished decider proving. (mem: 804.39 MiB)
16:08:48 [16:08:48.789]
INFO:
ivc-integration:test:native bb - Constructing a Goblin proof with num ultra ops = 2226 (mem: 804.39 MiB)
16:08:48 [16:08:48.832]
INFO:
ivc-integration:test:native bb - prove eccvm... (mem: 804.39 MiB)
16:08:48 [16:08:48.946]
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: 804.39 MiB)
16:08:48 [16:08:48.955]
INFO:
ivc-integration:test:native bb - Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 804.39 MiB)
16:08:49 [16:08:49.402]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 804.39 MiB)
16:08:49 [16:08:49.867]
INFO:
ivc-integration:test:native bb - completed 16 rounds of sumcheck (mem: 804.39 MiB)
16:08:50 [16:08:50.529]
INFO:
ivc-integration:test:native bb - finished eccvm proving. (mem: 804.39 MiB)
16:08:50 prove translator... (mem: 804.39 MiB)
16:08:51 [16:08:51.649]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 821.08 MiB)
16:08:52 [16:08:52.065]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 821.08 MiB)
16:08:52 [16:08:52.498]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 825.08 MiB)
16:08:52 [16:08:52.499]
INFO:
ivc-integration:test:native bb - finished translator proving. (mem: 825.08 MiB)
16:08:52 [16:08:52.499]
INFO:
ivc-integration:test:native bb - vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 825.08 MiB)
16:08:52 [16:08:52.514]
INFO:
ivc-integration:test:native bb - sumcheck_verified: 1 (mem: 825.08 MiB)
16:08:52 libra_evals_verified: 1 (mem: 825.08 MiB)
16:08:52 pairing_check_verified: 1 (mem: 825.08 MiB)
16:08:52 [16:08:52.515]
INFO:
ivc-integration:test:native bb - Mega verified: 1 (mem: 825.08 MiB)
16:08:52 [16:08:52.558]
INFO:
ivc-integration:test:native bb - eccvm sumcheck verified?: 1 (mem: 825.08 MiB)
16:08:52 batch opening verified?: 1 (mem: 825.08 MiB)
16:08:52 eccvm consistency check verified?: 1 (mem: 825.08 MiB)
16:08:52 translation masking consistency checked?: 1 (mem: 825.08 MiB)
16:08:52 [16:08:52.577]
INFO:
ivc-integration:test:native bb - merge verified?: 1 (mem: 825.08 MiB)
16:08:52 eccvm verified?: 1 (mem: 825.08 MiB)
16:08:52 accumulator construction_verified?: 1 (mem: 825.08 MiB)
16:08:52 translation verified?: 1 (mem: 825.08 MiB)
16:08:52 [16:08:52.577]
INFO:
ivc-integration:test:native bb - consistency verified?: 1 (mem: 825.08 MiB)
16:08:52 Goblin verified: 1 (mem: 825.08 MiB)
16:08:52 writing ClientIVC proof in directory "/tmp/bb-client-ivc-integration-sBTiOY" (mem: 825.08 MiB)
16:08:52 writing ClientIVC vk in directory "/tmp/bb-client-ivc-integration-sBTiOY" (mem: 825.08 MiB)
16:08:52 BN254 commitment key size: 262144 (mem: 825.08 MiB)
16:08:52 [16:08:52.578]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 825.08 MiB)
16:08:52 [16:08:52.580]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 825.08 MiB)
16:08:52 goblin ecc op : 4/1024 (mem: 825.08 MiB)
16:08:52 [16:08:52.580]
INFO:
ivc-integration:test:native bb - busread : 3/6000 (mem: 825.08 MiB)
16:08:52 lookups : 2/15000 (mem: 825.08 MiB)
16:08:52 pub inputs : 17/5000 (populated in decider pk constructor) (mem: 825.08 MiB)
16:08:52 arithmetic : 1773/56000 (mem: 825.08 MiB)
16:08:52 delta range : 1754/18000 (mem: 825.08 MiB)
16:08:52 elliptic : 2/6000 (mem: 825.08 MiB)
16:08:52 auxiliary : 26/26000 (mem: 825.08 MiB)
16:08:52 poseidon ext : 2/17000 (mem: 825.08 MiB)
16:08:52 poseidon int : 2/92000 (mem: 825.08 MiB)
16:08:52 overflow : 0/0 (mem: 825.08 MiB)
16:08:52 (mem: 825.08 MiB)
16:08:52 Total structured size: 242025 (mem: 825.08 MiB)
16:08:52 allocating polynomials object in proving key... (mem: 825.08 MiB)
16:08:52 [16:08:52.591]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 825.08 MiB)
16:08:52 [16:08:52.595]
INFO:
ivc-integration:test:native bb - time to construct proving key: 16 ms. (mem: 825.08 MiB)
16:08:52 [16:08:52.601]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 825.08 MiB)
16:08:53 [16:08:53.027]
INFO:
ivc-integration:test:native bb - computing oink proof... (mem: 825.08 MiB)
16:08:53 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 825.08 MiB)
16:08:53 [16:08:53.431]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 825.08 MiB)
16:08:53 [16:08:53.479]
INFO:
ivc-integration:test:native bb - oink proof constructed (mem: 825.08 MiB)
16:08:53 [16:08:53.482]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003ca2f6affeb89a5de3b7a6129e38128c (mem: 825.08 MiB)
16:08:53 [16:08:53.490]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 825.08 MiB)
16:08:53 [16:08:53.492]
INFO:
ivc-integration:test:native bb - Gate blocks summary: (actual gates / fixed capacity) (mem: 825.08 MiB)
16:08:53 goblin ecc op : 56/1024 (mem: 825.08
16:08:53 [16:08:53.492]
INFO:
ivc-integration:test:native bb - MiB)
16:08:53 busread : 3/6000 (mem: 825.08 MiB)
16:08:53 lookups : 2/15000 (mem: 825.08 MiB)
16:08:53 pub inputs : 36/5000 (populated in decider pk constructor) (mem: 825.08 MiB)
16:08:53 arithmetic : 4481/56000 (mem: 825.08 MiB)
16:08:53 delta range : 2041/18000 (mem: 825.08 MiB)
16:08:53 elliptic : 2/6000 (mem: 825.08 MiB)
16:08:53 auxiliary : 50/26000 (mem: 825.08 MiB)
16:08:53 poseidon ext : 1312/17000 (mem: 825.08 MiB)
16:08:53 poseidon int : 7469/92000 (mem: 825.08 MiB)
16:08:53 overflow : 0/0 (mem: 825.08 MiB)
16:08:53 (mem: 825.08 MiB)
16:08:53 Total structured size: 242025 (mem: 825.08 MiB)
16:08:53 allocating polynomials object in proving key... (mem: 825.08 MiB)
16:08:53 [16:08:53.498]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 825.08 MiB)
16:08:53 [16:08:53.504]
INFO:
ivc-integration:test:native bb - time to construct proving key: 14 ms. (mem: 825.08 MiB)
16:08:53 [16:08:53.510]
INFO:
ivc-integration:test:native bb - getting honk vk... precomputed?: 0 (mem: 825.08 MiB)
16:08:53 [16:08:53.778]
INFO:
ivc-integration:test:native bb - computing folding proof (mem: 825.08 MiB)
16:08:53 WARNING: We are temporarily regressing prover speed by computing the verification key in the prover. This will be fixed in a followup PR. (mem: 825.08 MiB)
16:08:54 [16:08:54.018]
INFO:
ivc-integration:test:native bb - vkey hash in Oink prover: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 825.08 MiB)
16:08:54 [16:08:54.103]
INFO:
ivc-integration:test:native bb - oink prover on each incomplete key (mem: 825.08 MiB)
16:08:54 [16:08:54.142]
INFO:
ivc-integration:test:native bb - perturbator round (mem: 825.08 MiB)
16:08:54 [16:08:54.172]
INFO:
ivc-integration:test:native bb - combiner quotient round (mem: 853.72 MiB)
16:08:54 [16:08:54.213]
INFO:
ivc-integration:test:native bb - folded (mem: 853.72 MiB)
16:08:54 constructed folding proof (mem: 853.72 MiB)
16:08:54 [16:08:54.213]
INFO:
ivc-integration:test:native bb - Largest circuit: 15360 gates. Trace details: (mem: 853.72 MiB)
16:08:54 Minimum required block sizes for structured trace: (mem: 853.72 MiB)
16:08:54 (mem: 853.72 MiB)
16:08:54 prove decider... (mem: 853.72 MiB)
16:08:54 [16:08:54.213]
INFO:
ivc-integration:test:native bb - ecc_op : 56
16:08:54 busread : 3
16:08:54 lookup : 2
16:08:54 pub_inputs : 36
16:08:54 arithmetic : 4481
16:08:54 delta_range : 2041
16:08:54 elliptic : 2
16:08:54 aux : 50
16:08:54 poseidon2_external : 1312
16:08:54 poseidon2_internal : 7469
16:08:54 overflow : 0
16:08:54 [16:08:54.242]
INFO:
ivc-integration:test:native bb - starting sumcheck rounds... (mem: 853.72 MiB)
16:08:54 [16:08:54.276]
INFO:
ivc-integration:test:native bb - completed 18 rounds of sumcheck (mem: 853.72 MiB)
16:08:54 [16:08:54.474]
INFO:
ivc-integration:test:native bb - executed multivariate-to-univariate reduction (mem: 853.72 MiB)
16:08:54 [16:08:54.517]
INFO:
ivc-integration:test:native bb - computed opening proof (mem: 853.72 MiB)
16:08:54 finished decider proving. (mem: 853.72 MiB)
16:08:54 [16:08:54.524]
INFO:
ivc-integration:test:native bb - vkey hash in Oink recursive verifier: 0x000000000000000000000000000000003233b5afb4409e7aef9b322af4769ff5 (mem: 853.72 MiB)
16:08:54 [16:08:54.584]
INFO:
ivc-integration:test:native bb - Constructing DeciderProvingKey (mem: 853.72 MiB)
16:08:54 [16:08:54.587]
INFO:
ivc-integration:test:native bb - allocating polynomials object in proving key... (mem: 853.72 MiB)
16:08:54 [16:08:54.593]
INFO:
ivc-integration:test:native bb - populating trace... (mem: 853.72 MiB)
16:08:54 [16:08:54.608]
INFO:
ivc-integration:test:native bb - time to construct proving key: 23 ms. (mem: 853.72 MiB)
16:08:54 [16:08:54.787]
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-sBTiOY/proof -k /tmp/bb-client-ivc-integration-sBTiOY/vk -v
16:08:54 [16:08:54.800]
INFO:
ivc-integration:test:native bb command: verify (mem: 150.94 MiB)
16:08:54 [16:08:54.800]
INFO:
ivc-integration:test:native Scheme is: client_ivc, num threads: 64 (mem: 150.94 MiB)
16:08:54 --proof_path: /tmp/bb-client-ivc-integration-sBTiOY/proof (mem: 150.94 MiB)
16:08:54 --vk_path: /tmp/bb-client-ivc-integration-sBTiOY/vk (mem: 150.94 MiB)
16:08:54 --verbose: true (mem: 150.94 MiB)
16:08:54 --scheme: client_ivc (mem: 150.94 MiB)
16:08:54 [16:08:54.823]
INFO:
ivc-integration:test:native using cached grumpkin crs with num points 262144 at: "/home/aztec-dev/.bb-crs/grumpkin_g1.flat.dat" (mem: 150.94 MiB)
16:08:54 [16:08:54.837]
INFO:
ivc-integration:test:native Initialized Grumpkin prover CRS from memory with num points = 66049 (mem: 150.94 MiB)
16:08:54 [16:08:54.838]
INFO:
ivc-integration:test:native vkey hash in Oink verifier: 0x0000000000000000000000000000000082d78d6df6894d062168645e9a87ca93 (mem: 150.94 MiB)
16:08:54 [16:08:54.855]
INFO:
ivc-integration:test:native using cached bn254 crs with num points 33554433 at "/home/aztec-dev/.bb-crs/bn254_g1.dat" (mem: 150.94 MiB)
16:08:54 [16:08:54.855]
INFO:
ivc-integration:test:native Initialized BN254 CRS from memory with num points = 513 (mem: 150.94 MiB)
16:08:54 [16:08:54.856]
INFO:
ivc-integration:test:native sumcheck_verified: 1 (mem: 150.94 MiB)
16:08:54 libra_evals_verified: 1 (mem: 150.94 MiB)
16:08:54 pairing_check_verified: 1 (mem: 150.94 MiB)
16:08:54 [16:08:54.856]
INFO:
ivc-integration:test:native Mega verified: 1 (mem: 150.94 MiB)
16:08:54 [16:08:54.902]
INFO:
ivc-integration:test:native eccvm sumcheck verified?: 1 (mem: 150.94 MiB)
16:08:54 batch opening verified?: 1 (mem: 150.94 MiB)
16:08:54 eccvm consistency check verified?: 1 (mem: 150.94 MiB)
16:08:54 translation masking consistency checked?: 1 (mem: 150.94 MiB)
16:08:54 [16:08:54.921]
INFO:
ivc-integration:test:native merge verified?: 1 (mem: 150.94 MiB)
16:08:54 eccvm verified?: 1 (mem: 150.94 MiB)
16:08:54 accumulator construction_verified?: 1 (mem: 150.94 MiB)
16:08:54 translation verified?: 1 (mem: 150.94 MiB)
16:08:54 [16:08:54.921]
INFO:
ivc-integration:test:native consistency verified?: 1 (mem: 150.94 MiB)
16:08:54 Goblin verified: 1 (mem: 150.94 MiB)
16:08:54 [16:08:54.923]
INFO:
ivc-integration:test:native verified: 1 (mem: 150.94 MiB)
16:08:54
PASS src/native_client_ivc_integration.test.ts (
26.347 s)
16:08:54 Client IVC Integration
16:08:54
✓ Should generate a verifiable client IVC proof from a simple mock tx (13263 ms)
16:08:54
✓ Should generate a verifiable client IVC proof from a complex mock tx (10875 ms)
16:08:54
16:08:54
Test Suites: 1 passed, 1 total
16:08:54
Tests: 2 passed, 2 total
16:08:54
Snapshots: 0 total
16:08:54
Time: 26.41 s
16:08:54
Ran all test suites matching /ivc-integration\/src\/native_client_ivc_integration.test.ts/i
.
16:08:54
Force exiting Jest: Have you considered using `--detectOpenHandles` to detect async operations that kept running after all tests finished?