Juvix

Juvix简介

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

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

【FAMEEX“交易送活动”5天成交额超80万USDT】据FAMEEX官方消息，于7月6日0点开启的“交易送”活动已于7月10日24点圆满结束，交易情况如下：此次活动参与用户超2,000人，活动共计持续5天，成交额超800,000USDT。 FAMEEX是一家安全稳定、流动性强、提供策略交易的数字资产交易平台，致力于最大限度地保障终端用户的操作体验和资产安全。投资者可以在FAMEEX平台进行币币、网格策略交易来获取稳定收益。

【波卡生态Acala已实现平行链与中继链之间转账】8月20日，作为首个平行链测试网，Acala已成功实现将Token在平行链与中继链之间进行转账。另外，Acala还为平行链开发者社区分享了以下相关代码资料： 1.如何将一条基于Substrate链设置为平行链相关代码；2.如何实现简单跨链资产转移。

【阿里巴巴将与黄山对接合作电商直播、区块链技术等方面】黄山市与阿里巴巴集团合作对接会5月18日召开。阿里巴巴集团拟重点围绕电商直播、文旅行业数字化转型、区块链技术三个方面与黄山市加强合作，利用阿里巴巴集团直播体系和黄山的直播产业结合，在黄山落地电商直播基地，培养电商直播运营人才队伍；与黄山旅游发展股份有限公司深化合作，以数字化手段提升服务体验，以科技赋能文旅智慧化；运用蚂蚁区块链技术打造以黄山茶叶为主的农产品溯源基地。（黄山发布）。

【美股三大指数收盘涨跌不一 道指收盘创新高】标普500指数1月6日（周三）收盘上涨21.30点，涨幅0.57%，报3748.14点；

纳斯达克指数1月6日（周三）收盘下跌78.20点，跌幅0.61%，报12740.79点；

道琼斯指数1月6日（周三）收盘上涨437.80点，涨幅1.44%，报30829.40点。

标签：Juvix

官方信息

• 

  Facebook

• 

  Twitter

• 

  微博

• 

  YouTube