STA:StarkWare:欲构建ZK“宇宙”

StarkWare是一家ZK公司,专注于为以太坊规模化构建基于ZK的rollup解决方案。他们的第一款产品StarkEx于2020年推出,并于2021年11月发布了具有更多功能的StarkNet。

StarkEx是一个独立的ZK-rollup SaaS产品,通过智能合约为某些应用提供特定的用例,如交易(dYdX)、NFT (ImmutableX, Sorare)和DeFi (DiversiFi)。StarkNet是下一个迭代,是一个无需权限、去中心化和完全可组合的网络。可组合性指的是应用程序相互连接、协调和构建在彼此之上的能力。

StarkWare构建了一个新技术,将数千笔交易压缩成一个名为STARK的单一有效性证明,并提交给以太坊L1。与SNARK相比,STARK主要有两个优势:

Kujira生态Stablecoin USK和投标清算平台ORCA正式上线:9月13日,据官方消息,Kujira Network超额抵押的Cosmos生态Stablecoin USK和投标清算平台ORCA正式上线。用户现在可以抵押ATOM以铸造USK,也可以在ORCA上竞拍被清算的ATOM。目前Cosmos生态DEXFIN已支持三个交易对,KUJI/USK、ATOM/USK、axlUSDC/USK。[2022/9/13 13:26:44]

它不需要初始信任设置。

有比SNARK更快的计算时间。由于所需的计算量更少,它可以将以太坊的可扩展性提高几个数量级。

StarkWare堆栈主要由共享证明者(SHARP)和验证者(存在于L1上)组成。SHARP捆绑了来自不同dapp的多个交易,并生成一个证明。然后它与L1上的验证者共享证明。这节省了成本,因为计算是在不同的应用程序之间共享的。验证者检查SHARP证明是否有效。如果是有效,那么它们将在Fact Registry 共享。该应用程序可以与StarkEx接口或直接与SHARP (StarkNet应用程序)连接。

遭黑客攻击的算法稳定币Beanstalk Farms拟借入7700万美元资金重启项目:5月11日消息,遭黑客攻击的Stablecoin Beanstalk Farms正在从私人投资者那里筹集7700万美元的场外交易贷款拟重启项目。据悉,Beanstalk DAO已经于近日批准了相关贷款融资的治理投票,该团队计划向OTC贷方发行新代币,声称将支付500%的收益率,直到贷款全部偿还,但目前还不清楚谁会出资借给Beanstalk。

此前报道,2022年4月17日,Stablecoin项目Beanstalk DAO遭受黑客攻击,损失高达1.82亿美元。BeanStalk是一个分散的基于信用的Stablecoin协议,由三个相互连接的组件组成:去中心化价格预言机、去中心化治理系统和去中心化信贷工具。(TheBlock)[2022/5/11 3:04:56]

Bitstamp:大多数机构投资者正在积极向客户推荐加密资产:5月2日消息,加密交易平台 Bitstamp 最近的一项研究发现,机构投资者正在积极向他们的客户推荐数字资产。Bitstamp Crypto Pulse 报告对来自全球 23 个国家的 5500 多名专业投资者和 23000 名散户投资者进行了调查,报告显示大多数机构投资决策者支持将加密资产作为客户的投资。报告称,“机构投资者现在正在积极向他们的客户推荐加密货币,散户投资者开始使用加密货币。这是后续浪潮中值得关注的关键领域,以衡量当前的金融环境如何推动在原始生态系统之外采用加密货币。”根据这项研究,接受调查的机构投资者中有 68% 表示他们正在积极推荐加密货币,而 15.2% 表示谨慎行事。只有 6.4% 的人表示他们不向客户推荐虚拟资产。Bitstamp的研究还发现,近40%的散户和机构投资者两年前才开始交易数字资产。[2022/5/2 2:44:41]

StarkNet的L2节点(序列器)将执行每一笔交易,并定期向以太坊主网更新状态。需要注意的是,StarkNet的交易最终性与L1绑定,这意味着L2节点必须同时验证StarkNet和以太坊。StarkNet引入了一个涉及到以太坊主网检查点的解决方案,使其能够非常快速地在rollup端实现有效的终结。因此,所有L2节点都包含一个L1完整节点。

报告:Gate.io Startup项目当前投资回报率居首位:据官方公告,近期Gate.io针对2020年上半年含Gate.io的9个交易平台推出的15个IEO项目进行了收益率调研。调研报告显示,截至2020年7月28日,Gate.io Startup项目Meter (MTRG) 及KardiaChain (KAI) 在众多项目中表现优异,其中KAI历史最高投资回报率达913%,当前投资回报率达633%,居2020年上半年全球IEO项目当前投资回报率之首。

根据CryptoRank评级网站统计显示,Gate.io Startup首发项目收益率全球排名第三(品牌第二)。详情见原文链接。[2020/8/5]

此外,由于状态转换是由序列器“STARK-approved”的,从加密的角度来说,欺诈交易不可能在以太坊主网上被接受。这消除了存在于OR中的“挑战”周期的必要性。所有重建StarkNet状态所需的完整数据都发布在链上。

Coinbase首席税务官:美国国税局很可能将staking收益的定性为应税交易:Coinbase首席税务官Lawrence Zlatkin在7月7日的小组会议上分享了对税收和全球加密货币市场前景的看法。他表示美国对在数字货币税收缺乏明确规定,数字资产的复杂性以及各种不同类型、特征的数字资产具备很强的复性。美国国税局多年来一直敦促纳税人申报数字货币,但是一直缺乏明确指导方针。国税局很可能将staking收益的定性为应税交易。这些不确定性很可能导致资金流向对数字资产有更明确规定的司法管辖区。他表示这是Coinbase增长策略,偏好有更多客户、能够交易更多资产的市场。该领域中的客户大都来自加拿大、英国、欧盟等司法管辖区。(cointelegraph)[2020/7/8]

StarkNet使用Validium机制来实现数据可用性。它与ZK-rollup几乎相同,只是它保持数据在链下,而ZK-rollup和Optimistic Rollup (OR)保持数据在链上。Validium只在L1上发布有效性证明,同时保持数据在链下。这使得Validium能够实现相当高的吞吐量,并降低每个交易的成本。

在链下存储数据的代价是,它需要对第三方的信任,这可能会阻止用户访问他们的余额。StarkWare的目标是通过数据可用性委员会(DAC)解决这个问题,该委员会由8个独立成员组成,他们拥有交易的副本。他们还需要通过使数据在任何时候都可用来维护这些数据。如果运营者阻止用户使用他们的资金,委员会成员将确认他们的请求是否有效。

StarkWare还计划实施一种Volition机制,用户可以选择是否需要在链上发送数据。它将数据可用性的决策从应用程序级别转移到用户级别,甚至对于单个交易也是如此。如果用户想要在链上发送一个包含所有数据的高价值NFT,他们可以支付额外的成本来将其转移到链上。这将通过ImmutableX和Sorare来实现。

新技术带来新要求。Cairo是专门为STARK构建的一种图灵完备的编程语言。它在性能和可扩展性方面更好,但这是非常新的。许多开发人员不熟悉它,这使得现有的应用程序很难迁移到StarkNet上。由Nethermind开发的Warp是Cairo transpiler的EVM。Warp允许将Solidity合约无缝转换为Cairo。

Cairo语言的一个突破在于,它只允许一个验证者使用一个证明来确认许多不同程序执行的完整性。

与OR的7天等待时间相比,StarkNet不仅有更快的提款窗口,而且底层架构也有所不同。StarkNet使用的是“无状态”,你只需要在L1上存储整个状态的状态根,用户需要提供Merkle证明来访问特定的状态项。OR遵循一个“有状态”的解决方案,其中每个状态项都被记录在链上。这将导致更大的状态膨胀,并可能在未来被采用时会被证明不能很好地扩展。

就从可扩展性的角度来看,ZK - rollup比OR的性能更高,因为它们更有效地压缩数据,这意味着提交给L1时,它们的“批次大小”更小。OR的每笔交易都将数据发布到以太坊L1上, StarkEx只发布到以太坊L1以反映每个账户余额。由于这种方法,dYdX与L1的交互仅为Optimism的20%,相当于大约减少了90%的费用。

StarkWare生态系统正在成长。随着在StarkNet上部署无需许可,许多开发者都表现出了兴趣。StarkEx的开放生态系统和丰富的文档使开发人员很容易实现它。在StarkNet上进行DeFi Pooling是可能的。它允许用户在L2上存在,而DeFI仍然在它诞生的L1上,许多令人兴奋的东西正在被构建。StarkNet上已经出现了许多游戏和NFT游戏项目。

StarkNet将遵循与Optimism类似的路线:用一个序列器和有限的dapp白名单尽早启动网络,以控制启动和限制风险。最终,StarkWare希望将生态系统发展成一个StarkNet“宇宙”,同时还将网络、节点和基础设施去中心化。多个L3会在L2之上。此外,额外的层(L4等)可以建立在L3上的分形分层解决方案。

StarkNet似乎解决了区块链的三难困境:可扩展性、去中心化和安全;三者可同时发生。它展示了使用ZK -rollup扩展以太坊的前景。以太坊已经拥抱了一个以rollup为中心的未来,用户在L2上交易,L1作为结算层。EIP-4488将进一步降低rollup的交易成本。拥有大量支持的StarkNet似乎是一个强大的L2未来竞争者,由于Cairo是一种不太受开发者欢迎的新语言,StarkWare能吸引多少人才还有待观察。对于Validium,我们必须信任L2的数据可用性。尽管存在这些挑战,StarkWare已经展示了如何使用STARK提供有效的解决方案来扩展以太坊。这是一个值得期待的项目。

Source:https://medium.com/coinmonks/starkware-building-zero-knowledge-scaling-solution-c0b930faab6a

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

MATICARK:零知识证明:隐私问题的解决方案

采用零知识证明最知名的技术就是匿踪币Zcash的zk-SNARKs。目前主流加密货币,不论是比特币或以太币都是匿名资讯公开,简单来说就是不会有人知道钱包的主人是谁,但是大家都知道这钱包有多少钱、.

[0:15ms0-0:961ms