Veridise

Hardening blockchain security with formal methods

关于 Veridise

成立时间2022
社区
LinkedIn
Twitter
Website
GitHub
标签
Security Solutions
Security Audit

热度值变化趋势

团队成员

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

投资方

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

投融资详情

Pre-A(2022-11-30)
金额¥7200.00万
投资方
Galaxy Digital
Galaxy Digital
Monoceros
Monoceros
Jocy Lin
Jocy Lin
Haichen Shen
Haichen Shen
Scott Sunarto
Scott Sunarto
估值--
Seed(2022-07-26)
金额¥3384.00万
投资方
Polychain
Polychain
Hack VC
Hack VC
dao5
dao5
Shumo Chu
Shumo Chu
估值--