Formality

https://formality-lang.org

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

Formality简介

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

【Coinbase将于1月15日6:30暂停SNX交易】1月15日消息，Coinbase官方发推称，由于Synthetix (SNX)将进行协议升级，为确保升级稳定，Coinbase将于北京时间1月15日6:30临时暂停在Coinbase和Coinbase Pro上交易SNX。此前消息，合成资产发行平台Synthetix宣布将于1月15日7:00进行Castor版本升级。

【动态 | Bibox上线资产托管产品“哈雷彗星1号”和“维纳斯1号”】据官方消息，2月26日，Bibox的AI数字资产托管服务新增“哈雷彗星1号（第二期）”、“维纳斯1号”2款产品，其中一款产品不到一天委托量超86%。据官方透露，“哈雷彗星1号（第二期）”的历史收益曾达到年化73.09%，“维纳斯1号”策略曾单独服务于某知名矿池王姓创始人，并以15000枚ETH及100万USDT获得综合年化24.3%的实际收益。Bibox资管负责人Marco介绍，“AI数字资产托管”服务参照传统金融行业的私人银行业务设计，旨在降低用户门槛，让更多用户体验数字资产投顾服务。

【深圳前海发布国内首个区块链法律纠纷分析报告】4月16日下午，深圳市信息服务业区块链协会（简称“深圳链协”）、深圳大学区块链技术研究中心、广东梦海律师事务所及前海传媒共同在深圳前海发布了《全国区块链法律纠纷分析报告》，这是国内首个聚焦区块链领域法律纠纷的分析报告，对区块链从业者掌握经营法律风险方面具有很高的参考价值。（前海金融城邮报）。

【IOST与TokenPocket联合发布IOST钱包小白书】5月20日，IOST与TokenPocket联合发布钱包科普资料《从0到1入门IOST钱包》，又称IOST钱包小白书。小白书由IOST官方联合TokenPocket，以及TokenPocket社区志愿者共同撰写，详细介绍了当前IOST钱包与IOST生态密切结合的实例，以IOST钱包为起点，延伸到IOST生态的方方面面，让大家轻松玩转IOST区块链网络，是目前市面上最为详细的IOST数字钱包科普资料。

标签：Formality