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