Верифікатор цілісності: Стрибок до гіпермасштабування Starknet
Коротко про…
Верифікатор цілісності, створений Herodotus-ом, дозволяє розробникам перевіряти на Starknet виконання програм на Cairo, що виконуються в інших місцях.
Впроваджуючи додатковий рівень доказового стиснення - а отже, зниження витрат - на Starknet перед розрахунками на Ethereum, Integrity Verifier оживляє масштабування третього рівня (L3).
Один з декількох варіантів для збільшення масштабованості в Starknet, масштабування L3 відкриває двері для створення повністю настроюваних ланцюжків, які використовують додатковий рівень зниження витрат, який забезпечує Integrity Verifier.
Інші варіанти використання також отримають вигоду від можливостей верифікації Integrity Verifier в Starknet, включаючи перевірку, захищену від зберігання, і машинне навчання з нульовими знаннями.
Вступ
Більше двох років тому StarkWare представила концепції фрактального масштабування і Layer 3 (L3), які дозволяють розробникам створювати повністю настроювані ланцюжки з додатковим рівнем зниження витрат у порівнянні з мережами Layer 2 (L2). Зараз інноватор у сфері зберігання даних Herodotus робить перший важливий крок на шляху до впровадження цієї можливості в Starknet.
За підтримки StarkWare, Herodotus запустив свій Integrity Verifier, який дозволяє перевіряти докази Stone в Starknet. За допомогою цього нового верифікатора розробники можуть перевіряти в Starknet виконання програм Cairo, які були виконані деінде, так само як вони можуть перевіряти виконання Starknet на Ethereum.
Відкриваємо двері до ланцюжків L3
Одна з найпотужніших можливостей Integrity Verifier дозволяє створювати спеціалізовані ланцюжки (appchains) на Starknet з меншими витратами.
Для цього необхідно побудувати над Starknet шар, де транзакції можуть бути виконані і об'єднані в доказ, який засвідчує їхню дійсність. Перевірка цих доказів на рівні L2 - це те місце, де в гру вступає Верифікатор цілісності (Integrity Verifier). За допомогою цього нового верифікатора докази, згенеровані за допомогою Stone, а згодом і Stwo, можуть бути перевірені в Starknet, таким чином підтверджуючи виконання транзакцій, виконаних в ланцюжку.
Оскільки ланцюжки Starknet все ще базуються на Ethereum, вони успадковують безпеку мережі - так само, як і сам Starknet. Але ланцюжки на Starknet також пропонують додаткові переваги:
Кастомізація: Загалом, appchains пропонують розробникам ще більшу гнучкість, ніж у загальнодоступному L2, максимізуючи можливість кастомізації різних аспектів їхніх додатків. Подумайте, наприклад, про розмір блоку, затримку, режим доступності даних і навіть про реалізацію функцій, які не підтримуються загальнодоступним L2.
Гіпермасштабування: Коли ланцюжок будується як L3, Starknet додатково стискає доказ перед перевіркою на Ethereum. Такі ланцюжки отримують ще один рівень зниження витрат, що робить економічно доцільним розробку більш складних сценаріїв використання, таких як високочастотна DeFi-торгівля, управління ланцюжками постачання і повністю онлайн ігри.
Уникнення перевантажень: Ланцюжки додатків забезпечують більш стабільне середовище для транзакцій (критично важливе для додатків у режимі реального часу, таких як ігри), захищаючи від потенційних перевантажень мережі загального користування на рівні L2, коли блокчейн досягне масового впровадження.
Інші переваги масштабованої перевірки за допомогою Integrity Verifier
Зменшуючи масштаб, оскільки Cairo - це мова, яка є повною мовою Тьюринга, а верифікатор цілісності перевіряє виконання програм на Cairo, він дозволяє дешево перевірити будь-які обчислення в Starknet. Цей додатковий рівень зниження витрат може принести користь багатьом іншим випадкам використання, окрім ланцюжків, з двома яскравими прикладами: докази зберігання та машинне навчання з нульовими знаннями (ZKML).
Докази зберігання роблять економічно доцільною перевірку будь-якого стану блокчейну в будь-який момент в минулому без необхідності довіряти третій стороні. Цікавий факт: Herodotus, команда, яка створила Integrity Verifier, нещодавно зробила докази зберігання ще кращими, надавши бездоказову перевірку Ethereum аж до генезисного блоку. Докази STARK знижують вартість доказів зберігання, а Integrity Verifier відкриває двері для подальшого зниження витрат.
ZKML - ідея, яка набуває все більшого інтересу в міру того, як ШІ стає все більшою частиною нашого життя - належить до концепції використання доказів з нульовим рівнем знань для перевірки обчислень моделей ШІ.
У такій сфері, як ШІ, яка часто страждає від недостатньої прозорості, це може змінити правила гри. Масштабована валідація ШІ не може дати уявлення про те, як модель «мислить» або приходить до своїх висновків, але вона може підтвердити, що насправді використовується правильна модель. Такі інструменти, як Integrity Verifier, можуть зробити ZKML економічно доцільним, зробивши перевірку ШІ-моделей більш рентабельною.
Herodotus вже оголосив про партнерство з новатором ZKML, компанією Giza, щоб надати розробникам можливість створювати потужні, безпечні та надійні додатки зі штучним інтелектом. Integrity Verifier є частиною цих зусиль.
Висновок
Запуск верифікатора цілісності є одним з перших серйозних кроків до гіпермасштабування в Starknet. Дозволяючи розробникам перевіряти на Starknet виконання програм Cairo, які були виконані в інших місцях, верифікатор відкриває двері до абсолютно нових можливостей в мережі. Вони варіюються від створення настроюваних ланцюжків з додатковим зниженням витрат до розробки нових варіантів використання, таких як ZKML.
Слідкуйте за новинами про проєкти, які подвоюють масштабованість Starknet. Також майте на увазі, що L3 - це лише один з інструментів, доступних для збільшення масштабованості на Starknet, і їх буде ще більше. Для отримання оновлень слідкуйте за Starknet на X.
Сподобалась стаття? Потребуєш поради? Приєднуйся до нашого телеграм каналу або ж одразу до чату, де тобі завжди раді допомогти
Оригінал статті знайдеш тут!
Над перекладом працювали гільдія перекладачів BanklessDAO (Romko, Yura_Teslya)
Це інформаційний блог, який носить виключно навчальний характер. Не є порадою щодо інвестування чи закликом купити чи продати будь-які активи чи прийняти будь-які фінансові рішення.