🧾 zkEVM zero-knowledge Ethereum Virtual Machine
이더리움 스마트 컨트랙트를 메인 체인 밖에서 실행한 뒤, 작업이 올바르게 이루어졌다는 짧은 증명을 이더리움에 넘겨주는 엔진이에요. 이더리움은 모든 거래를 다시 돌리는 대신 그 작은 증명 하나만 확인하면 됩니다 — ZK 롤업이 가스비를 낮출 수 있는 이유가 바로 이거예요.
🧮 쉽게 풀면 — 도장 찍힌 영수증
믿을 수 있는 회계사가 방 한쪽에서 방대한 계산을 끝낸 뒤, 장부가 맞는다는 걸 증명하는 짧은 영수증에 도장을 찍어서 건네준다고 상상해 보세요. 여러분은 모든 줄을 다시 검토할 필요 없이 그 도장만 확인하면 돼요. zkEVM이 꼭 그런 방식으로 작동해요. 이더리움 스마트 컨트랙트 거래 묶음을 메인 체인 밖에서 실행한 뒤, 계산이 올바르다는 하나의 작은 영지식 증명을 만들어 제출합니다. 이더리움은 모든 걸 다시 실행하는 대신 그 증명 하나만 검증하면 돼요.
⚙️ 실제로 어떻게 작동하나요?
영수증 비유 뒤에는 명확한 단계가 있어요. 기계는 시작 상태를 받아 거래를 실행한 뒤, 새 상태와 작업이 올바르게 됐다는 증명 두 가지를 내놓아요.
| 단계 | 무슨 일이 일어나나요 |
|---|---|
| 1️⃣ 시작 상태 받기 | 현재 잔액과 컨트랙트 데이터를 읽어요 |
| 2️⃣ 거래 실행 | 묶음 거래를 오프체인에서 빠르고 저렴하게 처리해요 |
| 3️⃣ 새 상태 + 증명 출력 | 새로운 상태와 함께 계산의 유효성을 담은 짧은 영지식 증명을 만들어요 |
| 4️⃣ 이더리움이 검증 | 온체인의 검증 컨트랙트가 작은 증명을 확인하고 결과를 받아들여요 |
🚀 왜 입문자 귀에 자주 들리나요 — ZK 롤업의 엔진
zkEVM은 이더리움 위에 올라타는 Layer 2 네트워크인 ZK 롤업의 심장부예요. 롤업은 거래를 오프체인에서 처리한 뒤 압축된 데이터와 증명 하나를 이더리움에 올려요. 그 결과는 높은 처리량과 낮은 가스비, 그러면서도 이더리움이 직접 증명을 검증하므로 이더리움의 보안을 그대로 물려받는 것이에요. 초기 ZK 롤업은 단순 토큰 전송만 됐지만, zkEVM은 스마트 컨트랙트 전체와 DApp까지 커버해요 — 개발자는 암호학을 따로 배우지 않아도 기존 Solidity 앱을 그대로 포팅할 수 있어요.
🪜 네 가지 '유형' (비탈릭 부테린, 2022)
이더리움 공동 창업자 비탈릭 부테린이 zkEVM을 네 가지 유형으로 분류했어요. 트레이드오프는 항상 같아요: 이더리움 호환성이 높을수록 증명이 느리고 비싸집니다.
| 유형 | 특징 |
|---|---|
| 1️⃣ Type 1 | 이더리움과 완전히 동일, 변경 없음 — 증명이 가장 느려요 |
| 2️⃣ Type 2 | EVM 동등하되 내부적으로 약간 조정해 증명 속도를 높여요 |
| 3️⃣ Type 3 | 속도를 위해 일부 EVM 기능을 빼요 — 일부 앱은 수정이 필요해요 |
| 4️⃣ Type 4 | 고급 언어 코드를 증명 친화적 바이트코드로 컴파일 — 가장 빠르지만 호환성 낮음 |
📊 이 분류는 시간이 지나면서 바뀌고, 프로젝트들이 유형 사이를 업그레이드하기도 해요. 어떤 프로젝트의 '유형'은 현재 스냅샷이지 영구 딱지가 아니에요.
🔍 실생활에서 어디서 만나나요
보통은 더 싼 가스비를 위해 브릿지로 자금을 옮기는 Layer 2의 기술 이름으로 등장해요. 실제 사례로는 zkSync Era(Matter Labs), Polygon zkEVM, Scroll, Linea 같은 것들이 있어요. 증명 시스템이나 이더리움과의 유사도는 서로 다르지만, 목표는 하나예요 — 이더리움이 검증할 수 있는 저렴하고 빠른 거래.
🚨 입문자가 알아둘 것
- 🔓 기본값은 비공개가 아니에요 — 증명은 정확성을 위한 것이지 활동을 숨기는 게 아니에요. 대부분의 zkEVM 롤업은 데이터를 공개적으로 올려요
- 🌉 브릿지는 신중하게 — L2로 자금을 옮길 때는 브릿지를 써야 해요. 공식 브릿지를 쓰고 주소를 꼭 다시 확인하세요
- 🏷️ 유형은 바뀌어요 — 업그레이드에 따라 zkEVM 유형이 달라질 수 있으니 그 딱지를 고정된 것으로 보지 마세요
- 🧪 이더리움보다 역사가 짧아요 — 비교적 신생 시스템이에요. 컨트랙트와 브릿지에는 이더리움 자체보다 기술적 리스크가 더 있을 수 있어요
❓ 자주 묻는 질문
- zkEVM의 '영지식'은 내 거래를 숨겨 주나요?
- 보통은 아니에요. zkEVM에서 증명은 계산이 올바르게 이루어졌다는 것을 빠르게 확인시켜 주는 용도이지, 활동을 숨기는 게 아니에요. 대부분의 zkEVM 롤업은 거래 데이터를 공개적으로 게시하므로 프라이버시 체인이 아닙니다.
- zkEVM의 네 가지 '유형'이란 무엇인가요?
- 비탈릭 부테린이 2022년에 분류한 체계예요. Type 1은 이더리움과 완전히 동일(증명 속도 가장 느림), Type 2는 EVM 동등하되 내부적으로 약간 조정, Type 3은 속도를 위해 일부 EVM 기능 제외, Type 4는 앱을 증명 친화적 코드로 컴파일(가장 빠르지만 호환성 낮음)이에요. 호환성과 증명 속도가 서로 상충합니다.
- zkEVM에서 개발하려면 암호학을 알아야 하나요?
- 보통은 아니에요. zkEVM의 요점은 기존 이더리움 앱과 Solidity 컨트랙트를 그대로 실행할 수 있다는 것이고, 영지식 증명 과정은 내부에서 자동으로 처리돼요. 개발자는 영지식 수학을 직접 배우지 않아도 앱을 포팅할 수 있어요.