深入参与 Tezos 的开发工作。
法国软件公司 OCaml Pro，创立于 2011 年，通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml，同时，还开发了 Alt-Ergo 等验证工具。很长一段时间，OCaml 语言是由学者们为学者开发的。
自 2014 年以来，OCaml Pro 深入参与 Tezos 的开发工作，并帮助设计 Tezos 原型。2018 年 4 以后，OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作，为发布做足准备。此外，OCaml Pro 还启动了几个与 Tezos 相关的项目，如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity，使用 Why3（INRIA）与 Alt-Ergo 等做为形式化验证的初始工具。
【行情 | A股收盘：区块链板块上涨0.65%】A股收盘，上证指数收涨0.48%，区块链板块上涨0.65%，89只概念股中，48只上涨，5只平盘，36只为跌。涨幅前三为：文化长城（+10.03%）、汉威科技（+10.02%）、先进数通（+9.99%）；跌幅前三为：普邦股份（-3.93%），科达股份（-3.05%），汇金股份（-2.86%）。
【BTC在15分钟内跌幅超过1.00%】据火币全球站数据显示，BTC/USDT在15分钟内出现剧烈波动，跌超1.00%，达到-1.03%。当前报价为8849.90美元，行情波动较大，请注意风险控制。
【数字认证：“信认链”区块链平台已通过安全评估】金色财经消息，数字认证（300579.SZ）在互动平台上回答投资者提问时表示，密码技术是数字货币核心技术，公司对数字货币相关的一些密码技术进行研究。截至目前，公司开发的“信认链”区块链平台已经通过全国互联网安全管理服务平台的安全评估，正在开展相关的应用探索和试验。
【动态 | 上海电子口岸区块链联盟发布基于区块链的四大应用】金色财经报道，11月7日，上海电子口岸区块链联盟正式成立。上海市商务委（市口岸办）会同上海海关、上海虹桥管委会、中国人民银行上海总部、上海市药品监督局、中国银行上海市分行、工商银行上海市分行、建设银行上海市分行、农业银行上海市分行、交通银行上海市分行等单位共同发布并推出上海国际贸易单一窗口“区块链+”多项应用成果：1、基于区块链技术的跨境人民币贸易融资服务。2、基于区块链技术的上海国际医药供应链信息服务。3、基于区块链技术的保税展示展销智慧监管和服务。4、基于区块链技术的中小企业应用服务市场。（澎湃新闻）。
【24小时合约市场爆仓超2.23亿美元 BTC合约爆仓1.79亿美元】据合约帝行情统计报告显示：过去24小时合约市场全网总计爆仓2.23亿美元，爆仓人数16932人。其中Huobi 爆仓2839万美元，OKEx爆仓6025万美元，BitMEX爆仓6398万美元，Binance爆仓7094万美元。爆仓金额前三的币种是BTC1.79亿美元，ETH2229万美元，EOS703万美元。
【0x协议费用增长显著，ZRX Staking总量超过1500万个】据官方消息，去中心化交易协议0x Protocol称目前有1800多个独立地址参与ZRX的Staking， Staking总量超过1500万个，自0x的经济模型更新后，共产生了超过120 ETH的协议费用，并向0x Pool的运营者和Staking委托人发放了超过282 ETH的奖励（差值来自于补贴），协议费用在最近的两个阶段正在显著增长，超过了0x团队提供的补贴。目前ZRX Portal与MataMask 、imTOken和Coinbase Wallet等钱包兼容，用户可以直接通过相关钱包参与ZRX Staking，同时ZRX Portal的最新版本现在允许用户可以直接点击账户内的 “Move Stake”，将自己此前Stake的ZRX轻松转移到另一个Staking Pool。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。