Formality

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

Formality

概述

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

团队成员

以太坊研究分析师。

CypherHunter Plus

Subscribe to distraction-free reading, and unprecedented access to our data.

相关浏览

无需信任的银行。

为区块链开发寻找行业优先的解决方案。

有些东西最好不让人看见。

以太坊基础设施的未来。

发现生态系统