ZKM - Một zkvm dựa trên mips @ProjectZKM gần đây đã cập nhật phiên bản mới có mã hiệu Ziren ZKM là một trong số ít sản phẩm zkvm của bộ lệnh mips, họ đã chọn một con đường tương đối ít cạnh tranh hơn (so với bộ lệnh zk-risc-v), mips là một bộ lệnh RISC lâu đời, lợi thế không phải ở số lượng và khả năng mở rộng của bộ lệnh, mà ở sự cố định và ổn định của các lệnh. Thách thức lớn nhất trước đây của zk-evm là sự thay đổi liên tục của các lệnh evm, sau khi thay đổi sẽ phát sinh các ràng buộc mạch mới cần nâng cấp, và đối với tài chính và crypto, sự ổn định và an toàn là quan trọng hơn, vì vậy zk-mips có một mức độ ổn định nhất định là giá trị cốt lõi của nó. CTO của dự án này @sd_eigen đã từng thực hiện một dự án zkvm khác là Eigen_Network, lúc đó chủ yếu tập trung vào quyền riêng tư, sau đó điều chỉnh hướng đi và cuối cùng bị mua lại, điều này vẫn chưa rõ. Dưới đây là so sánh giữa bộ lệnh mips32 và riscv: RV32I cực kỳ đơn giản, mở rộng (như M, A, F, D, C) lựa chọn linh hoạt, mã lệnh đơn giản, hỗ trợ 16/32 bit. Bộ lệnh cốt lõi: Bộ lệnh cốt lõi RV32I của RISC-V (47 lệnh) ít hơn nhiều so với bộ lệnh số nguyên cốt lõi của MIPS32 (~150 lệnh), thể hiện triết lý thiết kế cực kỳ đơn giản của RISC-V. Với mở rộng: Các cấu hình phổ biến của RISC-V (như RV32IMAFC hoặc RV32G) có số lượng lệnh khoảng 100-150 lệnh, vẫn thường ít hơn 200+ lệnh của MIPS32 (bao gồm cả lệnh số thực và mở rộng). Độ phức tạp của lệnh: Bộ lệnh MIPS32 phức tạp hơn, bao gồm một số lệnh chuyên dụng (như khe trễ nhánh, lệnh đồng xử lý), trong khi RISC-V theo đuổi sự đơn giản, mở rộng mô-đun, giảm thiểu sự dư thừa. Sự khác biệt trong triết lý thiết kế MIPS32: Được thiết kế vào những năm 1980, mục tiêu là bộ xử lý RISC hiệu suất cao, bộ lệnh khá cố định. Bao gồm khe trễ nhánh (tính năng phần cứng, cần quản lý lệnh bổ sung), làm tăng độ phức tạp trong việc thực hiện. Bộ lệnh phong phú, nhưng một số lệnh nhắm đến các tình huống phần cứng cụ thể, có thể không phù hợp với thiết kế nhẹ hiện đại. Hệ sinh thái trưởng thành, nhưng mã nguồn đóng, khả năng mở rộng bị hạn chế. RISC-V: ISA mã nguồn mở hiện đại, được thiết kế vào những năm 2010, nhấn mạnh tính mô-đun và linh hoạt. Không có khe trễ nhánh, mã lệnh đơn giản, dễ dàng thực hiện phần cứng và tối ưu hóa phần mềm. Có thể tùy chỉnh bộ lệnh thông qua mở rộng, phù hợp với từ nhúng tiêu thụ điện năng thấp đến tính toán hiệu suất cao. Hệ sinh thái mã nguồn mở, cộng đồng năng động, hỗ trợ lặp lại nhanh chóng và tùy chỉnh. Một số thông tin về bản nâng cấp Ziren lần này: Ziren = zkMIPS v1.1.0 có GPU + trình xác thực mạng - Tăng tốc GPU 30 lần - Trình chứng minh mạng hỗ trợ chứng minh song song - Tối ưu hóa ràng buộc chính - Nâng cấp công cụ và biên dịch trước - Sửa lỗi quan trọng và cải tiến kiểm toán Quy trình chứng minh cốt lõi hiện đã được tăng tốc bằng GPU, mang lại tốc độ đáng kể: - Tốc độ tạo chứng minh cốt lõi tăng 30 lần - Tốc độ tổng hợp chứng minh tăng 15 lần - Chứng minh đóng gói bn254 cũng tăng tốc độ 30 lần Chi tiết cập nhật thêm: Hiện tại, dự án đầu tiên chạy Ziren là một dự án có tên @GOATRollup, là một mạng Layer 2 dựa trên Bitcoin. Mạng GOAT là mạng Layer 2 đầu tiên dựa trên zkMIPS (bộ lệnh MIPS không kiến thức), BitVM3 và trình sắp xếp phi tập trung (Sequencer) của Bitcoin. Nó thực hiện thiết kế tối thiểu hóa niềm tin thông qua giao thức thách thức lạc quan (GOAT-OCP), mục tiêu của dự án là giải quyết các hạn chế của Bitcoin về khả năng mở rộng, tốc độ giao dịch và chi phí, đồng thời duy trì tính an toàn của Bitcoin Layer 1. Các đặc điểm chính Phi tập trung: Mạng GOAT thực hiện hoạt động mạng do cộng đồng điều hành thông qua các nút trình sắp xếp phi tập trung (Sequencer Node Operators), cho phép các nút bên ngoài tham gia cùng nhau quản lý sản xuất khối và sắp xếp giao dịch, chia sẻ lợi nhuận. An toàn: Dự án sử dụng giải pháp cầu BitVM3 và công nghệ zkRollup, đảm bảo tính an toàn và quyền riêng tư của giao dịch thông qua chứng minh không kiến thức (ZKP). zkMIPS hỗ trợ các chương trình được viết bằng các ngôn ngữ cấp cao như Rust và Golang, các nhà phát triển không cần kiểm toán mạch chứng minh không kiến thức, chỉ cần xác minh logic kinh doanh, giảm bớt rào cản phát triển và nâng cao tính an toàn. Khả năng mở rộng: Bằng cách chuyển một phần giao dịch sang xử lý ngoài chuỗi, Mạng GOAT nâng cao đáng kể tốc độ giao dịch của Bitcoin và giảm chi phí giao dịch, đồng thời kế thừa tính an toàn của chuỗi chính Bitcoin. Nó hỗ trợ 100% khả năng tương thích EVM, cho phép các nhà phát triển xây dựng ứng dụng phi tập trung Web3 (DApps) một cách hiệu quả. Lợi nhuận bền vững: Mạng GOAT cam kết cung cấp cơ hội lợi nhuận bền vững cho những người nắm giữ Bitcoin, mở rộng các ứng dụng của Bitcoin ngoài việc lưu trữ giá trị.