formal-methods
(2)
Veridise
Veridise is an Austin-based blockchain security company spun out of the UToPiA program-analysis research group at the University of Texas at Austin. It hardens Web3 by pairing expert human auditors with proprietary tools built on formal methods, fuzzing and program analysis. Veridise audits smart contracts, zero-knowledge circuits, blockchain implementations and dApps, and has completed 150+ audits for infrastructure protocols including Scroll, Linea, Succinct, Manta Network, RISC Zero and Semaphore.
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.