PSE 트레이딩: 롤업 물결 속에서도 VM은 여전히 ​​이야기할 이야기가 있습니다.
PSE Trading
2023-10-30 06:26
本文约5746字,阅读全文需要约23分钟
이제 EVM 네트워크 효과가 매우 강력해졌기 때문에 EVM 사용자를 EVM이 아닌 체인 생태계로 마이그레이션하는 것이 신흥 블록체인 프로젝트의 가장 큰 성장 포인트가 되었습니다.

원저자: PSE 트레이딩 분석가@cryptohawk

TL;DR

  1. 가상 머신은 프로그램 실행 환경을 제공하는 소프트웨어 에뮬레이션 컴퓨터 시스템입니다. 다양한 하드웨어 장치를 시뮬레이션하고 제어되고 호환되는 환경에서 프로그램을 실행할 수 있습니다.

  2. EVM(Ethereum Virtual Machine)은 Ethereum 스마트 계약을 실행하는 데 사용되는 스택 기반 가상 머신입니다. zkEVM은 EVM 동등성/호환성 측면에서 특정 zk 방지 생성 효율성 최적화를 수행했습니다.

    zkVM은 EVM 동등성/호환성을 포기하고 zk 친화성의 우선순위를 높입니다.

    개인 정보 보호 zkVM은 zkVM에 기본 개인 정보 보호 기능을 추가합니다.

    SVM, FuelVM, MoveVM은 병렬 실행을 통해 최고의 성능을 추구한다는 공통점이 있지만 설계 세부 사항에는 고유한 특징이 있습니다.

    ESC VM과 BitVM은 각각 ETH 및 BTC 체인에 대해 특정 혁신적인 컴퓨팅 계층 실험을 수행했지만 현재 환경에서는 실제 구현 수요가 낮습니다.

  3. EVM의 거대한 사용자 생태계는 이를 포기하는 모든 블록체인 네트워크가 단기적으로 경쟁하기 어려울 것이라고 판단합니다. 따라서 비 EVM 생태계는 번역기/컴파일러/바이트코드 해석기 및 심지어 VM 호환성 레이어를 통해 EVM 생태 사용자를 도입하여 EVM 가상 머신 기능을 사용하여 새로운 생태학적 내러티브를 구축하는 것은 성공을 위한 필수 경로일 수 있습니다.

1.1 VM이란 무엇입니까?

VM(가상 머신)은 애플리케이션 및 운영 체제 실행을 포함하여 컴퓨터와 거의 동일한 기능을 수행하는 가상화된 컴퓨팅 리소스의 구성 요소입니다. 가상 머신의 개념은 새로운 것이 아니며, 이 기술은 많은 기술 생태계에서 널리 사용됩니다.

블록체인의 맥락에서 가상 머신(VM)은 프로그램을 실행하는 소프트웨어 조각으로, 블록체인 스마트 계약을 실행하는 런타임 환경이라고도 합니다. 가상 머신은 일반적으로 다양한 하드웨어 장치를 시뮬레이션하여 가상 컴퓨터 환경을 제공합니다. 다양한 가상 머신이 시뮬레이션할 수 있는 하드웨어 장치는 다양하지만 일반적으로 CPU, 메모리, 하드 디스크, 네트워크 인터페이스 등이 포함됩니다. 온체인 트랜잭션이 제출되면 가상 머신은 트랜잭션을 처리하고 트랜잭션 실행에 의해 영향을 받는 블록체인 상태(전체 네트워크의 현재 글로벌 상태)를 업데이트하는 역할을 담당합니다. 네트워크 상태 변경에 대한 특정 규칙은 VM에 의해 정의됩니다. 트랜잭션을 처리할 때 VM은 스마트 계약 코드를 노드/검증기 하드웨어가 실행할 수 있는 형식으로 변환합니다.

VM 중에서 가장 중요한 커널은 LLVM(low-level-virtual-machine)으로, 컴파일러의 가장 중요한 커널이라고 할 수 있다. 그림은 원래 EVM 운영 방식을 보여주며, 스마트 계약은 LLVM IR의 중간 코드를 통해 변환되어 바이트코드로 변환됩니다. 이러한 바이트코드는 블록체인에 저장되며, 스마트 계약이 호출되면 바이트코드는 해당 Opcode로 변환되어 EVM 및 노드 하드웨어에 의해 실행됩니다.

1.2 주류 VM

1.2.1 EVM - 블록체인 VM은 총 1개의 스톤으로 구성되어 있고, EVM은 단독으로 8개의 버킷을 갖고 나머지는 2개의 버킷으로 나누어져 있습니다.

대표 프로젝트 : Optimism, Arbitrum

업계에서 가장 활발한 개발자와 사용자가 활동하는 블록체인 생태계로서 EVM(Ethereum Virtual Machine)은 CPU, 메모리, 스토리지, 스택 등의 하드웨어 장치를 시뮬레이션하여 가상 컴퓨터를 제공하는 스택 기반 가상 머신입니다. 스마트 계약의 명령을 실행하고 스마트 계약의 상태와 데이터를 저장합니다. EVM의 명령어 세트에는 산술 연산, 논리 연산, 저장 연산, 점프 연산 등과 같은 다양한 opcode가 포함됩니다.

EVM이 시뮬레이션하는 메모리와 스토리지는 스마트 계약의 상태와 데이터를 저장하는 데 사용되는 장치입니다. EVM은 메모리와 스토리지를 서로 다른 두 영역으로 취급하며, 메모리와 스토리지를 읽고 쓰는 방식으로 스마트 계약의 상태와 데이터에 액세스할 수 있습니다.

EVM 시뮬레이션 스택은 명령어의 피연산자와 결과를 저장하는 데 사용됩니다. EVM 명령어 세트의 명령어 대부분은 스택 기반으로, 스택에서 피연산자를 읽고 결과를 다시 스택에 푸시합니다.

EVM의 설계 프로세스는 분명히 상향식으로, 먼저 시뮬레이션된 하드웨어 환경(스택, 메모리)이 완성되고 해당 환경에 따라 자체 어셈블리 명령어 세트(Opcode) 및 바이트코드(Bytecode) 세트가 설계됩니다. . Ethereum 커뮤니티는 EVM 실행 효율성을 위해 두 가지 컴파일된 고급 언어인 Solidity와 Vyper를 설계했습니다. Solidity 말할 필요도 없이 Vyper는 Solidity의 일부 단점을 개선하기 위해 Vitalik이 설계한 EVM 고급 언어이지만 커뮤니티에서 높은 채택률을 얻지 못하고 점차 역사에서 사라졌습니다.

1.2.2 zkEVM - 모든 것을 원합니다: EVM 환경과 호환 + zk 방지를 생성하기 위한 전역 상태 루트 변환 지원

대표 프로젝트 : Taiko, Scroll, Polygon zkEVM

EVM은 zk 방지 계산을 염두에 두고 구축되지 않았기 때문에 특히 특수 opcode, 스택 기반 아키텍처, 스토리지 오버헤드 및 증명 비용 측면에서 증명 회로에 적합하지 않은 속성을 가지고 있습니다. zkEVM은 zk 증명 계산과 호환되는 방식으로 스마트 계약을 실행하는 가상 머신으로, zk 증명/유효성 증명을 통해 EVM의 실행 프로세스를 보다 효율적이고 비용 효율적으로 검증할 수 있습니다. OP Rollup과 비교할 때 실행 계층은 EVM만 복사하면 되며 EVM을 ZK 친화적으로 구축하는 것은 ZK Rollup의 추가적인 과제입니다.

ZK 롤업은 EVM(Ethereum Virtual Machine)과 쉽게 호환되지 않습니다. 회로에서 범용 EVM 계산을 증명하는 것은 간단한 계산(예: 앞에서 설명한 토큰 전송)을 증명하는 것보다 더 어렵고 리소스 집약적입니다.

그러나 영지식 기술(새 탭에서 열림)의 발전으로 EVM 계산을 영지식 증명으로 래핑하는 데 대한 관심이 다시 불붙었습니다. 이러한 노력은 프로그램 실행의 정확성을 효율적으로 검증할 수 있는 영지식 EVM(zkEVM) 구현을 만드는 것을 목표로 합니다. .

EVM과 마찬가지로 zkEVM은 특정 입력에 대해 계산을 수행한 후 상태 간 전환을 수행합니다. 차이점은 zkEVM은 프로그램 실행의 각 단계의 정확성을 확인하기 위해 영지식 증명도 생성한다는 것입니다. 유효성 증명은 가상 머신 상태(메모리, 스택, 스토리지) 및 계산 자체(즉, 작업이 올바른 opcode를 호출하고 올바르게 실행했는지)와 관련된 작업의 정확성을 확인합니다.

아이디어는 아름답지만 현실은 매우 희박합니다 현재 Rollup은 ZK 친화성과 EVM 호환성(또는 동등성)을 모두 달성하는 데 어려움을 겪고 있습니다. , 상태 트리 및 트랜잭션 트리, 사전 컴파일 등을 통해 Ethereum L1 실행 클라이언트를 있는 그대로 사용하여 롤업 블록을 처리하거나 EVM 호환성을 폐기하고 회로 내 증명/검증을 위해 기존 Opcode를 다시 생성할 수 있습니다. 스마트 계약 실행 .

1.2.3 zkVM - 케이크를 갖고 있으면서도 먹을 수 없습니다: zk 방지 효율성 지향 비-evm 가상 머신

대표 프로젝트 : Starknet, Zksync, RISC ZERO

zkVM은 EVM 호환성을 포기하고 데이터 증명 및 상태 업데이트를 핵심 목표로 삼으며 암호화와 고급 언어 간의 공통 분모를 찾아 다양한 애플리케이션에 대한 공통 프레임워크를 제공합니다.

스타크웨어는 ZK 분야 전반에 앞서 시작하여 충분한 기술을 축적해왔기 때문에 어느 정도 기술적 우위를 점하고 있다. 대표적인 ZK 중심 기술 아키텍처로 ZK를 중심으로 Cairo VM과 Cairo 언어를 구축했습니다. 단점은 카이로가 배우기에 비용이 많이 든다는 것입니다.

ZKsync의 프레임워크는 EVM 및 ZK의 특성과 호환되며 자체 개발한 회로 언어 Zinc와 Solidity를 통합하고 컴파일러 내 IR 수준에서 두 가지를 통합합니다. 장점은 LLVM의 컴파일러 코어가 여러 언어와 호환된다는 것입니다.

RISC Zero는 RISC-V 아키텍처를 사용하여 프로그래머가 Rust, C/C++ 및 Go와 같은 일반 언어로 zkVM용 프로그램을 작성할 수 있는 시뮬레이터를 구축합니다. 이는 애플리케이션 로직이 무엇에 제한될 필요가 없음을 의미합니다. Solidity로 표현될 수 있어 관련 없는 코드를 작성하고 연결할 수 있습니다.

1.2.4 개인 정보 보호 zkVM - zk 친화적 + 기본 개인 정보 보호 지원, 새로운 생태학적 불꽃을 일으키려고 노력함

대표 프로젝트 : Aleo, Ola, Polygon Miden

블록체인은 공공 원장 시스템 역할을 하며 모든 거래는 체인에서 이루어지므로 주소나 계좌와 관련된 자산 정보가 포함된 상태 변경이 공개적이고 투명합니다. 따라서 일부 블록체인 팀은 확장 솔루션 작업 외에도 구현해야 할 다음 핵심 기능이 개인 정보 보호라고 믿습니다.

zk 친화적이고 확장을 지원하는 것 외에도 Privacy zkVM은 자체 프로그래밍 언어에서 기본적으로 지원하는 개인 정보 보호 기능으로 인해 상위 계층 애플리케이션 개발자가 개인 정보 보호 관련 dapp을 개발할 수 있게 해줍니다. 이는 새로운 애플리케이션 시나리오와 웅장한 내러티브를 가져올 것입니다. 예를 들어 MEV 문제를 완전히 해결하고 사용자 데이터 소유권을 보호합니다. 물론 Privacy zkVM 설계의 복잡성으로 인해 이를 구현하려면 더 큰 기술 팀이 필요하며 이를 달성하는 데 몇 년이 걸릴 수 있습니다.

1.2.5 SVM - 물이 빠진 후에도 여전히 불씨가 남아 있습니다. 성능 설계가 극한에 도달한 실행 환경

대표 프로젝트 : Eclipse Mainnet, Nitro, MakerDAO Chain (아마도)

솔라나 가상 머신인 SVM은 고성능 실행 환경에 중점을 두고 있으며, 스마트 계약은 주로 Rust 언어로 작성됩니다. 단일 스레드 EVM 및 EOS WASM 실행 환경과 비교하여 SVM은 Solana 트랜잭션이 실행 시 트랜잭션이 읽거나 쓸 모든 상태를 설명하도록 요구함으로써 중첩되지 않는 트랜잭션과 동일한 상태만 읽는 트랜잭션의 동시 실행을 가능하게 합니다.

또한, 대량의 트랜잭션 블록을 신속하게 검증/전송하기 위해 솔라나 네트워크의 트랜잭션 검증 프로세스는 CPU 설계에서 흔히 사용되는 파이프라인 최적화를 광범위하게 사용합니다. 입력 데이터 흐름이 일련의 단계로 처리되고 각 단계마다 이를 담당하는 다른 하드웨어가 있는 상황을 만족시키기 위해. 일반적인 비유는 여러 개의 세탁물을 순차적으로 세탁/건조/접는 세탁기와 건조기입니다. 청소는 건조 전에 해야 하고 접는 것은 건조 전에 해야 하는데 이 세 가지 작업은 각각 별도의 장치에서 수행됩니다.

또한 SVM은 레지스터 기반이며 EVM보다 명령어 세트가 훨씬 적기 때문에 ZK에서 SVM 실행을 더 쉽게 증명할 수 있습니다. 낙관적 롤업의 경우 레지스터 기반 설계를 통해 검사점을 더 쉽게 설정할 수 있습니다.

1.2.6 연료 VM——버프 스택: UTXO 프레임워크 하의 병렬 가상 머신

대표사업 : 연료

Fuel VM은 EVM, Solana, WASM, BTC 및 Cosmos의 기술 프레임워크를 기반으로 개선된 것으로 EVM과 비교하면 다음과 같은 특징이 있습니다.

가장 독특한 점은 Fuel이 SVM과 유사하게 액세스 목록을 설정할 뿐만 아니라 중첩되지 않는 트랜잭션과 병렬로 트랜잭션을 실행할 수 있는 기능을 갖추고 있다는 점입니다. 또한 토큰 UTXO와 계약 UTXO로 구분되는 UTXO 모델을 채택합니다. 액세스 효율성과 컴퓨팅 처리량을 향상시킵니다.

또한, Fuel VM은 자체 도메인별 언어인 Sway와 지원 툴체인 Forc를 통해 강력하고 원활한 개발자 경험을 제공하며, 개발 환경은 Solidity와 같은 스마트 계약 언어의 장점을 유지하면서, 앞서 소개된 패러다임을 채택하고 있습니다. Rust 도구 생태계.

앞으로 Fuel VM은 바이트 코드 크기 측면의 컴파일러 최적화를 포함하여 Sway 언어 업그레이드도 구현할 예정이며, Sway는 더 많은 백엔드를 지원하고(EVM 백엔드는 이미 개발 중임) 추상화는 더욱 경제적이며 더 많은 응용 프로그램을 사용할 수 있게 됩니다. Solidity/Vyper에서 Sway로 마이그레이션하여 컴파일러 수준 재진입 분석 등을 개선합니다.

1.2.7 ESC VM - Ordinal/Smartweave의 후속 제품: Ethereum 위의 컴퓨팅 계층

대표 프로젝트 : Ethscriptions Protocol

ESC VM(Ethscriptions Virtual Machine)은 Ethscriptions Protocol에서 제안하는 스마트 계약 솔루션입니다. Ethscriptions 프로토콜 자체는 Ethereum 체인의 BTC Ordinal과 유사한 프로토콜로, 스마트 계약 및 L2와는 다른 저렴한 대안을 탐색하는 데 중점을 둡니다.

Ethscription을 사용하면 계산을 위해 Tx의 호출 데이터에 미리 합의된 프로토콜 규칙을 적용하여 사용자가 매우 저렴한 비용으로 스마트 계약 저장 및 실행을 우회할 수 있습니다. 간단히 말해서, 성공적인 이더리움 거래가 있고 해당 호출 데이터가 지정된 유효한 데이터 사양을 준수하고 고유 및 받는 사람 주소가 0이 아닌 한 Ethscription이 합법적으로 생성된 것으로 간주할 수 있습니다. address는 생성자이고 to 주소는 소유자입니다.

설계 초기에 각 Ethscription은 그림 NFT와 같은 NFT 형식을 선호합니다. 그림 콘텐츠는 Base 64 형식의 호출 데이터에 직접 기록됩니다.

최근 가장 인기 있는 eth는 brc-20 프로토콜 사양을 참조하여 생성된 Ethscription입니다.

ESC VM이 도입한 스마트 계약은 다음과 같습니다."멍청한 계약"(Dumb Contract)는 논리적 계약으로 공개되지만, EVM 형태로 체인에서 상호작용하지는 않습니다. 또한 ESC VM은 특수 형식도 추가합니다."컴퓨터 명령", 이 형식을 사용하여 생성된 ethscription은 배포 - 바보 계약 배포, 호출 - 바보 계약 호출과 같은 바보 계약과 상호 작용하기 위해 ESC VM에서 인식됩니다.

이 솔루션에는 몇 가지 제한 사항이 있습니다."멍청한 계약"기능은 지불 가능하지 않기 때문에 멍청한 계약을 통해 ETH를 보내려면 브릿지 계약을 거쳐야 하며 브릿지 계약 자체에는 통제 남용 및 자산 도난의 위험이 있습니다. 생태계에 대한 진입 장벽입니다. 멍청한 계약의 임의 생성은 허용되지 않으며 해당 코드는 Ethscriptions Protocol 거버넌스 제안을 통해 정의되어야 합니다.

정리하자면, ESC VM은 이더리움 L1을 데이터 저장 레이어로 구축한 컴퓨팅 레이어로, 계약 로직, 계약 호출, 계약 호출 및 기타 데이터 내용을 Ethereum tx의 호출 데이터에 배치하여 구현됩니다. ESC VM 글로벌 상태 합의는 ESC VM 클라이언트 합의로, SmartWeave의 데이터 저장 계층이 Arweave라는 점을 제외하면 Arweave의 SmartWeave 구현 논리와 유사합니다.

1.2.8 비트 VM - 흥미로운 연구 실험: BTC의 P2P 실행 채널

대표 프로젝트 : ZeroSync

ZeroSync 창립자 로빈 리누스(Robin Linus)는 10월 9일 BitVM: Compute Anything On Bitcoin 백서를 발표했습니다. 엄밀히 말하면 VM이 아니라 계약이 비트코인에 저장되는 튜링 완전 컴퓨팅 공간을 만들려는 시도입니다. 하지만 계약의 논리는 오프체인에서 실행됩니다. 상대방이 계약을 위반했다고 생각되면 체인에 이의를 제기할 수 있으며, 상대방이 올바르게 응답하지 못하는 경우 계약에 있는 모든 자금을 빼앗을 수 있습니다.

장점은 비트코인 ​​프로토콜을 수정하지 않고, 새로운 연산 코드나 소프트 포크 없이 비트코인에 튜링 완전성을 부여할 수 있으며 언제든지 적용할 수 있다는 것입니다.

단점도 명백합니다. 첫째, 두 당사자 간의 거래만 지원합니다(한 당사자는 인증하고 한 당사자는 확인). 둘째, 계약을 생성하려면 많은 양의 데이터를 생성하고 많은 수의 거래에 대한 사전 서명이 필요합니다. 오프체인 정보 저장 공간은 엄청납니다.

다음은 기술적 논리에 대한 간략한 소개입니다.

(1) 클릭하여 약속을 입력하세요.

포인트 입력 확약을 통해 증명자는 논리 게이트에 대한 입력 값을 0 또는 1로 설정할 수 있습니다. 이 확약에는 H(A 0) 및 H(A 1) 두 가지 해시 값이 있습니다. 증명자는 해시 사전 이미지를 공개해야 합니다. , A 0 과 같이 입력값은 0으로 설정되고, A 1 이 드러나면 입력값은 1로 설정된다.

(2) 논리 게이트 커밋

입력 값이 있으면 Bitcoin의 AND, NOT 및 기타 opcode를 결합하여 Bitcoin 스크립트의 모든 논리 게이트를 결합할 수 있습니다.

(3) 바이너리 회로 확약

튜링 완전성은 수억 개의 논리 게이트를 이진 회로로 구성하여 달성할 수 있습니다. 이 바이너리 회로를 비트코인 ​​네트워크에 커밋하려면 모든 논리 게이트를 Taproot 주소가 있는 리프 노드에 배치해야 합니다.

(4) 도전-응답 링크

체인에 회로를 커밋하는 것만으로는 충분하지 않으며, 양측 모두 계약의 계산 결과가 올바른지 확인할 수 있는 효과적인 방법이 필요합니다. 이상적인 세계에서는 계약이 오프체인으로 실행되며 양측이 협력하고 결과에 대해 분쟁이 없으면 행복합니다. 그러나 거래의 두 당사자 사이에 분쟁이 있는 경우 도전-응답 링크를 입력하여 계산 결과를 확인하고 채널 잔액이 비트코인 ​​스크립트를 통해 배포되도록 강제해야 합니다.

따라서 BitVM은 일종의 비트코인 ​​롤업이나 L2와는 거리가 멀고 완전한 가상 머신 실행 환경, 글로벌 상태, 복잡한 스마트 계약을 게시하기 위한 고급 언어를 갖추고 있지 않으며 임의의 수의 사용자가 쉽게 이러한 계약과 상호 작용합니다. 매우 유명한 예를 들어 설명하겠습니다. BitVM은 모든 사람이 모바일 단말기를 사용할 수 있는 시대에 방보다 큰 거대한 컴퓨터를 만드는 것과 같습니다.

1.2.9 MoveVM - Facebook의 Web2 유전적 상속의 산물

대표 프로젝트 : Aptos, Sui

Move는 안전한 스마트 계약 작성을 위한 프로그래밍 언어로 원래 Facebook이 Diem 블록체인을 지원하기 위해 개발한 언어입니다. Diem 블록체인 프로젝트가 중단된 후에도 Aptos와 Sui로 대표되는 프로젝트에서는 Move 언어를 계속 사용했습니다. Move 블록체인의 가장 큰 특징은 데이터 저장소가 계정 주소를 루트로 하는 트리로 구성된 글로벌 저장소를 사용한다는 점이며, 각 주소는 리소스 데이터와 모듈 코드를 저장할 수 있습니다.

Move에는 모듈과 스크립트라는 두 가지 유형의 프로그램이 있습니다. 모듈은 구조적 유형과 이러한 유형에서 작동하는 기능을 정의하는 라이브러리입니다. 구조 유형은 이동의 전역 저장 모드를 정의하고, 모듈 기능은 저장 업데이트 규칙을 정의합니다. 모듈 자체도 전역 저장소에 저장됩니다. 스크립트는 기존 언어의 주요 기능과 유사한 실행 파일의 진입점이며 전역 저장소에 게시되지 않는 임시 코드 조각입니다.

정리하자면, Move 모듈은 시스템 실행 파일이 실행될 때 로드되는 동적 라이브러리 모듈과 유사하고, 스크립트는 기본 프로그램과 유사합니다. 사용자는 모듈 호출을 포함하여 글로벌 스토리지에 액세스하기 위해 자체 스크립트를 작성할 수 있으며, 모듈 게시 또는 스크립트 실행은 Move VM을 통해 작동합니다.

1.3 생태적 발전 동향

이제 EVM 네트워크 효과가 매우 강력하기 때문에 EVM 사용자를 비 EVM 체인 생태계로 마이그레이션하는 것이 신흥 블록체인 프로젝트의 가장 큰 성장 포인트가 되었습니다. 이는 미래에 더 많은 Dapp 구성성과 더 큰 연결성을 가져올 것입니다. 몇 년은 더 빠른 사용자를 유발합니다. 성장.

1.3.1 지갑 프런트엔드 호환성

EVM 사용자를 EVM이 아닌 체인에 온보딩하는 것은 역사적으로 주요 장벽이었지만 최근 Metamask Snap 출시로 이러한 장벽이 무너질 것입니다. EVM 사용자는 지갑을 전환하지 않고도 MetaMask를 계속 사용할 수 있습니다. 뛰어난 MetaMask Snap 구현을 구축하는 데 Drift의 오픈 소스 기여 덕분에 UX는 모든 EVM 체인과 상호 작용하는 것과 동일합니다. Eclipse 메인넷 사용자는 MetaMask의 기본 애플리케이션과 상호 작용하거나 Salmon과 같은 Solana 기본 지갑을 사용할 수 있습니다.

1.3.2 VM 백엔드 호환성

1.3.2.1 번역기/컴파일러

대표 프로젝트 : 랩

Warp는 잘 알려진 Ethereum 인프라 팀인 Nethermind가 개발한 Solidity-Cairo 번역기입니다. Warp는 Solidity 코드를 Cairo로 변환할 수 있지만, 변환된 Cairo 프로그램은 실행 효율성을 최대화하기 위해 Cairo 기능(예: 내장 함수 호출, 메모리 최적화 등)을 수정하고 추가해야 하는 경우가 많습니다.

1.3.2.2 바이트코드 해석기/VM 호환성 계층

대표 프로젝트 : 카카로트, 네온 EVM

Kakarot은 Cairo로 작성되고 Starknet에 배포된 스마트 계약 형태로 구현된 EVM 바이트코드 해석기로서, Cairo 스마트 계약 형태로 EVM의 스택, 메모리, 실행 및 기타 측면을 시뮬레이션합니다. 코드 번역과 비교하여 Kakarot은 EVM 뒤에 Opcode 및 사전 컴파일의 단계별 구현을 구현하고 Account Registry 및 Blockhash Registry와 같은 구성 요소를 구축하여 계정 주소 매핑, 블록 정보 획득 등에 대한 추가 처리를 수행합니다. kakarot의 추가 기능, 높은 기본 호환성.

Neon EVM은 스마트 계약으로 실행되고 모든 SVM 체인에 배포될 수 있는 EVM입니다. Eclipse 메인넷 자체는 SVM을 실행 환경으로 사용하지만 Neon EVM을 통해 완전한 EVM 호환성(EVM 바이트코드 지원 및 Ethereum JSON-RPC 포함)을 제공하며 단일 스레드 EVM보다 처리량이 더 높습니다. 또한 각 Neon EVM 인스턴스에는 자체 로컬 수수료 시장이 있습니다. 즉, 블록 높이(블록 컴퓨팅 단위의 1/4)에서 단일 계약 계정 상호 작용과 관련된 컴퓨팅 단위에 상한이 있으므로 사용자는 특정 핫 계약과 상호 작용해야 하거나 블록이 가득 차면 우선 순위 수수료를 지불해야 합니다. 이러한 의미에서 자체 계약을 배포하는 애플리케이션은 애플리케이션 체인을 근사화하는 이점을 얻을 수 있으며, 이를 통해 특정 계약 상호 작용 tx의 정체로 인해 발생하는 전체 네트워크의 사용자 경험, 보안 또는 유동성에 대한 피해를 줄일 수 있습니다.

참고자료:

1.Kakarot: Starknet의 EVM 호환성 탐색(Cynic 및 Starknet Astro 작성)

2.BitVM은 열띤 토론을 촉발합니다. 비트코인 ​​네트워크가 Turing 완전성을 달성할 수 있습니까?, 작성자: Haotian

3.https://ethereum.org/en/developers/docs/evm/

4.Maxlion의 Starkware 기술 아키텍처 및 생태학적 검토

5.https://twitter.com/muneeb/status/1712461799327416491

6.Web3 CN의 프로젝트 연구丨 모듈식고속 실행계 층연료 연구 보고서

7.https://www.fuel.network/

8.https://docs.ethscriptions.com/overview/introducing-ethscriptions

9. “Analysis of the First Critical Vulnerability of Aptos Move VM”,by Numen Cyber Labs

10. https://ethereum.org/en/developers/docs/evm/

11.“What Is SVM - The Solana Virtual Machine”,by Squads

12.“Introducing Eclipse Mainnet: The Ethereum SVM L2”,by Eclipse

13.https://john-hol.gitbook.io/bitvm/

14.https://bitvm.org/bitvm.pdf

15.“The different types of ZK-EVMs”,by Vitalik Buterin

16. Cipholio 연구 보고서: ZkVM의 계획과 미래 논의, 작성자: YOLO SHEN, Cipholio Ventures

PSE Trading
作者文库