Buổi biểu diễn
Chỉ số Phổ Biến RD
Chỉ số Tăng Trưởng RD
So sánh
Theo dõi cập nhật
Theo dõi danh sách
Nhân vật
Về ziskvm
ZisK là một stack máy ảo kiến thức không (zkVM) mã nguồn mở, cho phép thực thi có thể xác minh các chương trình được viết bằng ngôn ngữ cấp cao như Rust. Nó tạo ra các bằng chứng ngắn gọn chứng minh một chương trình đã chạy chính xác, cho phép bất kỳ ai xác minh mà không cần chạy lại mã hoặc xem đầu vào của nó. Thế mạnh cốt lõi của nó nằm ở hiệu suất. ZisK đạt tốc độ tạo dấu vết RISC-V 1.5 GHz, nhanh hơn khoảng 10 lần so với các zkVM công khai khác, bằng cách sử dụng biên dịch trước (AOT) để dịch các chương trình RISC-V thành mã x86_64 gốc đã tối ưu, và kiến trúc 'dấu vết tối thiểu' hai pha giúp tách bộ nhớ khỏi quá trình thực thi lại song song. Điều này giải quyết nút thắt cổ chai tuần tự lâu nay trong việc tạo dấu vết, giảm đáng kể độ trễ và chi phí phần cứng cho việc chứng minh thời gian thực. Trong sáu tháng qua (tháng 3 đến tháng 9 năm 2026), ZisK đã phát hành phiên bản 0.11.0, bổ sung hỗ trợ macOS, tối ưu hóa truyền tải GPU/CPU, tích hợp bảng ảo và chuyển đổi các mạch đệ quy sang PIL2. Tính năng xác minh trong trình duyệt cũng có sẵn qua một nền tảng bên thứ ba. Dự án đã tách khỏi Polygon thành một thực thể độc lập vào tháng 6 năm 2025, với nhóm zkEVM cốt lõi tiếp tục phát triển dưới tên ZisK. Phần mềm vẫn đang được phát triển tích cực và chưa sẵn sàng cho sản xuất.
ZisK bắt đầu ươm tạo tại Polygon Labs từ tháng 5 năm 2024 đến tháng 6 năm 2025. Vào ngày 13 tháng 6 năm 2025, dự án trở thành một dự án độc lập, với toàn bộ tài sản trí tuệ và đội ngũ cốt lõi được chuyển giao cho SilentSig Switzerland GmbH, thuộc sở hữu hoàn toàn của Jordi Baylina. Vào ngày 18 tháng 6 năm 2025, Baylina công khai thông báo việc tách ra, cùng với bảy nhà phát triển cốt lõi đứng sau bộ chứng minh zkEVM của Polygon, trong khi ông vẫn là cố vấn của Polygon. Vào ngày 19 tháng 6 năm 2026, ZisK phát hành v1.0.0-alpha, bước vào giai đoạn ổn định với mã nguồn bị đóng băng tính năng, chuyển trọng tâm sang kiểm toán bảo mật, xác minh hình thức và củng cố. Bản phát hành này cũng giới thiệu xác thực chữ ký BLS12-381, tối ưu hóa các thao tác secp256k1/secp256r1, và chuyển hàm băm Merkle tree mặc định từ Poseidon2 sang Poseidon1 do các cuộc tấn công gần đây vào Poseidon2.
Trong sáu tháng qua, ZisK VM (ziskvm) đã đạt được nhiều tiến bộ đáng kể. Vào tháng 5 năm 2026, phiên bản v0.17.0 được phát hành, bao gồm thiết kế lại kiến trúc chứng minh phân tán với gRPC API mới dành cho máy khách từ xa, hợp nhất SDK (zisk-sdk 1.0) cung cấp toàn bộ pipeline chứng minh, và tuân thủ đầy đủ giao diện C của zkVM accelerator. Các cải tiến về hiệu suất bao gồm chuyển Keccak/SHA-256 sang libc, API arith256 mới, cùng nhiều bản sửa lỗi về tính đúng đắn và ổn định. Vào tháng 8 năm 2026, nhóm phát triển đã công bố phiên bản v1.1.0-alpha, tuyên bố thời gian chứng minh p99 là 9,62 giây trên bốn GPU RTX 5090, nằm trong mục tiêu 10 giây của Ethereum. Các lĩnh vực trọng tâm trong tương lai bao gồm tối ưu hóa GPU sâu hơn, xác thực mạnh mẽ hơn và sẵn sàng phát hành phiên bản sản xuất, với các cuộc kiểm toán bảo mật và tính đúng đắn đang được tiến hành.
Jordi Baylina: Người sáng lập và trưởng nhóm kỹ thuật của ZisK. Đồng sáng lập Polygon, trước đây dẫn dắt Polygon zkEVM. Nhà phát triển Ethereum thời kỳ đầu, tạo ra MiniMe token và LiquidPledging, kiểm toán Aragon và MakerDAO. Hiện tập trung vào ZisK, một zkVM mã nguồn mở, đồng thời là trưởng nhóm kỹ thuật tại iden3.