Facebook发布开源STARK证明程序Winterfell 0.1版本代码
-
Facebook近日宣布推出关于STARK证明程序的开源实现Winterfell。Winterfellv 0.1版本代码已发布到Rust工具库网站crates.io。据称，Winterfell抽象了STARK协议的大部分复杂性，能让开发人员更加容易使用零知识证明（ZKP），并且具有有高度的可配置性，能动态调整STARK协议几乎所有的参数，以实现特定的性能和安全目标。Winterfell零知识证明的一个潜在应用是为区块链提供隐私和可扩展性解决方案。 据此前5月份报道，数字钱包Novi Financial在GitHub建立Winterfell代码库，这是关于分布式STARK证明程序的实验项目。据悉，Novi是Facebook用来支持Libra（已更名为Diem）数字货币的数字钱包，最初名为Calibra。STARK是一种新颖的计算证明方案，用于创建高效、可验证的计算正确执行的证明，不需要初始的可信设置，并且依赖于非常少的密码学假设。文档显示计划之后通过其他功能扩展该库，包括分布式证明（Distributed prover）、完美的零知识证明（Perfect zero-knowledge），以及支持WebAssembly。项目代号Winterfell可能来源于美国长篇史诗奇幻小说《冰与火之歌》，其中北境最古老家族史塔克（STARK）居住在临冬城（Winterfell）。
下一篇
BSV于699097区块高度挖出999.7MB区块，创历史新高
- 8月6日，据WhatsOnChain数据显示，BitcoinSV于699097区块高度挖出999.7MB区块，创历史新高，其中包含11785笔交易。
24小时热点
热点专题
2235440 