Veridise company
Overview
Veridise is a security auditing firm that specializes in formal verification of blockchain and smart contract code. The company was founded by researchers from the University of Texas at Austin and applies mathematical proof techniques to detect vulnerabilities in decentralized protocols.
Within the DeFi Intel graph, Veridise connects to 2 tracked entities, most strongly to United States, Lombard LBTC.
Relations
Top connections in the DeFi Intel knowledge graph (confidence-weighted, 2 of 2 total).
| Relation | Connected entity | Confidence |
|---|---|---|
headquartered_in | United States | 85% |
audits | Lombard LBTC | 75% |
Frequently asked questions
What is Veridise?
Veridise is a security auditing firm that specializes in formal verification of blockchain and smart contract code.
Who founded Veridise?
Veridise was founded by researchers from the University of Texas at Austin.
What protocol has been audited by Veridise?
Lombard LBTC has been audited by Veridise.