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.

Nockchain là một blockchain bằng chứng công việc thực tế dựa trên ZKVM. Tận dụng sự đơn giản tuyệt vời của Nock, nó đã xây dựng máy ảo dựa trên tổ hợp đầu tiên,Có thể được sử dụng hiệu quả với Zero-Knowledge Proofs. Nockchain là một chuỗi có thông lượng cao cung cấp khả năng tính toán, lưu trữ và chứng minh các không gian tên mới.

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).

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.

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.

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.

EIP-7503 là Zero-Knowledge Wormholes do Nobitex Labs xây dựng. EIP cho phép đúc Ethers bị đốt cháy một cách bí mật như một giải pháp bảo mật gốc cho Ethereum.

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.

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.

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.

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.

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.

Ví ZERA mang lại sự riêng tư cho tiền điện tử hàng ngày: có số dư được bảo vệ, chuyển khoản P2P riêng tư và ngoại tuyến cùng các giao dịch hoán đổi riêng tư trên Jupiter/Raydium định tuyến trực tiếp đến và đi từ số dư được bảo vệ.

Privacy Pool là một giao thức cho phép giao dịch ẩn danh trên Ether. Giao thức này sử dụng bằng chứng không kiến thức để phân tách các khoản tiền bất hợp pháp, cho phép người dùng chứng minh sự tuân thủ mà không tiết lộ danh tính của họ.

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.

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.

Strobe là một mạng thế hệ ZK-proof.Strobe xây dựng một mô-đun cho cosmos-sdk sẽ cho phép các L1, bản tổng hợp và ứng dụng mới và hiện có xây dựng và thực thi các hợp đồng thông minh Move, sau đó giúp chúng giao tiếp với nhau qua IBC.

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.

Taiko là một ZK-EVM tương đương Ethereum phi tập trung và ZK-Rollup có mục đích chung. Mục đích của nó là cho phép các nhà phát triển và người dùng dApps được phát triển cho Ethereum L1 sử dụng chúng trên Taiko mà không cần bất kỳ sửa đổi nào. Do đó, dApps có thể nhanh chóng được triển khai lên L2, bảo vệ tính bảo mật của Ethereum trong khi phát sinh phí giao dịch thấp hơn so với L1.

Fiamma là một mạng lưới xác minh chuyên về bằng chứng không kiến ​​thức (ZK), nỗ lực cung cấp giải pháp an toàn, phi tập trung và hiệu quả về mặt kinh tế cho tích hợp blockchain phổ quát. Về bản chất, Fiamma được thiết kế để tận dụng giá trị bảo mật mạng và kinh tế tiền điện tử mạnh mẽ của Bitcoin thông qua tích hợp với Babylon và triển khai BitVM2. Sự kết hợp này cho phép Fiamma đưa các khả năng của ZK vào hệ sinh thái Bitcoin và bảo mật các trường hợp sử dụng ZK trong Ethereum và hơn thế nữa, nâng cao phạm vi và hiệu quả của công nghệ ZK.

QEDIT là một công ty khởi nghiệp về quyền riêng tư chuỗi khối, bổ sung tính bảo mật, quyền riêng tư và quy mô cho cơ sở hạ tầng chuỗi khối bằng cách sử dụng Zero-Knowledge-Proofs và mật mã ứng dụng.

Prxvt là một giao thức blockchain cho phép giao dịch riêng tư trên mạng công cộng. Giao thức này sử dụng bằng chứng không kiến ​​thức để che giấu chi tiết giao dịch trong khi vẫn duy trì khả năng xác minh. Dự án tích hợp với các blockchain hiện có để đảm bảo tính bảo mật cho người dùng và tài sản mà không làm thay đổi cơ chế đồng thuận cốt lõi.

ZKForge là một nền tảng cung cấp các công cụ để phát triển và triển khai chứng minh không kiến ​​thức trong hệ sinh thái blockchain. Nền tảng này hỗ trợ thiết kế mạch, tạo chứng minh và tích hợp với các giải pháp Lớp 2, cho phép tăng cường quyền riêng tư và khả năng mở rộng mà không cần thay đổi các giao thức blockchain cốt lõi.

ZK Sea Level là một giao thức cho phép nén không kiến ​​thức trên blockchain Solana. Giao thức này cho phép quản lý trạng thái và tính khả dụng của dữ liệu có thể mở rộng thông qua bằng chứng ZK, giúp giảm chi phí và cải thiện hiệu quả cho các ứng dụng thông lượng cao mà không cần thay đổi cơ chế đồng thuận cốt lõi.

Obscura là lớp bảo mật dựa trên Solana, được hỗ trợ bởi zk.

Bonsol là một khuôn khổ tính toán có thể xác minh gốc Solana cho phép các nhà phát triển chuyển các phép tính phức tạp ra khỏi chuỗi trong khi vẫn duy trì khả năng xác minh trên chuỗi và bảo vệ tính bảo mật và độ tin cậy thông qua các bằng chứng không kiến ​​thức có thể được xác minh hiệu quả trên Solana.

Coset_io là một tổ chức cộng đồng tập trung vào phát triển Web3, chuyên thúc đẩy sự đổi mới trong công nghệ Zero-Knowledge Proofs (ZK) và blockchain.