zk-evm

Vitalik Buterin은 자신의 글에서 과거에 비해 "원주율 롤업(native rollups)"을 지원하는 경향이明显해졌다고 밝혔다. Vitalik은 이전에 원주율 롤업에 반대했던 중요한 이유는 그 사전 컴파일方案이 ZK 모드와 Optimistic 모드 중 하나를 선택해야 했기 때문이라고 회고했다. 당시 ZK-EVM은 아직 성숙하지 않았고, L2는 "빠른 인출이지만 스스로 증명 위험을 감수해야 하는 것"과 "이더리움의 안전성에 의존하지만 2-7일 인출을 기다려야 하는 것" 사이에서 후자를 선택하는 경우가 많아 이더리움의 조합 가능성을 약화시키고 다중 서명 브리지와 같은 솔루션의 보급을 촉진했다.Vitalik은 현재 상황이 변화하고 있다고 지적했다: 이더리움이 L1 레벨에서 ZK를 전면적으로 수용하는 일정과 원주율 롤업 사전 컴파일 도입의 현실적인 진행 상황이 점차 일치하고 있으며, 위의 핵심 장애물이 제거될 것으로 기대된다고 말했다. 그는 또한 커뮤니티가 "동기화 조합 가능성"을 L2의 핵심 가치 중 하나로 더 많이 삼고 있으며, 롤업 기반 솔루션과 저지연 사전 확인 메커니즘을 결합하는 방안을 탐색하고 있다고 언급했다.또한, Vitalik은 구체적인 구현에서 원주율 롤업 사전 컴파일 설계를 서두르지 말아야 한다고 강조했다. 그는 개발자가 "EVM에 소량의 확장 기능을 추가한" 롤업을 구축할 경우, 원주율 롤업 사전 컴파일의 EVM 부분을 직접 재사용할 수 있고, 추가된 기능에 대해서만 사용자 정의 증명 시스템을 도입하여 표준화된 방식으로 두 가지를 연결할 수 있는 속성을 갖추기를 희망한다고 제안했다.

Vitalik Buterin은 소셜 미디어에 글을 올리며 2026년이 이더리움이 자주권과 탈신뢰화 측면에서 잃어버린 땅을 되찾는 중요한 해가 될 것이라고 언급했습니다. 계획에는 ZK-EVM과 BAL 기술을 통해 노드 운영을 간소화하고, Helios 검증 RPC 데이터를 출시하며, ORAM과 PIR 기술로 사용자 프라이버시를 보호하고, 사회 복구 지갑 및 시간 잠금 기능을 개발하여 자금 안전성을 강화하며, 체인 상 UI와 IPFS 애플리케이션을 개선하는 것이 포함됩니다. Buterin은 이더리움이 지난 10년 동안 노드 운영, 애플리케이션 탈중앙화 및 데이터 프라이버시 측면에서의妥協를 수정하고 핵심 가치를 재조명할 것이라고 강조했습니다. 비록 이것이 긴 과정이 될 것이지만, 이더리움 생태계를 더욱 강력하게 만들 것입니다.

Vitalik Buterin은 이더리움이 실제 운영 측면에서 "블록체인 불가능 삼각형"이라는 오랜 문제를 해결하는 데 가까워졌다고 밝혔습니다. 그는 PeerDAS와 ZK-EVM 두 가지 주요 업그레이드가 이더리움을 "완전히 새로운, 더 강력한 탈중앙화 네트워크"로 만들고 있다고 지적했습니다.Vitalik은 PeerDAS가 2025년에 메인넷에 출시되었으며, ZK-EVM은 아직 보안 완성 단계에 있지만 성능 측면에서 생산 수준에 도달했다고 언급하며, 2026년에는 네트워크에서 소규모로 사용될 것으로 예상된다고 말했습니다. Vitalik은 향후 몇 년 내에 이더리움이 가스 한도를 높이고, 상태 구조를 조정하며, 더 많은 ZK-EVM 기반 검증 방식을 도입하여 탈중앙화, 보안성 및 높은 처리량의 균형을 점진적으로 실현할 것이라고 추가로 계획했습니다. 그는 이것이 단순한 이론적 구상이 아니라 이미 운영 중인 코드 기반 위에 세워진 장기적인 엔지니어링 성과라고 강조했습니다.Vitalik은 또한 이더리움이 데이터 가용성과 확장성 문제를 해결하기 위해 거의 10년을 투자해 왔으며, 이 비전이 이제 점차 실현되고 있다고 회고했습니다.

Vitalik Buterin은 현재 ZK-EVM이 알파 단계에 들어섰으며, 생산 수준의 성능을 갖추고 있다고 밝혔습니다. 남은 주요 작업은 보안에 집중되어 있습니다. 동시에, PeerDAS는 이더리움 메인넷에서 공식적으로 출시되었습니다. Vitalik은 이것이 점진적인 최적화가 아니라 이더리움을 탈중앙화, 합의 메커니즘 및 고대역폭을 동시에 갖춘 새로운 형태의 P2P 네트워크로 전환하고 있다고 지적했습니다.그는 BitTorrent가 높은 대역폭을 가지고 있지만 합의가 없고, 비트코인이 합의를 가지고 있지만 전체 복제로 인해 대역폭이 제한된다고 회고했습니다. 반면, 이더리움은 PeerDAS(데이터 가용성 샘플링)와 ZK-EVM을 도입한 후 탈중앙화, 합의 및 높은 처리량을 동시에 달성할 수 있을 것으로 기대하고 있으며, 세 가지 난제를 "메인넷에서 실행되는 실제 코드"를 통해 해결했다고 합니다. 그 중 PeerDAS는 메인넷에서 운영되고 있으며, ZK-EVM은 성능 면에서 생산 수준에 도달했습니다.Vitalik은 2026년부터 BAL, ePBS 등의 메커니즘이 추진됨에 따라 가스 한도가 점진적으로 증가하고 ZK-EVM 노드를 운영할 실제 기회가 생길 것으로 예상하고 있습니다. 2026-2028년에는 가스 재가격 책정, 상태 구조 조정 및 실행 부하가 blob으로 들어가는 작업이 진행될 것입니다. 2027-2030년까지 ZK-EVM은 네트워크에서 블록을 검증하는 주요 방법이 되어 가스 한도의 추가 상승을 촉진할 것으로 기대됩니다. 또한 그는 분산형 블록 구축의 중요성을 언급하며, 장기 목표는 블록이 어떤 단일 장소에서 완전히 구축되는 것을 피하고, 프로토콜 내 또는 프로토콜 외의 방법으로 블록 구축 권한을 분산시켜 중앙 집중식 개입 위험을 줄이고 지역 공정성을 높이는 것이라고 덧붙였습니다.

Vitalik Buterin은 트윗에서 modexp 프리컴파일이 ZK-EVM에 극도로 불리하다고 언급하며, 최악의 경우 평균 블록의 50배 계산 비용이 발생한다고 경고했습니다. 그는 EIP를 통해 동등한 EVM 코드로 대체할 것을 촉구하며, 더 높은 가스 비용이 필요하더라도 상관없다고 말했습니다. 그는 modexp 설계자로서 "부끄럽게 고개를 숙인다"고 인정하며, 사용률이 극히 낮고 합의 실패 위험을 증가시킨다고 지적했습니다. 그는 극소수의 요구를 위해 전체 이더리움 생태계의 효율성을 희생해서는 안 된다고 강조했습니다.

ChainCatcher 메시지에 따르면, Vitalik Buterin은 X 플랫폼에서 Sandeep Nailwal과 Polygon이 이더리움 생태계에서 중요한 역할을 하고 있음을 높이 평가한다고 밝혔습니다. 특히 ZK-EVM 초기 투자, 고확장성 애플리케이션(예: Polymarket) 지원 및 팬데믹 연구 프로젝트 추진에 대해 언급했습니다. 그는 또한 Sandeep가 1억 9천만 달러 가치의 SHIB 기부금을 반환하여 Balvi 프로젝트에 중요한 자금 지원을 제공했다고 밝혔습니다. Vitalik은 Polygon이 향후 더 높은 보안성을 보장하기 위해 기존 ZK 기술을 채택할 것을 권장했습니다.

ChainCatcher 메시지, Brevis에서 발표한 다중 GPU 제로 지식 가상 머신(zkVM) Pico Prism에 대해 Vitalik은 "Brevis의 Pico Prism이 ZK-EVM 검증 분야에 공식 진출하게 되어 기쁩니다. ZK-EVM 검증 속도와 다양성이 중요한 진전을 이루었습니다."라고 평가했습니다.이전 소식에 따르면, Pico Prism은 소비자 하드웨어에서 이더리움 실시간 증명을 구현했습니다: 64개의 RTX 5090 그래픽 카드를 사용하여 12초 이내에 99.6%의 이더리움 L1 블록 증명을 완료했으며, 그 중 96.8%의 블록 증명 시간은 이더리움 재단이 설정한 10초 이내 기준을 초과하지 않았습니다. 9월 1일 테스트에서 이더리움의 현재 45M 가스 제한 상황에서 Pico Prism의 평균 증명 시간은 단 6.9초에 불과했습니다.

ChainCatcher 메시지, Vitalik Buterin이 최신 기사 "circle STARKs 탐험"을 발표했습니다. 이 기사에서는 Starkware가 M3 칩 노트북에서 매초 620,000개의 Poseidon2 해시 값을 증명할 수 있음을 지적합니다. 이는 우리가 Poseidon2를 해시 함수로 신뢰할 의향이 있다면, 효율적인 ZK-EVM을 만드는 가장 어려운 부분 중 하나가 실제로 해결되었다는 것을 의미합니다.그는 일반 STARK와 비교할 때, circle STARK가 개발자에게 너무 많은 추가 복잡성을 주지 않을 것이라고 말했습니다. circle FRI가 작동하는 "다항식" 뒤에 있는 수학 원리는 상당히 직관에 반하며 이해하고 깨닫는 데 시간이 걸립니다. 그러나 바로 이 복잡성이 숨겨져 있어 개발자는 이를 인식하지 못합니다. Circle 수학 원리의 복잡성은 시스템적이지 않고 캡슐화되어 있습니다.Vitalik은 Mersenne31, BabyBear 및 Binius와 같은 이진 필드 기술을 결합하면 STARKs "기초 층"의 효율성 한계에 가까워지고 있다고 느끼고 있습니다. STARK 최적화의 최전선은 해시 함수 및 서명과 같은 원시를 가장 효율적으로 산술화하고(이러한 원시 자체를 최적화하여 이를 달성), 더 많은 병렬화를 위해 재귀 구조를 만들고, 개발자 경험을 개선하기 위해 가상 머신을 산술화하며, 기타 더 고급 작업으로 전환될 것으로 예상됩니다.

ChainCatcher 메시지에서 이더리움 공동 창립자 비탈릭 부테린은 "ZK-EVM"(제로 지식 이더리움 가상 머신) 개념과 그 가능성 있는 구현 형태에 대해 심도 있게 논의했습니다.기사에서는 현재의 Layer-2 EVM 프로토콜(예: 옵티미스틱 롤업 및 ZK 롤업)이 EVM의 검증 메커니즘에 의존해야 하지만, 이는 동시에 방대한 코드 라이브러리를 신뢰해야 함을 의미한다고 지적했습니다. 코드 라이브러리에 취약점이 존재할 경우, 이러한 가상 머신은 공격의 위험에 직면할 수 있습니다. 또한 L1 EVM과 완전히 동등한 ZK-EVM을 원하더라도, L1 EVM의 변화를 자신의 EVM 구현에 복사하기 위한 일정 형태의 거버넌스 메커니즘이 필요합니다.부테린이 제안한 ZK-EVM 개념은 Layer-2 프로젝트가 이더리움 프로토콜 기능을 반복적으로 구현하는 것을 줄이고, Layer-1 이더리움 블록을 검증할 때의 효율성을 높이는 것을 목표로 합니다. 그는 또한 미래의 라이트 클라이언트가 더욱 강력해질 것이며, 심지어 ZK-SNARKs(제로 지식 증명)를 활용하여 L1 EVM 실행을 완전히 검증할 수 있을 것이라고 전망했습니다. 그때 이더리움 네트워크는 사실상 내장된 ZK-EVM 기능을 갖추게 될 것입니다.기사에서는 ZK-EVM 구현의 다양한 버전과 그 설계 도전 과제, 장단점의 균형, 그리고 왜 특정 방향이 채택되지 않을 수 있는지를 논의했습니다. 프로토콜 기능을 구현할 때 그 이점과 기본 프로토콜의 간결성을 유지하는 것의 이점을 균형 있게 고려해야 한다고 강조했습니다. ZK-EVM의 핵심 속성에 대해 부테린은 기본 기능성, 이더리움 다중 클라이언트 철학과의 호환성, 데이터 가용성 요구 사항, 감사 가능성 및 업그레이드 가능성을 강조했습니다. 또한 그는 "거의 EVM"에 대한 지원을 언급했으며, 이는 L2의 VM이 EVM과 미세한 차이만 있을 경우에도 프로토콜 내의 ZK-EVM을 사용할 수 있도록 하며, EVM의 일부 맞춤화에 유연성을 제공한다고 설명했습니다.

ChainCatcher 메시지, 체인 게임 Abyss World 공식이 소셜 미디어에 게시한 바에 따르면, Abyss World 팀은 Polygon zk-EVM을 기반으로 이 게임을 개발하기로 결정했습니다.전해진 바에 따르면, 이는 Abyss World 내 스마트 계약의 실행을 더욱 효율적으로 만들고 더 많은 사용자 상호작용을 처리할 수 있게 하며, PolygonGaming과의 협력이 Web3 게임 창의력의 모든 잠재력을 발휘할 수 있기를 희망합니다.（출처 링크）

ChainCatcher 메시지, 이더리움 창시자 비탈릭은 최신 기사 《이더리움의 다중 클라이언트 개념이 ZK-EVM과 어떻게 상호작용할 것인가?》에서 이더리움의 다중 클라이언트 개념이 보안성과 탈중앙화를 유지하는 데 있어 중요성을 강조했습니다. 이더리움은 모든 사용자가 실행하는 기본 "참조 클라이언트"가 없으며, 대신 협력적으로 관리되는 규범이 있으며 여러 팀이 이 규범을 구현하고 있습니다(즉, "클라이언트"). 비탈릭은 EVM 실행의 SNARK 증명을 사용하는 새로운 전환으로서 ZK-EVM의 중요성을 강조하며, 메인넷에서 ZK 롤업과 같은 제2계층 프로토콜을 적극적으로 지원합니다.그러나 ZK-EVM의 도전 과제는 다중 클라이언트 개념과 어떻게 상호작용할 것인가입니다. 이 문제를 해결하기 위해 비탈릭은 각 클라이언트가 유효한 블록을 수용하기 전에 자신의 구현과 호환되는 증명을 기다려야 한다고 제안했습니다. 이 방법은 다중 클라이언트 모델의 일부 이점을 희생하지만, 모든 ZK-EVM 구현이 서로 동등하다는 것을 공식적으로 증명할 수 있기 전까지는 이상적입니다. ZK-EVM은 이더리움의 세 번째 클라이언트가 되어 네트워크의 보안과 탈중앙화에 필수적입니다. 그러나 이 방법은 악의적인 공격자가 블록 발표를 지연시킬 수 있는 문제와 하나의 클라이언트에 대해 유효한 증명으로 인한 지연 문제와 같은 몇 가지 도전 과제가 있습니다.（출처 링크）

ChainCatcher 메시지, zkRollup 기반의 이더리움 2층 네트워크 Taiko가 ZK-EVM alpha-2 테스트넷 "Askja"를 출시하였으며, 현재 개발자들이 스마트 계약을 배포할 수 있도록 허용하고 있습니다. 이 테스트넷은 현재 일부 ZKP 유효성 증명을 통합하여 검증자가 허가 없이 증명을 생성할 수 있게 합니다.또한 Taiko는 프로토콜 경제학을 활성화하여 검증자에게 자원 소비를 보상하는 실제 보상을 제공합니다. Taiko L2 테스트넷에 해당하는 L1은 이더리움 테스트넷 Sepolia이며, 거래를 지원하기 위해 Uniswap V2 포크가 배포되었습니다.（출처 링크）

Chaincatcher 메시지, 이더리움 ZK-Rollup 확장 솔루션 Taiko가 로드맵을 발표하며, 이번 달에 Alpha-2 테스트넷을 출시할 계획입니다. 이 테스트넷에는 허가가 필요 없는 provers와 일부 ZK-EVM 회로가 포함되며, 2024년 초에 메인넷을 론칭하여 완전한 ZK-EVM 회로, 탈중앙화된 proposers 및 탈중앙화된 provers를 구현할 예정입니다.（출처 링크）

ChainCatcher 메시지, 크로스 체인 브리지 Hop Protocol이 최근 ConsenSys zk-EVM이 Hop의 테스트 사이트에 통합되었다고 발표했습니다. 테스트넷이 대중에게 공개되면, 사용자는 지원되는 테스트넷 체인에서 Goerli ETH를 새로운 ConsenSys zk-EVM으로 보낼 수 있게 됩니다.Hop은 이 통합이 처음에 ConsenSys zk-EVM 팀이 Hop 거버넌스 포럼에서 제안한 것이며, 거버넌스 주기의 모든 단계에서 일치하여 통과되었다고 전했습니다.（출처 링크）