深入参与 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 等做为形式化验证的初始工具。
【声音 | 阿拉丁矿业减半研究院：减产大概率暗示牛市到来】1 月 29 日 晚间，阿拉丁矿币减半研究院在参加“MXC抹茶周三见”AMA时分享了对“矿币减半行情”的看法，认为减产大概率暗示牛市到来。阿拉丁还分享了抓住减半行情的三种方式：二级市场买入并持有btc、etc、dash等主流币种；利用低倍率、长期的杠杆和通过期货、ETF来对冲风险；参与挖矿。据介绍，阿拉丁矿业研究院（Aladdin Pow Labs）是专注于数字矿业和矿币的垂直媒体和研究机构，拥有矿币全产业链运营能力和大型矿池、矿机企业合作关系。“MXC抹茶周三见”是MXC抹茶推出的一档AMA活动，不定期邀请重量级嘉宾在周三进行分享。
【上海国际航运研究中心徐凯：海运信息传输需应用区块链以消除数据被恶意篡改的风险】上海国际航运研究中心航运信息研究所所长徐凯近日表示，由于海运信息传输在国际互联网上，缺乏物理隔离条件，需要应用区块链技术，消除一些数据被恶意损坏或篡改的风险。在徐凯看来，区块链的分布式存储架构，让篡改难以隐匿，使航运企业的网络系统、调度系统、结算系统更加干净透明，令黑客无所适从。(中国水运报)。
【分析 | BTC大户持仓比连续5日上升 但市场人气小幅回落】据TokenInsight数据显示，反映区块链行业整体表现的TI指数北京时间11月29日8时报556.37点，较昨日同期下跌4.78点，跌幅为0.85%。此外，在TokenInsight密切关注的25个细分行业中，24小时内涨幅最高的为其它行业，涨幅为19.7%；24小时内跌幅最高的为资产管理行业，跌幅为3.45%。 据监测显示，BTC 24h成交额为$191亿，活跃地址数较前日下降10.84%，转账数较前日下降1.21%。Coinwalle分析师Jeffrey认为，BTC大户持仓比连续5日上升，但市场人气小幅回落，短期调整后有望延续上行。注：以上内容仅供参考，不构成投资建议。
【分析师：比特币本身足够强大 闪电网络的需求并不高】加密货币分析师Tone Vays表示：“比特币交易非常便宜、非常迅速，因此，对闪电网络的需求真的不高，但闪电网络正变得越来越强大，慢慢地变得越来越受欢迎。当闪电网络被采用时，可能在一两年后，每个人都会对它感到满意，因为它将提供更好的隐私。”（AMBCrypto）。
【声音 | 经济日报：合理探索区块链等信息技术在司法中的运用潜力】《经济日报》今日发表题为“以法治方式构建网络空间命运共同体”的评论文章。文中表示，以法治方式推动建立网络空间命运共同体，在为数字经济发展营造良好的营商环境方面，各国应秉持开放合作、互利共享、兼容并蓄、可持续发展的理念，共同应对互联网时代挑战，努力推动形成互联网领域的国际规则，推进全球网络空间治理；维护公平公正、公开透明、便捷高效、可信赖的司法体系，合理探索人工智能、区块链等信息技术在司法中的运用潜力，提供智能、普惠、便捷的司法服务；遵循科技伦理和司法伦理，适应数字经济创新发展需要，保护知识产权和虚拟财产权利，维护公平公正、有效竞争的经济秩序。尤其是依据各国国内法及其参加或缔结的国际公约，在职权范围内保护个人信息和隐私，明确企业、组织及用户的行为规范和权利边界，避免信息滥用，为所有用户营造安全的互联网环境。
【火币合约将于10月12日11:00下线LEND/USD永续合约】火币表示，为了支持平台内用户持有的LEND智能合约链上置换为AaveProtocol（AAVE），计划于10月12日11:00对LEND/USD永续合约进行交割下线，所有LEND/USD永续合约未平仓的仓位，将以下线前60分钟对应指数价格算术平均值作为交割价格进行平仓，并撤销所有用户挂单。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。