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

原文作者:k:Kit Kong | CatcherVC

原文来源:Twitter

最近看了个蛮有趣的LLVM IR+SolanaVM做的de-Sequencer模块化方案,简单来说:

1. 如果把Eigenlayer比作给各条链做租借弹性节点,Celestia做的是多链插拔槽,这个项目则是给多个L2/L3用ZK Validity Proof在多链(执行分片网络)部署了一个Sequencer间维护的Proof-based Layer。

2. 底层用LLVM IR、无缝嵌入ZKVM/Rust/SolanaVM,据我了解,估计有点悬,Clang IR做VM好像比Rust好很多,虽然Rust有内置报错功能,这个想法主要还是为了能在浏览器做ZKP-WASM部署,以及跑一些TEE可信环境下快速部署作为2FA/MFA的低迁移成本方案

为什么是SolanaVM?

Solana L1需要大量TPS处理voting,但单纯拿出来SolanaVM如Eclipse所说,Rust并发multi-thread是很高的,SolanaVM单拿出来做二层就不再需要Vote,也就省下来了一堆throughput

以太二层呢?

像现在ARB/OP的单一排序器是非常中心化的,虽然DA和共识安全交给了ETH,论其去中心化程度和geth性能,内存的opcode串联,是远远不如rust或move改爸爸们Aptos/Sui的,Aptos的并行毛病很大,经常卡sync,Sui体验感上暂时没遇到过span会卡在并行处理上

为什么要叫de-Sequencer?

其实这些L2/L3在模块化世界里可以看成一堆分片数据库,用中心排序器,在伪随机+ZKSnark或ZKStark里不用担心篡改或安全问题,只担心censorship的问题,这对于用户来说也很好解决等一层Proof Layer1的Epoch过去,直接换个分片和排序器玩就好了,在排序器还能植入JIT Token

所以这个在干嘛?

TL;DR 去中心租赁高性能排序器

有点像Nil选择了Mina作为一个已经在做区块头数据共识的公链,这个项目看准的数据这些RaaS,ZK(E)VM的爆发,想把SolanaVM+中心排序器的性能以去中心的方式随机排插到每个epoch的随机分片L2/3里

有趣的是?

从Nil的Mikow提出用c之后,这群老油条先是看不起,Risc0则是乖乖做ZKVM的服务,后来窜了个Asterio,Omni站不住脚直接跳车出来说要包办Fraud Proof+Validity Proof,估计这么花心做不成事情

更有趣的是?

这个项目开始在模块化里卷,一层层堆stack把延迟都废了,IBC的Tenderminy多接几个节点也废了,大家都废废的,要不还是把想想怎么妥协Censorship,逼良为娼吧(把高性能节点做捞不着ZK的苦逼事)

我觉得什么可以改进?

Starknet最近也有点坐不稳,跑得有点走型了,先是Lambda往zk简洁性+做了套支持 GPU cuda跑zkWASM。往性能上跑也不是不好,天天被人骂卡顿也是气不过,但好歹你把Stark的ZKP全线性PCP倒是开发一下啊,没看到模块化都来沾边了嘛?也是你好把这暗器藏起来,他们杀得越血腥你越痛快

转载声明:本文 由CoinON抓取收录,观点仅代表作者本人,不代表CoinON资讯立场,CoinON不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。若以此作为投资依据,请自行承担全部责任。

声明:图文来源于网络,如有侵权请联系删除

风险提示:投资有风险,入市需谨慎。本资讯不作为投资理财建议。

(0)
打赏 微信扫一扫 微信扫一扫
上一篇 2023年5月1日 下午4:30
下一篇 2023年5月1日 下午4:30

相关推荐

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

星期一 2023-05-01 16:30:22

最近看了个蛮有趣的LLVM IR+SolanaVM做的de-Sequencer模块化方案,简单来说:

1. 如果把Eigenlayer比作给各条链做租借弹性节点,Celestia做的是多链插拔槽,这个项目则是给多个L2/L3用ZK Validity Proof在多链(执行分片网络)部署了一个Sequencer间维护的Proof-based Layer。

2. 底层用LLVM IR、无缝嵌入ZKVM/Rust/SolanaVM,据我了解,估计有点悬,Clang IR做VM好像比Rust好很多,虽然Rust有内置报错功能,这个想法主要还是为了能在浏览器做ZKP-WASM部署,以及跑一些TEE可信环境下快速部署作为2FA/MFA的低迁移成本方案

为什么是SolanaVM?

Solana L1需要大量TPS处理voting,但单纯拿出来SolanaVM如Eclipse所说,Rust并发multi-thread是很高的,SolanaVM单拿出来做二层就不再需要Vote,也就省下来了一堆throughput

以太二层呢?

像现在ARB/OP的单一排序器是非常中心化的,虽然DA和共识安全交给了ETH,论其去中心化程度和geth性能,内存的opcode串联,是远远不如rust或move改爸爸们Aptos/Sui的,Aptos的并行毛病很大,经常卡sync,Sui体验感上暂时没遇到过span会卡在并行处理上

为什么要叫de-Sequencer?

其实这些L2/L3在模块化世界里可以看成一堆分片数据库,用中心排序器,在伪随机+ZKSnark或ZKStark里不用担心篡改或安全问题,只担心censorship的问题,这对于用户来说也很好解决等一层Proof Layer1的Epoch过去,直接换个分片和排序器玩就好了,在排序器还能植入JIT Token

所以这个在干嘛?

TL;DR 去中心租赁高性能排序器

有点像Nil选择了Mina作为一个已经在做区块头数据共识的公链,这个项目看准的数据这些RaaS,ZK(E)VM的爆发,想把SolanaVM+中心排序器的性能以去中心的方式随机排插到每个epoch的随机分片L2/3里

有趣的是?

从Nil的Mikow提出用c之后,这群老油条先是看不起,Risc0则是乖乖做ZKVM的服务,后来窜了个Asterio,Omni站不住脚直接跳车出来说要包办Fraud Proof+Validity Proof,估计这么花心做不成事情

更有趣的是?

这个项目开始在模块化里卷,一层层堆stack把延迟都废了,IBC的Tenderminy多接几个节点也废了,大家都废废的,要不还是把想想怎么妥协Censorship,逼良为娼吧(把高性能节点做捞不着ZK的苦逼事)

我觉得什么可以改进?

Starknet最近也有点坐不稳,跑得有点走型了,先是Lambda往zk简洁性+做了套支持 GPU cuda跑zkWASM。往性能上跑也不是不好,天天被人骂卡顿也是气不过,但好歹你把Stark的ZKP全线性PCP倒是开发一下啊,没看到模块化都来沾边了嘛?也是你好把这暗器藏起来,他们杀得越血腥你越痛快