明天我们将在 Choreo 举办一个 Space，诚邀您参加！ 加入 @bugarela 和 @buchmanster 的问答环节，了解 Choreo，我们的新框架，让为分布式系统编写 Quint 规范的过程变得简单易行。 准备好编排一些协议了吗？

注意：我们将在以下列出的网络上于10月1日退出验证者集。 如果您正在与我们进行质押，请迁移到其他验证者以继续获得奖励。 @fuel_network @akashnet_ @namada @nomicbtc @penumbrazone @burnt_xion

我们想向您介绍 Choreo - 一个用于 Quint 中分布式协议规范的结构化基础。 跳过空白文件。获取用于消息传递、状态管理和经过实战检验的分布式系统模式的预构建抽象。