Cointime

Download App
iOS & Android

비탈릭의 최근 연설: L2 확인을 왜 빨리 해야 하나요? 어떻게 속도를 높일 수 있나요?

2025년 4월 8일, 이더리움 창립자 비탈릭이 2025 홍콩 Web3 카니발 서밋에서 기조연설을 했습니다. 연설 내용은 다음과 같이 요약됩니다.

현재 Optimism이나 Arbitrum을 종료하려면 1주일의 종료 기간이 필요한데, 이로 인해 많은 문제가 발생할 수 있습니다.

왜 우리는 이것에 관심을 가져야 할까요? L2와 L1 간의 더 빠른 연결에 관심을 가져야 하는 이유는 무엇입니까? 제 생각에는 두 가지 이유가 있습니다. 그 중 하나가 사용자 경험입니다. 우리는 사용자에게 더 나은 경험을 제공하고 싶습니다. 1주일을 기다리는 것은 나쁜 경험입니다. 또 다른 이유는 우리에게 더 통합된 생태계가 필요하다는 것입니다. 우리는 Optimism, Arbitrum, Polygon을 실제로 개선하기 위해 뭔가를 해야 합니다.

이것들은 이더리움 세계의 다양한 부분과 같으며 독립적이지 않습니다.

현재 L1과 L2 간의 상호 운용성을 달성하는 것은 매우 빠르지만 많은 Gas가 필요합니다. 우리는 작년 여름부터 이것에 대해 정말로 관심을 갖기 시작했습니다. 우리가 집중하는 두 가지는 블록체인의 구체적인 주소와 의도된 프로젝트입니다. Optimism을 Arbitrum으로 전송하는 데 일주일이 걸리지 않기를 바라며, Optimism을 스마트 계약에 넣고 싶습니다.

스마트 계약에서 누군가가 계약을 통해 내 목적지 주소로 돈을 보냈다는 증거를 먼저 제공하면 자동으로 이 단계로 넘어갑니다. 그러므로 우리는 1주일의 대기 시간을 최대한 줄일 수 있는 방법을 찾고자 합니다.

왜 이제 출금 기간이 1주일로 바뀌었나요? Optimism의 Rollup은 해시에 대해 의문을 제기하는 사람이 있는지 확인하기 위해 일주일을 기다려야 합니다. 아무도 의문을 제기하지 않으면 해시를 수락할 수 있습니다. Optimism의 장점은 매우 신중한 기술을 사용한다는 점이지만, 그 대가는 일주일 동안 기다려야 한다는 것입니다.

1주일을 기다리고 싶지 않다면 ZK+TEE+OP의 조합과 같이 블록을 패키징하기 위해 비낙관주의 증명 시스템을 완벽하게 사용할 수 있는 시스템을 구축해야 합니다. 이것이 우리가 제안한 설계입니다.

일반적으로 L2 거래가 발생하면 1시간 이내에 L1에서 상태가 확정되어 1시간이 12초로 단축됩니다. 이는 기본적으로 효율성 문제입니다. 첫 번째 목표는 이겁니다. 두 번째 목표는 L2를 신뢰할 필요가 없게 만드는 것입니다. 우리는 신뢰가 필요한 구성 요소가 손상된 경우에도 시스템이 올바른 상태를 판단하고 오류 상태를 기록할 수 있음을 증명하고 싶습니다. 따라서 오늘날 롤업은 0단계 또는 1단계에 있으며, 이는 일종의 보안 위원회에 일부 수준 또는 모든 신뢰를 두고 있음을 의미합니다. 제조업체가 올바르게 설계했다고 믿어야 합니다. 제조업체가 사이트 키 사본을 직접 보관하지 않는다고 믿어야 합니다.

그리고 하드웨어 메커니즘은 하드웨어를 소유한 사람이 누구나 파괴할 수 있는 것이 아니라는 것을 믿어야 하며, 레이저나 적외선으로 하드웨어를 스캐닝하여 비전을 파괴하지 않고 정보를 추출할 방법을 찾을 수 없다는 것을 믿어야 합니다.

하지만 우리는 ZK에 모든 신뢰를 두고 싶지 않습니다.

여러분은 매우 다른 유형의 논리에 따라 작동하는 세 가지 서로 다른 메커니즘 간에 신뢰를 분배합니다. 이런 디자인을 도입하면 마무리 기간을 1시간에서 1주일로, 1시간으로 단축할 수 있습니다. 그런데 제가 앞서 그룹 시스템을 바라보았던 또 다른 방식은 기본적으로 두 가지 범주로 나누었다는 것입니다. 하나는 제도적 신뢰이고, 다른 하나는 암호화된 신뢰입니다.

또 다른 차원은 빠르고 느립니다. 빠른 처리는 즉시 승인되지만, 느린 처리는 잠시 기다려야 합니다. 그리고 흥미로운 점은, 여기 있는 이 네 가지가 기본적으로 사람들이 L2 맥락에서 사용하거나 생각하는 증명 시스템의 네 가지 구성 요소라는 점이죠. 만약 우리가 그것들을 실제로 상자에 넣을 수 있다면, 그것들은 완벽하게 2×2에 들어갈 것입니다.

기본적으로 첫 번째 단계는 악마의 산책 기간을 1주일에서 1시간으로 단축한 것입니다. 이것이 당신에게 무엇을 가져다 주나요? 기본적으로 이는 네이티브 브리지를 사용하여 자산을 직접 이전하는 경우 대기 시간이 1주일에서 1시간으로 줄어든다는 것을 의미합니다. 의도 기반 브리징을 사용하면 의도 기반 브리징이 즉시 실행되지만, 1시간을 기다려야 하는 대신 유동성 공급자는 1시간을 기다려야 합니다. 유동성 제공 비용이 168배 감소했습니다. 그 결과, 귀하가 지불해야 하는 수수료는 최대 168배까지 줄어들게 됩니다.

L2는 lowlookahead를 사용하여 비동기적으로 L1을 읽을 수 있습니다. L2는 이미 예금을 처리할 수 있는 역량을 갖추고 있습니다. 우리는 입금을 읽을 때와 동일한 상태를 가져와 L1SLOAD 명령어에 노출합니다. L1 오라클 데이터, 키스토어 지갑 및 기타 여러 애플리케이션을 읽는 기능을 지원하는 것은 매우 중요합니다. L2가 종종 직면하는 과제 중 하나는 막대한 금액을 지불해야 한다는 점입니다.

그래서 저는 온갖 종류의 맞춤형 애플리케이션과 특정 통합을 얻게 됩니다. 이를 통해 비용을 실제로 절감할 수 있습니다. 많은 경우 대안은 데이터 처리에 적합한 애플리케이션에 이미 존재하는 사본을 직접 읽을 수 있기 때문입니다. 특정한 일에는 효과가 있지만, 누군가에게 글을 써야 하는 일에는 효과가 없습니다.

키 보관 지갑도 흥미로운 아이디어죠? 키 저장 지갑의 아이디어는 일반적인 네트워크 보안에서 키를 순환시키고 키의 수명을 무한대로 늘리고 싶지 않다는 것입니다. Neo는 오늘 제가 설명할 계정 추상화 목표의 일부입니다.

키 보관 지갑도 흥미로운 아이디어죠? 키 저장 지갑의 아이디어는 일반적인 네트워크 보안에서 키를 순환시키고 키의 수명을 무한대로 늘리고 싶지 않다는 것입니다. Neo는 오늘 제가 설명할 계정 추상화 목표의 일부입니다.

하지만 저는 이 문제에 대해 여러 번 이야기했습니다. 기본적으로 암호화 알고리즘을 변경하거나, 키를 변경하거나, 많은 저항력을 부여하거나, snark와 같은 추가 복구 방법을 사용하도록 하는 등의 작업을 수행할 수 있도록 임의의 논리를 가진 계정을 만드는 것입니다. 이제 과제 중 하나는 열쇠를 바꿀 수 있다면 그 변화로 가능한 결과가 백 가지가 된다는 것입니다. 따라서 현재 키의 레코드를 100곳이나 변경해야 합니다.

이 문제를 어떻게 해결하시나요? 우리는 중앙 계약에 현재 키의 기록을 넣어서 이 문제를 해결합니다. 그러면 L2마다 L1이라고만 적힌 지갑 사본이 생깁니다. 이로 인해 L2 세계에서 매우 합리적이고 매우 보안화된 보안 관행이 훨씬 더 실행 가능하고 실용적이 됩니다.

또한 이를 통해 개발자는 L2와 L1을 모두 포함하는 워크플로를 훨씬 더 쉽고 자연스럽게 수행할 수 있습니다. 우리는 단순히 이론과 완전히 독립적인 일련의 체인에 대해 이야기하는 것이 아니라 실제로 L1 이론이 애플리케이션과 사람들의 사용자 경험의 핵심이 되는 것에 대해 이야기하고 있습니다.

세 번째 단계는 집계를 증명하는 것입니다. 이전에 말씀드린 대로, 만약 우리가 이러한 2~3개 기반 접근 방식을 취하거나, 나중에 우리가 정말 훌륭한 공식 검증을 수행하고 ZK에만 의존한다면 커밋 시간을 1주일에서 1시간으로 줄일 수 있습니다. 왜 1시간이에요? 왜 12초가 아닌가? 두 가지 이유가 있는데, 두 가지 모두 설명할 수 있습니다. 첫 번째 이유는 제출 비용입니다. 따라서 L1에 증명을 제출하려면 약 50만 가스의 추가 비용이 필요하고, AA 비용도 매우 높습니다.

이제 매 시간대에 증거가 제출된다고 가정하면 1년 동안 250만 개의 시간대가 존재하게 됩니다. 우리는 상대적 가치를 유지하는 데만 연간 2,750만 달러를 지출하고 있는데, 이건 미친 짓입니다. 여기서 1년에 2,700만 달러를 지불할 의향이 있는 사람이 누구입니까? 하지만 12초에 한 번 제출하는 대신 1분에 한 번 제출하면 연간 2,700만 달러가 550만 달러가 됩니다. 그러면 한 시간에 한 번씩 제출하면 연간 10만 달러 이하로 떨어집니다. 실제로는 관리 가능합니다. 자연스러운 해결책은 증거 집계입니다.

다양한 도구가 많이 있는 경우 해당 도구를 개별적으로 다른 그룹에 제출하는 대신, 체인 증명을 그룹화하고, 그룹에서 각자의 증명을 집계에 제출한 다음, 집계에서 개별 스나크를 제출하여 다른 스나크의 존재를 증명할 수 있습니다. 스나크를 검증하는 데 드는 비용은 단 한 번뿐인 50만 가스입니다. 여기서 일어나는 일은 기본적으로 이 사진에 있는 것과 같습니다. 오른쪽? 기본적으로 여러분은 많은 증거를 갖고 있으며, 그 증거는 또한 어떤 계약인지도 명시합니다. 우리는 블록에 있습니다. 그러면 집계된 증명이 생깁니다. 집계 증명이 검증되었습니다. 집계 증명은 모든 정보를 단일 요약으로 공개 입력으로 포함하고, 이후 증명은 한 번만 수행됩니다. 이 계약은 집계당 하나의 호출만 수행하며, 호출이 수행하는 유일한 작업은 각 집계에 대한 호출입니다. 개별적으로 로드됩니다. 거래당 비용이 50만 가스에서 10,000 가스 미만으로 떨어졌습니다.

이제 네 번째 단계가 있는데, 이는 증명의 지연을 줄이는 것입니다. 계산을 증명하려면 실제로 하는 것보다 더 많은 시간과 컴퓨팅 능력이 필요합니다. 기본적으로 이 계산은 마비되지 않습니다. 규모를 확장해야 하고, 매우 계산 집약적인 작업을 해야 합니다.

그렇다면 평형 상태에서는 생성하는 데 5초가 걸리는 블록이 증명하는 데는 여전히 500초가 걸리는 건가요? 이것은 문제입니다. 그렇다면 문제는, 이 문제를 어떻게 해결할 수 있느냐는 것입니다. 두 가지 아이디어가 있습니다. 그 중 하나는 전문 하드웨어를 사용하여 개선할 수 있다는 것입니다. 일부 회사는 이미 이런 일을 하고 있습니다. 하드웨어 가속 계수가 100배가 되면 실시간 증명이 가능합니다. 또 다른 아이디어는 초마비 증명입니다. 그러니 수학적인 관점에서 보면, 이것은 실제로 매우 간단합니다. 기본적으로 계산을 단계별로 나눕니다. 그런 다음 다양한 장치에서 각 단계에 대한 증명을 병렬로 생성합니다.

그것만으로도 충분하지 않은 듯, 특수 하드웨어는 더욱 빠르게 발전하고 있습니다. 동시에 개선 비용도 낮아질 것입니다. 그래서 우리에게는 선택권이 많습니다.

훨씬 빠른 타임 슬롯을 제공하는 Intensive Optimism과 Arbitrum을 사용하면 2초 안에 작업을 완료할 수도 있습니다. 그러니 매우 저렴할 겁니다. 따라서 Intensive를 사용하면 기본적으로 무제한의 양의 이더리움을 빠르고 저렴한 비용으로 전송할 수 있습니다. 따라서 이는 L1과 L2 사이에 더욱 긴밀한 연결을 구축할 수 있다는 것을 의미합니다. 우리는 모든 사람이 모든 것을 더 쉽고 빠르게 이용할 수 있는 더욱 통합된 세상을 맞이하게 될 것입니다. 감사해요.

댓글

모든 댓글

Recommended for you