我们的SP1负责人 @tamirhemo 明天将在 @eth_proofs 的活动上发言，分享SP1 Hypercube，我们的下一代证明系统。 如果你对实时证明、形式验证、Hypercube如何提升 @ethereum 的可扩展性感到好奇……或者想了解我们正在构建的未经过滤的版本，欢迎来打招呼。