zkvm

ChainCatcher 현장 보도, 이더리움 공동 창립자 Vitalik Buterin이 2026 홍콩 Web3 카니발에서 주제 발표를 하였습니다. 그는 이더리움을 두 가지 핵심 기능으로 정의했습니다: 첫째, 애플리케이션이 메시지와 데이터를 게시할 수 있는 공공 게시판; 둘째, 코드에 의해 제어되는 공유 디지털 객체로, 자산, NFT, ENS 및 DAO 등을 포함합니다. 그는 이더리움의 목표가 고빈도 거래 플랫폼과 속도 경쟁을 하는 것이 아니라, 가장 안전하고, 가장 탈중앙화되며, 항상 온라인인 신뢰할 수 있는 체인이 되는 것이라고 강조했습니다.단기 로드맵에 대해 그는 계정 추상화 제안 EIP-8141을 소개했으며, 이는 스마트 계약 지갑, 양자 저항 서명 알고리즘 및 프라이버시 프로토콜을 원주율적으로 지원합니다; 양자 저항 측면에서 현재 해시 및 격자 기반 두 가지 서명方案가 있으며, 팀은 EVM을 통해 대폭적인 효율성 향상을 위해 벡터화 작업을 진행하고 있습니다.그는 ZKVM이 실시간 EVM 실행을 증명할 만큼 충분히 빠르며, 올해 목표는 그 안전성을 보장하는 것이고, 소규모 네트워크에서 시작하여 2028년까지 검증 체인의 주요 방식이 되도록 배포할 계획이라고 밝혔습니다. 이는 이더리움이 탈중앙화를 희생하지 않고 대폭 확장할 수 있도록 합니다. 장기 비전 측면에서 이더리움은 AI를 활용하여 수학적 증명을 생성하고 소프트웨어 안전성을 형식적으로 검증하며, 완전한 양자 안전성과 최대 간결성을 추구하여 플랫폼의 안전성이 어떤 단일 팀의 지속적인 존재에 의존하지 않도록 하고 있습니다.

据 The Block 报道，a16z Crypto 在一篇关于其 Jolt zkVM 的博客文章中，对某些开发者环境中 "ZK" 一词的通俗用法提出批评。文章指出，大多数 zkVM 实际上并不具备零知识属性，除非应用昂贵的 "包装" 程序。作者还提到，"zk" 往往成为 "简洁性" 的代名词，即证明 "简短且验证快速"，而非真正的零知识隐私。随着社区对隐私的关注日益增长，这种术语的误用正成为一个真正的问题。a16z 的开源 Jolt zkVM 于周二推出重大升级，原生支持零知识证明。Jolt 使用了 NovaBlindFold 折叠方案创建盲化证明以防止信息泄露，使其适用于隐私应用，升级后生成的零知识证明仅比原本非 ZK 证明增加约 3 KB。

ZKsync 2026년 로드맵 발표, 세 가지 핵심 방향에 집중:Prividium은 프라이버시 엔진을 "은행급 스택"으로 확장하여 기업에 기본적으로 내장된 프라이버시를 제공하는 암호화 인프라를 제공합니다;ZK Stack은 단일 체인 아키텍처에서 "조정 시스템"으로 전환하여 애플리케이션 체인이 해당 스택 내에서 원활하게 작동하고 유동성 및 공유 인프라를 원주율 통합합니다;Airbender는 "가장 빠른 zkVM"에서 "범용 표준"으로 발전하여 보안성, 형식적 엄밀성 및 개발자 경험을 우선 보장하며, 서비스 범위는 ZKsync 및 이더리움 생태계를 넘어 더 넓은 사용 사례로 확장됩니다.

ChainCatcher 메시지, 이더리움 공동 창립자 비탈릭 부테린이 X 플랫폼에 글을 올리며, 이더리움 팀이 올해 들어 매우 뛰어난 성과를 보여주었고, 여러 측면에서 기여하여 이더리움의 장기적인 확장성, 탈중앙화 및 탄력성을 보장하고 있다고 밝혔습니다. 이러한 모든 아이디어는 단기 확장 로드맵에서 주요 이정표를 달성하는 동시에 실행 준비가 되어 있을 것으로 예상됩니다.비탈릭 부테린이 리트윗한 내용에 따르면, 현재 이더리움 개발자들은 이더리움을 간소화하기 위한 최소 zkVM인 "leanVM"을 제안했으며, XMSS 집합 및 재귀에 대해 최적화되었습니다. 카이로(Cairo)와 비교할 때, leanVM은 4개 명령어 ISA, 다중 선형 STARK 및 logup 조회를 통해 약속 비용을 최대한 줄였습니다.

ChainCatcher 메시지, ZKM은 새로운 세대의 zkVM(제로 지식 증명 가상 머신) Ziren(원래 zkMIPS)을 발표했습니다. GPU 가속, 분산 증명 아키텍처, 그리고 깊이 최적화된 제약 시스템을 통해 제로 지식 증명(ZK) 시스템의 실제 응용 시나리오에서의 배포 가능성과 확장성을 위한 새로운 공간을 열었습니다. Ziren은 핵심 증명 속도를 30배 향상시키고, 집합 증명 속도를 15배 향상시키며, 상태 준비 시간을 5분에서 30초로 단축시켰고, 이미 GOAT Network 비트코인 원주율 zkRollup 프로젝트에 사용되고 있습니다.Ziren의 명명 영감은 신화 "Siren"의 변형에서 비롯되었으며, 환상에서 현실로의 전환을 나타냅니다 ------ 기술은 더 이상 단순한 매력이 아니라 실제로 사용 가능한 약속입니다. Ziren은 주류 개발자들이 실제로 효율적이고 신뢰할 수 있으며 배포 가능한 zk 인프라를 갖추도록 하여 Rust/C/C++ 프로그램 증명 생성을 지원하고, 완전한 이더리움 Rust 클라이언트 검증과 호환되며, 개발자들이 신뢰할 수 있는 제로 지식 시스템을 쉽게 구축할 수 있도록 돕는 것을 목표로 합니다.

ChainCatcher 메시지에 따르면, The Block의 보도에 의하면, Polygon 공동 창립자 Jordi Baylina와 Polygon zkEVM 뒤에 있는 팀이 Zisk라는 독립 회사로 전환되었습니다.전해진 바에 따르면, 관련된 모든 코드와 IP가 이전되었습니다. Zisk의 웹사이트 정보에 따르면, 이 프로젝트는 2024년 5월 Polygon Labs 내부에서 인큐베이팅되었으며, 6월 13일 공식적으로 독립하였고, Zisk는 저지연, 오픈 소스 zkVM 증명 기술에 집중할 것입니다.

ChainCatcher 메시지, RISC Zero가 zkVM 1.2 버전을 공식 출시하며 새로운 "응용 프로그램 정의" 프리컴파일(Application-defined Precompiles) 기능을 도입했습니다. 이 혁신은 전통적인 프리컴파일 모듈의 아키텍처 방식을 변화시켜 프리컴파일 기능이 응용 프로그램과 함께 배포될 수 있도록 하여 zkVM 내부의 고정된 구현에 의존하지 않고 성능과 유연성을 향상시킵니다.zkVM 1.2 버전은 개발자가 즉시 프리컴파일 기능을 응용 프로그램에 통합할 수 있게 하여 시스템 업데이트나 추가 조정 작업 없이 더 빠르고 효율적인 개발 경험을 제공합니다.전해진 바에 따르면, Automata는 RISC Zero의 RSA 프리컴파일 기능을 통합하여 프로그램 실행 주기를 3900만에서 19.8만으로 줄여 약 198배의 비용 절감을 달성했습니다.

ChainCatcher 메시지, 이더리움 재단 연구원 Justin Drake가 트윗에서 이더리움 재단이 zkVM에 수천만 달러를 투자하고 있으며, 여기에는 zkRISC-V 형식 검증, Poseidon 암호 분석 및 zkVM을 위한 L2beat가 포함된다고 밝혔습니다.

ChainCatcher 메시지, a16z는 zkVM Jolt의 성능과 사용 가능성에 대해 여러 가지 개선을 했다고 발표했습니다. 검증기 비용이 크게 감소하여 4월의 몇 MB의 증명 크기에서 약 200 KB로 줄어들었으며, 추가로 25 KB로 더 줄일 수 있습니다. 증명기는 3배 가속화될 것으로 기대됩니다. Rust 표준 라이브러리 등을 지원합니다.