Formality 简介
Formality 是一种有效的证明语言，用于评估以太坊区块链上的高阶功能程序，兼具快速、安全、可迁移等优点。
Formality 团队成员
Formality 相关信息
Alekos Filini
比特币开发者。
Sid Coelho-Prabhu
Coinbase 钱包产品的负责人。
Nickolai Zeldovich
Algorand 分布式系统主管。
Doug Petkanics
Livepeer 联合创始人。
Alex Reinlieb
55 Foundry 总监。
Maksim Balashevich
Santiment 创始人。
Liam Aharon
Flex Dapps 软件开发工程师。
Chaos Computer Club
欧洲最大的黑客协会组织。
Liraz Siri
TabooKey 首席执行官。
