Starknet 0.12.0 офіційно розгортає мережу Mainnet: реалізація квантового стрибка

Передмова

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

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

1 Вступ до Starknet

StarkNet — це децентралізований пакет Validity-Rollup без дозволу (також відомий як «ZK-Rollup»). Як рівень 2 на Ethereum, він дозволяє будь-якому Dapp досягати нескінченного розширення в обчисленнях без шкоди для компонування та безпеки Ethereum.

StarkWare, материнська компанія StarekNet, була заснована в 2018 році зі штаб-квартирою в Ізраїлі, її основними продуктами є Starknet і StarkEx. Його вартість компанії досягла 8 мільярдів доларів США. Наразі StarkNet пройшов п’ять раундів фінансування, зібравши загалом 273 мільйони доларів США.

Варто зазначити, що Ethereum Foundation спеціально публічно підтримав starkware, що використовує stark, і вони надали грант у розмірі 12 мільйонів доларів для starkware. І це одна з причин, чому галузь загалом оптимістично налаштована щодо майбутнього розвитку StarkNet та його ортодоксальності.

Економічна модель токенів

16 листопада 2022 року компанія StarkNet оголосила, що її рідний токен $STRK буде розгорнуто в основній мережі Ethereum для голосування, ставок і сплати комісій.

Рисунок 1-1 Економічна модель токенів $STARK

В економічній моделі токенів, за винятком 49,9% токенів інвесторів і основних вкладників, решта 50,1% токенів належать фонду StarkNet. З них 8,1% токенів залишаються нерозподіленими. Ця частина буде використовуватися спільнотою для визначення відповідного використання, тому цю частину токенів зазвичай вважають потенційною квотою для розсилки. Фонд Starknet також призначив колишнього керівника Facebook Дієго Оліву своїм першим генеральним директором. Раніше Оліва заявляв, що зосередиться на управлінні децентралізованою спільнотою Starknet, наголошуючи на правах та інтересах розробників і користувачів.

карта маршруту

Пропускна здатність і затримка V 0.12.0

Чиновник нещодавно оголосив про загальну дорожню карту на 2023 рік. Версія 0.12.0 була офіційно розгорнута в основній мережі в середу, 12 липня. Остання версія Starknet, 0.12.0, представляє значні покращення продуктивності, зокрема покращення пропускної здатності та затримки. Завдяки застосуванню Sequencer на основі Rust і Rust-Cairo VM продуктивність StarkNet буде значно покращена, а біржа OKEX почала підтримувати депозит основної мережі ETH starknet.

Вартість транзакції V 0.13.0

У версії V 0.13.0 транзакційна вартість Starknet буде значно знижена. Це досягається завдяки волі, головному компоненту зниження трансакційних витрат. Вартість даних L1 (Ethereum) сьогодні становить 95% витрат на транзакції, а Volition дозволить розробникам створювати програми Starknet за допомогою гібридної моделі доступності даних (DA). Крім того, очікується, що EIP-4844 (Sharded Blob Transactions) Ethereum буде випущено в 4 кварталі 2023 року. Завдяки EIP-4844 Ethereum і Volition від Starknet (доступність даних поза ланцюгом), витрати на дані Starknet будуть значно зменшені.

V 0.14.0 Fee Marketplace

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

V 0.15.0 коротший фіксований інтервал блоку

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

2 Технічний аналіз

ZK-зведення VS OP-зведення

Наразі найпоширенішим рівнем 2 на ринку є базова технологія Arbitrium OP-Rollup (Optimistic Rollup). Він досягає розширення завдяки доказам шахрайства. У Op-Rollup дані транзакції оптимістично вважаються правильними системою без перевірки в реальному часі, безпосередньо вводячи період очікування. Під час періоду очікування, якщо вузол висуває заперечення та надає докази на підтвердження наявності зловмисної транзакції, транзакцію буде скасовано; якщо немає заперечень, транзакцію буде автоматично завершено та перевірено в основному ланцюзі після очікування. період закінчився.

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

Порівняно з OP-rollup і ZK-rollup, ZK-rollup є безпечнішою альтернативою, ніж OP-rollup, тоді як OP-rollup є кращим вибором для проектів DeFi із сумісністю з EVM. Можна побачити, що ZK-rollup із сумісністю з EVM буде майбутнім напрямком розвитку опису рівня 2 із його природними перевагами безпеки. Безпека досягається завдяки опорі StarkNet на STARK, найбільш безпечну та масштабовану криптографічну систему захисту.

Zk-STARK проти Zk-SNARK

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

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

Тут представлено концепцію — Trusted Setup, яка є процесом, який використовується в деяких типах систем з нульовим знанням (таких як zk-SNARK), який створює деякі початкові параметри перед тим, як система почне працювати. Ці параметри використовуються як під час створення доказів, так і під час перевірки.

Ключ до встановлення довіри полягає в тому, щоб гарантувати, що генератори ретельно знищують секрети, які вони використовують після створення початкових параметрів. Якби генератор зберігав цю таємницю, він мав би можливість створювати фальшиві докази, які виглядали б дійсними, що поставило б під загрозу безпеку системи. Таким чином, процес встановлення довіри має підлягати суворій перевірці та моніторингу, щоб переконатися, що всі генератори належним чином знищили секретну інформацію. Ось чому це називається «налаштування довіри», оскільки користувач має вірити, що процес чесний і генератор не обманює.

Однак zk-STARKs — це система з нульовим знанням, яка не потребує налаштувань довіри. Це означає, що, на відміну від систем, які вимагають налаштування довіри (наприклад, zk-SNARKs), процес створення доказів і перевірки zk-STARKs не покладається на жодну секретну інформацію. Це забезпечує більшу прозорість і безпеку, оскільки безпека системи не залежить від дій конкретної особи чи організації. zk-STARK реалізуються за допомогою технології під назвою "FRI" (швидкі інтерактивні докази Oracle Reed-Solomon).

Угода ПТ

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

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

Ключовою властивістю протоколу FRI є те, що він покладається лише на загальнодоступні, заздалегідь визначені параметри та не потребує жодної секретної інформації. Це робить його корисним для створення систем з нульовим знанням, таких як zk-STARK, які не вимагають налаштування довіри. Однак протокол FRI (Fast Reed-Solomon Interactive Oracle Proofs) не є еквівалентом встановлення довіри. Натомість протокол FRI — це технологія для створення та перевірки доказів zk-STARK. Це дозволяє перевіряючому довести перевіряючому, що коефіцієнти полінома мають низький ступінь, не розкриваючи конкретного змісту полінома. Ключовою властивістю протоколу FRI є те, що він покладається лише на загальнодоступні, заздалегідь визначені параметри та не потребує жодної секретної інформації. Це робить його корисним для створення систем з нульовим знанням, таких як zk-STARK, які не вимагають налаштування довіри. Протокол FRI є ключовим компонентом zk-STARKs, який дозволяє zk-STARKs працювати без необхідності налаштування довіри. Але сам протокол FRI не є процесом встановлення довіри, оскільки він не передбачає створення або знищення будь-якої секретної інформації.

Як працює Starknet

Продукти StarkWare включають StarkEx, корпоративний сервіс ZKR, налаштований для учасників проекту, і більш загальний StarkNet. StarkNet складається з п'яти частин, а саме: перевірка (сертифікатор), секвенсор (сортувальник) і повний вузол (повний вузол) на Starknet; верифікатор (верифікатор) і ядро Starknet (стан ядра), розгорнуті на контракті Ethereum).

Його принцип роботи полягає в тому, щоб ініціювати транзакцію в StarkNet, яка приймається, сортується, перевіряється сортувальником серверів поза ланцюгом і упаковується в блоки, виконує транзакцію, а потім передає статус контракту про статус ядра starknet. Прувер негайно створює підтвердження транзакції та надсилає його верифікатору Ethereum для перевірки. Верифікатор надсилає результат перевірки до контракту основного стану Ethereum starknet і запускає новий набір транзакцій Ethereum із основного контракту Starknet, щоб оновити глобальний стан у ланцюжку для збереження записів. Повний вузол (Full node) виконує функцію зберігання, включаючи зміни стану, метадані, докази, і записує всі транзакції, виконані в Starknet, і відстежує поточний глобальний стан системи.

Рисунок 2-1 Принципова схема роботи Starknet

3 Екосистема StarkNet

Рисунок 3-1 Екологічна карта Starknet (з Twitter @odin_free)

У Starknet є багато екологічних проектів, наразі понад 100 програм і сервісів. Серед них є два типи гаманців, Braavos і Argent, але мнемоніка між ними не сумісна. Було розгорнуто понад 60 протоколів Defi, включаючи такі DEX, як 10kswap, Jediswap, Myswap і протоколи кредитування, такі як Zklend; на даний момент, згідно з даними Defilama, загальний TVL StarkNet становить лише $17,36 млн. Хоча загальний TVL становить Порівняно з $189,21 млн. ери zkSync Era того ж типу, розрив все ще становить майже десять разів. Можна побачити, що екосистема StarkNet все ще перебуває на ранній стадії.

Рисунок 3-2 StarkNet TVL від defilama

Перехресний міст включає в себе офіційний міжланцюговий міст Stargate, Orbiter, Layerswap тощо; Did має StarknetID і платформу місії StarQuest. Наразі діяльність NFT Odyssey щодо різних протоколів Starknet йде повним ходом. Ми можемо лише почекати та побачити, чи буде майбутня екологія StarkNet продовжувати процвітати чи буде недовгою...

Переглянути оригінал
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Нагородити
  • Прокоментувати
  • Поділіться
Прокоментувати
0/400
Немає коментарів
  • Закріпити