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