Tech

StarkNet gør Cairo 1.0 open source i første skridt mod fællesskabskontrol

11/24/2022
Bitcoin Ethereum-nyheder

Zero-knowledge (ZK)-Rollup-teknologivirksomheden StarkWare har officielt åbnet sin nye programmeringssprog-compiler, Cairo 1.0, som snart vil blive understøttet på Ethereum layer-2-skaleringsløsning StarkNet i 1. kvartal 2023. 

Nyheden var annoncerede af StarkWare - virksomheden bag StarkNet - i et Twitter-indlæg den 25. november. StarkWares rollup-teknologi og rekursive beviser giver potentialet til at komprimere millioner af transaktioner på L2 til en enkelt transaktion på Ethereum, men projektet er blevet kritiseret for at bevare kontrollen over sin IP, ikke mindst af alt af dens mere open source-fokuserede konkurrent zkSync.

StarkWare beskrev open sourcing Cairo som et "milepælstræk" i sin søgen efter at overdrage mere kontrol og intellektuelle ejendomsrettigheder til dets samfund og udviklere. Cairo er et programmeringssprog, der er skrevet specielt til at udnytte kraften i zk-oprulninger og gyldighedsbeviser.

Billede

StarkWare udtalte, at udviklere nu kan eksperimentere med Cairo 1.0 ved at kompilere og udføre simple applikationer, indtil det er fuldt understøttet på StarkNet i Q1 2023.

På det tidspunkt vil Cairo 1.0 muliggøre hurtigere funktionsudvikling og give mulighed for mere samfundsengagement, ifølge Starkware Exploration Lead og tidligere Ethereum-kerneudvikler Abdelhamid Bakhta.

"Vi fortsætter med at open source StarkNet-teknologistakken, begyndende med Cairo 1.0. Vi gør dette for at opfylde StarkNets vision som et offentligt gode, som alle kan bruge, og som samfundet konstant kan forbedre,” sagde han.

"På et praktisk niveau maksimerer dette gennemsigtigheden om vores kode og vores kodningsproces. Og det styrker fællesskabets evne til at finde fejl og forbedre compileren. Med hvert aspekt af den teknologiske stak, der er open source, vil denne følelse af samfundsengagement vokse og vokse."

Når den først er i produktion, vil Cairo 1.0 også gøre det muligt for blockchain-udviklere at skrive og implementere smarte kontrakter til StarkNet, ifølge til StarkWares Medium-indlæg.

StarkWare tilføjede, at fordi Cairo 1.0 gør enhver beregning "beviselig", vil StarkNets censurmodstandsegenskaber blive styrket, og det vil også være bedre positioneret til at reagere på Denial-of-Service-angreb.

StarkWares STARK tech stack driver en række Web3-projekter, herunder decentraliseret udveksling (DEX) platform dYdX (selvom dette flytter til sin egen kæde på Cosmos), NFT-platformen Immutable X og blockchain interoperabilitetsprotokol Celer Network.

Relateret: 60 millioner NFT'er kunne præges i en enkelt transaktion - StarkWares medstifter

StarkNet har taget en satsning ved at bruge Cairo til at fremskynde sin løsning, som ikke er naturligt kompatibel med Ethereum Virtual Machine (EVM). Dog Ethereum software værktøj firma Nethermind byggede en transpiler kaldet Warp, der konverterer Solidity-kode til Cairo-kode.

Konkurrent zkSyncs EVM-kompatible mainnet er ved at blive lanceret.

Men på trods af at han tog en sværere vej, fortalte StarkWare-grundlæggeren Eli Ben-Sasson for nylig til Cointelegraph, at brug af specialbygget programmeringssprog som Cairo, i modsætning til Solidity, var den eneste levedygtige måde at drage fuld fordel af Ethereum-skalering, som ZK-rollups giver:

"Jeg er villig til at vædde på, at du ikke vil se en komplet ZK EVM, der kan placere en million transaktioner i et enkelt bevis på Ethereum. Som vi sagtens kan i dag og har gjort i måneder og år.”

Nyheden kommer som Starkware også for nylig indsat det nye StarkNet-token (STRK) på Ethereum den 17. november, som vil blive brugt til indsats- og afstemningsformål udover at betale gebyrer på netværket.