ZKM đã chính thức phát hành thế hệ zkVM tăng tốc GPU mới dưới tên Ziren: để xây dựng cơ sở hạ tầng ZK cấp sản xuất cho các nhà phát triển chính thống

ZKM chính thức phát hành phiên bản thế hệ mới của zkVM của mình, Ziren (trước đây là zkMIPS), mở ra một chương mới về khả năng triển khai và khả năng mở rộng của các hệ thống bằng chứng không kiến thức (ZK) trong các tình huống ứng dụng trong thế giới thực thông qua tăng tốc GPU, kiến trúc bằng chứng phân tán và hệ thống ràng buộc được tối ưu hóa sâu. Ziren nhằm mục đích 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 đến các thực tiễn phát triển chính thống.

Từ zkMIPS đến Ziren: Bước nhảy vọt về hiệu suất và trải nghiệm phát triển được nâng cấp

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

• Tăng tốc GPU 30× để giảm đáng kể độ trễ bằng chứng;

• Kiến trúc bằng chứng mạng phân tán, hỗ trợ tính toán song song và triển khai có thể mở rộng;

• Hệ thống ràng buộc lệnh được nâng cấp, mô-đun hóa lệnh được tối ưu hóa, sử dụng cột được tối ưu hóa và loại bỏ dự phòng;

• Chuỗi công cụ và trải nghiệm phát triển đã được nâng cấp, và hỗ trợ cho C/C++ đã được thêm vào trên cơ sở hỗ trợ Rust và Golang sẽ sớm được ra mắt;

• Các bản sửa lỗi bảo mật chính và cải tiến biên dịch trước để đạt được khả năng tương thích gốc với hệ sinh thái Ethereum.

"Ziren là zkVM đa năng thực sự có thể mở rộng và thân thiện với nhà phát triển đầu tiên đượ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 tại ZKM, "Nó đã được chứng minh là công ty dẫn đầu về hiệu suất trên CPU và bây giờ chúng tôi đang đưa nó lên một tầm cao mới với khả năng tăng tốc GPU. Nếu bạn đang tìm kiếm một ngăn xếp bằng chứng ZK tối ưu, Ziren là câu trả lời. "

Ngoài việc nâng cấp kỹ thuật toàn diện, bản thân cái tên Ziren cũng có ý nghĩa. Là sự tiếp nối của zkMIPS, "Ziren" được lấy cảm hứng từ một biến thể của huyền thoại "Siren" và đại diện cho sự chuyển đổi từ ảo tưởng sang thực tế – lời hứa rằng công nghệ không còn chỉ là một điểm thu hút mà là một khả năng sử dụng thực sự. Ziren đặt mục tiêu trở thành một 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 bằng chứng phân tán: Bước nhảy vọt từ hiệu suất sang tiện ích

Quy trình chứng thực cốt lõi của Ziren đã được GPU hóa hoàn toàn, dẫn đến những cải thiện đáng kể về hiệu suất:

• Bằng chứng lõi nhanh hơn 30 lần

• Bằng chứng tổng hợp nhanh hơn 15 lần

• Bằng chứng chuyển đổi BN254 nhanh hơn 30 lần

Kết hợp với kiến trúc bằng chứng nối mạng, Ziren có thể phân phối các tác vụ bằng chứng trên nhiều nút để thực thi song song, điều này không chỉ cải thiện đáng kể thông lượng mà còn nâng cao khả năng sử dụng phi tập trung của hệ thống. Kiến trúc này lý tưởng cho 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:

• Chia các ràng buộc cấp lệnh thành các "chip" mô-đun (bao gồm CPU, bước nhảy / nhánh, bộ nhớ, v.v.)

• Giảm số lượng cột bằng cách tối ưu hóa cấu trúc dữ liệu

• Loại bỏ logic ràng buộc dư thừa hoặc không sử dụng

• Hợp lý hóa các quy trình xử lý ALU, MADDU / MSUBU và chi nhánh để cải thiện hiệu quả thực thi

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à cải thiện độ ổn định của hệ thống. Từ góc độ của zkVM, MIPS tạo ra các dấu vết thực thi ngắn hơn RISCV và có hiệu quả hướng dẫn tốt hơn, điều này có lợi cho việc cải thiện hiệu quả chứng minh. 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 trở nên rõ ràng.

Trải nghiệm phát triển tốt hơn với trải nghiệm xây dựng để triển khai mượt mà hơn

Ziren đã ra mắt một phiên bản mới của chuỗi công cụ (20250522), mang lại một số cải tiến trải nghiệm cho nhà phát triển:

• Tích hợp các bản vá LLVM để tối ưu hóa quá trình biên dịch

• Hỗ trợ thư viện tĩnh C / C ++ và các bản sửa lỗi lệnh teq

• Rust toolchain mạnh mẽ hơn và loại bỏ các bản hack phi tiêu chuẩn

• Hỗ trợ Golang sắp ra mắt

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

Các bản sửa lỗi ổn định và bảo mật

Ziren đã hoàn toàn chắc chắn hóa quy trình xác minh và thực thi mạch, bao gồm:

• Đã khắc phục lỗ hổng số ngẫu nhiên FRI nghiêm trọng trong Plonky3

• Đã khắc phục lỗ hổng xác thực vk_root trong trình xác thực Rust

• Tối ưu hóa tính nhất quán giữa logic thực thi lệnh và hệ thống ràng buộc

• Cải thiện quản lý hành vi của logic xử lý phân đoạn và bộ đếm chương trình

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

Tất cả các bản cập nhật này hoạt động cùng nhau để cải thiện tính bảo mật và tính nhất quán của Ziren, làm cho nó phù hợp hơn với các yêu cầu chứng thực ZK trong môi trường cấp sản xuất.

Tiến tới bằng chứng thời gian thực: ethproofs.org Chứng kiến kết quả tối ưu hóa

Tại ethproofs.org, Ziren đã chứng minh kết quả hiệu suất theo thời gian thực và bằng chứng thời gian thực đang ở gần gũi:

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

Ra mắt trên GOAT Network: công cụ cốt lõi để xây dựng zkRollup gốc của Bitcoin

Ziren hiện đang hoạt động trên dự án zkRollup gốc của Bitcoin, GOAT Network, cho phép khả năng lập trình theo phong cách Ethereum mà không cần cầu nối hoặc các bên tin cậy, trong khi vẫn duy trì bảo mật mainnet Bitcoin. GOAT Network là một trong những thực hành quan trọng trên các tuyến BitVM2 và BitVM3.

"Khi chúng tôi quyết định mở rộng quy mô Bitcoin, chúng tôi cần một hệ thống có thể được tin cậy từ trên xuống dưới - không chỉ là một ngăn xếp hiệu suất bề mặt, mà còn là sự ổn định và hiệu quả ở cấp độ mạch." Kevin Liu, đồng sáng lập và Giám đốc điều hành của ZKM và là người đóng góp cốt lõi cho GOAT Network, cho biết: "Ziren là một 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 tin tưởng 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 nhiều năm đánh bóng 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, không chỉ cho các cuộc họp mà còn cho zkVM với cấu trúc tốt hơn, trải nghiệm tốt hơn và ứng dụng rộng rãi 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 cung cấp cho bạn một nền tảng điện toán đáng tin cậy.

Được viết bằng Rust, được biên dịch thành MIPS và Ziren sẽ thực hiện phần còn lại. Tự tin xây dựng. Triển khai mà không thỏa hiệp.