이미지 설명

(다리 견인과 우산 여인, 빈센트 반 고흐)

최근 Uniswap과 Sushiswap 모두 Arbitrum의 L2 체계를 사용할 계획이며 Arbitrum은 사람들이 주목하는 Ethereum L2 체계입니다. 그렇다면 Arbitrum을 간단하게 이해하는 방법은 무엇입니까?

Arbitrum은 롤업 시리즈의 L2 솔루션이기도 합니다.이더리움 Layer 2 솔루션이 많은데 그 중 롤업 시리즈가 가장 관심을 끈다.블루폭스노트는 이전에 Optimisitc Rollup과 Zk Rollup을 소개한 바 있다.》。

하나의 기사에서 ZK 롤업 및 낙관적 롤업 이해: 이더리움의 중요한 확장 방향

Arbitrum은 Rollups 제품군의 솔루션이기도 합니다. 이러한 체계는 기본적으로 이더리움 체인에 보안을 적용하는 동시에 계산 및 저장을 오프체인에서 수행합니다. 간단히 말해서 참가자는 거래 데이터를 이더리움 체인에 제출하고 사용자는 거래를 볼 수 있지만 거래의 계산 및 저장은 체인 외부에서 수행됩니다. Arbitrum은 주기적으로 Arbitrum에서 발생한 완전한 상태의 해시를 이더리움으로 보내고, 이 해시는 변조 방지 및 최종성을 달성하기 위해 결과적으로 체인에 배치됩니다.

상대적으로 Arbitrum과 Optimistic Rollup은 프레임워크 아이디어 측면에서 유사하며 결과 검증 측면에서 둘 다 사기 증명 범주에 속하고 ZK Rollup은 암호화 유효성 증명 범주에 속합니다.

전제 가정의 관점에서 사기 증명 클래스 Rollups는 제출 체인의 결과가 사용 가능하고 누구나 Layer1의 트랜잭션 데이터를 추출 및 실행하고 상태를 비교하여 계약 실행이 올바른지 여부를 확인할 수 있다고 가정합니다. 암호화 증명 클래스인 Rollups는 수학적 방법을 채택하고 본질적으로 위조할 수 없는 영지식 증명을 통해 유효성을 구현합니다. 따라서 암호화 유효성 증명은 능동적 증명이고 사기 증명은 수동적 증명이며 사람들이 결과에 동의하지 않으면 분쟁이 발생하고 중재가 필요합니다.

전반적으로 ZK Rollups는 더 높은 보안과 더 빠른 완결성을 가지고 있습니다. 즉, 추출 시간이 더 빠르고 전송과 같은 시나리오에 더 적합합니다. Optimistic Rollup과 Arbitrum의 방식 모두 챌린지 기간이 있으며, 챌린지 기간이 끝나야 최종 확인이 이루어지고 코인을 출금할 수 있다는 점이 단점입니다. 그러나 ZK Rollups가 암호화 유효성 증명을 생성하려면 계산 비용이 매우 높고 비용이 많이 들며 성숙하는 데 일정 시간이 걸립니다.

장기적으로 ZK Rollpus가 궁극적인 솔루션일 수 있지만 ZK Rollups가 성숙하고 정착하는 데 시간이 더 오래 걸리고 이 스마트 체인의 부상에서 볼 수 있듯이 Ethereum의 확장 요구가 더 시급합니다. ZK 롤업의 랜딩이 느려서 낙관적 롤업 및 Arbitrum에 기회를 제공합니다.

따라서 중단기적으로 사기 방지 롤업(낙관적 롤업 및 차익 롤업)이 착륙할 가능성이 더 높습니다. 사기 증명 자체는 "낙관적"이며 유죄가 입증되지 않는 한 모든 커미터가 선량한 사람이라고 가정합니다. 유효성 검사기가 있는 한 사기 증거를 제출할 수 있으며 안전합니다. 따라서 정직한 검증자의 가정이 중요해집니다. 온라인 사기 증명을 제출하는 데 한 명의 검증자만 필요하며 사기 증명을 위해 최대 1주일(또는 그 이상)의 시간 창이 있어 최종 확인 시간이 느리고 인출 시간이 길어집니다.

일반적으로 사기 증명 및 암호화 유효성 증명의 롤업에는 고유한 장점과 단점이 있습니다. ZK 롤업은 비대화형이며 수학적 방법을 사용하여 문제를 해결하는 반면 낙관적 롤업과 차익 롤업은 대화형입니다. 이런 의미에서 Optimistic Rollup과 Arbitrum Rollup은 유사하지만 구체적인 경로에는 차이가 있습니다.

Arbitrum은 다단계 대화형 롤업 방식입니다.

위에서 Arbitrum과 Optimistic은 모두 사기 방지 분야의 롤업 방식입니다.두 방식의 핵심 문제는 결과의 정확성을 어떻게 확인하는가입니다. 누군가 악의적인 증거를 보낼 수 있습니까? 따라서 둘 다 도전 메커니즘이 있습니다. 유효성 검사기는 체인에 어설션을 보내고 분쟁을 일으킬 수 있습니다. 어설션이 거짓이면 약속된 마진 자산을 잃게 됩니다.

Arbitrum과 Optimistic의 주요 차이점은 불일치가 해결되는 방식입니다. 검증자가 롤업 블록을 L1에 제출하고 누군가 그것이 틀렸다고 생각할 때, 이때 우리는 무엇을 해야 합니까?

Arbitrum은 다단계 대화형 프로토콜을 사용하여 분쟁을 해결하고, 대규모 분쟁을 가장 중요한 단계를 찾을 때까지 작은 분쟁으로 세분화한 다음 이더리움 계약을 통해 올바른지 여부를 확인합니다. 분쟁을 분할함으로써 Arbitrum은 보다 효율적인 해결을 시도합니다.

Arbitrum 참가자는 특정 상태가 결국 확인될 것이라고 주장하면서 채권을 걸 수 있습니다. 주장이 잘못된 경우 사용자의 보증금은 몰수됩니다. 두 명의 사용자가 서로 다른 블록에 스테이킹되어 있으므로 그 중 하나만 참일 수 있습니다. 누군가의 공격을 방지하기 위해 분쟁 중인 주장자는 악행을 방지하기 위해 마진 자산을 담보로 제공해야 합니다.

원래 디자인에서 Arbitrum 프로토콜은 분쟁이 있는 주장을 한 번에 하나씩 처리하는 접근 방식을 취했습니다. 분쟁 주장은 참가자에 의해 이루어지며, 분쟁 주장에 대한 도전 기간이 있으며, 이 기간 동안 누구나 분쟁 주장에 도전할 수 있습니다. 이의를 제기하지 않으면 이의 제기된 주장이 유효한 것으로 간주됩니다.

그러나 이 단일 라인 추진 모드에는 병목 현상이 있습니다. 한 번에 하나의 분쟁 어설션을 활성화하는 것은 비효율적이며 VM 프로세스를 제한합니다. 한편, 가해자는 논쟁의 여지가 있는 주장에 이의를 제기하여 의도적으로 VM 속도를 늦출 수 있습니다. 담보금 지급이 필요한 경우에도 지급이 지연될 수 있습니다.

따라서 새로운 디자인에서 Arbitrum은 선형적으로가 아니라 동시에 여러 분쟁 주장을 처리할 수 있습니다. 가해자가 프로세스를 늦추는 것이 더 어렵습니다. 현재 Arbitrum은 동시에 여러 분쟁 주장을 처리하는 방법을 채택하고, 한 명의 스테이커가 한 번에 하나씩 주장하고, 다른 스테이커는 동시에 여러 주장을 처리할 수 있습니다.

신뢰할 수 없는 기능을 달성하기 위해 Arbitrum의 설계에서 모든 정직한 참가자는 VM 정확성과 진행을 촉진할 수 있습니다. 참가자가 항상 올바른 분기에 지분을 가지고 있는 경우 TA가 모든 분쟁 주장에서 승리합니다. 만약 다른 사람들이 동의하지 않는다면, 그들은 자신의 예치금만 잃게 될 것입니다. 정직한 참여자만이 처벌을 피할 수 있습니다.

이미지 설명

(Alice와 Bob은 Arbitrum의 Ed Felten을 통해 서로 다른 브랜치에 스테이킹합니다.)

위의 그림에서 Alice의 주장이 옳다고 판명되면 Bob이 약속한 마진 자산은 손실되고 Alice는 이익을 얻습니다.

단일 라운드 대화형 롤업에서 어설션에는 각 호출의 결과가 포함되며 도전자는 어설션에서 잘못된 결과가 있는 특정 호출을 가리킵니다. 온체인 계약은 도전된 호출을 시뮬레이션하고 오류를 확인합니다. 잘못된 경우 전체 어설션이 취소되고 해당 어설션자는 예치된 보증금을 잃게 됩니다. 성공적인 챌린지 없이 챌린지 기간이 만료되면 어설션이 수락되고 최종이 됩니다.

여러 라운드의 상호 작용이 있는 롤업에는 도전 시간 창도 있습니다.주장자와 도전자 사이에는 여러 라운드의 상호 작용이 있습니다.온체인 계약은 누가 잘못되었는지 판단하는 심판 역할을 합니다. 다중 라운드 상호 작용 설계의 주요 고려 사항은 분쟁 해결을 위한 온체인 작업을 최소화하는 것입니다. 온체인 작업은 챌린저와 주장자 간의 여러 라운드의 상호 작용을 통해 최소화됩니다.

단일 라운드 상호 작용 및 다중 라운드 상호 작용은 본질적으로 온체인 비용과 분쟁 해결 시간 사이의 균형입니다. 단일 라운드 및 다중 라운드 대화형 롤업 모두 컨트랙트에 대한 모든 호출과 해당 데이터를 온체인에 작성해야 합니다. 차이점은 어설션의 일부로 체인에 커밋해야 하는 것입니다. 단일 라운드 상호 작용 모드는 체인에서 완전한 호출을 시뮬레이션해야 하며 비용 측면에서 더 비쌉니다. 그러나 여러 라운드의 상호 작용을 세분화하여 분쟁 범위를 좁힐 수 있으며 상대적으로 적은 데이터가 체인에 기록되므로 체인의 실행 비용이 낮아집니다. 그러나 단점이 없는 것은 아니며, 그 결단력은 라운드 수를 늘리고 시간을 증가시킵니다.

또한 Arbitrum의 다중 라운드 상호 작용 모드는 지연 공격에 직면할 수 있습니다. 시스템을 신뢰할 필요가 없기 때문입니다. 악의적인 공격자는 프로세스를 지연시킬 수 있지만 물론 약속한 예치금을 몰수하는 대가를 치르게 됩니다. 또한 악의적인 행위자는 정직한 참가자가 정직한 포크를 계속 구축하는 것을 막을 수 없으며 정직한 참가자가 정직한 포크에 대한 최종 확인을 받는 것을 막을 수 없다는 점에 유의해야 합니다. 그들이 할 수 있는 것은 잘못된 가지에 채권을 걸고 체인에서 정직한 가지의 확인을 지연시키는 것입니다. 그들은 정직한 참가자가 충분하다면 동시에 공격자의 지분 예치금을 처리하고 캡처할 수 있는 여러 분쟁 주장을 할 수 있습니다. 즉, 정직한 참여자가 많을수록 공격자가 공격을 지연시키는 데 더 많은 자산이 필요하고 공격이 더 어려워집니다.

또한 여러 라운드의 상호 작용이 있는 롤업에서는 "신뢰 없는 최종성"이 되는 유효한 "어설션"을 달성할 수 있으며 누구나 최종 확인이 불가피하다는 것을 확신할 수 있습니다. 자신의 완결성을 보장하기 위해 사용자는 주장을 방어하기 위해 계약에 참여할 수 있으며 단독으로 행동하더라도 완결성을 높일 수 있습니다.

챌린지가 없는 경우 다단계 및 단일 라운드 상호 작용의 확인 속도는 비슷하며, 챌린지가 있는 경우 다단계 분쟁이 더 오래 걸립니다. 이와 관련하여 단일 회전 상호 작용에는 이점이 있습니다. 한 번의 상호 작용은 확인 지연 공격을 허용하지 않으며 여러 번의 상호 작용의 이점은 이더리움 가스 한도를 초과하는 계약(계산 및 저장)을 처리할 수 있는 더 작은 온체인 데이터에 있습니다.

사기 방지 등급의 롤업 최종 확인에는 일정 기간이 있습니다. 따라서 Arbitrum을 통한 전송은 ZK Rollps 체계와 같이 빠른 완결성을 달성할 방법이 없습니다. 가능한 해결책은 제3자의 개입을 통한 것입니다. 제3자는 자금을 사용자에게 즉시 이체할 수 있지만 사용자는 조기 인출 수수료도 지불합니다. 일반적으로 제3자는 불확실한 이체가 반드시 실현될 것이라고 믿고 제3자는 정직한 결과에 대해 보증금을 약속합니다. 빠른 인출이 필요한 사용자에게 누구나 자금을 이체할 수 있기 때문입니다. 그런 다음 이러한 방식으로 시장이 있으며 이는 너무 높거나 낮지 않은 수수료의 균형으로 이어질 것입니다.

Arbitrum EVM 호환성

Arbitrum은 프로그램을 다시 작성하지 않고 EVM과 호환되는 Ethereum과 완벽하게 호환되도록 노력합니다. Ethereum과 완벽하게 호환되며 스마트 체인에서 이것의 힘을 보았습니다. 이는 현재 이더리움 생태계에 원활하게 편입될 수 있는 가장 중요한 척도입니다.

dApp 개발자는 Solidity 언어를 사용하여 스마트 계약을 작성하고 이러한 스마트 계약은 Arbitrum 롤업에서 실행할 수 있는 Arbitrum VM으로 컴파일됩니다.

Arbitrum의 진행

Arbitrum Technologies는 현재 Arbitrum One을 출시하고 있습니다. Arbitrum 컨트랙트는 이더리움 메인넷에 배포되어 프로젝트를 받기 시작했으며 현재 메인넷 테스트 단계에 있습니다. Arbitrum에 따르면 현재 250개 이상의 팀이 참가 신청을 하고 있으며 모든 개발자에게 열려 있습니다. 앞으로 몇 주 안에 점점 더 많은 DeFi 프로젝트가 Arbitrum 생태계에 진입할 것임을 알 수 있습니다.

현재 Etherscan과 같은 Ethereum 생태계의 일부 중요한 참가자도 Arbitrum One 체인을 지원하고 있습니다.

이더리움과 L2의 상륙

흥미롭게도 Arbitrum은 네이티브 토큰이 없고 ETH를 연료로 사용하며 모든 비용을 ETH로 지불합니다.

현재 이더리움의 확장성은 급속한 성장 요구, 특히 DeFi와 NFT의 폭발적인 성장을 충족하기 위한 장기 전략과 단기 전략의 조합이 필요합니다. 장기적으로는 L2가 ZK Rollups의 승자가 될 수 있지만 높은 비용과 랜딩 지연으로 인해 소화하는 데 오랜 시간이 걸릴 수 있습니다. 그러나 Arbitrum 및 Optimistic Rollup은 더 일찍 도착할 수 있으며 추출 시간이 길지만 해결할 수 없습니다. 또한 실전에서의 성장은 새로운 영감을 낳을 수도 있습니다.