Vitalik:SNARK有望在本十年结束前实现个位数倍计算开销
以太坊联合创始人Vitalik Buterin发文表示,对密码学长期发展持乐观判断。他认为SNARK、FHE及iO三类协议有33%的概率将总成本控制在基础计算成本的1+ε倍,60%概率控制在10倍以内。预计本十年内SNARK最可能实现个位数倍计算开销,已在专用哈希和部分LLM推理中达到该水平。

以太坊联合创始人Vitalik Buterin发文表示,对密码学长期发展持乐观判断。他认为SNARK、FHE及iO三类协议有33%的概率将总成本控制在基础计算成本的1+ε倍,60%概率控制在10倍以内。预计本十年内SNARK最可能实现个位数倍计算开销,已在专用哈希和部分LLM推理中达到该水平。

以太坊联合创始人Vitalik Buterin表示,Poseidon哈希函数系列经过多年研发已产生实际价值,现代隐私协议利用其快速生成SNARK证明。通用型STARK批量计算证明开销已降至三位数,未来有望降至两位数甚至更低,超出2020年代初预期。

StarkWare 联合创始人兼首席执行官 Eli Ben-Sasson 表示,认可以太坊转向 STARK 的决定,但认为相关表述存在两处遗漏和一处误导。他提到,STARKs 与 SNARKs 的研究争论已持续多年,相关工作此前多由 StarkWare 主导、以太坊基金会资助;二进制域并非由 Binius 和 Flonk 首创;而素数域 STARK 也不必依赖大素数。


以太坊基金会正式推出Post-Quantum Ethereum资源中心,目标2029年前完成协议层量子抗性升级,优先整合SNARK防止性能崩溃,数亿账户迁移与防漏洞是真正挑战。

BitVM2白皮书提出以乐观计算和SNARK验证增强比特币二层扩容能力,并将链上交易数从70笔降至3笔,推动更实用的BTC跨层桥接。

BitVM2白皮书公布后,引发市场对比特币二层扩容的新关注。新方案在可编程性、链上交易数量和安全挑战机制上均有改进,并提出BitVMBridge以支持BTC连接L2。
