Veridise

使用形式化方法加強區塊鏈安全性

حول Veridise

التأسيس2022

Veridise 是一家區塊鏈安全公司,為區塊鏈生態系統的所有層級提供審計和軟體分析工具,包括智慧合約、web3 應用程式、零知識電路和區塊鏈實施。 Veridise 提供了一個全面且用戶友好的工具鏈,用於自動審計智能合約的安全性和正確性。

المجتمع
LinkedIn
Twitter
Website
GitHub
العلامات
安全解決方案
安全審計

اتجاه تغيير مؤشر الحرارة

أعضاء الفريق

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
Galaxy
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)
المبلغ﷼37.50M
المستثمرين
Galaxy
Galaxy
Monoceros
Monoceros
Jocy Lin
Jocy Lin
Haichen Shen
Haichen Shen
Scott Sunarto
Scott Sunarto
تقييم--
種子輪(2022-07-26)
المبلغ﷼17.62M
المستثمرين
Polychain
Polychain
Hack VC
Hack VC
dao5
dao5
Shumo Chu
Shumo Chu
تقييم--