smart-contract-security
(2)
Jon Stephens
Jon Stephens is the CEO and co-founder of Veridise, an Austin-based blockchain security firm that brings academic formal verification to smart contract and zero-knowledge audits. A computer science PhD researcher at UT Austin, he built tools like SmartPulse and Zequal that grew out of his work on formally reasoning about programs, and turned that research into a company that has audited protocols including RISC Zero, Succinct, Semaphore, vLayer and Ankr. His mission is to make everyday users secure without asking them to think about security at all.
Fernando Reyes
Fernando Reyes, known on-chain as FDR, is the founder and CEO of Drosera Network, a decentralized incident response protocol building what he calls an 'immune system' for Ethereum. A former US Army Cyber Protection Brigade operative, he also founded Groom Lake, a Web3 security firm staffed by ex-military and intelligence personnel that hunts hackers and recovers stolen crypto. In February 2025 Drosera raised $4.75M led by Greenfield Capital to ship its 'Traps' technology - customizable Solidity smart contracts that detect and neutralize exploits before they spread.