델파이, 공유 프로버에 대해 논의하다: 모듈화의 새로운 영역
글: Delphi Digital
번역: Luffy, Foresight News
일반적으로 모듈화 이론은 네 개의 계층으로 구성된다고 여겨진다. 데이터 가용성(DA), 합의, 실행 및 결제 계층이다. 그러나 새로운 계층인 공유 프루버(shared prover)가 모듈화 이론에 통합될 가능성이 있다.
공유 프루버가 효율적이고 확장 가능한 검증을 위한 빠진 조각이 될 수 있을까? 공유 프루버, 증명 집계(proof aggregation), 프루버 마켓은 제로지식 증명의 구도를 변화시키고 있다. 최신 보고서에서 알아야 할 모든 것을 확인할 수 있다.
아래는 보고서의 핵심 요약이다👇
zk Rollup 간략 회고
zk Rollup 솔루션은 거래를 체인 외부로 이동시켜 더 빠른 처리가 가능하게 함으로써 이더리움의 트랜잭션 규모를 확장한다. 동시에 이더리움 상에서 하드 결정성을 실현하고 zk 증명(제로지식 증명)을 통해 검증을 수행한다.
zk 증명: 검증은 빠르지만 생성은 느림
zk 증명은 프라이버시와 확장성 측면에서 강력하지만, 이더리움 상에서 증명을 생성하는 것은 비용이 많이 들고 느릴 수 있다.
높은 증명 비용은 zk 애플리케이션의 활용을 제한한다. 증명 집계 및 프루버 마켓과 같은 새로운 접근법은 이러한 한계를 해결하기 위한 것이다.
프루버 공급망
공유 정렬기(shared sequencer)는 블록체인 간 거래에 대해 고처리량을 제공한다. 그러나 실제로는 아무것도 증명하지 않는다. 향후 이들은 해당 작업을 위임하기 위해 공유 프루버 네트워크와 통합될 수 있다.
현재 롤업(Rollup)은 비싼 개별 제로지식 증명 제출이라는 문제에 직면해 있다.
프루버 네트워크는 통합된 시장을 제공하여 다양한 zk 애플리케이션이 증명 생성을 전문적인 증명 서비스 제공업체에 아웃소싱함으로써 비용과 효율성을 개선할 수 있는 해결책을 제시한다.
공유 프루버는 내부 zkVM이나 회로 개발 자원이 부족한 애플리케이션들이 zk 증명을 활용할 수 있도록 크게 개선할 수 있다.
현재 롤업은 개별 zk 증명을 제출하여 피크 시간대에 높은 가스 비용이 발생한다.
프루버 네트워크는 현재 증명 생성을 전문 하드웨어 제공업체에 아웃소싱하여 효율성을 높이는 것을 목표로 한다.
여러 롤업이 존재하며 프루버 네트워크에 연결된 네트워크에서 거래 수명 주기는 다음과 같이 작동한다:
-
롤업이 증명 요청을 제출한다.
-
매칭 메커니즘이 프루버를 선택한다.
-
프루버가 요청을 처리한다.
-
여러 증명이 집계된다.
-
프루버가 최종 증명을 L1에 제출하여 검증을 받는다.
검증 비용 분산
증명 특이점(Proof Singularity)은 체인 상에서 증명을 검증하는 비용을 낮추기 위한 다양한 기술들을 의미한다.
증명 집계는 이러한 기술 중 하나로, 여러 유효한 증명을 하나의 증명으로 압축하여 모든 증명을 검증할 수 있게 한다.
각 증명을 개별적으로 검증하는 것보다 이러한 '배치 검증(batch verification)'은 가스 비용을 줄일 수 있다.
zk 앱 프루버 비용
zk 애플리케이션의 높은 검증 비용과 증명 시간은 궁극적으로 사용자에게 전가된다.
지난 몇 년간 zk 애플리케이션(주로 롤업)은 증명을 검증하고 체인 상에 게시하기 위해 거의 3000만 달러의 가스를 지출했다.
증명 집계 프로토콜 개요
Nebra UPA
Nebra UPA는 zk 앱이 여러 증명을 번들링하여 검증 비용을 절감할 수 있게 해준다. 테스트넷에서는 초당 약 10개의 증명을 지원한다고 주장한다. 현재 프루버는 중심화되어 있지만, 향후 무허가 프루빙을 구현할 계획이다.
기존 L2 탈출 장치와 유사한 강제 포함 메커니즘을 갖추고 있다. 만약 프루버가 증명을 검열하거나 지연하면, zk 애플리케이션은 프루버를 우회하여 L1에서 직접 증명 결제를 강제할 수 있다.
Aligned Layer
Aligned Layer는 EigenLayer AVS에 의해 보호되는 이더리움의 범용 zk 검증 계층이다. 리스테이커(restakers)는 증명 집계와 단일 이더리움 제출을 통해 사용자에게 소프트 최종성을 제공한다. 기본 DA는 EigenDA이지만 Celestia나 Avail과 같은 다른 DA 계층을 선택할 수도 있다.
AggLayer
폴리곤(Polygon)의 AggLayer는 안전한 크로스체인 상호작용을 위한 중립 인프라이다. 독립된 블록체인 네트워크를 단일 크로스체인 브리지 아래 통합하여 블록체인 주권을 해치지 않으면서 상호 운용성을 촉진하는 것을 목표로 한다.
이 시스템은 연결된 모든 롤업의 증명을 집계한 후, 각 개별 증명의 Merkle 트리를 포함하는 유일한 증명을 제출하는 것을 목표로 한다.
-
특정 가상머신이나 실행 환경을 요구하지 않는다
-
블록체인이 자신의 가스 토큰을 자유롭게 선택할 수 있다
-
공동 거버넌스에 복종할 필요가 없다
기본적으로 이 모든 것을 통합하는 인프라는 LxLy 크로스체인 브리지인데, 롤업이 주권을 유지하면서 서로 통신하고 이더리움과도 소통할 수 있도록 표준화된 범용 크로스체인 메시지 전달 프로토콜을 제공한다.
LxLy 동작 방식 간단 설명👇
-
각 체인은 인출 이체를 Merkle 트리(수출 트리)에 기록한다
-
모든 수출 트리는 하나의 글로벌 수출 트리로 통합되어 크로스체인에서 공유된다
-
로컬 및 글로벌 트리가 업데이트되어 검증 및 순 인출 계산이 가능하다
또한 AggLayer는 연결된 롤업 사이에 공유 크로스체인 브리지를 두어 L1과 L2 간 자산 이동을 단순화한다. 자산은 L1 스마트계약에 예치되며, 포장(wrapping)이나 잠금/발행 과정 없이도 된다.
기존에는 프레임워크가 단일 내부 프루버에 의존하여 검열 및 활성화 문제의 위험이 있었다. 프루버 네트워크는 초기에 중심화된 형태로 시작하여 점차 탈중앙화될 수 있다.
프루버 마켓의 탈중앙화는 여전히 미결 문제이지만, 일부 접근법들이 연구되고 있다:
-
프루빙 경쟁: 가장 빠른 프루버가 승리하므로 효율성이 높아지지만 컴퓨팅 낭비가 발생하며(비용은 사용자에게 전가됨)
-
프루빙 마이닝: PoW 마이닝과 유사하게 논스(nonce)를 사용하여 일방 독식을 방지한다(계산 낭비는 여전히 존재). SNARK ASIC 하드웨어 가속은 비용 절감을 기대할 수 있다.
TechFlow 공식 커뮤니티에 오신 것을 환영합니다
Telegram 구독 그룹:https://t.me/TechFlowDaily
트위터 공식 계정:https://x.com/TechFlowPost
트위터 영어 계정:https://x.com/BlockFlow_News
Delphi Digital
