Stellar 在安全性和為項目和用戶創建安全生態系統方面不會掉以輕心 🔐

在過去的一年中，我們一直與 Stellar 團隊和生態系統項目密切合作，以滿足他們的安全需求，並且我們正在構建 Komet，一個為 Soroban 智能合約設計的形式驗證工具，我們迫不及待地想看到未來的發展 💛