Hệ sinh thái zk chưa bao giờ có khoảnh khắc Linux của nó - cho đến bây giờ. Giới thiệu ZeroOS, một Hệ điều hành Thư viện mô-đun toàn cầu cho zkVMs. Chúng tôi phát hành ZeroOS hôm nay như một tài sản công cộng, và rất vinh dự khi có @danboneh là đồng tác giả của tài liệu trắng, được liên kết trong chủ đề bên dưới.

Vấn đề: Phiên bản, Chi phí và Rủi ro Bảo mật Khi các ngôn ngữ cốt lõi như Rust, C++ hoặc Go được cập nhật, các nhóm zkVM phải sửa đổi nhánh của họ trong bộ công cụ ngôn ngữ. Điều này tạo ra "địa ngục phiên bản" nơi mỗi zkVM phải duy trì các triển khai khác nhau, dễ bị tổn thương và quan trọng về bảo mật, phụ thuộc vào các thay đổi của bên thứ ba đối với các ngôn ngữ lập trình. Mỗi sửa đổi yêu cầu một cuộc kiểm toán mới có thể tốn hơn 200.000 đô la cho mỗi phiên bản. Thêm vào đó, các nhóm zkVM cần tiếp tục đưa các bản sửa lỗi bảo mật trở lại một số lượng ngày càng tăng các bộ công cụ đã bị nhánh, điều này gây áp lực lên nguồn lực cho tất cả trừ những người chơi lớn nhất.

Giải pháp: Một hệ điều hành cho tất cả ZK ZeroOS chuyển điểm tích hợp từ các runtime ngôn ngữ cụ thể đang phát triển không ngừng sang một lớp syscall Linux ổn định duy nhất. Điều này có nghĩa là ZeroOS giải quyết vấn đề tương thích cho tất cả các zkVM theo cách không phụ thuộc vào ngôn ngữ, không phụ thuộc vào zkVM và không phụ thuộc vào kiến trúc. Các nhà phát triển zkVM (như Succinct, RISC Zero và ZK-EVM của Polygon) chỉ cần triển khai một bootloader ZeroOS để mở khóa khả năng tương thích với các ứng dụng Linux bằng nhiều ngôn ngữ (ví dụ: Rust, C). Điều này mở khóa tất cả các mô-đun subsystem của ZeroOS cho các nhà phát triển vApp, những người có thể chọn và lựa chọn chính xác những gì họ cần để cân bằng giữa hiệu suất và bảo mật. Lợi ích của việc chuyển sang ZeroOS là sự gia tăng khổng lồ về hiệu quả hoạt động và bảo mật, mang lại lợi ích cho toàn bộ hệ sinh thái phát triển. Mọi người đều thắng.