ZKApps 101: ZK 애플리케이션 개요 및 현재 발전 현황
작성자:YIWEI
번역: TechFlow
요약
-
현재의 제로지식(ZK) 생태계는 두 가지 주요 기준에 따라 분류할 수 있다. 첫 번째는 애플리케이션으로서 작동하는지 인프라스트럭처로서 작동하는지이며, 두 번째는 프라이버시를 우선시하는지 실용성과 확장성을 중시하는지 여부다.
-
이러한 분류 안에서 ZK 애플리케이션(ZKApps)은 제로지식 증명을 활용하여 프라이버시와 실용성을 향상시키는 애플리케이션이다. ZKApps는 신원증명, 결제, 생물의학공학 등 다양한 영역에서 우리의 삶을 개선할 수 있다.
-
투자 동향과 체인 상 데이터는 제로지식 증명(ZKP)에 대한 수요가 지속적으로 증가하고 있으며, 일반 사용자층도 관련 애플리케이션을 받아들이기 시작했다는 것을 보여준다.
-
암호 증명 시스템과 탈중앙화된 증명 인프라스트럭처의 기술 발전 덕분에 ZKApps는 더욱 실용적이고 현실 가능한 솔루션이 되었다. 이러한 발전은 ZKP 생성 및 검증의 진입 장벽을 낮춰 더 많은 사람들이 ZKApps를 이용할 수 있도록 했다.
1. 서론
왜 지금 ZKApps에 주목해야 하는가?
블록체인과 Web3 산업 내에서 제로지식(ZK) 기술에 대한 열기는 수년간 지속되어 왔으며, 2024년 하반기까지 이어지고 있다. 비탈릭 부테린(Vitalik Buterin)이 언급했듯이, "아직 인프라 개발과 증명자 최적화가 필요하지만, 10년 이내에 ZK가 명백한 종착점이 될 것"이다. ZK는 블록체인 트릴레마 문제(보안성, 확장성, 탈중앙화 간 균형 유지 문제)를 해결할 유망한 기술로 업계 전문가들 사이에서 평가받고 있다.
이러한 열풍 속에서 기술 전문 지식이 없더라도 많은 투자자들이 SNARKs, STARKs, KZG 등의 용어를 들어봤을 것이다. 특히 이더리움 커뮤니티에서는 이러한 기술들의 연구와 개발이 활발히 진행되고 있다. 그러나 소비자 관점에서 보면 다음과 같은 기본적인 질문이 자연스럽게 제기된다. "ZK 기술은 인상적이지만, 우리는 언제 실제로 이를 활용하는 제품을 사용할 수 있을까? 그리고 이 기술이 기존의 비-Web3 솔루션을 대체할 만큼 충분히 성숙했는가?"
몇 년 전이라면 이 질문에 대한 답은 아마 "아직은 불가능하며, 알 수 없다"였을 것이다. 비탈릭이 언급했듯이, ZK 기반 애플리케이션(ZKApps)을 실제 운영하기 위한 인프라와 암호 증명 기술이 아직 부족했고 개발에도 어려움이 있었다. 그러나 2024년 현재, 여전히 개선의 여지가 크지만 상당한 기술적 진전이 이루어져 ZKApps의 상용화 기반이 마련되었다. 따라서 이제 우리는 ZK 기술이 실제로 필요한 영역을 식별하고, 이를 통해 삶의 질을 어떻게 향상시킬 수 있는지를 고민해야 한다. 투자자 입장에서는 널리 채택될 ZKApps의 유형을 연구함으로써 새로운 투자 기회를 발견할 수도 있다.
Presto Research와 Ocular VC의 공동 ZK 연구에서 우리는 시장 동향 분석과 양측의 선도적 기술 통찰력을 바탕으로 ZKApp 산업의 개요와 전망을 제공한다. 제2부에서는 현재의 ZK 채택 생태계를 소개하고, 어떤 ZK 인프라와 ZKApps가 주목받고 있는지 강조한다. 제3부는 ZKApps의 발전 역사에 초점을 맞추며 그 필요성과 실질적 이점을 논의한다. 제4부에서는 2024년 현재 ZK 산업의 투자 동향과 체인 상 데이터 분석을 살펴봄으로써 왜 ZKApps가 다음 메가트렌드가 될 가능성이 높은지 설명한다. 마지막으로 제5부에서는 ZKApps를 실용화하고 주류로 만들기 위해 지금까지 이루어진 인프라 개발 노력과 기술적 성취를 다룬다.
2. 현재의 ZK 채택 생태계
현재의 ZK 채택 생태계는 여러 기준에 따라 분류할 수 있지만, 여기서는 다음과 같은 기준으로 광범위하게 분류한다: 서비스가 인프라스트럭처로서 작동하는지 애플리케이션으로서 작동하는지, 그리고 프라이버시를 우선시하는지 실용성을 우선시하는지 여부.
그림 1: 현재의 ZK 채택 생태계
출처: Ocular VC
2.1. ZK 인프라스트럭처
유형 1: 프라이버시 중심 인프라스트럭처
이 범주에 속하는 서비스들은 주로 ZK 시스템 내 프라이버시 문제를 해결하는 것을 목표로 한다. 많은 ZKP 제공자가 여전히 거래 내용을 확인할 수 있어 민감한 데이터 노출 위험이 존재하기 때문이다. 즉, 클라이언트가 ZKP 제공자에게 거래를 제출해 ZK 증명을 생성하는 과정에서 프라이버시 유출이 발생하는 경우가 많다. 따라서 이러한 프라이버시 중심 인프라는 증명자 계층(5.2절 참조)과 가상 머신(VM) 구성 요소를 통해 접근 제어를 강화하고 종단 간 데이터 프라이버시를 보장할 수 있다. 대표적인 사례로는 Ingonyama, Succinct, Espresso 등이 있다.
유형 2: 실용성 중심 인프라스트럭처
ZK 기술은 프라이버시 보호뿐 아니라 ZKApps의 실용성 향상에도 기여한다. 대표적인 예는 ZK L2(즉, ZK-rollups)이다. 현재 대부분의 ZK L2는 종단 간 거래 프라이버시를 보장하지 못한다는 점이 알려져 있다. 그러나 Taiko, zkSync, Intmax, Zeko 등의 ZK L2 체인은 ZK 기술의 간결성(succinctness)을 활용해 수천 건의 거래 유효성을 단일 ZK 증명으로 집약한 후 L1에 제출함으로써 블록체인의 확장성을 크게 향상시킨다. 실용성 중심의 또 다른 사례는 증명자 계층(prover layer)이다. 증명자 계층은 계산 능력을 제공하는 주체로, 성능이 낮은 장치를 사용하는 사용자가 ZKP 생성 및 검증 과정에 참여할 수 있도록 돕는다. 현재 RiscZero, Cysic, Irreducible, Aligned Layer 등의 서비스가 이 분야에서 운영 중이다.
2.2. ZK 애플리케이션
유형 3: 프라이버시 중심 애플리케이션
프라이버시 중심 애플리케이션은 일반적으로 "ZK 애플리케이션"이라고 말할 때 가장 먼저 떠올리는 유스 케이스다. 이 서비스들은 주로 ZK 기술의 제로지식 특성을 활용하며 프라이버시를 우선시한다. 이 특성은 KYC, 인증, 자격증명 등 민감한 개인정보를 처리하는 분야에서 고객의 프라이버시를 보호하기 위해 널리 활용된다. 현재 주목할 만한 프로젝트로는 zkPass, Lumina, 0xKYC, zkMe 등이 있다. 이 분야는 또한 안전한 지갑과 이메일 등으로 확장되고 있으며, ZKSafe와 zkEmail이 대표적이다.
유형 4: 실용성 중심 애플리케이션
실용성 중심 애플리케이션은 주로 ZK L2 위에서 실행된다. 현재는 탈중앙화 금융(DeFi) 관련 애플리케이션, 즉 탈중앙화 거래소(DEX)와 대출 플랫폼이 이 분야를 주도하고 있다. ZK L2가 프라이버시를 보장하지 않더라도, 이러한 앱들은 ZK L2의 실용성을 활용해 DeFi 분야에서 필수적인 빠르고 저렴한 거래 처리를 제공한다. 현재 운영 중인 주요 애플리케이션으로는 zkFinance, ZKX, zkEra Finance, zkLend, eZKalibur 등이 있다.
3. ZKApps: 기원과 진화
3.1. 현대 ZK 생태계의 여정
제로지식 증명(ZKPs)은 블록체인 산업에서 혁신적인 기술로 자리 잡으며 프라이버시와 확장성 분야에서 획기적인 발전을 가져왔다. ZKPs는 암호학 연구에서 비롯되었으며, 이론적 개념에서 실용적인 ZK 애플리케이션(ZKApps)으로 진화하면서 탈중앙화 금융(DeFi), 사이버 보안 등 다양한 분야의 구조를 크게 변화시켰다.
ZKP의 기원
ZKP 개념은 1985년 Shafi Goldwasser, Silvio Micali, Charles Rackoff에 의해 처음 제안되었다. 초기에는 암호학적 이론적 돌파구로서, 지식 자체를 드러내지 않고 특정 지식을 가지고 있음을 입증할 수 있는 능력을 보여주는 것이었다. ZKPs는 비밀번호 인증 시스템에서 특히 유용한데, 비밀번호를 노출하지 않고도 검증이 가능하기 때문이다. 실제로 Cloudflare와 같은 네트워크 인프라 기업은 공급업체 하드웨어를 활용해 안전한 네트워크 검증을 위한 ZKP 메커니즘을 도입하고 있다.
블록체인 기술로의 전환
ZKP와 블록체인 기술의 통합은 그 진화 과정에서 중요한 전환점이었다. 초기 채택자 중 하나인 Zcash는 ZK 개념을 자신의 결제 시스템에 도입해 종단 간 거래 프라이버시를 보장했다. ZKPs는 송신자, 수신자, 거래 금액을 공개하지 않으면서도 거래 유효성(예: 송신자가 충분한 코인을 보유하고 있고, 이중 지출이 없음)을 검증할 수 있게 해 주었다. 이 사례는 ZKPs를 블록체인 플랫폼에 직접 통합하는 잠재력을 보여주었으며, 매력적인 응용 가능성을 제시했다.
zkSync와 Starknet과 같은 이더리움 L2 솔루션의 초기 배포 이후, ZKP 통합은 더욱 확대되는 추세를 보였다. 이러한 플랫폼은 블록체인 시스템에서 흔히 발생하는 낮은 TPS(초당 거래 수) 병목 현상을 해결하기 위한 확장 솔루션으로 ZKPs를 활용했다. 이러한 맥락에서 ZKPs의 성공적 적용은 기존 인프라를 활용해 프라이버시와 효율성을 높이는 더 많은 실용적 애플리케이션 개발에 대한 관심을 촉진했다.
최근 몇 년간 인프라가 정비되고 성숙함에 따라 사람들의 관심은 ZKApps로 옮겨갔다. 다음 섹션에서는 ZKApps의 세부 정보와 이점을 논의한다.
3.2. ZKApps의 정의와 이점
2장에서 간략히 소개했듯이, 우리는 ZKApps를 ZKPs와 ZK 인프라를 활용해 거래를 생성하는 애플리케이션으로 정의하며, 그 주요 목적은 1) 사용자 프라이버시 보호 및/또는 2) 효율성 향상이다.
프라이버시에 초점을 맞춘 애플리케이션은 KYC 절차, 유전자 검사, 기밀 개인 데이터 등 공개 체인에 거래 데이터를 저장하지 않는 경향이 있다. 이는 매력적인 유스 케이스를 제시한다. ZKPs를 활용하면 이러한 데이터를 공개하지 않고 로컬 데이터베이스에 안전하게 저장하면서도 글로벌 검증이 가능하다(예: 앨리스의 혈액형이 B형임을 증명, 밥이 20세 이상임을 증명). 이 방법은 책임성과 투명성이 요구되면서도 프라이버시가 중요한 애플리케이션에 특히 유리하다. 이 주제를 연구 중인 프로젝트로는 zkPass, nuAuth, BioSnark 등이 있다.
불라는 인도와 중국 사이에 위치한 작은 아시아 국가로, 최근 몇 년간 전국 차원에서 ZKPs를 활용해 디지털 신원 인프라를 구축했다. 이 방법을 통해 정부는 데이터를 더 쉽게 관리할 수 있게 되었으며, 다른 국가의 데이터 프라이버시 규정을 위반하지 않으면서 국경 간 검증이 가능하게 되었다.
흥미롭게도 이러한 ZKP의 활용은 신용 대출 시스템과 인증 메커니즘에도 확장될 수 있으며, 국제 협력과 공유 디지털 서비스 내에서 신뢰를 촉진할 수 있다. 예를 들어, USDT 대출은 ZKPs를 활용해 체외 신용을 보호하고 검증할 수 있다. 이 방법은 스테이블코인을 활용한 담보 없는 대출의 체인 상 사용을 더욱 촉진할 수 있다. ZKPs의 이러한 응용은 신용 평가 및 대출 방식을 근본적으로 바꿔놓을 수 있으며, 보안성과 신뢰를 높이면서 동시에 금융 서비스 접근성을 확대할 수 있다.
아직 깊이 있게 탐구되지 않은 분야 중 하나는 GambleFi인데, 이 분야에서 ZKP는 특히 유익할 수 있다. ZKP는 결과와 행동을 암호적으로 검증하면서도 기본 데이터를 노출하지 않음으로써 공정하고 조작 방지 가능한 도박 환경을 구현할 수 있다. 예를 들어, 베팅 풀을 만들 수 있는데, 사용자의 기여금과 보너스는 익명으로 유지되지만 전체 풀의 규모와 배분은 검증 가능하다. 이러한 장점은 신뢰를 강화하고, 더 사생활 보호가 되고 확장 가능한 도박 경험을 제공함으로써 GambleFi에 더 많은 사용자를 끌어들일 수 있다.
물론 ZKP의 활용은 이러한 예시에 국한되지 않는다. 위에서 언급한 사례 외에도 SNS에서 콘텐츠 제작자의 익명성을 보호하거나, 자신의 속임수 전략을 공유하고 싶지 않은 최정상급 게이머들도 이 기술의 도입을 반길 수 있다. 따라서 현재 진행 중인 연구는 ZKP가 일상생활의 다양한 분야에서 기존 방법보다 더 우수한 서비스를 제공하는 방식을 탐색하고 있으며, 앞으로도 계속해서 새로운 유스 케이스가 발견될 것이다.
4. 분석: 왜 ZKApps가 다음 트렌드인가?
이 섹션에서는 데이터 분석을 통해 ZK 산업의 주요 트렌드가 인프라에서 애플리케이션으로 전환되고 있는 이유를 살펴본다. 4.1절에서는 2024년 투자 동향을 기반으로 왜 ZKApps가 다음 유망 트렌드인지 분석한다. 4.2절에서는 체인 상 데이터를 근거로 실제 ZKApps에 대한 고객 수요가 어떻게 증가하고 있는지 검토한다.
4.1. 투자 동향
ZK 산업의 투자 역사를 살펴보면, 대부분의 주요 투자는 ZK L1/L2, 하드웨어 가속 등 ZK 인프라스트럭처에 집중되어 왔다. zkSync, Starknet, Aleo, Cysics 등의 프로젝트들이 여기에 해당하며, 이 시장에 누적된 투자액은 이미 10억 달러를 넘었다. 많은 프로젝트들이 향후 몇 분기 내 제품 출시를 준비하고 있다. 이 추세는 2024년까지 이어졌으며, 상위 5개 ZK 관련 펀딩 거래의 강세가 이를 입증한다(그림 2 참조). 상위 5개 거래 중 4건은 1500만 달러 이상의 투자액을 기록했다. 주목할 점은 상위 5개 거래 중 4건이 증명자 계층과 관련되어 있고, 1건이 L2 솔루션과 관련되어 있다는 것이다.
그렇다면 왜 증명자 계층이 이렇게 주목받고 있을까? 3장에서 언급했듯이, 증명자 계층은 ZKPs 수요 증가를 지원하는 핵심 구성 요소로, 성능이 낮은 장치를 사용하는 사용자가 ZKP 생성 및 검증 과정에 참여할 수 있도록 한다. 증명자 계층에 대한 수요 증가는 ZKPs 수요가 크게 증가하고 있음을 나타내며, 점점 더 많은 사람들이 ZK L1/L2를 활용해 거래를 생성하려는 의지를 보여준다.
그림 2: 2024년 ZK 투자 동향
출처: Cointelegraph, The Block, Ocular VC
ZK L1/L2 체인 상 거래 수요 증가에 대해 두 가지 가능한 설명이 있다. 첫 번째는 ZKApps 수요 증가로 인해 더 많은 거래가 기본 ZK 체인에 제출되고 있다는 것이다. 두 번째는 지난 2년간 ZK L1/L2의 메인넷 출시로 인해 ZK 체인 상 전송량이 크게 증가했고, 이로 인해 거래 수가 늘어났다는 것이다. 어느 설명이 맞든, ZKApps의 전망은 여전히 낙관적이다. 첫 번째 경우는 더 많은 사람들이 ZKApps를 사용하고자 한다는 의미이며, 두 번째 경우는 점점 더 많은 사람들이 기본 ZK 체인을 사용함에 따라 생태계와 인프라가 성숙해지고 있어 ZKApps 개발에 유리한 환경이 조성되고 있다는 의미다.
4.2. 체인 상 데이터 분석
이제 체인 상 데이터 분석을 통해 ZKApps 수요 증가를 직접 확인해보자. 데이터에 따르면, 지난 1.5년 동안 ZKP 검증 과정에 사용된 누적 수수료가 1.98억 달러를 초과했으며, 이는 ZKPs에 대한 수요가 이전 연도들에 비해 현저히 증가했음을 보여준다. 더욱 중요한 것은, 이 성장이 주로 ZKApps 수요에서 비롯되었다는 점이다. ZKP 검증 수수료 사용 내역을 인프라와 ZKApps로 나누어 보면, ZKApps의 비중이 과거 40%에서 2024년 현재 70~80%로 상승했다. 이 데이터는 최근 ZKPs 수요 급증이 주로 ZKApps에서 비롯된다는 것을 입증한다.
그림 3: ZKPs 검증 수수료 동향
출처: dune.xyz@nebra, Ocular VC
5. ZKApps를 현실로 만든 기술 발전
지금까지 ZKApps의 정의를 살펴보고, 주목할 만한 핵심 유스 케이스를 식별하였으며, ZK 산업의 주요 트렌드가 인프라에서 애플리케이션으로 전환되고 있는 이유를 논의하였다. 이러한 ZKApps의 실현 가능성은 분명히 기술 발전에 의존한다. 앞서 언급했듯이, ZK 인프라가 성숙함에 따라 이러한 기술을 효과적으로 활용하는 ZKApps는 향후 몇 년간 블록체인/Web3 산업의 주류가 될 것이다. 그렇다면 구체적으로 어떤 진전이 이를 가능하게 했으며, 앞으로 어떤 발전이 예상되는가?
5.1. ZK 증명 시스템
먼저 ZK 증명 시스템의 발전을 논의해야 한다. 복잡성 때문에 기술적 배경이 없는 사람들은 어떤 과정에서 어떤 암호 기술이 사용되는지, 그리고 이러한 기술의 개선이 어떻게 ZK 증명 시스템을 향상시키는지 이해하기 어렵다. 따라서 본 섹션에서는 ZK 증명 시스템의 주요 진전을 강조하고, 이해하기 쉬운 비유를 사용해 설명한다. 간단히 말해, 이러한 진전은 두 가지 주요 이점을 가져왔다: "지원 기능 증가"와 "계산 과정 최적화".
더 많은 기능 지원: 도메인 특화 언어(DSL)
ZK 증명 시스템의 도메인 특화 언어(DSL)는 ZK 생태계 내 특정 작업을 처리하기 위해 특별히 설계된 프로그래밍 언어다. 이러한 언어는 ZK 작업에 최적화된 맞춤형 문법과 기능을 제공함으로써 ZKP 생성을 크게 풍부하게 한다. 현재 Leo, Zinc, Cairo, Noir, ZoKrates 등의 DSL이 변수, 조건문, 배열 등을 지원하기 위해 연구 및 개발되고 있다.
이를 마치 밥이 앨리스에게 합법적인 레시피로 케이크를 만들었다는 것을 증명해야 하지만, 레시피 자체는 공개하고 싶지 않은 상황이라고 생각하자. 먼저 밥은 케이크를 만드는 모든 고수준 단계와 필요한 재료를 포함한 레시피를 준비해야 한다(예: 재료를 반죽 형태로 섞은 후 굽기). 밥이 레시피에 더 세련된 재료와 조리 기술을 사용할 수 있다면 더 좋을 것이다(그림 4 참조)!
그림 4: DSL이 ZKP에 더 많은 기능 지원
출처: DALL E, Presto Research
계산 과정 최적화: 산술화, 증명 시스템(IOP + FCS)
DSL로 프로그램을 작성한 후, 산술화 및 증명 시스템(인터랙티브 오라클 증명 IOP과 함수 약속 방식 FCS 포함)을 거쳐 ZKPs로 변환된다. 이러한 과정에서 공통된 도전 과제는 계산 오버헤드 최소화로, ZKP 생성 및 검증 과정을 더 많은 사람이 접근할 수 있도록 만드는 것이다.
계산 오버헤드를 줄이기 위한 노력 중 가장 직관적인 방법은 증명 시스템 내 필드 크기를 줄이는 것이다. 여기서 필드 크기는 ZKP 생성 과정에서 사용되는 수학적 필드의 크기를 말한다. 간단히 말해, 비밀 코드를 생성하는 데 사용할 수 있는 모든 가능한 값의 총 수를 의미한다. 필드 크기가 클수록 코드를 추측하기 어려워지지만, 생성에 더 많은 시간이 걸린다. Groth16, Plonk, Halo2와 같은 유명한 암호 증명 시스템은 ZKP에 익숙하지 않은 사람들도 들어봤을 법하며, 일반적으로 256비트 필드 크기를 사용한다. 그러나 기술 발전과 함께 Goldilocks, Plonky3와 같은 최신 증명 시스템은 보안성을 희생하지 않고 31~64비트 필드 크기를 사용한다. 최첨단 증명 시스템인 Binius는 필드 크기를 1비트(0과 1)로만 사용함으로써 계산 속도를 크게 향상시켰다.
5.2. 탈중앙화된 증명 인프라스트럭처
논의할 가치가 있는 두 번째 기술 발전은 탈중앙화된 증명 인프라스트럭처의 발전이다. ZK 증명 시스템의 발전은 계산량을 줄여 증명 생성과 검증 과정을 최적화하고 단순화하지만, 탈중앙화된 증명 인프라스트럭처는 강력한 계산 능력을 외주하여 ZKPs 생성을 가능하게 한다.
현재 ZK 산업에서 탈중앙화된 증명 인프라스트럭처를 구현하는 주요 방법은 두 가지다. 첫 번째는 ZK 기반 체인이 자체 내부 증명 계층을 구축하는 것이며, 두 번째는 다양한 체인과 애플리케이션의 ZKP 생성 요청을 처리하는 외주 증명 계층을 운영하는 것이다.
내부 증명 계층
내부 증명 계층 모델에서 ZKP 생성 주체(즉, 증명자)는 특정 체인에 소속된다. 내부 증명 계층의 가장 큰 병목은 유도 과정이다. 체인 개발자가 경제적으로 모든 네트워크 사용자에게 원활한 증명 계층을 제공하기 어렵기 때문에, 일반적으로 네이티브 토큰을 보상으로 제공함으로써 계산 능력을 갖춘 개인이나 그룹이 증명 계층에 참여하도록 유도하는 프로토콜을 배포한다.
내부 증명 계층을 운영하는 대표적인 프로젝트는 ZK 레이어 1 블록체인인 Aleo다. 비트코인의 작업 증명(PoW)과 유사하게, Aleo는 각 블록에 대해 특정 임계값(즉, "증명 목표")을 충족하는 ZKPs를 증명자가 생성하도록 요구한다. 누적 증명의 총합이 "Coinbase 목표"를 초과하면, Coinbase 보상(Aleo 토큰)은 증명자의 기여도에 비례하여 분배된다. 이러한 채굴자 증명 프로토콜은 ZKPs를 지원하기 위한 더 빠른 소프트웨어 및 하드웨어 개발을 유도하며, 증명자 보상을 광범위하게 분배함으로써 증명 생태계의 탈중앙화를 실현할 수 있다.
외주 증명 계층
반면, 외주 증명 계층은 블록체인 외부에 위치하며, 다양한 ZK 기반 체인과 ZKApps의 요청에 따라 계산 능력을 제공한다. 이를 모듈화된 블록체인(Celestia 등)과 유사하게 보되, ZKP 생성 기능을 갖춘 것으로 볼 수 있다. 이러한 외주 증명 계층은 일반적으로 "증명 시장(proof market)" 형태로 운영된다. 고객은 ZKP 생성이 필요한 거래를 제출하고, 증명자들은 자신의 증명 서비스(생성 능력과 비용 포함)를 입찰한다.
현재 외주 증명 계층을 운영하는 대표적인 프로젝트로는 =nil과 Gevulot이 있다. =nil은 사용자의 매수 주문과 증명자의 매도 주문을 포함하는 각 회로(circuit)에 대한 주문장을 유지한다. 증명 생성 가격은 이 주문장 메커니즘을 통해 결정된다. Gevulot은 지분 증명(PoS) 방식으로 운영되며, 증명자가 스테이킹을 하고 작업 증명 과제를 완료해야 참여할 수 있다. 입찰 시스템 외에도 증명 생성 작업은 공정성을 보장하기 위해 검증 가능한 난수 함수(VRF)를 통해 무작위로 할당된다.
그러나 외주 증명 계층 방식에는 주요 문제가 하나 있다. 증명자에게 제출할 때 증명 요청에 포함된 거래 데이터가 폐쇄되지 않아 종단 간 프라이버시를 유지하기 어렵다는 점이다. 이를 해결하기 위해 Marlin과 zkPass와 같은 프로젝트는 데이터 무결성을 보호하는 환경인 안전한 격리 실행 환경(SGX 등)을 활용해 ZKP 생성 과정에서 프라이버시 유출이 없도록 보장한다.
그림 5: 탈중앙화된 증명 인프라스트럭처 개요
출처: Presto Research
결론
지금까지 우리는 ZK 산업의 전반적인 채택 상황, ZKApps가 가져올 수 있는 이점, 왜 ZK 산업의 주요 트렌드가 인프라에서 ZKApps로 전환되고 있는지에 대한 증거, 그리고 ZKApps의 부상 뒤에 있는 기술 발전을 살펴보았다. 암호 증명 시스템과 탈중앙화된 증명 인프라스트럭처의 발전은 ZKApps를 더 빠르고 경제적으로 사용할 수 있는 길을 열어주며, 제로지식 기술을 일상생활에 더욱 가깝게 만들고 있다.
블록체인/Web3 산업은 투자자들을 끌어들이기 위해 과도한 기술을 개발하면서도 실제 시장 수요를 거의 고려하지 않는다는 비판을 자주 받는다. 이러한 비판을 극복하기 위해 개발자들은 우리 삶을 진정으로 개선하는 방식으로 기술을 발전시켜야 한다. 그러나 우리 사용자들에게도 이 기술이 실제로 어떤 분야에 효과적으로 적용될 수 있는지 지속적으로 평가하는 것이 중요하다. 본문이 독자들에게 ZKP와 ZKApps에 대한 폭넓은 이해를 제공하고, 이 산업에 대한 더 많은 자기 연구(DYOR) 참여를 촉진하기를 바란다.
다가오는 Presto Research와 Ocular VC의 공동 시리즈에서는 본문에서 언급한 기술 발전을 기반으로 출시될 일련의 선도적인 ZK 관련 프로젝트들(프라이버시 컨볼루션, 클라이언트 증명, 프라이버시 보호 증명 계층 등)을 돌아볼 예정이다. 기대해 주시기 바란다!
TechFlow 공식 커뮤니티에 오신 것을 환영합니다
Telegram 구독 그룹:https://t.me/TechFlowDaily
트위터 공식 계정:https://x.com/TechFlowPost
트위터 영어 계정:https://x.com/BlockFlow_News
