Succinct 宣布其新一代 zkVM「SP1 Hypercube」已实现“家用级实时证明”，在仅配备 16 张 RTX 5090 显卡、总体资本开支（CAPEX）低于 10 万美元的条件下，可实时证明以太坊约 99.7% 的区块。优化了算术化层，并去除了对“proximity gap”类假设的依赖，还在以太坊基金会的资助下与 NethermindSec 合作，成为首个完成“指令约束形式化验证”的 zkVM。https://www.wublock123.com/index.php?m=content&c=index&a=show&catid=6&id=52171(吴说区块链)