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