最近看了个蛮有趣的LLVMIR+SolanaVM做的de-Sequencer模块化方案,简单来说:
1.如果把Eigenlayer比作给各条链做租借弹性节点,Celestia做的是多链插拔槽,这个项目则是给多个L2/L3用ZKValidityProof在多链部署了一个Sequencer间维护的Proof-basedLayer。
2.底层用LLVMIR、无缝嵌入ZKVM/Rust/SolanaVM,据我了解,估计有点悬,ClangIR做VM好像比Rust好很多,虽然Rust有内置报错功能,这个想法主要还是为了能在浏览器做ZKP-WASM部署,以及跑一些TEE可信环境下快速部署作为2FA/MFA的低迁移成本方案
数据:ETH 7至10年活跃供应量创历史新高:8月7日消息,据Glassnode数据显示,以太坊上ETH 7至10年活跃供应量达历史新高,数额为2,435,639.791 ETH。[2022/8/7 12:07:50]
为什么是SolanaVM?
SolanaL1需要大量TPS处理voting,但单纯拿出来SolanaVM如Eclipse所说,Rust并发multi-thread是很高的,SolanaVM单拿出来做二层就不再需要Vote,也就省下来了一堆throughput
以太坊网络当前已销毁超251.12万枚ETH:金色财经报道,据Ultrasound数据显示,截止目前,以太坊网络总共销毁2,511,286.35枚ETH。其中,ETHtransfers销毁231,969.21枚ETH,OpenSea销毁230,049.97枚ETH,UniswapV2销毁134,417.10枚。注:自以太坊伦敦升级引入EIP-1559后,以太坊网络会根据交易需求和区块大小动态调整每笔交易的BaseFee,而这部分的费用将直接燃烧销毁。[2022/7/5 1:50:57]
以太二层呢?
Vitalik Buterin 回应推特改名,“真实姓名”并不代表护照姓名:6月10日消息,以太坊创始人 Vitalik Buterin 发推解释推特名更改为“豚林 vitalik.eth”的原因。Vitalik 称,请不要使用“真实姓名”来指代护照姓名,你的政府无权定义你“真正”是谁。如果你在大多数日常互动中使用不同的名字,那就是你的真实姓名。[2022/6/11 4:17:39]
像现在ARB/OP的单一排序器是非常中心化的,虽然DA和共识安全交给了ETH,论其去中心化程度和geth性能,内存的opcode串联,是远远不如rust或move改爸爸们Aptos/Sui的,Aptos的并行毛病很大,经常卡sync,Sui体验感上暂时没遇到过span会卡在并行处理上
为什么要叫de-Sequencer?
其实这些L2/L3在模块化世界里可以看成一堆分片数据库,用中心排序器,在伪随机+ZKSnark或ZKStark里不用担心篡改或安全问题,只担心censorship的问题,这对于用户来说也很好解决等一层ProofLayer1的Epoch过去,直接换个分片和排序器玩就好了,在排序器还能植入JITToken
所以这个在干嘛?
TL;DR去中心租赁高性能排序器
有点像Nil选择了Mina作为一个已经在做区块头数据共识的公链,这个项目看准的数据这些RaaS,ZK(E)VM的爆发,想把SolanaVM+中心排序器的性能以去中心的方式随机排插到每个epoch的随机分片L2/3里
有趣的是?
从Nil的Mikow提出用c之后,这群老油条先是看不起,Risc0则是乖乖做ZKVM的服务,后来窜了个Asterio,Omni站不住脚直接跳车出来说要包办FraudProof+ValidityProof,估计这么花心做不成事情
更有趣的是?
这个项目开始在模块化里卷,一层层堆stack把延迟都废了,IBC的Tenderminy多接几个节点也废了,大家都废废的,要不还是把想想怎么妥协Censorship,逼良为娼吧(把高性能节点做捞不着ZK的苦逼事)
?我觉得什么可以改进?
Starknet最近也有点坐不稳,跑得有点走型了,先是Lambda往zk简洁性+做了套支持GPUcuda跑zkWASM。往性能上跑也不是不好,天天被人骂卡顿也是气不过,但好歹你把Stark的ZKP全线性PCP倒是开发一下啊,没看到模块化都来沾边了嘛?也是你好把这暗器藏起来,他们杀得越血腥你越痛快
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。