前言:数学在人类文明的发展中起着非常重要的作用。牛顿当年通过数学计算预见了发射人造天体的可能性;爱因斯坦相对论的质能公式从数学论证的角度预示了原子能时代的来临;正是麦克斯韦方程先从数学上论证了电磁波,后来才会有电磁波声光信息传递技术的发展;电子数字计算机的诞生和发展更是在数学理论的指导下进行的。数学也是区块链发展的前提基础,是区块链行业未来发展的核心保障。如果说区块链中各种巧妙、完美设计的规则是其灵魂,那么深深渗透其中的数学思想则是血液,从而支撑整个区块链体系信任机制的建立。本文将浅析区块链世界里应用到的前沿数学理论,并以此尝试描述区块链世界的数学秩序。数学是上帝描述自然的符号——黑格尔数学一直是人类文明发展的主要文化力量,同时人类文化的发展又极大地影响了数学的进步;而且,数学还是一种艺术,因此,数学不但具有科学价值,还具有文化和经济的价值。走进一个机房,在服务器排成的一道道墙之间,听着风扇的鼓噪,似乎能嗅出0和1在CPU和内存之间不间断的流动。从算筹算盘,到今天的计算机,我们用作计算的工具终于开始量到质的飞跃。计算机能做的事情越来越多,甚至超越了它们的制造者。上个世纪末,深蓝凭借前所未有的搜索和判断棋局的能力,成为第一台战胜人类国际象棋世界冠军的计算机,但它的胜利仍然仰仗于人类大师赋予的丰富国际象棋知识;而仅仅十余年后,Watson却已经能凭借自己的算法,先“理解”问题,然后有的放矢地在海量的数据库中寻找关联的答案。长此以往,工具将必在更多的方面超越它的制造者。而这一切,都来源于越来越精巧的计算。也许你经常听过图灵机这个名字,但为什么计算机要被叫做图灵机呢?在纽曼教授的数理逻辑课上,图灵第一次听到希尔伯特的可判定性问题以及哥德尔不完备性定理。那是1935年的春天,他刚刚完成在剑桥国王学院的四年本科学习,以优异的成绩被选为学院研究员,正准备在数学界大显身手,数理逻辑自然而然吸引了他的兴趣。图灵清楚地意识到,解决可判定性问题的关键,在于对“机械计算”的严格定义。考究希尔伯特的原意,这个词大概意味着“依照一定的有限的步骤,无需计算者的灵感就能完成的计算”,这在没有电子计算机的当时,算是相当有想象力又不失准确的定义。但图灵的想法更为单纯。什么是“机械计算”?机械计算就是一台机器可以完成的计算,这就是图灵的回答。图灵机的一大优点,就是它的简单。只要给出状态转移表,任何一个人都可以模拟一台图灵机的计算。对工程师而言,在现实中用机械建造一台图灵机也并非什么难事。对于程序员来说,写一个模拟图灵机的简单程序更是不在话下。没有根基也许可以建一座小屋,但绝对不能造一座坚固的大厦——Eng.IsidorGoldreich密码学作为一门古老的学科,有着悠久而奇妙的历史。它用于保护军事和外交通信可追溯到几千年前文字刚刚产生的上古时期。几千年来,密码学一直在不断地向前发展。从凯撒密码开始,人们在发展新密码学算法的时候也在孜孜不倦的破解已有的密码学算法,因为对于破解者来说,密码难度越高,意味着其背后守护的秘密价值就越大。SHA家族的五个算法,分别是SHA-1、SHA-224、SHA-256、SHA-384,和SHA-512,后几个一般也可以统称为SHA-2,由美国国家安全局所设计,并由美国国家标准与技术研究院发布;是美国的政府标准。也是众多互联网和电子产品的密钥门神。哈希函数具有一个单向性,任何的东西进去,出来都是一串随机数。这跟黑洞很像,黑洞任意输进去,出来的都是随机数。非对称加密算法需要两个密钥:公开密钥(publickey)和私有密钥(privatekey)。公开密钥与私有密钥是一对,如果用公开密钥对数据进行加密,只有用对应的私有密钥才能解密;如果用私有密钥对数据进行加密,那么只有用对应的公开密钥才能解密。密码学构成了区块链的根基,关于密码学的更多探究,读者也可以翻阅我之前的文章。数学是各式各样的证明技巧——维特根斯坦阿里巴巴知道打开藏着财宝的山洞的咒语。强盗抓住他,让他说出咒语。如果阿里巴巴说出咒语,就会因为没有利用价值而被杀死。如果阿里巴巴坚持不说,强盗不会相信他真的掌握咒语,也会杀死他。但阿里巴巴想了一个好办法,他对强盗说:“你们离我一箭之地,用弓箭指着我,你们举起右手我就念咒语打开石门,举起左手我就念咒语关上石门,如果我做不到或逃跑,你们就用弓箭射死我。”故事中的阿里巴巴的遭遇并不鲜见。现实中最主要的原因就是怕信息被盗用。因为现实中大量的秘密被用来鉴别用户的身份,如果披露了某个秘密给对方,通常意味着对方有能力冒充你的身份。因此,虽然直接把秘密提供给对方是最简单的验证方式,但是大部分情况下都不能这样做。零知识证明过程有两个参与方,一方叫证明者,一方叫验证者。证明者掌握着某个秘密,他想让验证者相信他掌握着秘密,但是又不想泄漏这个秘密给验证者。双方按照一个协议,通过一系列交互,最终验证者会得出一个明确的结论,证明者是或不掌握这个秘密。整个协议有三个要点:a.零知识:校验一个事件正确与否,并不需要验证者重现整个事件b.测试方式:测试不能完全由证明者给出c.测试内容:测试难题的内容要有区分度在计算机领域,一般做法是把原始问题映射到NP问题。验证者只要验证证明者给出的NP问题的解即可,这个计算量需求不大。如果某人掌握秘密,能解原始问题,那么转换一下就可以解对应的NP问题。如果不掌握秘密,绕过原始问题,直接暴力求解NP问题,一般可以认为是不可能的。零知识证明实质上是一种涉及两方或更多方的协议,即两方或更多方完成一项任务所需采取的一系列步骤。证明者向验证者证明并使其相信自己知道或拥有某一消息,但证明过程不能向验证者泄漏任何关于被证明消息的信息。大量事实证明,零知识证明在密码学中非常有用。如果能够将零知识证明用于区块链验证,将可以有效解决隐私相关的许多问题。数学是一种会不断进化的文化。——魏尔德形式化验证是用逻辑来验证程序的可靠性,就是把一段程序用逻辑的方法证明一遍,证明它能得到预期的结果,没有bug。一般这类研究主要应用于昂贵的航天器材的操作系统、危险的医疗设备的程序之中。因为航天器材、医疗设备牵扯到人的生命,如果操作系统出现错误,那么很危险,又不能用测试一遍一遍的测,所以用形式化验证来做。比如美国航天局NASA就会雇佣大批形式化验证的专家来验证他们操作系统的正确性。智能合约安全性是非常重要的。之前,我也写过关于以太坊字节码中常见安全问题的文章,但是像这样的大概检测只是浮于表面。理想情况下,我们想要保证我们的智能合约能够100%的正确。形式化验证让我们可以确保某种错误的状态不会发生。形式化方法简单的说就是用数学工具进行定义、开发和验证。数学家们认为,不论硬件还是软件工程,就像世间万物一样,所有的学问一样,归根结底是数学问题。“一个不懂数学的工程师不是一个好工程师”。如果所有的设计开发都能够按照严格的数学方法进行,那么开发出来的系统就会像数学本身一样的完美:软件不会出错,硬件永远正常。在有了形式化的spec的情况下,那么可以Verification就大致可以分为“手算”和“机算”两种了,因为高明的数学家的“手算”未必就比纯自动化的“机算”差。举个例子,全自动化的Verification里面有一个叫做“ModelChecking”的方法,就是穷举系统运行过程中所能达到的所有状态,这个建模,也就是写Spec的时候也需要非常高明的技巧,实质上就是“机器定理证明”。1954年,MartinDavis第一次用机器证明了一个定理:“两个偶数相加还是偶数”,不过在更早之前,图灵就已经通过一个著名的“停机问题”证明了图灵完备的机器的不可解问题。EVM其实是一个很好的理想化目标,其功能需求明确,实现简单,而且最重要的,也是涉及金钱的事物。未来有人能够按照IC设计的方案,从硬件到OS,再到EVM,做一个完整的基于形式化方法开发的产品,那就完美了。在区块链里,区块打包完成后,通过共识机制解决了分布式账本结构下达成一致并抗攻击的问题,它解决了去中心化基础上的节点间互信问题,是保障区块链系统持续安全运行的关键。基于分布式网络中各节点的信任基础不同,可以分为工作量证明机制、拜占庭容错机制等,它们在节点进出进制、抗攻击性等方面各有优势。以工作量证明机制为例来说明共识机制的原理。达成共识需要一定的标准和规则,达到标准就可以获取记账权,同时这个标准或者规则是不能低成本实现的,否则记账的权威性和安全性容易受到挑战。基于数学难度的计算工作量证明机制简单理解就是一份证明,用来确认你做过一定量的工作。因为监测工作的整个过程通常是极为低效的,而通过对工作的结果进行认证来证明完成了相应的工作量,则是一种非常高效的方式。比如现实生活中的毕业证、驾驶证等等,也是通过检验结果的方式所取得的证明。工作量证明解决了完全去中心化、节点自由进出的情况下,记账权的确认问题。我们EKT的多链,则采用了更进一步的基于委任权益证明的新方案,重新设计了一个保障每个合约都能正常运行的公链,拥有现成框架,且不可分割的多链构架。这一创新极大程度上简化了架构,降低了数据处理压力,确保一条链上流量激增不会影响到另一条链的效率,在链上进行的任何业务都不会收到其他业务干扰,有效实现了资源隔离。其实EKT在设计时考虑的一个大的问题是,每一套数学逻辑证明的系统给下,都不会完美的解决所有问题。EKT则提供了一套底层的区块链机制,其他的区块链项目可以很容易的基于EKT的主链代码部署一套自己的主链,然后按照需求做一些定制化的设定,比如选择共识机制等。在EKT上编写的区块链项目将无需过于担心安全性问题,因为每一个接口都是非常简单并且在许多条并行主链上部署和运行的。部署主链时可以灵活的发行自己主链的代币以及选择共识算法。新部署的主链也可以加入到EKT通用积分的整个生态,共享EKT生态的用户资源,代币也可以和EKT主币以及其他主链的代币进行交换和流通。区块链生态上开发、运行、管理和交易去中心化应用及应用内资产的平台,已经逐渐成为一种越来越广的需求。让数字世界的内容资产化,内容生产者可以与内容消费者建立一致的价值体系,是构建这一类型平台的核心。所以,这一点对所有其他搭建在区块链上的应用和产品都是一样的。比如我要是在区块链上做了一个Minecraft游戏,那么任何人也可以在Minecraft游戏上开发新的游戏。只要接入区块链,所有的游戏、所有的dapp就天然拥有了这种潜在的扩展能力和开放性。默认就是拥有这种扩展能力的,这也是dapp最自然的开放理念。如果有人不希望有这种开放性的话,他完全可以通过自己搭建私有服务器的中心化的方式来做。区块链平台会为所有的应用统一提供这种开放性和可扩展性。在EKT中,坚持了这样一个理念,一个货币系统中不需要图灵完备的开发语言,不同的应用间尽可能实现隔离的原则。因此我们在设计的时候,把token的处理和DApp的处理分开了,也就是说在EKT上存在两种类型的链:token链和DApp链。EKT的DApp链是供不同开发者开发DApp的一条链。我们从智能合约开发语言、数据存储、效率三个方面进行了优化。EKT的DApp链基本上可以实现与现在的互联网应用相同甚至更快的开发速度,可实现的功能性也与互联网应用没有太大差异,最重要的是,我们可以实现大部分事件的1秒执行和确认,安全性要求比较高的事件可以实现3秒的确认。目前区块链生态上开发、管理和交易的去中心化应用及应用内资产的平台就应该以该行业中开发者和用户的需求作为项目初期版本的设计出发点。现在我们所能看到的主要技术也都基于这一出发点,为这个目标服务。EKT的中心思想就是设计一个社区的机制,让开发者可以轻易的开发一个可以承载DAPP的主链,其他的交给EKT来处理,EKT的“一链一主币,多链多共识”的机制为后来的区块链项目开发提供了很大的便利,可以使用于任何区块链适用的应用场景。我们推出的多链只能是一个最低的标准,就是说,你可以认为一个产品最小化的版本是需要包括哪些功能的,然后你可以在上面衍生其他新的功能和新的玩法,如果你只有这些最小化的功能,那这个产品肯定就没什么意思了。以上就是我对区块链数学思维的一些思考,和一些在设计EKT的多链多共识时对建设多链底层的考虑。欢迎大家提出疑问,共同探讨。End
声音 | 中国工程院院士陈清泉:在大数据时代,需要在数学模型上加上大数据和区块链:据第一财经消息,近日,中国工程院院士、“亚洲电动车之父”陈清泉接受采访时表示,科学研究的是Why(为什么),而工程探究的是How(怎样),也就是怎样将一项科研成果落地形成产业。核心有两点,第一点,是要有监管机制,因为人不是神,所以人是会犯错的。第二点他说到:“要有团队的精神,工程特别强调团队的精神。还有特别是在今天大数据时代,以前我们传统的搞技术就是搞数学模型,今天光靠数学模型不够,要在数学模型上加上大数据,还要加上区块链。”[2019/7/31]
现场|王飞跃:智威慑的实现依赖于区块链+数学建立:金色财经12月17日现场报道,今日,由数字资产研究院主办,零壹财经和石榴财经承办的2018国际区块链数学科学会议在京举行。在会议上,计算机学家、中科院自动化研究所复杂系统管理与控制国家重点实验室主任王飞跃指出,军事区块链要实现从不对称的战争实现对称的和平,商业区块链要从不对称的竞争实现对称的效益,而这两点的实现依赖于区块链+数学建立起来。[2018/12/17]
声音 | Joseph Young:Tether像总是忘记数学作业最后一页的孩子:针对Tether在巴哈马Deltec开设银行账户的消息,加密货币评论员Joseph Young提醒投资者仍需关注:1.对前几个月资金的评估;2.USDT整个2018年的余额是多少。Young认为Tether就像学校里总是忘记数学作业最后一页的孩子。[2018/11/2]
动态 | 对于数学家公布黎曼猜想证明过程 同行不予置评:著名数学家迈克尔·阿提亚(Sir Michael Francis?Atiyah)爵士于9月24日公布了其证明黎曼猜想的过程,但并没有收到太多赞美。阿提亚爵士对黎曼猜想证明方法的灵感来源于阿蒂亚爵士在 2018 年 ICM 上提出精细结构常数的推演,这一推演过程中应用了Todd函数参与计算。科技媒体New Scientist曾经联系了多位数学家,问他们怎么看阿蒂亚证明黎曼猜想的方法,但数学家们大多表示不予置评。在一些人看来,如果黎曼猜想被证明,其或有可能影响加密算法的逻辑性,比如加密算法和哈希函数如何产生互动等,甚而破解加密算法,从而上升至对加密货币圈产生影响。[2018/9/25]
吴军:区块链已演进到第二代,第三代研究主力是数学家:硅谷风险投资人、原腾讯副总裁吴军近日接受采访时谈到:“区块链,做底层研究的人中国比较少,国外还是有一些的。我们今天区块链已经演进到了第二代,第一代是大家知道的比特币,比特币是一个很特殊很难扩展的区块链,最作死的就是它了。”[2018/4/19]
无论是从节约资源爱护环境的道德层面,还是各种更科学的共识算法推陈出新的技术层面,或者是中小矿工挖矿入不敷出的市场经济学层面,“挖矿”这种第一代区块链共识算法,已经成为特定历史时期的产物。我们感谢它、尊重它、但是未来不得不放弃它.
1900/1/1 0:00:004月11日,Blockstack旗下子公司BlockstackTokenLLC对外宣布,计划根据美国SEC的A+框架,在SEC监管下进行5000万美元的代币融资,融资用于孵化开发Blockstack网络和生态.
1900/1/1 0:00:00一种观点认为,在数字资产领域,还有很多可以对标传统金融业的服务空白,比如基金类产品和相对应的聚合平台,也就是加密货币领域的“天天基金网”.
1900/1/1 0:00:00“TheTimes03/Jan/2009Chancelloronbrinkofsecondbailoutforbanks”《泰晤士报》:2009年1月3日,首相对处于崩溃边缘的银行进行第二次紧急救助十年前的今天.
1900/1/1 0:00:00导读本周BTC强势站上5000美元,带领市场整体反弹。BTC已经接近减产前半年的时间节点,合规化的发展、公众认可度的提升和渗透率的增长可能会推动第四轮价格周期的上行行情。摘要专题:BTC强势突破,上行周期或开启.
1900/1/1 0:00:00华尔街银行还在试水或观望加密货币业务之际,这一业务正在成为西方中小银行的“印钞机”。作为少数几家积极为加密货币业务提供服务的美国金融机构之一,Silvergate银行在2018年第四季度增加了59家加密客户,2018全年来自数字货币客.
1900/1/1 0:00:00