Futures Analysis
1
On-Chain Data
1
Technical Indicators
2
Institutional Data
1

Veridise

Hardening blockchain security with formal methods

About Veridise

Founded2022

Veridise is a blockchain security company that provides audits and software analysis tools for all layers of the blockchain ecosystem, including smart contracts, web3 applications, zero-knowledge circuits, and blockchain implementations. Co-founded by a team of formal verification and software security researchers, Veridise offers state-of-the-art tooling for hardening blockchain security. It also provides a comprehensive and user-friendly toolchain for automatically auditing smart contract security and correctness.

Community
LinkedIn
Twitter
Website
GitHub
Tags
Security Solutions
Security Audit

Trend of Hot Index Change

Team Members

Jon Stephens
Jon Stephens

Co-Founder&CEO

Isil Dillig
Isil Dillig

Co-Founder & President

Ben Sepanski
Ben Sepanski

Chief Security Officer

Kostas Ferles
Kostas Ferles

CTO

Nikos Chondros
Nikos Chondros

VP of Product

Mikko Ikola
Mikko Ikola

Head of Marketing

Investors

Galaxy Digital
Galaxy Digital
Monoceros
Monoceros
Jocy Lin
Jocy Lin
Haichen Shen
Haichen Shen
Scott Sunarto
Scott Sunarto
Polychain
Polychain
Hack VC
Hack VC
dao5
dao5
Shumo Chu
Shumo Chu

Fundrasing details

Pre-A(2022-11-30)
Amount$10.00M
Investors
Galaxy Digital
Galaxy Digital
Monoceros
Monoceros
Jocy Lin
Jocy Lin
Haichen Shen
Haichen Shen
Scott Sunarto
Scott Sunarto
Valuation--
Seed(2022-07-26)
Amount$4.70M
Investors
Polychain
Polychain
Hack VC
Hack VC
dao5
dao5
Shumo Chu
Shumo Chu
Valuation--