Formality

Formality

用于评估以太坊区块链上的高阶功能程序。

开发

Formality 简介

Formality 是一种有效的证明语言，用于评估以太坊区块链上的高阶功能程序，兼具快速、安全、可迁移等优点。

Formality 团队成员

Victor Maia

Victor Maia

以太坊研究分析师。

Formality 相关信息

Brody Berson

Brody Berson

CocoNFT 联合创始人。
Justin J. Moses

Justin J. Moses

Synthetix 首席技术官。
Tara Lin

Tara Lin

Slate 开发工程师。
Marius van der Wijden

Marius van der Wijden

以太坊 Go 团队成员。
Janey Munoz

Janey Munoz

Clovyr 开发者。
Lucas Schweiger

Lucas Schweiger

Blockdata 联合创始人兼开发总监。
XFai

XFai

DeFi 世界的开发工具。
Todd Kitchens

Todd Kitchens

数字健康与加密未来主义者。
Thibauld Favre

Thibauld Favre

Fairmint 联合创始人。
Kendrick Tan

Kendrick Tan

最近在 UMA Protocol 工作。