Formality

Formality

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

开发

Formality 简介

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

Formality 团队成员

Victor Maia

Victor Maia

以太坊研究分析师。

Formality 相关信息

Roy Learner

Roy Learner

Framework Ventures 负责人。
Otonomos

Otonomos

在所有主要司法管辖区成立公司。
Pods Finance

Pods Finance

以太坊上任何的期权。
Dynamiculture

Dynamiculture

分布式的环境治理平台。
Subspace

Subspace

响应式 DApp 开发。
CommitPool

CommitPool

达成个人与组织目标的工具。
Jason Teutsch

Jason Teutsch

可扩展区块链验证解决方案 TrueBit 联合创始人。
Trevor Koverko

Trevor Koverko

Polymath 创始人。
GEMs

GEMs

可证明的稀有性。
yEarn

yEarn

将 DeFi 变得更简单。