 Brevis는 dApp이 완전히 신뢰가 필요 없는 방식으로 여러 블록체인에서 임의의 데이터에 액세스하고 이를 계산하고 활용할 수 있도록 하는 제로 지식(ZK) 옴니체인 데이터 증명 플랫폼입니다. Brevis는 데이터 기반 DeFi, zkBridges, 온체인 사용자 인수, zkDID, 소셜 계정 추상화 등 다양한 사용 사례를 보유하고 있습니다.
Brevis
|
인프라、지케이
| | ZK Omnichain 데이터 증명 플랫폼 | 
989
| 
245
|
 zkSync는 최신 세대의 간결한 제로 지식 증명을 활용하여 기본 블록체인의 보안 속성을 보존하는 레이어 2 확장 솔루션입니다. zkSync의 모든 자금은 메인체인의 스마트 계약에 보관되고, 계산 및 저장은 오프체인에서 수행됩니다. 각 Rollup 블록에 대해 상태 전환 제로 지식 증명(SNARK)이 생성되고 메인체인 계약에 의해 검증됩니다. 이 SNARK에는 Rollup 블록의 모든 거래의 유효성 증명이 포함됩니다.
zkSync
|
인프라、레이어2、지케이
| | Ethereum을 위한 확장 및 개인 정보 보호 엔진 |
3K
|
191
|
 ZEROBASE는 속도, 분산화 및 규정 준수를 위해 설계된 실시간 ZK 증명 네트워크입니다. 수백 밀리초 이내에 ZK 증명을 생성하고 HUB 링 웨이크 메커니즘을 통해 분산되고 빠른 합의를 보장하여 대규모 상업적 사용을 가능하게 합니다.
ZEROBASE
|
인프라、지케이
| -- | 실시간 ZK 증명 네트워크 |
340
|
160
|
 zkPass는 3P-TLS와 하이브리드 ZK 기술을 활용하는 개인 데이터 프로토콜로, Oauth API 없이도 모든 HTTPS 웹사이트에서 개인 정보 보호 및 무결성을 보장하면서 안전하고 검증 가능한 데이터 공유를 위한 도구와 애플리케이션을 제공합니다.
zkPass
|
인프라、지케이、온체인 컴플라이언스 솔루션
| | 개인 데이터 오라클 프로토콜 |
674
|
142
|
 zkVerify는 결제 최적화를 위해 설계된 전담 영지식 증명 검증 네트워크입니다. 기존 블록체인 네트워크와의 원활한 통합을 위해 설계된 zkVerify는 기술적 오버헤드를 최소화하고 다양한 zk-rollup 및 결제 계층 전반에 걸쳐 증명 검증을 위한 개발자 친화적인 환경을 제공합니다.
zkVerify
|
인프라、지케이
| -- | zk 증명 검증 네트워크 |
292
|
140
|
 DeepSafe는 블록체인과 인공지능(AI)을 위한 탈중앙화, 제로 트러스트 검증 계층을 구축하는 데 전념하는 암호화 무작위 검증 프록시 솔루션이자 독립적인 퍼블릭 체인입니다. MPC, ZKP, TEE, Ring-VRF와 같은 최첨단 암호화 기술을 통합하여 데이터 및 거래의 프라이버시, 진위성, 신뢰성을 보장하기 위해 암호화 보안과 검증 가능한 공정성을 제공하는 것을 목표로 합니다.
DeepSafe
|
인프라、지케이
| -- | Crypto Random Verification Agent 솔루션 |
385
|
136
|
 Orochi Network는 고급 암호화 기술을 통해 데이터 무결성과 개인정보 보호를 보장하도록 설계된 검증 가능한 데이터 인프라입니다. Orochi Network는 기밀성을 손상시키지 않고 데이터를 처리하고 증명할 수 있는 안전한 인프라를 제공합니다. 최첨단 암호화 기본 요소들의 조합을 통해 사용자는 민감한 정보를 보호하면서 시스템 출력을 신뢰할 수 있으므로, 투명성과 개인정보 보호가 모두 필요한 애플리케이션에 강력한 솔루션입니다.
Orochi Network
|
인프라、지케이
| | 제로 지식 증명을 적용한 운영 체제 |
318
|
112
|
 StarkNet은 허가 없는 분산형 Validity-Rollup(일명 "ZK-Rollup")입니다. Ethereum을 통한 L2 네트워크로 작동하여 모든 dApp이 Ethereum의 구성성과 보안을 손상시키지 않고도 계산에 대한 무제한 확장성을 달성할 수 있습니다. 이는 StarkNet이 가장 안전하고 확장성이 뛰어난 암호화 증명 시스템인 STARK에 의존하기 때문에 가능합니다.
StarkNet
|
인프라、레이어2、지케이
| | 분산형 ZK-Rollup |
1K
|
104
|
 ZisK는 Rust와 같은 고급 언어로 작성된 프로그램의 검증 가능한 실행을 가능하게 하는 zkVM을 갖춘 오픈 소스 제로 지식 증명 툴스택입니다.
ziskvm
|
지케이
| -- | 오픈소스 제로 지식 증명 툴스택 |
154
|
101
|
 Boundless는 제로 지식 증명을 활용하여 블록체인이 재실행 없이 계산의 정확성을 검증할 수 있도록 합니다. 검증 가능한 컴퓨팅이라고 알려진 이 획기적인 기능을 통해 네트워크의 단일 노드가 수행한 작업을 각 노드에서 저렴하게 검증할 수 있습니다.
Boundless
|
인프라、지케이
| -- | 검증 가능한 컴퓨팅 계층 |
801
|
98
|
 Billions.Network는 샘 알트먼의 암호 프로젝트인 World를 포함하여 기존 검증 시스템에 대한 비생체 인식 및 개인 정보 보호 중심 대안을 제공하도록 설계된 디지털 신원 검증 플랫폼입니다. 제로 지식 증명 기술을 활용하는 이 플랫폼은 인간과 AI 신원을 모두 검증하는 확장 가능하고 안전한 방법을 제공하고자 합니다.
Billions
|
인프라、지케이、일체 포함、했다、은둔
| -- | 디지털 신원 검증 플랫폼 |
955
|
90
|
 Succinct는 누구나 신뢰가 아닌 암호화된 진실로 보호되는 블록체인 애플리케이션과 인프라를 구축할 수 있도록 분산형 증명 네트워크를 구축하고 있습니다. Succinct는 증명 공급망을 통합하여 롤업, 코프로세서 및 제로 지식 증명을 사용하는 기타 애플리케이션에 대해 동급 최고의 가격으로 고가용성 증명 생성 인프라를 제공합니다.
Succinct
|
인프라、지케이
| -- | 프로그래밍 가능한 진실을 위한 프로토콜 |
1K
|
81
|
 Cysic은 GPU, ASIC 및 컴퓨팅 리소스를 유동적이고 수익성 있는 자산으로 전환하도록 설계된 풀스택 컴퓨팅 네트워크입니다. Cysic의 제품으로는 ZK 증명 계층 Cysic Network, Cysic 하드웨어(GPU, ZK Air, ZK Pro), 그리고 Cysic AI가 있습니다.
Cysic
|
인프라、지케이、일체 포함
| -- | ZK 증명 생성 계층 |
530
|
79
|
 Psy Protocol은 비트코인의 기본 실행 계층으로, 웹 3.0 개발의 어려움을 해결하도록 설계되었습니다. 수평 확장성이 뛰어나고 안전하며 사용자 친화적인 이 플랫폼은 개발자와 사용자 모두를 위해 설계되었으며, DeFi부터 NFT까지 다양한 애플리케이션을 지원합니다. Psy Protocol을 기반으로 구축된 탈중앙화 애플리케이션은 트랜잭션을 로컬에서 증명할 수 있어, 사용자에게 고정된 가스 요금으로 무제한 연산을 제공합니다. 이 혁신적인 방식은 모든 사용자의 공개 키가 스마트 컨트랙트와 유사하게 상태에서 읽을 수 있는 '스마트 서명'을 특징으로 하는 맞춤형 ZK 회로로 기능하도록 보장합니다.
Psy Protocol
|
인프라、레이어1、지케이
| -- | zk-네이티브 블록체인 프로토콜 |
370
|
74
|
 Fermah는 범용 증명 생성 계층입니다. 공급 측이 GPU와 FPGA로 구성된 마켓플레이스로 기능합니다. 수요 측에서 Fermah는 ZK가 사용되는 모든 인스턴스에 대한 증명을 생성할 수 있습니다.
Fermah
|
인프라、지케이
| -- | 증명 생성 계층 |
346
|
73
|
 라그랑주는 다양한 블록체인에서 빅데이터 규모로 검증 가능한 계산을 가능하게 하는 제로 지식 공동 처리 프로토콜입니다. 고유한 ZK 공동 처리 접근 방식은 오프체인 계산을 실행하고 하이퍼 병렬 방식으로 온체인에 제출할 결과에 대한 ZK 증명을 생성하는 분산형 노드 네트워크를 포함하므로 상당한 효율성과 비용 이득을 얻을 수 있습니다. 하이퍼 확장 가능한 증명을 제공함으로써 라그랑주는 빅데이터에 대한 복잡한 계산이 필요한 크로스체인 상호 운용성과 애플리케이션의 혁신을 위한 문을 엽니다.
Lagrange
|
인프라、지케이
| | 제로 지식 공동 처리 프로토콜 |
809
|
73
|
 Espresso Systems는 Web 3 애플리케이션에 확장성과 프라이버시 시스템을 제공하는 EVM 호환 블록체인입니다. 합의 프로토콜인 HotShot은 몇 초 이내에 거래를 확인하고, Rollups는 자체 중앙 정렬기를 사용하는 대신 수백 개의 노드를 선택하여 거래를 정렬할 수 있습니다. Espresso는 또한 애플리케이션에 Ethereum보다 저렴한 DA 대안을 제공합니다.
Espresso Systems
|
인프라、레이어1、지케이、은둔
| -- | 고처리량 EVM 호환 프라이버시 블록체인 |
1K
|
73
|
 Nockchain은 새로운 ZKVM 위에 있는 유용한 작업 증명 블록체인입니다. Nock의 아름다운 단순성을 활용하여, Zero-Knowledge Proofs와 함께 효율적으로 사용할 수 있는 최초의 조합 기반 가상 머신을 구축했습니다. Nockchain은 계산 증명, 스토리지 및 새로운 네임스페이스를 제공하는 고처리량 체인입니다.
Nockchain
|
인프라、레이어1、지케이
| -- | 유용 작업 증명 블록체인 |
309
|
69
|
 Zypher Network는 zkp와 AI로 구동되는 게임 개발 구성 요소 모음을 갖춘 선도적인 AI 및 ZK 기반 온체인 게임 엔진 및 인프라 개발사입니다. 여기에는 zk-as-a-services SDK, AI as a services, Sovereign Layer 3 Rollup이 포함되어 분산형 게임에 필요한 구성 가능성, 프로그래밍 가능성, 확장성 및 개인 정보 보호를 제공합니다. Zypher는 게임 개발자에게 풍부하고 복잡한 자율 세계를 구축할 수 있는 힘을 제공하고자 합니다.
Zypher Network
|
인프라、지케이、게임 솔루션、일체 포함
| | AI 및 ZK 기반 온체인 게임 엔진 |
422
|
65
|
 Morph는 완전히 허가가 필요 없는 아키텍처, 분산형 기술, 개발자 친화적인 생태계를 통해 암호화된 소비자 결제를 확장하는 소비자 인프라로, 블록체인을 실제 시나리오에 통합하는 데 전념하고 있습니다.
Morph
|
인프라、레이어2、지케이
| | 글로벌 소비자 등급 퍼블릭 체인 |
944
|
63
|
 Manta Network는 제로 지식(ZK) 애플리케이션을 위한 다중 모듈형 생태계입니다. 가장 빠른 ZK L1 체인인 Manta Atlantic은 규정을 준수하는 온체인 프라이버시 및 ID를 통해 웹3에 프로그래밍 가능한 프라이버시를 제공합니다. EVM 기반 ZK 애플리케이션을 위한 고유한 L2 생태계인 Manta Pacific은 ZK 애플리케이션이 Solidity를 사용하여 간단히 배포할 수 있는 확장 가능하고 저렴한 가스 요금 환경을 제공합니다. Manta Atlantic과 Manta Pacific은 함께 제로 지식 암호화를 적용하여 차세대 웹3 애플리케이션 개발 및 채택을 위한 비할 데 없는 경험을 제공합니다.
Manta Network
|
인프라、레이어2、지케이、은둔
| -- | ZK 애플리케이션을 위한 다중 모듈형 생태계 |
1K
|
63
|
 Pi Squared는 특정 프로그래밍 언어(PL) 또는 가상 머신(VM)에 의존하지 않고 모든 프로그램의 올바른 실행을 검증하기 위해 제로 지식 증명(ZK) 기술을 사용합니다. K 프레임워크와 매칭 로직을 기반으로 보편적이고 효율적인 검증 방법을 제공합니다. 블록체인, 언어 및 애플리케이션의 원활한 상호 운용성을 지원하도록 설계되었습니다.
Pi Squared
|
인프라、지케이
| -- | 블록체인 ZK 솔루션 |
324
|
62
|
 Nexus Network는 대규모 병렬화된 증명 채굴 네트워크입니다. Nexus zkVM의 세계적 규모의 인스턴스화로, 충분한 컴퓨팅 파워가 연결되어 있다면 초당 1조 CPU 사이클로 실행되도록 설계되었습니다. Nexus zkVM(제로 지식 가상 머신)은 모듈식, 확장 가능, 오픈 소스, 고도로 병렬화되고, 증명자 최적화되고, 기여자 친화적인 zkVM으로, Rust로 작성되었으며 성능과 보안에 중점을 둡니다.
Nexus
|
인프라、지케이
| -- | 대규모 병렬화된 증명 채굴 네트워크 |
650
|
61
|
 Iron Fish는 Web3 전체의 보편적인 프라이버시 계층이 되고자 하는 Layer 1 블록체인입니다. 이는 제로 지식 증명(zk-SNARKs)과 암호화를 위한 가장 높은 산업 표준을 사용하여 사용자가 완전히 개인적인 거래를 할 수 있도록 합니다. 모든 블록체인을 위한 진정한 SSL 계층입니다.
Iron Fish
|
인프라、레이어1、지케이、은둔
| -- | Web3의 공통 개인 정보 보호 계층 |
595
|
61
|
 Automata Network는 Proof of Machinehood 접근 방식에서 낙관적 롤업과 제로 지식 증명을 활용하여 Ethereum에 머신 레벨의 신뢰를 확장하는 모듈식 증명 계층입니다. 애플리케이션별 롤업은 프로토콜 외부 계산에 대한 온체인 검증을 허용하여 전체 Web3 스택을 통해 위쪽으로 확장되는 끊김 없는 신뢰 체인을 만듭니다.
Automata Network
|
인프라、모듈식、지케이、은둔
| -- | 모듈형 증명 계층 |
645
|
61
|
 Sophon은 zkSync의 ZK Stack 기술을 활용한 모듈식 롤업으로 구축된 엔터테인먼트 중심 생태계입니다. ZK Stack을 활용한 ZK 체인인 Sophon은 인공 지능 및 게임과 같은 모든 고처리량 애플리케이션에 맞게 조정되도록 설계되었습니다.
Sophon
|
인프라、레이어2、모듈식、지케이
| | 모듈러 블록체인 |
841
|
58
|
 DeGate는 Zero Knowledge(ZK) 기술에 기반한 분산형 거래 프로토콜입니다. ZK Rollup으로서, Ethereum 생태계 내에서 스팟 주문장 거래와 그리드 거래를 제공하여 시장의 핵심 갭을 메우고, 중앙 집중형 거래소(CEX)와 유사한 경험을 제공합니다. 게다가, DeGate는 DAO 중심이며, DAO가 재무를 완전히 통제합니다.
DeGate
|
디파이、인프라、레이어2、지케이
| | 주문장 중심 DEX 거래 프로토콜 |
289
|
58
|
 Hyli는 차세대 앱을 온체인으로 구축하는 새로운 증명 기반 L1입니다. 복잡한 로직을 오프체인에서 실행하고 증명을 제출하며, 온체인에 적용하기 전에 네이티브 방식으로 검증합니다.
Hylé
|
인프라、레이어1、지케이
| -- | 증명력 있는 L1 |
255
|
56
|
 Obscura는 zk가 지원하는 Solana 기반의 개인정보 보호 계층입니다.
Obscura
|
지케이、은둔
| | Solana 기반 개인 정보 보호 계층 |
23
|
55
|
 X Layer는 OKX와 Ethereum 커뮤니티를 연결하는 ZK 기반 Layer 2 네트워크로, 누구나 진정한 글로벌 온체인 생태계에 참여할 수 있도록 해줍니다.
X Layer
|
인프라、레이어2、지케이
| -- | ZK 기반 레이어 2 네트워크 |
690
|
55
|
