Tech

StarkNet робіць Cairo 1.0 з адкрытым зыходным кодам у першым кроку да кантролю супольнасці

11/24/2022
Навіны Bitcoin Ethereum

Кампанія Zero-knowledge (ZK)-Rollup StarkWare афіцыйна адкрыла зыходны код свайго новага кампілятара мовы праграмавання, Cairo 1.0, які неўзабаве будзе падтрымлівацца ў рашэнні для маштабавання ўзроўню 2 Ethereum StarkNet у першым квартале 1 года. 

Навіна была Абвешчаны ад StarkWare — кампаніі, якая стаіць за StarkNet — у паведамленні ў Twitter ад 25 лістапада. Тэхналогія акумулявання StarkWare і рэкурсіўныя доказы дазваляюць сціснуць мільёны транзакцый на ўзроўні 2 у адну транзакцыю на Ethereum, аднак праект падвяргаецца крытыцы за захаванне кантролю над сваім IP, не ў апошнюю чаргу з боку канкурэнта zkSync, больш арыентаванага на адкрыты код.

StarkWare ахарактарызаваў Cairo з адкрытым зыходным кодам як «важны крок» у сваім імкненні перадаць большы кантроль і права інтэлектуальнай уласнасці яго супольнасці і распрацоўшчыкам. Cairo - гэта мова праграмавання, напісаная спецыяльна для выкарыстання магутнасці зводных файлаў zk і доказаў сапраўднасці.

малюнак

StarkWare заявіла, што цяпер распрацоўшчыкі могуць эксперыментаваць з Cairo 1.0, кампілюючы і выконваючы простыя прыкладанні, пакуль у першым квартале 1 г. StarkNet не атрымае поўную падтрымку.

Па словах кіраўніка Starkware Exploration і былога распрацоўшчыка ядра Ethereum Абдэльхаміда Бахты, у гэты момант Cairo 1.0 дазволіць паскорыць распрацоўку функцый і больш актыўнага ўдзелу супольнасці.

«Мы працягваем адкрываць зыходны код для тэхнічнага стэка StarkNet, пачынаючы з Cairo 1.0. Мы робім гэта, каб ажыццявіць бачанне StarkNet як грамадскага дабра, якім можа карыстацца кожны, і якое супольнасць можа пастаянна паляпшаць», — сказаў ён.

«На практычным узроўні гэта павялічвае празрыстасць нашага кода і працэсу кадавання. І гэта ўмацоўвае здольнасць супольнасці знаходзіць памылкі і паляпшаць кампілятар. З кожным аспектам тэхналагічнага стэка з адкрытым зыходным кодам пачуццё ўдзелу супольнасці будзе расці і расці».

Пасля запуску Cairo 1.0 таксама дазволіць распрацоўшчыкам блокчейнаў пісаць і разгортваць смарт-кантракты ў StarkNet, у адпаведнасці да паведамлення StarkWare Medium.

StarkWare дадаў, што паколькі Cairo 1.0 робіць кожнае вылічэнне «даказальным», устойлівасць StarkNet да цэнзуры будзе ўзмоцнена, а таксама ён будзе лепш рэагаваць на атакі адмовы ў абслугоўванні.

Тэхналагічны стэк STARK ад StarkWare забяспечвае шэраг праектаў Web3, уключаючы платформу дэцэнтралізаванага абмену (DEX) dYdX (хоць яна пераходзіць да ўласнай сеткі на Cosmos), платформу NFT Immutable X і пратакол сумяшчальнасці блокчейна Celer Network.

Па тэме: 60 мільёнаў NFT могуць быць адчаканены за адну транзакцыю — сузаснавальнік StarkWare

StarkNet пайшоў на азартную гульню, выкарыстаўшы Cairo для паскарэння свайго рашэння, якое першапачаткова несумяшчальна з віртуальнай машынай Ethereum (EVM). Аднак кампанія па распрацоўцы праграмнага забеспячэння Ethereum Nethermind стварыў транспілер пад назвай Warp, які пераўтворыць код Solidity у код Cairo.

EVM-сумяшчальная асноўная сетка канкурэнта zkSync знаходзіцца ў працэсе запуску.

Але, нягледзячы на ​​​​больш цяжкі шлях, заснавальнік StarkWare Элі Бэн-Сасан нядаўна сказаў Cointelegraph, што выкарыстанне спецыяльна створанай мовы праграмавання, такой як Cairo, у адрозненне ад Solidity, было адзіным эфектыўным спосабам у поўнай меры скарыстацца перавагамі маштабавання Ethereum, якія забяспечваюцца зводнымі пакетамі ZK:

«Я гатовы паспрачацца, што вы не ўбачыце поўнамаштабную ZK EVM, якая можа змясціць мільён транзакцый у адзін доказ на Ethereum. Як мы можам лёгка зрабіць сёння і рабілі месяцы і гады».

Навіна прыйшла як Starkware таксама нядаўна разгарнуць новы токен StarkNet (STRK) на Ethereum 17 лістапада, які будзе выкарыстоўвацца для стаўкі і галасавання ў дадатак да аплаты збораў у сетцы.