Ключови изводи
Starknet е решение за мащабиране от слой 2 за Ethereum, което използва доказателства за валидност, за да позволи бързи и евтини трансакции, като същевременно наследява сигурността на Ethereum.
Мрежата обработва трансакциите off-chain и изпраща криптографски доказателства до Ethereum за окончателна проверка.
Разработчиците използват Cairo, специален език за програмиране, за да създават мащабируеми децентрализирани приложения (DApp) в Starknet.
Въведение
Starknet е решение от слой 2, което използва Мащабируеми прозрачни аргументи за знания (STARK) доказателства за по-бързи, по-евтини и по-мащабируеми трансакции. Това позволява на разработчиците да създават високопроизводителни децентрализирани приложения (DApp) с по-ниски разходи и силни криптографски гаранции, без да се жертва сигурността или децентрализацията.
Какво представляват STARK?
STARK, съкращение от Scalable Transparent Arguments of Knowledge (мащабируеми прозрачни аргументи за знания), са вид криптографско доказателство, използвано за проверка, че изчисленията са извършени правилно, без да е необходимо да се повтаря самото изчисление.
В контекста на Starknet, STARK се използват, за да се докаже, че off-chain трансакциите са били обработени правилно, преди да се изпрати компактно доказателство обратно към Ethereum. Това помага на Ethereum да финализира големи партиди трансакции по-ефективно и с по-ниски разходи.
STARK не осигуряват по подразбиране поверителност и се различават от традиционните доказателства за нулеви знания (ZKP), тъй като се фокусират върху доказване на изчислителна цялост. Това, което прави STARK особено мощни, е, че те не разчитат на надеждна настройка, мащабират се добре дори при все по-сложни изчисления и са създадени да устояват на бъдещи заплахи като потенциални квантови атаки.
Какво представлява Starknet?
Starknet е решение за мащабиране от Слой 2, създадено да направи трансакциите в Ethereum по-бързи и по-евтини. Вместо да обработва всяка трансакция директно в основния блокчейн на Ethereum, Starknet ги обработва off-chain.
След това мрежата генерира STARK доказателство, за да докаже математически, че трансакциите са били изпълнени правилно. Това доказателство, заедно с обобщение на промените, се изпраща обратно до Ethereum, където се проверява и финализира on-chain.
Как работи Starknet?
1. Секвенсер: управление на трансакции
Секвенсерът отговаря за получаването и организирането на трансакциите. Той групира тези трансакции, проверява кои от тях са валидни и отхвърля тези, които са неуспешни (например поради недостатъчни средства или грешки).
В блоковете се включват само валидни трансакции, които след това се предават за по-нататъшна валидация. Тъй като този процес се извършва извън off-chain, секвенсерът може да постигне по-висока производителност.
2. Доказващ: генериране на доказателството
Доказващият взема обработения блок и записва всяка стъпка от изпълнението на трансакцията (известна като следа на изчисление) и резултатните промени в състоянието на системата (наречени разлика в състоянията). След това доказващият преобразува тези данни и избира произволни части, за да генерира окончателното STARK доказателство, което служи като математическа гаранция, че всички трансакции са били изпълнени правилно.
3. Сетълмент в Ethereum
Доказателството и окончателните промени в състоянието се изпращат до Ethereum, където два смарт договора извършват проверката:
Договорът за верификация проверява доказателството за точност. Ако данните са последователни и валидни, те се одобряват.
След това Основният договор на Starknet актуализира състоянието на Starknet в Ethereum въз основа на провереното доказателство.
След като бъде прието, това актуализирано състояние се добавя към блок на Ethereum, където става част от постоянния архив. Тъй като доказателството потвърждава валидността на off-chain изчисленията, няма нужда да се изпълняват отново трансакциите в Ethereum, което спомага за намаляване на претоварването и разходите.
Основни характеристики на Starknet
Cairo: Програмният език на Starknet
Starknet използва специален език за смарт договори, наречен Cairo, създаден специално за писане на програми, които могат да бъдат проверени със STARK доказателства. Това позволява на разработчиците да създават мащабируеми приложения на Starknet, без да е необходимо да са експерти по криптография.
Екосистемата на Cairo включва инструменти за разработчици като Dojo, отворен код за създаване на игри изцяло on-chain, и Starknet React, библиотека, която опростява създаването на уеб интерфейси за DApp-ове на Starknet.
Абстракция на собствения акаунт
Starknet поддържа нативна абстракция на акаунти, което позволява на разработчиците да предлагат потребителско изживяване, подобно на Web2, в Web3 приложения. Това включва функции като ключове за достъп, с които потребителите могат да влизат в системата без сийд фрази и ключове за сесия, които позволяват на потребителите да одобряват няколко трансакции едновременно. Функцията за плащане позволява трансакции без газ, при които потребителите могат да плащат с ERC-20 токени или да помолят някой друг да покрие газа.
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 от секвенсера, за да покрие разходите за газ на Ethereum.
Стейкинг: STRK може да се стейква по два начина:
Като валидатор: Стейкнете минимална сума STRK и изпълнявайте мрежови отговорности, за да печелите награди.
Като делегатор: Делегирайте токени на валидатор и печелете част от наградите, без да е необходимо да управлявате валидиращ възел.
Заключителни мисли
Starknet предлага различен подход към мащабирането на Ethereum чрез използването на доказателства за валидност, по-специално STARK. Сборният пакет има за цел да увеличи пропускателната способност и да намали разходите, като същевременно запази гаранциите за сигурност на Ethereum. С функции като езика за програмиране Cairo и нативна абстракция на акаунти, Starknet създава нови възможности за разработчиците, особено в области като on-chain игри и инфраструктура.
Допълнителни статии
Отказ от отговорност: Това съдържание ви е представено във вида, в който е, само за обща информация и с образователна цел, без да се представят каквито и да било гаранции. Тя не трябва да се тълкува като финансов, правен или друг професионален съвет, нито пък има за цел да препоръчва закупуването на конкретен продукт или услуга. Трябва да потърсите собствен съвет от подходящи професионални консултанти. Възможно е продуктите, споменати в тази статия, да не са налични във вашия регион. Когато статията е предоставена от трета страна, моля, имайте предвид, че изразените възгледи принадлежат на третата страна и не отразяват непременно възгледите на Binance Academy. Моля, прочетете нашия пълен отказ от отговорност за повече подробности. Цените на дигиталните активи могат да бъдат променливи. Стойността на вашата инвестиция може да се понижи или повиши и да не си възвърнете инвестираната сума. Вие носите пълната отговорност за инвестиционните си решения и Binance Academy не носи отговорност за загуби, които може да претърпите. Този материал не трябва да се тълкува като финансов, правен или друг професионален съвет. За повече информация вижте нашите Условия за ползване и Предупреждението за риск.