이더리움의 공동 창립자인 비탈릭 부테린(Vitalik Buterin)은 "ZK-EVM"(Zero-Knowledge Ethereum Virtual Machine)의 개념과 가능한 구현 형태에 대한 심도 있는 논의를 담은 기사를 발표했습니다. 이 기사에서는 현재의 Layer-2 EVM 프로토콜(예: Optimistic Rollups 및 ZK Rollups)이 EVM 검증 메커니즘에 의존해야 하지만 이는 거대한 코드 기반을 신뢰해야 함을 의미하기도 합니다. 코드 베이스에 취약점이 존재하면 이러한 가상 머신은 공격을 받을 위험이 있습니다. 또한 L1 EVM과 완전히 동일하게 유지하려는 ZK-EVM이라 할지라도 L1 EVM 변경 사항을 자체 EVM 구현에 복제하기 위한 일종의 거버넌스 메커니즘이 필요합니다. Buterin이 제안한 ZK-EVM 개념은 Layer-2 프로젝트에 의한 Ethereum 프로토콜 기능의 반복 구현을 줄이고 Layer-1 Ethereum 블록 검증의 효율성을 높이는 것을 목표로 합니다. 그는 또한 라이트 클라이언트가 더욱 강력해지고 심지어 ZK-SNARK(영지식 증명)을 활용하여 L1 EVM 실행을 완전히 검증할 수 있는 미래를 구상합니다. 이때 이더리움 네트워크는 기본적으로 ZK-EVM 기능을 내장하게 됩니다. 또한 이 기사에서는 설계 과제, 장단점, 특정 방향이 채택되지 않는 이유를 포함하여 ZK-EVM 구현의 다양한 버전에 대해 설명합니다. 프로토콜 기능을 구현할 때 기본 프로토콜을 단순하게 유지하는 이점과 그 이점을 비교해야 한다는 점이 강조됩니다. ZK-EVM의 주요 속성과 관련하여 Buterin은 기본 기능, Ethereum의 다중 클라이언트 철학과의 호환성, 데이터 가용성 요구 사항, 감사 가능성 및 업그레이드 가능성을 강조했습니다. 또한 그는 L2 VM이 EVM과 약간의 차이만 있으면 프로토콜 내에서 ZK-EVM을 계속 사용할 수 있게 하고 EVM 유연성의 일부 사용자 정의도 제공하는 "거의 EVM"에 대한 지원도 언급했습니다.