-evm

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 메시지, 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 메시지에 따르면, The Block의 보도에 따르면, 머신 러닝과 강화 학습에 집중하는 프로젝트 GadlingX가 고성능 이더리움 가상 머신 GPU-EVM을 출시한다고 발표했습니다. 개발 팀은 GPU-EVM이 강화 학습(RL)을 기반으로 한 최첨단 인공지능 에이전트를 훈련하는 데 사용될 수 있으며, 다양한 이더리움 애플리케이션의 병렬 실행을 활용하여 인공지능 에이전트가 보안 오류를 발견하는 데 도움을 줄 수 있다고 밝혔습니다.GPU-EVM 출시의 초기 단계는 AI 및 RL 모델 훈련을 촉진하기 위해 하드웨어 규모의 EVM 인프라를 구축하는 데 중점을 두고 있습니다. 다음 단계는 1년 이내에 고성능 컴퓨팅 애플리케이션을 위한 API 접근을 제공할 것으로 예상되며, 궁극적인 목표는 스마트 계약 및 분산 애플리케이션 보호에서 인간의 능력을 초월하는 것입니다.

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 거버넌스 포럼에서 제안한 것이며, 거버넌스 주기의 모든 단계에서 일치하여 통과되었다고 전했습니다.（출처 링크）

ChainCatcher 메시지에 따르면, 제로 지식 증명 기술 개발 회사 StarkWare가 트위터에서 STARK 증명 시스템 언어인 Cairo로 ZK-EVM을 완성했다고 발표했으며, 내일 이더리움 공동 창립자 Vitalik Buterin, ZK-STARK 공동 발명자 Eli Ben-Sasson, StarkWare 멤버 Shahar Papini 등을 초대하여 Twitter Space를 진행할 예정입니다. 알려진 바에 따르면, Cairo는 튜링 완전한 제로 지식 증명 시스템 언어로, 아직 초기 개발 단계에 있습니다.（출처 링크）

ChainCatcher 메시지, 이더리움 인프라 개발 회사 ConsenSys가 새로운 EVM 동등 이더리움 가상 머신(zk-EVM) 규격을 발표했습니다. 설계 목표에는 황서에 지정된 EVM 규격에 따라 변경되지 않은 원시 바이트코드(native bytecode)를 실행하고, 다양한 연산 코드에 대해 100% 커버리지를 제공하며, Vitalik이 정의한 "Type 2" zk-EVM을 제공하여 개발자가 어떤 스마트 계약도 배포하고, 어떤 도구를 사용하며, L1에서 애플리케이션을 구축하는 방식에 완전히 따라 개발할 수 있도록 하는 것이 포함됩니다. 현재 테스트 버전이 공개되었습니다.팀은 zk-EVM의 완전한 설계를 실현하기 위해 노력하고 있으며, 곧 커뮤니티의 피드백을 받을 수 있는 개인 테스트넷을 출시할 예정입니다. 모든 dApp 개발자, 사용자, 연구자 및 기존 프로토콜이 참여하여 이더리움을 확장하는 데 도움을 주시기 바랍니다.（출처 링크）