Yu Feng, Işil Dillig, Jon Stephens

The health of the blockchain ecosystem crucially relies on the correctness and security of the software that comprises it.

Veridise's mission is to ensure the reliability and robustness of the Blockchain ecosystem by equipping Blockchain developers at all levels with state-of-the-art tools that can be used to eradicate security vulnerabilities and correctness bugs from their code.

Since 2022, Veridise has been the leading player in Zero-knowledge security and has worked with most major players in DeFi, ZK, wallets, and blockchain ecosystems.

The company was built by 3 co-founders whose research in formal verification is highly acclaimed.