EPS:长推: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的低迁移成本方案

大咖零距离 | 如何在币圈期货市场上久必赢?:5月19日18:00,实盘大V uTy做客金色财经《大咖零距离》直播间,将分享《如何在币圈期货市场上久必赢?》,敬请关注,欲进群观看直播扫描下图二维码即可。

?[2020/5/19]

为什么是SolanaVM?

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

声音 | 日本金融厅长官:针对区块链等分布式金融系统,如何确保公众利益已成为新课题:据日经新闻消息,今日在日本福冈举行的G20峰会上,日本金融厅长官远藤俊英发表演讲指出“监管规则可能抑制创新,监管规则也会跟不上技术变革”。此外,以区块链技术为首的分布式金融系统在没有金融机构充当中介的情况下,可能实现顾客和市场参与者之间的直接交易,因此金融机构的地位存在下降的可能性,在这种情况下,如何确保公众利益已成为新的课题。[2019/6/8]

以太二层呢?

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

肯尼亚成立了一个特别小组,研究如何利用人工智能和区块链等最新技术:肯尼亚成立了一个特别小组,研究如何利用人工智能和区块链等最新技术。“我们错过了互联网浪潮,赶上了移动技术……区块链是下一个浪潮,我们必须参与其中。”信息部部长约瑟夫·穆切鲁(Joseph Mucheru)表示,在其他用途中,区块链可以帮助组织政府存储的土地记录,这对那些想要购买、出售或核实有关土地信息的人来说,是一种持续性的保障。[2018/5/5]

为什么要叫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倒是开发一下啊,没看到模块化都来沾边了嘛?也是你好把这暗器藏起来,他们杀得越血腥你越痛快

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

链链资讯

[0:31ms0-9:481ms