Vitalik：通用型STARK性能已超早期预期，未来计算开销或降至两位数
相关推荐
Vitalik：通用STARK证明开销有望降至两位数倍，Poseidon仍将发挥多年价值
PANews 9月6日消息，以太坊联合创始人Vitalik Buterin发文表示，Poseidon哈希函数家族凝聚了多年的研发工作，已为以太坊及其他生态带来实际价值，未来数年仍将继续发挥作用。现代隐私协议能够快速在客户端生成SNARK证明，离不开这类哈希函数。 他同时表示，目前超高速通用STARK对几乎任何批量计算的证明开销已处于数百倍量级，且有望很快降至两位数倍甚至更低。这一进展超出了2020年代初的预期，并向参与Poseidon和STARK研发的人员致贺。
Vitalik Buterin：SNARKs 有望在本世纪末实现低开销运行
火星财经消息，据 Cointelegraph 报道，以太坊联合创始人 Vitalik Buterin 表示，SNARKs、FHE 和 iO 三项技术有 60% 的可能性最终能够以不到 10 倍的开销运行，其中 SNARKs 最有可能率先实现，预计将于本世纪末落地。
Vitalik：递归STARK内存池可降低量子安全签名与隐私交易成本
Odaily星球日报讯 Vitalik 在 X 平台发文表示，希望将递归 STARK 内存池提案 EIP-8288 纳入以太坊 I-star 升级，并称其可被视为 Frames 之后的下一步。该方案可将量子安全签名数据置于链下，使签名成本降低；量子安全隐私交易的燃料成本也有望从约 1000 万降至数万。方案通过依赖帧和递归 STARK 聚合交易依赖，节点每个时间周期发送一个约 100 至 300KB 的 STARK；链上额外开销为一个 STARK 及每条待证明语句 96 字节。
Vitalik：SNARK有望在本十年末实现低于10倍的计算成本开销
PANews 9月6日消息，以太坊联合创始人Vitalik Buterin发文分享其对密码学长远发展的乐观判断。他认为，对于一般现实世界计算，SNARK、全同态加密（FHE）和不可区分混淆（iO）三类技术有33%的概率存在可将成本倍数降至“1+ε”的实现方式，即计算规模足够大时，密码学处理带来的额外开销相对于原始计算成本可趋近于零。 他还估计，三者均实现低于10倍开销的概率为60%，衡量口径为能源成本与摊销后的计算成本之和。其中至少一项突破有较大机会在本十年末实现，最可能是实现个位数倍开销的SNARK。
Vitalik Buterin 发布新提案，提议将共识层状态大幅缩减至仅保留 6 字节
Foresight News 消息，Vitalik Buterin 发布「The Extremely Lean Chain」新提案。其中提案核心是将当前 Beacon 链中每个验证者存储的状态（公钥、提款凭证、激活 / 退出 epoch 等）大幅精简，仅保留 6 字节（1 字节有效余额 + 5 字节存款树索引）。验证者需自行跟踪存款默克尔证明，并通过每日生成的 STARK 证明来异步更新有效余额和参与记录，而非由链上每 epoch 实时处理。 提案计划分为多阶段推进：移除公钥存储，改用存款树索引，并通过每日 STARK 证明完成余额更新；随后引入每日公钥刷新机制，实现验证者身份的强匿名化，同时自然支持 Single Secret Leader Election（SSLE）。该设计在单槽最终性（SSF）和递归 STARK 等 Lean 升级背景下被认为可行，目标是显著降低共识层状态开销和计算负担，支持验证者数量扩展至数百万级别，同时在高级版本中提供较强的隐私保护。
Vitalik提出“极致精简链”方案：验证者每日提交STARK证明，状态存储压缩至6字节
PANews 7月6日消息，以太坊联合创始人Vitalik Buterin发表《The Extremely Lean Chain》提案，展示如何在“精简（Lean）”升级背景下激进压缩以太坊共识链的状态要求。该方案将责任转移给验证者，由其管理并定期通过ZK证明其状态，从而消除每epoch处理负担，并可能支持数百万验证者规模。核心机制包括：将验证者公钥从链上状态移除，仅存储存款树索引；取消实时奖励和惩罚处理，验证者每日生成STARK证明其参与情况并更新余额；验证者身份每日完全重新随机化，通过ZK-STARK实现强匿名性，提款地址仅在提款时暴露，不与存款或链上活动公开关联。