ARK:一探StarkWare生态:StarkEx和StarkNet的创新之旅

原文来源:Yinan,PANews

背景

从2018年开始,StarkWare开创性地运用STARK有效性证明来解决以太坊的可扩展性问题。它推出了基于SaaS业务模型的StarkEx,创造了Cairo编程语言,并构建了Starknet,这是第一个允许编写自定义逻辑的生产中的去中心化网络。

StarkWare致力于在包括技术、数学、创新与产品交付的双重关注;支持其他推动以太坊和/或STARK的团队;以及努力使产品开源、去中心化并专注于将STARK作为公共产品。

未来,StarkWare将致力于让Starknet成为一个由StarknetFoundation治理的无需许可的去中心化有效性rollup,并专注于去中心化Starknet的各个组成部分,例如Prover、Sequencer和治理。

STARK技术基于证明,具体来说是完整性证明。STARK利用数学来确保完整性,即使没有人监视,也能确保计算正确进行。这种技术的概念始于LszlBabai、LanceFortnow、LeonidLevin和MarioSzegedy于1991年的一篇文章,其中介绍了使用单一可靠计算机监控一组不可靠超级计算机的概念。该技术被称为「PCP」,通过数学监控和确保大型计算的完整性。

STARK技术是PCP技术的改进版本,可让小用户检查并确保大公司、垄断企业或政府的正确运作。区块链恢复了货币交换的点对点特性,消除了对可信中介的需求。以太坊则将此概念推向更远,允许创建构成社会经济基础的通用程序。

Starkware:

StarkWare是zkrollups赛道内最好的公司之一,由以色列理工学院的EliBen-Sasson教授联合创立,它为区块链行业提供基于STARK技术的解决方案。目前开发了两款产品:StarkEx&StarkNet,均在下文中介绍。

Starkware?团队?

EliBen-Sasson:Co-Founder&首席科学家,以色列理工学院计算机专业的教授。

Zcash的创始科学家,zkSNARKs的发明者。

AlessandroChiesa:Co-Founder&首席科学家,加州大学伯克利分校计算机专业的教授。

LayerZero已上线Mantle Network:7月20日消息,跨链互操作性协议LayerZero已上线以太坊Layer2网络Mantle Network。

此前报道,7月17日,Mantle Network正式启动其主网Alpha版。该网络经过六个月的开发和测试,在此期间处理了超过1400万笔链上交易。[2023/7/20 11:07:49]

Zcash的创始科学家,zk-SNARKs的联合发明者,libsnark的核心开发者。

Kolodny:Co-Founder&CEO,Uri是一个商业经验丰富、善于合作的连续创业者。

MichaelRiabzev:Co-Founder&首席架构师。以色利理工学院的博士,曾在Intel、IBM工作。OrenKatz:工程副总裁。Hebrew大学计算机专业毕业,TelAvivMBA,?20年经验的资深工程师。

融资

目前公司已经估值80亿美元,获得了Vitalik、Paradigm、Sequioa等资本的倾力支持,是扩容领域估值最高的团队。

StarkEx

一种基于以太坊区块链的应用特定的Layer-2扩展引擎,旨在解决以太坊等Layer-1区块链网络的可扩展性问题。StarkEx通过使用一种名为STARK证明的先进密码学系统,实现了快速、低成本的交易,同时不妥协安全性、隐私性和自我保管。

它提供了一系列用于实现便宜的链下计算的应用流程,将多笔交易打包在一个STARK证明中,然后在链上进行验证,降低了每笔交易的平均燃料成本。StarkEx扩展引擎的工作原理,包括批处理、验证和更新、生成证明以及链上验证四个步骤。

StarkEx已经成功部署在多个应用中,如dYdX、Immutable、Sorare、DeversiFi和Celer。

和StarkNet的区别在于:

StarkEx和StarkNet是由StarkWare开发的两个不同的技术,它们都使用STARK零知识证明技术,但有不同的目标和用途。

1.StarkEx:StarkEx是一个针对特定应用的Layer-2扩展引擎,主要关注优化以太坊区块链上的单一应用程序的性能。它通过将多个交易批量处理并在链下进行验证,实现了更快速、低成本的交易。主要用于去中心化交易所、NFT市场和游戏等。

知情人士:Modulo Capital创始人正在与FTX破产律师就返还4亿美元投资进行谈判:2月15日消息,据《纽约时报》援引知情人士报道,Modulo Capital创始人已受到调查FTX的检察官的审查,且正在与FTX破产律师就返还Alameda Research对其4亿美元的投资进行谈判。知情人士表示,FTX破产律师希望以FTX免除Modulo Capital某些法律责任来换取返还投资资金。该部分资金目前被存放在摩根大通。[2023/2/15 12:08:54]

2.通过使用STARK证明技术,StarkEx提供了安全、高效和低成本的交易体验。StarkNet是一个无需许可的更为通用、完整的Layer-2解决方案,它为整个以太坊生态系统提供了一个去中心化的计算平台,开发者可以在其中部署用Cairo语言编写的智能合约。

StarkNet支持与其他合约进行交互,允许丰富的协议组合,并可通过异步消息传递与以太坊合约进行交互。目标是提供一个可扩展、低成本且安全的环境,以便开发者在其上构建和部署智能合约。与StarkEx不同,StarkNet可以看作是一个全面的Layer-2操作系统,允许开发者创建各种去中心化应用程序,而不仅仅是针对特定用途的解决方案。

总之,StarkEx是一个应用特定的Layer-2扩展引擎,主要关注特定应用程序的性能优化,而StarkNet是一个更为通用、全面的Layer-2解决方案,旨在为整个以太坊生态系统提供一个去中心化的计算平台。

Starknet

Starknet是一个无需许可的去中心化有效性折叠网络。它作为以太坊上的L2网络运行,使任何dApp都能在不影响以太坊可组合性和安全性的前提下实现无限扩展计算,这要归功于Starknet依赖于最安全且最具可扩展性的加密证明系统STARK。

Starknet合约和Starknet操作系统使用Cairo编写-支持部署和扩展任何用例,无论业务逻辑如何。Starknet作为一种去中心化的二层网络解决方案,旨在为去中心化应用提供更高的扩展性和性能。通过在以太坊上运行,它可以利用现有的基础设施和安全性,同时提供更高的计算能力。

Cairo是一种专为Starknet设计的编程语言,它旨在简化智能合约的开发和部署。通过使用Cairo,开发人员可以轻松地为各种用例构建高度可扩展的应用程序,包括金融、游戏、供应链等。

Reddit 在 Polygon 上推出免费 NFT 系列 Recap 2022:金色财经报道,据加密 KOL GiancarloChaux 推特消息,社交新闻论坛社区 Reddit 于 5 日前在 Polygon 上推出了另一款免费的 NFT 系列,名为 Recap 2022,目前,该 NFT 系列已有超 130 万名所有者。[2022/12/21 21:57:24]

Starknet是一个validityrollup,这意味着每个块内的执行都需要被证明,这就是STARKs派上用场的地方然而,STARK证明可以解决以多项式约束语言制定的陈述,并且不了解智能合约的执行。为了克服这个差距,所以开发了Cairo。

总的来说,Starknet是一个充满潜力的二层网络解决方案,它可以使现有的dApp在扩展性和性能方面迈出重要一步。通过采用STARK加密证明系统和Cairo编程语言,Starknet为开发者提供了一个强大且灵活的平台,以满足各种业务需求。

版本更新

接下来会发生什么?StarknetAlphav?0.11.0?:开始向Cairo1.0过渡

-对Cairo1.0的进一步语言改进

-性能改进:正如承诺的那样,Starknet继续朝着显着提高TPS的方向前进。路线图中的下一步是过渡到Rust序列器,它是在Apache2.0许可下公开开发的。新的音序器将使用RustCairoVM和Papyrus全节点形成PerformanceTrio。

-链下?DA

在这个版本中,Starknet处理了交易成本的计算部分。在即将推出的版本中,将处理链上数据成本,这是当今平均交易的主要成本。

这里对Starknet的音序器进一步说明:

音序器是指StarkNetSequencer,它是StarkNet的一部分,旨在通过切换到Rust排序器、使用RustCairoVM和Papyrus全节点来显著增加吞吐量,从而形成「性能三人组」。

「性能三人组」是指StarkNetSequencer的三个组成部分:Rust排序器、RustCairoVM和Papyrus全节点。其中,Rust排序器是StarkNetSequencer的核心,它负责处理交易并生成区块。RustCairoVM是一个虚拟机,它可以在StarkNet上运行智能合约。Papyrus全节点是StarkNet网络中的一个节点,它存储了StarkNet上的所有数据,并且可以处理交易。这三个部分共同工作,可以显著提高StarkNet的吞吐量。

Bybit已上线ETH和SOL期权:9月5日,据官方公告,Bybit宣布,Bybit期权交易平台已经上线ETH和SOL期权(USDC本位)。[2022/9/5 13:10:01]

Starknetv?0.11.0?

一旦Goerli测试期结束,Starknetv?0.11.0将在主网上发布。

Starknetv?0.10.3?

性能——将状态承诺计算与交易执行分开添加starknet-class-hash命令来计算已编译Starknet合约的类哈希

Starknetv?0.10.2?

这个版本引入了音序器并行化!一个新端点estimate_fee_bulk被添加到馈线网关。这将允许同时估算几笔交易的费用,其中每笔交易都是相对于应用前一笔交易的结果状态执行的。

Starknetv?0.10.1?

添加DeployAccount交易。要使用它,你应该首先向你的账户地址添加足够的资金来支付交易费用,然后你可以调用DeployAccount将starknetdeploy_accountCLI命令拆分为starknetnew_account和starknetdeploy_account预计以这种方式部署的账户合约应该实现validate_deployDeployAccount()入口点,它应该检查交易的签名改进L1费用计算:根据存储状态的差异计算费用API:entry_point_type从交易信息中删除字段

Starknetv?0.10.0?

此版本介绍了Starknet帐户抽象设计的下一步,特别是验证/执行分离。

Starknetv?0.9.1?

API变化星网CLI

Starknetv?0.9.0?

该版本将合约类/实例范式引入Starknet

关于账户

以太坊账户结构

在以太坊中,单个用户账户被称为外部拥有的账户。

EOAs与智能合约不同,因为它们不受代码控制。EOA是由一对私钥和公钥确定的。

账户的地址是根据这些密钥派生的,只有拥有私钥才能从账户发起交易。虽然以太坊合约是「被动」的,即它们只能在交易中被调用时发生变化,但EOAs可以发起交易。

Kevin O’Leary:在监管政策出台之前,比特币价格不会有所突破:金色财经报道,SharkTank的Kevin O'Leary对比特币(BTC)在当前条件下反弹到25000美元价位以上的能力表示怀疑。O'Leary在Stansberry Research的采访中说,比特币的价格停滞不前,因为缺乏加密货币的监管,阻碍了机构在该领域的投资。他说:“我们希望有政策,特别是我们这些从事金融服务的人,因为我们认为它会释放机构投资者对加密货币的兴趣的力量。所以我们需要政策来达到这个目的。”

O’Leary认为,比特币将被锁定在20,000美元和25,000美元之间,直到获得政策。在有监管之前,机构投资者不会购买比特币。(The Daily Hodl)[2022/8/28 12:53:03]

尽管简单,但EOAs有一个主要缺点,即账户行为没有灵活性,以太坊协议规定了EOA发起的交易何时有效。特别是,对公钥的控制给了对账户的完全控制。尽管从理论上讲,这是一种安全的账户管理方法,但在实践中,它存在一些缺点,例如要求您保护种子短语的安全,同时使其对您可访问,并且钱包功能的灵活性有限。

EIP-4337是一个针对以太坊的设计提案,概述了通过以太坊网络上的专用智能合约管理所有账户的账户抽象化,以提高灵活性和可用性。您可以在基本EOA功能的基础上添加自定义逻辑,从而将账户抽象化引入以太坊。

账户抽象化是什么?

账户抽象化背后的想法是允许在账户管理方面更具灵活性,而不是让它们的行为在协议层面上确定。这可以通过引入账户合约来实现-具有可编程逻辑的智能合约,决定用户的账户行为。

通过使用账户抽象化,您现在可以对您的账户功能进行编程。

例如,你可以:

确定有效签名的含义,或者您的账户允许与哪些合约互动。这被称为「签名抽象化」用不同的代币支付交易费用-这有时被称为「费用抽象化」设计自己的重放保护机制,并允许并行发送多个不相关的交易。将其与以太坊中使用的顺序nonce解决方案进行比较,该解决方案导致交易本质上是顺序的,即使你想并行发送两个交易,也必须等待第一个交易的一些确认,然后再发送第二个交易。否则,由于无效的nonce,第二笔交易可能会被拒绝。使用账户抽象化,可以讨论绕过顺序nonce需求的不同解决方案。这被称为「nonce抽象化」。

如今,Starknet提供了签名抽象化。将来,Starknet将丰富当前的账户抽象化设计。

使用账户抽象化自定义账户功能的两个示例

社交恢复这是一个过程,当您丢失钱包时,可以通过所选社交网络检索它,大大改善了钱包恢复的典型体验。通过面部识别操作您的账户借助签名抽象化,您可以使用手机的原生硬件对交易进行签名,从而实际上不可能接管另一个用户的账户。

这些示例展示了如何利用账户抽象化为用户提供更灵活、安全和高度定制的钱包和账户管理体验。通过编写自定义逻辑,用户可以根据其需求和偏好定制账户功能,从而在提高安全性的同时,也提高了易用性。

Starknet账户合约必须包括以下两个函数

validate

execute

这些函数具有不同的目的,以确保只有账户所有者才能发起交易,并且可以为你使用的资源收费。

Starknet的账户类型受到以太坊EIP-4337的启发,其中,你现在使用具有任意验证逻辑的智能合约账户,而不是EOA。

通过使用智能合约,在账户实现中获得了完全的灵活性。

虽然在协议级别上不是强制性的,但社区开发了一个更丰富的标准账户接口。这个标准是由OpenZeppelin开发的,与钱包团队和其他核心Starknet开发人员紧密合作。

代币经济学:

代币的作用

交易费用:

目前,StarkNet中的费用以以太币(ETH)支付。但稍后,我们预计费用将完全使用原生StarkNet代币支付。为了支持良好的用户体验,自动化和去中心化的链上机制将允许用户以ETH支付费用。

质押:

某些对StarkNet的活跃性和安全性至关重要的服务可能需要质押StarkNet代币。这些服务可能包括排序、在达到L1最终结果之前达成临时L2共识、STARK证明服务和数据可用性供应。

治理:

改进StarkNet的提案将需要一个最小的令牌支持阈值,稍后定义。对StarkNet的活跃性、安全性和维护至关重要的协议的所有更改都需要直接或通过委托进行投票。例如,StarkNet操作系统的所有重大更新都需要代币持有者的批准。

总量:?100亿、代币初始分配:代币经济学

17%?—StarkWare投资者

32.9%?—核心贡献者:StarkWare及其员工和顾问,以及StarkNet软件开发合作伙伴

StarkWare授予基金会的50.1%?,用途如下:

9%?—社区补给:用于奖励为StarkNet工作并为其底层技术提供支持的人员,例如过去使用StarkExL2系统的人员。重要的是,所有社区补给都将基于过去已完成的可验证工作。例如,对于过去的StarkEx用户,分配将根据2022年6月1日之前发生的可验证StarkEx技术使用情况来确定。

9%?—社区返利:部分用于支付从以太坊转移到StarkNet的成本。为防止游戏化,社区返利仅适用于在返利机制公布后发生的交易。

12%?—用于研究和开发、测试、部署和维护StarkNet协议的工作的资助。

10%?—-战略储备,用于资助与基金会使命一致的生态系统活动。

2%?—捐赠给受到高度尊重的机构和组织,例如大学、非政府组织等,由StarkNet代币持有者和基金会共同决定。

8.1%?—未分配:基金会的未分配财务储备将用于进一步支持StarkNet社区,具体支持方式由社区决定。

为了使核心贡献者和投资者的长期激励与StarkNet社区的利益保持一致,并遵循去中心化生态系统的惯例,分配给核心贡献者和投资者的所有代币将受到4年的锁定期,与线性释放和一年悬崖。

如果你是一名终端用户,只有在StarkNet满足您当前需求时才使用它。将其用于您看重的交易和应用,而不是期望未来获得StarkNet代币的回报。当社区补给宣布时,它们将仅涉及在公告日期之前发生的快照,并根据当时可用的信息,过滤和排除被认为是滥用和操纵网络的使用情况。当社区返利制度建立时,它们永远不会适用于在返利公布之前发生的交易,因此期望未来返利而在今天进行交易是徒劳的。

基于上面代币经济学的总结分析:

第一个9%的社区供应部分是可能空投给用户的,也就是说用户在这4.5亿中和为Starknet工作及提供技术支持和开发的人一起去划分。

第二个9%的社区回扣,用于后续返利规则公布后的手续费补贴,公布规则前刷手续费是没用的。

第三个10%的战略储备,是用于链上生态应用,分配给生态上的应用协议。

商业模式出售定制化技术引擎服务StarkEx,直接向有扩容需求的客户收取服务费,本质上是定制化的2B服务。打造去中心化的Layer?2网络StarkNet,支持dApp自主部署,可以向用户收取Layer?2的交易费用,也可以通过sequencer的拍卖机制获取MEV的价值,还可以在未来发token,用技术和资金孵化StarkNet项目,通过tokenomics驱动生态发展。

总结:

StarkWare是zkrollups赛道内最好的公司之一,产品有StarkEX和StarkNet。

StarkEx是一款Layer?2扩展引擎,为dApp提供技术服务。

StarkNet是一个无需许可的更为通用、完整的Layer-2解决方案。

团队成员有80多个,而且核心成员比较瞩目,EliBen-Sasson是Zcash的创始科学家,zkSNARKs的发明者,在ZK-Rollup领域有非常深的研究及影响力,且目前估值达到80亿,像paradigm、Pantera、polychain和V神等顶级VC和个人均是StarkWare的资方。

在生态应用上面,因为采用的是Cairo语言,所以并不兼容EVM,所以在生态发展上进度会比较慢,目前开始向Cairo1.0过渡,朝着一个更高的TPS发展,就算这样,但是目前的应用体验并不是十分流畅,技术还有现实之间还是存在差距,期望以后看到Starknet更好的发展。

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

地球链

[0:0ms0-0:780ms