CypherHunter
發現
融資
定價
登入
發現
服務
工具
Formality
Formality
用於評估以太坊區塊鏈上的高階功能程序。
Ethereum
開發
Formality
Ethereum
開發
Formality
網站
formality-lang.org
formality-lang.org
社交帳號
概述
Formality 是一種有效的證明語言,用於評估以太坊區塊鏈上的高階功能程序,兼具快速、安全、可遷移等優點。
團隊成員
Victor Maia
以太坊研究分析師。
Formality
網站
formality-lang.org
formality-lang.org
社交帳號
CypherHunter Plus
Subscribe to distraction-free reading, and unprecedented access to our data.
Get Plus
相關瀏覽
Blockchain at Berkeley
培養人才,建立區塊鏈社區。
Token Analyst
區塊鏈市場情報。
Foreground Capital
專注於長期識別區塊鏈資產的價值。
Digital Currency Group
區塊鏈技術和金融的關係。
發現生態系統
Ethereum
BNB Chain
SOLANA
Avalanche
Polkadot
NEAR Protocol
Polygon
Aptos
COSMOS
Arweave
Optimism
Arbitrum
FANTOM
Tezos
StarkNet
Moonbeam
Sui
Blast