English相关文章(4591)
-
-
-
【链得得晚报】香港金管局或与泰国银行研究央行数字货币项目
香港金管局或与泰国银行研究央行数字货币项目；IEO募资已达3890万美元，币安以1730万美元位居首位；ChainDD与美国知名律所Greenspoon Marder达成...
-
【链得得晚报】世界经济论坛与美洲开发银行联合报告：以区块链技术提...
世界经济论坛与美洲开发银行联合报告：以区块链技术提振全球贸易；以太坊基金会研究员：以太坊2.0阶段的规范代码已冻结；币安发言人：计划两周内启动期货交易模拟测试版，7月11...
-
蚂蚁金服副总裁蒋国飞：共建价值互联网，迎接新契约时代
蚂蚁金服副总裁兼阿里巴巴达摩院金融科技实验室主任蒋国飞发文表示，区块链可以直接构建基于信息互联网上的价值网络。区块链必将重塑现有生产力、生产资料与生产关系，形成了终极协同...
-
-
-
-
【得得白话】形式化验证：被注入新灵魂的老技术
两年前，肖风在给《区块链革命》作序时曾写道：“The Dao”事件提醒我们，应该有一个能对智能合约进行事先检验的科学方法，但这方面最先进的技术如形式化验证，目前还处于理论...
-
【链得得晚报】经济日报：《金融科技发展规划》是金融主动适应区块链...
经济日报：《金融科技发展规划》是金融主动适应区块链等技术的服务提质和产业提升；日本首相：今后会根据Libra进展情况适当探讨稳定币；台积电被控多项侵权，或波及7nm矿机产...
