StarkNet sprawia, że ​​Cairo 1.0 open source jest pierwszym krokiem w kierunku kontroli społeczności

Firma technologiczna o zerowej wiedzy (ZK)-Rollup, StarkWare, oficjalnie udostępniła swój nowy kompilator języka programowania, Cairo 1.0, który wkrótce będzie obsługiwany w rozwiązaniu skalowania warstwy 2 Ethereum StarkNet w pierwszym kwartale 1 r. 

Wieści były ogłosił przez StarkWare — firmę stojącą za StarkNet — w poście na Twitterze z 25 listopada. Technologia zbiorcza StarkWare i rekurencyjne dowody oferują potencjał skompresowania milionów transakcji na L2 w jedną transakcję na Ethereum, jednak projekt był krytykowany za utrzymywanie kontroli nad swoją własnością intelektualną, zwłaszcza przez bardziej skoncentrowanego na otwartym kodzie źródłowym konkurenta, zkSync.

StarkWare opisał open sourcing w Kairze jako „kamienie milowe” w dążeniu do przekazania większej kontroli i Prawa własności intelektualnej swojej społeczności i programistom. Cairo to język programowania napisany specjalnie w celu wykorzystania mocy kompilacji ZK i dowodów ważności.

StarkWare stwierdził, że programiści mogą teraz eksperymentować z Cairo 1.0, kompilując i uruchamiając proste aplikacje, dopóki nie będzie w pełni obsługiwany w StarkNet w pierwszym kwartale 1 r.

W tym momencie Cairo 1.0 umożliwi szybszy rozwój funkcji i pozwoli na większe zaangażowanie społeczności, według Starkware Exploration Lead i byłego głównego programisty Ethereum, Abdelhamida Bakhty.

„Kontynuujemy otwieranie kodu źródłowego stosu technologicznego StarkNet, zaczynając od Cairo 1.0. Robimy to, aby spełnić wizję StarkNet jako dobra publicznego, z którego każdy może korzystać i które społeczność może stale ulepszać” – powiedział.

„Na poziomie praktycznym maksymalizuje to przejrzystość naszego kodu i naszego procesu kodowania. I wzmacnia zdolność społeczności do znajdowania błędów i ulepszania kompilatora. Z każdym aspektem stosu technologii, który jest open source, to poczucie zaangażowania społeczności będzie rosło i rosło”.

Po uruchomieniu Cairo 1.0 umożliwi również programistom blockchain pisanie i wdrażanie inteligentnych kontraktów w StarkNet, według do średniego postu StarkWare.

StarkWare dodał, że ponieważ Cairo 1.0 sprawia, że ​​każde obliczenie jest „możliwe do udowodnienia”, właściwości odporności StarkNet na cenzurę zostaną wzmocnione, a także będzie lepiej przygotowany do reagowania na ataki typu „odmowa usługi”.

Stos technologiczny STARK firmy StarkWare zasila szereg projektów Web3, w tym platformę zdecentralizowanej wymiany (DEX) dYdX (chociaż ta przenosi się do własnego łańcucha w Cosmos), platformę NFT Immutable X i protokół interoperacyjności blockchain Celer Network.

Związane z: W jednej transakcji można wybić 60 milionów NFT — współzałożyciel StarkWare

StarkNet zaryzykował, używając Cairo do przyspieszenia swojego rozwiązania, które nie jest natywnie kompatybilne z maszyną wirtualną Ethereum (EVM). Jednak firma narzędziowa oprogramowania Ethereum Nethermind zbudował transpiler o nazwie Warp, który konwertuje kod Solidity na kod Cairo.

Sieć główna konkurencji zkSync kompatybilna z EVM jest w trakcie uruchamiania.

Ale pomimo obrania trudniejszej ścieżki, założyciel StarkWare, Eli Ben-Sasson, powiedział niedawno Cointelegraph, że używanie niestandardowego języka programowania, takiego jak Cairo, w przeciwieństwie do Solidity, było jedynym realnym sposobem na pełne wykorzystanie skalowania Ethereum zapewnianego przez pakiety ZK:

„Chętnie założę się, że nie zobaczysz pełnej wersji ZK EVM, która może umieścić milion transakcji w jednym dowodzie na Ethereum. Tak, jak możemy to zrobić dzisiaj i robimy to od miesięcy i lat.”

Wiadomość pojawia się jako Starkware również niedawno wdrażane nowy token StarkNet (STRK) w Ethereum 17 listopada, który będzie używany do celów obstawiania i głosowania oprócz płacenia opłat w sieci.