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

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 개발자, 사용자, 연구자 및 기존 프로토콜이 참여하여 이더리움을 확장하는 데 도움을 주시기 바랍니다.（출처 링크）