Veridise
About us
Who are we?
HARDENING BLOCKCHAIN SECURITY WITH FORMAL METHODS
Veridise is a blockchain security company founded by a team of world-class researchers. We are passionate about bringing our state-of-the-art security research and software analysis tools to the fingertips of web3 developers.
- We are a proven leader in auditing Zero-Knowledge Circuits, Smart Contracts, and Blockchains.
- Our in-house security analysis tools are the best-in-class and build on years of academic research from our team.
- We are trusted by many leading projects, including: Manta, Scroll, Semaphore, Succinct, Ankr, Dogechain, Circom-lib, Ribbon Finance.
- Blockchain
- Seed
- People: 10-49
- Founded: 2022
Technology
Benefits
Culture
(1)Hire with us!
Create a free profile page for your company.
Use this space to connect with our community. Companies with profiles typically get 20% more applications!
Jobs (2)
View allHardening blockchain security with formal methods
Remote
Hardening blockchain security with formal methods
Remote
- Blockchain
- Seed
- People: 10-49
- Founded: 2022
Hire with us!
Create a free profile page for your company.
Use this space to connect with our community. Companies with profiles typically get 20% more applications!
