宣布NPM新星计划- Neptune Mutual
为什么你需要参加NPM新星竞赛因为它能让你在我们的社区建设工作中发挥积极作用。 Neptune Mutual项目保障了以太坊社区免受当代金融产品的网络威胁。我们的投资者网络、合作伙伴和社区都是在捍卫以太坊和其他区块链生态系统免受网络威胁的原则下形成的。 像往常一样,我们很高兴根据社区的意见和反馈,推出NPM新星大赛。此外,请密切关注即将推出的大使计划。谁是NPM新星NPM新星是像你一样的社区成员,他们为我们的社区讨论渠道做出贡献,并帮助塑造海王星互助协议的未来。作为新星,你有能力通过我们的社区平台,特别是Discord和Twitter,提高人们的认识并鼓励积极合作。获奖者如何被选中首先,你必须使用Gleam注册参加本次比赛,并完成所有要求的任务。你在Gleam上完成的可选任务将被大奖得主的评选过程纳入。 https://gleam.io/D2oed/npm-rising-stars-first-batch 在Gleam上注册完成任务之后,加入我们的Discord服务器并开始参与我们的社区对话。带来你对我们协议的想法,提出问题,提供反馈,并在其他社区成员有问题时回答他们。成为我们社...
什么是永续合约?
欢迎来到我们回归基础系列的第 2 部分,我们将在其中讨论什么是永续合约?并深入了解衍生品世界。在我们进入永续合约以及它们如何主导加密市场之前,让我们绕道而行,先了解衍生品的历史、衍生品是什么以及它们的类型。 沃伦·巴菲特 (Warren Buffet *) 曾将衍生品称为“大规模杀伤性金融武器”。*虽然巴菲特似乎对衍生品没有多大信心,但没有它们,全球金融体系就无法像今天这样运作。 衍生品的历史早在货币发明之前,人们一直在进行商品和服务的交易。如果我们追溯衍生品的起源,它起源于使用粘土代币的塞缪尔人,之后欧洲人使用公平信来买卖农业。如果我们快进到18世纪的日本,他们使用大米券,可以换取现金。这种新的交易方式从太平洋地区传到了北美,1848年,芝加哥期货交易所成立。今天,利率互换、货币衍生品和结构性产品都是源于这些古老商业方法的现代交易实践。 现在,让我们深入了解什么是现代衍生品? 衍生品是两方或多方之间签订的金融合同,其价值来自另一相关金融资产的价格。它们的基础资产决定了其定价、风险和基本期限结构。 衍生价值的资产类型衍生品类型你也可以观看 "什么是衍生品 "的数学视频,以获得直观...
Neptune Mutual Incentive Testnet Interaction Guide
Neptune Mutual is an open crypto asset insurance yield protocol that enables users to purchase insurance policies to protect their digital assets from hacking and exploitation. The protocol uses parametric insurance rather than discretionary insurance. It has a simple and reliable on-chain claims process.Neptune Mutual Got You Covered Get guaranteed payouts from our parametric cover model. Resolve incidents faster without the need for claims assessment. Receive Rewards Invest stablecoin liqui...
If i had to leave my life without you near me.

Subscribe to 白开水
宣布NPM新星计划- Neptune Mutual
为什么你需要参加NPM新星竞赛因为它能让你在我们的社区建设工作中发挥积极作用。 Neptune Mutual项目保障了以太坊社区免受当代金融产品的网络威胁。我们的投资者网络、合作伙伴和社区都是在捍卫以太坊和其他区块链生态系统免受网络威胁的原则下形成的。 像往常一样,我们很高兴根据社区的意见和反馈,推出NPM新星大赛。此外,请密切关注即将推出的大使计划。谁是NPM新星NPM新星是像你一样的社区成员,他们为我们的社区讨论渠道做出贡献,并帮助塑造海王星互助协议的未来。作为新星,你有能力通过我们的社区平台,特别是Discord和Twitter,提高人们的认识并鼓励积极合作。获奖者如何被选中首先,你必须使用Gleam注册参加本次比赛,并完成所有要求的任务。你在Gleam上完成的可选任务将被大奖得主的评选过程纳入。 https://gleam.io/D2oed/npm-rising-stars-first-batch 在Gleam上注册完成任务之后,加入我们的Discord服务器并开始参与我们的社区对话。带来你对我们协议的想法,提出问题,提供反馈,并在其他社区成员有问题时回答他们。成为我们社...
什么是永续合约?
欢迎来到我们回归基础系列的第 2 部分,我们将在其中讨论什么是永续合约?并深入了解衍生品世界。在我们进入永续合约以及它们如何主导加密市场之前,让我们绕道而行,先了解衍生品的历史、衍生品是什么以及它们的类型。 沃伦·巴菲特 (Warren Buffet *) 曾将衍生品称为“大规模杀伤性金融武器”。*虽然巴菲特似乎对衍生品没有多大信心,但没有它们,全球金融体系就无法像今天这样运作。 衍生品的历史早在货币发明之前,人们一直在进行商品和服务的交易。如果我们追溯衍生品的起源,它起源于使用粘土代币的塞缪尔人,之后欧洲人使用公平信来买卖农业。如果我们快进到18世纪的日本,他们使用大米券,可以换取现金。这种新的交易方式从太平洋地区传到了北美,1848年,芝加哥期货交易所成立。今天,利率互换、货币衍生品和结构性产品都是源于这些古老商业方法的现代交易实践。 现在,让我们深入了解什么是现代衍生品? 衍生品是两方或多方之间签订的金融合同,其价值来自另一相关金融资产的价格。它们的基础资产决定了其定价、风险和基本期限结构。 衍生价值的资产类型衍生品类型你也可以观看 "什么是衍生品 "的数学视频,以获得直观...
Neptune Mutual Incentive Testnet Interaction Guide
Neptune Mutual is an open crypto asset insurance yield protocol that enables users to purchase insurance policies to protect their digital assets from hacking and exploitation. The protocol uses parametric insurance rather than discretionary insurance. It has a simple and reliable on-chain claims process.Neptune Mutual Got You Covered Get guaranteed payouts from our parametric cover model. Resolve incidents faster without the need for claims assessment. Receive Rewards Invest stablecoin liqui...
Share Dialog
Share Dialog
<100 subscribers
<100 subscribers
原文作者:@0xexomonk 原文链接:点击这里 (注意:本文包含大量的专业知识 中英文意思表达不准确请多包涵请参考英文原文辅助理解)
越来越多的人感受到新区块链的出现及其带来的技术改进。由于需要提高解决方案的可扩展性,我们看到对二层网络的兴趣越来越大,并且它们发展的速度已经超出人们的预期。
在此反思的延续中,作者提出了对 StarkNet 环境的完整分析,它在Layer2 可以提供的可能性方面带来了许多创新。
本文将首先介绍理解所讨论主题的所有基本概念(零知识、ZkRollup 等)。我认为任何对加密货币和区块链技术感兴趣的人都必须吸收这些知识。
这是我第二次介绍Starknet的母公司
它通过已构建和将要构建的解决方案开发 StarkNet/StarkEx。本文将是技术性的,但同时价格实惠。这将通过介绍 StarkNet: Cairo 的智能合约语言及其与 Solidity 相比的特殊性,以及一些非典型和创新的微妙之处来完成。
最后,我将与您分享一小部分正在建设和将成熟的生态项目清单,这些项目会在生态系统的爆炸中发挥重要作用。

(知识点)词汇表:
ZKP = 零知识证明
ZKSTARK = 零知识可扩展透明知识论证
Rollup = 来自智能合约 ETH 的交易的链下聚合
ZK-Rollup = 使用 ZKP 进行汇总
Scalabilité = https://medium.com/starkware/redefining-scalability-5aa11ffc5880
SHARP = 共享证明者
让我们从基础的词汇开始。你会发现这些术语看起来虽然很难理解,只要认真学习最终会变得很容易。
虽然区块链为我们带来了透明度、不变性和去中心化等巨大好处,但隐私的概念却很少被提起。这就是零知识证明 ( ZKP ) 的特点:可组合性、隐私性和不变性的丰富组合。
ZKP是一种加密解决方案,通过该方案,一方(PROVIDER,我们将其称为 PR)可以向另一方(VERIFIER,我们将其称为 VER)证明特定信息的真实性,而无需透露任何额外信息。
在一个具体的例子中,VER 想要从金库中收集奖励。在 ZK 中,给出:
PR 秘密生成密钥 (K)
VER验证密钥(K)允许获得奖励
ZKP已验证,CQFD

同样的,ZKP 也可以解决:
PR 生成密钥 (K) 并秘密地从保险库中检索奖励
VER 验证奖励对应于仅在同一保险库中可用的奖励
ZKP已验证,CQFD

总之,VER 验证者将不知道除布尔语句之外的任何信息。其他方的信息和个人数据的详细信息保持匿名。
如您所见,ZKP允许隐私。但这种方法的有趣之处在于它非常简单、安全。并具有令人难以置信的可扩展性,许多区块链应用程序都选择它的这些优点来实现功能。
以太坊汇总是 ETH 智能合约中交易的链下聚合,通过将吞吐量从当前的 15 tps 提高到 1000 tps 以上来减少费用和拥塞。这就像在聚合 ETH 块的阴影中拥有区块链。(→ https://twitter.com/0xExoMonk/status/1486729691243298819)

ZK-Rollups是正在开发的用于构建二层(L2)的选项之一,通过在单个事务中处理大量转移来提高可扩展性。Plasma 每次转账创建一个交易,ZK-Rollups将数百个转账聚合成一个交易。智能合约将解构并验证单笔交易中持有的所有转账:另一个可扩展性证明。
ZKP方法用于公开展示和记录以太坊区块链上区块的有效性**。**ZK 通过减少交易中持有的数据量来减少验证区块的计算和存储资源;不需要数据集的知识证明。
介绍本文的最后一个关键点:ZKSNARK和ZKSTARK,它们实际上是两种不同类型的零知识证明。一点背景。
ZK-Rollup方案由两种类型的用户组成:中继者和交易者。
交易者创建他们的传输并通过网络广播传输。智能合约将数据存储在两棵 Merkle 树(https://fr.wikipedia.org/wiki/Arbre_de_Merkle)中:
一棵默克尔树中的地址
另一笔金额的转移。
2. 中继者收集大量转账以创建聚合。生成 SNARK 证明是中继的工作:ZKSNARK
SNARK 证明是代表区块链状态增量的哈希值。SNARK 证明将转移前的区块链快照与转移后的区块链快照进行比较,并仅向主网络报告可证明散列的变化。(https://blog.ethereum.org/2016/12/05 /zksnarks-in-a-nutshell/ )

在ZK-STARK之前,ZK-SNARK用于创建 ZK 证明系统,但需要一个或多个受信任方来初始配置 ZK 证明系统,这引入了这些受信任方的漏洞,从而危及整个系统的机密性。ZK-STARK通过消除对可信配置的需求来改进这项技术。
和你看见的一样,这个新证明解决了旧 SNARK 证明的最大缺陷之一。 这个证明就是StarkWare 稍后将介绍的 Starknet的团队。
STARK改善了无许可区块链的两个问题:可扩展性和隐私。
STARK 通过允许开发人员将计算和存储转移到链下来提高可扩展性。链下服务将能够生成证明链下计算完整性的 STARK 证明。然后将这些证明送回链,供任何相关方验证计算。使用 STARK 移动大部分链下计算工作允许现有的区块链基础设施以指数方式扩展,同时自信地保持计算的完整性:它是一种改变游戏规则的资产。
好的!您现在拥有所有的关键点来尝试构建它。
StarkWare:StarkNet 生态系统。

StarkNet 是一种去中心化、无需许可的 ZK-Rollup(基于 ZKP的零知识证明L2)。它使用 ZKSTARK 技术在不损害隐私的情况下实现指数级扩展。

StarkNet Alpha 于 6 月在公共测试网上发布,并于 2021 年 11 月在主网上发布。在主网部署时,StarkNet 已经在类似以太坊的状态下提供通用计算。
在整个开发过程中,StarkWare 团队选择了一种专注于首先发布最重要功能的方法,本质上是与社区共享进化过程。
StarkNet 还有很长的路要走。到目前为止,开发人员已经可以创建有意义且复杂的应用程序。如今,有数百名开发人员依赖 StarkNet、大量 dApp,以及一些外部团队为 StarkNet 生态系统开发工具和基础设施(具体内容将在文章最后的部分中看到)
StarkNet经过一系列的更新提供了许多重要功能。以下几个引起了我的注意:
L1 <-> L2 消息传递,
链上数据和可组合性支持
活动支持
基础定价机制,合约升级
钱包抽象(现在是智能合约)
测试框架、开发工具、快速确认
自年初以来,生态系统已达到其可用性门槛:任何人可以构建完整且令人惊叹的 dApp。团队现在将专注于系统的性能:在当前状态下,它能够支持有限的交易流。目标是在 2022 年下半年初实现 TPS 至少比以太坊高一个数量级,成本至少比以太坊低两个数量级。
StarkNet是一个完全去中心化的无许可网络,具有领导选举和治理机制。它的主要目标是提升吞吐量和降低GAS费用。
StarkEx是L2的dApp 的扩展引擎:比如dYdX(永续合约)、DeversiFi(交易和现金支付),以及 Immutable X(IMX) 和Sorare(NFT打字和交易)。
以太坊上高昂的交易费用毫无疑问地推动 L2 满足同样的成本。StarkWare 的作用是,由于交易成本大幅降低、对 DeFi 工具的支持不断增加以及它们提供的流动性增加,最终用户将在 L2 上开展大部分业务。L2s通过降低每笔交易的 gas 成本和提高交易率来提高可扩展性。同时,L2s 保留了去中心化、通用逻辑和可组合性的好处。然而某些应用程序需要特定的规范,可以通过单独的新层更好地服务:这就引入了第三层的概念。
L3 与 L2 相关,就像 L2 与 L1 相关一样。只要链接的 L2 能够支持智能合约验证器(参见第 1 部分),就可以使用有效性证明来实现 L3。当 L2 也使用提交给 L1 的有效性证明时,就像 StarkNet 所做的那样,它变成了一个疯狂的递归结构,其中 L2 证明的压缩优势乘以 L3 证明的压缩优势。
换句话说,如果每一层都实现了例如 1000 倍的成本降低,那么与 L1 相比,所讨论的 L3 可以实现 1M 的比率降低,同时保持相同的安全性。然后,人们可以想象一笔交易费用只需要通常的 gas 费用的一小部分。

StarkWare 解释了拥有第三层的优势:
超可扩展性:利用递归证明的乘法效应。
由技术堆栈的应用程序设计人员更好地控制:
更具确定性的性能和成本 定制的数据可用性模型(例如,基于 Validium 或特定于应用程序的链式数据压缩),
更快的功能和技术速度(例如,引入尚未准备好普遍可用的新功能)。
机密性:ZKP 应用于公共 L2 上的隐私保护交易。
互操作性:独立的 L3 将通过 L2 而不是 L1 进行交互。L2 显然应该比它的 L1 便宜。
L3(第三层)作为 Kusama 的“金丝雀”网络波尔卡圆点对于 L2:在向公众提供之前,可以在 L3 上测试新的创新。
同样,我们也提供了一个由 StarkWare 揭示第 3 层的这一理论:
具有 Validium 数据可用性的 StarkNet,例如,用于对价格极为敏感的应用程序的一般用途。
为获得更好的应用性能而定制的特定应用 StarkNet 系统,例如,使用指定的存储结构或数据可用性压缩。
具有 Validium 或 Rollup 数据可用性的 StarkEx 系统(例如服务于 dYdX、Sorare、Immutable 和 DeversiFi 的系统)立即为 StarkNet 带来了经过实战验证的可扩展性优势。
隐私 StarkNet 实例(在此示例中也为 L4)以启用隐私保护交易,而无需将它们包含在公共 StarkNet 中。

StarkNet 建立在 Cairo 编程语言之上,这是以太坊上第一个生产级完整的冯诺依曼图灵检查器。它实际上是生态系统中智能合约的语言。Cairo 允许开发人员使用ZKSTARK的强大功能来创建完全可扩展的应用程序。以下是关于CAIRO的简单介绍。
Cairo是一种用于编写可证明程序的语言:Cairo 程序的执行会产生跟踪,然后可以将其发送给证明者,证明者会生成由 Cairo 程序表示的指令或计算的有效性的 STARK 证明。然后可以用验证者检查证明。
目前大多数 dApp 都是围绕智能合约 Solidity 构建的,实现了某种逻辑和接口,以及一个后端。这些 dApp 发展壮大后,不可避免地会面临可扩展性变差的问题。
我们越来越多地看到 dApp 通过转向基于证据的 L2 可扩展解决方案(例如带有 StarkEx 的 DeversiFi)来解决其可扩展性问题。链下组件支持业务逻辑的一些更复杂的部分,并与链上智能合约进行通信,而不会放弃安全性,因为对系统状态的所有更改都经过证据证明(ZKP)。可扩展性提高了,因为验证链上证明比完全在链上执行业务逻辑要便宜得多。
使用 Cairo,使用证明来实现可扩展性的障碍要低得多:你在 Cairo 编写逻辑,然后代码必须在链下得到证明,一旦证明在链上得到验证,你最终会得到一个可以自信地使用结果——就像它在链上运行一样。
在以太坊上,有三方面的费用很高:计算、传输和存储。
开罗解决了这三个问题。要了解它是如何做到这一点的,我们需要引入一个新概念——共享证明者(或SHARP)。
SHARP是您的开罗代码和您的智能合约 Solidity 之间的链接。它具有三个主要组件:证明者(链下)、智能合约验证者(链上)和事实记录器合约(链上)。
证明者获取您的程序的执行跟踪,证明它是有效的并将这个证明发送给验证者。在验证了证明之后,链上验证者采取了更重要的一步:它在事实寄存器中写入一个事实来证明证明的有效性。这个事实就像一个没有信任的批准印章,证明开罗计划的计算是正确的。现在,dApp 的智能合约剩下的就是验证这一事实是否存在,以便依赖于脱链执行的计算。

为了进一步了解这个开发环境,可以参考这里的文档。
https://seen-joke-82c.notion.site/StarkWare-Development-965f54711eb84dc79f3b61f22df9e383
通过上文的描述,现在你已经对ZKP、StarkNet和Cairo有了基本的概念。我们继续往下读。
StarkNet 钱包:ArgentX
第一步是配置钱包,我们将使用网页版插件 ArgentX:
它和以太坊先有助记词和私钥不同,StarkNet 支持账户抽象,这意味着每个账户实际上都是一个智能合约,必须先部署它才能与网络交互。对于普通用户来说,这既是一个绝佳的机会,也增加了复杂性。
ArgentX 钱包在这里被用来抽象出复杂性:它创建和保护私钥,部署密钥控制的账户合约,连接到去中心化应用程序并将交易发送到 StarkNet 网络。
使用智能合约作为钱包是安全性的一大进步。ArgentX 提供了与钱包相同的方式来创建保险柜(因此是自动多重签名)。除非您使用监护人,否则所有地址不受信任的交易都会被自动阻止。这种安全性涵盖了所有资产,具有可信地址的交易是透明的

—
目前,可用的应用程序主要在 StarkNet 的测试网上,要使用它们,您必须获得测试令牌:https ://faucet.goerli.starknet.io/
StarkNet网桥
第二件最重要的事情是:如何将资金从 L1(以太坊)转移到 L2 Starknet。答案在StarGate网桥中:
从一条链的角度从这三方面或许包含着很多机会:DEX、SWAP和 AMM。
目前为止,有几个应用脱颖而出:
: 挂单交易市场(一个围绕 ZKP 构建的去中心化交易所,带有订单簿功能)
: 永续合约交易(衍生品交易市场)
https://twitter.com/zkxprotocol
斯塔克斯交换(StarkSwap)
: DEX AMM(自动做市商的去中心化交易所)
https://medium.com/starkswap/the-starkswap-vision-6c73f8e66aab
zkLend 是基于 StarkNet 的货币市场借贷协议。ZkLend 推出了两种免授权服务提供双重授权套件方案。一种是为机构客户(“Apollo”)另一种是面向普通的DeFi 零售用户(“Artemis”)。

和其他公链平台一样,一个新生态系统的焦点之一就是:启动板。ZkPad的目标是为Starknet上的新生项目提供战略和运营支持,包括 Twitter/Discord 上的联合营销、合作伙伴关系和生态系统介绍、访问选定人才的数据库,包括开罗开发人员、UX/UI 设计师和营销人员。该平台专门用于向个人开放以前为投资基金保留的投资机会。
Magnety 是一种资产管理协议,允许任何人(例如投资集团、DAO 或个人)通过 Starknet 和 L1 DeFi 生态系统创建和管理对冲基金。该协议允许您根据您可以选择的投资策略创建一个高度可定制的保险库。在我看来,这是一个值得追随的 DeFi 产品,得益于技术和策略它非常安全。
— — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
— — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
您将在 StarkNet 上找到一份非详尽的在建项目列表:https ://starkware.notion.site/Projects-Building-on-StarkNet-a33dee55778a4515a9be9bdae02ee682
关注更多内容:
注意:
本文包含大量的专业知识 中文英文意思表达不准确请多包涵请参考英文原文辅助理解
原文作者:@0xexomonk 原文链接:点击这里 (注意:本文包含大量的专业知识 中英文意思表达不准确请多包涵请参考英文原文辅助理解)
越来越多的人感受到新区块链的出现及其带来的技术改进。由于需要提高解决方案的可扩展性,我们看到对二层网络的兴趣越来越大,并且它们发展的速度已经超出人们的预期。
在此反思的延续中,作者提出了对 StarkNet 环境的完整分析,它在Layer2 可以提供的可能性方面带来了许多创新。
本文将首先介绍理解所讨论主题的所有基本概念(零知识、ZkRollup 等)。我认为任何对加密货币和区块链技术感兴趣的人都必须吸收这些知识。
这是我第二次介绍Starknet的母公司
它通过已构建和将要构建的解决方案开发 StarkNet/StarkEx。本文将是技术性的,但同时价格实惠。这将通过介绍 StarkNet: Cairo 的智能合约语言及其与 Solidity 相比的特殊性,以及一些非典型和创新的微妙之处来完成。
最后,我将与您分享一小部分正在建设和将成熟的生态项目清单,这些项目会在生态系统的爆炸中发挥重要作用。

(知识点)词汇表:
ZKP = 零知识证明
ZKSTARK = 零知识可扩展透明知识论证
Rollup = 来自智能合约 ETH 的交易的链下聚合
ZK-Rollup = 使用 ZKP 进行汇总
Scalabilité = https://medium.com/starkware/redefining-scalability-5aa11ffc5880
SHARP = 共享证明者
让我们从基础的词汇开始。你会发现这些术语看起来虽然很难理解,只要认真学习最终会变得很容易。
虽然区块链为我们带来了透明度、不变性和去中心化等巨大好处,但隐私的概念却很少被提起。这就是零知识证明 ( ZKP ) 的特点:可组合性、隐私性和不变性的丰富组合。
ZKP是一种加密解决方案,通过该方案,一方(PROVIDER,我们将其称为 PR)可以向另一方(VERIFIER,我们将其称为 VER)证明特定信息的真实性,而无需透露任何额外信息。
在一个具体的例子中,VER 想要从金库中收集奖励。在 ZK 中,给出:
PR 秘密生成密钥 (K)
VER验证密钥(K)允许获得奖励
ZKP已验证,CQFD

同样的,ZKP 也可以解决:
PR 生成密钥 (K) 并秘密地从保险库中检索奖励
VER 验证奖励对应于仅在同一保险库中可用的奖励
ZKP已验证,CQFD

总之,VER 验证者将不知道除布尔语句之外的任何信息。其他方的信息和个人数据的详细信息保持匿名。
如您所见,ZKP允许隐私。但这种方法的有趣之处在于它非常简单、安全。并具有令人难以置信的可扩展性,许多区块链应用程序都选择它的这些优点来实现功能。
以太坊汇总是 ETH 智能合约中交易的链下聚合,通过将吞吐量从当前的 15 tps 提高到 1000 tps 以上来减少费用和拥塞。这就像在聚合 ETH 块的阴影中拥有区块链。(→ https://twitter.com/0xExoMonk/status/1486729691243298819)

ZK-Rollups是正在开发的用于构建二层(L2)的选项之一,通过在单个事务中处理大量转移来提高可扩展性。Plasma 每次转账创建一个交易,ZK-Rollups将数百个转账聚合成一个交易。智能合约将解构并验证单笔交易中持有的所有转账:另一个可扩展性证明。
ZKP方法用于公开展示和记录以太坊区块链上区块的有效性**。**ZK 通过减少交易中持有的数据量来减少验证区块的计算和存储资源;不需要数据集的知识证明。
介绍本文的最后一个关键点:ZKSNARK和ZKSTARK,它们实际上是两种不同类型的零知识证明。一点背景。
ZK-Rollup方案由两种类型的用户组成:中继者和交易者。
交易者创建他们的传输并通过网络广播传输。智能合约将数据存储在两棵 Merkle 树(https://fr.wikipedia.org/wiki/Arbre_de_Merkle)中:
一棵默克尔树中的地址
另一笔金额的转移。
2. 中继者收集大量转账以创建聚合。生成 SNARK 证明是中继的工作:ZKSNARK
SNARK 证明是代表区块链状态增量的哈希值。SNARK 证明将转移前的区块链快照与转移后的区块链快照进行比较,并仅向主网络报告可证明散列的变化。(https://blog.ethereum.org/2016/12/05 /zksnarks-in-a-nutshell/ )

在ZK-STARK之前,ZK-SNARK用于创建 ZK 证明系统,但需要一个或多个受信任方来初始配置 ZK 证明系统,这引入了这些受信任方的漏洞,从而危及整个系统的机密性。ZK-STARK通过消除对可信配置的需求来改进这项技术。
和你看见的一样,这个新证明解决了旧 SNARK 证明的最大缺陷之一。 这个证明就是StarkWare 稍后将介绍的 Starknet的团队。
STARK改善了无许可区块链的两个问题:可扩展性和隐私。
STARK 通过允许开发人员将计算和存储转移到链下来提高可扩展性。链下服务将能够生成证明链下计算完整性的 STARK 证明。然后将这些证明送回链,供任何相关方验证计算。使用 STARK 移动大部分链下计算工作允许现有的区块链基础设施以指数方式扩展,同时自信地保持计算的完整性:它是一种改变游戏规则的资产。
好的!您现在拥有所有的关键点来尝试构建它。
StarkWare:StarkNet 生态系统。

StarkNet 是一种去中心化、无需许可的 ZK-Rollup(基于 ZKP的零知识证明L2)。它使用 ZKSTARK 技术在不损害隐私的情况下实现指数级扩展。

StarkNet Alpha 于 6 月在公共测试网上发布,并于 2021 年 11 月在主网上发布。在主网部署时,StarkNet 已经在类似以太坊的状态下提供通用计算。
在整个开发过程中,StarkWare 团队选择了一种专注于首先发布最重要功能的方法,本质上是与社区共享进化过程。
StarkNet 还有很长的路要走。到目前为止,开发人员已经可以创建有意义且复杂的应用程序。如今,有数百名开发人员依赖 StarkNet、大量 dApp,以及一些外部团队为 StarkNet 生态系统开发工具和基础设施(具体内容将在文章最后的部分中看到)
StarkNet经过一系列的更新提供了许多重要功能。以下几个引起了我的注意:
L1 <-> L2 消息传递,
链上数据和可组合性支持
活动支持
基础定价机制,合约升级
钱包抽象(现在是智能合约)
测试框架、开发工具、快速确认
自年初以来,生态系统已达到其可用性门槛:任何人可以构建完整且令人惊叹的 dApp。团队现在将专注于系统的性能:在当前状态下,它能够支持有限的交易流。目标是在 2022 年下半年初实现 TPS 至少比以太坊高一个数量级,成本至少比以太坊低两个数量级。
StarkNet是一个完全去中心化的无许可网络,具有领导选举和治理机制。它的主要目标是提升吞吐量和降低GAS费用。
StarkEx是L2的dApp 的扩展引擎:比如dYdX(永续合约)、DeversiFi(交易和现金支付),以及 Immutable X(IMX) 和Sorare(NFT打字和交易)。
以太坊上高昂的交易费用毫无疑问地推动 L2 满足同样的成本。StarkWare 的作用是,由于交易成本大幅降低、对 DeFi 工具的支持不断增加以及它们提供的流动性增加,最终用户将在 L2 上开展大部分业务。L2s通过降低每笔交易的 gas 成本和提高交易率来提高可扩展性。同时,L2s 保留了去中心化、通用逻辑和可组合性的好处。然而某些应用程序需要特定的规范,可以通过单独的新层更好地服务:这就引入了第三层的概念。
L3 与 L2 相关,就像 L2 与 L1 相关一样。只要链接的 L2 能够支持智能合约验证器(参见第 1 部分),就可以使用有效性证明来实现 L3。当 L2 也使用提交给 L1 的有效性证明时,就像 StarkNet 所做的那样,它变成了一个疯狂的递归结构,其中 L2 证明的压缩优势乘以 L3 证明的压缩优势。
换句话说,如果每一层都实现了例如 1000 倍的成本降低,那么与 L1 相比,所讨论的 L3 可以实现 1M 的比率降低,同时保持相同的安全性。然后,人们可以想象一笔交易费用只需要通常的 gas 费用的一小部分。

StarkWare 解释了拥有第三层的优势:
超可扩展性:利用递归证明的乘法效应。
由技术堆栈的应用程序设计人员更好地控制:
更具确定性的性能和成本 定制的数据可用性模型(例如,基于 Validium 或特定于应用程序的链式数据压缩),
更快的功能和技术速度(例如,引入尚未准备好普遍可用的新功能)。
机密性:ZKP 应用于公共 L2 上的隐私保护交易。
互操作性:独立的 L3 将通过 L2 而不是 L1 进行交互。L2 显然应该比它的 L1 便宜。
L3(第三层)作为 Kusama 的“金丝雀”网络波尔卡圆点对于 L2:在向公众提供之前,可以在 L3 上测试新的创新。
同样,我们也提供了一个由 StarkWare 揭示第 3 层的这一理论:
具有 Validium 数据可用性的 StarkNet,例如,用于对价格极为敏感的应用程序的一般用途。
为获得更好的应用性能而定制的特定应用 StarkNet 系统,例如,使用指定的存储结构或数据可用性压缩。
具有 Validium 或 Rollup 数据可用性的 StarkEx 系统(例如服务于 dYdX、Sorare、Immutable 和 DeversiFi 的系统)立即为 StarkNet 带来了经过实战验证的可扩展性优势。
隐私 StarkNet 实例(在此示例中也为 L4)以启用隐私保护交易,而无需将它们包含在公共 StarkNet 中。

StarkNet 建立在 Cairo 编程语言之上,这是以太坊上第一个生产级完整的冯诺依曼图灵检查器。它实际上是生态系统中智能合约的语言。Cairo 允许开发人员使用ZKSTARK的强大功能来创建完全可扩展的应用程序。以下是关于CAIRO的简单介绍。
Cairo是一种用于编写可证明程序的语言:Cairo 程序的执行会产生跟踪,然后可以将其发送给证明者,证明者会生成由 Cairo 程序表示的指令或计算的有效性的 STARK 证明。然后可以用验证者检查证明。
目前大多数 dApp 都是围绕智能合约 Solidity 构建的,实现了某种逻辑和接口,以及一个后端。这些 dApp 发展壮大后,不可避免地会面临可扩展性变差的问题。
我们越来越多地看到 dApp 通过转向基于证据的 L2 可扩展解决方案(例如带有 StarkEx 的 DeversiFi)来解决其可扩展性问题。链下组件支持业务逻辑的一些更复杂的部分,并与链上智能合约进行通信,而不会放弃安全性,因为对系统状态的所有更改都经过证据证明(ZKP)。可扩展性提高了,因为验证链上证明比完全在链上执行业务逻辑要便宜得多。
使用 Cairo,使用证明来实现可扩展性的障碍要低得多:你在 Cairo 编写逻辑,然后代码必须在链下得到证明,一旦证明在链上得到验证,你最终会得到一个可以自信地使用结果——就像它在链上运行一样。
在以太坊上,有三方面的费用很高:计算、传输和存储。
开罗解决了这三个问题。要了解它是如何做到这一点的,我们需要引入一个新概念——共享证明者(或SHARP)。
SHARP是您的开罗代码和您的智能合约 Solidity 之间的链接。它具有三个主要组件:证明者(链下)、智能合约验证者(链上)和事实记录器合约(链上)。
证明者获取您的程序的执行跟踪,证明它是有效的并将这个证明发送给验证者。在验证了证明之后,链上验证者采取了更重要的一步:它在事实寄存器中写入一个事实来证明证明的有效性。这个事实就像一个没有信任的批准印章,证明开罗计划的计算是正确的。现在,dApp 的智能合约剩下的就是验证这一事实是否存在,以便依赖于脱链执行的计算。

为了进一步了解这个开发环境,可以参考这里的文档。
https://seen-joke-82c.notion.site/StarkWare-Development-965f54711eb84dc79f3b61f22df9e383
通过上文的描述,现在你已经对ZKP、StarkNet和Cairo有了基本的概念。我们继续往下读。
StarkNet 钱包:ArgentX
第一步是配置钱包,我们将使用网页版插件 ArgentX:
它和以太坊先有助记词和私钥不同,StarkNet 支持账户抽象,这意味着每个账户实际上都是一个智能合约,必须先部署它才能与网络交互。对于普通用户来说,这既是一个绝佳的机会,也增加了复杂性。
ArgentX 钱包在这里被用来抽象出复杂性:它创建和保护私钥,部署密钥控制的账户合约,连接到去中心化应用程序并将交易发送到 StarkNet 网络。
使用智能合约作为钱包是安全性的一大进步。ArgentX 提供了与钱包相同的方式来创建保险柜(因此是自动多重签名)。除非您使用监护人,否则所有地址不受信任的交易都会被自动阻止。这种安全性涵盖了所有资产,具有可信地址的交易是透明的

—
目前,可用的应用程序主要在 StarkNet 的测试网上,要使用它们,您必须获得测试令牌:https ://faucet.goerli.starknet.io/
StarkNet网桥
第二件最重要的事情是:如何将资金从 L1(以太坊)转移到 L2 Starknet。答案在StarGate网桥中:
从一条链的角度从这三方面或许包含着很多机会:DEX、SWAP和 AMM。
目前为止,有几个应用脱颖而出:
: 挂单交易市场(一个围绕 ZKP 构建的去中心化交易所,带有订单簿功能)
: 永续合约交易(衍生品交易市场)
https://twitter.com/zkxprotocol
斯塔克斯交换(StarkSwap)
: DEX AMM(自动做市商的去中心化交易所)
https://medium.com/starkswap/the-starkswap-vision-6c73f8e66aab
zkLend 是基于 StarkNet 的货币市场借贷协议。ZkLend 推出了两种免授权服务提供双重授权套件方案。一种是为机构客户(“Apollo”)另一种是面向普通的DeFi 零售用户(“Artemis”)。

和其他公链平台一样,一个新生态系统的焦点之一就是:启动板。ZkPad的目标是为Starknet上的新生项目提供战略和运营支持,包括 Twitter/Discord 上的联合营销、合作伙伴关系和生态系统介绍、访问选定人才的数据库,包括开罗开发人员、UX/UI 设计师和营销人员。该平台专门用于向个人开放以前为投资基金保留的投资机会。
Magnety 是一种资产管理协议,允许任何人(例如投资集团、DAO 或个人)通过 Starknet 和 L1 DeFi 生态系统创建和管理对冲基金。该协议允许您根据您可以选择的投资策略创建一个高度可定制的保险库。在我看来,这是一个值得追随的 DeFi 产品,得益于技术和策略它非常安全。
— — — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
— — — — — — — — — — — — — — — — — — — — — — — — — — — — — —
您将在 StarkNet 上找到一份非详尽的在建项目列表:https ://starkware.notion.site/Projects-Building-on-StarkNet-a33dee55778a4515a9be9bdae02ee682
关注更多内容:
注意:
本文包含大量的专业知识 中文英文意思表达不准确请多包涵请参考英文原文辅助理解
No activity yet