上海證交所前總工程師：AI能為國(guó)家監(jiān)管區(qū)塊鏈提供依據(jù)

4月22日，大數(shù)據(jù)文摘在微信公眾號(hào)發(fā)布《中科院教授白碩：AI+區(qū)塊鏈，兩大神器如何助力商業(yè)新生態(tài)》，上海證交所前總工程師白碩接受采訪表示，以比特幣的交易為例，進(jìn)行貨幣轉(zhuǎn)讓的人是匿名的，但他們的轉(zhuǎn)賬行為是公開(kāi)的。我們可以使用人工智能去分析這些數(shù)據(jù)，從數(shù)據(jù)的結(jié)構(gòu)和數(shù)據(jù)表現(xiàn)的行為中去發(fā)現(xiàn)是什么人在做什么交易，甚至是給不同的賬戶進(jìn)行定量的畫(huà)像和分析。這樣人工智能就能為國(guó)家監(jiān)管區(qū)塊鏈提供依據(jù)。

 利用智能合約的代碼強(qiáng)制執(zhí)行與信任和價(jià)值有關(guān)的業(yè)務(wù)流程將會(huì)成為區(qū)塊鏈的常態(tài)。這些代碼承載著信任的流動(dòng)，一旦出錯(cuò)或者有安全隱患，很有可能引起災(zāi)難性的后果，所以很多人不約而同地將智能合約代碼的把關(guān)工作寄希望于形式化驗(yàn)證。為了推動(dòng)區(qū)塊鏈長(zhǎng)遠(yuǎn)健康的發(fā)展，使得更多信任的狀態(tài)能夠在區(qū)塊鏈上流動(dòng)，智能合約的正確性、安全性必須得到保證。目前看來(lái)，形式化驗(yàn)證是一個(gè)有效的解決方案。

上一篇：長(zhǎng)江商報(bào)：追工業(yè)大麻與區(qū)塊鏈熱點(diǎn)，深大通或?yàn)橹匾蓶|減持套現(xiàn)鋪路

長(zhǎng)江商報(bào)：追工業(yè)大麻與區(qū)塊鏈熱點(diǎn)，深大通或?yàn)橹匾蓶|減持套現(xiàn)鋪路4月16日，時(shí)隔兩個(gè)半月，深大通下修年度業(yè)績(jī)預(yù)告，預(yù)計(jì)去年虧損高達(dá)23.50億元，遠(yuǎn)遠(yuǎn)不夠上市24年賺取的利潤(rùn)。面對(duì)商譽(yù)減值一減再減這顆大雷，深大通采取了講故事方式對(duì)沖。4月18日早間開(kāi)市前夕，公司

下一篇：平安銀行：持續(xù)升級(jí)供應(yīng)鏈金融服務(wù)，應(yīng)用區(qū)塊鏈等科技賦能

平安銀行：持續(xù)升級(jí)供應(yīng)鏈金融服務(wù)，應(yīng)用區(qū)塊鏈等科技賦能4月23日晚間，平安銀行（000001）發(fā)布《2019年第一季度報(bào)告》，報(bào)告表示，本行持續(xù)升級(jí)供應(yīng)鏈金融服務(wù)，應(yīng)用人工智能、區(qū)塊鏈、云計(jì)算、大數(shù)據(jù)等科技賦能，推出供應(yīng)鏈應(yīng)收賬款服務(wù)平臺(tái)，聚焦產(chǎn)業(yè)鏈核心企業(yè)及其