실행 모델, 합의, EVM 기초, 검증 가능한 AI에 관한 기술 장문입니다. 각 통찰은 Web3를 더 선명하게 만듭니다.
편집자 추천실행 클라이언트는 EVM을 교체 가능한 실행기 한 조각으로 취급하고, 그 사이에 상태 접근 인터페이스 한 겹을 둡니다. go-ethereum의 내장 인터프리터와 evmone, revm은 위치가 각기 다르고, 다중 구현 일관성은 명세 테스트 벡터로 보장하며, 인터프리터의 최적화 여지는 디스패치와 gas 계량, 메모리 관리에 집중됩니다.
글 읽기 →실행 클라이언트는 EVM을 교체 가능한 실행기 한 조각으로 취급하고, 그 사이에 상태 접근 인터페이스 한 겹을 둡니다. go-ethereum의 내장 인터프리터와 evmone, revm은 위치가 각기 다르고, 다중 구현 일관성은 명세 테스트 벡터로 보장하며, 인터프리터의 최적화 여지는 디스패치와 gas 계량, 메모리 관리에 집중됩니다.
상태 변수는 선언 순서대로 32바이트 슬롯에 놓입니다. 작은 타입은 슬롯을 공유하고, 매핑과 동적 배열은 해시로 위치를 파생하며, 상속 순서는 슬롯 번호를 통째로 밀어냅니다. 이 배치 규칙이 업그레이드 프록시가 컴파일러가 할당하는 슬롯을 왜 비켜가야 하는지를 결정합니다.
네 가지 호출 명령어는 바이트코드에서 번호 몇 개만 다르지만, 그 의미는 코드가 누구의 컨텍스트에서 실행되고 누구의 스토리지에 쓰며 msg.sender와 address(this)가 무엇이 되는지를 결정합니다. CALL, CALLCODE, DELEGATECALL, STATICCALL을 하나씩 대조하면 프록시가 왜 DELEGATECALL에 의존하는지, STATICCALL이 무엇 때문에 도입되었는지가 분명해집니다.
가공되지 않은 calldata에서 출발해 ABI를 해부합니다. 4바이트 selector는 정규 시그니처를 잘라낸 것이고, 정적 타입은 한 워드를 그대로 차지하며, 동적 타입은 오프셋과 길이라는 2단계 주소 지정에 기댑니다. 이벤트는 indexed 매개변수를 topics에 기록해 검색 가능성을 얻습니다. ABI는 자기 서술적이지 않으므로 디코딩과 업그레이드 모두 제약을 받습니다.
이더리움 옐로 페이퍼는 블록 수준 상태 전이를 중첩 호출로 적었고, 그 결과 평가 순서는 명세의 일부가 됩니다. 트랜잭션을 하나씩 직렬로 처리하는 의미의 출처, 읽기/쓰기 집합 충돌을 미리 판정할 수 없는 이유, 결정성과 검증 단순성이 무엇을 얻어 냈는지, 그리고 이 설계 원점에 어떤 방식이 정면으로 응답하고 있는지가 이어지는 글의 주된 흐름입니다.
블록 헤더의 stateRoot는 32바이트에 불과하지만 네트워크 전체의 계정과 잔액, 컨트랙트 스토리지를 함께 묶어 둡니다. 아래에서는 Merkle Patricia Trie의 노드 구조와 계정 아래에 매달린 스토리지 트라이 설계를 뜯어보고, 머클 증명이 오프체인 검증을 어떻게 뒷받침하는지, 상태 팽창 비용이 누구에게 돌아가는지를 설명합니다.
Gas는 EVM의 자원 계량 단위이고 가격은 수수료 시장이 정합니다. 둘을 혼동하면 확장과 실행 중단의 경계를 잘못 판단하게 됩니다. 아래에서는 고유 비용과 동적 비용의 구성을 풀어내고, out-of-gas와 REVERT가 각각 무엇을 돌려주는지, EIP-1559의 base fee와 tip이 각각 누구에게 가는지 설명합니다.
같은 32바이트 데이터를 memory, storage, transient storage 중 어디에 두느냐에 따라 가스 비용이 두 자릿수 배 차이 나고 수명도 완전히 달라집니다. 아래에서는 소유, 수명, 과금이라는 세 축으로 세 가지 스토리지를 나누어 설명하고, 재진입 잠금과 임시 배열, 상태 변수를 각각 어디에 두어야 하는지 정리합니다.
EVM은 레지스터가 없는 스택 기계입니다: 256비트 워드 크기, 1024개 스택 깊이, JUMPDEST로만 점프할 수 있는 프로그램 카운터를 갖습니다. 인출, 해독, 실행이라는 이 루프는 스택 언더플로와 오버플로가 왜 gas를 전부 태우는지, 그리고 스택 기계가 레지스터 기계에 비해 무엇을 얻고 무엇을 치렀는지 설명합니다.
이더리움을 이체를 기록하는 원장으로 보면 가장 중요한 부분, 즉 계정 스토리지에 임의로 읽고 쓸 수 있는 변수를 놓치게 됩니다. 옐로 페이퍼의 상태 전이 함수 Υ(σ, T)에 따르면 이더리움은 분산 상태 기계이고, EVM은 이 상태 전이의 실행 명세입니다. 전 네트워크가 비트 단위로 재실행한다는 사실은 실행 의미론에 일련의 강한 제약을 부과합니다.
