Tech

StarkNet gör Cairo 1.0 öppen källkod i första steget mot community-kontroll

11/24/2022
Bitcoin Ethereum nyheter

Zero-knowledge (ZK)-Rollup-teknikföretaget StarkWare har officiellt öppnat sin nya programmeringsspråkskompilator, Cairo 1.0, som snart kommer att stödjas på Ethereums lager-2 skalningslösning StarkNet under Q1 2023. 

Nyheten var meddelade av StarkWare - företaget bakom StarkNet - i ett Twitter-inlägg den 25 november. StarkWares rollup-teknologi och rekursiva bevis erbjuder potentialen att komprimera miljontals transaktioner på L2 till en enda transaktion på Ethereum, men projektet har kritiserats för att behålla kontrollen över sin IP, inte minst av sin mer öppen källkod fokuserade konkurrent zkSync.

StarkWare beskrev open sourcing Kairo som ett "milstolpedrag" i sin strävan att lämna över mer kontroll och immateriella rättigheter till dess community och utvecklare. Cairo är ett programmeringsspråk skrivet speciellt för att dra nytta av kraften i zk rollups och giltighetsbevis.

Bild

StarkWare uppgav att utvecklare nu kan experimentera med Cairo 1.0 genom att kompilera och köra enkla applikationer tills det stöds fullt ut på StarkNet under Q1 2023.

Vid den tidpunkten kommer Cairo 1.0 att möjliggöra snabbare funktionsutveckling och möjliggöra mer samhällsengagemang, enligt Starkware Exploration Lead och tidigare Ethereums kärnutvecklare Abdelhamid Bakhta.

"Vi fortsätter att öppna StarkNet-teknikstacken med öppen källkod, med början i Cairo 1.0. Vi gör detta för att uppfylla StarkNets vision som ett allmännytta som alla kan använda, och som samhället ständigt kan förbättras”, sa han.

"På en praktisk nivå maximerar detta transparensen om vår kod och vår kodningsprocess. Och det stärker communityns förmåga att hitta buggar och förbättra kompilatorn. Med varje aspekt av teknikstacken som är öppen källkod kommer denna känsla av samhällsengagemang att växa och växa."

Väl i produktion kommer Cairo 1.0 också att göra det möjligt för blockkedjeutvecklare att skriva och distribuera smarta kontrakt till StarkNet, enligt till StarkWares Medium-inlägg.

StarkWare tillade att eftersom Cairo 1.0 gör varje beräkning "bevisbar" kommer StarkNets egenskaper för censurmotstånd att stärkas och det kommer också att vara bättre positionerat för att svara på Denial-of-Service-attacker.

StarkWares STARK-teknikstack driver ett antal Web3-projekt, inklusive decentraliserad utbytesplattform (DEX) dYdX (även om detta flyttar till sin egen kedja på Cosmos), NFT-plattformen Immutable X och blockchain interoperabilitetsprotokoll Celer Network.

Relaterat: 60 miljoner NFT:er kan präglas i en enda transaktion - StarkWares medgrundare

StarkNet har tagit en chansning genom att använda Kairo för att snabba upp sin lösning, som inte är naturligt kompatibel med Ethereum Virtual Machine (EVM). Men Ethereum mjukvaruverktyg företag Nethermind byggde en transpiler som heter Warp som konverterar Solidity-kod till Kairo-kod.

Konkurrenten zkSyncs EVM-kompatibla huvudnät håller på att lanseras.

Men trots att StarkWares grundare Eli Ben-Sasson tog en svårare väg, berättade nyligen för Cointelegraph att användningen av specialbyggt programmeringsspråk som Kairo, i motsats till Solidity, var det enda gångbara sättet att dra full nytta av Ethereum-skalningen som erbjuds av ZK-uppbyggnader:

"Jag är villig att satsa på att du inte kommer att se en fullskalig ZK EVM som kan placera en miljon transaktioner i ett enda bevis på Ethereum. Som vi lätt kan göra idag och har gjort i månader och år.”

Nyheten kommer som Starkware också nyligen utplacerade den nya StarkNet-token (STRK) på Ethereum den 17 november, som kommer att användas för insats- och röstningsändamål förutom att betala avgifter i nätverket.