Stellar 在安全性和为项目和用户创建安全生态系统方面不会拿钱不做事 🔐

在过去的一年里，我们一直与 Stellar 团队和生态系统项目密切合作，以满足他们的安全需求，并构建了一个专门用于 Soroban 智能合约的形式验证工具 Komet，我们迫不及待地想看看未来会有什么发展 💛