De ce contează sistemele multi-prover pentru zkVM Security? zkVM-urile sunt încă în evoluție. Bug-urile - în provatori sau verificatori - sunt inevitabile în acest stadiu. Arhitecturile multi-tester sunt o modalitate practică de a menține vivacitatea și securitatea, chiar și atunci când cel mai nou sistem de verificare nu este perfect. Completând @DeclanFox14 la summitul nostru Ethproofs din Berlin, managerul de produs @OffchainLabs @zkLumi subliniat că una dintre cele mai importante măsuri de protecție împotriva upgrade-urilor rău intenționate sau defectuoase la zkVM-uri este diversitatea de demonstrație. În loc să se bazeze pe o singură implementare a probatorului, o configurație multi-demonstrator poate: • Rulați mai multe implementări ZK proof în paralel. • Încorporează atestate din diferite sisteme. • Apelați la tipuri alternative de dovezi (de exemplu, dovezi de fraudă) dacă o dovadă eșuează sau nu este de acord cu alta. De exemplu, lanțurile @arbitrum Orbit pot funcționa într-un mod hibrid: • În mod normal, rulați cu o dovadă ZK. • Dacă apare o dispută sau un probator eșuează, apelați la dovezile de fraudă. • Mențineți mai multe zkVM-uri sau implementări ZK pentru a detecta erori. Această abordare oferă rezistență dacă un upgrade zkVM introduce un defect - fie că este o modificare rău intenționată sau o eroare neintenționată - și asigură că există întotdeauna o cale sigură către validarea stării. De asemenea, prezintă @alexanderlhicks de @ethereumfndn și @mpfzajac de @NethermindEth. Urmăriți panelul complet aici: