"ZK Spåra aktiv projektdelning". 🙌 Jag har funderat länge på vad jag ska skriva, och mina vänner som känner mig vet att jag alltid har varit intresserad av zk. Låt oss ta en titt på ZK-projekten som har varit mycket aktiva den senaste tiden (med pågående incitamentsaktiviteter) och gradvis aktiva (med kommande incitamentsaktiviteter). Denna uppsats analyserar systematiskt de fem mest aktiva och högprofilerade projekten i det nuvarande ZK-spåret: @NexusLabs, @RiscZero @boundless_xyz, @SuccinctLabs, @zerobasezk och @Zypher_Network. Den kommer att delas ur perspektivet av projektintroduktion, teknisk arkitektur (huvudsakliga funktionella produkter), senaste aktiviteter och incitament samt författardelning. Tabellen nedan ger en kort sammanfattning av den viktigaste informationen för varje projekt för enkel visuell jämförelse, och trådade tweets kommer att beskriva varje objekt. Låt oss ta en snabb titt på ZK, VM och zkVM zk (Zero-Knowledge): hänvisar till "zero-knowledge", vilket är ett brett begrepp inom kryptografi, vilket innebär att en part (bevisaren) kan bevisa sanningen i ett påstående för den andra parten (verifieraren) utan att avslöja någon ytterligare information under interaktionen. En virtuell maskin (VM) är ett datorsystem som simuleras av programvara och som kan köra operativsystem och applikationer som en riktig fysisk dator. För att uttrycka det enkelt är en virtuell maskin som att skapa en "virtuell dator" på din dator, där du kan installera olika operativsystem (som Windows, Linux, etc.) och köra programvara utan att påverka ditt riktiga värdsystem. De viktigaste egenskaperna hos virtuella datorer är isolering och virtualisering. Varför behöver du virtuella maskiner (VM) för blockkedjeutveckling? 1⃣️ Deterministisk exekveringsmiljö Blockchain är ett decentraliserat nätverk som underhålls gemensamt av många noder. För att säkerställa nätverkets konsistens måste alla noder nå konsensus om utföranderesultatet av det smarta kontraktet. Virtuella datorer tillhandahåller en standardiserad körningsmiljö som garanterar att samma kod och indata ger exakt samma utdata på alla noder. Denna "säkerhet" är grunden för blockkedjans funktion. 2⃣️ Säkerhet Smarta kontrakt involverar ofta värdefulla tillgångar som kryptovalutor eller tokens, så säkerheten är av största vikt. Den virtuella datorn använder sandlådeteknik för att isolera kontraktskoden för att förhindra att skadlig kod skadar noder eller nätverk. Till exempel använder den virtuella maskinen i Ethereum "gas"-mekanismen för att begränsa kontraktets resursförbrukning och undvika oändliga loopar eller attacker. 3⃣️ Portabilitet Virtuella maskiner gör det möjligt för utvecklare att skriva kod för smarta kontrakt en gång och köra den på valfri nod som stöder den virtuella maskinen, utan att behöva oroa sig för skillnader i den underliggande hårdvaran eller operativsystemet. Detta förenklar utvecklings- och distributionsprocessen avsevärt. 4⃣️ Standardisering Virtuella maskiner tillhandahåller en enhetlig uppsättning instruktionsuppsättningar och exekveringsmodeller, vilket gör att utvecklare kan förlita sig på en standardiserad plattform för att skapa smarta kontrakt. Den här standardiseringen främjar samarbete i utvecklarcommunityn och ett blomstrande ekosystem. 5⃣️ Flexibilitet och skalbarhet Virtuella maskiner stöder en mängd olika programmeringsspråk och verktyg, vilket gör det möjligt för utvecklare att skriva kod på ett sätt som de är bekanta med. Samtidigt kan designen av virtuella maskiner uppgraderas i takt med att tekniken går framåt, lägga till nya funktioner eller optimera prestanda. För att uttrycka det enkelt ger virtuella maskiner en säker, konsekvent och bärbar driftsmiljö för blockkedjor och är nyckelteknologier för utförande av smarta kontrakt. Till exempel är EVM en förkortning av "Ethereum Virtual Machine", som också är infrastrukturen för 90 % av de offentliga kedjorna i detta skede. zkVM: Det är en kombination av en VM och en ZK: den kan både köra ett program (som en virtuell maskin) och generera ett "nollkunskapsbevis" som bevisar att programmet körs korrekt samtidigt som integriteten skyddas. zkVM är särskilt användbart i blockchain-utrymmet, och dess fördelar inkluderar: · Sekretesskydd: I finansiella transaktioner kan zkVM bevisa att en transaktion är giltig (t.ex. att kontosaldot är tillräckligt), men avslöjar inte det specifika beloppet eller kontoinformationen. · Skalbarhet: I lager 2 kan zkVM verifiera riktigheten av tusentals transaktioner och sedan bara lagra ett kort bevis på huvudkedjan, snarare än detaljerna för varje transaktion. Detta gör det möjligt för blockkedjan att behandla fler transaktioner, vilket minskar kostnader och bördor. #Nexus, #RiscZero och #Succinct tillhör alla zkVM-spåret. Nästa steg blir att analysera var och en efter en.