Vào ngày 7 tháng 7 năm 2025, ZKM chính thức phát hành phiên bản zkVM thế hệ tiếp theo, Ziren (trước đây là zkMIPS), mở ra một chương mới cho khả năng triển khai và khả năng mở rộng của các hệ thống chứng minh không kiến ​​thức (ZK) trong các tình huống ứng dụng thực tế thông qua khả năng tăng tốc GPU, kiến ​​trúc chứng minh phân tán và các hệ thống ràng buộc được tối ưu hóa sâu. Ziren hướng đến mục tiêu cho phép các kỹ sư hệ thống, nhà phát triển ứng dụng và nhà thiết kế giao thức xây dựng các ứng dụng ZK hiệu suất cao bằng các ngôn ngữ chính thống, thực sự đưa ZK từ phòng thí nghiệm vào hoạt động phát triển chính thống.

Từ zkMIPS đến Ziren: Hiệu suất nhảy vọt, Nâng cấp trải nghiệm phát triển

Ziren là bản nâng cấp toàn diện của zkMIPS v1.1.0, giới thiệu lần đầu tiên:

“Ziren là zkVM đầu tiên thực sự có khả năng mở rộng, thân thiện với nhà phát triển, mục đích chung được xây dựng trên nền tảng phù hợp”, Ming Guo, đồng sáng lập và nhà khoa học trưởng của ZKM cho biết. “Nó đã chứng minh hiệu suất hàng đầu trên CPU và hiện chúng tôi đang đưa nó lên tầm cao mới với khả năng tăng tốc GPU. Nếu bạn đang tìm kiếm ngăn xếp ZK proof tốt nhất trong phân khúc, Ziren chính là câu trả lời”.

Ngoài việc nâng cấp toàn diện về mặt kỹ thuật, bản thân cái tên Ziren cũng chứa đựng ý nghĩa. Là sự tiếp nối của zkMIPS, "Ziren" lấy cảm hứng từ một biến thể của huyền thoại "Siren", đại diện cho sự chuyển đổi từ ảo tưởng sang hiện thực - công nghệ không còn chỉ hấp dẫn mà còn là lời hứa thực sự về tính khả dụng. Ziren hướng đến mục tiêu trở thành cơ sở hạ tầng zk thực sự hiệu quả, đáng tin cậy và có thể triển khai trong tay các nhà phát triển chính thống.

Tăng tốc GPU và song song chứng minh phân tán: bước nhảy vọt từ hiệu suất đến tính thực tiễn

Quy trình kiểm thử cốt lõi của Ziren hoàn toàn dựa trên GPU, với những cải tiến đáng kể về hiệu suất:

Kết hợp với kiến ​​trúc chứng minh mạng, Ziren có thể phân phối các tác vụ chứng minh cho nhiều nút để thực hiện song song, không chỉ cải thiện đáng kể thông lượng mà còn tăng cường tính khả dụng phi tập trung của hệ thống. Kiến trúc này rất phù hợp với các blockchain mô-đun, Rollup và hệ thống xác minh liên chuỗi.

Tối ưu hóa hệ thống ràng buộc

Ziren tái cấu trúc hệ thống ràng buộc một cách có hệ thống:

Những tối ưu hóa này làm giảm đáng kể độ phức tạp của bằng chứng, cải thiện tốc độ tạo và tính ổn định của hệ thống. Theo quan điểm của zkVM, các dấu vết thực thi do MIPS tạo ra ngắn hơn so với RISCV và có hiệu quả hướng dẫn tốt hơn, có lợi cho việc cải thiện hiệu quả bằng chứng. Với việc phát hành Ziren, những lợi thế của việc lựa chọn MIPS dần được phản ánh.

Trải nghiệm phát triển tốt hơn, mượt mà hơn từ khi xây dựng đến khi triển khai

Ziren đã ra mắt phiên bản mới của toolchain (20250522), mang lại nhiều cải tiến cho trải nghiệm của nhà phát triển:

Trải nghiệm phát triển tốt hơn, mượt mà hơn từ khi xây dựng đến khi triển khai

Ziren đã ra mắt phiên bản mới của toolchain (20250522), mang lại nhiều cải tiến cho trải nghiệm của nhà phát triển:

Ngoài ra, Ziren còn hỗ trợ xác minh chữ ký gốc của Ethereum và mô-đun được biên dịch trước hiện hỗ trợ đầy đủ chữ ký đường cong elip ECDSA, không chỉ giúp tích hợp trên chuỗi trở nên dễ dàng hơn mà còn mở rộng các tình huống ứng dụng mà nó có thể hỗ trợ.

Sửa lỗi về tính ổn định và bảo mật

Ziren đã hoàn toàn củng cố quy trình xác thực và thực thi mạch, bao gồm:

Biểu đồ so sánh Ziren và zkMIPS 1.0

Tất cả các bản cập nhật cùng nhau cải thiện tính bảo mật và tính nhất quán của Ziren, giúp nó phù hợp hơn với nhu cầu chống ZK trong môi trường sản xuất.

Hướng tới bằng chứng thời gian thực: ethproofs.org chứng kiến ​​kết quả của quá trình tối ưu hóa

Trên ethproofs.org , Ziren đã chứng minh kết quả hiệu suất thời gian thực và bằng chứng thời gian thực sắp ra mắt: bằng cách thay thế máy ảo từ Revm sang Reth, trích xuất trạng thái tài khoản song song và sử dụng debug_traceBlock, thời gian chuẩn bị trạng thái khối đã giảm từ 5 phút xuống còn dưới 30 giây. Điều này làm giảm đáng kể độ trễ của quá trình chứng minh ở mỗi giai đoạn, giúp hiệu suất của Ziren gần hơn với mức thời gian thực và đặt nền tảng vững chắc cho việc triển khai các ứng dụng ZK tần suất cao.

Đã ra mắt GOAT Network: công cụ cốt lõi để xây dựng zkRollup gốc Bitcoin

Ziren đã được đưa vào sử dụng trong dự án zkRollup gốc Bitcoin là GOAT Network, giúp dự án này đạt được khả năng lập trình theo phong cách Ethereum mà không cần cầu nối hoặc bên đáng tin cậy trong khi vẫn giữ được tính bảo mật của mạng chính Bitcoin. GOAT Network là một trong những hoạt động quan trọng trên các tuyến BitVM2 và BitVM3.

“Khi chúng tôi quyết định mở rộng Bitcoin, chúng tôi cần một hệ thống mà chúng tôi có thể tin tưởng từ đầu đến cuối — không chỉ là một số lớp hiệu suất, mà còn là tính ổn định và hiệu quả ở cấp độ mạch”, Kevin Liu, đồng sáng lập kiêm giám đốc điều hành của ZKM và là cộng tác viên cốt lõi của GOAT Network cho biết. “Ziren là sản phẩm của nhu cầu này, một lớp cơ sở hạ tầng mà chúng tôi có thể tự tin vào mọi bằng chứng”.

Xây dựng ứng dụng ZK của bạn, bắt đầu với Ziren

Ziren cô đọng nghiên cứu chuyên sâu của ZKM về kỹ thuật hệ thống cơ bản và nghiên cứu không kiến ​​thức trong nhiều năm. Nó không chỉ cởi mở hơn mà còn là zkVM có cấu trúc tốt hơn, trải nghiệm tốt hơn và ứng dụng rộng hơn. Cho dù bạn đang xây dựng Ethereum DApp, Bitcoin L2 hay hệ thống xác minh chuỗi chéo, Ziren đều cung cấp cho bạn nền tảng điện toán đáng tin cậy.

Viết bằng Rust, biên dịch sang MIPS và để Ziren thực hiện phần còn lại. Xây dựng với sự tự tin. Triển khai mà không cần thỏa hiệp.