Veridise Reviews & Provider Details

Our blockchain security company is hardening the ledger, one bug at the time. Veridise is an innovative blockchain security company, founded in 2021 by a team of world-class academics. The birthplace of Veridise is the UToPiA research group. Our co-founder and UT Austin professor, Isil Dillig, leads the UToPiA research group, which focuses on program analysis, verification, and synthesis—an area of Computer Science that has profound implications for software security. Starting in 2018, program analysis for smart contracts emerged as a central area of research for the group: They created advanced vulnerability detection tools and built deep domain expertise in the DeFi space. The work of the group didn’t go unnoticed. Several security companies lined up to use these techniques, while protocols sought our expertise for audits. These signals prompted us to roll up our sleeves and start Veridise. Many Veridise team members, such as Kostas Ferles, Ben Sepanski, Shankara Pailoor, Ben Mariano, and Jacob Van Geffen previously worked as researchers in the UToPiA group, and many of them contributed to smart contract security research before joining Veridise. As a result, our blockchain security company is in the unique position of combining the latest academic research discoveries with deep industry experience for industry-leading audits. Today, Veridise is led by president and co-founder Isil Dillig and CEO and co-founder Jon Stephens. The Veridise team consists of 35+ professionals, dedicated to advancing the state of the art in blockchain security. Trust us with your smart contract audits and secure your blockchain with Formal Methods. We offer industry-leading smart contract audits and blockchain security tools from the team trusted by Risc Zero, Succinct, Linea, O1JS, and more.