Stellarは、プロジェクトとユーザーのために安全なエコシステムを構築することに関して、決して手を抜きません🔐

過去1年間、私たちはStellarチームおよびエコシステムプロジェクトと緊密に連携し、彼らのセキュリティニーズをカバーし、Sorobanスマートコントラクト向けに設計された形式検証ツールであるKometを構築してきました。今後の展開が楽しみです💛