Midnight Network là một blockchain bảo vệ dữ liệu, nơi các nhà phát triển và doanh nghiệp có thể xây dựng các ứng dụng phi tập trung bảo vệ dữ liệu nhạy cảm mà không ảnh hưởng đến hiệu suất và các yêu cầu về quy định. Các nhà phát triển có thể xây dựng trên Midnight theo một mô hình lập trình mới lạ và dễ sử dụng dựa trên Typescript và bằng chứng không kiến thức (ZK).

Mạng Aztec là một bản tổng hợp ZK về quyền riêng tư trên Ethereum cho phép các ứng dụng phi tập trung truy cập vào quyền riêng tư và quy mô. Các bản tổng hợp của Aztec được bảo mật bằng cơ chế chứng minh PLONK tiêu chuẩn ngành được sử dụng bởi các dự án mở rộng quy mô không có kiến ​​thức hàng đầu.

StarkNet là một tính năng Validity-Rollup phi tập trung, không cần cấp phép (còn được gọi là "ZK-Rollup"). Nó hoạt động như một mạng L2 trên Ethereum, cho phép bất kỳ dApp nào đạt được quy mô không giới hạn cho tính toán của nó - mà không ảnh hưởng đến khả năng kết hợp và bảo mật của Ethereum, nhờ vào cam kết của StarkNet đối với Sự phụ thuộc an toàn và có thể mở rộng nhất vào hệ thống chứng minh mật mã STARK.

Cysic là một mạng lưới điện toán toàn diện được thiết kế để chuyển đổi GPU, ASIC và tài nguyên điện toán thành các tài sản thanh khoản và sinh lời. Các sản phẩm của Cysic bao gồm lớp bảo mật ZK, phần cứng Cysic (GPU, ZK Air và ZK Pro), và Cysic AI.

Self Labs đang xây dựng một lớp tin cậy có thể mở rộng cho internet, đặt quyền riêng tư lên hàng đầu. Tập trung vào việc chứng minh danh tính và các thuộc tính duy nhất của người dùng mà không tiết lộ dữ liệu cá nhân, nền tảng nguồn mở của công ty với Self Pass & Connect cung cấp xác minh phi tập trung, an toàn cho hàng triệu người dùng bằng cách tận dụng bằng chứng không kiến thức và công nghệ NFC hộ chiếu điện tử. Self Protocol hỗ trợ hộ chiếu toàn cầu (hơn 174 quốc gia) và các tiêu chuẩn tuân thủ cần thiết cho nền kinh tế kỹ thuật số phát triển mạnh.

zkSync là giải pháp mở rộng quy mô Lớp 2 bảo toàn các thuộc tính bảo mật của blockchain cơ bản bằng cách tận dụng thế hệ mới nhất của bằng chứng không kiến thức ngắn gọn. Tất cả các khoản tiền trong zkSync được giữ trong một hợp đồng thông minh trên chuỗi chính, trong khi tính toán và lưu trữ được thực hiện ngoài chuỗi. Đối với mỗi khối Rollup, một bằng chứng không kiến thức chuyển đổi trạng thái (SNARK) được tạo và xác minh bởi hợp đồng chuỗi chính. SNARK này bao gồm bằng chứng về tính hợp lệ của mọi giao dịch trong khối Rollup.

ZEROBASE là mạng chứng minh ZK thời gian thực được thiết kế để đạt tốc độ, phi tập trung và tuân thủ quy định. Nó tạo ra bằng chứng ZK trong vòng hàng trăm mili giây và đảm bảo sự đồng thuận phi tập trung, nhanh chóng thông qua cơ chế đánh thức vòng HUB, cho phép sử dụng thương mại quy mô lớn.

Bằng cách tận dụng các bằng chứng không có kiến ​​thức, Boundless cho phép các chuỗi khối xác minh tính chính xác của các phép tính mà không cần phải thực hiện lại chúng. Tính năng này được gọi là điện toán có thể kiểm chứng và nó cho phép các hoạt động được thực hiện bởi một nút duy nhất trong mạng có thể được xác minh một cách rẻ tiền bởi mỗi nút.

Lagrange là một giao thức đồng xử lý không có kiến ​​thức, cho phép tính toán có thể kiểm chứng ở quy mô dữ liệu lớn trên nhiều chuỗi khối khác nhau. Phương pháp đồng xử lý ZK độc đáo của nó bao gồm một mạng lưới các nút phi tập trung thực hiện tính toán ngoài chuỗi và tạo ra bằng chứng ZK về kết quả theo cách siêu song song để gửi trên chuỗi, mang lại lợi ích chi phí và hiệu quả đáng kể.Bằng cách cung cấp các bằng chứng có khả năng mở rộng siêu cao, Lagrange mở ra cơ hội đổi mới về khả năng tương tác chuỗi chéo và các ứng dụng yêu cầu tính toán phức tạp trên dữ liệu lớn.

zkPass là giao thức dữ liệu riêng tư tận dụng công nghệ 3P-TLS và Hybrid ZK, cung cấp các công cụ và ứng dụng để chia sẻ dữ liệu an toàn, có thể xác minh với sự đảm bảo về quyền riêng tư và tính toàn vẹn từ bất kỳ trang web HTTPS nào không có API Oauth.

Mạng Orochi là một zkOS tiên tiến (hệ điều hành áp dụng bằng chứng không kiến ​​thức) được thiết kế để giải quyết các thách thức về giới hạn tính toán, tính chính xác của dữ liệu và tính khả dụng của dữ liệu trong ngành Web3. Mạng Orochi đã sử dụng MPC và ECVRF để xây dựng một nguồn ngẫu nhiên không đáng tin cậy phân tán cho tất cả các loại ứng dụng Web3. Cung cấp tính ngẫu nhiên có thể kiểm chứng cho các hợp đồng thông minh trên EVM và FVM.

Billions.Network là một nền tảng xác minh danh tính kỹ thuật số được thiết kế để cung cấp một giải pháp thay thế không sinh trắc học và tập trung vào quyền riêng tư cho các hệ thống xác minh hiện có, bao gồm dự án tiền điện tử World của Sam Altman. Nền tảng này sử dụng công nghệ bằng chứng không kiến thức, nhằm cung cấp một phương pháp có thể mở rộng và an toàn để xác minh cả danh tính của con người và AI.

Giao thức QED là Giao thức chuỗi khối gốc zk. Được hỗ trợ bởi những tiến bộ trong bằng chứng đệ quy không có kiến ​​thức nhanh, QED có thể đạt được quy mô này mà không ảnh hưởng đến bảo mật hoặc phân cấp và chứng minh tất cả các giao dịch từ đầu đến cuối bằng cách sử dụng đệ quy bằng chứng (xác minh bằng chứng không có kiến ​​thức trong bằng chứng không có kiến ​​thức). Quá trình chứng minh đệ quy phi tập trung này lên đến đỉnh điểm trong một bằng chứng khối duy nhất có thể được xác minh bằng hợp đồng thông minh Ethereum , khiến giao thức chỉ phụ thuộc vào chính Bằng chứng Toán học, thay vì hệ thống đồng thuận dựa trên khuyến khích dễ bị thông đồng, hack và khuyến khích sai lệch.

Solo là một nền tảng xác thực danh tính phi tập trung dựa trên blockchain và các công nghệ bảo mật quyền riêng tư. Nền tảng này sử dụng bằng chứng không kiến thức, mã hóa đồng cấu và AI đầu cuối để đạt được xác thực người dùng duy nhất. Solo hướng đến việc cung cấp một cơ sở hạ tầng danh tính đáng tin cậy cho các ứng dụng Web3 và AI nhằm ngăn chặn tài khoản giả mạo và lạm dụng danh tính.

Mạng Nexus là mạng khai thác bằng chứng song song ồ ạt. Đây là phiên bản khởi tạo quy mô thế giới của Nexus zkVM, được thiết kế để chạy ở tốc độ một nghìn tỷ chu kỳ CPU mỗi giây, được cung cấp đủ sức mạnh tính toán được kết nối với nó. Nexus zkVM (máy ảo không kiến ​​thức) là một mô-đun, có thể mở rộng, mã nguồn mở, có tính song song cao, được tối ưu hóa cho người dùng, thân thiện với cộng tác viên, zkVM được viết bằng Rust, tập trung vào hiệu suất và bảo mật.

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.

Aligned Layer là lớp xác minh ZK được phát triển dựa trên EigenLayer. Điều này sẽ cho phép xác minh hiệu quả về mặt chi phí đối với bất kỳ bằng chứng SNARK nào, tận dụng tính bảo mật của trình xác thực Ethereum mà không bị giới hạn bởi Ethereum. Với tư cách là AVS Lớp Eigen, nó hứa hẹn các hệ thống chứng minh linh hoạt và xác minh linh hoạt với giá cả phải chăng cho L2 và cầu nối, giải quyết các nhu cầu quan trọng trong hệ sinh thái blockchain.

DeepSafe là một mạng xác minh trí tuệ nhân tạo ngẫu nhiên mật mã và chuỗi công khai độc lập tạo ra một lớp xác minh phi tập trung, không tin cậy cho blockchain và trí tuệ nhân tạo (AI). Tích hợp các công nghệ mật mã tiên tiến như MPC, ZKP, TEE và Ring-VRF, DeepSafe nhằm mục đích cung cấp bảo mật mật mã và tính công bằng có thể xác minh, đảm bảo quyền riêng tư, tính xác thực và độ tin cậy của dữ liệu và giao dịch.

Sophon là hệ sinh thái tập trung vào giải trí được xây dựng như một mô-đun tổng hợp tận dụng công nghệ ZK Stack của zkSync. Là một chuỗi ZK tận dụng ZK Stack, Sophon được thiết kế để phù hợp với bất kỳ ứng dụng thông lượng cao nào như trí tuệ nhân tạo và trò chơi.

DeGate là một giao thức giao dịch phi tập trung dựa trên công nghệ không có kiến ​​thức (ZK). Với tư cách là một ZK Rollup, DeGate lấp đầy khoảng trống quan trọng trên thị trường bằng cách cung cấp giao dịch sổ đặt hàng giao ngay và giao dịch lưới trong hệ sinh thái Ethereum, cung cấp trải nghiệm giống như sàn giao dịch tập trung (CEX). DeGate là một giao thức tập trung vào DAO trong đó DAO có toàn quyền kiểm soát số tiền của mình.

Scroll là giải pháp zkEVM lớp 2 gốc của Ethereum. Cho phép khả năng tương thích nguyên gốc với các ứng dụng và công cụ Ethereum hiện có. Scroll xử lý các giao dịch ngoài chuỗi và xuất bản các bằng chứng ngắn gọn về tính chính xác trên chuỗi. Điều này dẫn đến thông lượng cao hơn và chi phí thấp hơn so với lớp cơ sở Ethereum.

zkPassport là một nền tảng xác thực cho hộ chiếu do chính phủ cấp với khả năng tiết lộ thông tin có chọn lọc. Bằng chứng Hộ chiếu cho phép người dùng quét chip NFC trong hộ chiếu do chính phủ cấp và chứng minh tính chính xác của chữ ký trong zk-SNARK.

zkVerify là mạng xác minh bằng chứng không có kiến ​​thức chuyên dụng được thiết kế để tối ưu hóa giải quyết. Được thiết kế để tích hợp liền mạch với các mạng blockchain hiện có, zkVerify giảm thiểu chi phí kỹ thuật và cung cấp môi trường thân thiện với nhà phát triển để xác minh bằng chứng trên nhiều lớp zk-rollup và lớp giải quyết.

Union là lớp cơ sở hạ tầng không có kiến ​​thức để truyền thông điệp chung, chuyển giao tài sản, NFT và DeFi. Nó dựa trên xác minh đồng thuận và không phụ thuộc vào các bên thứ ba đáng tin cậy, các nhà tiên tri, đa chữ ký hoặc MPC.

Brevis là một nền tảng chứng thực dữ liệu đa chuỗi Zero-Knowledge (ZK) cho phép các dApp truy cập, tính toán và sử dụng dữ liệu tùy ý trên nhiều chuỗi khối theo cách hoàn toàn không cần tin cậy. Brevis có nhiều trường hợp sử dụng như DeFi dựa trên dữ liệu, zkBridges, mua lại người dùng trên chuỗi, zkDID, trừu tượng hóa tài khoản xã hội, v.v.

Zypher Network là một lớp điện toán ZK dành cho các tác nhân AI không cần tin cậy. Các giải pháp phần mềm trung gian của nó (Proof of Prompt, Proof of Inference) đảm bảo tính nhất quán và toàn vẹn của dữ liệu tác nhân AI mà không cần công khai. Với cơ sở hạ tầng ứng dụng do ZK điều khiển, Zypher đang cung cấp các hoạt động trên chuỗi an toàn, tự chủ, quan trọng đối với nhiệm vụ và nhạy cảm về mặt tài chính cho các tác nhân AI và con người.

Succinct Labs chuyên xây dựng nền tảng của lớp khả năng tương tác phi tập trung, không cần cấp phép và an toàn cho các chuỗi khối. Họ đã phát hành ứng dụng khách ánh sáng trên chuỗi tiết kiệm gas cho Ethereum PoS, được cung cấp bởi bằng chứng không kiến ​​thức ngắn gọn (zkSNARKs), cho phép giao tiếp xuyên chuỗi tùy ý, tối thiểu hóa độ tin cậy giữa Ethereum và Gnosis Chain.

Hyli là L1 mới được hỗ trợ bằng chứng để xây dựng thế hệ ứng dụng tiếp theo trên chuỗi. Nó chạy logic phức tạp ngoài chuỗi, gửi bằng chứng và sẽ xác minh nó một cách tự nhiên trước khi giải quyết trên chuỗi.

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.

AI Cross Matrix (ACM) là một giao thức tài chính tập trung vào quyền riêng tư được xây dựng dựa trên bằng chứng không kiến thức (ZKP), chữ ký vòng và cơ chế xáo trộn đường dẫn dựa trên AI. và cam kết cho phép chuyển tài sản phi tập trung, chuỗi chéo và không thể theo dõi. Được thiết kế để trở thành lớp nền tảng của tài chính Web3 mở và an toàn.