StarkNet gjør Cairo 1.0 åpen kildekode i første skritt mot fellesskapskontroll

Zero-knowledge (ZK)-Rollup teknologiselskapet StarkWare har offisielt åpen kildekode sin nye programmeringsspråk kompilator, Cairo 1.0, som snart vil bli støttet på Ethereum lag-2 skaleringsløsning StarkNet i Q1 2023. 

Nyheten var annonsert av StarkWare - selskapet bak StarkNet - i et Twitter-innlegg 25. november. StarkWares opprullingsteknologi og rekursive bevis gir potensialet til å komprimere millioner av transaksjoner på L2 til en enkelt transaksjon på Ethereum, men prosjektet har blitt kritisert for å opprettholde kontrollen over IP, ikke minst av dens mer åpen kildekodefokuserte konkurrent zkSync.

StarkWare beskrev åpen kilde til Kairo som et "milepæltrekk" i sin søken etter å overlate mer kontroll og åndsverk til samfunnet og utviklerne. Cairo er et programmeringsspråk som er skrevet spesielt for å utnytte kraften i zk-sammenrullinger og gyldighetsbevis.

StarkWare uttalte at utviklere nå kan eksperimentere med Cairo 1.0 ved å kompilere og kjøre enkle applikasjoner til det er fullt støttet på StarkNet i Q1 2023.

På det tidspunktet vil Cairo 1.0 muliggjøre raskere funksjonsutvikling og tillate mer samfunnsengasjement, ifølge Starkware Exploration Lead og tidligere Ethereum-kjerneutvikler Abdelhamid Bakhta.

"Vi fortsetter å åpne kildekode StarkNet-teknologistakken, som begynner med Cairo 1.0. Vi gjør dette for å oppfylle StarkNets visjon som et offentlig gode som alle kan bruke, og som fellesskapet stadig kan forbedre, sa han.

"På et praktisk nivå maksimerer dette åpenheten om koden vår og kodeprosessen vår. Og det styrker fellesskapets evne til å finne feil og forbedre kompilatoren. Med hvert aspekt av teknologistabelen som er åpen kildekode, vil denne følelsen av samfunnsengasjement vokse og vokse."

Når den er i produksjon, vil Cairo 1.0 også gjøre det mulig for blokkjedeutviklere å skrive og distribuere smarte kontrakter til StarkNet, ifølge til StarkWares Medium-innlegg.

StarkWare la til at fordi Cairo 1.0 gjør hver beregning "bevisbar", vil StarkNets sensurmotstandsegenskaper bli styrket, og det vil også være bedre posisjonert for å svare på tjenestenektangrep.

StarkWares STARK-teknologistack driver en rekke Web3-prosjekter, inkludert desentralisert utveksling (DEX) plattform dYdX (selv om dette flytter til sin egen kjede på Cosmos), NFT-plattformen Immutable X og blockchain interoperabilitetsprotokoll Celer Network.

Relatert: 60 millioner NFT-er kan preges i en enkelt transaksjon - StarkWare-medgründer

StarkNet har tatt en sjanse ved å bruke Kairo for å øke hastigheten på løsningen, som ikke er naturlig kompatibel med Ethereum Virtual Machine (EVM). Imidlertid Ethereum programvare verktøy firma Nethermind bygde en transpiler kalt Warp som konverterer Solidity-kode til Cairo-kode.

Konkurrent zkSyncs EVM-kompatible hovednett er i ferd med å bli lansert.

Men til tross for en vanskeligere vei, fortalte StarkWare-grunnlegger Eli Ben-Sasson nylig til Cointelegraph at bruk av spesialbygde programmeringsspråk som Kairo, i motsetning til Solidity, var den eneste levedyktige måten å dra full nytte av Ethereum-skalering som tilbys av ZK-opprullinger:

"Jeg er villig til å satse på at du ikke vil se en fullverdig ZK EVM som kan plassere en million transaksjoner i et enkelt bevis på Ethereum. Som vi lett kan gjøre i dag og har gjort i måneder og år.»

Nyhetene kommer som Starkware også nylig utplassert det nye StarkNet-tokenet (STRK) på Ethereum 17. november, som vil bli brukt til innsats- og stemmeformål i tillegg til å betale avgifter på nettverket.