StarkNet прави Cairo 1.0 с отворен код в първата стъпка към контрола на общността

Zero-knowledge (ZK)-Rollup технологична компания StarkWare официално отвори своя нов компилатор за език за програмиране, Cairo 1.0, който скоро ще бъде поддържан в решението за мащабиране на Ethereum слой-2 StarkNet през Q1 2023. 

Новината беше оповестен от StarkWare – компанията зад StarkNet – в публикация в Twitter от 25 ноември. Технологията за събиране на StarkWare и рекурсивните доказателства предлагат потенциал за компресиране на милиони транзакции на L2 в една транзакция на Ethereum, но проектът е критикуван за запазване на контрола върху своя IP, не на последно място от неговия конкурент zkSync, който е по-фокусиран с отворен код.

StarkWare описа отворения код на Cairo като „крайъгълен ход“ в стремежа си да предаде повече контрол и правата на интелектуална собственост към своята общност и разработчици. Cairo е език за програмиране, написан специално, за да използва силата на zk rollups и доказателствата за валидност.

StarkWare заяви, че разработчиците вече могат да експериментират с Cairo 1.0 чрез компилиране и изпълнение на прости приложения, докато не бъде напълно поддържан от StarkNet през Q1 2023.

В този момент Cairo 1.0 ще позволи по-бързо разработване на функции и ще даде възможност за по-голямо участие на общността, според ръководителя на Starkware Exploration и бивш разработчик на ядрото на Ethereum Абделхамид Бахта.

„Ние продължаваме да отваряме технологичния стек на StarkNet, започвайки с Cairo 1.0. Правим това, за да изпълним визията на StarkNet като обществено благо, което всеки може да използва и че общността може постоянно да се подобрява“, каза той.

„На практическо ниво това увеличава максимално прозрачността относно нашия код и нашия процес на кодиране. И укрепва способността на общността да намира грешки и да подобрява компилатора. С всеки аспект от технологичния стек, който е с отворен код, това чувство за участие на общността ще расте и расте.“

Веднъж пуснат в производство, Cairo 1.0 също ще позволи на разработчиците на блокчейн да пишат и внедряват интелигентни договори в StarkNet, според към средната публикация на StarkWare.

StarkWare добави, че тъй като Cairo 1.0 прави всяко изчисление „доказуемо“, свойствата на StarkNet за устойчивост на цензура ще бъдат засилени и също така ще бъде по-добре позициониран да реагира на атаки за отказ на услуга.

Технологичният стек STARK на StarkWare захранва редица Web3 проекти, включително платформата за децентрализиран обмен (DEX) dYdX (въпреки че това се премества към собствената й верига в Cosmos), NFT-платформата Immutable X и протокола за оперативна съвместимост на блокчейн Celer Network.

Свързани: 60 милиона NFT могат да бъдат изсечени в една транзакция — съосновател на StarkWare

StarkNet пое хазарт, като използва Cairo, за да ускори своето решение, което не е съвместимо с Ethereum Virtual Machine (EVM). Въпреки това Ethereum софтуерна инструментална фирма Nethermind създаде транспилер, наречен Warp, който преобразува кода на Solidity в код на Cairo.

EVM-съвместимата основна мрежа на конкурента zkSync е в процес на стартиране.

Но въпреки поемането на по-труден път, основателят на StarkWare Ели Бен-Сасон наскоро каза на Cointelegraph, че използването на персонализиран език за програмиране като Cairo, за разлика от Solidity, е единственият жизнеспособен начин да се възползвате напълно от мащабирането на Ethereum, предоставено от ZK rollups:

„Готов съм да се обзаложа, че няма да видите пълноценен ZK EVM, който може да постави милион транзакции в едно доказателство за Ethereum. Както можем лесно да направим днес и правим от месеци и години.”

Новината идва като Starkware също наскоро разгърнати новия токен StarkNet (STRK) на Ethereum на 17 ноември, който ще се използва за целите на залагането и гласуването в допълнение към плащането на такси в мрежата.