이더리움, 역사상 가장 큰 업그레이드를 예고할 수도: EVM 오프라인, RISC-V가 인수
원래 제목: EVM 안녕, RISC-V 환영
원래 저자: jaehaerys.eth, 암호화폐 연구자
원래 번역자: TechFlow
요약
이더리움은 창사 이래 가장 중요한 아키텍처 변환을 준비하고 있습니다. EVM을 RISC-V로 교체하는 것입니다.
이유는 간단합니다. 제로 지식(ZK)을 중심으로 하는 미래에서 EVM은 성능 병목 현상이 되었습니다.
· 현재의 zkEVM은 인터프리터를 사용하므로 성능이 50~800배 느려집니다.
· 미리 컴파일된 모듈은 프로토콜을 복잡하게 만들고 위험을 증가시킵니다.
· 256비트 스택 설계는 증명을 생성할 때 매우 비효율적입니다.
RISC-V 솔루션:
· 미니멀리스트 디자인(약 47개 기본 명령어) + 성숙한 LLVM 생태계(Rust, C++, Go 및 기타 언어 지원);
· 사실상의 zkVM 표준이 되었습니다(프로젝트의 90%에서 채택).
· 공식적인 SAIL 사양을 갖추고 있습니다(모호한 노란색 문서와 비교). → 엄격한 검증이 가능합니다.
· 하드웨어 증명 경로(ASIC/FPGA)는 이미 테스트 중입니다(SP1, Nervos, Cartesi 등).
마이그레이션 프로세스는 세 단계로 나뉩니다.
· RISC-V를 사전 컴파일된 모듈로 교체(저위험 테스트)합니다.
· 듀얼 가상 머신 시대: EVM과 RISC-V가 공존하며 완벽하게 상호 운용 가능합니다.
· RISC-V 내에서 EVM을 다시 구현합니다(Rosetta 전략).
생태계 영향:
· Optimistic Rollup(Arbitrum 및 Optimism 등)은 사기 방지 메커니즘을 다시 구축해야 합니다.
· 제로 지식 롤업(Polygon, zkSync, Scroll 등)은 상당한 이점을 얻게 될 것입니다 → 더 저렴하고, 더 빠르고, 더 간단합니다.
· 개발자는 Rust, Go, Python과 같은 언어 라이브러리를 L1 계층에서 직접 사용할 수 있습니다.
· 사용자는 약 100배 낮은 증명 비용을 누리게 되어 Gigagas L1(약 10,000 TPS)을 달성할 수 있습니다.
궁극적으로 이더리움은 "스마트 컨트랙트 가상 머신"에서 인터넷을 위한 최소한의 검증 가능한 신뢰 계층으로 진화할 것이며, 궁극적인 목표는 "모든 것을 ZK-Snarked하게 만드는 것"입니다. 기로에 선 이더리움 비탈릭 부테린은 "엔드게임은... 모든 것을 ZK-Snarked하게 만드는 것입니다."라고 말한 적이 있습니다. 영지식(ZK) 증명의 종말은 불가피하며, 핵심 논지는 간단합니다. 이더리움은 영지식 증명을 기반으로 처음부터 스스로를 재창조하고 있습니다. 이는 프로토콜의 기술적 종착점이며, Succinct와 같은 핵심 개발자들이 지원하는 고성능 zkVM을 기반으로 레이어 1을 리팩토링하여 최종 형태를 갖추게 됩니다. 이러한 비전을 바탕으로 이더리움은 출시 이후 가장 중요한 아키텍처 혁신의 시점에 서 있습니다. 이 논의는 더 이상 점진적인 업그레이드가 아닌, 이더리움 가상 머신(EVM)을 대체하는 컴퓨팅 코어의 완전한 재구축에 관한 것입니다. 이 이니셔티브는 "린 이더리움(Lean Ethereum)"이라는 더 광범위한 비전의 초석입니다. 린 이더리움 비전은 전체 프로토콜을 체계적으로 단순화하여 린 합의(Lean Consensus), 린 데이터(Lean Data), 린 실행(Lean Execution)이라는 세 가지 핵심 구성 요소로 나누는 것을 목표로 합니다. 린 실행(Lean Execution)과 관련된 핵심 질문은 스마트 컨트랙트 혁명을 주도하는 엔진인 EVM이 이더리움의 미래 발전에 큰 걸림돌이 되었는지 여부입니다. 이더리움 재단의 저스틴 드레이크가 언급했듯이, 이더리움의 장기적인 목표는 항상 "모든 것을 비꼬는 것(snarkify everything)"이었습니다. 이는 프로토콜의 모든 계층을 향상시킬 강력한 도구입니다. 그러나 이 목표는 오랫동안 먼 미래의 청사진에 불과했습니다. 이를 달성하려면 실시간 증명이라는 개념이 필요하기 때문입니다. 이제 실시간 증명이 현실화됨에 따라 EVM의 이론적 비효율성은 시급한 실질적인 문제로 떠올랐습니다.이 글에서는 이더리움의 레이어 1(L1)을 RISC-V 명령어 집합 아키텍처(ISA)로 마이그레이션하는 데 대한 기술적, 전략적 논거를 심층적으로 살펴봅니다. 이러한 변화는 전례 없는 확장성을 제공할 뿐만 아니라 프로토콜 구조를 단순화하고 이더리움을 검증 가능한 연산의 미래와 연계합니다. 무엇이 바뀌는 걸까요? "이유"를 살펴보기 전에, 먼저 무엇이 바뀌는지 이해하는 것이 중요합니다. 이더리움 스마트 컨트랙트의 런타임인 EVM(이더리움 가상 머신)은 트랜잭션을 처리하고 블록체인 상태를 업데이트하는 "월드 컴퓨터"라고 불립니다. 수년에 걸쳐 EVM의 설계는 혁신적이었으며, 탈중앙화 금융(DeFi)과 NFT 생태계의 출현을 위한 토대를 마련했습니다. 그러나 거의 10년 된 이 맞춤형 아키텍처는 상당한 기술적 부채를 축적했습니다. 이와는 대조적으로 RISC-V는 제품이 아니라 개방형 표준, 즉 프로세서 설계의 무료 범용 "알파벳"입니다. Jeremy Bruestle이 Ethproofs 컨퍼런스에서 강조했듯이, RISC-V의 핵심 원칙은 다음과 같습니다. · 미니멀리즘: RISC-V의 기본 명령어 세트는 약 40~47개의 명령어로 구성된 매우 간단합니다. Jeremy의 표현을 빌리자면, 이는 "극도로 미니멀한 범용 머신에 필요한 사용 사례에 거의 완벽합니다." · 모듈식 설계: 선택적 확장을 통해 더 복잡한 기능이 추가됩니다. 이 기능은 기본 프로토콜에 불필요한 복잡성을 부여하지 않으면서도 코어를 단순하게 유지하면서 필요에 따라 기능을 확장할 수 있도록 해주기 때문에 매우 중요합니다. · 개방형 생태계: RISC-V는 개발자가 Rust, C++, Go와 같은 주류 프로그래밍 언어를 사용할 수 있도록 지원하는 LLVM 컴파일러를 포함하여 광범위하고 성숙한 툴체인을 지원합니다. Justin Drake가 지적했듯이, "컴파일러를 위한 풍부한 도구가 있으며, 컴파일러를 구축하는 것은 매우 어렵습니다... 따라서 이러한 컴파일러 툴체인을 보유하는 것은 매우 중요합니다." RISC-V를 통해 이더리움은 이러한 기존 도구를 무료로 상속받을 수 있습니다.
인터프리터 오버헤드 문제
EVM을 대체하려는 움직임은 단일 결함 때문이 아니라, 영지식 증명을 중심으로 한 미래 사회에서 무시할 수 없는 근본적인 한계들이 겹치면서 발생합니다. 이러한 한계는 영지식 증명 시스템의 성능 병목 현상부터 프로토콜 내 누적되는 복잡성 증가로 인한 위험까지 다양합니다.
이러한 전환의 가장 시급한 원인은 영지식 증명 시스템에서 EVM의 본질적인 비효율성입니다. 이더리움이 L1 상태가 ZK 증명을 통해 검증되는 모델로 전환함에 따라, 증명자 성능이 주요 병목 현상이 됩니다. 문제는 현재 zkEVM의 작동 방식에 있습니다. EVM에서 직접 영지식 증명을 수행하는 대신, RISC-V로 컴파일된 EVM의 인터프리터에서 증명을 수행합니다. 비탈릭 부테린은 이 핵심 문제를 다음과 같이 직설적으로 언급했습니다."… zkVM 구현이 EVM 실행을 궁극적으로 RISC-V 코드로 컴파일한다면, 기본 RISC-V를 스마트 컨트랙트 개발자에게 공개하는 것이 어떻겠습니까? 이렇게 하면 외부 VM 전체의 오버헤드를 완전히 제거할 수 있을 것입니다."
이러한 추가적인 해석 계층은 상당한 성능 저하를 초래합니다. 이 계층은 네이티브 코드 검증에 비해 50배에서 800배까지 성능 저하를 초래할 수 있다는 추정이 있습니다. 다른 병목 현상(예: 포세이돈 해싱 알고리즘으로 전환)을 최적화한 후에도 이 "블록 실행" 부분은 여전히 전체 검증 시간의 80~90%를 차지하여 EVM을 L1 확장에 있어 최후의이자 가장 해결하기 어려운 장애물로 만듭니다. 비탈릭은 이 계층을 제거함으로써 실행 효율이 잠재적으로 100배 향상될 수 있다고 추정합니다. 특정 암호화 작업에 대한 EVM의 성능 저하를 해결하기 위해 이더리움은 프로토콜에 직접 하드코딩된 특수 함수인 사전 컴파일된 컨트랙트를 도입했습니다. 당시에는 이 솔루션이 실용적으로 보였지만, 지금은 비탈릭 부테린이 "나쁜" 상황이라고 부르는 상황으로 이어졌습니다. "사전 컴파일은 우리에게 재앙이었습니다... 이더리움의 신뢰 코드베이스를 엄청나게 부풀렸고... 심각한 합의 실패를 여러 번 초래했습니다." 그 복잡성은 엄청납니다. 비탈릭은 modexp와 같은 단일 사전 컴파일된 계약의 래퍼 코드가 RISC-V 인터프리터 전체보다 더 복잡하며, 사전 컴파일된 로직 자체는 훨씬 더 복잡하다는 점을 보여줍니다. 새로운 사전 컴파일된 계약을 추가하려면 느리고 정치적으로 논쟁적인 하드 포크 프로세스가 필요하며, 이는 새로운 암호화 기본 요소를 필요로 하는 애플리케이션의 혁신을 심각하게 저해합니다. 이와 관련하여 비탈릭은 명확한 결론을 내렸습니다.
"오늘부터 새로운 사전 컴파일된 계약 추가를 중단해야 한다고 생각합니다."
이더리움의 아키텍처 기술 부채 EVM의 핵심 설계는 과거 시대의 우선순위를 반영하지만, 더 이상 현대 컴퓨팅 요구 사항에는 적합하지 않습니다. EVM은 암호화 값을 처리하기 위해 256비트 아키텍처를 선택했지만, 이 아키텍처는 스마트 계약에서 일반적으로 사용되는 32비트 또는 64비트 정수에는 매우 비효율적입니다. 이러한 비효율성은 특히 ZK 시스템에서 큰 손실을 초래합니다. Vitalik은 "더 작은 숫자를 사용하면 실제로 자릿수당 리소스를 절약하지 못하고 복잡성이 2~4배 증가합니다."라고 설명했습니다. 더욱이 EVM의 스택 아키텍처는 RISC-V 및 최신 CPU의 레지스터 아키텍처보다 효율성이 떨어집니다. 동일한 작업을 완료하는 데 더 많은 명령어가 필요하므로 컴파일러 최적화도 복잡해집니다.ZK 증명의 성능 병목 현상, 사전 컴파일의 복잡성, 그리고 시대에 뒤떨어진 아키텍처 선택 등을 포함한 이러한 문제들은 이더리움이 EVM을 넘어 더욱 미래 지향적인 기술 아키텍처를 채택해야 한다는 설득력 있고 시급한 근거를 제시합니다.
RISC-V 청사진: 더욱 강력한 기반으로 이더리움의 미래를 재편하다
RISC-V의 강점은 EVM의 단점을 해결하는 것뿐만 아니라, 그 설계 철학의 고유한 강점에도 있습니다. RISC-V 아키텍처는 견고하고 간단하며 검증 가능한 기반을 제공하여 이더리움과 같은 고위험 환경에 이상적입니다.
개방형 표준이 맞춤형 설계보다 나은 이유는 무엇일까요? 처음부터 전체 소프트웨어 생태계를 구축해야 하는 맞춤형 명령어 집합 아키텍처(ISA)와 달리, RISC-V는 세 가지 주요 장점을 가진 성숙하고 개방적인 표준입니다. 성숙한 생태계: 이더리움은 RISC-V를 채택함으로써 수십 년간 컴퓨터 과학 분야에서 축적된 집단적 발전을 활용할 수 있습니다. 저스틴 드레이크가 설명했듯이, 이를 통해 이더리움은 세계적인 수준의 툴에 직접 접근할 수 있습니다. "LLVM이라는 인프라 구성 요소가 있는데, 이는 고급 프로그래밍 언어를 다양한 백엔드 대상 중 하나로 컴파일할 수 있게 해주는 컴파일러 툴체인입니다. 이러한 백엔드 중 하나가 RISC-V입니다. 따라서 RISC-V를 지원하면 LLVM에서 지원하는 모든 고급 언어가 자동으로 지원됩니다." 이는 개발자의 진입 장벽을 크게 낮춰 Rust, C++, Go와 같은 언어에 익숙한 수백만 명의 개발자가 쉽게 시작할 수 있도록 합니다.
미니멀리즘 디자인 철학 RISC-V의 미니멀리즘은 의도적인 특징이며, 제약 사항이 아닙니다. 기본 명령어 집합은 약 47개의 명령어로만 구성되어 가상 머신의 핵심을 매우 단순하게 유지합니다. 이러한 단순성은 신뢰할 수 있는 코드베이스가 작을수록 감사 및 정식 검증이 더 쉬워지므로 상당한 보안 이점을 제공합니다.
영지식 증명의 사실상 표준 더 중요한 것은 zkVM 생태계가 이미 선택을 했다는 것입니다. Justin Drake가 지적했듯이, Ethproofs 데이터에서 명확한 추세를 확인할 수 있습니다.
"RISC-V는 zkVM 백엔드를 위한 선도적인 명령어 집합 아키텍처(ISA)입니다."
이더리움 블록을 증명할 수 있는 zkVM 10개 중 9개가 RISC-V를 대상 아키텍처로 선택했습니다. 이러한 시장 융합은 강력한 신호를 보냅니다. 이더리움의 RISC-V 채택은 단순한 추측성 실험이 아니라, 영지식 미래를 구축하는 프로젝트들이 인정하는 검증된 표준에 부합하는 것입니다.
실행뿐 아니라 신뢰를 위해 탄생
... RISC-V는 다양한 수준의 운영을 정의하는데, 주로 사용자 모드(스마트 계약과 같은 신뢰할 수 없는 애플리케이션용)와 슈퍼바이저 모드(신뢰되는 "실행 커널"용)가 있습니다. Cartesi의 Diego는 이에 대해 다음과 같이 자세히 설명합니다. "운영 체제 자체는 다른 코드의 영향을 받지 않도록 스스로를 보호해야 합니다. 서로 다른 프로그램 실행을 분리해야 하며, 이러한 모든 메커니즘은 RISC-V 표준의 일부입니다."
RISC-V 아키텍처에서 사용자 모드로 실행되는 스마트 계약은 블록체인 상태에 직접 액세스할 수 없습니다. 대신, 특수 ECALL(환경 호출) 명령어를 통해 슈퍼바이저 모드로 실행되는 신뢰할 수 있는 커널에 대한 액세스를 요청해야 합니다. 이 메커니즘은 EVM이 소프트웨어 샌드박싱에만 의존하는 것보다 더 강력하고 검증하기 쉬운 하드웨어 기반 보안 경계를 설정합니다.비탈릭의 비전
이러한 전환은 시스템 안정성과 하위 호환성을 보장하기 위한 점진적인 다단계 프로세스로 구상됩니다. 이더리움 창시자 비탈릭 부테린이 강조했듯이, 이러한 접근 방식은 급진적인 "혁명적" 변화보다는 "진화적인" 발전을 목표로 합니다.
첫 번째 단계: 사전 컴파일 교체
초기 단계에서는 새로운 가상 머신(VM)에 제한된 기능을 도입하는 보수적인 접근 방식을 취할 것입니다. 비탈릭 부테린이 제안했듯이, "사전 컴파일 기능 교체와 같이 새로운 VM의 제한된 사용 사례부터 시작할 수 있습니다." 구체적으로, 새로운 EVM 사전 컴파일 기능 추가를 일시 중단하고 대신 허용 목록에 추가되고 승인된 RISC-V 프로그램을 통해 필요한 기능을 구현할 것입니다. 이 접근 방식을 통해 새로운 VM은 메인넷의 저위험 환경에서 현장 테스트를 거치며, 이더리움 클라이언트는 두 실행 환경 사이의 중개자 역할을 합니다. 다음 단계에서는 사용자가 새로운 VM에 직접 접근할 수 있도록 할 것입니다. 스마트 컨트랙트에는 바이트코드가 EVM인지 RISC-V인지 나타내는 태그를 지정할 수 있습니다. 핵심 기능은 원활한 상호 운용성입니다. "두 유형의 컨트랙트는 서로를 호출할 수 있습니다." 이 기능은 시스템 호출(ECALL)을 통해 구현되며, 두 VM은 동일한 생태계 내에서 협업할 수 있습니다. 궁극적인 목표는 최소한의 프로토콜을 구현하는 것입니다. 이 단계에서 EVM은 새로운 VM 내에서 구현될 것입니다. 표준화된 EVM은 네이티브 RISC-V L1에서 실행되는 공식적으로 검증된 스마트 컨트랙트입니다. 이를 통해 레거시 애플리케이션에 대한 지속적인 지원을 보장하는 동시에 클라이언트 개발자는 간소화된 실행 엔진을 유지 관리하여 복잡성과 유지 관리 비용을 크게 줄일 수 있습니다.
생태계에 미치는 파급 효과
EVM에서 RISC-V로의 전환은 단순한 핵심 프로토콜 변경을 넘어 전체 이더리움 생태계에 지대한 영향을 미칠 것입니다. 이러한 변화는 개발자 경험을 혁신할 뿐만 아니라 레이어 2 솔루션의 경쟁 환경을 근본적으로 변화시키고 새로운 경제적 검증 모델을 제시할 것입니다.
롤업 리포지셔닝: 낙관적 vs. ZK
L1에서 RISC-V 실행 계층을 도입하면 두 가지 주요 유형의 롤업에 뚜렷한 영향을 미칠 것입니다.
옵티미스틱 롤업(Arbitrum 및 Optimism 등)은 아키텍처 측면에서 어려움을 겪고 있습니다. 이들의 보안 모델은 사기 방지를 해결하기 위해 L1 EVM을 통해 분쟁이 발생한 거래를 재실행하는 데 의존합니다. L1 EVM을 교체하면 이 모델은 완전히 무너질 것입니다. 이러한 프로젝트는 어려운 선택에 직면합니다. 새로운 L1 VM에 특화된 사기 방지 시스템을 설계하기 위해 대규모 엔지니어링 개편을 수행하거나, 이더리움의 보안 모델과 완전히 분리해야 합니다. 반면, ZK 롤업은 상당한 전략적 이점을 제공합니다. 대부분의 ZK 롤업은 이미 내부 명령어 집합 아키텍처(ISA)로 RISC-V를 사용하고 있습니다. "동일한 언어를 사용하는" L1은 더욱 긴밀하고 효율적인 통합을 가능하게 합니다. 저스틴 드레이크는 "네이티브 롤업"의 미래 비전을 제시했습니다. L2는 L1 자체 실행 환경의 특화된 인스턴스가 되어 L1의 내장 VM을 활용하여 원활한 결제를 지원합니다. 이러한 조정은 다음과 같은 변화를 가져올 것입니다.
· 기술 스택 간소화: L2 팀은 더 이상 내부 RISC-V 실행 환경과 EVM 간에 복잡한 브리지를 구축할 필요가 없습니다. · 도구 및 코드 재사용: L1 RISC-V 환경용으로 개발된 컴파일러, 디버거 및 형식 검증 도구를 L2에서 직접 사용할 수 있으므로 개발 비용이 크게 절감됩니다. · 경제적 인센티브 조정: L1 가스 수수료는 RISC-V 기반 ZK 검증의 실제 비용을 더욱 정확하게 반영하여 더욱 합리적인 경제 모델을 구축할 수 있습니다. 개발자와 사용자를 위한 새로운 시대 이더리움 개발자에게 이러한 전환은 파괴적인 것이 아니라 점진적으로 이루어질 것입니다. 개발자는 더 광범위하고 성숙한 소프트웨어 개발 생태계에 접근할 수 있게 됩니다. 비탈릭 부테린이 언급했듯이 개발자는 "Rust로 계약을 작성할 수 있으며 이러한 옵션은 공존할 수 있습니다." 동시에 그는 "Solidity와 Vyper는 스마트 계약 로직을 위한 우아한 설계로 인해 계속해서 인기를 누릴 것"이라고 예측합니다. LLVM 툴체인을 통해 주류 프로그래밍 언어와 방대한 라이브러리 리소스를 사용하는 전환은 혁명적인 변화를 가져올 것입니다. 비탈릭은 이를 "NodeJS와 유사한 경험"에 비유했습니다. 개발자들은 동일한 언어로 온체인 및 오프체인 코드를 작성하여 통합 개발을 실현할 수 있습니다.이러한 변화는 궁극적으로 사용자에게 더 낮은 비용과 더 높은 성능의 네트워크 경험을 제공할 것입니다. 검증 비용은 거래당 몇 달러에서 몇 센트 이하로 약 100배 감소할 것으로 예상됩니다. 이는 L1 수수료와 L2 결제 수수료 인하로 직결됩니다. 이러한 경제적 타당성은 약 10,000 TPS를 목표로 하는 "Gigagas L1"의 비전을 실현하여 향후 더욱 복잡하고 고부가가치의 온체인 애플리케이션을 위한 기반을 마련할 것입니다. Succinct Labs와 SP1: 오늘날 검증의 미래 구축 
이더리움은 성장할 준비가 되어 있습니다. "L1 확장, 블록체인 확장"은 EF 프로토콜 클러스터의 전략적 필수 과제입니다. 향후 6~12개월 동안 상당한 성능 향상이 예상됩니다. https://blog.ethereum.org/2025/07/31/lean-ethereum
Succinct Labs와 같은 팀은 RISC-V의 이론적 이점을 실제로 입증하여 이 제안의 타당성을 입증했습니다.
RISC-V 기반 고성능 오픈소스 zkVM인 Succinct Labs의 SP1은 이 새로운 아키텍처 접근 방식의 실현 가능성을 보여줍니다. SP1은 "사전 컴파일 중심" 철학을 채택하여 EVM의 암호화 병목 현상을 원활하게 해결합니다. 느리고 하드코딩된 사전 컴파일에 의존하는 기존 접근 방식과 달리, SP1은 Keccak 해싱과 같은 집약적인 연산을 표준 ECALL 명령어를 통해 호출되는 특수 설계되고 수작업으로 최적화된 ZK 회로로 오프로드합니다. 이 접근 방식은 맞춤형 하드웨어의 성능과 소프트웨어의 유연성을 결합하여 개발자에게 더욱 효율적이고 확장 가능한 솔루션을 제공합니다. Succinct Labs는 이미 실질적인 영향을 미치고 있습니다. 그들의 OP Succinct 제품은 SP1을 활용하여 낙관적 롤업(Optimistic Rollup)을 위한 영지식 증명(ZK-ify)을 지원합니다. Succinct의 공동 창립자 우마 로이(Uma Roy)는 "OP Stack의 롤업을 사용하면 확정 및 인출에 7일을 기다릴 필요 없이 단 1시간 만에 확인(Confirmation)을 받을 수 있습니다. 이는 놀라운 속도 향상입니다."라고 설명했습니다. 이러한 획기적인 발전은 전체 OP Stack 생태계의 핵심적인 문제점을 해결합니다. 또한, Succinct의 인프라인 Succinct Prover Network는 분산형 증명 생성 시장으로 설계되어 검증 가능한 연산의 미래를 위한 실행 가능한 경제 모델을 제시합니다. 이 글에서 설명하는 것처럼, 그들의 작업은 단순한 개념 증명이 아니라 미래를 위한 실질적인 청사진입니다.
이더리움의 위험 감소 방식
RISC-V의 주요 장점은 수학을 통해 시스템의 정확성을 증명하는 공식 검증의 성배를 달성 가능한 목표로 만든다는 것입니다. 옐로페이퍼에 자연어로 작성된 EVM 사양은 공식화하기 어렵습니다. 반면 RISC-V는 기계가 읽을 수 있는 공식적인 SAIL 사양을 갖추고 있어 동작에 대한 명확한 "황금 참조"를 제공합니다.
이를 통해 더욱 강력한 보안을 구축할 수 있습니다. 이더리움 재단의 알렉스 힉스가 언급했듯이, "zkVM RISC-V 회로와 공식 RISC-V 사양을 Lean으로 추출하여 공식 검증을 수행하는" 작업이 이미 진행 중입니다. 이는 오류가 있는 인간 구현에서 검증 가능한 수학적 증명으로 신뢰를 전환하여 블록체인 보안의 새로운 지평을 여는 획기적인 발전입니다.
전환의 주요 위험
RISC-V 아키텍처의 L1은 많은 이점을 제공하지만, 새롭고 복잡한 과제를 야기합니다.
가스 계량
범용 명령어 집합 아키텍처(ISA)를 위한 결정론적이고 공정한 가스 모델을 만드는 것은 아직 해결되지 않은 과제입니다. 단순한 명령어 계산 방법은 서비스 거부 공격에 취약합니다. 예를 들어, 공격자는 캐시 미스를 반복적으로 유발하는 프로그램을 제작하여 매우 낮은 가스 요금으로 높은 리소스 소비를 초래할 수 있습니다. 이는 네트워크 안정성과 경제 모델에 심각한 문제를 야기합니다.
툴체인 보안 및 "재현 가능한 빌드"
이는 전환의 가장 중요하면서도 종종 과소평가되는 위험입니다. 보안 모델은 온체인 가상 머신에 의존하는 것에서 매우 복잡하고 취약점을 포함하는 것으로 알려진 오프체인 컴파일러(예: LLVM)에 의존하는 것으로 전환되고 있습니다. 공격자는 컴파일러 취약점을 악용하여 겉보기에 무해한 소스 코드를 악성 바이트코드로 변환할 수 있습니다. 또한, 체인에서 컴파일된 바이너리가 공개적으로 사용 가능한 소스 코드와 완전히 일치하는지 확인하는 것, 즉 "재현 가능한 빌드" 문제 또한 매우 어렵습니다. 빌드 환경의 사소한 차이로 인해 서로 다른 바이너리가 생성되어 투명성과 신뢰도에 영향을 미칠 수 있습니다. 이러한 문제는 개발자와 사용자의 보안에 심각한 위협이 됩니다.
완화 전략
앞으로의 대응을 위해서는 다층적인 방어 전략이 필요합니다.
단계 기반 프로모션
이러한 혁신은 다음과 같은 핵심적인 상충 관계에 초점을 맞춥니다.
· ZK 네이티브 아키텍처의 엄청난 성능 향상과 이전 버전과의 호환성에 대한 절실한 요구 간의 균형;
· 간소화된 프로토콜의 보안 이점과 EVM의 막대한 네트워크 효과의 관성;
· 범용 생태계의 강점과 복잡한 서드파티 툴체인에 의존할 때의 위험.
궁극적으로 이러한 아키텍처 혁신은 린 실행(Lean Execution)의 약속을 실현하는 데 핵심적인 역할을 하며, 린 이더리움(Lean Ethereum) 비전의 핵심 구성 요소가 될 것입니다. 이 혁신은 이더리움의 L1을 단순한 스마트 계약 플랫폼에서 검증 가능한 연산의 광대한 세계를 지원하도록 설계된 효율적이고 안전한 결제 및 데이터 가용성 계층으로 전환합니다.
비탈릭 부테린이 말했듯이, "궁극적인 목표는... 모든 것에 ZK-snarks를 제공하는 것입니다." Ethproofs와 같은 프로젝트는 이러한 변화를 위한 객관적인 데이터와 협업 플랫폼을 제공하며, Succinct Labs 팀은 SP1 zkVM의 실질적인 적용을 통해 이러한 미래에 대한 실행 가능한 청사진을 제시합니다. RISC-V를 채택함으로써 이더리움은 자체적인 확장성 병목 현상을 해결할 뿐만 아니라 해싱 및 서명 다음으로 세 번째로 중요한 암호화 기본 요소인 SNARK를 기반으로 하는 차세대 인터넷의 기반 신뢰 계층으로 자리매김합니다. 세상을 증명하는 소프트웨어로, 새로운 암호화 시대를 열 것입니다.자세히 알아보기:
Vitalik의 해석:시청하려면 클릭하세요
ETHProofs 네 번째 토론:시청하려면 클릭하세요
BlockBeats 공식 커뮤니티에 참여하세요:
Telegram 구독 그룹：https://t.me/theblockbeats
Telegram 토론 그룹：https://t.me/BlockBeats_App
Twitter 공식 계정：https://twitter.com/BlockBeatsAsia
