sequencer example l2 다운로드 - sequencer example l2 소스 코드 다운로드

sequencer example l2

기타 소스코드

1.0.0

다운로드

롤업 문서 예시

이 저장소에는 Espresso Sequencer와 통합되는 예제 롤업이 포함되어 있습니다. 예제 롤업은 Espresso에서 주문된 트랜잭션을 수신하여 롤업 VM에서 실행하고 모의 상태 증명을 L1(Ethereum) 스마트 계약에 게시하는 간단한 키/값 계정 저장소를 나타냅니다. 롤업에는 거래를 제출하고 계정 잔액을 쿼리하기 위한 간단한 API가 포함되어 있습니다.

소개

Espresso는 일괄 롤업 트랜잭션에 대한 합의를 달성하는 네트워크인 HotShot을 기반으로 구축되었습니다. 높은 수준에서 롤업은 오프체인에서 값비싼 계산을 수행하는 L1 확장 솔루션입니다. zkRollups의 경우 증명자는 트랜잭션 유효성에 대한 일괄 증명과 함께 롤업 상태 체크포인트를 주기적으로 L1에 제출합니다. 여기에 설명된 예는 모의 zkRollup입니다. 에스프레소 롤업에 대해 자세히 알아보려면 문서를 읽어보세요.

예제 실행

전제 조건

시스템에 docker 설치되어 있는지 확인하세요.

Linux 배포판의 경우 Linux 배포판의 공식 지침을 따르거나 공식 docker 지침을 참조하세요.

Espresso Sequencer에서 예제 롤업 실행

먼저 로컬 Espresso Sequencer 네트워크를 시작해야 합니다.

 git clone https://github.com/EspressoSystems/espresso-sequencer
cd espresso-sequencer
docker compose pull
docker compose up -d --wait

예제 롤업 배포가 완료되면 기본적으로 실행할 수 있습니다.

기본적으로 실행하려면 Rust 툴체인이 필요합니다. 우리는 모든 종속성을 설치하기 위해 nix 쉘을 제공합니다. Nix는 nix-installer를 통해 설치할 수 있습니다. 설치가 완료되면 프로젝트 루트에서 다음을 실행합니다.

 nix develop
just dev-demo

데모와의 상호작용

just dev-demo 실행하면 몇 분 후에 new state event 로그를 볼 수 있습니다.

Alice는 Bob에게 롤업 토큰을 전송하는 트랜잭션에 서명합니다. Alice는 롤업 API의 submit 엔드포인트를 통해 이 트랜잭션을 롤업으로 보냅니다. Alice가 검열에 대해 우려하는 경우 자신의 거래를 시퀀서에 직접 보낼 수 있습니다.
롤업 API 서버는 트랜잭션을 시퀀서로 전달합니다. 롤업이 4단계에서 자체 트랜잭션을 식별할 수 있도록 트랜잭션에는 롤업의 고유 네임스페이스 ID로 태그가 지정됩니다.
시퀀서 네트워크는 트랜잭션을 처리하여 결국 블록에 포함시킵니다. 시퀀서 노드는 L1의 Light Client 계약에 새 상태를 제출하여 새 상태에 대한 합의에 도달했는지 확인합니다.
실행기 서비스는 시퀀서 노드에서 제공하는 쿼리 서비스에 대한 구독을 통해 새로운 상태에 대한 알림을 받습니다.
실행자는 또한 핫샷 네트워크에서 시퀀스된 새 블록의 헤더를 수신합니다. 그런 다음 네임스페이스 증명, vid common 및 블록 해시를 가져옵니다.
그런 다음 실행자는 다음 단계를 수행하여 트랜잭션을 처리합니다.
- 실행자는 VM 상태에 트랜잭션을 적용합니다. 적용 전에 각 거래의 유효성이 검사되고 유효하지 않은 거래는 삭제됩니다(실제 롤업에는 결국 거래 무효성에 대한 증거가 포함됩니다). 우리의 경우 블록에는 Alice에서 Bob까지의 단일 트랜잭션이 포함되어 있습니다. 거래에 유효한 서명이 포함되어 있고 Alice가 충분한 잔액을 가지고 있으므로 거래가 성공적으로 적용되고 잔액이 업데이트됩니다.
- 트랜잭션 적용 후 실행자는 새로운 블록 커밋과 이전 상태 커밋으로 VM 상태를 업데이트합니다.
- 실행자는 새로운 상태 커밋을 계산하고 HotShot 블록 커밋과 관련하여 상태가 올바르게 업데이트되었다는 모의 증명을 생성합니다.
집행자는 롤업 계약에 증거를 게시합니다.
롤업 계약은 시퀀서 계약에서 인증된 최신 블록 커밋을 쿼리하여 증명을 확인합니다. 참고: 현재 구현에서는 계약에 대한 검증을 많이 수행하지 않습니다. 생산 목적을 위해 롤업 계약은 라이트 클라이언트 상태로 추가 확인을 수행해야 합니다.
Bob은 롤업 API를 사용하여 잔액을 쿼리하고 새 토큰을 받았는지 확인합니다. 이것이 실제 롤업인 경우 잠재적으로 신뢰할 수 없는 Bob은 롤업 계약 상태 약속에 대해 자신의 잔액을 확인할 수 있습니다(예제에는 현재 이 기능이 포함되어 있지 않습니다).

롤업 아키텍처

롤업 상태

예제 롤업의 상태는 다음과 같이 구성됩니다.

계정 : ECDSA(EVM 스타일) 주소를 더미 토큰 잔액에 매핑합니다.
블록 해시(Block Hash ) : 가장 최근 핫샷 합의 블록의 해시입니다.
이전 상태 커밋 : 가장 최근 실행 단계 이전의 롤업 상태에 대한 암호화 커밋입니다.
VM : Rollup VM에 대한 정보입니다. 지금은 간단한 아이디입니다.

집행자

Executor는 L1 라이트 클라이언트 계약에 게시된 새로운 상태를 구독하고, 롤업 상태에 트랜잭션을 적용하고, 롤업 계약에 모의 증명을 제출하는 역할을 담당하는 서비스입니다. 롤업은 종종 실행자와 증명자의 역할을 두 개의 개별 서비스로 분리하지만 이 예에서는 단순성을 위해 두 서비스를 결합합니다.

롤업 API

롤업 API는 submit 및 query 끝점을 포함하는 REST API입니다.

롤업 계약

롤업 계약은 가장 최근의 롤업 상태 약정을 저장합니다. 계약은 실행자로부터 유효한 상태 전환 증명을 받으면 상태 약속을 업데이트합니다.