Archetype简介
Archetype 是一种领域特定语言(DSL),用于在 Tezos 区块链上开发智能合约,尤其关注合约的形式化验证。其由 Tezos 基金会支持、edukera 开发。
【美国最高法院:SEC从欺诈计划中追缴利润时需遵守限制】金色财经报道,美国最高法院大法官Sonia Sotomayor周一裁定,美国证券交易委员会(SEC)在从欺诈计划中追缴利润时需严格遵守一些特定限制。据悉,利润追缴是SEC可以在民事欺诈案件中收回资金的常用工具,包括以ICO为中心的案件。
【人大代表:建议采用区块链等技术在深圳建立期货交易所】5月25日消息,全国人大代表、深圳市人大常委会党组成员杨绪松建议,联合港澳在深圳建立一家综合性、开放型和创新型期货交易所,参与国际定价权竞争。该期货交易所采用公司制,港澳参股,和国内现有期货交易所错位发展,交易规则与国际惯例接轨,向境外客户开放,建立覆盖全球的交割网络,采用区块链、物联网等新技术。(晶报)。
【B-SNEX交易所将于7月15日开放注册】据官方消息,B-SNEX交易所将于7月15日开放注册,并于7月18日开放认购BNG通证,BNG是B-SNEX交易平台的平台币,B-SNEX交易平台的多元化权益都将会用BNG来打造。 B-SNEX交易所是一家致力于打造生态系统的交易平台,其将在全球进行业务开展,打造区块链行业系统。
【声音 | 瑞士监管机构负责人:瑞士更担心加密项目在官方监管之外发展 而非Libra】据路透社今日消息,瑞士金融市场监管局(FINMA)负责人Mark Branson表示,瑞士更担心的是加密货币项目在官方监督之外发展,而不是facebook所构想的Libra项目。他称,“更担心的是一些些项目是在金融体系的某个黑暗角落里发展起来,并通过网络空间分散开来,有朝一日规模大到无法阻止。”。
【数据:DeFi应用中的ETH锁仓量一度创年内新低】随着冠状病在全球范围内蔓延,锁定在DeFi应用中的以太坊总量正在下滑。根据DeFi Pulse的数据,ETH的锁仓量近期一度跌至年内低点(266.9万)。2月15日,DeFi应用程序的总锁定价值(TVL)创下了12.39亿美元的历史新高,其中Maker、Synthetix和Compound处于领先地位。然而,自从一个月前的“黑色星期四”大崩盘以来,截至发稿时,TVL已经下跌了42.5%,目前为7.12亿美元。经查询,DeFi Pulse最新数据显示,ETH锁仓量现略有回升,达270万;TVL为7.089亿美元。(CoinGape)。
【火币行情播报 | BTC周末小幅冲高回落,震荡行情仍在持续】据火币行情显示,BTC周末小幅震荡上行,最高冲高到10580USDT,但是冲高过程成交量并没有明显的放大。随后在10500USDT上方横盘了大约5个小时之后,并没有有效站稳,随后下探回调完全反包了之前的上涨。目前这波下跌后的整理行情几次反弹幅度并不大,成交量持续萎缩,市场还没有选择方向,可能还会持续震荡整理一段时间。 截至10:00,火币平台的主流币的具体表现如下。
标签:Archetype
官方信息
-
-
- 微博
-
- YouTube
-
- 微博
-