2024-08-08
Vitalik为zorch添加新功能,可用GPU运行Python编写的STARK证明代码
深潮 TechFlow 消息,以太坊联合创始人Vitalik Buterin宣布,已为CUDA优化的STARK证明包zorch增加了更多M31和二进制域支持。
这一更新使得开发者现在可以使用Python编写性能合理的STARK证明代码,并在GPU上运行。
并公布Poseidon哈希函数的完整算术化过程。
2024-06-17
Vitalik:链下ZK应用程序低估了使用STARK的潜力
以太坊联合创始人 Vitalik Buterin 在社交媒体上发文表示,其认为链下 ZK 应用程序确实低估了使用 STARK 的潜力,包括对隐私要求高的用例。目前,STARK 小于 100 kB,对于链下用例而言,与使用 STARK 节省的客户端证明时间相比,这种带宽量简直微不足道。
2024-05-07
Polygon推出采用ZK-STARK技术的MidenAlpha测试网
Polygon 宣布将于 5 月 7 日启动 Polygon Miden Alpha 测试网。该测试网是基于 ZK-STARK 技术的以太坊兼容解决方案。
2023-11-06
LambdaClass在Stone和Platinum证明器之间实现STARK全兼容
Starknet中文在X平台发文表示,LambdaClass团队在Stone和Platinum证明器之间实现STARK全兼容。Lambdaworks Stark Platinum Prover目前正在新增CairoVM约束、内置程序、布局,支持使用Lambda Stark Platinum生成证明,并使用Stone进行验证。此前11月1日消息,LambdaClass创始人Federico Carrone宣布将个人所获得的逾20000枚TIA空投捐赠给以太坊核心协议贡献者组织Protocol Guild。
2023-07-17
zkSyncEra推出新证明系统升级Boojum,将协助网络过渡到STARK支持的证明系统
【zkSync Era推出新证明系统升级Boojum,将协助网络过渡到STARK支持的证明系统】7月17日消息,zkSync Era宣布推出新证明系统升级Boojum,将协助网络过渡到STARK支持的证明系统。由于Boojum证明者仅需要16GBRAM,团队表示Boojum是证明者实现去中心化的重要步骤。此外,Boojum还将对zkSyncEra定序器提供性能补充。
2023-04-28
欧易OKX通过zk-STARK技术升级POR系统
【欧易OKX通过zk-STARK技术升级POR系统】据公告显示,欧易OKX正式升级储备金证明POR系统,成为行业内首个将zk-STARK (零知识可扩展的透明知识论证)加密证明技术用在储备金证明系统的交易平台,并同步将系统开源。该技术由V神的理论发展而来,旨在通过区块链确保计算的完整性和隐私。OKX在其中加入了余额总和约束、非负约束、包含性约束3项条件,以保证证明平台持有的用户资产数据的准确有效,持续引领行业透明度的标准。 同时,欧易OKX今日正式发布第六次储备金证明(PoR),BTC、ETH、USDT储备金率均超过100%,分别为103%、103%、103%,总计价值达104亿美元,自 2023 年 1 月以来增长了 39%。除原有的BTC、ETH、USDT外,欧易OKX将公示币种数量从3个增至21个,新增USDC、XRP、DOGE、SOL、OKB、APT、DASH、DOT、ELF、EOS、ETC、FIL、LINK、OKT、PEOPLE、TON、TRX、UNI,21个币种的储备金率均超过100%。
2023-03-28
ZeroSync协会正在基于STARK证明开发比特币证明系统
【ZeroSync协会正在基于STARK证明开发比特币证明系统】3月28日消息,Robin Linus、Tino Steffens、Lukas George 等成立一个名为ZeroSync协会(ZeroSync Association)的瑞士非营利组织,将带头开发比特币证明系统,构建具有比特币隐私、互操作性和可扩展性的未来。ZeroSync基于STARK证明,为了实现比特币证明,使用由StarkWare创建的Cairo语言。 ZeroSync将分三个连续阶段推出,分别为标头链证明、假设有效链证明和全链证明,目前已经完成了前两个原型。ZeroSync Toolkit还将为比特币开发人员提供强大工具,以将零知识证明应用于他们自己的产品和服务。
2022-05-16
基于Stark Net的浏览器插件钱包Argent X已支持Firefox浏览器
基于Stark Net的浏览器插件钱包Argent X宣布已支持Firefox浏览器。
2021-08-06
Facebook 推出开源 STARK 证明程序 Winterfell,为区块链提供隐私和可扩展性解决方案
链闻消息,Facebook 宣布推出关于 STARK 证明程序的开源实现「Winterfell」,Winterfell v0.1 版本代码已发布到 Rust 工具库网站 crates.io。Facebook 表示,Winterfell 抽象了 STARK 协议的大部分复杂性,能让开发人员更加容易使用零知识证明(ZKP),并且具有有高度的可配置性,能动态调整 STARK 协议几乎所有的参数,以实现特定的性能和安全目标。Winterfell 零知识证明的一个潜在应用是为区块链提供隐私和可扩展性解决方案。链闻此前报道,Facebook 稳定币 Diem 旗下支付部门 Novi Financial 于今年 5 月在 GitHub 建立「Winterfell」的代码库。
2021-01-26
以太坊重要技术贡献者Josh Stark已全职加入以太坊基金会
以太坊重要技术贡献者、ETHGlobal成员Josh Stark宣布现已全职加入以太坊基金会。Josh Stark也是L4 Ventures的联合联合创始人,曾在区块链咨询公司Ledger Labs担任过法律运营,研究关于区块链技术的法律和治理问题。
2020-08-10
StarkWare发表由以太坊基金会资助的STARK友好散列函数研究报告
零知识证明研发机构StarkWare发表研究报告STARK友好的散列函数——调研与推荐,记录了以太坊基金会如何选择标准化的STARK友好的散列函数(SFH)。2018年7月,以太坊基金会给StarkWare一笔为期2年的阶段性捐赠,用于选择STARK友好的散列函数,这样就可以将区块链的透明度与后量子安全证明系统结合使用,并为基金会发布一个开源高效的STARK系统