区快洞察消息,Facebook 稳定币 Diem 旗下支付部门 Novi Financial 在 GitHub 建立了一个名为「Winterfell」的代码库,这是一个关于分布式 STARK 证明程序的实验项目。据文档介绍,STARK 是一种新颖的计算证明方案,用于创建高效的可验证的计算正确执行的证明,不需要初始的可信设置,并且依赖于非常少的密码学假设。文档显示计划之后通过其他功能扩展该库,包括分布式证明(Distributed prover)、完美的零知识证明(Perfect zero-knowLEDge),以及支持 WebAssembly。项目代号 Winterfell 可能来源于美国长篇史诗奇幻小说《冰与火之歌》,其中北境最古老家族史塔克(STARK)居住在临冬城(Winterfell)。