md.market.sentiment
2
md.futures.analysis
1
md.onchain.data
1
md.inst.data
1

Veridise

使用形式化方法加强区块链安全性

เกี่ยวกับVeridise

ก่อตั้ง2022

Veridise 是一家区块链安全公司,为区块链生态系统的所有层级提供审计和软件分析工具,包括智能合约、web3 应用程序、零知识电路和区块链实施。Veridise 提供了一个全面且用户友好的工具链,用于自动审计智能合约的安全性和正确性。

ชุมชน
LinkedIn
Twitter
Website
GitHub
แท็ก
安全解决方案
安全审计

เทรนด์เปลี่ยนดัชนีร้อนแรง

สมาชิกทีม

Jon Stephens
Jon Stephens

联合创始人兼CEO

Isil Dillig
Isil Dillig

联合创始人兼总裁

Ben Sepanski
Ben Sepanski

首席安全官

Kostas Ferles
Kostas Ferles

CTO

Nikos Chondros
Nikos Chondros

产品副总裁

Mikko Ikola
Mikko Ikola

营销主管

นักลงทุน

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)
จำนวน฿10.00M
นักลงทุน
Galaxy Digital
Galaxy Digital
Monoceros
Monoceros
Jocy Lin
Jocy Lin
Haichen Shen
Haichen Shen
Scott Sunarto
Scott Sunarto
การประเมินค่า--
种子轮(2022-07-26)
จำนวน฿4.70M
นักลงทุน
Polychain
Polychain
Hack VC
Hack VC
dao5
dao5
Shumo Chu
Shumo Chu
การประเมินค่า--