Stellar doesn't play around when it comes to security and creating a safe ecosystem for projects and users alike 🔐

For the past year, we have been working closely with the Stellar team and ecosystem projects to cover their security needs and building Komet, a formal verification tool designed for Soroban smart contracts, and we can't wait to see what the future holds 💛