StarkNet преработва езика за програмиране Cairo, за да насърчи приемането на разработчиците

Платформата за мащабиране на ниво 2 на Ethereum StarkNet преработи своя вътрешен език за кодиране Cairo, за да направи разработката на Web3 достъпна за разработчиците.

Съобщение, споделено с Cointelegraph, очертава надстройките до Cairo 1.0, който се рекламира да емулира характеристиките на популярния език за програмиране Rust. Основният ремонт има за цел да позволи на разработчиците с общ опит в кодирането да започнат да изграждат децентрализирани приложения в мрежата Ethereum слой 2 на StarkNet.

Съоснователят и президент на StarkWare Ели Бен-Сасон каза пред Cointelegraph, че правенето на разработката на слой 2 по-достъпна за разработчици с различен опит е основната причина за обновяването на Cairo:

„Основните двигатели бяха безопасността и лекотата на използване, а извършването на основен ремонт предостави страхотна възможност за премахване на влизането за разработчици с конвенционален езиков опит.“

Техническите спецификации, очертани при стартирането на 5 януари, включват множество подобрения на езика на Cairo, включително подобрен синтаксис и езикови конструкции, холистична система от типове, интуитивни библиотеки, оптимизиран код и силно въвеждане чрез изискване на спецификация на типовете данни.

StarkNet изтъкна Sierra - което означава безопасно междинно представителство - като основно допълнение към ремонта на Кайро. Sierra действа като нов междинен слой за представяне между Cairo 1.0 и Cairo байт код.

Както обясни Бен-Сасон, Sierra е важен аспект за осигуряване на мрежа без разрешения. Надстройката позволява върнатите транзакции да бъдат включени в блоковете на StarkNet, като помага на протокола да избягва добавянето на сложни „крипто-икономически механизми“.

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

Бен-Сасон каза, че Sierra ще позволи на StarkNet да „наследи пълната устойчивост на цензура на Ethereum“ и основно защитава срещу атаки за отказ на услуга на Sequencer.

As съобщено по-рано от Cointelegraph, Бен-Сасон е пионер zk-СТАРК криптография заедно с други компютърни учени. Zero-Knowledge Scalable Transparent Arguments of Knowledge е доказателствена система, която криптира и проверява транзакционните данни, за да осигури сигурност, мащабируемост и устойчивост на квантовите изчисления.

Според StarkNet Cairo е четвъртият най-популярен език за интелигентни договори по заключена обща стойност. Това е базата от приложения, които са обработили над 300 милиона транзакции, изсекли са 90 милиона незаменими токени и са улеснили сделки на стойност $790 милиона, уредени на Ethereum.