首页 > STARK

STARK

Polygon 推出基于STARK零知识证明的扩容方案 Miden,采用Facebook开源技术且兼容EVM

11月16日消息,Polygon宣布推出基于零知识的、与 EVM 兼容的扩容解决方案Miden,同时也将开源其核心组件的早期原型版本Polygon Miden 虚拟机 (VM) 。Polygon Miden 是一个基于 STARK 的 ZK Rollup,Polygon Miden VM 是完全开源的基于 STARK 的虚拟机,它的作用是验证程序执行并为DApp 部署提供增强的尽职调查。Miden VM 通过利用Facebook的Novi开发的STARK证明器/验证器Winterfell 对基于Rust语言编写的零知识虚拟机 Distaff VM进行了扩展。Distaff VM和Winterfell的核心开发人员Bobbin Threadbare将加入 Polygon 作为 Miden Lead,致力于重新整合 Distaff,将 Distaff 和 Winterfell 结合起来,并继续开发 Miden VM 及其周围的生态系统。 除Polygon Miden外,Polygon价值10亿美元的ZK策略资金还孵化Polygon Hermez和Polygon Nightfall。Pol

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)

StarkWare:仅一个STARK证明,L2上可以铸造60万NFT

官方消息,由零知识证明研究机构StarkWare表示,仅通过一个STARK证明,L2上可以铸造600,000个NFT,铸造一个NFT的成本不到10 gas,远低于一分钱。Immutable和Alpha即将发布主网,以太坊二层扩容方案StarkEx提供大规模扩展。

快讯

2024年11月05日 星期二
更多
点击鼠标右键,图片另存为...
广告