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 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)
Сумма₽789,01M
Инвесторы
Galaxy Digital
Galaxy Digital
Monoceros
Monoceros
Jocy Lin
Jocy Lin
Haichen Shen
Haichen Shen
Scott Sunarto
Scott Sunarto
Оценка--
種子輪(2022-07-26)
Сумма₽370,83M
Инвесторы
Polychain
Polychain
Hack VC
Hack VC
dao5
dao5
Shumo Chu
Shumo Chu
Оценка--