Varför är multi-prov-system viktiga för zkVM Security? zkVMs utvecklas fortfarande. Buggar - hos bevisare eller verifierare - är oundvikliga i detta skede. Multi-prov-arkitekturer är ett praktiskt sätt att upprätthålla livlighet och säkerhet, även när det senaste bevissystemet inte är perfekt. När @OffchainLabs produktchef @zkLumi fyllde i för @DeclanFox14 på vårt Ethproofs Summit i Berlin betonade han att en av de viktigaste skyddsåtgärderna mot skadliga eller felaktiga uppgraderingar av zkVMs är att bevisa mångfalden. I stället för att förlita sig på en enda provarimplementering kan en konfiguration med flera provare: • Kör flera ZK proof-implementeringar parallellt. • Inkorporera intyg från olika system. • Återgå till alternativa typer av bevis (t.ex. bedrägeribevis) om ett bevis misslyckas eller inte stämmer överens med ett annat. Till exempel kan @arbitrum Orbit-kedjor fungera i ett hybridläge: • Körs normalt med ett ZK-bevis. • Om en tvist uppstår eller om en bevisare misslyckas, gå tillbaka till bedrägeribevis. • Underhåll flera zkVM- eller ZK-implementeringar för att fånga upp fel. Den här metoden ger motståndskraft om en zkVM-uppgradering introducerar ett fel – oavsett om det är en skadlig ändring eller en oavsiktlig bugg – och säkerställer att det alltid finns en säker väg till valideringstillståndet. Dessutom med @alexanderlhicks av @ethereumfndn och @mpfzajac av @NethermindEth. Se hela panelen här: