再来跟大家分享一下
区块链世界和网络世界历史的潮流。就像人类的历史一样，网络的历史也可以用“分久必合，合久必分”来概括。
我1983年去美国留学的时候，有一个巨人叫AT&T，好像是永远不会倒的，而我当时最大的梦想，并不是毕业之后到大学里面做教授，而是去贝尔实验室工作，因为这里曾产生30位诺奖得主。AT&T花这么多钱养出这么多诺奖级的科研人员，就是为了垄断，它垄断了所有的网络资源。
慢慢地就出现了一个新的协议——网络协议。它完全是一个去中心化的协议，可以使点和点之间完全可以随意的交流。我可以走这条路，也可以走另外一条路，条条道路通罗马，最后都能达到结果，不再需要中心的垄断。一夜之间，我以为永远不倒的公司，消失掉了。AT&T的垄断完全被破坏，这叫合久必分。曾经也是在竞争之后出现了AT&T，但当一个新的网络技术出现的时候，就是合久必分的时候。
这个合久必分的时代也不那么长，如果人人可以交流，人人都可以创造出交流的内容，这个内容广泛地撒在外围的互联网上，那么我要去找一个信息，就会变得非常非常不方便，所以在这个情况下，分久必合，出现了一些非常中性化的新的垄断平台，在美国就叫Google和Facebook。
其实Google和Facebook做的事情，就是把每个人的信息重新组合一下。大家仔细想想，人类历史上所有伟大的公司，做的事情必然不是自己创造一些东西，而是把已有的东西做一个重新的排列组合。比如说石油公司、化学公司，它们做什么事情呢？原油是原子组成的，直接可以从地下挖出来，它们做的唯一的事情，把这些原子重新排列一下，变成别的化学品，比如说已经被提炼过的油。
Google和Facebook这些垄断的平台做的是什么事情呢？是把每个人的信息重新排列组合一下，比如说Google最开始做的唯一的事情，就是做了一个排列，使我们找信息找得非常容易。这些中心化的平台做的事情，就是把我们撒布在网络上的内容，中心化地重组一下。
这是分久必合的时代，因为新的网络协议，AT&T倒了，出现了思科，又出现了网络资源分散的情况，又出现了巨大的平台，巨大的龙头。
今天出现的区块链的技术，也会导致新的时代。这个时代的革命的强度可能是互联网革命的十倍百倍。这个新的时代使得所有我们产生的信息，又可以自己个人拥有。互联网的时代只是信息交换的时代，而区块链的时代有了价值的交换，我们可以产生数据的市场，每个人拥有自己的数据，然后在交换的过程中产生新的价值。
信任机制建立在数学上
这个伟大的时代，我用一句话的口号来描写，就是In Math We Trust。我们都理解货币的价值在于共识。那么问一个问题，人类所有的知识当中，哪一个大家最容易达到共识？显然不是经济学，不是法律学，不是政治学，不是化学，不是生物，甚至也不是物理，最容易达到共识的是数学。
用数学作为信任的机制，是最自然的做法。真正的区块链的时代，就是使得我们相互间的信任建筑在数学的基础上。
如果我自己做出一个正方体的话，肯定是不完美的。但是如果作为一个数学的形态，正方体则是全对称的，每一个顶角都完全一样，每一条边都完全一样，每一个面也完全是一样的。数学的形态是最最精准的，在精准的意义下，也是最易达到共识的。
如果你看整个宇宙最深刻的奥妙之处，那么物理学中关于整个宇宙的最核心的公式和标准模型，也是用非常非常精妙的数学来描写的，其中绝大部分的数学也是杨振宁先生所开创的。
既然大自然最根本的规律是用数学来描写，我们是不是能够使得人类社会的规则和信任也建立在数学的区块上呢？
那么到底是哪些数学呢？在座的各位，我希望大家去学习这些非常美妙的数学。
公钥和私钥的组合，就是建立在数论上面，而且是建立在一个更高层的数论上面，叫椭圆曲线。大家可能知道，数学里面曾经最大的一个猜想——费马大定律，最近被证明了，这个证明就是建立在椭圆曲线上。这个听起来是非常非常抽象的数学，但是今天我们每次网上购物的时候，就用到了奇妙的数学。
另外就是哈希函数。它有一个单向性，任何的东西进去，出来都是一串随机数。这跟黑洞很像，黑洞任意输进去，出来的都是随机数。
还有一个是零知识证明（zero-knowledge proof）。比如说我解了一个难题，但并不想把我的答案直接告诉你，却要使你相信，我的确把这个难题解了。这也是非常奇妙的数学问题，但是这是有解的。我可以给你一个比特的信息，我解了这个难题，但是不告诉你任何别的信息。这对整个数据的市场会是非常非常有用的，我可以一个比特一个比特把信息给出去，而不是一下把信息全部给出去。
两个百万富翁，可能有一个人是千亿万富翁，有一个人是百万富翁，他们不想把自己的财产公布出来，但是却要知道到底谁更有钱。这用清华大学教授姚期智的办法就能算出来，只给出一个比特的信息，就可以知道谁更有钱。
数据自己拥有的话，我永远学不到大数据的智慧。可是我想了解统计数据，其他人却想保护个人隐私，所以有一个非常简单的办法——在个人隐私数据上故意加一些噪声，这些噪声使得你辨别不出来这个数据到底是不是你自己的个人数据。在收集到这些数据之后，在大数据的环境下，这些噪声就会相互抵消，我得出来的统计数据还是完全精准的，这个办法就叫差别隐私（differential privacy）。
最后一个概念叫形式验证（formal verification）。上世纪最伟大的数学发现是什么？是证明了数学的不完备性。如果我要给在座的同学推荐一本书的话，有一本我认为是千古奇书，它讲了数学不完备定理、艺术家的画和作曲家，三者之间的共同性。这本书是《哥德尔、埃舍尔、巴赫》（G.E.B）。
这些奇妙的数学，都可以用在区块链上，可以用来做Formal verification。因为今天我们来到的是开源的时代，我们今天在区块链上的智能合约，完全是开源写出来的。但是开源写出来之后，一般人读不懂，甚至专家也不一定看得懂。那么有没有一种数学的程序，能够告诉你智能合约到底是不是吻合你的白皮书上想做的？这是一个非常奇妙的思想，用的是数学中的逻辑学。
版权申明：本内容来自于互联网，属第三方汇集推荐平台。本文的版权归原作者所有，文章言论不代表链门户的观点，链门户不承担任何法律责任。如有侵权请联系QQ：3341927519进行反馈。
