Nubit与ZeroSync联合发表比特币BitVM形式化验证的开创性研究论文
IF9.CN 消息,11 月 1 日,据官方消息,Nubit 与 ZeroSync 联合发表了比特币 BitVM 形式化验证的开创性研究论文。据悉,此学术成果由 Nubit 主导,携手 ZeroSync、Alpen Labs、Citrea、Layer 1 Foundation 及斯坦福大学、加州大学圣塔芭芭拉分校等顶尖机构共同完成,并得到 Fractal B
为 Web3 世界保存记忆