Midnight Network는 개발자와 기업이 성능과 규제 요구 사항을 희생하지 않고도 민감한 데이터를 보호하는 분산형 애플리케이션을 구축할 수 있는 데이터 보호 블록체인입니다. 개발자는 Typescript와 제로 지식(ZK) 증명을 기반으로 하는 새롭고 사용하기 쉬운 프로그래밍 모델로 Midnight에서 빌드할 수 있습니다.

Cysic은 GPU, ASIC 및 컴퓨팅 리소스를 유동적이고 수익성 있는 자산으로 전환하도록 설계된 풀스택 컴퓨팅 네트워크입니다. Cysic의 제품으로는 ZK 증명 계층 Cysic Network, Cysic 하드웨어(GPU, ZK Air, ZK Pro), 그리고 Cysic AI가 있습니다.

ZisK는 Rust와 같은 고급 언어로 작성된 프로그램의 검증 가능한 실행을 가능하게 하는 zkVM을 갖춘 오픈 소스 제로 지식 증명 툴스택입니다.

ZEROBASE는 속도, 분산화 및 규정 준수를 위해 설계된 실시간 ZK 증명 네트워크입니다. 수백 밀리초 이내에 ZK 증명을 생성하고 HUB 링 웨이크 메커니즘을 통해 분산되고 빠른 합의를 보장하여 대규모 상업적 사용을 가능하게 합니다.

StarkNet은 허가 없는 분산형 Validity-Rollup(일명 "ZK-Rollup")입니다. Ethereum을 통한 L2 네트워크로 작동하여 모든 dApp이 Ethereum의 구성성과 보안을 손상시키지 않고도 계산에 대한 무제한 확장성을 달성할 수 있습니다. 이는 StarkNet이 가장 안전하고 확장성이 뛰어난 암호화 증명 시스템인 STARK에 의존하기 때문에 가능합니다.

Brevis는 dApp이 완전히 신뢰가 필요 없는 방식으로 여러 블록체인에서 임의의 데이터에 액세스하고 이를 계산하고 활용할 수 있도록 하는 제로 지식(ZK) 옴니체인 데이터 증명 플랫폼입니다. Brevis는 데이터 기반 DeFi, zkBridges, 온체인 사용자 인수, zkDID, 소셜 계정 추상화 등 다양한 사용 사례를 보유하고 있습니다.

라그랑주는 다양한 블록체인에서 빅데이터 규모로 검증 가능한 계산을 가능하게 하는 제로 지식 공동 처리 프로토콜입니다. 고유한 ZK 공동 처리 접근 방식은 오프체인 계산을 실행하고 하이퍼 병렬 방식으로 온체인에 제출할 결과에 대한 ZK 증명을 생성하는 분산형 노드 네트워크를 포함하므로 상당한 효율성과 비용 이득을 얻을 수 있습니다. 하이퍼 확장 가능한 증명을 제공함으로써 라그랑주는 빅데이터에 대한 복잡한 계산이 필요한 크로스체인 상호 운용성과 애플리케이션의 혁신을 위한 문을 엽니다.

Aztec Network는 Ethereum에서 최초로 개인 ZK 롤업으로, 분산형 애플리케이션이 프라이버시와 확장성에 액세스할 수 있도록 합니다. 업계 표준 PLONK 증명 메커니즘은 선도적인 제로 지식 확장 프로젝트에서 사용되어 롤업의 보안을 보장합니다.

Morph는 완전히 허가가 필요 없는 아키텍처, 분산형 기술, 개발자 친화적인 생태계를 통해 암호화된 소비자 결제를 확장하는 소비자 인프라로, 블록체인을 실제 시나리오에 통합하는 데 전념하고 있습니다.

ZkCloud는 ZK를 위한 범용 증명 계층으로, 증명 수요를 집계하는 주문형 증명 네트워크로, 증명 가능한 컴퓨팅을 활용하는 새로운 애플리케이션이 AWS 및 GCP와 같은 표준 증명 아웃소싱을 통해 제공되는 비용의 일부로 비용을 낮춰 경제적으로 실행 가능해질 수 있도록 합니다. 또한 증명 노드가 확장 및 개인 정보 보호 사용 사례 모두에서 업계 전반의 워크로드를 집계하여 가능한 가장 높은 리소스 효율성을 달성할 수 있도록 보장하며, 앞으로도 더 많은 사례가 나올 것입니다.

zkSync는 최신 세대의 간결한 제로 지식 증명을 활용하여 기본 블록체인의 보안 속성을 보존하는 레이어 2 확장 솔루션입니다. zkSync의 모든 자금은 메인체인의 스마트 계약에 보관되고, 계산 및 저장은 오프체인에서 수행됩니다. 각 Rollup 블록에 대해 상태 전환 제로 지식 증명(SNARK)이 생성되고 메인체인 계약에 의해 검증됩니다. 이 SNARK에는 Rollup 블록의 모든 거래의 유효성 증명이 포함됩니다.

Aligned Layer는 EigenLayer 위에 개발된 ZK 검증 계층입니다. 이를 통해 Ethereum의 제한 없이 Ethereum 검증자의 보안을 활용하여 모든 SNARK 증명의 비용 효율적인 검증이 가능해집니다. Eigen Layer AVS로서 L2 및 브리지에 대한 저렴한 검증 및 다목적 증명 시스템을 약속하여 블록체인 생태계의 중요한 요구 사항을 해결합니다.

Orochi Network는 고급 암호화 기술을 통해 데이터 무결성과 개인정보 보호를 보장하도록 설계된 검증 가능한 데이터 인프라입니다. Orochi Network는 기밀성을 손상시키지 않고 데이터를 처리하고 증명할 수 있는 안전한 인프라를 제공합니다. 최첨단 암호화 기본 요소들의 조합을 통해 사용자는 민감한 정보를 보호하면서 시스템 출력을 신뢰할 수 있으므로, 투명성과 개인정보 보호가 모두 필요한 애플리케이션에 강력한 솔루션입니다.

Espresso Systems는 Web 3 애플리케이션에 확장성과 프라이버시 시스템을 제공하는 EVM 호환 블록체인입니다. 합의 프로토콜인 HotShot은 몇 초 이내에 거래를 확인하고, Rollups는 자체 중앙 정렬기를 사용하는 대신 수백 개의 노드를 선택하여 거래를 정렬할 수 있습니다. Espresso는 또한 애플리케이션에 Ethereum보다 저렴한 DA 대안을 제공합니다.

Pi Squared는 특정 프로그래밍 언어(PL) 또는 가상 머신(VM)에 의존하지 않고 모든 프로그램의 올바른 실행을 검증하기 위해 제로 지식 증명(ZK) 기술을 사용합니다. K 프레임워크와 매칭 로직을 기반으로 보편적이고 효율적인 검증 방법을 제공합니다. 블록체인, 언어 및 애플리케이션의 원활한 상호 운용성을 지원하도록 설계되었습니다.

Billions.Network는 샘 알트먼의 암호 프로젝트인 World를 포함하여 기존 검증 시스템에 대한 비생체 인식 및 개인 정보 보호 중심 대안을 제공하도록 설계된 디지털 신원 검증 플랫폼입니다. 제로 지식 증명 기술을 활용하는 이 플랫폼은 인간과 AI 신원을 모두 검증하는 확장 가능하고 안전한 방법을 제공하고자 합니다.

OpenVM은 사용자 정의 및 확장성을 위해 구축된 고성능 모듈식 zkVM 프레임워크입니다. OpenVM은 개발자가 하나의 통합 프레임워크 내에서 ISA, ZK 회로 및 증명 시스템을 확장할 수 있도록 하는 새로운 모듈식 설계를 통해 이를 달성합니다.

Zypher Network는 zkp와 AI로 구동되는 게임 개발 구성 요소 모음을 갖춘 선도적인 AI 및 ZK 기반 온체인 게임 엔진 및 인프라 개발사입니다. 여기에는 zk-as-a-services SDK, AI as a services, Sovereign Layer 3 Rollup이 포함되어 분산형 게임에 필요한 구성 가능성, 프로그래밍 가능성, 확장성 및 개인 정보 보호를 제공합니다. Zypher는 게임 개발자에게 풍부하고 복잡한 자율 세계를 구축할 수 있는 힘을 제공하고자 합니다.

Nockchain은 새로운 ZKVM 위에 있는 유용한 작업 증명 블록체인입니다. Nock의 아름다운 단순성을 활용하여, Zero-Knowledge Proofs와 함께 효율적으로 사용할 수 있는 최초의 조합 기반 가상 머신을 구축했습니다. Nockchain은 계산 증명, 스토리지 및 새로운 네임스페이스를 제공하는 고처리량 체인입니다.

Sophon은 zkSync의 ZK Stack 기술을 활용한 모듈식 롤업으로 구축된 엔터테인먼트 중심 생태계입니다. ZK Stack을 활용한 ZK 체인인 Sophon은 인공 지능 및 게임과 같은 모든 고처리량 애플리케이션에 맞게 조정되도록 설계되었습니다.

zkPass는 3P-TLS와 하이브리드 ZK 기술을 활용하는 개인 데이터 프로토콜로, Oauth API 없이도 모든 HTTPS 웹사이트에서 개인 정보 보호 및 무결성을 보장하면서 안전하고 검증 가능한 데이터 공유를 위한 도구와 애플리케이션을 제공합니다.

Boundless는 제로 지식 증명을 활용하여 블록체인이 재실행 없이 계산의 정확성을 검증할 수 있도록 합니다. 검증 가능한 컴퓨팅이라고 알려진 이 획기적인 기능을 통해 네트워크의 단일 노드가 수행한 작업을 각 노드에서 저렴하게 검증할 수 있습니다.

Psy Protocol은 비트코인의 기본 실행 계층으로, 웹 3.0 개발의 어려움을 해결하도록 설계되었습니다. 수평 확장성이 뛰어나고 안전하며 사용자 친화적인 이 플랫폼은 개발자와 사용자 모두를 위해 설계되었으며, DeFi부터 NFT까지 다양한 애플리케이션을 지원합니다. Psy Protocol을 기반으로 구축된 탈중앙화 애플리케이션은 트랜잭션을 로컬에서 증명할 수 있어, 사용자에게 고정된 가스 요금으로 무제한 연산을 제공합니다. 이 혁신적인 방식은 모든 사용자의 공개 키가 스마트 컨트랙트와 유사하게 상태에서 읽을 수 있는 '스마트 서명'을 특징으로 하는 맞춤형 ZK 회로로 기능하도록 보장합니다.

zkVerify는 결제 최적화를 위해 설계된 전담 영지식 증명 검증 네트워크입니다. 기존 블록체인 네트워크와의 원활한 통합을 위해 설계된 zkVerify는 기술적 오버헤드를 최소화하고 다양한 zk-rollup 및 결제 계층 전반에 걸쳐 증명 검증을 위한 개발자 친화적인 환경을 제공합니다.

Union은 모든 생태계에서 모든 블록체인과 롤업을 연결하는 매우 효율적인 상호 운용성 프로토콜입니다. 합의 검증을 기반으로 하며 신뢰할 수 있는 제3자, 오라클, 다중 서명 또는 MPC에 대한 종속성이 없습니다.

Succinct는 누구나 신뢰가 아닌 암호화된 진실로 보호되는 블록체인 애플리케이션과 인프라를 구축할 수 있도록 분산형 증명 네트워크를 구축하고 있습니다. Succinct는 증명 공급망을 통합하여 롤업, 코프로세서 및 제로 지식 증명을 사용하는 기타 애플리케이션에 대해 동급 최고의 가격으로 고가용성 증명 생성 인프라를 제공합니다.

Manta Network는 제로 지식(ZK) 애플리케이션을 위한 다중 모듈형 생태계입니다. 가장 빠른 ZK L1 체인인 Manta Atlantic은 규정을 준수하는 온체인 프라이버시 및 ID를 통해 웹3에 프로그래밍 가능한 프라이버시를 제공합니다. EVM 기반 ZK 애플리케이션을 위한 고유한 L2 생태계인 Manta Pacific은 ZK 애플리케이션이 Solidity를 사용하여 간단히 배포할 수 있는 확장 가능하고 저렴한 가스 요금 환경을 제공합니다. Manta Atlantic과 Manta Pacific은 함께 제로 지식 암호화를 적용하여 차세대 웹3 애플리케이션 개발 및 채택을 위한 비할 데 없는 경험을 제공합니다.

Delphinus 랩은 ZKWasm 가상 머신을 기반으로 하는 신뢰할 수 없는 계산 및 애플리케이션 SDK에 대한 솔루션을 제공합니다. ZKWASM(웹 어셈블리를 지원하는 ZKSNARK 가상 머신)은 WASM 런타임에서 실행되는 풍부한 애플리케이션과 체인의 스마트 계약 간의 신뢰할 수 없는 계층 역할을 합니다. 이 회사의 사명은 롤업을 애플리케이션 접근 방식으로 사용하여 보다 일반적인 웹 애플리케이션을 웹3 환경에 쉽게 통합할 수 있는 zkWASM 클라우드 제품군을 구축하는 것입니다.

Orbiter Finance는 이더리움 네이티브 자산을 전송하기 위한 분산형 크로스 롤업 브리지로, 레이어 2의 인프라를 제공합니다. Orbiter Finance에는 Sender와 Maker라는 두 가지 역할이 있습니다. Sender가 전송을 시작하면 Maker가 유동성을 제공합니다. 스마트 계약은 이 프로세스의 보안을 보장합니다. Maker가 나쁜 행동을 하고 전송이 실패하면 Sender는 Maker의 마진으로 계약에 중재 요청을 시작한 다음 초과 보상을 받을 수 있습니다.

Nexus Network는 대규모 병렬화된 증명 채굴 네트워크입니다. Nexus zkVM의 세계적 규모의 인스턴스화로, 충분한 컴퓨팅 파워가 연결되어 있다면 초당 1조 CPU 사이클로 실행되도록 설계되었습니다. Nexus zkVM(제로 지식 가상 머신)은 모듈식, 확장 가능, 오픈 소스, 고도로 병렬화되고, 증명자 최적화되고, 기여자 친화적인 zkVM으로, Rust로 작성되었으며 성능과 보안에 중점을 둡니다.