Findx hosted Chapter 5 of Interoperable Podcast on Web3 security, featuring Everett Hildenbrandt from Runtime Verification and Mark from Hana Wallet. Discussion covered formal verification, wallet security, oracle vulnerabilities, and the recent price manipulation incident on Stellar's DEX.
In this episode of Interoperable Podcast, Findx brought together security experts and wallet builders to discuss critical security topics in Web3. Everett Hildenbrandt from Runtime Verification explained formal verification as mathematically modeling and proving software correctness, emphasizing that security requires understanding threat models and system design before auditing code. Mark from Hana Wallet discussed non-custodial wallet security from both technical and UX perspectives, highlighting the importance of protecting users from themselves through clear communication and native experiences. The conversation covered the recent price manipulation exploit on Stellar's DEX that affected Blend lending protocol, demonstrating how individual audited components can fail when composed together. Key themes included the need for specification-driven development, the role of AI in security, insurance mechanisms for non-technical users, and the importance of team trust when integrating DeFi protocols.
