Пересилайте оригінальний заголовок 'Starknet 万字研报：蓄势待发，长期主义者的跬步千里'

Порівняно з іншими шумними наративами у світі web3, трек ZK давно представляв собою тривалу, монотонну, але глибоко значущу базову інфраструктуру. Це подібно до важкого паломництва, де внутрішні фахівці працюють наполегливо, тоді як зовнішні особи залишаються в невідомості. Однак відзначено, що швидкість розвитку ZK в останні два роки далеко перевищила очікування. Два провідних ZK Rollups, ZkSync та Starknet, зробили значний прогрес у показниках продуктивності та витрат.

Після оновлення Ethereum EIP-4844 ZK Rollup також посилює свою позицію в конкуренції з OP Rollup. Ще цікавіше співпраця колишніх конкурентів StarkWare і Polygon Labs, які оновили протокол STARK—довго представляючи передній край в ZK майстерності—і офіційно запустили Circle STARK, що призвело до ще одного стрибка в здатностях доведення ZK.

Якщо ви прочитали статтю минулого року (“L2 Літо наближається? Оволодійте технічними принципами та екосистемою StarkNet в одній статтіЯкщо ви вже знайомі з технологією Starknet та хочете докладніше дізнатися про захоплюючий процес доведення ZK за її основою, але вас відлякають складні математичні формули та складні технічні теорії, то слідкуйте за цією статтею, щоб дослідити деякі ключові питання щодо ZK. Ми спробуємо уникнути неприємних математичних частин і, на цій основі, обговоримо технічні переваги Starknet, особливо останні значні досягнення.

01 Починаючи з ZK перше

ZK є як мітка, так і скорочення для систем доведення відсутності знань. Як видатна тема, ZK-докази схожі на таємничу легенду - вони дозволяють доводити факт без розголошення будь-якої додаткової інформації. Як можна досягти такої ідеалістичної мети? Для цього нам потрібно провести аналогію, знайому будь-якому студенту.

Зазвичай, якщо студент хоче довести свою академічну високу кваліфікацію, найпростіший спосіб - це представити свій транскрипт. З урахуванням того, що система екзаменів є ефективною та справедливою, транскрипт, який показує загальний бал A, може гарантувати академічний рівень студента, не розголошуючи конкретних академічних деталей.

Процес ZK-доказів досить схожий. Простими словами, його основні компоненти складаються з двох частин: Провер і Верифікатор. Провер схожий на іспитову систему школи, яка слідує фіксованому процесу для генерації транскрипції як доказу академічної здатності студента. Цей доказ потім представляється Верифікатору, яким може бути батьки або компанія, для підтвердження компетентності студента на основі транскрипції.

Тут ми бачимо, що найбільш складною частиною процесу доведення є генерація доказу Довідника. У ZK-доказі цей процес може бути розділений на дві частини: арифметизацію та зобов'язання поліномом.

1.1 Арифметизація

1. Арифметизація полягає в перетворенні складних доказових задач на алгебраїчні проблеми. Зокрема, це полягає в перетворенні свідка (Свідок), якого ми хочемо довести, на набір поліноміальних обмежень (Поліноміальні Обмеження). Це схоже на те, як ми перетворюємо академічні здібності студентів через іспити на набір балів.
2. Свідок: Свідок - це те, що ми зазвичай називаємо сировинні дані обчислень поза ланцюжком, включаючи дані операцій, дані стану рахунків, проміжні результати обчислень тощо. Це приватні дані, які ми використовуємо для підтвердження валідності операцій, але не бажаємо робити їх публічними.
3. Поліноміальні обмеження: поліноміальні обмеження. У процесі доведення ZK потрібно перетворити складні проблеми на математичні. Найважливіша частина методу математичного доведення - знайти поліном і остаточно довести, що ви дійсно його знайшли. Поліноміальні обмеження вказують на умови, які повинен виконувати поліном.

1.2 Поліноміальне зобов'язання

Зобов'язання полінома, у конкретних математичних доказах, полягає в підтвердженні того, що ви знайшли поліном, який задовольняє всі обмеження, створені на етапі арифметизації. Якщо поліном є дійсним, то математичний доказ успішний, що означає, що питання, яке ми хочемо довести, встановлене. Цей процес схожий на отримання зваженого середнього балу або транскрипції, яка гарантує, що всі оцінки студента є A, тим самим доводячи академічну відмінність студента.

Ви можете піддати сумніву цю аналогію, оскільки в реальному житті транскрипт часто не вдається точно відображати академічні здібності людини через безліч недоліків та неконтрольованих факторів у системах людських іспитів. Однак у світі ZK, за допомогою недвозначної математики та прозорих, відкритих процедур, цей ідеал реалізується, так само як і смарт-контракти та блокчейн забезпечують справедливість та прозорість.

02 SNARK проти STARK

SNARK та STARK наразі є двома найбільш поширеними протоколами доведення ZK, вони є відповідно основними протоколами, які використовуються ZkSync та Starknet. Завдяки їхнім схожим назвам та областям застосування їх часто порівнюють. Однак, перш ніж порівнювати їх, давайте представимо двох фігур, щоб краще зрозуміти системи доведення ZK, побудовані цими двома протоколами з історичної перспективи.

2.1 Groth and SNARK

Дженс Грот - професор в кафедрі комп'ютерних наук UCL (зараз почесний професор) і наразі є головним науковцем в Nexus, зосереджуючись на zkVM. Починаючи з 2009 року, він був плідним, публікуючи численні статті на теми, пов'язані з нульовими знаннями. У галузі ZK ми часто чуємо про такі статті, як Groth09, Groth10 і т. Д., Які отримали назву на його честь та рік публікації.

Дві з його найвідоміших праць:

[Groth10] «Коротка заснована на парах неінтерактивна нуль-знання докази», яка запропонувала повну схему нуль-знання без взаємодії та вважається теоретичним передвісником SNARK.

[Groth16] «Про розмір парних неінтерактивних доведень на основі парування», яке, спираючись на Groth10, оптимізувало розміри доведень та покращило ефективність перевірки, досі широко використовується сьогодні.

Це на основі досліджень Грота був розроблений та вдосконалений SNARK. SNARK, що означає Sucinct Non-interactive Argument of Knowledge, є коротким системою доказів знань з нульовою взаємодією, відомою своєю великою корисністю, що дозволяє швидке прийняття ZK в галузі криптовалют.

2.2 Елі Бен-Сассон з STARK

Варто зазначити, що перший протокол для застосування SNARK у криптовалюті, Zerocash, був співзаснований Елі Бен-Сассоном, який пізніше співзаснував StarkWare та був одним із винахідників STARK. Крім того, в перші роки Елі Бен-Сассон активно просував впровадження протоколу SNARK та публікував статті в 2013 та 2014 роках, пропонуючи та оптимізуючи побудову SNARK для підвищення його практичності та ефективності, допомагаючи SNARK отримати широку увагу та застосування.

Однак, можливо, через глибоке розуміння проблем, з якими стикається SNARK, у 2018 році Елі Бен-Сассон та інші опублікували «[BBHR18] Масштабовану, прозору та квантово-стійку обчислювальну цілісність», формально запропонувавши систему доказів STARK та надаючи більш комплексне рішення для ZK Rollup.

STARK, що означає Масштабований Прозорий Аргумент Знань, має переваги в доказах великого масштабу та забезпечує прозорість усього процесу доведення без покладанняся на довірені сторони. Він також забезпечує захист від квантових атак.

(Примітка: Варто пояснити, що, хоча епічні історії героїв завжди захоплюють, жоден досягнення не досягається однією людиною самотньо. Навпаки, чи то SNARK, чи STARK, вони є результатом колективних зусиль численних вчених. Підкреслення окремих фігур просто для надання яскравості цій критичній історії розвитку ZK з одного погляду. Навіть геній, як Грот, поклався на наукові внески інших, таких як Анікет Кете, Грегорі Заверуха і Іан Голдберг, для реалізації своїх статей, а автори, які запропонували STARK, - це всі висококваліфіковані особистості, про яких ми можемо докладніше розповісти у майбутньому.)

2.3 SNARK проти STARK

Так що спонукало Елі Бен-Сассона прийняти важке рішення почати спочатку? З якими викликами зіткнувся SNARK?

2.3.1 Прозорість

Перед відповіддю на попереднє запитання, нам може знадобитися відповідь на інше питання: Що є найбільшою цінністю в галузі криптографії? Відповідь Сатоші Накамото - це довіра.

SNARK виявляє цю міну. Коли SNARK виконує поліноміальні зобов'язання, він використовує метод KZG, який вимагає Довіреної Налаштування для створення Загальної Вхідної Інформації (CRS), яка потім використовується для генерації ключів для доказу та процесу верифікації.

Повертаючись до нашого прикладу транскрипції, причина, чому батьки чи компанії можуть судити про академічну відмінність студента на основі середнього балу A, полягає в тому, що ми колективно погоджуємося з ранжуванням академічних здібностей від високих до низьких у вигляді A, B, C, D. Тільки за цим стандартом оцінка A має значення.

Але що, якщо система оцінювання школи поступиться, і ранжування академічних здібностей стане C, A, B, D? Студенти, які спочатку отримали оцінку C, можуть помилково вважатися кращими виконавцями та мати пріоритет. Це призводить до невірних суджень.

З цього ми бачимо, наскільки важлива безпека цього колективно узгодженого стандарту. Проте в криптографічному світі, урегульованому законом джунглів, цей Довірений Налаштування стає великою вразливістю.

Знаючи це, чому SNARK продовжує використовувати метод KZG? Це через те, що докази, отримані за допомогою KZG, є надто маленькими за розміром. Пам'ятаєте, що означає "S" в SNARK? Лаконічний! Спокуса маленького розміру доказів була надто великою, особливо перед оновленням Ethereum Constantinople, де менші розміри доказів принесли кращу практичність та ефективність SNARK та були прийняті більшою кількістю проектів на довгий час. Так що все зводиться до компромісів.

Тепер щодо STARK, для вирішення аспекту недовіри, STARK використовує метод FRI (швидкі інтерактивні докази оракула Ріда-Соломона) для зобов'язань поліномів.

Зокрема, метод FRI кодує поліноми, використовуючи кодування Ріда-Соломона, зберігає їх у формі дерева Меркля та сприяє багатораундовим взаємодіям між валідаторами та довідувачами через Оракул для досягнення перевірки та прозорості («T» в STARK).

(Зауваження: Варто зауважити, що тут термін "Oracle" не відноситься до централізованих або напівцентралізованих оракулів, які часто зустрічаються в світі web3, але є децентралізованою віртуальною сутністю, яка симулюється локально валідаторами та підтверджувачами на основі протокольних правил. Це форма інтерактивного механізму доведення.)

Для продовження аналогії з прикладом транскрипції ми можемо розглядати процес зобов'язань поліномів у системі STARK як систему оцінювання, побудовану на блокчейні, забезпечуючи справедливість та прозорість всієї системи за допомогою технології блокчейн.

Крім того, в доказах STARK, валідатори та доводчики можуть симулювати процес взаємодії за допомогою загального Випадкового Маяка та в остаточному підсумку упаковувати його в повний доказ, досягаючи неінтерактивних доказів для кращої використовуваності та асинхронності.

2.3.2 Масштабованість

Покращення STARK також полягають в його універсальності та гнучкості у вирішенні складних обчислювальних проблем великого масштабу, а також у здатності зменшувати середній розмір доказу зі збільшенням масштабу доказу, утворюючи ефект мережі, як це представлено літерою «S» в Scalable.

На відміну від SNARK, який використовує методи обчислення схем, представлених R1CS для арифметизації та потребує перепроектування схем для різних проблем, STARK використовує метод AIR (Алгебраїчне проміжне представлення). Це універсальний метод обчислення машини, який поєднує різні стани за допомогою рівнянь переходу стану, що дозволяє абстрагувати практично будь-яку обчислювальну проблему в набір поліноміальних обмежень.

Крім того, використання STARK методу FRI у генерації поліноміальних доказів використовує рекурсивну структуру для поступового зменшення ступеня поліномів. Це призводить до зростання розміру доказу набагато повільніше, ніж зростання масштабу проблеми (логарифмічний рівень), що надає значні переваги в обробці обчислень великого масштабу.

Повертаючись до прикладу з оцінок та екзаменів, якщо ми порівнюємо процес арифметизації з екзаменом, то SNARK і STARK відповідно нагадують традиційні паперові і комп'ютерні екзами.

У короткостроковій перспективі або для невеликої школи традиційні екзамени на папері є дешевшими та швидшими, тоді як комп'ютерні екзамени вимагають підготовки в програмному забезпеченні та апаратурі, і здаються дорогими та неповоротливими.

Однак, для глобально масштабованих іспитових установ, комп'ютер може проводити іспити різних типів та рівнів, усуваючи потребу вчителям створювати питання для кожного іспиту, та зберігаючи значну людську роботу. У довгостроковій перспективі, зі збільшенням кількості іспитів, витрати на інвестиції в програмне забезпечення та апаратне забезпечення будуть значно розведені.

2.3.3 Стійкість до квантових атак

Крім досягнень, що представлені «S» та «T», STARK також досягає опору квантовим атакам завдяки використанню квантовостійких хеш-функцій (таких як хеш-функція Rescue, яка загалом вважається пост-квантово безпечною, тоді як традиційні хеш-функції SHA-256 вважаються можливо слабкими в квантовому обчисленні), та алгебраїчні проблеми безпеки (складні алгебраїчні проблеми, які потрібно довести відправнику, наразі вважаються важкими для вирішення навіть на квантових комп'ютерах).

03nCircle STARK не зупиняється тут

Як ми вже обговорювали, очевидно, що SNARK є невід'ємним короткостроковим рішенням через його швидку можливість. Однак, по мірі того, як час йде, обсяги транзакцій збільшуються, разом зі вибухом обчислювальної складності, люди все більше усвідомлюють, що довіра фактично є найдорожчим розкошем у галузі криптографії. Це усвідомлення підкреслює перевагу STARK з плином часу.

Цей момент поступово стає очевидним у галузі. Головні застосунки, що використовують SNARKs, такі як Boojum версія ZkSync, вже почали дослідження поступового переходу від SNARK до STARK. Крім того, Polygon, відомий своєю зграбністю, також перейшов до STARK. Оновлена система доказів цього року, Plonky3, ґрунтується на останніх спільних дослідженнях лабораторій Polygon та StarkWare, відомих як Circle STARK.

Circle STARK представляє нове покоління протоколів доведення ZK на основі оновлених STARKs. Він розумно вводить кругові криві та успішно інтегрує малий простий поле M31 у систему доведення, значно покращуючи ефективність доведення.

У системах доведення ZK прості поля відіграють важливу роль. Саме завдяки операціям над простими полями можливі доведення. Вибір простого поля представляє собою баланс між ефективністю та безпекою. Менші прості поля потребують менше обчислень і, отже, пропонують більшу ефективність. З іншого боку, більші прості поля зазвичай свідчать про вищий рівень безпеки, тому як STARK, так і SNARK історично використовували великі прості поля.

Інновація Circle STARK полягає в поєднанні кругових кривих та використанні невеликого простого поля M31. Це не лише підвищує ефективність доведення, але й забезпечує пост-квантову безпеку.

StarkWare недавно випустила та опублікувала проект наступного покоління довідника на базі Circle STARK, який називається Stwo. Очікується, що ефективність доведення Stwo буде в 100 разів вищою, ніж у першого покоління Stone. Stwo буде повністю сумісний з вдосконаленим Cario, і поточний Starknet Prover (SHARP Prover) на основі Stone Prover також перейде до використання Stwo. Це означає, що розробники та користувачі в екосистемі Starknet безпосередньо скористаються підвищенням продуктивності, яке принесе Stwo, без необхідності будь-яких дій.

Крім прискорення генерації доказів, Брендан Фармер, співзасновник Polygon, зазначив, що застосування Circle STARK в кінцевому підсумку значно зменшить витрати та розшириться на більше доказів застосування. Елі Бен-Сасон також оптимістичний, стверджуючи, що запуск Circle STARK можна розглядати як важливу віху, коли найефективніші системи доказів повинні з'явитися у найближчому майбутньому, супроводжуються постійними проривами та покращеннями.

04 Starknet продовжує посилювати свої зусилля, покращуючи продуктивність

Через вищезазначений аналіз ми можемо чітко бачити, що система доказів STARK та її остання оновлена версія, Circle STARK, заслуговують на першість та є зірками завтрашнього дня. Як флагманський продукт StarkWare, Starknet має нескінченну майбутність на шляху ZK Rollup.

Однак, можливо, через вигини та повороти прогресу, Starknet витримав контроверзію протягом тривалого часу. Причини - це ніщо інше, як досвід користувача та витрати.

На щастя, завдяки постійним зусиллям StarkWare ці проблеми поступово стають минулим. Нижче ми розглянемо деякі недавні важливі оновлення Starknet та подальші дії, заплановані відповідно до дорожньої карти.

4.1 V0.12

Starknet Alpha v0.12.0, кодове назва Quantum Leap, був запущений на головній мережі в липні 2023 року. Основна мета оптимізації полягала в покращенні мережевої продуктивності та підвищенні користувацького досвіду.

Пропускна здатність та затримка, як правило, вважаються стандартами для вимірювання мережевої продуктивності. Оптимізувавши Рустифікацію сортувальника та оновивши мову Cario, час виконання блоку у Starknet значно зменшився. Пропускна здатність зросла з 30,000 CSPS (кроки Cario на секунду) в версії v0.11.0 до 220,000 CSPS, що призвело до значного покращення продуктивності.

Давній проблемі поганого інтерактивного досвіду також було приділено увагу. Середній статус очікування, який раніше тривав до 20 хвилин під час очікування підтвердження головної мережі, тепер є минулим.

Для користувачів час транзакції був скорочений до близько 10 секунд, навіть після підтвердження на 2-му рівні, що значно покращило загальний досвід.

Це важливе оновлення допомогло TVL (Загальна заблокована вартість) Starknet успішно перевищити 100 мільйонів доларів, з тижневим темпом зростання понад 43%.

4.2 V0.13

Версія v0.13.0, запущена в січні 2024 року, розширила розмір блоку, що призвело до значного зменшення витрат на обчислення на 50% і на 25% зниження витрат на доступність даних.

Версія v0.13.1 впроваджена підтримка для Ethereum EIP-4844 напередодні графіка. У зв'язку з цим, Starknet увімкнув функцію blob за години до оновлення Канкуну, ставши першим рішенням L2, яке радикально знизило користувацькі внески.

У наступні місяці цього року, згідно з дорожньою картою, v0.13.2 має ввести паралельне виконання транзакцій, що дозволить одночасну обробку більшої кількості транзакцій, тим самим підвищуючи пропускну здатність мережі та зменшуючи затримки.

V0.13.3 буде інтегрувати Cairo Native в сортер Starknet, подальше підвищення продуктивності сортера. Ця інтеграція призведе до подальшого прискорення швидкості мережі.

4.3 V0.14 та плани на подальші оновлення

Згідно з дорожньою картою, довгоочікуваний Volition має бути запущений у в рамках оновлення v0.14.0.

На даний момент зберігання доступності даних (DA) на Ethereum споживає більшість газових витрат в мережі Starknet. Тому зменшення зберігання DA на Ethereum є важливим для зниження витрат.

Volition дозволить розробникам зберігати деякі дані на Starknet L2 і в кінцевому підсумку надсилати кореневий стан цих даних до Ethereum L1. Такий підхід значно знижує витрати на зберігання DA на L1, в подальшому досягаючи мети зниження комісій.

Версія v0.14.0 також планує прийняти аплікативна рекурсіядля пакетної обробки слідів L1 кількох блоків (дані та обчислювальні завдання, необхідні для підтримки операцій Starknet на Ethereum). Цей підхід спрямований на зниження витрат.

Наразі кожний блок Starknet має відповідний доказ і несе фіксовані операційні витрати на Ethereum. У результаті мережі часто потрібно накопичувати достатньо обсягу транзакцій, щоб розділити вартість блока перед упакуванням блока. Це призводить до невизначених часів блоку та неефективного використання витрат на блок. За допомогою аплікативної рекурсії валідатори можуть об'єднувати докази для кількох блоків разом, зменшуючи час блоку та розподіл витрат на накладні витрати.

Додатково, Starknet дослідить більше рішень зі скорочення DA, щоб подальше знизити витрати.

05 Екологічна будівництво

5.1 Поточна ситуація

Зі сталим покращенням продуктивності та постійним зменшенням комісій екосистема на Starknet тепер нахилилася стати більш зрілою.

На фронті інфраструктури проекти гаманців, такі як Агент X та Braavos, які виступають у вигляді самостійних розумних гаманців, не тільки забезпечують безпеку, але й адаптуються до абстракції облікового запису, що є властивістю Starknet, забезпечуючи користувачів гарним інтерактивним досвідом як воротами до світу web3.

Щодо міжланцюгових мостів, як місцевий StarkGate, так і проекти, такі як Orbiter Finance, MiniBridge та rhino.fi, які фокусуються на міжланцюгових мостах, приєдналися до екосистеми.

Ведучі проекти, такі як Starknet.id в секторі DID, відіграють роль ENS на Ethereum, підтримуючи користувачів у створенні NFT як ідентифікаційних даних та паспортів на ланцюгу Starknet.

У традиційному секторі DeFi також спостерігається зростання провідних проєктів, таких як Nostra, Ekubo, zkLend, ZKX, Carmine Options, що швидко домінують ключові галузі, такі як DEX, стейкінг, позики та функціональність смарт-контрактів. Ці проєкти DeFi прагнуть до інновацій у своїх продуктах. Наприклад, ZKX використовує гейміфіковану взаємодію та управління DAO для створення унікальної автономної бескінечної біржі контрактів, тоді як Ekubo вводить одноелементний дизайн для управління всіма пулами ліквідності в одному контракті, зменшуючи торгові витрати для користувачів. Функція одноклікового перебалансування mySwap ефективно зменшує непостійні втрати під час значних ринкових коливань, впроваджуючи більше життєвої сили в екосистему.

GameFi - сектор, який дуже очікується Starknet, з провідними проектами, такими як екосистема Beute та стратегічні блокчейн-ігри, такі як Realms, Dope Wars та Influence. Topology - гра на основі фізики, розроблена командою Starknet, є одним з чотирьох головних королів блокчейн-ігор на Starknet.

Додатково, SocialFi став свідком появи xfam.tech, схожої на популярну раніше friend.tech, яка заповнила прогалину в соціальній сфері.

З моменту повітряної краплі $STRK раніше цього року активність на Starknet помітно зросла. Крім того, проекти в екосистемі, такі як zkLend, Ekubo та ZKX, послідовно випустили власні токени $ZEND, $EKUBO та $ZKX.

Лідер екосистеми Nostra Finance також запустив перший рідний стейблкоїн $UNO на Starknet, а також $NSTSTRK, отриманий з стейкінгу $STRK.

Розподіл токенів багаторівневого рівня безсумнівно служить ударом у руку для екосистеми Starknet, і на початку цього року загальна продуктивність екосистеми Starknet вражає.

Проте, в поточний момент жорсткої конкуренції між рішеннями рівня 1 і рівня 2, забезпечення продовження життєздатності вимагає подвійної інновації як у продуктах, так і в технологіях для створення дійсно популярних додатків. За цим, крім офіційної команди, також важливі постійні зусилля від розробницької спільноти. Це одна з причин, чому команда Starknet завжди була дружелюбною до розробників, навіть надаючи небачені винагороди розробникам у роздачах.

5.2 Виклики та Вибори

Як вже зазначалося раніше, STARK був створений для безпечних складних доказів великої масштабу з самого початку, а Starknet, йдучи по тій же лінії, ділиться цією етосом.

Для досягнення цієї великої, але чистої мети було необхідно зробити багато зусиль, і каїрська мова - одне з них. (Примітка: Мова Каїро - це мова програмування, розроблена StarkWare спеціально для системи доказів STARK. Вона ефективно створює докази, оптимізує позапротокольне обчислення та ефективно вирішує обмеження Solidity у виконанні доказів.)

На відміну від інших рішень Layer 2, які використовують Solidity для розробки смарт-контрактів, розробники на Starknet повинні використовувати власну мову Cairo для розробки, що безпосередньо підвищує криву навчання та бар'єр для вступу для розробників.

З іншого боку, оскільки Cairo VM несумісний з EVM, багато зрілих проектів на Ethereum не можуть бути безпосередньо мігровані на Starknet. Це призвело до того, що Starknet, незважаючи на те, що є рішенням Ethereum Layer 2, має проблеми з користування перевагами великого екосистеми.

Наразі понад 90% dApps на Starknet є власними для ланцюга, а витрати на розробку проекту значні.

У цій складній ситуації вибір Starknet можна знайти в статті Елі Бен-Сассона " @think-цілісність/упертий%,-або-стійкий">Стояти на місці чи наполегливо продовжувати“ на початку року.

У статті цитується байка про те, що «їздити верхи на тигрі важко злізти», вказуючи на те, що жертвувати безпекою заради короткострокової продуктивності — це все одно, що їздити верхи на тигрі, що скаче галопом, пов'язане з небезпекою. Будучи щиро віруючими в технології, вони ніколи не будуть маскувати другосортні технології під першокласні і продавати їх.

Що прагне зробити Starknet - це справжній доказ, який може витримати потужні дані та темний ліс. І дотримання доказу - це дотримання безпеки.

Дотримуватися, Starknet має багаті заохочувальні заходи для розробників. Окрім спільнотних заходів, таких як хакатони, він нещодавно запустив Seed Grand Program, пропонуючи обраним командам до $25,000 USDC у недилютуючих фінансових винагород для підтримки розвитку їхньої екосистеми на Starknet.

Спеціально для галузі геймінгу, Фонд Програма пілотного приводувибере до 20 ігор для винагород за фінансування на основі їх споживання газу на головній мережі Starknet, причому кожна гра може отримати до 1 мільйона доларів у винагороді.

Крім того, Nethermind, команда розробників клієнта Ethereum, що глибоко співпрацює з Starknet, також оголосилаВелика програма Starknet, пропонуючи загалом $1 мільйон фінансової винагороди. Кожен проект може отримати до $250,000 фінансування та технічну підтримку від команди Nethermind.

Starknet також намагається прорватися через бар'єри між собою та Ethereum з двох аспектів. З одного боку, проект Warp, розроблений компанією Nethermind, спрямований на переклад коду Solidity в код Cairo для досягнення сумісності на рівні високорівневої мови. З іншого боку, рішення Kakarot zkEVM, розроблене членами команди StarkWare, моделює середовище EVM в Cairo, намагаючись створити доведену EVM. Проект все ще знаходиться на етапі розробки.

5.3 Майбутнє

Під зусиллями StarkWare спільнота розробників Cairo наразі стабільно зростає. За плідної спільноти розробників екосистема виводитиме на світ більше відмінних продуктів та інструментів, додатково приваблюючи більше талановитих розробників приєднатися до спільноти Cairo та створюючи позитивний цикл.

Крім того, очікуючи на виникнення відмінних продуктів у традиційних сферах, таких як DeFi, поєднуючи поступові покращення продуктивності та переваги обчислювальної цілісності у Starknet, на Starknet починають виникати деякі потенційні сектори трендів, які можуть представляти майбутнє.

5.3.1 Повноцінні ігри на ланцюгу

Концепція повністю онлайн-ігор (FOCG), також відомих як нескінченні ігри, набула популярності на початкових етапах блокчейну, захоплюючи очікування геймерів.

Це передбачає зберігання правил та даних ігор повністю на блокчейні, виконання всіх операцій та взаємодій на основі смарт-контрактів. Ця настройка дозволяє гравцям дійсно володіти внутрішніми активами гри, забезпечує прозорі та перевірені правила та надає відкриту економічну систему, тим самим сприяючи більш вільному та справедливому геймінговому досвіду.

Однак, через ранні обмеження, такі як пропускна здатність, витрати та режими взаємодії на блокчейні, повністю онлайн-ігри протягом довгого часу лишалися високою мрією, не досягнувши масового поширення.

Тим не менш, завдяки безперервній оптимізації у різних аспектах Starknet ми бачимо значний потенціал для того, щоб він став плідною землею для вирощування Повністю On-Chain Ігор.

5.3.1.1 Природна абстракція облікового запису

Абстракція облікового запису (AA) - це важливий крок у покращенні взаємодії та допомозі користувачам Web2 у переході до Web3.

У простих термінах це передбачає перехід від традиційних Зовнішніх Рахунків Ethereum (EOA), які загалом використовуються фізичними особами, до Рахунків Смарт-контрактів (CAs). Завдяки програмованості рахунків смарт-контрактів, операції можуть бути спрощені, а користувацький досвід оптимізований, забезпечуючи при цьому безпеку.

Дизайн Starknet включає в себе вбудовану абстракцію облікового запису з самого початку, причому кожен обліковий запис є обліковим записом смарт-контракту, що зменшує складність впровадження AA в системі.

Мобільні додатки гаманця, такі як Agent X і Braavos, підтримують абстракцію облікового запису, що забезпечує користувачам досвід, схожий на Web2.

В ігрових сценаріях роль абстракції облікового запису стає ще більш очевидною. Наприклад, ключова функція сесії, ініційована відомими ігровими командами на Starknet, такими як Briq, Loot Realms і Topology, тепер використовується в Loot Survivor. Ця функція дозволяє використовувати сесійні гаманці, усуваючи необхідність для користувачів підписувати кожну дію «атаки», тим самим значно покращуючи взаємодію з користувачем.

5.3.1.2 Каїрська екологія поступово покращується

З завдяки постійній оптимізації та покращенню продуктивності Starknet велика кількість геймінгових спільнот об'єдналися, щоб разом будувати екосистему Каїро. З запуском серії інфраструктури геймінгова рамка екосистеми тепер встановлена.

Dojo є ігровим двигуном на основі Каїро, створеним у лютому 2023 року і наразі колективно експлуатується та обслуговується спільнотою. Ігровий двигун служить основою для створення ігор, надаючи розробникам ігор фреймворк розробки, що складається з контрактів, інструментів та бібліотек коду. Це усуває потребу у них будувати базові системи гри з нуля, що робить розробку ігор на ланцюгу ланцюжків простішою.

(Примітка: Двома найпопулярнішими ігровими двигунами для ігор Web2 є Unity та Unreal Engine, на яких побудовані ігри, такі як "Hearthstone" та "Street Fighter". Розвиток ігрових двигунів Web3 все ще знаходиться на початковій стадії. Два існуючі зашифровані ігрові двигуни - це MUD, побудований на EVM, та Dojo, на основі Cairo. Dojo - перший підтверджений зашифрований ігровий двигун.)

Картридж - це лаунчер ігор, який, з одного боку, надає розробникам інструменти та кодові бібліотеки на основі Dojo для створення та розгортання ігор, включаючи логіку гри на ланцюжку, масштабовану архітектуру, безшовний доступ користувачів, модульний розвиток та рішення з монетизації. З іншого боку, він спрощує процес взаємодії для гравців, роблячи його легким для відкриття та входу у свої улюблені ігри.

5.3.1.3 Рівень 3

Starknet, як універсальне рішення Layer2, що використовує Zk Rollup, не тільки володіє відмінною безпекою, високою пропускною здатністю та значно зменшеними витратами, але й пропонує настроювану розробку Layer3 Appchains для виконання конкретних потреб.

Розробники ігор можуть налаштовувати та оптимізувати середовище виконання та механізм консенсусу on-chain відповідно до своїх вимог, створюючи високопродуктивний, з низькою затримкою та ефективний за вартістю ланцюжок, спеціально призначений для ігор. Це відкриває більше можливостей для повноцінних ігор on-chain.

Realms та Cartridge співпрацювали над розробкою "Realms World L3", запуск якого очікується в офіційному порядку у третьому кварталі цього року. Він буде працювати усіма елементами екосистеми Realms на базі Starknet, що пропонує швидкісні та менші витрати для подальшого покращення досвіду користувачів.

Крім того, Dope Wars оголосила про співпрацю з Cartridge для випуску рішення Layer3 та використання $PAPER як токену Gas.

5.3.1.4 Огляд

Хоча продуктивність Starknet в галузі Gamefi може не бути особливо помітною у очах громадськості, фокусуючись на повністю іграх on-chain виявляє дружелюбність екосистеми Starknet, чітку місію для ігор на всіх ланцюгах та власні технологічні переваги, які однаково цікаві як розробникам, так і гравцям.

Наразі ми спостерігаємо високий рівень ентузіазму серед розробників ігор на Starknet для побудови екосистеми Cairo. Спільні зусилля провідних проєктів сприяли створенню ключової інфраструктури, такої як Dojo.

Якщо одного дня повністю ігрові проекти на ланцюжку можуть бути повністю реалізовані, дозволяючи все більше і більше шанувальників гри ввійти в світ ігор Web3 та дійсно отримати власність над своїми ігровими активами, є причина вірити, що все це станеться на Starknet.

5.3.2 ZKML

Зі спільним вибухом технологій ШІ та блокчейну ШІ+блокчейн все частіше розглядається як майбутнє напрямок розвитку, причому нульове машинне навчання з використанням нульового знання (ZKML) є одним з рішень.

Традиційні моделі МО часто схожі на чорні скриньки, які належать централізованим установам. Звичайні користувачі, окрім довіри до рекомендацій великих установ, не можуть перевірити, які моделі вони використовують або чи вони навчені надійними даними. Це одна з основних причин критики централізованих великих моделей.

Просто поміщення моделей на ланцюжок у децентралізований спосіб для навчання та виконання неможливе через високі витрати на газ та нездатність гарантувати надійність моделей та навчальних даних в ненадійному онлайн-середовищі.

У такому сценарії стає необхідним ZKML. Думайте поза ланцюжком, дійте в ланцюжку. Тренуйте та запускайте моделі поза ланцюжком, використовуючи технологію ZK для генерації доказів, які подаються до ланцюжка, ZKML ідеально вирішує два раніше згадані дилеми - вартість та надійність.

Крім того, через конфіденційність, властиву ZK, ZKML також має широкі перспективи в чутливих галузях, таких як фінанси та охорона здоров'я.

Побудова ZKML на Starknet за допомогою Cairo має відчутні переваги. Cairo, як мова, розроблена для доведення, має відмінну обчислювальну цілісність і є високо абстрагованою в доведеннях. Розробники можуть безпосередньо викликати компоненти доведення, не маючи справи з проблемами доведення самостійно, що значно спрощує процес розробки.

Крім того, завдяки перевагам масштабованості STARK, він має значні мережеві ефекти у роботі з великомасштабними обчислювальними даними, ефективно та витратно підтримуючи масивні дані, необхідні для машинного навчання. Тому ZKML, заснований на Giza Tech на Starknet, швидко розвивається.

Giza - це проміжна платформа ZKML на Starknet, яка надає рамку розробки Orion, що дозволяє розробникам використовувати звичні рамки (такі як PyTorch, TensorFlow) для навчання моделей та легкого розгортання на Starknet.

Крім того, Giza представила агентську структуру під назвою Агенти, яка поєднує ZKML з поведінкою на багатьох ланцюгах. Розробники можуть створювати наланцюжкові штучні інтелектуальні агенти на основі ZKML, взаємодіяти з розумними контрактами та приймати рішення на основі попередньо визначених правил.

Зараз Giza застосовується в кількох проектах. Наприклад, в соціальних мережах вона співпрацює з мережею Circles для аналізу соціального графа для виявлення фейкових користувачів. У сфері DeFi вона співпрацює з Yearn Finance для надання інтелектуальних інвестиційних стратегій та рішень управління ризиками на основі ZKML.

Останнім додатком до програми Starknet Seed Grand стало ML Village, яке використовує Giza для впровадження ZKML у блокчейн-геймінг для прийняття рішень, демонструючи свої широкі перспективи застосування.

06 Висновок

Згідно з недавніми оголошеннями від офіційної команди Starknet, очікується, що до 2024 року комісійні витрати будуть зменшені до значно менше $0.01, при цьому досягнувши сотні транзакцій на секунду (TPS), зробивши його Layer2 з найвищим TPS.

Ця мета може здатися не дуже амбітною для Starknet, оскільки візія StarkWare для Starknet виходить за межі просто шару 2. Щодо продукту та ринкових виборів, Starknet більше схожий на Solana, відмовляючись від переваг і обмежень EVM для побудови з нуля.

Проте, на відміну від Solana, у якій є недоліки у децентралізації, Starknet винахідливо успадковує екстремальну децентралізацію Ethereum, забезпечуючи масштабованість та безпеку через поєднання Ethereum Layer 2 та ZK. Це перетворює неможливий трикутник у можливість.

Цей, здавалося, ідеальний результат, про який ми говорили раніше, - це практика дотримання стратегії довгостроковості, подорож жертвуванням ближнього на користь далекого. Ми очікуємо, що Starknet в майбутньому вивільнить більше життєвої енергії.

Відмова від відповідальності:

1. Ця стаття взята з [ Дзеркало]. Переслати оригінальний заголовок‘Starknet 万字研报：蓄势待发，长期主义者的跬步千里’. Усі права на авторське право належать оригінальному автору [Biteye核心贡献者Anci]. Якщо є заперечення щодо цього передрук, будь ласка, зв'яжіться з Gate Learnкоманда, і вони швидко займуться цим.
2. Відповідальність за відмову: Погляди та думки, висловлені в цій статті, є виключно тими автора і не становлять жодної інвестиційної поради.
3. Переклади статті на інші мови виконуються командою Gate Learn. Якщо не зазначено інше, копіювання, поширення або плагіатування перекладених статей заборонене.