안녕 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)는 이미 테스트 중입니다(SP 1, Nervos, Cartesi 등).

마이그레이션 프로세스는 세 단계로 나뉩니다.

RISC-V를 사전 컴파일된 모듈(저위험 테스트)로 교체합니다.

듀얼 가상 머신 시대: EVM과 RISC-V는 공존하며 완벽하게 상호 운용 가능합니다.

RISC-V에서 EVM 재구현(Rosetta 전략).

생태계 영향:

Optimistic Rollup(Arbitrum 및 Optimism 등)은 사기 방지 메커니즘을 재구축해야 합니다.

제로 지식 롤업(예: Polygon, zkSync, Scroll)은 상당한 이점을 얻게 될 것입니다 → 더 저렴하고, 더 빠르고, 더 간단합니다.

개발자는 Rust, Go, Python 등의 언어 라이브러리를 L1에서 직접 사용할 수 있습니다.

사용자는 약 100배 낮은 증명 비용을 누릴 수 있습니다 → Gigagas L 1(약 10,000 TPS)로 이어집니다.

궁극적으로 이더리움은 "스마트 계약 가상 머신"에서 인터넷을 위한 최소한의 검증 가능한 신뢰 계층으로 진화할 것이며, 궁극적인 목표는 "모든 것을 ZK-Snarkized로 만드는 것"입니다.

갈림길에 선 이더리움

비탈릭 부테린은 "목적지는 모든 것을 ZK-Snarked로 만드는 것이다"라고 말한 적이 있습니다.

영지식 증명(ZK)의 종말은 불가피하며, 핵심 주장은 간단합니다. 이더리움은 영지식 증명을 기반으로 스스로를 처음부터 재건하고 있다는 것입니다. 이는 프로토콜의 기술적 종착점이며, Succinct와 같은 핵심 개발자들이 지원하는 고성능 zkVM을 기반으로 레이어 1을 재구성하여 최종 형태에 도달하는 것입니다.

이러한 비전을 바탕으로 이더리움은 출시 이후 가장 중요한 아키텍처 혁신의 정점에 서 있습니다. 더 이상 점진적인 업그레이드가 아닌, 이더리움 가상 머신(EVM)을 대체하는 컴퓨팅 코어의 완전한 재구축에 대한 논의가 진행되고 있습니다. 이 이니셔티브는 "린 이더리움(Lean Ethereum)"이라는 더 큰 비전의 초석입니다.

린 이더리움 비전은 전체 프로토콜을 체계적으로 단순화하여 린 컨센서스, 린 데이터, 린 실행이라는 세 가지 핵심 모듈로 나누는 것을 목표로 합니다. 린 실행의 핵심 질문은 스마트 컨트랙트 혁명을 주도하는 엔진인 EVM이 이더리움의 미래 발전에 큰 걸림돌이 되었는지 여부입니다.

이더리움 재단의 저스틴 드레이크가 언급했듯이, 이더리움의 장기적인 목표는 항상 "모든 것을 비꼬는 것(Snarkify everything)"이었습니다. 이는 프로토콜의 모든 계층을 향상시킬 수 있는 강력한 도구입니다. 그러나 이 목표는 오랫동안 먼 미래의 청사진에 불과했습니다. 그 실현에는 실시간 증명이라는 개념이 필요하기 때문입니다. 이제 실시간 증명이 현실화됨에 따라 EVM의 이론적 비효율성은 해결해야 할 실질적인 문제로 떠올랐습니다.

이 글에서는 이더리움의 레이어 1 프로토콜을 RISC-V 명령어 집합 아키텍처(ISA)로 마이그레이션하는 데 대한 기술적, 전략적 논거를 심층적으로 살펴봅니다. 이러한 변화는 전례 없는 확장성을 제공할 뿐만 아니라 프로토콜 구조를 단순화하고 이더리움을 검증 가능한 컴퓨팅의 미래에 부합하게 할 것입니다.

정확히 무엇이 바뀌었나요?

"왜"를 논의하기 전에 먼저 "무엇"이 바뀌는지 명확히 해야 합니다.

EVM(이더리움 가상 머신)은 이더리움 스마트 컨트랙트의 런타임 환경으로, 트랜잭션을 처리하고 블록체인 상태를 업데이트하는 "월드 컴퓨터"라고 불립니다. 수년에 걸쳐 EVM의 설계는 혁신적이었으며, 탈중앙화 금융(DeFi)과 NFT 생태계의 출현을 위한 토대를 마련했습니다. 그러나 거의 10년 된 이 커스텀 아키텍처는 상당한 양의 기술 부채를 축적해 왔습니다.

반면, RISC-V는 제품이 아니라 개방형 표준, 즉 프로세서 설계를 위한 무료 범용 "알파벳"입니다. Jeremy Bruestle이 Ethproofs 컨퍼런스에서 강조했듯이, RISC-V의 핵심 원칙은 이러한 역할에 탁월한 선택이 될 수 있도록 합니다.

미니멀리즘: RISC-V의 기본 명령어 세트는 매우 간단하여 약 40~47개의 명령어로만 구성됩니다. Jeremy의 표현을 빌리자면, 이는 "초미니멀리즘 범용 머신에 필요한 사용 사례에 거의 완벽합니다."

모듈형 설계: 선택적 확장을 통해 더 복잡한 기능이 추가됩니다. 이 기능은 기본 프로토콜에 불필요한 복잡성을 부여하지 않으면서도 필요에 따라 기능을 확장하면서 핵심 기능을 단순하게 유지할 수 있도록 해주기 때문에 매우 중요합니다.

개방형 생태계: RISC-V는 LLVM 컴파일러를 포함한 방대하고 성숙한 툴체인을 보유하고 있어 개발자들이 Rust, C++, Go와 같은 주류 프로그래밍 언어를 사용할 수 있도록 지원합니다. 저스틴 드레이크가 지적했듯이, "컴파일러 관련 툴은 매우 풍부하고 컴파일러를 개발하는 것은 매우 어렵습니다... 따라서 이러한 컴파일러 툴체인을 보유하는 것은 매우 중요합니다." RISC-V를 통해 이더리움은 기존 툴을 무료로 상속받을 수 있습니다.

인터프리터 오버헤드 문제

EVM을 대체하려는 원동력은 단일 결함이 아니라, 영지식 증명을 중심으로 한 미래 사회에서 무시할 수 없는 근본적인 한계들이 겹겹이 쌓여 있기 때문입니다. 이러한 한계에는 영지식 증명 시스템 내의 성능 병목 현상과 프로토콜 내에서 증가하는 복잡성으로 인해 발생하는 위험이 포함됩니다.

이러한 전환의 가장 시급한 원인은 영지식 증명 시스템에서 EVM의 본질적인 비효율성입니다. 이더리움이 ZK 증명을 통해 L1 상태를 검증하는 모델로 점차 전환함에 따라, 증명자 성능이 가장 큰 병목 현상이 됩니다.

문제는 현재 zkEVM의 작동 방식에 있습니다. 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 증명의 성능 병목 현상, 사전 컴파일의 복잡성, 구식 아키텍처 선택 등의 이러한 문제는 모두 합쳐져서 Ethereum이 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)입니다.”

이더리움 블록을 증명할 수 있는 10개의 zkVM 중 9개가 RISC-V를 타겟 아키텍처로 선택했습니다. 이러한 시장 융합은 이더리움이 RISC-V를 채택함으로써 투기적인 실험에 참여하는 것이 아니라, 영지식 미래를 구축하는 프로젝트들이 인정하는 검증된 표준에 부합한다는 강력한 신호를 보냅니다.

실행만이 아닌 신뢰를 위해 태어났습니다

광범위한 생태계 외에도 RISC-V의 내부 아키텍처는 안전하고 검증 가능한 시스템 구축에 매우 적합합니다. 첫째, RISC-V는 SAIL이라는 공식화되고 기계가 읽을 수 있는 사양을 자랑합니다. 이는 주로 Yellow Paper에 텍스트 형태로 존재하는 EVM 사양에 비해 상당한 개선을 나타냅니다. Yellow Paper는 다소 모호하지만, SAIL 사양은 고부가가치 프로토콜 보안에 필수적인 중요한 수학적 정확성 증명을 지원할 수 있는 "골드 스탠다드"를 제공합니다. 이더리움 재단(EF)의 알렉스 힉스가 Ethproofs 컨퍼런스에서 언급했듯이, 이를 통해 zkVM 회로를 "공식 RISC-V 사양과 직접 비교 검증"할 수 있습니다. 둘째, RISC-V는 종종 간과되지만 보안에 필수적인 기능인 특권 아키텍처를 포함합니다. 이 아키텍처는 주로 사용자 모드(스마트 계약과 같은 신뢰할 수 없는 애플리케이션용)와 감독자 모드(신뢰할 수 있는 "실행 커널용")라는 다양한 수준의 작동을 정의합니다. Cartesi의 Diego는 이에 대해 자세히 설명했습니다.

"운영 체제 자체는 다른 코드로부터 자신을 보호해야 합니다. 서로 다른 프로그램 실행을 서로 분리해야 하며, 이러한 모든 메커니즘은 RISC-V 표준의 일부입니다."

RISC-V 아키텍처에서 사용자 모드로 실행되는 스마트 계약은 블록체인 상태에 직접 접근할 수 없습니다. 대신, 특수 ECALL(환경 호출) 명령어를 통해 관리자 모드로 실행되는 신뢰할 수 있는 커널에 요청을 보내야 합니다. 이 메커니즘은 EVM이 소프트웨어 샌드박싱에만 의존하는 것보다 더 강력하고 검증하기 쉬운 하드웨어 기반 보안 경계를 구축합니다.

비탈릭의 비전

이러한 전환은 시스템 안정성과 하위 호환성을 보장하기 위한 점진적이고 다단계적인 과정으로 구상됩니다. 이더리움의 창시자 비탈릭 부테린이 설명했듯이, 이러한 접근 방식은 급진적인 "혁명적" 변화보다는 "진화적인" 발전을 목표로 합니다.

1단계: 대안 사전 컴파일

초기 단계에서는 보수적인 접근 방식을 취하여 새로운 가상 머신(VM)에 제한된 기능을 도입할 것입니다. 비탈릭 부테린이 제안했듯이, "사전 컴파일된 기능 대체와 같이 새로운 VM의 제한된 사용 사례부터 시작할 수 있습니다." 구체적으로, 새로운 EVM 사전 컴파일 기능 도입을 일시 중단하고, 대신 허용 목록에 추가되고 승인된 RISC-V 프로그램을 통해 필요한 기능을 구현할 것입니다. 이러한 접근 방식을 통해 이더리움 클라이언트가 두 실행 환경 사이의 중개자 역할을 하는 동안, 메인넷의 저위험 환경에서 새로운 VM을 현장 테스트할 수 있습니다.

2단계: 듀얼 가상 머신이 공존합니다

다음 단계에서는 사용자가 새 VM에 직접 접근할 수 있도록 하는 작업이 진행됩니다. 스마트 컨트랙트는 태그를 사용하여 바이트코드가 EVM인지 RISC-V인지를 나타낼 수 있습니다. 핵심 기능은 원활한 상호 운용성입니다. 두 유형의 컨트랙트는 서로 호출할 수 있습니다. 이 기능은 시스템 호출(ECALL)을 통해 구현되며, 두 가상 머신이 동일한 생태계 내에서 협업할 수 있도록 합니다.

3단계: 시뮬레이션 계약으로서의 EVM(Rosetta 전략)

궁극적인 목표는 근본적으로 단순화된 프로토콜을 구축하는 것입니다. 이 단계에서는 "새로운 VM 내에 EVM을 구현할 것입니다." 표준화된 EVM은 네이티브 RISC-V L1에서 실행되는 정식 검증된 스마트 계약이 될 것입니다. 이를 통해 기존 애플리케이션에 대한 영구적인 지원을 보장할 뿐만 아니라, 클라이언트 개발자는 단순화된 실행 엔진만 유지 관리하여 복잡성과 유지 관리 비용을 크게 줄일 수 있습니다.

생태계의 파급 효과

EVM에서 RISC-V로의 전환은 단순한 핵심 프로토콜 변경을 넘어, 이더리움 생태계 전체에 지대한 영향을 미칠 것입니다. 이러한 변화는 개발자 경험을 혁신할 뿐만 아니라, 레이어 2 솔루션의 경쟁 환경을 근본적으로 변화시키고 새로운 경제적 지분증명(PoS) 모델을 제시할 것입니다.

롤업 리포지셔닝: 낙관적 vs. ZK

L1에서 RISC-V 실행 계층을 채택하면 두 가지 주요 유형의 롤업에 각기 다른 영향을 미칩니다.

옵티미스틱 롤업(Arbitrum 및 Optimism 등)은 구조적인 문제에 직면해 있습니다. 이들의 보안 모델은 L1 EVM을 사용하여 분쟁이 발생한 거래를 재실행하여 사기 방지를 해결하는 데 의존합니다. L1 EVM을 교체하면 이 모델은 완전히 무력화될 것입니다. 이러한 프로젝트는 새로운 L1 VM에 특화된 사기 방지 시스템을 설계하기 위해 대대적인 엔지니어링 개편을 시행할지, 아니면 이더리움의 보안 모델과 완전히 분리할지 어려운 선택에 직면하게 될 것입니다.

반면, ZK Rollup은 상당한 전략적 이점을 얻게 될 것입니다. 대다수의 ZK Rollup은 이미 RISC-V를 내부 명령어 집합 아키텍처(ISA)로 사용하고 있습니다. "동일한 언어를 사용하는" L1은 더욱 긴밀하고 효율적인 통합을 가능하게 할 것입니다. 저스틴 드레이크는 "네이티브 Rollup"의 미래 비전을 제시했습니다. 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와 SP 1: 미래를 대비한 오늘의 구축

이더리움은 성장할 준비가 되어 있습니다. "L1 확장, 블록 확장"은 EF 프로토콜 클러스터의 전략적 필수 과제입니다. 향후 6개월에서 12개월 동안 상당한 성능 향상이 예상됩니다.

https://blog.ethereum.org/2025/07/31/린-이더리움

Succinct Labs와 같은 팀은 실제로 RISC-V의 이론적 장점을 입증했으며, 그들의 연구는 이 제안을 검증할 수 있는 강력한 사례를 제시합니다.

Succinct Labs에서 개발한 SP 1은 RISC-V 기반의 고성능 오픈소스 zkVM으로, 새로운 아키텍처 접근 방식의 실현 가능성을 보여줍니다. SP 1은 "사전 컴파일 중심" 철학을 채택하여 EVM의 암호화 병목 현상을 효과적으로 해결합니다. 느리고 하드코딩된 사전 컴파일에 의존하는 기존 접근 방식과 달리, SP 1은 Keccak 해싱과 같은 집약적인 연산을 표준 ECALL 명령어를 통해 호출되는 특수 설계되고 수작업으로 최적화된 ZK 회로로 오프로드합니다. 이러한 접근 방식은 맞춤형 하드웨어의 성능과 소프트웨어의 유연성을 결합하여 개발자에게 더욱 효율적이고 확장 가능한 솔루션을 제공합니다.

Succinct Labs는 이미 실제적인 효과를 보고 있습니다. Succinct의 OP 제품은 SP 1을 활용하여 낙관적 롤업을 ZK화합니다. Succinct 공동 창립자 우마 로이는 다음과 같이 설명했습니다.

OP Stack의 Rollup을 사용하면 더 이상 최종 확인 및 출금까지 7일을 기다릴 필요가 없습니다. 이제 확인을 완료하는 데 한 시간밖에 걸리지 않습니다. 이 속도 향상은 정말 놀랍습니다.

이 획기적인 성과는 전체 OP Stack 생태계의 핵심적인 문제점을 해결합니다. 더욱이, Succinct의 인프라인 Succinct Prover Network는 분산형 증명 생성 시장으로 설계되어 검증 가능한 연산의 미래를 위한 실행 가능한 경제 모델을 제시합니다. 이 글에서 설명하는 것처럼, Succinct의 연구는 단순한 개념 증명이 아니라 미래를 위한 실질적인 청사진입니다.

이더리움이 위험을 줄이는 방법

RISC-V의 강점 중 하나는 수학적 기법을 통해 시스템의 정확성을 증명하는 형식 검증의 성배를 달성 가능한 목표로 만든다는 것입니다. 옐로 페이퍼(Yellow Paper)에 자연어로 작성된 EVM 사양은 공식화하기 어렵습니다. 반면 RISC-V는 기계가 읽을 수 있는 공식적인 SAIL 사양을 갖추고 있어 동작에 대한 명확한 "황금 참조"를 제공합니다.

이는 더욱 강력한 보안을 위한 길을 열어줍니다. 이더리움 재단의 알렉스 힉스가 지적했듯이, zkVM RISC-V 회로와 공식 RISC-V 사양을 정식 검증을 위해 Lean으로 추출하는 작업이 이미 진행 중입니다. 이는 신뢰의 기준을 오류 가능성이 있는 인간의 구현 방식에서 검증 가능한 수학적 증명으로 전환하여 블록체인 보안의 새로운 지평을 여는 획기적인 발전입니다.

변화의 주요 위험

RISC-V 아키텍처의 L1은 많은 장점이 있지만, 새로운 복잡한 과제도 안고 있습니다.

가스 계량 문제

일반적인 명령어 집합 아키텍처(ISA)에 대한 결정론적이고 공정한 가스 모델을 구축하는 것은 아직 해결되지 않은 문제입니다. 단순한 명령어 계산 방식은 서비스 거부 공격에 취약합니다. 예를 들어, 공격자는 캐시 미스를 반복적으로 유발하는 프로그램을 설계하여 매우 낮은 가스 요금으로 높은 리소스 소비를 초래할 수 있습니다. 이는 네트워크 안정성과 경제 모델에 심각한 문제를 야기합니다.

툴체인 보안 및 "재현 가능한 빌드" 문제

이는 이러한 전환 과정에서 가장 중요하면서도 종종 과소평가되는 위험입니다. 보안 모델은 온체인 가상 머신에 의존하는 것에서 매우 복잡하고 취약점을 포함하는 것으로 알려진 오프체인 컴파일러(예: LLVM)에 의존하는 것으로 전환됩니다. 공격자는 컴파일러 취약점을 악용하여 겉보기에 무해해 보이는 소스 코드를 악성 바이트코드로 변환할 수 있습니다. 더욱이, 온체인에서 컴파일된 바이너리가 공개적으로 사용 가능한 소스 코드와 완전히 일치하는지 확인하는 것, 즉 "재현 가능한 빌드" 문제는 매우 어렵습니다. 빌드 환경의 사소한 차이로 인해 바이너리가 서로 달라져 투명성과 신뢰도가 저하될 수 있습니다. 이러한 문제는 개발자와 사용자의 보안에 심각한 문제를 야기합니다.

완화 전략

앞으로 나아가려면 다층적인 방어 전략이 필요합니다.

단계적 출시

점진적이고 다단계적인 전환 계획은 위험 완화를 위한 핵심 전략입니다. RISC-V를 미리 컴파일된 대안으로 도입한 후 듀얼 VM 환경에서 실행함으로써, 커뮤니티는 운영 경험을 쌓고 저위험 환경에서 자신감을 키우며 돌이킬 수 없는 변화를 피할 수 있습니다. 이러한 점진적인 접근 방식은 기술 혁신을 위한 안정적인 기반을 제공합니다.

종합 감사: 퍼즈 테스팅 및 공식 검증

공식 검증이 궁극적인 목표이기는 하지만, 지속적이고 엄격한 테스트와 결합되어야 합니다. Diligence Security의 Valentine이 Ethproofs 컨퍼런스 콜에서 시연했듯이, Argus 퍼즈 테스트 도구는 주요 zkVM에서 11개의 심각한 건전성 및 무결성 취약점을 발견했습니다. 이는 아무리 잘 설계된 시스템이라도 엄격한 적대적 테스트를 통해서만 발견할 수 있는 취약점을 내포할 수 있음을 보여줍니다. 퍼즈 테스트와 공식 검증을 결합하면 시스템 보안을 더욱 강화할 수 있습니다.

표준화

생태계 분열을 방지하기 위해 커뮤니티는 단일하고 표준화된 RISC-V 구성을 중심으로 통합되어야 합니다. 이는 Linux 호환 ABI를 갖춘 RV64 GC가 될 가능성이 높습니다. 이러한 조합은 주류 프로그래밍 언어 및 도구 중 가장 광범위한 지원을 제공하여 새로운 생태계의 이점을 극대화하기 때문입니다. 표준화는 개발자의 효율성을 향상시킬 뿐만 아니라 생태계의 장기적인 성장을 위한 탄탄한 기반을 마련합니다.

이더리움의 검증 가능한 미래

이더리움 가상 머신(EVM)을 RISC-V로 대체한다는 제안은 단순한 점진적인 업그레이드를 넘어, 이더리움 실행 계층의 근본적인 구조 조정을 의미합니다. 이 야심찬 비전은 심각한 확장성 병목 현상을 해결하고, 프로토콜 복잡성을 단순화하며, 플랫폼을 더 광범위한 범용 컴퓨팅 생태계와 연계하는 것을 목표로 합니다. 이러한 전환은 상당한 기술적, 사회적 과제를 안겨주지만, 장기적인 전략적 이점은 이러한 과감한 노력을 정당화합니다.

이 변환은 일련의 핵심적 상충 관계에 초점을 맞춥니다.

ZK 네이티브 아키텍처가 가져온 엄청난 성능 향상과 긴급한 하위 호환성의 필요성 간의 균형;

프로토콜 단순화로 인한 보안상의 이점과 EVM의 거대한 네트워크 효과로 인한 관성 간의 균형

범용 생태계의 힘과 복잡한 타사 툴체인에 의존하는 위험 간의 선택.

궁극적으로 이러한 아키텍처 혁신은 린 실행(Lean Execution)의 약속을 실현하는 데 핵심적인 역할을 할 것이며, 린 이더리움(Lean Ethereum) 비전의 핵심 구성 요소가 될 것입니다. 이를 통해 이더리움의 레이어 1은 단순한 스마트 계약 플랫폼에서 검증 가능한 연산의 광대한 영역을 지원하도록 설계된 효율적이고 안전한 결제 및 데이터 가용성 계층으로 탈바꿈합니다.

비탈릭 부테린이 말했듯이, "목표는... 모든 것에 ZK-snarks를 제공하는 것입니다."

Ethproofs와 같은 프로젝트는 이러한 혁신을 위한 객관적인 데이터와 협업 플랫폼을 제공하며, Succinct Labs 팀은 SP 1 zkVM을 실제로 적용하여 이러한 미래에 대한 실행 가능한 청사진을 제시합니다. RISC-V를 채택함으로써 이더리움은 자체적인 확장성 병목 현상을 해결할 뿐만 아니라 해싱 및 서명 다음으로 세 번째로 중요한 암호화 기본 요소인 SNARK를 기반으로 하는 차세대 인터넷의 기반 신뢰 계층으로 자리매김합니다.

전 세계적으로 사용 가능한 소프트웨어로 암호화의 새로운 시대를 열었습니다.

자세히 알아보세요:

Vitalik의 해석: 클릭하여 시청하세요

ETHProofs 4번째 토론: 시청하려면 클릭하세요

원본 링크