Veridise

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

Sobre Veridise

Fundada2022

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

Comunidade
LinkedIn
Twitter
Website
GitHub
Etiquetas
安全解決方案
安全審計

Tendência de mudança de índice em alta

Membros da Equipe

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

Investidores

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

Detalhes da arrecadação de fundos

Pre-A(2022-11-30)
QuantiaR$51,58M
Investidores
Galaxy
Galaxy
Monoceros
Monoceros
Jocy Lin
Jocy Lin
Haichen Shen
Haichen Shen
Scott Sunarto
Scott Sunarto
Valorização--
種子輪(2022-07-26)
QuantiaR$24,24M
Investidores
Polychain
Polychain
Hack VC
Hack VC
dao5
dao5
Shumo Chu
Shumo Chu
Valorização--