Dlaczego systemy z wieloma proverami są ważne dla bezpieczeństwa zkVM? zkVM-y wciąż się rozwijają. Błędy - w proverach lub weryfikatorach - są nieuniknione na tym etapie. Architektury z wieloma proverami to praktyczny sposób na utrzymanie żywotności i bezpieczeństwa, nawet gdy najnowszy system dowodowy nie jest doskonały. Zastępując @DeclanFox14 na naszym szczycie Ethproofs w Berlinie, menedżer produktu @OffchainLabs @zkLumi podkreślił, że jednym z najważniejszych zabezpieczeń przed złośliwymi lub wadliwymi aktualizacjami zkVM-ów jest różnorodność proverów. Zamiast polegać na jednej implementacji prover, konfiguracja z wieloma proverami może: • Uruchamiać wiele implementacji dowodów ZK równolegle. • Włączać zaświadczenia z różnych systemów. • Przechodzić do alternatywnych typów dowodów (np. dowody oszustwa), jeśli dowód zawiedzie lub nie zgadza się z innym. Na przykład, łańcuchy @arbitrum Orbit mogą działać w trybie hybrydowym: • Zwykle działają z dowodem ZK. • Jeśli wystąpi spór lub prover zawiedzie, przechodzą do dowodów oszustwa. • Utrzymują wiele zkVM-ów lub implementacji ZK, aby wychwycić błędy. Takie podejście zapewnia odporność, jeśli aktualizacja zkVM wprowadza błąd - niezależnie od tego, czy jest to złośliwa zmiana, czy niezamierzony błąd - i zapewnia, że zawsze istnieje bezpieczna droga do walidacji stanu. W panelu wystąpili również @alexanderlhicks z @ethereumfndn i @mpfzajac z @NethermindEth. Obejrzyj cały panel tutaj: