Back to Organizations
Veridise
Veridise provides smart contract audits, blockchain security services, zero-knowledge audits, and in-house security tooling.
Distributed
Description
Veridise is a blockchain security company specializing in smart contract audits, zero-knowledge and zkVM audits, L1/L2 and DeFi security reviews, security proofs, architecture reviews, and security research. Its services combine manual auditing with formal methods and proprietary tools for vulnerability detection. Veridise also provides AuditHub and in-house tools including Vanguard, OrCa, ZK Vanguard, and Picus to support auditors and audit clients.Historical Grant Funding
VC Funding
None
2022
$0
$4.7M
Technology & Skills
RUST
THEOREM PROVER
ZERO-KNOWLEDGE
RESEARCH
PROGRAMMING LANGUAGES
MARKETING
BUSINESS DEVELOPMENT
SMT SOLVER
FORMAL METHODS
PICUS
ZK CIRCUIT
LLZK
ZK VANGUARD
C
SOFTWARE ENGINEER
AUTOMATED VERIFICATION
FORMAL VERIFICATION
SECURITY ANALYST
AUDITING
RESUME
MODEL CHECKING
CRYPTOGRAPHY
Open Roles
Job details and availability are maintained by JobStash.
View all Veridise roles on JobStash