Veridise Inc. is a blockchain security company that applies formal methods to auditing smart contracts, blockchain implementations, and zero-knowledge systems. Veridise's Twitter Score is 29 out of 1000 as of August 2026, ranking #33,559 (top 10%) among 483,944 tracked accounts.
Veridise was co-founded by Işil Dillig and Jon Stephens, both of whom came out of the UToPiA research group, and the company has operated since 2022. It raised $4.7 million in a seed round led by Polychain Capital, with additional participation from Hack VC and dao5.
Veridise has completed more than 150 audits across its areas of focus, drawing on a team of more than 35 professionals. Its proprietary platform, AuditHub, consolidates four internal security tools, Vanguard, OrCa, Picus, and ZK Vanguard, into a single interface for code review and security analysis. In an internal study of 100 recent audits, the company found that zero-knowledge audits were twice as likely to contain critical or high-severity vulnerabilities compared to other audit types. Clients have included RISC Zero, Succinct, Linea, Stellar, zkSync, Ankr, Seismic, Semaphore, Manta, Scroll, MINA, O1JS, and Circom libraries.
Veridise has published 2,371 posts on the platform and has been mentioned by 81 accounts a total of 282 times.
Who follows Veridise on X?
The accounts that follow Veridise include 115 founders, 39 angel investors, 27 influencers and 4 VCs, among them Tarun Chitra, John Wang, Mario Nawfal, 0xMaki, mikedemarais.eth and Zmanian.