Formality 简介
Formality 是一种有效的证明语言，用于评估以太坊区块链上的高阶功能程序，兼具快速、安全、可迁移等优点。
Formality 团队成员
Formality 相关信息
Michael St Clair
Genesis Block 资深开发工程师。
Fabio Berger
0x 工程开发经理。
Sorawit Suriyakarn
Band Protocol 联合创始人兼首席技术官。
Serguei Popov
IOTA 联合创始人。
Ateeq Ahmad
DefiCliq 软件开发工程师。
Daniel Pyrathon
0x 资深软件开发工程师。
Rosetta
Coinbase 开源项目，实现任意区块链技术部署和交互的标准化。
Dariya Khojasteh
Layer3 联合创始人。
Igor Khmel
BANKEX 创始人兼首席执行官。