编程语言

Offchain Labs 宣布以太坊扩容方案 Arbitrum Rollup 测试网上线，并对其进行开源。Arbitrum Rollup 运行在以太坊上运行的 Rollup 系统，针对高安全性、高吞吐量和强大的抗审查审查能力对通用智能合约进行优化。与大多数 Rollup 解决方案不同的是，Arbitrum Rollup 对编写的合约类型没有限制，不会要求开发者使用不熟悉的抽象或编程语言重写应用。Arbitrum 具有完整的智能合约支持，并带有 Solidity 编译器，开发者可轻松移植现有合约或开发新合约。Arbitrum Rollup 未来计划上线以太坊主网，并预计在年末上线 Arbitrum 侧链和状态通道，因为在多种类型合约存在的情况下，向链下迁移可实现更高的扩展性和更低的成本。

rholang是一种并发编程语言，由于它自带形式化验证特性，因此用rholang在RChain上编写智能合约可以避免合约出现BUG，从而保障了整个RChain网络的安全性和健壮性。

QTUM（量子链）将向哥伦比亚大学的学者捐赠40万美元，这些学者正以多种方式推进区块链研究。据悉，新项目正在研究DeepSEA，这是一种编程语言，旨在弥补主流编程计划中高层次形式推理和低层次系统编程之间的差距。最重要的是，这项研究的目的是将DeepSEA的收益与以太坊的智能合约结合起来，从而提高去中心化生态系统最基本组件之一的安全性和功能性。（HackerNoon）

新型冠状病毒疫情防控正处于关键时期，为了确保广大师生停课不停学，从2月1日起至2月8日，百度云智学院所有在线学习资源都可以在官网免费获取。包括人工智能、深度学习、虚拟现实、区块链、物联网等多个前沿技术方向的专题课程，还有Python等编程语言全栈课程。（新浪教育网）

区块链技术初创公司 Matter Labs 推出零知识证明智能编程语言及框架 Zinc 的 v0.1 Alpha 版本。 更多

据链闻消息，由区块链安全公司ChainSecurity开发的以太坊智能合约安全扫描工具Securify正式发布2.0版本，以太坊基金会也参与了资助该项目的研发，Securify 2.0版本目前支持以太坊平台智能合约编程语言Solidity 0.5.*和 0.6.*版本。此前消息，ChainSecurity团队宣布加入普华永道瑞士（PwC Switzerland），加速普华永道瑞士的区块链审计业务，如智能合约、区块链平台的技术审计，以及为投资加密货币的客户提供风险保障服务。

据CoinDesk 1月28日消息，数字资产软件提供商Vertalo已将Tezos设为其默认区块链，以鼓励客户从以太坊转移。尽管它仍将支持以太坊，但已开发出将ERC-20代币转换为Tezos格式的智能合约的功能。Vertalo首席执行官Dave Hendricks表示，公司选择Tezos是因为它的智能合约功能可以在多种编程语言中使用。

据浙江大学人民号消息，中国工程院院士陈纯在接受采访时表示，中国区块链赋能各行业亟需解决四项核心技术。一是高性能关键技术。希望通过高性能的共识算法、高效智能合约引擎，能够提高共识效率与安全性。二是安全隐私关键技术。要基于可信执行环境等技术实现节点密钥管理和数据加密存储，防止文件被篡改。三是高可用性的关键技术。这方面包括动态成员的准入机制，以及节点失效后的快速恢复机制，不能整个系统停下来加节点，应该是可以实时动态的。四是高可扩展的关键技术。联盟链要方便适用于各场景，必然支持多种编程语言的使用。同时，还需要支持多类型、多组织形式的数据可信存储，支持跨链协同等。

ETH 比 EOS 贵很多倍。

ZB 创新智库消息，根据 Forkast.Insight 发布的《中国区块链报告》数据，2019 年中国区块链开发者数量 5290 名，相比 2018 年（3780）增长 39.9%，但依然远低于印度同期（33691名）和美国同期（46887）。中国区块链开发者采用的编程语言，在人数统计上的排序依次是 C#、Java、Python、Solidity 和 Ruby。报告认为，中国区块链开发者在数量上的劣势，与国内不成熟的软件开发者生态有关：根据阿里巴巴 2017 年的一项调查显示，中国高达 56.7% 的软件开发者仅有 0-3 年工作经验；然而国际上高达 42% 的软件开发者拥有 3-10 年工作经验。

编程语言，是用来定义计算机程序的形式语言。它是一种被标准化的交流技巧，用来向计算机发出指令。一种计算机语言让程序员能够准确地定义计算机所需要使用的数据，并精确地定义在不同情况下所应当采取的行动。