Formality 简介
Formality 是一种有效的证明语言,用于评估以太坊区块链上的高阶功能程序,兼具快速、安全、可迁移等优点。
Formality 团队成员
Formality 相关信息

Chibi Fighters
链上现场格斗。
Coinbase Wallet
Coinbase 提供的钱包服务。
Yalor Mewn
DAppNode 传播主管。
Witek Radomski
Enjin 首席技术官。
Klaus Hott Vidal
Unvest 首席智能合约开发者。
Jonny Rhea
Element 首席技术官。
Jonas Rubel
Liquiditeam 联合创始人。
WENEW
Beeple 推出的以太坊上 NFT 策划和发行平台。
Seth Feibus
TAP Network 软件开发工程师。