斯坦福(fú)大学(xué)终身教授张首晟:区块链(liàn)最(zuì)核心的理念,必然是「 In Math We Trust 」
2018-6-14 16:04
来源:
大(dà)数据文(wén)摘
加密货(huò)币当中最不安全的地方是(shì)哪里呢?
A:是人为的熵,大家写程序的(de)时候犯的错(cuò)。本来写(xiě)一个程序倒无所谓,但现在(zài)跟(gēn)很多货(huò)币有关的话,是非常非常危险(xiǎn)的(de),当然慢慢(màn)也会产生一些市场,自动地去堵这个风险。Formal verification 能够自动检测智(zhì)能合约是不是你想(xiǎng)描(miáo)写的(de)那样,这(zhè)里(lǐ)面的数学(xué)是非常奇(qí)妙的,就是我刚才讲的数学(xué)逻(luó)辑。
版(bǎn)权(quán)申明:本内容来自于互联网,属第三方(fāng)汇集推荐平台。本(běn)文(wén)的版权归(guī)原作者所有(yǒu),文章言(yán)论不代表(biǎo)链门(mén)户的观点,链(liàn)门户不承担(dān)任何(hé)法律责任(rèn)。如有侵权请联(lián)系(xì)QQ:3341927519进行反(fǎn)馈。