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

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

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

Citrea는 비트코인의 ZK 롤업이며 비트코인에 정착하는 실행 계층입니다. Citrea에서 발생하는 모든 거래는 제로 지식 증명으로 완벽하게 보호되며 BitVM을 통해 비트코인에서 검증됩니다.

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

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

DeGate는 Zero Knowledge(ZK) 기술에 기반한 분산형 거래 프로토콜입니다. ZK Rollup으로서, Ethereum 생태계 내에서 스팟 주문장 거래와 그리드 거래를 제공하여 시장의 핵심 갭을 메우고, 중앙 집중형 거래소(CEX)와 유사한 경험을 제공합니다. 게다가, DeGate는 DAO 중심이며, DAO가 재무를 완전히 통제합니다.

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

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

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

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

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

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

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

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

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

ENI는 Zero-Knowledge Proof(ZKP) 기술을 기반으로 구축된 고성능 엔터프라이즈급 Web3 블록체인입니다. 모듈식 및 멀티체인 아키텍처는 메인넷과 AppChain 간의 원활한 협업을 가능하게 하여 기업과 개발자에게 확장성이 뛰어난 인프라를 제공합니다.

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

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

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

스크롤은 기존 이더리움 애플리케이션 및 도구에 대한 네이티브 호환성을 가능하게 하는 이더리움의 zkEVM 기반 zkRollup입니다. 체인 밖에서 거래를 처리하고 체인에서 간결한 정확성 증명을 게시하여 이더리움 기본 계층에 비해 처리량이 더 높고 비용이 더 낮습니다.

DeepSafe는 블록체인과 인공지능(AI)을 위한 탈중앙화, 제로 트러스트 검증 계층을 구축하는 데 전념하는 암호화 무작위 검증 프록시 솔루션이자 독립적인 퍼블릭 체인입니다. MPC, ZKP, TEE, Ring-VRF와 같은 최첨단 암호화 기술을 통합하여 데이터 및 거래의 프라이버시, 진위성, 신뢰성을 보장하기 위해 암호화 보안과 검증 가능한 공정성을 제공하는 것을 목표로 합니다.

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

PolyHedra는 Web3 상호 운용성을 위한 인프라로, 최첨단 제로 지식 증명 시스템을 특징으로 합니다. ZK-NFT 컨테이너, DAO/DAC 시스템, 분산형 Web3 ID와 같은 확장성이 뛰어난 미들웨어를 통해 Web3의 디자인 공간을 열어줍니다.

건전성 계층은 Walrus와 Sui를 기반으로 구축된 분산형 검증 계층입니다. 제로 지식 증명을 활용하여 데이터 보안, 개인 정보 보호 및 블록체인 확장성을 강화합니다.

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

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

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

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

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