​Succinct 宣布其新一代 zkVM 已实现“家用级实时证明”

Succinct 宣布其新一代 zkVM「SP1 Hypercube」已实现“家用级实时证明”，在仅配备 16 张 RTX 5090 显卡、总体资本开支（CAPEX）低于 10 万美元的条件下，可实时证明以太坊约 99.7% 的区块。优化了算术化层，并去除了对“proximity gap”类假设的依赖，还在以太坊基金会的资助下与 NethermindSec 合作，成为首个完成“指令约束形式化验证”的 zkVM。