Zero Dao

ZkCloud là lớp chứng minh phổ quát của ZK tổng hợp các yêu cầu chứng minh, làm cho các ứng dụng mới tận dụng tính toán có thể chứng minh được khả thi về mặt kinh tế bằng cách giảm chi phí xuống một phần chi phí của gia công chứng minh tiêu chuẩn như AWS và GCP. Nó cũng đảm bảo rằng các nút chứng minh có thể đạt được hiệu quả tài nguyên tối đa bằng cách tổng hợp khối lượng công việc trên toàn ngành, để đáp ứng các trường hợp sử dụng quy mô và quyền riêng tư, v.v. trong tương lai.

Octra là mạng blockchain FHE hỗ trợ môi trường thực thi biệt lập. Phần lớn cơ sở mã được phát triển bằng các ngôn ngữ như OCaml, AST, ReasonML (ngôn ngữ cho hợp đồng thông minh và ứng dụng tương tác với mạng blockchain Octra) và C++.

Fermah là một lớp tạo bằng chứng không có kiến ​​thức có mục đích chung. Nó hoạt động như một thị trường, với phía cung bao gồm GPU và FPGA. Về mặt yêu cầu, Fermah có thể tạo bằng chứng cho mọi trường hợp bằng cách sử dụng ZK.

Holonym là hộ chiếu bảo vệ quyền riêng tư cho Web3. Nó cho phép người dùng thực hiện \"KYC\" ẩn danh và ngăn chặn các cuộc tấn công Sybil. Nó cũng đang xây dựng cơ sở hạ tầng cần thiết để phục hồi ví phi tập trung.

Phòng thí nghiệm suy luận chuyên phát triển cơ sở hạ tầng và sản phẩm cho AI trên web3 và tập trung vào suy luận AI tương tác trên blockchain. Bằng chứng không có kiến ​​thức đảm bảo quyền riêng tư và bảo mật mà không ảnh hưởng đến tốc độ hoặc hiệu quả. Người dùng có thể xác minh tính chính xác của đầu ra AI ngoài chuỗi mà không cần phải tự tính toán.

RISC Zero đang xây dựng thế hệ blockchain có thể mở rộng tiếp theo bằng cách sử dụng công nghệ chứng minh không có kiến ​​thức và RISC-V zkVM. RISC Zero cho phép các nhà phát triển đã quen với việc lập trình bằng Rust, Go, C++ và các ngôn ngữ lập trình tiêu chuẩn khác viết các ứng dụng phi tập trung trên chuỗi.