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