Veridise
veridise.com
Cryptocurrencies
Smart Contracts & Security
Blockchain & Crypto
As featured in
Claim pageClaim
Follow
Overview
News
Salaries
Products
People
Growth
Offices
Financials
Funding and backers
Team
17
US Form 5500 (plan participants) · Dec 2025 · -6% in a year
Backers
1
Hack VC
Momentum
15/100
in the news
Last sign of life
1 mo ago
a posting or a news item
The story so fareach stage dated by its source: the company's releases, the press, registers, filings
2021
Founded
Tractionpublic signals, read monthly
Web presence
top 0.33%
of 133.2M domains by links, Common Crawl
Hacker News stories
1
best: 1 points
Backed byfrom the funds' portfolios and accelerator catalogs
Hack VC Investors in similar startupsfunds that back the companies most like this one
Similar startupsby what they do, their industry and backers
Aztec Labs is a cryptography company founded in 2017 and headquartered in London. It builds a privacy-preserving Ethereum layer-two network…
Lyquor is a decentralized platform for Off-chain Ready smart contracts, hosted with choice.
Hexens is a blockchain security firm providing smart contract audits, protocol reviews and offensive security testing. Its researchers have…
Accelerate your blockchain innovation with unified security and decentralized trust. Discover the modular security layer for Web3…
Oyl Corp builds open source infrastructure for programmability on Bitcoin Layer 1 — Alkanes smart contracts, indexing, asset standards, and…
Chain ID gnoland-1 RPC Address https://rpc.gno.land Content Gno.land Is A Platform To Write Smart Contracts In Gno Gno.land is a…
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
Low-Level Call Hijacking: How a Trusted Router Call Cost $3.5M
Low-Level Call Hijacking: How a Trusted Router Call Cost $3.5MThe Auditor's Take is a weekly series by Jon Stephens, CEO of Veridise. This one is about privileged contracts that forward caller-supplied data straight into a low-level call, and how a senior
Read more
Report
Insolvency Vulnerability: The Euler Finance $197M Exploit
Insolvency Vulnerability: The Euler Finance $197M ExploitThe Auditor's Take is a weekly series by Jon Stephens, CEO of Veridise. This article is about a solvency invariant that was correctly enforced until a later upgrade, an upgrade that was itself audit
Read more
Report
Flash Loan Governance Attacks: How Borrowed Voting Power Drains a Protocol
Flash Loan Governance Attacks: How Borrowed Voting Power Drains a ProtocolThe Auditor's Take is a weekly series by Jon Stephens, CEO of Veridise. This week's edition looks at how governance systems that measure voting power instantaneously, rather than fr
Read more
Report
Bridge Misconfiguration Vulnerabilities: How One Zero Value Cost $190M
Bridge Misconfiguration Vulnerabilities: How One Zero Value Cost $190MThe Auditor's Take is a weekly series by Jon Stephens, CEO of Veridise. This one is about configuration bugs that live in a value set at deployment rather than in the code itself, and h
Read more
Report
Proving the Absence of Soundness Bugs in ZKsync Airbender
Proving the Absence of Soundness Bugs in ZKsync AirbenderMatter Labs engaged Veridise for a tooling-focused security assessment of ZKsync Airbender, the STARK-based RISC-V zkVM that proves execution for the ZKsync ecosystem, ahead of its V2 prover upgrade
Read more
Report
Show more news
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