Чому мультипроверні системи важливі для безпеки zkVM? zkVM все ще розвиваються. Баги - в доказах або верифікаторах - неминучі на цьому етапі. Багатоконтактні архітектури – це практичний спосіб підтримувати життєздатність і безпеку, навіть якщо новітня система перевірки не ідеальна. Заповнюючи @DeclanFox14 на нашому Berlin Ethproofs Summit, @OffchainLabs Product Manager @zkLumi наголосив, що одним із найважливіших запобіжників від зловмисних або помилкових оновлень до zkVM є висока різноманітність. Замість того, щоб покладатися на одну реалізацію, багатофункціональна конфігурація може: • Запустіть кілька реалізацій доказу ZK паралельно. • Включати атестації з різних систем. • Повертайтеся до альтернативних типів доказів (наприклад, доказів шахрайства), якщо один доказ не вдається або не узгоджується з іншим. Наприклад, @arbitrum ланцюги Orbit можуть працювати в гібридному режимі: • Зазвичай працює з доказом ZK. • Якщо виникне суперечка або виконавець зазнає невдачі, зверніться до доказів шахрайства. • Підтримуйте кілька zkVM або реалізацій ZK, щоб виявляти помилки. Цей підхід забезпечує відмовостійкість, якщо оновлення zkVM вносить недолік - будь то зловмисна зміна або ненавмисна помилка - і гарантує, що завжди є безпечний шлях до стану перевірки. Також представлені @alexanderlhicks @ethereumfndn та @mpfzajac @NethermindEth. Переглянути повну панельну дискусію можна тут: