Стеллар не шутит, когда речь заходит о безопасности и создании безопасной экосистемы для проектов и пользователей 🔐

За прошедший год мы тесно сотрудничали с командой Stellar и проектами экосистемы, чтобы удовлетворить их потребности в безопасности и разработать Komet, инструмент для формальной верификации, предназначенный для смарт-контрактов Soroban, и мы не догадываемся, что нас ждет в будущем 💛