K-of-N Multi Prover-sikkerhet kommer til @Arbitrum Chains 🔒 ZK + TEE + Council blokkerer attester, og svindelbevis fallback. Konfigurerbar for hvert kjede. Trinn 2, her kommer vi @l2beat @ethereum fam 😉
House of ZK
House of ZK15. aug., 18:56
Hvorfor er multi-prover-systemer viktige for zkVM-sikkerhet? zkVM-er er fortsatt i utvikling. Feil - i bevisere eller verifikatorer - er uunngåelige på dette stadiet. Multi-prover-arkitekturer er en praktisk måte å opprettholde livlighet og sikkerhet på, selv når det nyeste bevissystemet ikke er perfekt. Da han fylte ut for @DeclanFox14 på vårt Ethproofs Summit i Berlin, understreket @OffchainLabs produktsjef @zkLumi at en av de viktigste sikkerhetstiltakene mot ondsinnede eller feilaktige oppgraderinger av zkVM-er er bevist mangfold. I stedet for å stole på en implementering av én enkelt beviser, kan et oppsett med flere bevisere: • Kjør flere ZK-proof-implementeringer parallelt. • Innlemme attester fra ulike systemer. • Gå tilbake til alternative bevistyper (f.eks. svindelbevis) hvis et bevis mislykkes eller er uenig med en annen. For eksempel kan @arbitrum Orbit-kjeder operere i en hybridmodus: • Kjør normalt med en ZK-proof. • Hvis det oppstår en tvist eller en beviser mislykkes, må du gå tilbake til svindelbevis. • Oppretthold flere zkVM-er eller ZK-implementeringer for å fange opp feil. Denne tilnærmingen gir motstandskraft hvis en zkVM-oppgradering introduserer en feil – enten det er en ondsinnet endring eller en utilsiktet feil – og sikrer at det alltid er en sikker bane til valideringstilstand. Også med @alexanderlhicks av @ethereumfndn og @mpfzajac av @NethermindEth. Se hele panelet her:
2,44K