木星链 木星链
Ctrl+D收藏木星链
首页 > XLM > 正文

ARK:金色观察|读懂StarkNet、Layer3及须关注的StarkNet上的项目

作者:

时间:1900/1/1 0:00:00

本文对StarkNet生态做了完整分析,首先将介绍理解所讨论主题的所有基本概念。任何对加密货币和区块链技术感兴趣的人都必须吸收这些知识。

第二部分,将介绍StarkWare开发的解决方案StarkNet/StarkEx,StarkNet:Cairo的智能合约语言及其与Solidity相比的特殊性,以及一些非典型和创新的微妙之处。

最后将分享一小部分正在构建的项目,这些项目将会在生态系统爆发中发挥重要作用。

词汇表

ZKP=零知识证明

ZKSTARK=零知识可扩展透明知识论证

Rollup=来自ETH智能合约交易的链下聚合

ZK-Rollup=使用ZKP进行Rollup

Scalabilité

SHARP=共享证明者

ZeroKnowledge、ZKSTARK和Rollup

零知识证明

虽然区块链为我们带来了透明度、不变性和去中心化等巨大好处,但隐私的概念却很少被讨论。这就是零知识证明(?ZKP?)的用武之地:可组合性、隐私性和不变性的组合。

ZKP是一种加密方案,通过该方案,一方可以向另一方证明特定信息的真实性,而无需透露任何额外信息。

在一个具体的例子中,VER想要从金库中收集奖励。在ZK中:

PR秘密生成密钥(K)

VER验证密钥,允许获得奖励

ZKP被验证证实

同样的,ZKP也可以解决:

PR生成密钥(K)并秘密地从保险库中检索奖励

VER验证奖励对应于仅在同一保险库中可用的奖励

金色财经合伙人佟扬:可从协议价值等维度鉴定Defi项目的投资价值:金色财经现场报道,在金色财经主办的 “金色沙龙第59期上海站:“DeFi-2021发展形势与投资价值分析”的活动现场,金色财经合伙人、节点咨询&IPFS100.com CEO 佟扬发言指出:DeFi?业在2020年以惊?的速度增?,有数?亿美元被投入到相关项?中。与此同时,如何鉴定一个Defi项目是否值得投资,变得尤为重要。优质DeFi项?,可通过以下维度进行鉴定:

第一,Defi项目的协议价值。如:Defi项目体系结构的复杂性、?动化代码测试的质量、通?开发实 践、评估审计结果、协议控制等方面均需要深入研究;

第二,代币价值。如代币当前流通量,总供应量,基金会及团队持有量,代币的锁仓和释放时间表,是否存在通缩或通胀等情况;

第三,未来增?。如:市场规模的机会,项目代币的价值获取机制,产品的增?和推动其发展的杠杆等;

第四,团队实力。可通过调查团队背景,其专业度,团队安全性等方面入手,同时这些信息也通过媒体,官网等渠道多方面考证。[2021/1/22 16:47:44]

ZKP被验证证实

总之,VER验证者将不知道除布尔语句之外的任何信息。其他方的信息和个人数据的详细信息保持匿名。

如你所见,ZKP允许隐私。但是这种方法的有趣之处在于它非常简单、安全并具有令人难以置信的可扩展性,许多区块链应用程序都选择它来实现这些优点。

Rollup和Zk-Rollup

以太坊Rollup是以太坊智能合约中交易的链下聚合,通过将吞吐量从当前的15tps提高到超过1000tps来减少费用和拥塞。

金色晨讯 | 币安宣布推出锚定BTC的代币BTCB 吴忌寒新公司Matrix将上线:1.MimbleWimnle隐私币场外交易量激增。

2.Ripple将收购速汇金3000万美元股权。

3.全球最大交易商间经纪商TP?ICAP计划交易比特币衍生品。

4.币安宣布在币安链上推出锚定比特币的代币BTCB。

5.俄罗斯中央银行考虑发行自己的加密货币。

6.吴忌寒新公司Matrix将上线 业务或涉交易所、矿场和Tokenfund。

7.以色列交易所Bits of Gold胜诉并不能作为加密行业法律先例 加密行业监管仍不确定。

8.美国金融业监管局疑似“暂停”了对约40份加密公司经纪自营商申请的审批。

9.SEC委员:SEC将更有可能在行业成熟后批准比特币ETF。[2019/6/18]

ZK-Rollups是正在开发的用于构建2层的选项之一,通过在单个交易中处理大量转账来提高可扩展性。Plasma每次转账创建一个交易,ZK-Rollups将数百个转账聚合成一个交易。智能合约将解构并验证单笔交易中的所有转账:另一个可扩展性证明。

ZKP方法用于公开展示和记录以太坊区块链上区块的有效性。ZK通过减少交易中持有的数据量来减少验证区块的计算和存储资源;不需要数据集的知识。

ZKSNARK—ZKSTARK

下面将介绍本文的一个关键概念:ZKSNARK和ZKSTARK,它们实际上是两种不同类型的零知识证明。

ZK-Rollup方案由两种类型的用户组成:中继者和交易者。

1、交易者创建他们的转账并通过网络广播转账。智能合约将数据存储在两个Merkle树中:

一个默克尔树中的地址

另一个默克尔树中的转账的金额。

2、中继者收集大量转账以创建聚合。生成SNARK证明是中继者的工作:ZKSNARK。

SNARK证明是代表区块链状态改变的哈希值。SNARK证明将转账前的区块链快照与转移后的区块链快照进行比较,并仅向主网络报告可证明哈希的变化。

金色相对论 | HIGH LIGHT第一期:百度XUPER CHAIN开源:金色相对论之High-Light重磅出击~金色财经技术男神潘瑞携手佟掌柜,专研最前沿的区块链技术与应用,为金色财经读者带来最精彩的技术AMA社群讨论~第一期迎来流量霸主百度,一起聊聊开源的那些事儿!点击原文查看直播吧[2019/5/31]

在ZK-STARK之前,ZK-SNARK用于创建ZK证明系统,但需要一个或多个受信任方来初始配置ZK证明系统,这引入了这些受信任方的漏洞,从而危及整个系统的机密性。ZK-STARK通过消除对可信配置的需求来改进这项技术。

这个新证明解决了旧SNARK证明的最大缺陷之一。这个证明是由StarkWare团队提出。我稍后将介绍。

STARKs改善了无许可区块链的两个问题:可扩展性和隐私。

STARK通过允许开发人员将计算和存储转移到链下来提高可扩展性。链下服务将能够生成证明链下计算完整性的STARK证明。然后将这些证明送回链上,供任何相关方验证计算。使用STARK转移大部分的链下计算工作允许现有的区块链基础设施以指数方式扩展,同时保持计算完整性:它将改变游戏规则。

现在你拥有进入StarkWare:StarkNet生态系统的钥匙了。

StarwarexStarkNet

StarkNet是一种去中心化、无需许可的ZK-Rollup,并使用ZKSTARK技术在不损害隐私的情况下实现指数级扩展。

行情 | 金色盘面:VET短线再次急速下跌:金色盘面分析师表示:VET短线再次急速下跌,小时级别macd出现背离情况,短期内可持续关注币价波动。[2018/8/3]

StarkNetAlpha于2021年6月在公共测试网上发布,并于2021年11月主网上线。在主网部署时,StarkNet已经在类似以太坊的状态下提供通用计算。

在整个开发过程中,StarkWare团队选择了一种专注于首先发布最重要功能的方法,本质上是与社区共享进化过程。

StarkNet远未完成,但即使是现在,开发人员已经可以创建有意义且复杂的应用程序。如今,有数百名开发人员依赖StarkNet、大量dApp,以及一些外部团队为StarkNet生态系统开发工具和基础设施。

一系列更新提供了许多重要功能。有几个引起了我的注意:

L1<->L2消息传递

链上数据和可组合性支持

活动支持

基础定价机制,合约升级

钱包抽象

测试框架、开发工具、快速确认

自2022年年初以来,生态系统已达到可用性门槛:可以构建完整且令人惊叹的dApp。团队现在将专注于系统性能:在当前状态下,它能够支持有限的交易流。目标是在2022年下半年初实现TPS至少比以太坊高一个数量级,而成本至少比以太坊低两个数量级。

StarkNet必须是一个完全去中心化的无许可网络,具有领导选举和治理机制。一旦吞吐量飙升和成本下降,实现这一目标将成为主要目标。

StarkEx现在是一些使用L2的最成功dApp的扩展引擎:dYdX、DeversiFi,以及ImmutableX(IMX)和Sorare。

分形扩展:3层及更多

以太坊上高昂的交易成本推动L2发展。StarkWare的范式是,由于交易成本大幅降低、对DeFi工具的支持不断增加以及它们提供的流动性增加,最终用户将在L2上开展大部分业务。L2s通过降低每笔交易的gas成本和提高交易率来提高可扩展性。同时,L2s保留了去中心化、通用逻辑和可组合性的好处。但是,某些应用程序需要特定的定制,可以通过单独的新层更好地服务:让我们谈谈第3层。

金色财经独家分析 成为投资组合重头戏加密货币需关注两点:消息称,高盛报告显示称仅有3%的受访者认为加密货币可以在投资组合中扮演一定角色。这显示出加密货币的普及程度存在较大提升空间。投资组合的原则是将实现受益与分散风险相互结合,而加密货币中,相当一部分币并不优质,存在归零风险长期看收益性不确定;至于分散风险,币圈跟风涨跌,价格存在关联性,主流币主导加密货币市场走势,风险分散性较差;要成为主流投资品,有赖于价格进一步稳定,也有赖于市场逐渐涤荡筛选形成更多稳定的币种。但值得注意的是,加密货币市场目前几乎独立于现实世界之外,与传统金融的产品存在弱相关性,这个角度来看,加密货币是一个很好的分散风险的选择。[2018/4/26]

L3与L2相关,就像L2与L1相关一样。只要链接的L2能够支持智能合约验证者,就可以使用有效性证明来实现L3。当L2也使用提交给L1的有效性证明时,就像StarkNet所做的那样,它变成了一个疯狂的递归结构,其中L2证明的压缩优势乘以L3证明的压缩优势。

换句话说,如果每一层都实现了例如1000倍的成本降低,那么与L1相比,所讨论的L3可以实现100万倍的降低,同时保持相同的安全性。然后,人们可以想象一笔交易费用只需要通常的gas费用的一小部分。

StarkWare解释了拥有3层的优势:

超可扩展性:利用递归证明的乘法效应。

由技术堆栈的应用程序设计人员更好地控制:

更具确定性的性能和成本

定制的数据可用性模型,

更快的功能和技术速度。

机密性:ZKP应用于公共L2上的隐私保护交易。

互操作性:独立的L3将通过L2而不是L1进行交互。L2显然应该比L1便宜。

L3对于L2相当于Polkdot的“金丝雀”网络Kusama:在向公众提供之前,可以在L3上测试新的创新。

同样,我们也提供了一个由StarkWare提出的3层理论例子:

具有Validium数据可用性的StarkNet,例如,用于对价格极为敏感的应用程序的一般用途。

为获得更好的应用性能而定制的特定应用StarkNet系统,例如,使用指定的存储结构或数据可用性压缩。

具有Validium或Rollup数据可用性的StarkEx系统立即为StarkNet带来了经过实战验证的可扩展性优势。

隐私StarkNet实例启用隐私保护交易,而无需将它们包含在公共StarkNet中。

Starknet上的智能合约:Cairo

StarkNet建立在Cairo编程语言之上,这是以太坊上第一个生产级完整的冯诺依曼图灵检查者。它实际上是生态系统中智能合约的语言。Cairo允许开发人员使用ZKSTARK的强大功能来创建完全可扩展的应用程序。让我们仔细看看。

Cairo:智能合约

Cairo是一种用于编写可证明程序的语言:Cairo程序的执行会产生跟踪,然后可以将其发送给证明者,证明者会生成由Cairo程序表示的指令或计算的有效性的STARK证明。然后可以用验证者检查证明。

如今,大多数dApp都是围绕智能合约Solidity构建,实现了某种逻辑和接口以及后端。这些dApp成功后,不可避免地会面临可扩展性问题。

我们越来越多地看到dApp通过转向基于证据的L2可扩展解决方案来解决其可扩展性问题。链下组件支持业务逻辑的一些更复杂的部分,并与链上智能合约进行通信,而不会放弃安全性,因为对系统状态的所有更改都经过证据证明(?ZKP?)。可扩展性提高了,因为验证链上证明比完全在链上执行业务逻辑要便宜得多。

Cairo使用证明来实现可扩展性的障碍要低得多:在Cairo编写逻辑,然后代码必须在链下得到证明,一旦证明在链上得到验证,你最终会得到一个可以自信地使用的结果——就像它在链上运行一样。

在以太坊上,三点是昂贵的:计算、传输和存储。

Cairo解决了这三个问题。要了解它是如何做到这一点的,我们需要引入一个新概念——共享证明者。

SHARP是Cairo代码和Solidity智能合约之间的链接。它具有三个主要组件:证明者、智能合约验证者和事实记录器合约。

证明者跟踪你的程序的执行,证明它是有效的并将这个证明发送给验证者。在验证了证明之后,链上验证者采取了更重要的一步:它在事实寄存器中写入一个事实来证明证明的有效性。这个事实就像一个没有信任的批准印章,证明Cairo计划的计算是正确的。现在,dApp的智能合约剩下的就是验证这一事实是否存在,以便依赖于链下执行的计算。

为了进一步了解这个开发环境,请看Notion页面:

必须关注的StarkNet上的项目

StarkNet钱包:ArgentX

第一步是配置钱包。我们将使用ArgentX:下载chrome扩展或查看他们的repo

不像以太坊L1的私钥和账户通常是同一个东西,StarkNet支持账户抽象,这意味着每个账户实际上都是一个智能合约,必须先部署它才能与网络交互。对于普通用户来说,这既是一个绝佳的机会,也增加了复杂性。

ArgentX钱包在这里被用来抽象出复杂性:它创建和保护私钥,部署密钥控制的账户合约,连接到去中心化应用程序并将交易发送到StarkNet网络。

在我看来,使用智能合约作为钱包是安全性的一大进步。ArgentX提供了与钱包相同的方式来创建保险柜。除非你使用监护人,否则所有地址不受信任的交易都会被自动阻止。这种安全性涵盖了所有资产,具有可信地址的交易是透明的。

目前,可用的应用程序主要在StarkNet的测试网上,要使用它们,你必须获得测试代币:https://faucet.goerli.starknet.io/

StarkNet桥

第二个最重要的事情是:如何将资金从L1转移到L2Starknet。答案在StarGate网桥中。不过应该谨慎,因为它又是一个Alpha产品,尚未经过审计。

StarkNetDEX—AMM

我们将从进入新生态系统时都在寻找的东西开始:DEX、交易和AMM。

截至今天,有几个dApp脱颖而出:

Zigzag:DEX,一个围绕ZKP构建的去中心化交易所,带有OrderBook。

ZKX:永续合约交易

Starkswap:DEXAMM,自动做市商的去中心化交易所

StarkNet借贷

zkLend:zkLend是基于StarkNet的货币市场协议。ZkLend为机构客户和面向DeFi零售用户的免授权服务提供双重授权套件。

StarkNetLaunchpad:ZkpadZkPad为所有人建立一个风险投资平台。

像往常一样,在我看来,新生态系统的焦点之一是:Launchpad。ZkPad的目标是为创始人提供战略和运营支持,包括Twitter/Discord上的联合营销、合作伙伴关系和生态系统介绍、访问选定人才的数据库,包括Cairo开发人员、UX/UI设计师和营销人员。该平台专门用于向个人开放以前为投资基金保留的投资机会。

StarkNetDeFi

Magnety:Magnety是一种资产管理协议,允许任何人通过Starknet和L1DeFi生态系统创建和管理对冲基金。该协议允许用户根据可以选择的投资策略创建一个高度可定制的金库。

StarkNet上的项目目前被汇集在这个Notion页面,https://starkware.notion.site/Projects-Building-on-StarkNet-a33dee55778a4515a9be9bdae02ee682

标签:ARKSTASTARSTARKNOAHARK价格Stargram CoinStarterCoinstarknet币价分析

XLM热门资讯
TAL:融资过亿美金的项目中 将诞生多少“加密独角兽”?

最近两年的加密领域可谓是今非昔比,VC们在加密领域的投融资活动越来越密集,一笔笔越来越大的投入流向加密项目.

1900/1/1 0:00:00
BAY:金色观察|无聊猿官方Instagram被黑:部分已售卖获利

树大招风,BAYC又被盗了。周一上午10点前,BAYC官方Twitter账户披露了一起黑客入侵事件.

1900/1/1 0:00:00
WEB:Web3.0架构不仅是去中心化的 更是模块化的

作者:Xiang|W3.Hitchhiker一、Web2.0架构Web2.0应用以去中心交易所Binance为例,Binance允许用户去交易各种代币.

1900/1/1 0:00:00
加密货币:加密货币指数协议Index Coop?宣布推出NFT 指数基金

金色财经报道,加密货币指数协议IndexCoop?宣布推出NFT指数基金。该指数名为“JPG”,向持有者展示高价值NFT,例如CryptoPunks、BoredApeYachtClub、Meeb.

1900/1/1 0:00:00
DAO:以传说命名DAO其背后含义

继前期系列文章,我们探讨关于DAO增长规模、二元治理等问题之后,本篇文章DAOrayaki社区将继续编译,DAOMMORPG传说工匠的问题。这个话题已经引起了DAO人的迅速关注.

1900/1/1 0:00:00
ADA:ADAMoracle使命达成 项目品牌正式升级为“ADAM”

2022年5月6日,ADAMoracle品牌正式升级为“ADAM”。这既是“ADAMoracle”完成使命的终点,也是项目晋级再发展的新起点,我们将重新出发,为实现更宏大的愿景而全力以赴.

1900/1/1 0:00:00