English相关文章(20858)
-
【得得白话】形式化验证：被注入新灵魂的老技术
两年前，肖风在给《区块链革命》作序时曾写道：“The Dao”事件提醒我们，应该有一个能对智能合约进行事先检验的科学方法，但这方面最先进的技术如形式化验证，目前还处于理论...
-
【链得得早报】USDT发行方在巴哈马银行持18亿美元；贝莱德在加...
USDT发行方在巴哈马银行账户持有逾18亿美元；贝莱德CEO：在加密货币“合法”前不会推出相关ETF；纽约州首次向比特币ATM公司发经营牌照；摩根士丹利报告称加密货币为“...
-
资产证券化之后，STO开启资产通证化的时代吗？!
资产证券化赋能实体经济，但仍有局限。STO开启了token证券化之路，但短期很难实现大规模推广。杰夫认为可能未来是资产通证化的时代，那要实现资产通证化又需要什么条件呢？
-
【链得得晚报】秘鲁将推出法定数币PeruCoin；招商银行开具银...
香港证监会确认考虑给合规虚拟资产交易平台发出牌照；日本金融厅对ICO规制的透明性进行了讨论；招商银行开具银行业第一张区块链电子发票
-
-
-
-
-
三大热门公链项目Algorand、Dfinity和Thunder...
至笔者成文为止，Algorand、Dfinity和Thunder的很多数据还停留在实验室阶段，相关实现代码大多没有公诸于世（除了Dfinity中有的少量PoC部分代码开源...
-
