Web3降智系列是我在2023年新开始的一个以日常交流中Web3er对一些知识和概念的误解为引子,以即使你在忙了一天后大脑停机的降智状态也能读懂为目的,通过讲述设计思想而不是外在表现,尽量不涉及具体公式和代码的面向非技术人员的科普系列。??
继上次我们提到StarkNet发布了开源的Sequencer后,StarkWare又搞了一个大新闻:StarkNet的Prover即将开源!
不知不觉的,从去年11月Cairo语言开源之后,三个月的时间内,StarkNet的所有组件全部重写+开源。在这里,我们回顾一下StarkNet的开源堆栈吧。
整体架构
首先,我们先复习一下上次的文章里提到的StarkNet架构。
Curve创始人创建针对FraxLend上CRV/FRAX市场的流动性池crvUSD/fFRAX:8月1日消息,链上数据显示,Curve创始人Michael Egorov在Curve上创建了针对FraxLend的CRV/FRAX市场的新流动性池crvUSD/fFRAX,其中fFRAX是Fraxlend上CRV/FRAX的收据代币。目前Curve上crvUSD/fFRAX池的奖励年化高达462.5%,Fraxlend上CRV/FRAX的奖励年化约70%。[2023/8/1 16:10:41]
Sequencer?负责管理和协调交易的执行顺序。Sequencer可以认为是一个交易队列,它确保在同一个区块内的所有交易按照指定的顺序执行,并且确保没有交易被重复执行。Sequencer还负责验证交易的合法性,并将其写入区块链。
香港投资推广署正式启动家族办公室服务网络:6月13日消息,香港投资推广署正式启动家族办公室服务提供者网络(家族办公室服务网络),希望推广香港成为全球家族办公室首选地。
陈茂波在启动仪式致辞时表示,香港拥有蓬勃的金融生态、顶尖的金融基建,以及出色的专业服务提供者,加上汇聚来自内地和世界各地的投资机会,自然是全球家族办公室的理想落户地点。上一份施政报告中提及,目标是在 2025 年年底前推动不少于 200 间家族办公室在港设立或扩展业务。经过裕泽香江高峰论坛,已有不少国际家族办公室决策人表示正准备甚至已决定落户香港。
香港财经事务及库务局副局长陈浩濂也在近期公开表示,香港作为亚洲领先的财富管理中心和国家的国际金融中心,与内地市场互联互通,是家族办公室的理想落户地点。香港特区政府会在未来三年向投资推广署提供 1 亿港元,以吸引更多家族办公室来香港。
香港特别行政区政府于 2023 年 3 月 24 日发表的《有关香港发展家族办公室业务的政策宣言》中提出八项政策措施,其中一项是成立家族办公室服务网络,以打造蓬勃生态圈,持续支持本地和全球家族办公室于香港落户或扩展业务。[2023/6/13 21:34:09]
Prover则负责生成关于Sequence执行轨迹有效性的加密证明。目前,这项工作是由单一的Prover,即「ShareProver」或「SHARP」执行的。
澳大利亚储备银行公布拟议的CBDC用例:金色财经报道,澳大利亚储备银行表示,它从行业参与者提交的大量提交中选择了 14 个数字货币提议用例。澳大利亚央行助理行长Brad Jones表示,澳大利亚央行对“受邀参与现场试点”的供应商构成感到鼓舞。试点和研究将同时进行,以“服务两端”。这些目的中的第一个目的是帮助该行业获得一些“实践学习”经验。加强政策制定者对CBDC 如何可能使澳大利亚金融体系和经济受益的理解。
同时,澳大利亚央行选择的一些用例包括线下支付、公司债券支付和资金托管。[2023/3/5 12:43:33]
Verifier位于L1,用于验证StarknetProver产生证明的智能合约,如果运行成功,其将更新以太坊L1上的状态用于记录保存。
在上一篇文章里我们提到了上述三个部件,这一次除了Sequencer和Prover,我们还将对FullNode进行说明。
数据:持有1万到1000万枚的MATIC持有者在六周内增加8.7%:6月23日消息,据Santiment数据显示,MATIC鲨鱼和鲸鱼的增持趋势已经持续了大约六周,在这段时间内,持有1万到1000万枚MATIC的持有者总共增加了8.7%。[2022/6/23 1:26:57]
Sequencer—Blockifier
Starknet的新SequencerBlockifier已于1月26号发布,其节点部分和CairoOS部分分别基于将在下面提到的Papyrus和Cairo-rs。之前的Sequencer是一个闭源的由python编写客户端,且只由StarkNet自己控制。而这个Python客户端是连官方也承认的慢,而且也没实现交易执行的并行性,这严重影响了StarkNet的TPS,且不符合去中心化思想。
这个由Rust编写的Sequencer开源后,最基础的,是可以让任何人都可以自行编译和运行自己的Sequencer客户端。同时根据官方自己的信息,这个客户端大幅度的提高了执行速度。而官方的后继计划也在路上:
-整合现有的StarkNetSequencer,通过替换其当前用Python编写的事务块化组件。
-实现交易执行的乐观并发。
-将Blockifier扩展成一个完整的StarkNetSquencer,替换当前使用的sequencer。
FullNode—Papyrus
FullNode,即全节点,在Starknet中指的是一个PathFinder客户端或者运行这个客户端的机器。一个全节点会记录rollup中执行的所有交易,并跟踪系统的当前全局状态。它通过p2p网络接收此信息,每当创建一个新块时,都会共享全局状态和与其相关的有效性证明。
而Papyrus,是一个StarkNet全节点的Rust实现,已经于1月16号发布。它将成为新的StarkNetSequencer的基础的一部分,大大提高StarkNet的TPS。开源Papyrus,将有助于提高StarkNet性能和去中心化。
CairoOS—Cairo-rs
CairoOS是Sequencer中用来执行以Cairo语言编写的合约的虚拟机。而Cairo-rs,是一个由第三方开发团队Lambdaclass开发的新的开源CairoVM,用以替换老旧的由Python开发的CairoVM。
Prover—???(名称未定)
那么这次的开源Prover又对于StarkNet的架构有什么意义?第一是为Prover的去中心化做准备,第二则是为了提高StarkNet的TPS。目前StarkNet仅有官方运行的单一Prover,叫做即「ShareProver」。为什么它的名称里有个共享?是因为这个证明器不仅负责生产StarkNet的证明,还要负责生成StarkEX的证明。这严重影响了StarkNet的TPS,且不符合去中心化思想*agian。
有了开源的Prover之后,任何人都可以自行编译和运行自己的Prover。当然,Prover还仍然只是宣布开源,暂未放出GitRepo。而且因为ZK的特性,Prover为计算生成证明所需的计算远远多于Sequencer所执行的计算,所以根据官方的旧文档,Prover可能需要极高的配置,准入门槛非常高。
CairoLanguage
Cairo1.0也已经在今年开源,由于CairoLanguage是由Rust编写,StarkNet整个官方生态可以说已经变成了Rust全家桶。当然,Cairo1.0还未被StarkNet所支持,因此还不能用来编写智能合约。根据官方消息,将在2023年Q1之内实现对Cairo1.0支持。
TLDR:Camelot是一个支持UniswapV2和类似Curve的稳定币模式的DEX。并且,考虑到项目的需要,Camelot成为了?Arbitrum上新项目的启动板和Swap.
1900/1/1 0:00:00ChatGPT近来几日就要出圈都到亲戚群了,很多科技和投资行业的人自然想起来这热闹景象和去年的加密货币行业似曾相识?一个有希望成为颠覆者的技术在逐渐走向大众总会有模糊的神秘.
1900/1/1 0:00:00注:本文来自@FishMarketAcad推特,MarsBit整理如下:$CANTO最近受到了很多关注,但我还没有看到一个一体化的线程.
1900/1/1 0:00:00前言?FTX暴雷事件余波未止,去中心化和透明度越来越受到关注。交易活动从CeFi迁移到DeFi不是“是否”的问题,而是一个“何时”的问题.
1900/1/1 0:00:00本周,我们将分享我们当前对第1层区块链估值框架的看法,重点是以太坊。涵盖的主题:代币作为资本形成的工具ETH如何纳入超级资产类别框架链上财务和贴现现金流分析ETH作为数字商品和价值存储我们最喜欢.
1900/1/1 0:00:00$OP的日活跃用户正在增加,TVL正在增加,聪明钱正在涌入。现在是研究$OP生态系统和寻找隐藏Alpha的时候吗?让我们跳进兔子洞,剖析最新的L2发展.
1900/1/1 0:00:00