行情数据
洞察分析
特色内容
用形式化验证为区块链提供数学级安全
高度透明
Everett Hildenbrandt
CEO
Grigore Rosu
总裁兼首席执行官
Natalia Klaus
验证工程师
Petar Maksimovic
高级验证顾问
2022-06 ~ 2025-01
Patrick MacKay
首席运营官
2018-03 ~ 2024-04
Daejun Park
Yilong Li
