Formality 简介
Formality 是一种有效的证明语言，用于评估以太坊区块链上的高阶功能程序，兼具快速、安全、可迁移等优点。
Formality 团队成员
Formality 相关信息
Sequence
在以太坊上实现无缝用户体验的区块链基础设施堆栈。
Samyak Jain
InstaDApp 联合创始人。
0xEssential
针对开放元宇宙的开源 NFT 标准。
Matthew Wraith
Bitnomial 信息技术总监。
Asheesh Birla
RippleNet 负责人。
BlockVigil
像专家一样，构建并启动区块链应用。
Alex Newman
Human Protocol 技术总监。
Andrew Falaleev
Neon Labs 首席技术官。
Chris Abrams
Avanti Financial Group 产品开发主管。
