快速区块链给带宽管理和 RPC 公平性带来了新的挑战。今天,我们将介绍一种使用流动性质押承诺来塑造 RPC 访问的机制。该系统通过 FastLane 的 ShMonad RPC 上线。本线程探讨了架构和基本原理。 🧵
像 Monad 这样的高吞吐量网络(~0.5 秒的阻塞时间,~1 秒的最终确定性)几乎没有留下反应性节流的空间。当 RPC 终结点检测到它受到垃圾邮件攻击时,已经造成了损害。缓解措施必须是主动的,并且与激励措施保持一致。 /2
关键约束是带宽。验证者相邻节点资源受限且对延迟敏感。如果不加区别地授予无需许可的访问权限,对抗性客户端可能会排挤诚实的参与者,从而导致用户体验下降,验证者成本下降,而无法追索。 /3
我们的解决方案利用 ShMonad,这是一种具有链上承诺功能的可编程流动性质押代币 (LST)。用户收到一个私有 RPC URL,以换取将 ShMON 提交到链上“RPC 策略”。此承诺管理访问速率限制。 /4
带宽按比例分配: 用户的 RPS =(用户承诺的 ShMON / 承诺的 ShMON 总数)× RPS_max-global 这产生了一个动态可共享的权益加权带宽模型,而无需引入集中式链下速率限制器。 5/
质押提交一段时间(目前为 20 个区块),从而启用缓存。中继间歇性轮询和快照链上承诺状态。这可以防止关键路径中的 EVM 调用,并支持高频使用,而不会增加延迟。 6/
根据实证数据,该系统在延迟方面始终表现出更低的水平。在多次独立的基准测试中,FastLane 的 ShMonad RPC 的中位数/平均响应时间比第二快的提供商低约 20 毫秒,与公共 RPC 的差距更大。 7/
ShMON承诺的RPC政策与参与FastLane中继网络的验证者进行质押(目前超过90%的Monad验证者)。这创造了对齐:带宽消费者支持为其流量服务的相同验证者,而验证者有可能通过超额罚款直接获得补偿。 8/
但是,要可靠且无需信任地实施带宽限制,我们需要的不仅仅是速率限制......我们需要可证明的执行。目前,用户在中继处受到限制。但路线图包括基于随机数增量和签名使用收据的链上证明系统。 9/
最小设计可以比较区块高度 n 和 m 之间的账户随机数,以及高于最大 RPS 的斜杠(即“应用附加费”并将其提供给验证者)的超额使用量。但有一个问题:这很容易受到中继的批量释放攻击,使 txs 看起来是突发的。
为了缓解这种情况,我们引入了第二个通道:异步时间戳使用回执。当交易提交时,它将被多播到验证者和单独的“收据发行者”。颁发者将签名对象返回给发送方,该对象带有时间戳,并包含执行前随机数元数据。它消除了用户和验证者之间的热路径中的跟踪和验证开销。 11/
这些收据(将会被签署)有双重目的: 1. 用户反馈:如果收据停止到达,客户可以自愿暂停流量以避免超额费用。 2. 链上证明:收据锚定时间活动,区分真实的垃圾邮件和中继引起的批处理。 12/
该模型同时支持 EOA 和 4337 userOps(假设非共享捆绑包或与我们自己的 paymaster 垂直集成)。在未来的版本中,我们可能会强制要求交易签名者与保单持有人匹配或在保单承诺期间被列入白名单。待定。 13/
我们的目标是在不牺牲性能的情况下将执行转移到链上。得益于 Monad 丰富的区块空间和快速的最终确定性,提交状态证明、验证收据和收取超额费用在链上是可行的......这在成本较高的网络上是不可行的。 14/
超额罚款(类似于拥堵收费)仍在设计中。在最终确定附加费表之前,我们正在等待 Monad 最终确定的费用市场结构——在不知道基准费用是多少的情况下设计超额费用对我们来说是没有意义的。 15/
RPC 吞吐量目前以聚合 (txs + eth_call) 来衡量,但未来的升级将分解带宽类。读取请求将通过区域优化的节点进行路由,从而消除验证器带宽限制造成的瓶颈。 16/
对于对延迟敏感的应用(例如全节点、做市商),我们支持通过p2p进行对等连接和直接区块传输。对于完整区块,传播优先级将根据权益加权(LSWQoS):承诺的ShMON越多的用户将稍早接收到区块,受限于包含阈值。 17/
这代表了对传统“尽力而为”RPC的偏离。对于RPC的读取请求,已承诺的质押金额决定请求的数量。对于从我们的节点发送的区块,已承诺的质押金额决定发送的顺序。 18/
在高吞吐量链上,如果激励、执行和可观察性是从基本原则设计的,那么无信任访问控制是可行的。ShMonad RPC是该论点的参考实现。我们期待迭代和外部审查。 19/
6.77K