Loading...
Supporting developers, startups, and full-fledged companies building on Stellar and Soroban
© 2025 Stellar Development Foundation
Subscribe to the Newsletter
By OtterSec
OtterSec is a blockchain security company focused on identifying and patching critical exploits before our clients go to market.
OtterSec plans to develop formal verification tooling for the Stellar ecosystem to help identify and mitigate critical exploits. Formal verification tooling enables developers to easily specify critical contract invariants, providing stronger guarantees and more confidence in development.
$137.5K
Robert Chen
Christian Cuffari
No other submissions.