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.

Cysic là một dự án tăng tốc phần cứng ZK dành riêng cho việc thiết kế chip ASIC tiên tiến để giảm thời gian cần thiết để tạo bằng chứng ZK cho các hệ thống dựa trên zk.

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.

Linea là Máy ảo Ethereum Zero Knowledge loại 2 (zkEVM). Nó sao chép môi trường Ethereum dưới dạng một bản tổng hợp, cho phép các nhà phát triển xây dựng trên đó giống như trên mạng chính Ethereum . Điều này cung cấp cho người dùng trải nghiệm và đảm bảo bảo mật tương tự như Ethereum, nhưng với chi phí giao dịch giảm.

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.

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.

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.

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.

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.

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.

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.

Alpen Labs là một Bitcoin mở rộng quy mô với giải pháp công nghệ Zero Knowledge. Nền tảng xây dựng cơ sở hạ tầng để cho phép áp dụng Bitcoin rộng rãi hơn. Mở ra một kỷ nguyên mới của tính toán không cần tin cậy, có thể kiểm chứng được.

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.

Sovereign là một hệ sinh thái gồm các bản tổng hợp có thể tương tác và có thể mở rộng, có thể chạy trên bất kỳ chuỗi khối nào. Sovereign SDK sẽ cung cấp tất cả các thành phần cần thiết của chuỗi khối, chẳng hạn như mạng ngang hàng, cơ sở dữ liệu và nút RPC, cho phép các nhà phát triển tập trung vào logic kinh doanh chuỗi của họ. Hơn nữa, nó cung cấp một tập hợp các mô-đun mặc định có thể hoạt động hiệu quả trong môi trường không có kiến ​​thức, bao gồm triển khai mã thông báo, kho lưu trữ dữ liệu được xác thực và mô-đun bắc cầu. Các nhà phát triển có thể kết hợp các nguyên mẫu này thành chuỗi ứng dụng hoặc xây dựng các chức năng chuyển đổi trạng thái của riêng họ từ đầu bằng cách triển khai một bộ API tiêu chuẩn.

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.

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.

Soundness Layer là một lớp xác minh phi tập trung được xây dựng trên Walrus và Sui. Nó tận dụng các bằng chứng không kiến thức để tăng cường bảo mật dữ liệu, quyền riêng tư và khả năng mở rộng blockchain.

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.

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

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.

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.

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.

Morph là mạng Layer2 sử dụng các giải pháp mô-đun và ZK-rollup lạc quan để mở rộng quy mô Ethereum một cách an toàn và hiệu quả. Hình thái học không chỉ là một nền tảng mà còn là nơi chứa đựng nhiều thử nghiệm xã hội khác nhau, cung cấp một miền công cộng nơi mọi người có thể tự do khám phá và hiện thực hóa những lý tưởng của DeSoc (xã hội phi tập trung), vun đắp mảnh đất màu mỡ cho sự phát triển hưng thịnh của các ứng dụng và cơ sở hạ tầng DeSoc.

zkMe là một mạng thông tin xác thực Web3 phi tập trung, tận dụng sức mạnh của bằng chứng không kiến ​​thức để cho phép xác minh và phát hành thông tin xác thực riêng tư và an toàn. ZkMe cho phép người dùng tiết lộ có chọn lọc thông tin đăng nhập của họ cho các bên được ủy quyền mà không ảnh hưởng đến quyền riêng tư của họ, cấp cho họ toàn quyền kiểm soát danh tính kỹ thuật số của mình. Người dùng có thể tạo và quản lý danh tính kỹ thuật số của họ mà không sợ thông tin cá nhân của họ bị lộ. Giao thức này có các trường hợp sử dụng tiềm năng trong nhiều ngành khác nhau, bao gồm bảo vệ chống sybil cho các đợt airdrop công bằng, chứng thực dữ liệu web ẩn danh cho tích hợp GameFi và tuân thủ KYC riêng tư cho DeFi.

Manta Network là một hệ sinh thái đa mô-đun gồm các ứng dụng không cần kiến ​​thức. Manta Atlantic là chuỗi ZK L1 nhanh nhất, mang lại quyền riêng tư có thể lập trình cho web3 với quyền riêng tư và nhận dạng tuân thủ trên chuỗi. Manta Pacific là hệ sinh thái L2 độc đáo gồm các ứng dụng ZK gốc EVM, cung cấp môi trường gas giá rẻ và có thể mở rộng để các ứng dụng ZK triển khai chỉ bằng Solidity. Cùng nhau, Manta Atlantic và Manta Pacific mang đến trải nghiệm tuyệt vời cho việc phát triển và áp dụng ứng dụng Web3 thế hệ tiếp theo thông qua ứng dụng công nghệ mã hóa không kiến ​​thức.

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.

Opacity là giao thức ZKP để chứng minh bất kỳ điều gì mà không tiết lộ chi tiết. Giao thức chứng minh không kiến thức của Opacity kết nối người chứng minh và người xác minh để chia sẻ và xác minh thông tin không cần tin cậy—trong vòng vài phút.

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

Polyhedra đang xây dựng cơ sở hạ tầng nền tảng cho lòng tin và khả năng mở rộng trong hệ thống AI và blockchain, cho phép các ứng dụng an toàn, có thể xác minh và hiệu suất cao. Dưới sự lãnh đạo của đội ngũ kỹ sư, nhà nghiên cứu và lãnh đạo kinh doanh hàng đầu thế giới từ các tổ chức bao gồm UC Berkeley, Stanford và Đại học Thanh Hoa, chuyên môn sâu sắc của Polyhedra về chứng minh kiến thức rỗng và hệ thống phân tán là nền tảng cho sự phát triển của các giải pháp kỹ thuật của chúng tôi, sẽ giúp hình thành cơ sở hạ tầng AI của tương lai.