Formality

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

Formality

概述

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

团队成员

以太坊研究分析师。

CypherHunter Plus

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

相关浏览

Coinbase 开源项目，实现任意区块链技术部署和交互的标准化。

快速搭建区块链应用。

跨境汇款无边界。

用于代码协作的点对点堆栈。

扩展生态系统

超过70+生态系统正在积极增长，同样值得您的关注。