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

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

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

Ethproofs는 이더리움을 위한 블록 증명 탐색기입니다. 다양한 zkVM 팀의 데이터를 집계하여 비용, 지연 시간, 증명 시간과 같은 주요 지표를 포함하여 입증된 블록에 대한 포괄적인 개요를 제공합니다. 사용자는 블록별로 증명을 비교하고, 다운로드하고, 다양한 증명 메타데이터(크기, 클록 주기, 유형)를 탐색하여 개별 zkVM과 해당 증명 생성 프로세스를 더 잘 이해할 수 있습니다.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

zkMe는 안전하고 개인적인 자격 증명 발급 및 검증을 가능하게 하는 제로 지식 증명의 힘을 활용하는 분산형 Web3 자격 증명 네트워크입니다. ZkMe를 사용하면 사용자는 개인 정보를 침해하지 않고 자격 증명을 권한 있는 당사자에게 선택적으로 공개하여 디지털 ID에 대한 완전한 제어권을 부여할 수 있습니다. 사용자는 개인 정보가 노출될까봐 두려워하지 않고 디지털 ID를 만들고 관리할 수 있습니다. 이 프로토콜은 공정한 에어드랍을 위한 안티 시빌 보호, GameFi 통합을 위한 익명 웹 데이터 증명, DeFi를 위한 개인 KYC 준수를 포함하여 다양한 산업에서 잠재적인 사용 사례가 있습니다.

Self Labs는 프라이버시를 최우선으로 하는 인터넷을 위한 확장 가능한 신뢰 계층을 구축하고 있습니다. 개인 데이터를 공개하지 않고 사용자의 신원과 고유한 속성을 증명하는 데 중점을 둔 이 회사의 오픈 소스 플랫폼인 Self Pass & Connect는 제로 지식 증명과 전자 여권 NFC 기술을 활용하여 수백만 명의 사용자에게 안전하고 분산된 검증을 제공합니다. Self Protocol은 번영하는 디지털 경제에 필요한 글로벌 여권(174개국 이상)과 규정 준수 표준을 지원합니다.

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

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

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

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

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

Iron Fish는 Web3 전체의 보편적인 프라이버시 계층이 되고자 하는 Layer 1 블록체인입니다. 이는 제로 지식 증명(zk-SNARKs)과 암호화를 위한 가장 높은 산업 표준을 사용하여 사용자가 완전히 개인적인 거래를 할 수 있도록 합니다. 모든 블록체인을 위한 진정한 SSL 계층입니다.

알펜은 Zero Knowledge 기술 솔루션을 갖춘 확장형 비트코인입니다. 이 플랫폼은 비트코인의 더 광범위한 채택을 가능하게 하는 인프라를 구축합니다. 신뢰할 수 없고 검증 가능한 계산의 새로운 시대를 열었습니다.

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

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

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