Вивчаючи останні розробки @Starknet, мене зацікавив SNIP-36. Він називається In Protocol Proof Verification, а останній оновлення v0.14.4 робить його ще цікавішим. Але спочатку — що саме робить SNIP-36? Уявіть додатки, які повинні виконувати важкі обчислення. Виконання всієї цієї роботи безпосередньо в ланцюжку може бути дорогим і витратним щодо ресурсів. SNIP-36 запроваджує інший підхід. Додатки можуть виконувати відповідну логіку поза ланцюжком, генерувати STARK-доведення цього виконання та надсилати це доведення на Starknet для перевірки. Ось як працює цей процес: - Додаток виконує свою логіку поза ланцюжком щодо певного стану Starknet. - S Two prover генерує доведення, яке показує, що виконання було коректним. - Додаток надсилає доведення разом з даними, що називаються proof_facts. - Консенсус Starknet перевіряє доведення, і контракт додатка може використовувати підтверджений результат для виконання необхідних змін стану. Простими словами, обчислення відбуваються поза ланцюжком, але їхня коректність все ще може бути перевірена на Starknet. Тепер — ось що робить останнє оновлення цікавим. Зі Starknet v0.14.4 SNIP-36 розширюється за межі невеликих віртуальних транзакцій і тепер підтримує доведення набагато більших, розміром з блок обчислень. За вказаних умов одне доведене транзакційне завдання може містити до 1,1 мільярда L2 газу обчислень. Це означає, що додатки можуть потенційно обробляти завантаження, які занадто великі для звичайної транзакції, доводячи виконання замість оплати його як звичайного on-chain виконання. Отже, чому це важливо? 1. ZKThreads та масштабування додатків Додатки можуть переміщувати більше своєї логіки поза ланцюжок і повертати підтверджені результати назад на Starknet. Це відкриває можливості для масштабування додатків за допомогою ZKThreads. 2. Додатки з акцентом на приватність SNIP-36 також може підтримувати додатки, які використовують приватні вхідні дані, розкриваючи лише необхідні публічні результати. Поточна реалізація надає обчислювальну приватність, але її не слід плутати з повними математичними гарантіями нульового знання. 3. Більше гнучкості для розробників Розробники отримують більше простору для створення додатків, яким потрібні складні обчислення, не змушуючи кожну частину цього завантаження проходити через звичайне on-chain виконання. Одне, що мене цікавить у Starknet, — це те, що він не зосереджений лише на обробці більшої кількості транзакцій. Він також спрощує обробку складних обчислень додатками, не перекладаючи всю роботу на ланцюжок. Ось де SNIP-36 стає цікавим. Більше обчислень із підтвердженими результатами — більше можливостей для розробників на Starknet. Ще рано, але це точно варто уважно спостерігати.