"ZK sporer aktiv prosjektdeling". 🙌 Jeg har tenkt på hva jeg skal skrive lenge, og vennene mine som kjenner meg vet at jeg alltid har vært interessert i zk. La oss ta en titt på ZK-prosjektene som har vært veldig aktive i det siste (med pågående insentivaktiviteter) og gradvis aktive (med kommende insentivaktiviteter). Denne artikkelen analyserer systematisk de fem mest aktive og høyprofilerte prosjektene i det nåværende ZK-sporet: @NexusLabs, @RiscZero @boundless_xyz, @SuccinctLabs, @zerobasezk og @Zypher_Network. Det vil bli delt med tanke på prosjektintroduksjon, teknisk arkitektur (hovedfunksjonelle produkter), nyere aktiviteter og insentiver, og forfatterdeling. Tabellen nedenfor gir et kort sammendrag av nøkkelinformasjonen for hvert prosjekt for enkel visuell sammenligning, og trådede tweets vil detaljere hvert element. La oss ta en rask titt på ZK, VM og zkVM zk (Zero-Knowledge): refererer til "null-kunnskap", som er et bredt begrep innen kryptografi, som betyr at den ene parten (beviseren) kan bevise sannheten i en uttalelse til den andre parten (verifikatoren) uten å avsløre ytterligere informasjon under interaksjonen. En virtuell maskin (VM) er et datasystem som er simulert av programvare og er i stand til å kjøre operativsystemer og applikasjoner som en ekte fysisk datamaskin. For å si det enkelt, er en virtuell maskin som å lage en "virtuell datamaskin" på datamaskinen din, der du kan installere forskjellige operativsystemer (som Windows, Linux, etc.) og kjøre programvare uten å påvirke ditt virkelige vertssystem. Kjerneegenskapene til virtuelle maskiner er isolasjon og virtualisering. Hvorfor trenger du virtuelle maskiner (VM-er) for blokkjedeutvikling? 1⃣️ Deterministisk utførelsesmiljø Blockchain er et desentralisert nettverk som vedlikeholdes i fellesskap av mange noder. For å sikre konsistensen i nettverket, må alle noder oppnå konsensus om utførelsesresultatet av den smarte kontrakten. Virtuelle maskiner gir et standardisert utførelsesmiljø som garanterer at samme kode og inndata vil produsere nøyaktig samme utdata på enhver node. Denne "sikkerheten" er grunnlaget for driften av blokkjeden. 2⃣️ Sikkerhet Smarte kontrakter involverer ofte verdifulle eiendeler som kryptovalutaer eller tokens, så sikkerhet er avgjørende. Den virtuelle maskinen bruker sandkasseteknologi for å isolere kontraktskoden for å forhindre at ondsinnet kode skader noder eller nettverk. For eksempel bruker den virtuelle maskinen i Ethereum "gass"-mekanismen for å begrense kontraktens ressursforbruk og unngå uendelige løkker eller angrep. 3⃣️ Bærbarhet Virtuelle maskiner lar utviklere skrive smart kontraktskode én gang og kjøre den på en hvilken som helst node som støtter den virtuelle maskinen, uten å bekymre seg for forskjeller i den underliggende maskinvaren eller operativsystemet. Dette forenkler utviklings- og distribusjonsprosessen betraktelig. 4⃣️ Standardisering Virtuelle maskiner gir et enhetlig sett med instruksjonssett og utførelsesmodeller, slik at utviklere kan stole på en standardisert plattform for å lage smarte kontrakter. Denne standardiseringen fremmer samarbeid i utviklerfellesskapet og et blomstrende økosystem. 5⃣️ Fleksibilitet og skalerbarhet Virtuelle maskiner støtter en rekke programmeringsspråk og verktøy, slik at utviklere kan skrive kode på en måte de er kjent med. Samtidig kan utformingen av virtuelle maskiner oppgraderes etter hvert som teknologien utvikler seg, legge til nye funksjoner eller optimalisere ytelsen. For å si det enkelt gir virtuelle maskiner et sikkert, konsistent og bærbart driftsmiljø for blokkjeder, og er nøkkelteknologier for smart kontraktsutførelse. For eksempel er EVM forkortelsen for "Ethereum Virtual Machine", som også er infrastrukturen til 90 % av offentlige kjeder på dette stadiet. zkVM: Det er en kombinasjon av en VM og en ZK: den kan både kjøre et program (som en virtuell maskin) og generere et "nullkunnskapsbevis" som beviser at programmet kjører riktig samtidig som personvernet beskyttes. zkVM er spesielt nyttig i blokkjedeområdet, og fordelene inkluderer: · Personvern: I finansielle transaksjoner kan zkVM bevise at en transaksjon er gyldig (f.eks. kontosaldoen er tilstrekkelig), men avslører ikke det spesifikke beløpet eller kontoinformasjonen. · Skalerbarhet: I Layer 2 kan zkVM verifisere riktigheten av tusenvis av transaksjoner og deretter lagre bare et kort bevis på hovedkjeden, i stedet for detaljene for hver transaksjon. Dette gjør at blokkjeden kan behandle flere transaksjoner, noe som reduserer kostnader og byrder. #Nexus, #RiscZero og #Succinct tilhører alle zkVM-sporet. Neste trinn vil være å analysere hver etter en.