Overview
News
Technologies
Salaries
Products
People
Growth
Offices
Financials
Overview
Veridise is a blockchain security company combining manual audits with automated program analysis and formal verification. Spun out of university research, it specialises in zero-knowledge circuits as well as conventional smart contracts. The company also publishes tooling for detecting circuit under-constraint bugs.
News
Reentrancy in Reward Accounting: How $27M Was Paid Out on a Deposit
Reentrancy in Reward Accounting: How $27M Was Paid Out on a DepositThe Auditor's Take is a weekly series by Jon Stephens, CEO of Veridise. This one is about a reentrancy bug, and about what a reward calculation measures when it subtracts two balances. The
Read more
Report
Veridise Audits the Strategy Contracts Behind Lombard's Bitcoin Vaults
Veridise Audits the Strategy Contracts Behind Lombard's Bitcoin VaultsLombard has launched an on-chain vault system where risk curators and asset managers offer Bitcoin yield products to users through a single vault deposit. Veridise audited the smart con
Read more
Report
ZK Circuit Equivalence Checking: Introducing LLEQ
ZK Circuit Equivalence Checking: Introducing LLEQEvery ZK circuit is written twice. The witness generator evaluates the computation and assigns concrete values to the circuit's signals, and the constraints are polynomial equations that decide whether a gi
Read more
Report
Constant Product Manipulation: When a Token Breaks the Pool It Was Built For
Constant Product Manipulation: When a Token Breaks the Pool It Was Built ForThe Auditor's Take is a weekly series by Jon Stephens, CEO of Veridise. This article is about a class of bug where a token's own transfer logic breaks an invariant of the protocol
Read more
Report
Mina Multisig Audit: Veridise Reviews FROST Signing
Mina Multisig Audit: Veridise Reviews FROST SigningMina Multisig lets Mina and ecosystem projects operate through a threshold signature instead of a single key, adapting the FROST protocol to Mina's Pallas curve and Poseidon hashing. Veridise completed a
Read more
Report
Pro access
Upgrade to see all 11 mentions
Upgrade to a paid plan to read every media mention of this company - funding news, awards, product launches and press releases from all the outlets writing about it.
Every media mention and press release
Funding news, awards and product launches
Fresh coverage from every outlet writing about the company
Upgrade now
Cancel anytime. Secure checkout. Instant activation.
Offices
Where the company hires and what each office is for
Cities
1
Hiring now
0
Countries
1
Austin
United States
HQ
50-200 est. staff