ZKM Đặc Biệt @ProjectZKM đã phát hành zkMIPS 1.0, phiên bản đầu tiên hoàn toàn sẵn sàng cho sản xuất của máy ảo dựa trên MIPS được thiết kế cho tính toán có thể xác minh hiệu suất cao: Đây là nâng cấp quan trọng nhất kể từ khi dự án bắt đầu, mang lại hiệu suất tăng từ 6x đến 19x so với phiên bản 0.3.0, nhờ vào việc cải tiến kỹ thuật hoàn toàn. Một số khía cạnh chính của nâng cấp bao gồm: • Kiến trúc đã được nâng cấp từ MIPS2 lên MIPS32r2, cho phép truy cập vào bộ lệnh rộng hơn và mở khóa tối ưu hóa cấp độ trình biên dịch và kích thước chương trình nhỏ hơn. • zkMIPS hiện chạy trên nền tảng Plonky3 - một hệ thống STARK hiện đại sử dụng giao thức FRI - và hưởng lợi từ việc chuyển sang trường nguyên tố KoalaBear 31-bit, cung cấp số học nhanh hơn so với thiết lập Goldilocks 64-bit trước đó. • Cây Merkle đã được thay thế bằng băm đa tập hợp để đảm bảo tính nhất quán của bộ nhớ, giảm kích thước chứng cứ và hỗ trợ xác minh song song. Kiến trúc mạch dựa trên chip mô-đun giảm thiểu diện tích ràng buộc, và các hoạt động đường nóng như Keccak và số học trường đã được chuyển sang tiền biên dịch để giảm chi phí chứng minh. Hệ thống đã được tích hợp vào Mạng Chứng Minh ZKM và đang được sử dụng để chứng minh trực tiếp các khối mainnet @ethereum như một phần của sáng kiến @eth_proofs của @ethereumfndn. Nó cũng đang hoạt động trong sản xuất với @GOATRollup, một Bitcoin L2 được xây dựng trên BitVM2. Phản Ứng Nhiều phương tiện truyền thông đã nhanh chóng đưa tin, với @Utoday_en đăng một bài viết độc quyền về những gì làm cho dự án nổi bật so với các zkVM khác: Bài viết ca ngợi tổng thể đội ngũ ZKM và chất lượng kỹ thuật đáng chú ý của họ, và nhấn mạnh rằng việc chọn MIPS32r2 thay vì RISC-V mang lại lợi thế kiến trúc: chương trình ngắn hơn, ít ràng buộc hơn, và phù hợp tốt hơn với các mạch ZK. Buổi ra mắt cũng nhận được bình luận từ Ethproofs, @a16zcrypto, và chính @0x1164 của House of ZK: ZKM đã công bố một cuộc thảo luận công khai về việc phát hành zkMIPS 1.0, với CTO của dự án, @sd_eigen, thảo luận về tối ưu hóa, kết quả đánh giá, kiến trúc hệ thống, và kế hoạch phát triển trong tương lai. Sự kiện sẽ diễn ra vào ngày 12 tháng 5 lúc 12 giờ trưa UTC: Thông Tin Kỹ Thuật Trong một bài viết gần đây, dự án đã giải thích lý do tại sao, trong việc phát triển máy ảo zkMIPS của mình, đội ngũ đã chọn kiến trúc MIPS32r2 thay vì RISC-V - mặc dù cái sau là lựa chọn mặc định cho hầu hết các zkVM hiện đại. Bài viết cho biết quyết định không phải là để khác biệt, mà là để chọn nền tảng hiệu quả nhất cho tính toán có thể xác minh mở rộng. Một trong những lý do chính là mật độ lệnh cao hơn của MIPS32r2. Với các hoạt động như MOVZ, MOVN, và MADDU, logic phức tạp có thể được biểu diễn trong ít bước hơn, giảm độ dài dấu vết thực thi. Ngược lại, cùng logic trên RISC-V thường yêu cầu nhiều lệnh hơn, tăng gánh nặng chứng minh. Một yếu tố khác là sự trưởng thành và ổn định của hệ sinh thái MIPS. Với hàng thập kỷ sử dụng và một đặc tả cố định, MIPS đã được kiểm tra kỹ lưỡng - thậm chí được sử dụng trong các hệ thống quan trọng như VM chứng minh gian lận của Optimism. RISC-V, mặc dù đang phát triển nhanh, vẫn đang tiến hóa và phân mảnh. Bài viết đầy đủ có thể được tìm thấy ở đây: