Archetype

http://archetype-lang.org

在 Tezos 区块链上开发智能合约的语言。

Archetype简介

Archetype 是一种领域特定语言（DSL），用于在 Tezos 区块链上开发智能合约，尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。

【BTC再度突破15700美元关口】火币全球站数据显示，BTC短线上涨，再度突破15700美元关口，现报15700.01美元，日内涨幅达到4.13%，行情波动较大，请做好风险控制。

【历史上的今天丨Tether为Omni新版本Omni Core 0.7.0开发提供资金支持】2019年12月16日，Tether为新版本的BTC标记化层Omni的开发提供了资金。公司宣布发布Omni Core 0.7.0，该开发由Tether赞助。据报道，新版本增强了网络性能，并修复了锁定问题和远程过程调用。Omni协议是在比特币网络上运行的系统，该系统在网络上创建代币。

【去中心化交易所Bitcratic支持合规稳定币HUSD】根据官方消息，基于以太坊的去中心化交易所Bitcratic已经正式支持合规稳定币HUSD，现已经开启了HUSD/ETH交易对。 HUSD是由Stable Universal发行的合规稳定币，与美元1:1锚定。HUSD已经在数字资产交易、支付、DeFi等应用中落地。HUSD团队竭诚为用户提供安全、稳定、便捷的数字资产服务。

【动态 | 波场TRON全球社区Tronics正式启动针对新型冠状病疫区救助计划】据官方社区消息，波场TRON全球社区Tronics和合作伙伴BitTorrent、Poloniex、DLive、WINk全球社区正在竭尽全力帮助新型冠状病肺炎患者与医护人员，向武汉捐赠物资，提供一切可能的援助。目前已经着手物资的捐赠与运输，其中包括防护服、护目镜、口罩、食物、水以及各种医疗用品等，此外，波场TRON全球社区还与世界上一些最大的物流公司进行协调，以帮助将这些物资分发到任何可能的地方以及需要的人。

标签：Archetype