Tại sao các hệ thống nhiều prover lại quan trọng cho bảo mật zkVM? zkVM vẫn đang trong quá trình phát triển. Các lỗi - trong các prover hoặc verifier - là điều không thể tránh khỏi ở giai đoạn này. Kiến trúc nhiều prover là một cách thực tiễn để duy trì tính liên tục và bảo mật, ngay cả khi hệ thống chứng minh mới nhất không hoàn hảo. Thay mặt cho @DeclanFox14 tại Hội nghị Ethproofs Berlin của chúng tôi, Quản lý Sản phẩm @OffchainLabs @zkLumi đã nhấn mạnh rằng một trong những biện pháp bảo vệ quan trọng nhất chống lại các nâng cấp độc hại hoặc lỗi của zkVM là sự đa dạng của các prover. Thay vì dựa vào một triển khai prover duy nhất, một thiết lập nhiều prover có thể: • Chạy nhiều triển khai chứng minh ZK song song. • Kết hợp các chứng thực từ các hệ thống khác nhau. • Quay lại các loại chứng minh thay thế (ví dụ: chứng minh gian lận) nếu một chứng minh thất bại hoặc không đồng ý với chứng minh khác. Ví dụ, các chuỗi @arbitrum Orbit có thể hoạt động ở chế độ lai: • Thường chạy với một chứng minh ZK. • Nếu xảy ra tranh chấp hoặc một prover thất bại, quay lại chứng minh gian lận. • Duy trì nhiều zkVM hoặc các triển khai ZK để phát hiện lỗi. Cách tiếp cận này cung cấp khả năng phục hồi nếu một nâng cấp zkVM giới thiệu một lỗi - cho dù đó là một thay đổi độc hại hay một lỗi không mong muốn - và đảm bảo luôn có một con đường an toàn để xác thực trạng thái. Cũng có sự tham gia của @alexanderlhicks của @ethereumfndn và @mpfzajac của @NethermindEth. Xem toàn bộ phiên thảo luận tại đây: