ETH:长推:LLVM IR+SolanaVM的de-Sequencer模块化方案

最近看了个蛮有趣的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倒是开发一下啊,没看到模块化都来沾边了嘛?也是你好把这暗器藏起来,他们杀得越血腥你越痛快

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

地球链

币安下载PARA:轻型节点的数据可用性的安全级别

在传统的区块链中,用户要运行同步链上所有数据的完整节点,以验证链上由区块头承诺的所有数据确实被发布。这不会随着区块大小的增加而扩展,因为用户会需要越来越多的带宽资源.

[0:0ms0-1:68ms