Formality

Formality

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

开发

Formality 简介

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

Formality 团队成员

Victor Maia

Victor Maia

以太坊研究分析师。

Formality 相关信息

ETH Lisbon

ETH Lisbon

以太坊在里斯本举办的黑客马拉松。
EXODUS

EXODUS

支持多项资产的钱包服务。
Machinomy

Machinomy

以太坊平台的微支付 SDK。
CryptoDozer

CryptoDozer

区块链上的投币推杆街机游戏。
Morph

Morph

实验性的算法稳定币。
EthBlock.art

EthBlock.art

在以太坊上创建确定性艺术绘画。
Hashpalette

Hashpalette

跨链 NFT 平台。
Christoph Mussenbrock

Christoph Mussenbrock

Etherisc 联合创始人。
Zhen Yu Yong

Zhen Yu Yong

Torus Labs 联合创始人。
Nifty Wallet

Nifty Wallet

为 POA 网络、POA Sokol 测试网络提供本机支持。