원저자: Delphi Digital

원곡: 루피, 포사이트 뉴스

일반적으로 모듈 이론은 DA(데이터 가용성), 합의, 실행 및 합의의 네 가지 계층으로 구성되어 있다고 믿어집니다. 그러나 공유 증명자라는 새로운 계층이 모듈 이론에 통합될 수 있습니다.

효율적이고 확장 가능한 검증을 위해 누락된 부분이 있을 수 있습니까? 공유 증명자, 증명 집계, 증명자 시장은 영지식 증명 환경을 변화시키고 있습니다. 최신 보고서 에서 알아야 할 모든 내용을 확인할 수 있습니다.

보고서의 핵심 내용을 요약하면 다음과 같습니다👇

zk Rollup에 대한 간략한 리뷰

zk 롤업 솔루션은 이더리움의 거래 규모를 확장하고 더 빠른 처리를 위해 거래를 오프체인으로 이동하는 동시에 이더리움 위에서 엄격한 최종성을 구현하고 zk 증명(영지식 증명)을 통해 검증합니다.

zk 증명: 확인은 빠르고 생성은 느림

개인 정보 보호 및 확장성 측면에서 강력하지만, zk 증명은 비용이 많이 들고 이더리움에서 생성하는 속도가 느릴 수 있습니다.

높은 인증 비용으로 인해 zk 애플리케이션이 제한됩니다. 증명 집계 및 증명 시장과 같은 새로운 접근 방식은 이러한 제한 사항을 해결하는 것을 목표로 합니다.

인증자 공급망

공유 시퀀서는 블록체인 전반의 트랜잭션에 높은 처리량을 제공합니다. 그러나 그들은 실제로 아무것도 증명하지 않습니다. 향후에는 공유 증명자 네트워크와 통합되어 이 작업을 위임할 수 있습니다.

오늘날 Rollup은 비용이 많이 들고 별도의 영지식 증명 제출 문제에 직면해 있습니다.

Prover Network는 다양한 ZooKeeper 애플리케이션이 전문 증명 서비스 제공업체에 증명 생성을 아웃소싱하여 비용과 효율성을 높일 수 있는 통합 시장이라는 솔루션을 제공합니다.

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

현재 Rollup은 별도의 zk 증명을 제출하므로 피크 시간 동안 가스 비용이 높아집니다.

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

여러 롤업이 있고 증명자 네트워크에 연결된 네트워크에서 트랜잭션 수명주기는 다음과 같이 작동합니다.

• 롤업이 인증 요청을 제출합니다.

• 매칭 메커니즘은 증명자를 선택합니다.

• 증명자는 요청을 만족시킵니다.

• 증거를 모아보세요.

• 증명자는 검증을 위해 최종 증명을 L1에 제출합니다.

분할된 검증 비용

Proof Singularity는 온체인 검증 증명 비용을 줄이기 위해 고안된 다양한 기술을 말합니다.

증명 집계는 여러 유효한 증명을 모두 확인하는 단일 증명으로 압축하는 기술 중 하나입니다.

이 "일괄 검증"은 각 증명을 개별적으로 검증하는 것에 비해 가스 비용을 줄일 수 있습니다.

zk 앱 증명 비용

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

지난 몇 년 동안 zk 애플리케이션(주로 Rollup)은 체인에 대한 증명을 확인하고 게시하기 위해 가스로 거의 3천만 달러를 소비했습니다.

증명 집계 프로토콜 개요

네브라 UPA

Nebra UPA를 사용하면 zk 응용 프로그램이 많은 증명을 번들로 묶어 검증 비용을 줄일 수 있으며 테스트넷에서 초당 약 10개의 증명을 지원한다고 주장합니다. 증명자는 현재 중앙 집중화되어 있지만 앞으로는 무허가 증명을 활성화할 계획이 있습니다.

기존 L2 탈출 포드와 유사한 강제 포함 메커니즘을 갖추고 있습니다. 증명자가 증명을 검열하거나 지연하는 경우 zk 애플리케이션은 증명자를 우회하고 L1에서 증명 합의를 강제할 수 있습니다.

정렬된 레이어

Aligned Layer는 EigenLayer AVS로 보호되는 Ethereum의 범용 zk 검증 레이어입니다. Restakers는 증거 집계 및 단일 Ethereum 커밋을 통해 사용자에게 소프트 최종성을 제공합니다. 기본 DA는 EigenDA이지만 Celestia 또는 Avail과 같은 다른 DA 레이어를 선택할 수 있습니다.

AggLayer

Polygon의 AggLayer는 안전한 크로스체인 상호작용을 위한 중립 인프라입니다. 크로스체인 브리지 아래에 독립적인 블록체인 네트워크를 통합하여 블록체인 주권을 손상시키지 않으면서 상호 운용성을 촉진하는 것을 목표로 합니다.

이 시스템은 연결된 모든 롤업의 증명을 집계한 다음 제출된 각 개별 증명의 머클 트리가 포함된 고유한 증명을 제출하도록 설계되었습니다.

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

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

• 공유 거버넌스의 대상이 될 필요는 없습니다.

내부적으로 이 모든 것을 하나로 묶는 인프라는 LxLy 크로스 체인 브리지입니다. 이는 롤업이 주권을 유지하면서 서로 및 이더리움과 통신할 수 있도록 공통 크로스 체인 메시징 프로토콜을 표준화합니다.

LxLy 작동 방식에 대한 간략한 설명 👇

• 각 체인은 머클 트리(출구 트리)에서 출금 이체를 추적합니다.

• 모든 종료 트리는 전역 종료 트리로 병합되어 체인 전체에서 공유됩니다.

• 검증 및 순 인출 계산을 허용하도록 로컬 및 글로벌 트리를 업데이트했습니다.

또한 Agglayer는 연결된 롤업 간에 공유된 크로스 체인 브리지를 갖추고 있어 L1과 L2 간의 자산 흐름을 단순화합니다. 자산은 L1 계약에서 담보로 제공되며 래핑이나 잠금/발행이 필요하지 않습니다.

전통적으로 프레임워크는 단일 내부 인증자에 의존해 검열 및 활성 문제의 위험이 있었습니다. 증명자 네트워크는 중앙 집중식으로 시작하여 시간이 지남에 따라 점차 분산될 수 있습니다.

증명자 시장의 분산화는 여전히 공개된 질문이지만 몇 가지 접근 방식이 모색되고 있습니다.

• 증명 콘테스트: 가장 빠른 증명자가 승리하여 효율성은 높아지지만 계산 낭비가 발생합니다(비용은 사용자에게 전가됨).

• 증명 채굴: PoW 채굴과 유사하게 승자 독식을 방지하기 위해 난수를 사용합니다(계산 낭비가 여전히 존재함). SNARK ASIC의 하드웨어 가속은 비용 절감을 약속합니다.