财经头条
3D Printing in China Grows 30% Annually—DonR...
Formnext Asia Shenzhen returns from 26 – 28 August 2025, continuing its role as a trusted ...
Facebook稳定币Diem旗下部门正研究STARK证明程序
发布时间：2021/05/09 数字资产 浏览：425
Facebook 稳定币 Diem 旗下支付部门 Novi Financial 在 GitHub 建立了一个名为「Winterfell」的代码库，这是一个关于分布式 STARK 证明程序的实验项目。
据文档介绍，STARK 是一种新颖的计算证明方案，用于创建高效的可验证的计算正确执行的证明，不需要初始的可信设置，并且依赖于非常少的密码学假设。
文档显示计划之后通过其他功能扩展该库，包括分布式证明（Distributed prover）、完美的零知识证明（Perfect zero-knowledge），以及支持 WebAssembly。项目代号 Winterfell 可能来源于美国长篇史诗奇幻小说《冰与火之歌》，其中北境最古老家族史塔克（STARK）居住在临冬城（Winterfell）。
上一篇: 何一称“不上线SHIB”为虚假信息
下一篇: 韩国官员提议对挖矿活动征收20％的税金
发布时间: