搜索关键词 STARK证明
Crypto
Ethereum抗量子路线讨论升温，Vitalik Buterin与Eli Ben-Sasson支持哈希方案
围绕Ethereum抗量子升级路径，社区近期就“优先采用格密码还是哈希方案”展开讨论。面对a16z crypto对现有哈希签名聚合设计的质疑，Vitalik Buterin与Zcash联合创始人Eli Ben-Sasson表态支持在共识层以哈希签名和证明聚合作为基础架构；格密码则可在安全性经过充分验证后，再通过预编译逐步引入账户和钱包层。
Crypto
ZKsync发布证明器Airbender Prime：单卡可连续证明7200个以太坊主网区块
以太坊Layer2项目ZKsync发布零知识证明器Airbender Prime。测试结果显示，在单块NVIDIA RTX Pro 6000 Blackwell GPU上，该证明器可连续完成对7200个以太坊主网区块的证明，其中99%的区块证明耗时不足10秒。Airbender Prime采用基于RISC-V的开放架构和STARK证明技术，并提供独立验证器，以增强安全性。
Crypto
Vitalik Buterin上调以太坊2023年路线图中量子安全优先级
以太坊联合创始人Vitalik Buterin近日更新了2023年路线图，并与Ethereum Foundation最新发布的L1 Strawmap进行对照，显示量子安全已被提升至更高优先级。该Strawmap提出快速L1、gigagas级L1等五大目标，并设想到2029年前后大约每六个月进行一次分叉，合计七次；同时推进EIP-8288等具体方案，并已组建后量子安全专项团队。
