Juvix

https://juvix.org

更文明、优雅的开发语言。

Juvix简介

Juvix 将高级前端语法、相依线性类型的核心语言、优化系统、可后端交换的执行模型等综合到统一的堆栈中，以编写可正式验证、可高效执行的智能合约。

其旨在解决尝试编写和部署去中心化应用时遇到的问题，借鉴并致力于在程序语言设计和类型理论方面积累大量的先前学术研究成果。

【分析 | 看涨规模持续上升震荡下跌可能依在】期货平台BFX.NU研究成员表示，当前期货市场多头溢出约为4.91%，看涨规模持续上升。从BTC 4小时线走势来看，虽昨夜出现整体向上反弹，但仍未突破此前的7500美元压力支撑位，结合后续市场资金流入现象未能持续，市场依然存在震荡下跌可能。本日，CKB合约涨幅居前，预计多头最高回报率约为141.2%。主流币期货板块，BTM、ADA、NAS等11类合约短时增仓明显，而ATOM、NEO、LINK等16类合约呈现为减仓趋势；平台币期货板块，BNB、HT、OKB合约均呈现为空头持仓主力，其中HT合约短时新增6.59万开仓，成交频率与昨日同时段近似。

【加密货币市值前十币种普遍下跌 XTZ领跌】金色财经数据显示，截止当前，加密货币市值前十币种8跌2涨，上涨币种为：BSV（185.91美元，+1.02%）和BCH（234.189美元，+0.49%）；跌幅前三为：XTZ（2.4135美元，-5.57%），XRP（0.192美元，-2.86%），BTC（8549.33美元，-2.57%）。

【Algorand宣布推出去中心化基础设施平台Pocket Network】开源区块链协议Algorand今天宣布，将推出用于开发点对点应用程序的去中心化基础设施平台Pocket Network，它也将在Algorand网络上得到本机支持。 Algorand将成为第一个本地指向Pocket API协议的区块链，Pocket API协议将开发者连接到节点运营商和中继网络，从而降低区块链应用开发的障碍，为开发人员节省时间和金钱。（CNW）。

【行情 | BTC冲高回落现跌破8500美元】火币全球站数据显示，BTC今日最高涨至8780美元后快速回落，现跌至8480美元，日内跌幅0.5%。行情波动较大，请做好风险控制。

【声音 | 华夏银行行长张健华：目前商业银行区块链技术应用较多的是供应链融资】中国网11月18日讯，今日2019北京国际金融安全论坛在北京金融安全产业园会议中心召开。会上，华夏银行行长张健华表示，区块链技术现在比较热，总书记在局第十八次集体学习讲话里面特意提到了“区块链技术应用其实点到了五个方面，数字金融、物联网、智能制造、供应链管理、数字资产交易”等等，大的方面点了这样五个，这五个里面其实有很多跟我们金融是有关的，排第一点的就是数字金融。现在商业银行在区块链技术应用比较多的是供应链融资，还有尝试在跨境支付、支付结算等方面应用区块链。当然别的大行可能应用的比我们多一些，这个我不太清楚，我们现在才刚刚起步。

【蚂蚁矿机6-7月产品订单延期发货，预计延期至2020年9月-10月起陆续交付】公众号蚂蚁售前发布《蚂蚁矿机6-7月产品订单延期发货公告》，公告称，近期公司经营管理受到外部干扰，原定于2020年6月-7月交货的部分产品订单，预计延期至2020年9月-10月起陆续交付。就延期交货的产品，用户可选择以下两种处理方案中的一种（但两种处理方案不能同时选择）：（1）对于受此影响交货延迟10天以上的产品，计算相关超算服务器自延期交货第11日起至实际发货前一日的PPS收益，向您发放与上述PPS收益等值的优惠券；或者（2）按照合同约定，如您向我们书面催告后60日内我们仍未发货的，您可向我们提出退款申请，我们届时会处理相关申请。

标签：Juvix