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

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

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

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

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

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

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

Cysic은 zk 기반 시스템에 대한 ZK 증명을 생성하는 데 필요한 시간을 줄이기 위해 고급 ASIC 칩을 설계하는 데 전념하는 ZK 하드웨어 가속 프로젝트입니다.

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

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

Privacy Pool은 Ether에서 익명 거래를 가능하게 하는 프로토콜입니다. 불법 자금을 분리하기 위해 제로 지식 증명을 사용하여 사용자가 신원을 밝히지 않고도 규정 준수를 증명할 수 있도록 합니다.

Fiamma는 제로 지식(ZK) 증명을 전문으로 하는 검증 네트워크로, 보편적인 블록체인 통합을 위한 안전하고 분산적이며 경제적으로 효율적인 솔루션을 제공하기 위해 노력합니다. Fiamma는 본질적으로 Babylon과의 통합과 BitVM2의 구현을 통해 비트코인의 강력한 암호경제 및 네트워크 보안 가치를 활용하도록 설계되었습니다. 이러한 조합을 통해 Fiamma는 ZK 기능을 비트코인 생태계에 도입하고 Ethereum 및 그 이상에서 ZK 사용 사례를 보호하여 ZK 기술의 범위와 효과를 향상시킬 수 있습니다.

Ceno는 차세대 고성능 GKR 기반 zkVM입니다.

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

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

Inference Labs는 web3에서 AI를 위한 인프라와 제품을 개발하는 데 특화되어 있으며, 블록체인에서 상호 운용되는 AI 추론에 중점을 둡니다. 제로 지식 증명은 속도나 효율성을 손상시키지 않으면서도 프라이버시와 보안을 보장합니다. 사용자는 직접 계산하지 않고도 오프체인 AI 출력의 정확성을 확인할 수 있습니다.

Linea는 레이어 2 Zero Knowledge Ethereum Virtual Machine(zkEVM)입니다. Ethereum 환경을 롤업으로 복제하여 개발자가 Ethereum 메인넷에서와 마찬가지로 빌드할 수 있도록 합니다. 이를 통해 사용자는 Ethereum과 동일한 경험과 보안 보장을 제공받지만 거래 비용은 감소합니다.

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

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

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

vlayer는 제로 지식 증명을 기반으로 하는 신뢰할 수 있고 검증 가능한 데이터 인프라입니다.

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

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

Hyli는 차세대 앱을 온체인으로 구축하는 새로운 증명 기반 L1입니다. 복잡한 로직을 오프체인에서 실행하고 증명을 제출하며, 온체인에 적용하기 전에 네이티브 방식으로 검증합니다.

Ligero는 안전한 다자간 계산(MPC) 및 영지식 증명(ZKP)을 위한 가볍고 확장 가능한 프로토콜입니다.

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

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

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

Axiom은 스마트 계약이 모든 온체인 데이터에 신뢰 없이 액세스하고 처리할 수 있도록 하는 ZK Coprocessor입니다. Coprocessor는 오프체인 데이터를 처리한 다음 해당 데이터를 메인 Ethereum 블록체인으로 전송하고 ZK 증명으로 검증하는 소프트웨어입니다.

RISC Zero는 제로 지식 증명 기술과 RISC-V zkVM을 사용하여 차세대 확장 가능한 블록체인을 구축하고 있습니다. Rust, Go, C++ 및 기타 표준 프로그래밍 언어로 프로그래밍하는 데 익숙한 개발자는 온체인 분산형 애플리케이션을 작성할 수 있습니다.