English相关文章(4622)
-
-
【得得白话】形式化验证：被注入新灵魂的老技术
两年前，肖风在给《区块链革命》作序时曾写道：“The Dao”事件提醒我们，应该有一个能对智能合约进行事先检验的科学方法，但这方面最先进的技术如形式化验证，目前还处于理论...
-
-
-
蚂蚁金服副总裁蒋国飞：共建价值互联网，迎接新契约时代
蚂蚁金服副总裁兼阿里巴巴达摩院金融科技实验室主任蒋国飞发文表示，区块链可以直接构建基于信息互联网上的价值网络。区块链必将重塑现有生产力、生产资料与生产关系，形成了终极协同...
-
-
两张图—暗藏BTC的走势密码
BTC现货昨晚的暴力扭转了市场的趋势，可以确定前面30分钟下跌已经结束，现在处在5分钟趋势上涨中短线还有继续走高的空间。操作建议10420附近站稳做多为主，冲高到1080...
-
【链得得早报】浙商银行贵阳分行正式开业，将以区块链等技术构筑的综...
纽约时报记者：2018年比特币的在线支付下降，但暗网活动上升；奥地利数字化部长：欧洲有过度监管倾向，没有必要拥有自己的区块链规则。
-
-
