Ключові моменти:
Starknet — це рішення для масштабування рівня 2 для Ethereum, яке використовує докази дійсності для забезпечення швидких та недорогих транзакцій, успадковуючи при цьому безпеку Ethereum.
Мережа опрацьовує транзакції офчейн і надсилає криптографічні підтвердження до Ethereum для остаточної перевірки.
Розробники використовують Cairo — спеціалізовану мову програмування, для створення масштабованих децентралізованих програм (dApp) на Starknet.
Вступ
Starknet — це рішення рівня 2, яке використовує докази масштабованих прозорих аргументів доведення (STARK) для здійснення швидших, дешевших і масштабованіших транзакцій. Це дозволяє розробникам створювати високопродуктивні децентралізовані програми (dApp) з нижчими витратами та надійними криптографічними гарантіями без шкоди для безпеки чи децентралізації.
Що таке STARK?
STARK, скорочення від Scalable Transparent Arguments of Knowledge (масштабовані прозорі аргументи доведення), — це тип криптографічного доказу, який використовується для перевірки правильності виконання обчислень без необхідності повторення самих обчислень.
У контексті Starknet технологія STARK використовується для підтвердження правильності обробки офчейн-транзакцій, перш ніж надіслати компактний доказ назад до Ethereum. Це допомагає Ethereum ефективніше та з меншими витратами фіналізувати великі пакети транзакцій.
STARK не забезпечують конфіденційність за своєю природою та відрізняються від традиційних доведень з нульовим розголошенням (ZKP), оскільки зосереджені на доведенні обчислювальної цілісності. Особливість STARK полягає в тому, що вони не потребують довіреного налаштування, добре масштабуються навіть за умови ускладнення обчислень та розроблені для протистояння майбутнім загрозам, як-от потенційні квантові атаки.
Що таке Starknet?
Starknet — це рішення для масштабування рівня 2, розроблене для пришвидшення та здешевлення транзакцій Ethereum. Замість того, щоб обробляти кожну транзакцію безпосередньо в головному блокчейні Ethereum, Starknet обробляє їх офчейн.
Потім мережа генерує доказ STARK, щоб математично довести правильність виконання транзакцій. Цей доказ разом зі зведеним описом змін надсилається назад до Ethereum, де він перевіряється та фіналізується ончейн.
Як працює Starknet?
1. Секвенсор: управління транзакціями
Секвенсор відповідає за отримання та організацію транзакцій. Він обʼєднує ці транзакції, перевіряє, які з них є дійсними, та відкидає ті, що завершилися невдачею (наприклад, недостатньо коштів або помилки).
Тільки дійсні транзакції включаються до блоків, які потім передаються для подальшої перевірки. Оскільки цей процес відбувається офчейн, секвенсор може досягти вищої пропускної здатності.
2. Прувер: генерування доказу
Прувер бере оброблений блок і записує кожен крок виконання транзакції (відомий як Execution Trace) та відповідні зміни стану системи (так званий State Diff). Потім прувер трансформує ці дані та обирає випадкові частини для створення фінального доказу STARK, який слугує математичною гарантією того, що всі транзакції було виконано правильно.
3. Розрахунки на Ethereum
Підтвердження та остаточні зміни стану надсилаються до Ethereum, де два смартконтракти здійснюють перевірку:
Контракт верифікатора перевіряє доказ на точність. Якщо дані узгоджені та дійсні, їх буде схвалено.
Основний контракт Starknet потім оновлює стан Starknet в мережі Ethereum на основі перевіреного доказу.
Після прийняття цей оновлений стан додається до блоку Ethereum, де стає частиною постійного запису. Оскільки доказ підтверджує правильність обчислень офчейн, немає потреби повторно виконувати транзакції в мережі Ethereum, що допомагає зменшити перевантаження і витрати.
Ключові особливості Starknet
Cairo: мова програмування Starknet
Starknet використовує власну мову смартконтрактів під назвою Cairo, розроблену спеціально для написання програм, які можна перевірити за допомогою доказів STARK. Це дозволяє розробникам створювати масштабовані програми на Starknet без необхідності бути експертами з криптографії.
Екосистема Cairo містить інструменти розробника, як-от Dojo — ігровий рушій з відкритим кодом для створення повністю ончейн-ігор, та Starknet React — бібліотеку, що спрощує створення вебінтерфейсів для dApp на Starknet.
Нативна абстракція акаунту
Starknet підтримує нативну абстракцію акаунту, що дозволяє розробникам пропонувати користувацький інтерфейс, подібний до Web2, у Web3-програмах. Це включає такі функції, як ключі доступу, за допомогою яких користувачі можуть входити в систему без seed-фраз, та ключі сеансу, що дозволяє користувачам схвалювати кілька транзакцій одночасно. Функція "Paymasters" дозволяє здійснювати транзакції без комісії gas, де користувачі можуть платити токенами ERC-20 або ж попросити когось іншого покрити gas.
Cartridge Controller — це приклад смартконтракту гаманця в мережі Starknet, який додає ці функції до ігор. Підтримує швидке залучення в один клік, ідентифікацію гравців, досягнення та працює з ігровими рушіями й інструментами фронтенду.
Валідність і оптимістичні ролапи
На відміну від оптимістичних ролапів, які припускають, що транзакції є дійсними, якщо їх не оскаржувати, Starknet використовує докази дійсності для підтвердження правильності. Це забезпечує швидке остаточне виконання (оскільки немає потреби чекати на період оскарження) та надійні криптографічні гарантії.
Втім, оптимістичні ролапи можуть бути простішими у впровадженні та мати ширшу сумісність з наявними інструментами Ethereum. Обидва підходи мають свої переваги й недоліки, а вибір ролап-рішення залежатиме від конкретних цілей, як-от затримка, сумісність та довірчі припущення.
Виклики
Starknet не пропонує вбудованої сумісності з віртуальною машиною Ethereum (EVM), що відрізняє його від віртуальних машин рівня 2, таких як zkSync, Era та Scroll, що дозволяють розробникам легко повторно використовувати наявний код Solidity та інструменти Ethereum.
Натомість Starknet вимагає від розробників створювати застосунки за допомогою Cairo — спеціальної мови, розробленої для масштабованості через докази STARK. Хоча Cairo пропонує технічні переваги, вона створює нову криву навчання, що може уповільнити залучення розробників і ускладнити міграцію наявних програм.
Токен STRK
Токен STRK — це нативний утиліті токен протоколу Starknet. Токен використовують для різних цілей, зокрема для управління, оплати комісії за транзакції та стейкінгу.
Управління: холдери STRK можуть брати участь в управлінні протоколом через голосування за пропозиції, як-от оновлення системи чи зміни в операційній системі Starknet. Для підтримки чи ініціювання деяких пропозицій може знадобитися мінімальна кількість STRK.
Комісія за транзакції: STRK можна використовувати для оплати комісії за транзакції в мережі Starknet. Коли використовується STRK, частину токенів секвенсер конвертує в ETH для покриття комісії gas у мережі Ethereum.
Стейкінг: STRK можна використовувати у стейкінгу двома способами:
Як валідатор: надішліть у стейкінг мінімальну кількість STRK і виконуйте обовʼязки в мережі, щоб отримувати винагороди.
Як делегатор: делегуйте токени валідатору й отримуйте частку винагороди без необхідності запускати ноду-валідатора.
Підсумки
Starknet пропонує інший підхід до масштабування Ethereum через використання доказів дійсності, а саме STARK. Цей ролап має на меті збільшити пропускну здатність і зменшити витрати, зберігаючи при цьому гарантії безпеки Ethereum. Завдяки таким функціям, як мова програмування Cairo та вбудована абстракція акаунтів, Starknet створює нові можливості для розробників, особливо у сферах ончейн-геймінгу та інфраструктури.
Повʼязані статті
Відмова від відповідальності: ця стаття написана лише для освітніх цілей. Вона надається вам на умовах "як є" тільки для загальної інформації і освітніх цілей, без жодних заяв чи гарантій. Її не слід розглядати як фінансову, юридичну чи іншу професійну пораду, і вона не призначена для рекомендації купівлі конкретного продукту чи послуги. Вам слід звернутися за порадою до відповідних професійних консультантів. Продукти, згадані в цій статті, можуть бути недоступні у вашому регіоні. Якщо стаття написана стороннім автором, зверніть увагу, що висловлені думки належать сторонньому автору, і не обовʼязково відображають думку Binance Academy. Для отримання додаткової інформації перегляньте нашу повну відмову від відповідальності. Ціни на цифрові активи можуть бути волатильними. Вартість ваших інвестицій може як впасти, так і зрости, і ви можете не повернути інвестовану суму. Ви несете повну відповідальність за свої інвестиційні рішення, і Binance Academy не несе відповідальності за збитки, які ви можете понести. Цей матеріал не повинен розглядатись як фінансова, юридична чи інша професійна порада. Для отримання додаткової інформації перегляньте наші Умови користування і Попередження про ризик.