델파이, 공유 증명자 탐구: 모듈화의 새로운 영역

원제목：Delphi Digital X 계정

저자：Delphi Digital

편집：Luffy，Foresight News

모듈화 이론은 일반적으로 DA(데이터 가용성), 합의, 실행 및 정산의 네 가지 층으로 구성된다고 여겨진다. 그러나 새로운 층인 공유 증명자가 모듈화 이론에 통합될 가능성이 있다.

그것이 효율적이고 확장 가능한 검증에 필요한 부분이 될 수 있을까? 공유 증명자, 증명 집합 및 증명자 시장은 제로 지식 증명의 판도를 변화시키고 있다. 필요한 모든 내용을 우리의 최신 보고서에서 확인할 수 있다.

다음은 보고서의 요점 요약이다.

zk Rollup 간략 회고

zk Rollup 솔루션은 이더리움의 거래 규모를 확장할 수 있으며, 거래를 체인 외부로 이동시켜 더 빠르게 처리하고, 이더리움 위에서 하드 결정성을 구현하며, zk 증명(제로 지식 증명)을 통해 검증한다.

zk 증명：검증 속도 빠르고 생성 속도 느림

zk 증명은 프라이버시와 확장성 측면에서 강력하지만, 이더리움에서 증명을 생성하는 것은 비용이 많이 들고 속도가 느릴 수 있다.

높은 증명 비용은 zk 애플리케이션을 제한할 수 있다. 증명 집합 및 증명자 시장과 같은 새로운 방법은 이러한 제한을 해결하기 위해 고안되었다.

증명자 공급망

공유 정렬자는 크로스 블록체인 거래에 높은 처리량을 제공한다. 그러나 실제로는 아무것도 증명하지 않는다. 이들은 미래에 공유 증명자 네트워크와 통합되어 이 작업을 위임할 수 있다.

현재 Rollup은 비싼 개별 제로 지식 증명 제출의 문제에 직면해 있다.

증명자 네트워크는 해결책을 제공한다: 다양한 zk 애플리케이션이 증명 생성을 전문 증명 서비스 제공업체에 아웃소싱할 수 있는 통합 시장으로, 비용과 효율성을 높인다.

공유 증명자는 zk 증명 지원이 필요하지만 내부 zkVM 또는 회로 개발 자원이 부족한 애플리케이션의 상황을 크게 개선할 수 있다.

현재 Rollup은 개별 zk 증명을 제출하여 피크 시간대의 가스 비용을 높이고 있다.

증명자 네트워크의 현재 목표는 효율성을 높이기 위해 전문 하드웨어 제공업체에 증명 생성을 아웃소싱하는 것이다.

여러 Rollup이 존재하고 증명자 네트워크에 연결된 네트워크에서 거래 생애 주기의 작동 방식은 다음과 같다:

• Rollup이 증명 요청을 제출한다.

• 매칭 메커니즘이 증명자를 선택한다.

• 증명자가 요청을 충족한다.

• 증명을 집합한다.

• 증명자가 최종 증명을 L1에 제출하여 검증한다.

검증 비용 분담

증명 특이점(Proof Singularity)은 체인 상에서 증명 검증 비용을 낮추기 위해 고안된 다양한 기술을 의미한다.

증명 집합은 이러한 기술 중 하나로, 여러 유효한 증명을 압축하여 모든 증명을 검증할 수 있는 하나의 증명으로 만든다.

각 증명을 개별적으로 검증하는 것과 비교할 때, 이러한 "배치 검증"은 가스 비용을 낮출 수 있다.

zk 앱 증명자 비용

zk 애플리케이션의 높은 검증 비용과 증명 시간은 결국 사용자에게 전가된다.

지난 몇 년 동안, zk 애플리케이션(주로 Rollup)은 증명을 검증하고 체인에 게시하는 데 거의 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는 안전한 크로스 체인 상호작용을 위한 중립 인프라이다. 이는 독립 블록체인 네트워크를 하나의 크로스 체인 브리지 아래 통합하여 블록체인의 주권을 해치지 않으면서 상호 운용성을 촉진하는 것을 목표로 한다.

이 시스템은 연결된 모든 Rollup의 증명을 집계한 다음, 제출된 각 개별 증명의 머클 트리를 포함하는 단일 증명을 제출하도록 설계되었다.

• 특정 가상 머신이나 실행 환경이 필요하지 않다.

• 블록체인은 자신의 가스 토큰을 자유롭게 선택할 수 있다.

• 공동 거버넌스에 복종할 필요가 없다.

기본적으로, 모든 것을 통합하는 인프라는 LxLy 크로스 체인 브리지로, Rollup이 주권을 유지하면서 서로 통신하고 이더리움과 통신할 수 있도록 일반적인 크로스 체인 메시징 프로토콜을 표준화한다.

LxLy 작동 방식의 간략한 설명

• 각 체인은 머클 트리(출구 트리)에서 출금 전송을 추적한다.

• 모든 출구 트리는 하나의 글로벌 출구 트리로 병합되어 크로스 체인에서 공유된다.

• 로컬 및 글로벌 트리를 업데이트하여 검증 및 순수 출금 계산을 허용한다.

또한, Agglayer는 연결된 Rollup 간에 공유 크로스 체인 브리지를 두어 L1과 L2 간의 자산 흐름을 간소화한다. 자산은 하나의 L1 계약에 담보로 제공되며, 포장하거나 잠그거나 발행할 필요가 없다.

전통적으로, 프레임워크는 단일 내부 증명자에 의존하여 검열 및 활성화 문제의 위험이 있다. 증명자 네트워크는 중앙 집중화된 방식으로 시작할 수 있지만, 시간이 지남에 따라 점진적으로 탈중앙화될 수 있다.

증명자 시장의 탈중앙화는 여전히 미해결 문제이지만, 몇 가지 방법이 탐색되고 있다:

• 증명 경쟁: 가장 빠른 증명자가 승리하여 효율성을 높이지만 계산을 낭비한다(비용이 사용자에게 전가됨).

• 증명 채굴: PoW 채굴과 유사하게, 랜덤 숫자를 사용하여 승자 독식을 방지한다(계산 낭비는 여전히 존재). SNARK ASIC의 하드웨어 가속은 비용을 낮출 것으로 기대된다.