편집자 주:

순서 현재 이더 확장 계획 롤업의 중요한 구성 요소로, 트랜잭션 순서 를 지정하고 블록 생성, 트랜잭션 승인, 트랜잭션 순서, 트랜잭션 실행 및 트랜잭션 데이터 제출과 같은 관련 작업을 수행하는 데 사용됩니다. L1에 대한 약속. 이러한 엔터티의 실패는 검열이나 자산 잠금과 같은 문제로 이어질 수 있으며, 현재의 많은 L2 솔루션에는 이러한 중요한 기능이 부족하여 잠재적인 실패 문제를 해결하지 못하는 격차가 남습니다.

현재 순서 오류 문제를 해결하기 위한 "자체 순서"과 제안자 오류 문제를 해결하기 위한 "긴급 종료"라는 두 가지 메커니즘은 Celestia 포럼에서 제안된 구현의 설계 및 구현에서 완전히 우선순위가 지정되지 않았습니다. 이 문제를 해결하기 위해 제안자는 정기적으로 스마트 계약에 예약된 메시지를 보내도록 합니다.

TL;DR

L2에서는 순서 와 제안자가 중요한 역할을 합니다. 순서 트랜잭션을 검증하고 L1 전송을 위해 패키징하는 역할을 담당하며, 제안자는 상태 약속을 L1에 제출합니다. 이러한 엔터티가 실패하면 검열이나 자산 잠금과 같은 문제가 발생할 수 있지만 L2에 사용할 수 있는 탈출구는 거의 없습니다. 이 기사에서는 이 문제를 해결하기 위한 솔루션을 소개합니다.

현재 상황

현재 L2 블록체인 생태계는 순서 및 제안자 실패로 인해 잠재적인 문제에 직면해 있습니다. 순서 L1 전송을 위한 트랜잭션을 검증하고 패키징하는 역할을 담당하며, 이로 인해 검열이나 종료와 같은 리스크 발생할 수 있습니다. 마찬가지로 제안자는 L1에 상태 약속을 제출할 책임이 있으며 자산 잠금 문제를 일으키는 실패에 직면할 수 있습니다.

이러한 과제는 순서 와 제안자가 주로 중앙 집중식 엔터티에 의해 운영되어 MEV 악용 또는 순서 종료와 같은 추가 리스크 발생한다는 사실로 인해 더욱 악화됩니다. 주요 측면은 탈중앙화 순서 의 사용뿐만 아니라 사기 및 유효성 증명의 성공적인 구현과 비상 종료 메커니즘의 도입입니다.

순서 오류 문제를 해결하기 위해 "self 순서" 및 "queuing through L1"과 같은 솔루션이 도입되었습니다. 마찬가지로 제안자 실패의 경우 "긴급 종료" 및 "자체 제안"과 같은 메커니즘을 사용할 수 있습니다. 불행하게도 비상구 및 자체 순서 설계 및 구현에서 충분히 우선순위가 지정되지 않았으며 이는 심각한 보안 취약성을 나타냅니다. 또한 현재의 많은 L2 솔루션에는 이러한 중요한 기능이 부족하여 잠재적인 오류 문제를 해결하지 못하는 격차가 있습니다.

L2beat에서 제공한 정보는 순서 및 제안자 오류를 해결하도록 설계된 메커니즘이 안정적으로 구현되지 않았음을 보여줍니다.

L2가 자동 순서 및 비상 탈출 메커니즘을 구현하는 방법

자가 순서

백업 정책을 사용하면 지정된 간격 후에 트랜잭션을 강제로 포함시켜 순서 오류가 발생할 경우 강제로 포함되도록 할 수 있습니다. 이 접근 방식은 L2 순서 오류로 인해 트랜잭션이 지연되거나 영향을 받을 수 있는 경우에도 이러한 트랜잭션이 메인 블록체인 온체인 계속 처리 및 검증될 수 있도록 보장하여 전체 트랜잭션 처리 시스템의 무결성과 연속성을 유지합니다.

구현 간격은 순서 오류에 대한 응답으로 레이어 1을 통해 트랜잭션을 강제로 포함하기 전에 시간 버퍼를 설정하도록 설계된 기술적 안전 조치입니다. 이 시간 지연은 잠재적인 문제를 식별 및 해결하고, 적절한 시스템 점검을 수행하고, 운영 안정성을 복원할 수 있는 통제된 기간을 제공합니다.

사용자가 트랜잭션을 강제로 포함시키려는 경우 L1 롤링 계약에서 특수 기능을 호출해야 하며, 그런 다음 해당 트랜잭션을 L2 순서 의 지연 대기열로 전달합니다. 이 지연 대기열은 두 가지 주요 목적으로 사용됩니다. 첫 번째는 처리를 기다리는 트랜잭션을 임시로 보관하는 장소이고, 두 번째는 잠재적인 악의적인 행위자가 부당한 자기 순서 시도에 참여하는 것을 방지하는 보안 예방 조치입니다. 트랜잭션은 지연 대기열에 포함되기 전에 미리 결정된 기준에 따라 검토되고 적용되어야 합니다. 이를 통해 순서 프로세스를 수정하려는 무단 또는 악의적 시도를 방지하여 L2 환경의 무결성과 보안을 보장합니다.

설정된 시간 임계값이 경과한 후 지연 대기열의 트랜잭션은 일련의 필수 확인을 포함하는 일괄 포함 프로세스를 거칩니다. 이 시간 제한은 거래 처리 시기를 규제하는 통제 도구 역할을 합니다. 이 기간 동안 지연 대기열에 누적된 트랜잭션은 일괄 처리로 집계되고 사전 설정된 유효성 검사 테스트가 성공적으로 통과된 경우 포함 프로세스가 시작됩니다. 기술적 복잡성은 이러한 배치 포함을 구성하는 데서 발생하며 시스템은 트랜잭션이 L2에 통합되기 전에 확립된 표준을 준수하는지 확인합니다.

비상구

제안자는 정기적으로 스마트 계약에 예약된 메시지를 보내야 합니다. 이 메시지는 제안자의 지속적인 운영 무결성을 보장하기 위한 예방 조치입니다. 미리 결정된 시간 내에 이러한 통신이 이루어지지 않으면 제안자는 작동하지 않거나 결함이 있는 것으로 선언됩니다.

제안자의 작업이 중지되거나 지정된 메시지가 전송되지 않는 경우 L2에서 자산 동결 수행하기 위한 자동 메커니즘이 시작되어야 합니다. 동결 프로세스에는 L2에서 발행된 특정 스마트 계약 내의 자산을 안전하게 잠그는 과정이 포함되어야 합니다. 이 단계는 제안자와 관련된 근본적인 문제가 해결될 때까지 동결 자산과 관련된 후속 거래가 발생하는 것을 효과적으로 방지합니다. 이 업그레이드를 통해 동결 자산을 이전하거나 수정하려는 시도가 시스템에 의해 질서정연하게 차단되어 잘못된 제안자와 관련된 잠재적인 위험이 줄어듭니다.

사용자는 특정 시나리오에서, 특히 제안자가 유효하지 않은 것으로 확인된 경우 사용자가 자산의 소유권을 다시 얻을 수 있도록 설계된 비상 탈출 메커니즘을 실행할 수 있습니다. 이 메커니즘은 명시된 기준이 제안자의 비기능성을 명확하게 식별하는 경우에만 사용되도록 설계되었습니다.

자산 소유권을 되찾으려면 사용자는 자금 보유를 증명하는 메르켈 인증서를 생성해야 합니다. 이러한 머클 증명은 사용자가 자산을 잠글 때 소유한 특정 자산에 대한 암호화 증명 역할을 합니다. 그런 다음 사용자는 이러한 머클 증명을 L1 계약에 제출하고, L1 계약은 검증 프로세스를 통해 제시된 증명의 적법성과 소유권을 확인합니다. 이러한 증거가 엄격하게 검증된 후에만 레이어 1 계약이 잠긴 자산을 사용자의 통제권으로 이전하기 시작할 수 있는 권한을 부여받습니다.

결론적으로

이 분석은 강력하고 안전한 트랜잭션 처리를 보장하기 위해 L2 블록체인의 순서 및 제안자 오류를 극복하는 것이 중요하다는 점을 강조합니다. 비상구 및 자동 순서 의 우선순위 부족을 포함한 현재의 문제와 약점은 전체 L2 생태계에 대한 포괄적인 접근 방식의 필요성을 강조합니다. 이러한 솔루션을 구현하면 L2 블록체인 시스템의 전반적인 신뢰성과 견고성이 향상되어 소비자에게 거래 및 자산의 무결성에 대한 더 큰 신뢰를 제공할 수 있습니다.