Một số điểm chú ý về zkvm - Ngoài Boundless @boundless_xyz và succinct @SuccinctLabs đã có TGE, còn ba zkvm đáng chú ý khác, đều có công nghệ tốt, trong đó hai cái đầu tiên đã có một số tiến triển trong việc mở rộng các trường hợp sử dụng và đối tác, đặc biệt là Brevis. - Cái cuối cùng cũng có những đặc điểm kỹ thuật khá đặc biệt, nhưng không có nhiều thông tin được chia sẻ (bao gồm cả việc huy động vốn, v.v.) Brevis zkvm @brevis_zk - Đã giới thiệu về zkvm ở trên, ở đây không nói thêm. - Có sự mở rộng tốt trong các trường hợp kinh doanh, đã hợp tác với nhiều đối tác có ảnh hưởng như linea. Axiom zkvm @axiom_xyz - Chủ yếu tập trung vào openzkvm, với zkvm có thể tùy chỉnh theo mô-đun là cốt lõi. - Họ đã trừu tượng hóa định nghĩa tập lệnh isa (có nghĩa là phát triển sau này có thể tùy chỉnh tập lệnh, thuận tiện cho việc mở rộng trên đó), có triển khai mặc định là riscv. - Thuật toán hệ thống chứng minh cũng liên tục thay đổi, họ cũng đã thực hiện định nghĩa và mở rộng cho phần này. - Trong việc mở rộng kinh doanh, họ cũng hợp tác với một số đối tác hàng đầu như @worldcoin. - Huy động vốn: 20 triệu USD, do Paradigm và Standard Crypto dẫn đầu. - Valida zkvm @valida_xyz - Cái này chủ yếu là tập lệnh zk chuyên dụng được tối ưu hóa cho zk, chịu ảnh hưởng từ tập lệnh RISC, cốt lõi là tốc độ chứng minh zk nhanh hơn, theo tiêu chuẩn đánh giá của họ, đã đạt được tốc độ chứng minh nhanh nhất (tiêu chuẩn này là của riêng họ). - Họ sử dụng công cụ LLVM IR để biên dịch ngôn ngữ lập trình truyền thống thành Valida ISA, từ đó hỗ trợ viết chương trình zk bằng các ngôn ngữ lập trình truyền thống như rust, c++, go, c, v.v. - Huy động vốn, không thấy thông tin nào về việc huy động vốn. Ngoài ra, FHE vẫn chưa phổ biến như zk, hệ sinh thái chưa phát triển, đang ở giai đoạn khởi đầu, đều thuộc về các ứng dụng hàng đầu trong mật mã học của blockchain, ở đây đã giới thiệu về công ty dẫn đầu Zama @zama_fhe.