커스타드 - 슈퍼 TX를 위한 UX 개선

이더리움(ETH) 솔라나(SOL) 유니스왑(UNI) 코스모스(ATOM) 크립토닷컴 코인(CRO) 후오비 토큰(HT) 이캐시(XEC) 밸런서(BAL) 옵티미즘(OP) 컴파운드(COMP) 이더리움 네임서비스(ENS) 알위브(AR) 온톨로지(ONT) 앰프(AMP) 아비트럼(Arb) 수이(SUI) 알케미페이(ACH) 플레이댑(PLA) 시냅스(SYN) TomiNet(TOMI) Ronin(RON) 리퀘스트(REQ) 온톨로지가스(ONG) 크로미아(CHR) 신고가 트론(TRON) 프롬(Prom) 바이(Vai) 렌(Ren) AVA 킨(Kin) 비트(Bit) 블록 자본 논스 옵티미스틱 롤업 페깅 슬래싱 무신뢰성 초당 거래 수(TPS) 이더리움 개선 제안(EIP) 초기 NFT 공개(INO) 인터컨티넨탈 거래소 자산 수익률(ROA) 효과적인 지분 증명(EPoS)

1. 초기 잠금(슬롯 S)
   • Alice는 미래 슬롯 S'까지 계정의 논스를 잠급니다.
   • 이를 통해 지정된 슬롯까지 계정에 대한 어떤 변경도 방지할 수 있습니다.
2. 설정(슬롯 S + 1)
   • Alice는 미래 슬롯 S'에 제안할 preconfer에게 슈퍼 트랜잭션을 요청합니다.
   • 이 트랜잭션에는 다음이 포함됩니다:
     • 롤업에 B 이더리움(ETH) 예치하기
     • 중재 거래 실행하기
     • B + ε - f 이더리움(ETH) 인출하기(원래 금액 + 수익 - 수수료)
     • 솔버가 L1에서 인출을 완료하기
3. 검증(슬롯 S + 1)
   • preconfer는 Alice의 계정이 적절히 잠겨있는지 확인합니다.
   • 검증되면 preconfer는 필요한 모든 preconf를 발행합니다.
4. 실행(슬롯 S')
   • preconfer는 전체 트랜잭션을 실행합니다:
     • Alice의 B 이더리움(ETH)을 BRU에 예치합니다.
     • Alice의 거래를 포함하는 BRU 블롭을 L1에 커밋합니다.
     • 솔버의 B + ε - f 이더리움(ETH) 전송을 L1에서 완료합니다.
5. 정산(슬롯 S' + Δ)
   • Δ 블록 후, BRU 상태가 증명됩니다.
   • 솔버는 B + ε + f 이더리움(ETH)을 BRU에서 인출하여 회수할 수 있습니다.

핵심 통찰

Alice가 계정을 잠그면 슈퍼 트랜잭션이 실행될 때 B 이더리움(ETH)을 충분히 보유할 수 있습니다. Preconfer는 계정을 먼저 잠그도록 요구하면 L1 EP를 안전하게 미리 발행할 수 있어, 시간 문제를 해결할 수 있습니다.

스마트 컨트랙트를 활용한 Custard

EIP-7702가 릴리스될 때까지 기다리는 동안, 스마트 컨트랙트를 사용하여 유사한 결과를 달성할 수 있습니다. 핵심 차이점은 계정 동작을 직접 수정하는 대신 사용자가 먼저 자산을 에스크로 계약에 예치해야 한다는 것입니다:

• 자산은 대상 슬롯까지 잠겨있습니다.
• 자금은 롤업에만 예치될 수 있습니다.
• 그때까지 자산 잔액 감소가 허용되지 않습니다.

실행 흐름은 EIP-7702 접근 방식과 유사하지만, 한 가지 주목할 만한 장점이 있습니다: 에스크로 계약이 자연스럽게 잠긴 자산 풀을 누적하여 프로토콜 설계에서 잠재적인 자본 효율성 최적화를 가능하게 합니다.

배제 Preconf를 활용한 Custard

배제 preconf는 다른 종류의 검증자 약속을 나타냅니다: 그들이 무엇을 할지 보장하는 대신, 검증자는 무엇을 하지 않을지 약속합니다. 구체적으로, 그들은 특정 계정 작업을 허용하지 않음으로써 특정 상태 변경을 방지할 것을 약속합니다. 배제는 일반적으로 이더리움의 가치에 반하지만, 이 맥락에서 주의 깊게 사용하면 건설적인 목적을 달성할 수 있습니다: 미리 발행된 L1 EP의 유효성을 보존하기 위해 특정 계정 상태를 잠그는 것입니다. 중요한 것은 이러한 유형의 preconf는 검열을 피하기 위해 계정 소유자가 명시적으로 승인한 경우에만 허용된다는 것입니다.

작동 방식

Alice가 배제 preconf를 사용하여 슈퍼 트랜잭션을 실행하는 방법을 살펴보겠습니다:

1. 실행 Preconf 발행
   • Alice는 대상 슈퍼 트랜잭션 슬롯 전에 검증자들로부터 배제 preconf를 받습니다.
   • 각 배제 preconf는 다음을 약속합니다:
     • Alice의 논스를 증가시키는 트랜잭션 포함하지 않기
     • Alice의 ETH 잔액을 감소시키는 트랜잭션 포함하지 않기
2. 실행
   • 대상 슬롯이 도착하면 Alice의 EOA에 필요한 ETH가 보장됩니다.
   • 슈퍼 트랜잭션을 안전하게 진행할 수 있습니다.

이 접근 방식의 장점은 모든 실행 preconf가 오프체인에서 발행되어 가스 비용이 감소한다는 것입니다. 그러나 몇 가지 복잡성이 도입됩니다. 슈퍼 트랜잭션은 여전히 이전 슬롯 검증자 모두가 L1 배제 preconfer가 되어야 합니다 - 이전 접근 방식보다 쉽지만 여전히 중요한 BD 과제입니다. 또한 배제 preconf에 대한 지불이 까다로워집니다. 행복한 경우 아무것도 온체인에 도착하지 않기 때문에 담보 요구 사항과 슬래싱 조건을 신중히 고려해야 합니다.

이 접근 방식의 한계

Nethermind의 솔버 접근 방식의 핵심 구분점은 인출 요청에 간단한 "L1 출력 조건"만 있다는 것입니다 - 특정 L1 주소에 토큰이 도착했는지만 확인하면 됩니다. 이 단순성이 실시간 증명 없이도 원자성 인출을 가능하게 합니다. 그러나 더 복잡한 슈퍼 트랜잭션의 경우 L1 출력 조건이 복잡한 L2 상태 변경에 의존해야 할 수 있으며, 이 경우 실시간 SNARK 증명이 필요할 수 있습니다. Custard의 L1 상태 종속성 관리 원칙은 여전히 적용되지만, 구현에서는 실시간 SNARK가 성숙할 때까지 기다리거나 TEE 기반 증명 솔루션의 추가 위험을 수용해야 합니다.