Back to Organizations
Veridise
Veridise is a blockchain security company specializing in smart contract and zero-knowledge audits. It combines formal methods, manual code review, and in-house vulnerability-detection tools for blockchain protocols and Web3 projects.
Distributed
Description
Veridise provides security auditing and related services for smart contracts, DeFi, Web3 wallets and integrations, NFTs, L1/L2 blockchains, zero-knowledge circuits, and zkVM applications. Its team uses formal methods, security proofs, architecture reviews, research, and internally developed static-analysis and fuzzing tools to identify vulnerabilities for blockchain infrastructure protocols and other Web3 clients.Grant Funding
VC Funding
None
2022
$0
$4.7M
Technology & Skills
PICUS
MARKETING
ZERO-KNOWLEDGE
CRYPTOGRAPHY
C#
VERIFICATION
BUSINESS DEVELOPMENT
AUDITING
THEOREM PROVER
ZK VANGUARD
ZK FRAMEWORK
RESUME
SMT SOLVER
RUST
PROGRAMMING LANGUAGES
LLZK
SOFTWARE ENGINEERING
NOIR
LEAN
ZK CIRCUIT
RESEARCH
SECURITY ANALYST
SOFTWARE ENGINEER
MODEL CHECKING
AUTOMATED VERIFICATION
FORMAL METHODS
FORMAL VERIFICATION