币百科
探索区块链知识边界
行情
资讯
每日资讯
Mirror精选
百科
数字货币百科
区块链百科
钱包百科
快讯
专题
数字货币专题
区块链专题
数据专题
项目专题
联系我们
长按上方二维码3秒识别二维码
Formality
用于评估以太坊区块链上的高阶功能程序。
开发
formality-lang.org
关注
3
Formality 简介
Formality 是一种有效的证明语言,用于评估以太坊区块链上的高阶功能程序,兼具快速、安全、可迁移等优点。
Formality 团队成员
Victor Maia
以太坊研究分析师。
Formality 相关信息
Sequence
在以太坊上实现无缝用户体验的区块链基础设施堆栈。
Samyak Jain
InstaDApp 联合创始人。
0xEssential
针对开放元宇宙的开源 NFT 标准。
Matthew Wraith
Bitnomial 信息技术总监。
Asheesh Birla
RippleNet 负责人。
BlockVigil
像专家一样,构建并启动区块链应用。
Alex Newman
Human Protocol 技术总监。
Andrew Falaleev
Neon Labs 首席技术官。
Chris Abrams
Avanti Financial Group 产品开发主管。
Andrej Ktitarev
Deep Work 联合创始人。