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

最近看了个蛮有趣的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的低迁移成本方案

Curve创始人建议将USDC/crvUSD池的交易费率从0.01%提高至0.02%:8月27日消息,Curve创始人Michael Egorov于治理论坛发起提案称,建议提高crvUSD核心池的交易费率,并进一步观测影响。

Michael提议首先把USDC/crvUSD池的交易费率从1 bps(即0.01%)提高至2 bps(即0.02%)。此举潜在的好处在于,若交易量变化不大,将为Curve带来更多源于交易费用的收入,且可提高对内部预言机(EMA)的操纵难度。[2023/8/27 12:59:38]

为什么是SolanaVM?

Wyre更改提现规则,并任命原首席风险合规官为临时CEO:1月8日消息,加密支付提供商Wyre宣布正在更改提现规则,尽管客户将继续能提取其资金,但将提现限制为每一个客户账户不超过当前资金的90%,客户需遵守当前的每日限额规则。

Wyre还对管理结构进行变更,原CEO Yanni Giannaros担任执行董事长,并将继续为Wyre提供指导和支持。原首席风险官和首席合规官Stephen Cheng担任临时CEO。Wyre还表示,正在为公司探索战略选择,以使其能够驾驭当前的市场环境并实现其使命,来简化和彻底改变全球支付生态系统。Wyre将继续运营。

据此前报道,加密支付提供商Wyre一名前员工援引Wyre首席执行官Ioannis Giannaros的一封电子邮件表示,该公司计划在2023年1月尽快清算和终止服务。 另一名前员工表示,公司没有提供任何遣散费。Ioannis Giannaros回应,该公司仍在运营,近期计划缩减规模。

去年12月,硬件钱包Ledger的兑换服务商Wyre涉嫌“无故”冻结用户资金,用户反馈在Wyre平台兑换的资金无故丢失。[2023/1/8 11:00:31]

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

浙江区块链财政电子票据已累计开出22.5亿张:金色财经报道,近日,记者从浙江省财政票据管理中心了解到,浙江自2019年探索电子票据上链以来,累计开出22.5亿张区块链电子票据,财政票据电子化率达99%,均居全国第一,实现了全省机关企事业单位财政电子票据全覆盖。早在2019年,浙江就依托蚂蚁链上线全国首个区块链电子票据平台。利用区块链的分布式记账以及多方高效协同优势,打通各部门间的数据孤岛,建立医保部门与医疗机构电子票据信息共享和运用机制,实现了电子票据的生成、传送、储存和报销全程“上链盖戳”,实现跨地区、跨部门结算报销。[2022/12/16 21:48: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倒是开发一下啊,没看到模块化都来沾边了嘛?也是你好把这暗器藏起来,他们杀得越血腥你越痛快

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

区块博客

[0:0ms0-5:94ms