Veridise company
Overview
A security auditing company, Veridise, focuses on formally verifying blockchain and smart contract code. Researchers from the University of Texas at Austin established the firm, which uses mathematical proof methods to identify flaws in decentralized protocols.
Within The Counterparty graph, Veridise connects to 2 tracked entities, most strongly to United States, Lombard LBTC.
Relations
Top connections in The Counterparty knowledge graph (confidence-weighted, 2 of 2 total).
| Relation | Connected entity | Confidence |
|---|---|---|
headquartered_in | United States | 85% |
audited_by | Lombard LBTC | 75% |
Frequently asked questions
What is Veridise?
Veridise is an audit-firm tracked in The Counterparty knowledge graph. It is connected to 2 other tracked entities, most strongly to United States, Lombard LBTC.
What type of entity is Veridise?
Veridise is classified as an audit-firm (company) in The Counterparty knowledge graph.
What is Veridise connected to?
In The Counterparty knowledge graph, Veridise is linked to 2 other tracked entities, most strongly to United States, Lombard LBTC.