智能合约

全球最受欢迎的加密货币行情网站 CoinMarketCap 发布 2019 年度回顾，在 BTC 对比其他加密资产的价格表现环节，市值前五的平台币（ BNB、HT、LEO、FTT、ZB ）全年平均涨幅（+98%）超过 BTC（+87%），智能合约平台代币（ETH、EOS、XTZ、TRX、ADA）全年平均涨幅为 34%，隐私代币（XMR、ZEC、KMD、XVG、ZEN）全年平均涨幅为 -15%。从时间线来看，2019 年一二季度，平台币和智能合约代币的表现都要优于 BTC，当市场转为看跌向下时，智能合约代币回撤的幅度让全年表现大打折扣。

2020年1月10日，火币大学全球区块链领导者课程GBLP东京模块正式开课，四十位精英学员齐聚日本东京，火币中国CEO袁煜明、亚洲通讯社社长徐静波、JCBA协会研究院院长中村真人等区块链专家和日本经济权威人士在首日为学员授课。

袁煜明在授课过程中提出，区块链的核心四大基本要素是分布式账本、链式数据结构、非对称加密、点对点传输。区块链发展至今已有很多技术路线，其他如共识机制、 发行通证、智能合约等都不是区块链必然涵盖的。

此外，袁煜明也和同学们探讨了诸多热点问题，例如“是否只要超过51%的算力就可以篡改数据”。对此，袁煜明认为这种观点并不严谨，区块链的不可篡改是基于分布式账本和链式数据的固有特性，联盟链不需要算力。即便是公链，也只能用算力制造双花或分叉，而不能够直接篡改已经上链的数据。

美国伊利诺伊州已朝着通过《区块链技术法案》规范基于区块链的技术迈出了重要的一步。该法案由众议员Keith Wheeler支持，于2020年1月1日生效，该法案首先要解决的问题之一就是对区块链本身的定义：“区块链是指由多方使用去中心化方法创建的电子记录，用以核实和储存交易的数字记录，而交易记录则由先前交易信息的加密散列加以保护。”

该法案还提供了加密散列、电子记录和智能合约的定义。该法案还规定，“不得仅仅因为区块链被用于创建、存储或验证智能合约、记录或签字而剥夺这些客体的法律效力或可执行性。”法案还补充说，如果需要以书面形式提交包含记录的基于区块链的智能合约，那么该合约就符合法律规定。换句话说，智能合约现在在法庭上是可接受的，它们可以用来提供证明或要求可执行性。（CryptoPotato）

因为其智能合约跨界应用领域相对广泛，所以多方参与和共识形成的智能合约技术研发和准则制定，会成为智能合约进化的必经之路。

Dapp Review关于加密去中心化应用的新报告指出，2019年对DApp来说是个好年头，对Tron和ETH来说尤其好。报告指出，去年，Tron、EOS和Ethereum在DApp上积累了230亿美元的交易量，在此过程中，Tron超越了EOS，成为事实上的dapp娱乐网络。随着加密经济的发展，领先的智能合约网络所扮演的角色也发生了变化。Ethereum已经从ICO转向了defi, Tron已经成为了赌博应用领域最杰出的DApp，EOS己处于两者之间。在加密领域， Ethereum、Tron和EOS占据了DApp所有交易总量的98%。

据Coindesk消息，知名公链项目Nervos Network于今日宣布设立 3000 万美元公共基金，用于资助外部开发者在其区块链基础设施上进行开发。
​
Nervos 联合创始人 Kevin 表示：“Grants 将以现金的形式资助开发者，并将公开所有开发者提交的项目，以获得更多社区的反馈。” 最开始将会开放客户协议、开发环境、跨链互操作性、智能合约语言和工具等基础设施开发类的项目。
​
另据CKB explorer显示，目前Nervos Dao中包含的CKB总量已超20亿枚，创历史新高；锁币地址数量超过1000个。其中二级发行中,已销毁数量占总发行量81.6%，挖矿奖励占14.8%，锁币补贴占总发行量3.6%。

区块链应用模式分为三大类、六小类

1月8日，CoinEx Chain首席开发者姜家志在“张力红人说：跨链双雄”主题AMA分享中提到，Cosmos主网在CoinEx DEX使用开发的时已经上线，虽然还有不少的问题，但已经是一个可用的网络了。而Polkadot是19年Q3才上线，1年的时间Cosmos的生态发展了很多，同样吸引了很多的开发者。

而CoinEx Chain之所以选择基于Cosmos SDK进行开发最重要的原因也其完善的SDK，更多的定制性，以及IBC协议的设计。同时他透露了CoinEx Chain目前已进入了智能合约的研发阶段。

据DappReview最新数据显示，1月8日，波场TRON的DApp数量已达669个，EOS的DApp数量为668个，波场TRON的DApp数量首次超越EOS，成为全球DApp数量仅次于以太坊的第二大公链。随着波场TRON不断推进的DApp发展战略，已经有越来越多的智能合约开发者入驻波场TVM，波场生态逐步强大的同时，也将迎来更多交易量，助力区块链技术真正实现价值落地。

加密货币交易所Coinbase表示，DeFi的发展正在为传统金融平台创造一个全球可访问且更开放的替代方案。Coinbase表示，基于智能合约的区块链（如以太坊）使开发人员能够创建“比单纯发送和接收加密货币更为复杂的功能”。这些软件程序被称为去中心化应用程序或DApp。Coinbase称，DeFi系统中正在发生着不可思议的事情，加密技术正在使金钱在线，在货币功能上创造了“量子飞跃”。（The Daily Hodl）

本文主要对智能和形式化验证进行介绍。

本文主要说明以太坊的注册表合约、代理合约、继承的存储可升级性，以及更多的可升级性方法。

据theblockcrypto报道，区块链初创公司ChainSecurity背后的团队已加入瑞士普华永道，因为这家专业服务公司希望提供智能合约审计。ChainSecurity总部位于苏黎世，成立于2017年，是ETH Zurich的一个衍生产品，ETH Zurich是一家专注于区块链安全的研究实验室。该公司为智能合约提供技术审核，并帮助客户确定其项目中的薄弱环节。

1月7日， 北京市第17期局级领导干部研修一班杨蓓蓓在北京日报刊文《用政策保障世界知识产权保护高地建设》。文章表示，世界知识产权保护高地的建设必须有强有力的机制体制支撑和改革措施保障。其中包括突出北京科教引领的优势。其一是支持区块链在知识产权领域的应用，在申请、保护和交易环节分别用区块链技术进行版权登记、存证、维权与签署智能合约。

据Investment Europe消息，ETH Zurich子公司ChainSecurity AG的团队已加入普华永道瑞士（PWC Switzerland）。通过此次收购，普华永道瑞士成为区块链智能合约保证的全球市场提供商，同时ChainSecurity AG团队现在可以专注于大型、受监管的公司。据了解，ChainSecurity AG此前致力于提供智能合约和区块链审计服务。

2020年1月3日，创业慧康(300451.SZ)在北京召开了”多态智联”新一代产品发布会。此次发布会上，创业慧康发布了新一代的”多态智联”系列新产品及医健卫新解决方案，其中包括基于区块链3.0的分级诊疗解决方案：利用区块链3.0技术，将医共体所有医疗资源上链，实现医疗资源一本账，保证医疗资源的全面开放。资源数据采用全同步分布式架构存储，各医疗机构只需要负责本单位内的资源共享程度和进行必要的维护，采用共同的交易规则和智能合约，减少人为干预的风险，通过去中介化，确保稀缺和紧张的医疗资源可被最需要的最合适的患者预约申请。

1月5日，由封面新闻最新盘点的2019十大酷科技出炉，其中包括区块链，代表企业：支付宝。过去一年，支付宝区块链技术落地超过40多个场景，也从不同的场景给用户带来便利和安全。据公开信息显示，支付宝与阿里巴巴已经蝉联两年全球区块链技术专利申请量最多的互联网公司，其在共识机制、智能合约、可信计算、隐私保护、跨链交互上都取得了突破。

在越来越多的智能合约钱包出现和推广之后，区块链钱包To C端的普及度与易用度会有一个质的飞跃。

他很早就意识到，只有建立稳健的预言机系统，智能合约才能真正发挥用处并实现价值。

据The Block 1月3日消息，MakerDAO社区拒绝激活一项安全功能，该功能旨在防止可能的开发者损失所有以太坊（ETH）抵押品。MakerDAO智能合约负责人Mariano Conti称，投票已经接近，但最终没有通过。Conti表示，将来还将对治理安全模块（GSM）进行另一次投票。