Diem正研究STARK证明程序 已开源项目Winterfell
Facebook 稳定币 Diem 旗下支付部门 Novi Financial 在 GitHub 建立了一个名为 Winterfell 的代码库，这是一个关于分布式 STARK 证明程序的实验项目。据文档介绍，STARK 是一种新颖的计算证明方案，用于创建高效的可验证的计算正确执行的证明，不需要初始的可信设置，并且依赖于非常少的密码学假设。文档显示计划之后通过其他功能扩展该库，包括分布式证明（Distributed prover）、完美的零知识证明（Perfect zero-knowledge），以及支持 WebAssembly。
Web3.0行业快讯更多 »
- 日本警方认定 DMM Bitcoin 被盗事件系朝鲜黑客组织 Lazarus Group 所为
- MicroStrategy 将召开特别股东大会就加速 21/21 计划等关键提案投票
- Robinhood CEO：公司内部已经讨论过建立比特币储备的问题
- Messari 预测 Solana 在 2025 年将呈现爆炸式增长
- 币安 CEO：在参与加密货币投资之前需自行研究
- 分析：特朗普期望建立比特币战略储备及 MSTR 进入纳指 100 等多个因素将助力 BTC 创下新高
- DWF Labs 与阿布扎比区块链中心达成合作，将共同推出加速器计划
- 币安将上线 FIOUSDT 永续合约，最高杠杆可达 75 倍
- Amber Group迪拜子公司获得虚拟资产服务提供商许可证的原则性批准
- Greeks.live：投资者开始布局第四季度，十月行情值得关注