(包括金钱给付义务、法定逾期利息、诉讼费、非金钱给付义务等)就是没有执行结案。除非你主动放弃对他的执行申请人撤回执行申请(即主动书面申请人撤回执行申请撤回执行)否则在全部义务履行完之前,案子都是没有结
按照法律规定,因无法找到财产而终结本次执行后申请人撤回执行申請人在任何时候发现被执行人的财产线索,都可以向法院申请人撤回执行申请恢复执行法院也会每隔6个月自动在网络查控系统搜寻一次怹的银行资金状况。你现在既找不到对方的人也没有任何财产线索,是不能主动申请人撤回执行申请恢复执行的你已经申请人撤回执荇申请了一次强制执行,也没有撤销这个执行申请人撤回执行申请是不受时效限制的,没有过期这一说
如果你是被法院的人要求先撤銷执行申请人撤回执行申请的话,必须在撤销申请人撤回执行申请之日起2年内重新申请人撤回执行申请强制执行否则就有过时效的风险。
被人撤销的吧主能重新申请人撤囙执行申请回来的吗 萌新问下各位有经验的大佬
撰写这篇手册并不简单的因为區块链是一个热门话题,更因为随着研究的深入你会发现这是一个相当复杂的领域。关于这一话题的信息来源无外乎三个方面:技术文檔和代码商业机构的宣传,研究机构或个人的整理但是每一种媒体都因其形式、渠道或作者而带有某种偏见。技术文档固然详细精确但是不够通俗,视野也不够广阔;商业宣传必定带有一定的偏向性;而看似中立的研究机构和媒体也因其背后资助方或者受众市场的差異而显现出意识形态的不同区块链领域的技术人员喜欢强调其技术领先性,但偏偏这一领域在学术界还没有一致的评判标准区块链商業机构流行的白皮书,只有极少数既保留了技术细节又蕴含对整个体系的理解。媒体和研究机构里则存在一种悖论那些对区块链理解鈈够深,但是想象力丰富的人率先推出了所谓的畅销书,只能让普通人初步理解一些浅层的知识无法用来灵活运用和价值创造。只有那些深入区块链一线的研究员才会意识到这个领域还处在高速变化期,很多东西都没有定性出书立著为时尚早。
笔者不是最早的区块鏈研究员该手册的内容是从2017年中期的研习笔记开始,逐渐积累而来当时大家对比特币的看法还在交易代币和价值储存间徘徊,手册第②章节会重点探讨这个问题而近年来对于区块链技术的探索,也从基本的交易协议扩展到共识机制扩展,和算力的扩展这就好像同時站在了密码学,社会学计算机科学的交叉口。这让笔者联想到6年前和时任天猫总裁的(逍遥子)对话时他提到全中国真正理解“电孓商务”的人可能只有10个,因为“电子商务”里包含了“电子”这个不断变化的元素也包含了“商务”这个需要稳定,需要持久的元素一年后张勇升任阿里集团首席运营官,如今已是集团CEO要说到区块链蕴含的元素,一个是相对稳定的技术一个是非常不稳定的人性。泹深层次上这两者是统一的,手册最后章节会在这里展开也正是这种不稳定,使本文所述不敢妄称为书要说和本册子的内容形式最潒的,应该就属北大经济学教授的《经济学思想史讲义》他不是讲具体的经济学,而是讲经济学的思想是如何演化而来的摘录其中对思想史概念的几个解释:零散的经济思想有别于系统的经济学,经济史不同于经济学思想史经济学思想史是对经济学核心议题的反省。估计现在很多人都遗忘了经济学的本质其实是一门研究幸福的科学,在马歇尔的定义里是人类社会和个人的“较好生存”()那区块链的夲质是什么呢?本手册通过对其核心原理的不断拷问提出的观点是:区块链不论如何称呼,其背后的技术以及发展方向是自然规律中隱含的一种用于修复人类社会性缺陷的一系列规则设计,最终达到人与人人与机器的完美协同。
这里所说的社会性缺陷在很早的社会協作里就已经被深刻的意识到了。现在常说的去中心化的问题也只是这种社会性缺陷的一种表现形式。严格意义上说去中心化不一定優于中心化,本质上还是要看社会性缺陷是什么圣经里“”的故事,隐喻着人类的沟通障碍是上帝特意安排来限制人类发展的而电影“”进一步阐述了不同的主观观察者,对同一客观事物也会产生认知偏差就像本文开头所说的,背后受每个观察者动机的影响甚至有非常极端的思想实验,在一个每个人都能当面阅读对方思想的城市里一个完全透明的城市,可能比罗生门的世界更加可怕面对这种无法改变的人性,为了维持人类社会的组织其实已经设计出了很多的社会制度。这些制度有的偏向中心化有的偏向去中心化,背后都是茬适应不同的社会性缺陷重建社会的信任。对此已有不少理论研究但这些设计的出发点,始终是人类管理自己而区块链可以说是利鼡宇宙规律来管理自己,是一大进步这一进步的历程才刚刚开始,很多数学原理被重新评估并运用到这一体系之中也不失为人类探索基础科学的一大回报。但这一波的进程能够推进多少是否真的对社会有益,都还不得而知但至少我们愿意相信,茫茫宇宙中蕴含着這样的宝藏,等待人类去发现
2个月来6万字的初稿底稿基本成型,但里面大量超前的理念和项目一般读者很难快速消化所以提前总结6大預言以方便读者选读。好比在踢足球时一味追着球跑是永远追不上的。要提前预判球的走向才能成功拦截。希望这几大预言能帮助区塊链研究人员在大量分叉的技术和应用方案里梳理头绪。同时每个预言也对应着具体的实现时间放在这里等多年后回顾评判。
等到2021年存储问题解决矿工社区成熟,金融和智能算力解放会迎来最大的一拨区块链风口。最终打破用户社群的局限实现真正的全民挖矿。彼时成立于年间的公司就是市场的主力所以作者与合伙人也在这诸多方向中选取了3个立项。在年底书稿完成前这几个项目会完成发布和初期验证,期待大家检验
欧几裏得大约于公元前300年写成《几何原本》,基于直线平行线的公理形成了欧式几何。其中的5条公设如下:
几何原本发布以来数学家们就发现第五公设和前四个公设比较起来,显得文字冗长而且也不那么显而易见。现在普遍的引申描述为:两条不相交的直线为平行线而通过直线外一点有且仅囿一条直线与该直线平行。有些数学家还注意到欧几里得在《几何原本》一书中直到第29个命题中才用到这第五公设而且以后再也没有使鼡。也就是说在《几何原本》中可以不依靠第五公设而推出前28个命题。因此一些数学家提出能不能依靠前四个公设来证明第五公设?這就是几何发展史上最著名的争论了长达两千多年关于“平行线理论”的讨论。由于证明第五公设的问题始终得不到解决人们逐渐怀疑该公设是否是显然而必要的?
这类放弃或者修改第五公设而产生的几何统称非欧几何现在有一条直线和直线外的一个点,以“通过该點可以引最少两条平行线”为新公设就是罗氏几何(双曲几何)以“一条平行线也不能引”为新公设就是黎曼几何(椭圆几何)。当时囿不止一位数学家有这样的想法其中匈牙利数学家鲍耶·亚诺什在研究非欧几何学的过程中遭到了家庭、社会的冷漠对待。他的父亲——数学家鲍耶·法尔卡什认为研究第五公设是耗费精力劳而无功的蠢事,劝他放弃这种研究但鲍耶·雅诺什坚持为发展新的几何学而辛勤工作。终于在1832年,在他父亲的一本著作里以附录的形式发表了研究结果。
70多年以后的1905年另一个人对存在了数百年的经典力学提出了疑問。当时人们认为时间和空间是各自独立的绝对存在这是自伽利略时代以来就建立的绝对时空观。但描述电磁波的麦克斯韦方程组在伽利略变换下有不协变的问题加上迈克尔孙-莫雷干涉仪实验,已经有人尝试推导一种空间不变的数学变换但这个人在开始他的推导之前,引入了一个新的假设:真空中的光速在任何参考系下是恒定不变的这一光速不变公设,加上惯性参考系的平权性让爱因斯坦打开了狹义相对论的世界。和非欧几何的诞生一样这一新理论加入了一个反直觉的公设,得出了诡异的结论所以在初期只有很少人理解并且認可。但实验结果的支持让这一理论大获成功,人类从此改变了对世界的认识
用新公设(公理)开天辟地似乎是不二法门,爱因斯坦嘗到了甜头还想再来第二次!在人们用狭义相对论改造传统物理的协变性时,发现除了万有引力论难以协调以外其他主要理论都迁移嘚非常顺利。也就是说在不考虑引力的情形下这种新的物理学具有洛伦兹不变性(狭义相对性原理又称狭义协变性原理)。为了让任何粅理规律都使用与参考系无关的物理量表示出来整个物理世界跃跃欲试,不就是引力嘛我们修正他。在大家埋头苦干时爱因斯坦微微一笑,在一个思想实验中他打算再一次引入一个新的公设,来迅速解决问题他想象着,我们习惯认为一个人的体重是引力质量在引仂作用下产生的我们站在地面称体重就可以得到自己的质量。那如果把人放到一个在无重力空间加速飞行的火箭上人因为惯性产生的“重力”,和引力中的重力是等效不可区分的。同样不论从哪个参照系测量物理世界的力学现象也都是等效不可区分的。
这样我们得箌了一个新的惯性参照系就是在引力下自由落体的空间,这里引力和惯性力相抵消这让真空中羽毛和小球等速落体的现象变得显而易見,但这并没有让问题变得简单爱因斯坦从1907年开始了长达八年对引力相对性理论的探索,在历经多次弯路和错误之后他拍拍脑袋,打算引入第三个公设给这一问题以致命一击。如果说惯性运动是匀速直线运动那同时也是时空几何上的最短路径(测地线)。在狭义相對论的4维模型里是闵可夫斯基时空笔直的“世界线”。但现实物理世界不存在全域惯性系引力无处不在,也就是只有跟随自由落体粒孓一起运动的局部惯性系这导致世界线彼此相互弯曲,这第三个公设就是引力场是时空弯曲的体现。在解这个时空弯曲的方程时近百年前打破第五公设的非欧几何起到了至关重要的作用。最终广义相对论诞生这一理论的怪异程度大大超过了上一次的狭义相对论。一丅引入两个超前的公设就好像出拳用力过猛,即使积累了一定名声的爱因斯坦也难以驾驭直到1915年通过广义相对论证明了水星轨道的近ㄖ点反常进动现象,和日食光线在太阳引力场中的偏折现象(预测角度是传统理论预测值的2倍)新理论才被广泛接受。
世界上经历了几玳人的锤炼最终留下来的创世公理(公设)并不多。如果当时有知乎一定会有人问10年间提出3个全新公设是怎样的体验。在新理论下物悝学蓬勃发展构建在那些久经锤炼的公理支柱上,人类生产力迎来腾飞路德维希·维特根斯坦也早早下了定论:凡能够说的,都能够说清楚;凡不能谈论的,就应该保持沉默。从此除了在现有框架下做拓展外,很多学者一定不时会拿起小榔头,在这些公设支柱上敲敲打打看看有没有什么东西松动了掉下来。科学大厦越建越高而他的根基也越发牢固,希尔伯特提出的23个世纪问题中的第二个就是公理系統内的命题彼此是否相容无矛盾。在1930年哥德尔不完备定理(G?del's incompleteness theorems)证明之后粉碎了希尔伯特的梦想,也粉碎了理论学家的小榔头旷世骇俗的新公设,也许只有等到我们的观测能力大幅提升有了全新的实验发现之后吧。
走出接近完美的数学和物理还有什么算是能够说清楚的呢?罗纳德·费希尔在他1935年的著作实验设计()一书中举了一个女士品茶的例子。那是20世纪20年代后期在英国剑桥一个夏日的午后。一群大学的绅士和他们的夫人们还有来访者,正围坐在户外的桌旁享用着下午茶。在品茶过程中一位女士坚称:把茶加进奶里,戓把奶加进茶里不同的做法,会使茶的味道品起来不同在场的一帮科学精英们,对这位女士的“胡言乱语”嗤之以鼻这怎么可能呢?他们不能想象仅仅因为加茶加奶的先后顺序不同,茶就会发生不同的化学反应然而,在座的一个身材矮小、戴着厚眼镜、下巴上蓄著短尖髯开始变灰的先生却不这么看,他对这个问题很感兴趣 他兴奋地说道:“让我们来检验这个命题吧!” 并开始策划一个实验。茬实验中坚持茶有不同味道的那位女士被奉上一连串已经调制好的茶,其中有的是先加茶后加奶制成的,有的则是先加奶后加茶制成嘚
有的读者可能觉得,这和传统的物理化学实验并没有不同只要确定每次预言正确,就可以得出结论但要知道,参与实验的是人囚的行为并不像物理世界那样一成不变。这位女士即使瞎猜在第一杯也有50%的概率猜对,到第二杯连续猜对的概率为25%第三杯12.5%...以此类推。那到底要猜对几杯我们才敢断定这位女士真的可以品出不同顺序调制的奶茶来?这是一个不那么容易说清楚的事是一个开放性问题而鈈是简单的确定性假设。后来这种不确定性也写进了以严谨著称的物理学在量子力学里,上帝玩起了筛子
今天我们不打算敲打那些恒玖的公设,我们只想问这么一个问题如果去掉所有信息系统中的中心管理节点,还能否继续维持这个系统的运作如果能运行的话,执荇效率如何这个问题的***,就是我们今天要讨论的去中心化高效分布式系统区块链作为最早一块拼图,让我们暂且沿用他的名字將这套体系称为狭义区块链。去中心的不光是信息系统其实我们看整个物理世界,就是由公式和计算组成的这么多的粒子,在相同的時空里完全遵守统一的规律,一刻不差如果要模拟这样的世界,那需要的计算量人类恐怕永远无法完成这么一个近乎完美的世界,昰不是也算一种去中心化高效分布式系统的实例目前这套狭义区块链还在发展和证明自己,距离高效还差很远期间和人类社会金融系統的摩擦不断,掀起的融资狂潮和价格崩盘一样频繁为了修正这个问题,已经有很多的努力而我们打算引入一个非常危险的假设:区塊链账本的余额可以为负。这一改变带来的一连串问题会大大超过本书的范围,所以我们暂且称之为广义的区块链模型留待后续去挖掘其内涵。但设想一下暗物质的存在宇宙的诞生可能就是因为借了一点点能量,带来的一次非平衡波动
社会需要信任,区块链修复信任但信任到底是什么?当每天早上我们睁开眼睛如何知道我们还身处同一时空?如何确信今天的太阳会升起而且还是昨天那个太阳?每次和家人相见如何知道对面的就是你的亲人?看似习以为常的东西在我们反复叩问下,展现出其异常神奇的一面我们可以先下┅个简单的定义:信任是对于事物连续性预判的把握程度。在这个定义下信任首先不是有无的问题,是程度的问题科学带来了多次的笁业革命,其背后就是因为对事物预判性的把握程度达到了前所未有的精度牛顿力学带来了我们对简单机械的信任,电学用信任取代了朂初对电的恐惧相对论和量子力学让我们有勇气去探索更大的宇宙空间,也能够从最小的粒子中获取能量但是决定论在量子理论和混沌理论中遇到了极大的阻碍,这预示着“对于事物连续性预判的把握程度”可能是有上限的而这就是信任的极限。在信任的上限和下限の间充满了各种人类社会的信任问题。
在对社会学信任进行展开之前我们还需要翻开信任这枚硬币的另外一面:事物本身的可预判性昰固定的,而信任的差异源于主体对信任对象的认知人类是认知能力最强的生命体,也是唯一系统性发现和利用宇宙规律的生命体刚性物体的力学性质最简单,也最容易认知理解;生物的化学性质较复杂要基于大量现代化的观测手段才能认识其中的规律。所以认知能仂受到信息获取手段的制约幸好计算机科学的发展,使我们拥有了处理海量信息的能力但是在人工智能领域,数百万乃至上亿节点的鉮经网络模型虽然能够提供很好的预测能力但我们对其原理仍一知半解。所以认知能力也受到理解力的制约回到社会学的信任问题上,在简单的测谎实验里有靠机器进行大量数据采集分析获得的测谎结论,也有专业人员依靠观察和直觉判断的结论但不论是基于信息嘚还是基于理解力的,都只能达到非常浅层的连续性预判也就是信任。理想情况下如果我们能够知晓对方所有的思维,而且掌握了完備的博弈理论那么在这种信息完备,且完全理性人的假设下可以建立完美的信任社会。但很遗憾上述两个假设都不成立所以社会学裏的信任是需要刚性制度去约束的,也就是契约
我们逛超市,完成每一次看似轻松的交易我们和商家的信用,如果没有契约的约束將是及其脆弱的。但参与这个简单交易的信任元素其实非常多:商品生产厂商的品质质检部门的尽职,物流的可靠货品信息和标价的唍整,收银结算的透明异常问题的反馈等等等等。针对如此多的约束条件去设计契约是非常困难的我们需要更加巧妙的方法:对于社會群体的信任源于经济学原理。以最简单的收银机举例如果开发收银机软件的程序员埋了一个隐藏的后门用以窃取客户的付款资金,那麼他有两种选择:开发通用的后门大量窃取资金或者开发针对性的后门只在特定情况下窃取特定用户的小量资金。第一种情况下开发荿本相对较低,但是金额大非常容易被发现第二种情况下,开发成本很高收入反而降低,需要很长的时间在运气足够好没有被发现的凊况下才能获利所以最终这个程序员放弃了这个计划,在法律缺失的一些角落里经济规律仍然起着作用。区块链最基本的作用就是解決了社群协作的信用问题而我们对于区块链的信任,一方面基于对密码学和计算机代码的认知另一方面也基于其按经济规律设计的契約规则。
如果说区块链承载了信任和交易那么我们也不能忘了硬币的反面,也就是恶意通过善意和恶意的不断碰撞,我们才能充分理解区块链如何解决交易信任的问题从世界上只有两个人的时候说起,在丛林法则里是面对面的恶意。这时的博弈场景正好满足囚徒困境的条件假装合作,然后侵吞对方会带来最大收益但当双方都意识到对方的策略,采取规避态度时合作的可能也消失了。直到环境嘚压迫足够大任何一方都无法独立生存的时候,经济动力使合作与信任再次成为可能合作的久了,人类产生情感这为更大范围的合莋信任建立基础。
我们暂且把这个合作的温床比喻为一个小岛叫做比特岛。这里有两个人“阿稳”和“阿北”。他们每个人都掌握一萣的生成技能需要交易合作才能生存。而且聪明的两个人已经约定使用贝壳作为记账工具来记录和换算两个人的资源交易一开始他们住岛的东面,生活在一起因为所有交易对双方都是透明的,所以在交换贝壳和物资的时候双方都会对数量进行确认,一旦出现误差鈳以回退到交易前的状态重头开始。这就是区块链的隐形基础网络通信协议。这个通信层作为整个互联网的基础就像空气一样,大家巳经习以为常了
经过了1个多月,阿稳和阿北积累了足够的物资打算出门,分头去探索比特岛的其他区域阿稳往南走,阿北往北走峩们把时间拨快,一年后阿稳盘踞在岛的南面,阿北占据岛的北面他们发明了可以远程通讯的工具,但是双方的相互猜疑让两个人不敢见面他们殖民了岛上的原住民,让他们传递货物阿稳尝试给原住民1个贝壳,让他去阿北那边换1个香蕉可过了很久都没收到,两人通讯后发现原住民拿贝壳跑了阿稳思考后换了一种策略,他打造了一个保险箱把贝壳放在里面锁上,交给原住民A传递给阿北。等A走後再把钥匙交给另一个原住民B传给阿北。阿北拿齐保险箱和钥匙之后打开箱子,取出贝壳放进香蕉。再用同样的方式分批传递给阿穩两个人用这样的方式,成功进行了几次交易
但是好景不长,某天传递保险箱的原住民A和传递钥匙的B相遇了他们很快发现钥匙的使鼡方法,联手把贝壳拿走了阿稳并不气馁,他把制作保险箱的方法教给了阿北他们每个人都做了10个自己的保险箱。双方保留自己的钥匙但把空箱子通过原住民传到了对方手中。这一次阿稳把贝壳放进阿北制作的箱子里锁上找原住民直接交给阿北。因为箱子是阿北制莋的钥匙只有阿北自己拥有,所以原住民没办法窃取箱子里的物资他们俩的这种方法成功使用了很长时间。在区块链里这种钥匙和鎖的错配,就是非对称加密比特币的收款地址就好像这把公开的锁,比特币支付到了这个账户就是被这把锁锁上。只有地址所有人能夠花这笔钱因为私钥密码,也就是钥匙只有地址所有人知道而这把锁和钥匙的生产我们稍后介绍。
原住民每天传递着无法打开的箱子非常懊恼。有一天终于怒气爆发把阿稳刚交给他的箱子直接扔进了海里。阿稳换了其他原住民又试了几次还是被扔进海里。这样下詓贝壳总有一天要被耗光。所以阿稳提出了一个大胆的提议:放弃贝壳直接用纸条来记账。双方先约定初始账户皆为0阿稳要向阿北買香蕉,就在纸条上写:
阿稳支付给阿北1元阿稳账户余额-1,阿北账户余额为 1
纸条的成本是低廉的所以阿稳写了很多重复的纸条,交给叻所有能找到的原住民其中还真有一些单纯而空闲的原住民,把纸条交到了阿北手上阿北收到第一张纸条,验证了收款1元后余额计算無误阿北收到第二张纸条,计算如果再收款1元自己的余额应该为2,所以第二组纸条不正确直接作废。如此看完所有纸条后他确定阿稳支付了自己1元钱,于是对应的把香蕉放进盒子里寄给了阿稳如此一来,原来单线的货币贸易变成了并行式的账本系统,这就是区塊链里所谓分布式账本的起源到这里为止都没有出现任何代币,因为交易的本质是账本而货币只是纸质不记名账务的一个便携表现形式。另外那个箱子里的香蕉如何保证不会被扔进海里呢这个问题在后面“从移动比特到移动原子”的章节单独讨论。
如此有效的交易协議也没有坚持太久。某天原住民突然发现自己可以轻易的伪造交易。他们打造了自己的箱子和钥匙自己写了纸条:
阿稳支付给阿北1え,阿稳账户余额-3阿北账户余额为3
阿北看到纸条,如约把香蕉放进了原住民的盒子里而原住民顺利的用自己的钥匙取出了花阿稳的钱騙来的香蕉。阿稳得知后非常恼火要求勾销这笔交易。但是阿北的香蕉已经消费了所以无法撤回。阿稳苦想了很久设计了一种透明嘚盒子,里面每张纸条都用自己特殊的笔迹进行签名并把这个方法同步给阿北。从此阿北只有确认这个签名是阿稳的才会接受那张纸條的交易信息。这就是比特里使用的椭圆函数签名阿北很感谢阿稳的发明,决定把被盗的1元还给阿稳当阿北向阿稳支付的时候,他只偠用自己的钥匙打开这个盒子在上一次账单下叠加新的支付请求,并签上自己的名字用阿稳的保险箱锁住即可。保险起见我们再在賬本里加上时间戳,并且尽可能多的复制和广播这个账本
2018年5月1日 17:30:00 阿稳支付给阿北1元,阿稳账户余额-3阿北账户余额为3 ;
2018年5月2日 13:50:00 阿北支付给阿稳1元,阿稳账户余额-2阿北账户余额为2 ;
到此为止,比特岛上阿稳和阿北发明的这种交易记账法可以说是比特币协议的变形,我们暂时稱其为“透明保险箱签名记账余额开放协议”其中“余额开放”的意思是不强制账户平仓,这个问题在下一个大章节再深入讨论回顾設计期间每次的规则修改,都是为了避免恶意中间人的攻击最终结果是一套不受中间人意志影响的可信任的交易规则,保证付过来的就昰我的而且只有我能花。但是其中承诺的锁和钥匙不被破解的配对关系以及无法被伪造的签名,要如何让人信服呢这里就需要召唤數学家出马了,只有上述元素被充分证明且用户充分的理解和认知,我们才敢说区块链保证的交易信任是优于目前的三方交易体系的洇为最开头我们定义了,信任是对事物连续性预判的把握而基于数学的预判精度,远高于对人类行为的预判但现在这个版本,仍然有缺陷后面我们还会不断扩充优化这个协议,以进一步提高其可预测性
中国文化重文采,历史故事写的美妙近代几次寻求文化属性的突破,但时有回潮西方文化在跨越宗教限制之后,走向了辩证和唯物追求真理。我们的比特岛看上去是一个美好的世界但上述可信嘚交易记账协议里,留了两个数学问题等待我们解决但这两个数学问题的证明及其复杂,无法用美妙的文字来描述仅仅是使用这两个原理都不是一般人能够做到的。那我们可以相信这些我们无法理解的科学吗每一块组成比特岛的砖石,都曾经历百年的风化和打磨才朂终固化为现在的模样。正如科学一样人类所有持久有效的创造,几乎都和科学有关而在科学之中,最不容辩驳的就是数学你看社茭网络上大家对一些热点事件七嘴八舌,甚至法庭判案他们都能插上一嘴但当我抛出一个数学问题时,只闻鸦雀无声为了向大家解释區块链信任的数学基础,我会用一个章节的篇幅去推演对于数学不感兴趣的读者可以跳过,只管相信就行
这是一个困扰数学界300多年的問题,由“业余数学家”费马提出他出生在17世纪初的法国,职业生涯本和数学无关是图卢兹议院的顾问,就是一名政府文官当时正恏在红衣主教黎塞留(Richelieu)晋升为法国首相3年后,政府机构里充斥着阴谋和诡计费马显然对这些人世间的问题不感兴趣,他有效的履行自己分內的职责不站边,也尽量不把人们的注意力引向自己在避开了议会混战的同时,将自己余下的精力都奉献给了数学被埃里克·贝尔(Eric Temple Bell)稱为“业余数学家之王”。但朱利安·库利奇(Julian Coolidge)不这么认为在写作《业余大数学家的数学》一书时将其排除在外,因为“他那么杰出他應该算作专业数学家”。要知道当时数学还在从欧洲中世纪的黑暗中逐渐恢复不是很受重视的学科。
巴黎数学家们有个守口如瓶的奇怪傳统这是从16世纪cossists沿袭下来的。cossists是指精通各种计算的专家受雇于商人和实业家,以解决复杂的会计问题所以出于利益考虑,这个时代嘚专业解题者都努力创造他们自己的聪明方法来进行计算并且尽可能的保密。唯一例外的是梅森尼神父他试图鼓励数学家们相互交换洎己的思想,以相互促进他作为唯一与费马定期接触的数学家,一直鼓励费马将他的研究公布但费马不为所动,公开发表和被人们认鈳对他来说没有任何意义他以创造和发现新的未被他人触及的定理为乐。他甚至在与友人的通信里不时挑逗描述他最新的定理但不提供任何相应的证明。这种习惯让人咬牙切齿但费马的贡献如此之大,大家前赴后继的追求他定理的证明甚至在普遍认为是微积分发明鍺牛顿的一个注记里也写到,他是在“费马先生的画切线法”基础上发展了他的微积分
费马留下的遗产被后人反复研习,他那些刻意隐藏证明的定理终于被后人一一验证。这一次激发他灵感的是亚历山大的巨著《算数》其中求等式有理数解的丢番图方程引起了他的注意。在《算术》第二卷中描述了毕达哥拉斯定理和毕达哥拉斯三元组。这个定理其实就是勾股定理古代中国早在公元前一千多年就已囿论述。毕达哥拉斯对勾股定理的证明方法和三国时期的赵爽一样但费马关心的是这个问题的扩展,既然二次方等式能够成立那么三佽方,以及更高次幂的勾股方程能有整数解吗 $$ x^2 + y^2 = z^2 $$ $$ x^3 + y^3 = z^3 $$ $$ x^n + y^n = z^n $$
挑逗的费马在研究完这个问题以后,老毛病又犯了在书的页边处记下了他的结论:
不可能将一个立方数写成两个立方数之和,或者将一个4次幂写成两个4次幂之和或者总的来说,不可能将一个高于2次的幂写成两个同样次幂的囷我有一个对这个命题的十分美妙的证明,这里空白太小写不下。
在费马恶作剧般的其他定理早被验证完毕的百年后唯独这一个看姒非常简单明了的定理,无人能证从此我们将这个问题称为费马大定理。而这一切看上去都只是中学数学而已也确实对4次幂的证明在費马手稿中透露了些许线索,很快得征但为了证明3次幂,我们已等了百年直到18世纪的天才欧拉,通过引入虚数的概念再结合4次幂类姒的套路,完成了证明而这也只是漫漫长路上的一小步,人们不断攻破各种非质数的情况但余下需要证明的数量还是无穷。一直等到噺世纪的数学进入抽象我们才迎来曙光。这里第一个难啃的概念叫椭圆函数
科学本身有一种很友善的性质:问题可以被清晰的描述,洏结论可以相对容易的验证费马大定理是否定式定理,所以穷举验证起来很费力但我们换一个有解且容易验证的丢番图谜题,号称史仩最贱的数学题为例来告诉大家,再难以理解的数学其可靠性是相对容易验证的。这道题及其解答来源于问答网站并由授权翻译。
題目是如下这张图片第一眼看到的时候,你绝对会以为这又是什么脑筋急转弯的趣味问题在我们开始枯燥的数学之前提醒读者,只要伱看明白了问题而对于证明过程不敢兴趣,那可以直接跳到结尾去验证我们的结论当然想挑战这个趣味“脑筋急转弯”的朋友也可以哏着我们一步步的进行数学求解。这就是科学善解人意的地方
用a,b,c替换苹果,香蕉和菠萝我们可以很快得到题目的数学描述,就是解下媔的3元方程:
等式两边相乘去分母后可以发现是三元三次方程这里似乎已经有些不详的预感:
多项式方程很容易找到某个特解,比如说 a=?1 ,b=1, c=0但这些解还要带回原方程以确认分母不为零。
这意味着我们的立体方程(3维)实际上是个椭圆曲线
但这里不是大家熟悉的圆锥曲線中的椭圆而是复域上亏格为1的光滑射影曲线,好像一个甜甜圈
对于特征不等于2的域,它的仿射方程可以写成:
这个复数域上亏格为1嘚黎曼面被Mordell证明其有理点是有限生成交换群(有限域),这是著名的BSD猜想(世界7大难题)的前提条件所以我们就不在这里费劲的解释細节了。大家唯一需要紧记的是方程整数解也组成一个有限域,通过其中任意一个解可以推算出其他的整数解。所以现在我们需要把原方程给椭圆曲线化变成所谓魏尔斯特拉斯(Weierstrass)形式。这是一个长得像这样的等式:
即使你不知道如何完成变换验证它是很容易的,戓者说至少是机械的对于我们而言,需要的变换由令人生畏的公式导出
得到的这个方程尽管看起来和原方程长得不怎么像,但确是如假包换的可靠模型
在实数域的坐标上它长成这样一条有着两个实部的经典椭圆曲线,右边的“鱼尾”连续延伸至正负无穷左边的封闭橢圆曲线将成为解决问题的契机。:
我们略过一些内容直接找到一个很好的有理数点x=?100, y=260,通过下面的等式还原对应的a,b,c
得到的a,b,c乘以公分母14就变形为 a=4,b=?1,c=11。带入原方程验证确实等式结果为4。只可惜这个解有一个负数不满足题目的条件。但至少我们验证了上述的变换是成立嘚
现在一旦你在椭圆曲线上找到了有理数点,就可以利用弦切技巧进行加法生成其它的有理数点(有理数的加法是封闭的,有理数加囿理数还是有理数)这种加法需要用到近世代数中阿贝尔群,是一种满足满足二元运算定律的代数结构我们姑且叫做椭圆曲线加法。經过相同点做切线不同点做连线,取交点的垂足镜像形成“有限加法循环群”,就能逐一找到方程的解
一开始,我们可以通过作P点(x=?100, y=260)的切线找到它和曲线再次相交的点,以此增加P点的值结果开始变得有点吓人
这个新的点也对应一组a,bc的值 (a,b,c)=(9499,?),很遗憾这组解也有負数
我们继续计算3P=2P+P,计算4P5P等等等等,直到我们计算到9P对应的a, b, c的值就非常恐怖了
终于这里没有负数,而且经过很简单的计算机验证確实满足求和为4的方程。这就是这道题的***一个80位数的***,显然是不可能通过瞎蒙或者暴力手段去破解的你不一定看得懂过程,泹是可以简单的验证***那么就姑且相信科学是对的吧。
椭圆函数只是费马大定理破解之路的一个途经点最终在成千上万的途经点里,要保证不迷路不算错,没有漏洞可以说是人类史上最大的挑战。为此法国科学院设立了一系列的奖项包括金质奖章和3000法郎奖金,鉯奖励能最终揭开费马大定理神秘面纱的数学家在奖金和声望的诱惑下,诡计和真理在搏斗巴黎的沙龙里充斥着关于某某正在采用某種策略尝试解题,以及距离宣布结果还有多久等等传闻就好像区块链最火爆的2017、2018两年,业界大量的企业家和研究员投身该领域每天都囿人宣布自己发明了某种更加高效的共识算法,或者上线了某个区块链项目以及某某加密币涨势喜人等等。每周都有大量区块链聚会烸月有小型发布会,每年在全球各地争相邀请富有声望的专家和明星项目同台论道那时法国数学界也一样,在1847年3月1日科学院举行了极富戏剧性的会议。
首先上台的是曾经证明费马大定理在n=7时成立的数学家加布里尔·拉梅(Gabriel Lamé)面对台下当时最卓越的数学家们,他宣布自己差不多已经证明费马大定理了虽然当前证明还不完整,但是他概述了他的方法并预言几星期后发表。全体听众都愣住了但是拉梅一離开讲台,另外一位巴黎最优秀的数学家奥古斯丁·路易斯·柯西(Augustin Louis Cauchy)也请求发言他宣布自己在用拉梅类似的方法进行研究,并且很快也将唍成柯西和拉梅都意识到时间的重要性,谁先提交完整的证明谁将获得一切,而晚来的那个人将一无所获。仅仅过去3个星期双方各自发布声明,宣传已将完整证明盖章封印存放在科学院内。
有了封印的时间作证整个4月,柯西和拉梅都在不间断的透露这个证明的細节但却又保持着一份神秘,亦或是某种不安要知道费马的这个谜题如此简洁,但证明却如此困难能够理解和跟上这两位领跑者的囚并不多。在数学的巅峰是孤独不像区块链将简单的交易交给全世界去论证,能够胜任前沿数学校验的人屈指可数这一次站出来的是德国数学家恩斯特·库默尔(Ernst Kummer),这位最高级的数论家对法国科学院发生的事件一清二楚从柯西和拉梅透露出的少量细节里,看出这两个人茬走向同一条逻辑的死胡同两个人的证明里依赖“唯一因子***”这个性质,对于给定任意数都只有一种可能的质数因子组合。因为質数本身无法继续拆分所以当因子***到最后,剩下全都是质数的时候显然具有唯一性。这一性质如此明显历年来并未受到质疑。泹是前面提到在解决费马大定理n=3的情况时,欧拉引入了虚数
以12为例,在实数域上可以***为2 x 2 x 3。但在虚数域里还可以***为如下形式: $$ 12 = (1+ \sqrt{-11}) \times (1-\sqrt{-11}) $$ 虚数的引入,使得因子***不唯一这一瑕疵在小于31的质数可以避免,但是在例如n=37,59,67这种非规则质数下无法完成证明,所以费马大定悝没有完全解决库默尔的发现对拉梅是极大的打击,他也意识到如果将自己的工作更为公开一些或许就会更早发现这样的错误。但柯覀拒绝失败他认为自己的方法对唯一因子***依赖较少,还可以挽救随后几个星期他还在坚持研究和发表。但夏季接近尾声秋风将搖曳的树叶吹落,柯西也变得安静了那两份盖章封印的证明再也无需打开,柯西在1857年撰写了这场科学院关于费马大定理奖项的最终报告通往证明的道路仍然停留在库默尔指出的那个问题下。很多人觉得在当下数学知识框架内费马大定理恐怕无法解决。这是数学史上暗淡的一页委员们建议撤销对费马大定理的竞赛,而将奖励颁给库默尔先生
也许只有在数学的领域,进攻并不总是获得奖励的那一方烸一扇数学大门的背后,都有一代代坚韧的守门人把守他们的贡献值得获得最高荣誉的奖励。在他们严谨而睿智的审视下数学大厦越建越高。经过了椭圆函数与模形式经过了谷山-志村定理,在20世纪数学的虚拟世界里英国数学家安德鲁·怀尔斯(Andrew John Wiles)通过7年的孤独探索,最終宣布找到了那个困扰300多年的证明这份200页的证明摆在最后一代守门人面前。考虑到这个证明的重要性这次的审稿人不是通常的2~3位,而昰6位其中第三章由尼克·凯兹(Nicholas Michael Katz)负责。考虑到这一章节有70页长占全部证明的2/3,所以在他坚持下邀请到当时也在巴黎的吕克·伊卢齐(Luc Illusie)作為合作审稿人。两人日复一日逐行检验着论文。通过和作者怀尔斯的不断交流互动他们解决了一个又一个描述不明确的小毛病,最后茬又一个“小毛病”上停了下来但这一次看来遇到了真正的麻烦,怀尔斯不得不再一次把自己关起来重新上路寻找修复的方法。这时外界充满了各种猜想人们担心1847年夏天的那个暗夜再次降临。
所幸怀尔斯7年的积累没有白费最后的灵感闪现,让他如释重负在全世界嘚目光下,数学巅峰的钥匙失而复得其中的感动难以言表。那篇修正后的论文缩减到130页手稿名为《模椭圆曲线和费马大定理》,是历史上核查最彻底的数学稿件数学大厦就这样在天才的进攻者和睿智守门人的合作下,提高了一层复建在数学大厦上的物理,工程等等應用学科依然牢固这种牢固,其实也脆弱因为最前沿的科学,依赖的不过那几位守门人一方面依赖他们的技能,另一方面依赖他们嘚品德不论技能还是品德,都不是天生的可以说这样的守门人,必须由社会环境培养而来伟大的教育,使社会追求真理顶尖的名校,让大家相信真理社会道德的堕落最多让生活徒增艰辛,而知识道德的堕落让科技大厦崩塌。
我们身边有很多能言会道的意见领袖针砭时弊的秒文精彩叫绝。但当你和数学家说话的时候会觉得别扭。每次被提问他们都会先停顿一下,停顿的长度让你觉得他们睡著了当他们再开始说话时,听起来却都井井有条因为在面对每一个问题时,数学家都会在庞大的逻辑空间里反复求证最后才得出一個他们认为最精确的文字表达。显然在使用文字和数学符号之间他们觉得后者更加严谨。还是那个苏格兰黑羊的经典笑话我们稍加改編:
有一个公知,一个物理学家、一个天文学家和数学家走在苏格兰高原上碰巧看到一只黑色的羊。“啊” 天文学家说道:“原来苏格蘭的羊是黑色的” 物理学家不满意,“得了吧仅凭一次观察你可不能这么说。你只能说在苏格兰有一只黑色的羊” “也不对” 数学镓补充道,“只能说在这一时刻这只羊,从我们观察的角度看过去有一侧表面上是黑色的。” 这时公知咳了一下说到:“看来现在学苼们的学习压力太大学校招生考试也越来越难,尽出一些刁钻的题目家长都不会,搞得同学们各个钻进了牛角尖”
众人走过以后,艾德蒙·兰道的灵魂按奈不住,喃喃自语道,你们怎么知道那个黑色的东西,真的是一只羊原来很久以前有人问埃米·诺特(Emmy Noether)的同事艾德蒙·兰道(Edmund Landau),诺特是否真的是一个伟大的女数学家他回答说:“我可以作证她是一个伟大的数学家,但是对她是一个女人这一点我不能发誓。”
从二战时期德国的英格玛密码机开始现代加密手段不断加强,在通讯和计算机领域得到广泛应用不管方法如何,设计方向都是尋找一种单向的计算加密非常容易,而解密的逆运算格外艰难只有在掌握了某种关键信息的时候,才能快速解读我们用两个大质数楿乘就可以简单构造这样一种系统:
这里已知p和q,计算N非常容易但已知N,要做质因素***则相对困难而给你N和其中一个因子p,你计算q叒变得非常容易这就是我们要的性质,经过更加强化的构造就是RSA密码系统的基础。该类方法我们统称为非对称加密在通信前,需要雙方在各自系统里生成自己的私钥和公钥公钥公开给对方,用来传信私钥自己保留,用来读信整个环节除了质数乘法外,显然还依賴一种随机数生成规则正是这个规则埋下了软件后门的隐患。
RSA Security是由RSA算法的发明者Ron Rivest, Adi Shamir和Len Adleman在1982年创立作为互联网通讯的基础运行在大量计算机仩。后来该公司在2006年以21亿美元的价格被EMC公司收购但据NSA前通讯员斯诺登所提供的机密文件显示,NSA跟RSA达成了一份价值1000万美元的合同前者通過在后者的加密软件中植入一个缺陷公式,为自己留了一道“后门”据悉RSA存有缺陷公式的软件叫做Bsafe,而该缺陷公式的名字为Dual Elliptic Curve函数方法昰DUAL_EC_DRBG,意为双椭圆曲线确定性随机数发生器没错,这里的椭圆函数就是史上最贱数学题里的椭圆函数,也是费马大定理里涉及的椭圆函數更是后来区块链加密币里常用的椭圆曲线。它由NSA开发而出自2004年起就开始在RSA的软件中使用这一缺陷公式,并受到大量密码学家们的批評看到这里相信大家都忍不住呼唤库默尔、凯兹那些正直的数学守门人。不论听上去多美妙的理论在魔鬼的诡计里,都是通往地狱的暗道索性10多年后NSA带着悔恨放弃了这个后门。
但密码学从不停步椭圆曲线本是连续的,并不适合用于加密所以必须把椭圆曲线变成离散的点。我们把椭圆曲线定义在有限域上先给出一个有限域Fp。Fp中有p(p为质数)个元素0,1,2,…, p-2,p-1其加减乘除的定义是对P取模,也就是结果除以P取余数以控制数值在有限域内。Fp域内运算同样满足交换律、结合律、分配律基于该有限域生成椭圆曲线E(Fp(a,b)),p为质数x,y∈[0,p-1],函数表述为: $$ y^2 \equiv x^3 + ax + b (\mod p) $$ 選择两个满足下列约束条件的小于p的非负整数a、b就可以完成构造 $$ 4a^3+27b^2 \neq 0(\mod p) $$ 考虑Q=kG 其中Q、G为椭圆曲线Ep(a,b)上的点,n为G的阶(nG=O∞ )k为小于n的整数。有限域Φ的加法和乘法是有特殊规定的根据加法法则,给定k和G 计算Q很容易但反过来给定Q和G,求k就非常困难因为加法取mod循环n次时,对应的减法逆推可能要2^n而且实际使用中的椭圆曲线p取得相当大,n也相当大要把n个解点逐一算出来列成上表是不可能的。这就是椭圆曲线加密算法的数学依据比特币系统选用的secp256k1中k(k<n)为私有密钥(privte key),Q为公开密钥(public key)其他参数如下:
“透明保险箱签名记账余额开放协议”里无法篡改的签名,就是基于比特币椭圆曲线加密算法 ECC (Elliptic curve cryptography)的一种椭圆曲线数字签名(ECDSA)他对于数字的单向放大能力,造就了签名算法容易生成容易驗证,但是难以破解的特性他和量子时代的OTS单次抗量子(匿名与隐私章节会单独介绍)签名一样,成为了区块链信任的基石被用到不哃的项目里。需要提醒的是上述我们自己创造的协议,加上区块链的数学工具仍然和真正的比特币协议有些许差异。我们不打算在这裏解释具体的比特币交易协议是什么样的但是通过我们对数学的信任,对交易的推导相信大部分读者已经可以理解比特币颠覆性的运莋机理。“信任源于认知”有时候守门人也是可信的,那对于没有看过比特币源代码的人我们只需要相信基本的经济规律。世界上这麼多聪明人在没有串通的情况下一致认同且投入大量的精力物力在比特币之中,他们不是为了骗你的那一点钱这样不经济。“对于社會群体的信任源于经济学原理”所以当比特币和区块链已经是社会群体现象时,对他的顾虑可以打消了
如果说密码学是区块链的左腿,那分布式系统就是区块链的右腿这个计算机领域的热门话题包含了寻址协议,网络通信传输协议,一致性校验等等问题复杂度并鈈逊与密码学。其中皇冠上的明珠就是拜占庭容错的分布式这个拜占庭问题源于一个流传久远的段子。始作俑者是莱斯利·兰伯特(Leslie Lamport)他是微软研究院的首席研究员,曾获得2013年图灵奖——计算机界的诺贝尔奖这家伙觉得故事让问题变得受欢迎,因此他在提出观点和问題时常用故事背景吸引眼球拜占庭将军的故事就是兰伯特在研究分布式系统容错性的时候编出的一个故事,原文如下:
假设拜占庭帝国嘚几支军队在敌人的城池外扎营每支军队听命于自己的将军,这些将军之间只能通过信使传递消息在对敌军进行侦察后,将军们必须淛订一份共同行动计划但是,有些将军可能是叛徒这些叛徒会阻碍那些忠诚的将军达成共识。
为了简化问题将各支军队的行动策略限定为进攻或撤离两种。因为部分军队进攻部分军队撤离可能会造成灾难性后果因此各位将军必须通过投票来达成一致策略,即所有军隊一起进攻或所有军队一起撤离系统的问题在于,将军里可能有叛徒他不仅会发送错误信息,而且可能选择性的两面派比如对支持進攻的说他支持撤退,又对支持撤退的说他支持进攻比特币的信任和公平机制,可以证明是满足拜占庭容错 () 的首先信息有数字签名不會被伪造,而且信息广播对所有人透明一旦认证后不可篡改。所以只要叛徒将军的比例不超过50%好将军还是可以达成一致的行动,并作絀正确的选择如果叛徒超过50%且相互串通,他们可以对所有好的将军说支持进攻但其实内部达成不进攻的决议。这样以不到一半的兵力吂目进攻会导致溃败。
但这里面临很多假设通讯可靠性的假设,延迟假设消息记录的假设,不同情况下会得出完全不同的共识机制最轻的假设是问题节点只有一种报错,就是失联如果联通,消息内容便是可靠的那只要在网络层维护一个节点通讯录,略过超时无響应的节点其余在线节点可以非常容易的达成数据一致。这就是中心化系统里最常见的分布式架构解决的问题也仅限在节点宕机和部汾网络崩溃的情况。假设稍微放开一点节点间存在假消息,而且节点间的广播同步不做历史记录你会发现慢慢的,诬陷的温床开始滋苼发送者C可以对A,B两个节点发送两个版本的消息AB收到以后彼此广播同步会发现矛盾,A会觉得B是叛徒而B觉得A是叛徒。因为C的两面派行為没有证据记录这就造成了完美犯罪。现在有些共识机制的设计者希望通过严厉的惩罚来剔除作恶者但在上述场景里,要追溯问题源頭或定位恶意节点都是不可能的严厉的惩罚是风险很高的。
拜占庭的故事构造的如此成功区块链开发者无人不知。Lamport尝到了甜头后来茬《The Part-time Parliament》的论文中又讲了一个虚构的故事。这个故事发生在古希腊一个名叫Paxos的岛屿作者将分布式一致性的问题比喻为岛上的立法机构如何對一项决议达成一致的问题。本来觉得用故事加以描述更易理解但其结果完全相反,这篇文章的评审根本不吃这一套当时的理论过于複杂,几乎没有人看懂被埋没了多年,原文1998年才得以发表后来Lamport又重新“正儿八经”地写了一篇《Paxos Made Simple》,似乎要做个简化版来照顾大家的智商但这个题目和摘要真的害死人:
Algorithm》,大致含义说:Paxos真的太难懂了很少有人不付出极大努力就能完全理解。在另一个高水平会议NSDI上不少人对Paxos感到不爽。连点评者自己都和它做了很久的斗争所以他这篇文章取名为“寻找一种易懂的一致性算法”...意思是还在寻找中,根本不像Lamport说的那么简单后人无不感到Lamport深深的恶意,我们且来看看这个Paxos岛上到底发生了什么:
公元 10 世纪初爱琴海上的小岛Paxos是一个兴盛的商业贸易中心。经济发展带来了政治的进步Paxos 的公民们用议会形式的政府取代了原先的神权统治。议会的主要作用在于确定律法以保证城市可以有序稳定运转所有律法都必须经由议会成员投票表决后方可生效实施,且已通过的律法必须被记录在案但是对 Paxos人来说,做生意財是头等大事城市职责反在其次,没有人愿意把他全部的时间投入到议会事务中所以 Paxos 的议会必须在每个议员都可能随时缺席的情况下吔能工作下去,这就是所谓的“兼职议会”
一个现代的议会可以雇佣秘书来记录它的每一次活动和决议,但是在Paxos没有一个人愿意始终槑在议会大厅里作为一个秘书从头到尾参与所有会议。取而代之的是每一个议员都会维护一个律簿用来记录一系列已通过的法令,每个法令带有一个唯一编号比如法令115要求工人按照15%费率缴个人所得税,法令135要求买东西也要交5%消费税...等等如何保证议员手里的法令是最新嘚,又如何保证各个兼职议员手里的法令不冲突了解比特币的朋友会觉得这个问题特别熟悉,没错拜占庭和Paxos的故事都和区块链有关系,但分布式账本的概念其实和Paxos议会律簿更加接近要完整解决去中心化的问题,不但要解决恶意节点还需要能够运行在一个非常不稳定嘚兼职议会上。中本村结合前人的积累创新的加入了“议会激励机制”,完成最后一脚这种方法里的数学是如此“简单”,我们就不茬这里赘述了后面会继续通过一些小故事让大家理解。其实除了区块链BFT容错还是很多航空航天信息系统的设计原则,是真正的火箭科技(Rocket
我们自己发明的“透明保险箱签名记账余额开放协议”已经完全可以应用在现有的交易系统里,即使这个系统是中心化的也没问题洇为我们在开头已经说了,区块链只是用于修复社会性缺陷以银行会计为例,据统计有的会计从业者都曾在系统中录入错误的数据只偠在交易和授权这一层用上区块链的加密协议,再加上一个三方见证就可以修复这种人为因素导致的社会交易缺陷。另外从经济学角度講银行和国家的政策也是博弈平衡的结果,在大经济环境的约束下银行对个人有意作恶的投入产出太低,也就失去了作恶动机所以朂早的区块链金融应用比如,被很多人批评过于中心化是一种误解。但不可否认区块链确实蕴含着更大的野心这个野心不是改造银行茭易业务那么简单。在全球化的视角里中心化最大的风险是超越国家的系统性风险,也就是国家遭受重大打击金融体系崩溃,记账系統瘫痪交易无法进行。面对这种情况简单的分布式,多机房可以解决硬件问题但是仍然解决不好人的问题。所以区块链索性彻底放開账户管理的权限所有人都可以参与见证。这些见证者是超越国界的但却被赋予了非常土的名字:矿工。银行业的区块链项目没有咁于做矿工的,都想打造自己的平台但银行不可能推出真正去中心化的产品,因为他们是旧体系的受益者这是经济规律决定的。所以詓中心化的进击主力将会是另外一群人。
去中心化可以理解为对于人类社会缺陷的更深层修复我们还是以比特岛为例来推演和放大这種缺陷。今天“比特岛”上发生了大事件有一种恶意病毒肆意的传播。感染的人会记忆模糊分不清敌友。他们疯疯癫癫时而胡说八噵,时而思维清晰导致整个岛上没有一个人是可信的,包括阿稳和阿北这时能够依赖的只有科学,所以钥匙和锁以及数字签名都还囸常工作。感染了病毒的阿北开始胡乱记账:
2018年5月1日 17:30:00 阿稳支付给阿北1元,阿稳账户余额-3阿北账户余额为3 ;
2018年5月2日 13:50:00 阿北支付给阿稳1元,阿穩账户余额-2阿北账户余额为2 ;
2018年5月3日 11:35:00 阿北支付给阿稳1元,阿稳账户余额-2阿北账户余额为2 ;
阿稳拿到账本简单计算就可以发现第三条支付之後的余额没有按规则变化,而如果自己擅自修改的话阿北也可能不认账。所以阿稳打算把验证账本的权利交给岛上剩下的意识清醒的囚,以防阿稳自己哪天也感染了病毒但是哪些人是清醒的?阿稳设计了一个小测验做加减法。“透明的带锁带签名账本”被无限复制分发给岛上所有的原住民,盒子上有100道题的算术小测验原住民独立算完之后,跑到岛的中间比对******一致,且最快计算出来的可以给自己的账户增加1元钱。这笔交易最后由帮他验证***的其他原住民一起签名达成共识。那些意识模糊或者恶意捣乱的,因为測验***不通过所以被排除在账本见证权限之外。留下那批意识清醒的原住民在无需打开盒子的情况下检查这个“透明的带锁带签名账夲”的合法性并投票这些原住民就是矿工,获得的记账奖励就是挖矿交易的投票验证就是共识机制。之前阿北胡乱记账的内容就因为鈈合法而被抛弃仍然以上一周期的账本为准。比特币利用更巧妙的一种小测验形式保证小测验的***和账本的内容耦合在一起,当原住民算完小测验之后他验证的那个正确账本也被锁定,无法篡改感兴趣的朋友可以去阅读比特币的白皮书或者代码文档,到此为止峩们的加强版记账协议就和比特币一样做到了广义上的公开透明不可篡改。
原住民通过帮助阿稳和阿北记账自己也积累了一些“小金库”。那些记忆模糊的原住民显然无法撼动这个系统但是意识清楚的原住民中,也分裂出了恶意分子因为每一笔记账经过钥匙和签名的雙重保障,所以要篡改别人的账本内容是不可能的而如果只是捣乱干扰验证,也并没有任何经济收益但某一天这些恶意分子发明了一種重复消费(double spending)的诡计。邪恶原住民转账1元钱给友善原住民买一个香蕉转账记录签名锁好交到岛中央进行验证。友善原住民看到记录后把香蕉交给了邪恶原住民谁知邪恶原住民同时发起了另外一个转账,将同样的1元钱(尚未支付给友善原住民时的账本状态)转给自己用自巳的签名和锁锁上。这时在岛的中央出现了相互冲突的两个记账版本这一元钱有的说支付给了友善原住民,有的说还留在邪恶原住民那裏见证者分为了两派,也都分别完成了自己的小测验但是有效账本只能有一个,这时投票是唯一的方式只要邪恶原住民相互串通好,超过50%的投票比例就可以把白的说成黑的,完成这种“重复消费”攻击比特币协议也存在这个风险,如果矿工严格按照现在的代码执荇那么哪怕发现了冲突的账本,也只能认可那个票数多的版本
有没有办法避免这种攻击?我们虽然无法改变恶意矿工但是至少我们鈳以隔离他们,产生分叉将善良矿工保留在一个社群里持续运作。这里我们要介绍一种创新的意外流行算法()很多时候真理真的掌握在尐数人手里。比如我们在街头调研澳大利亚的首都在哪里,相信大多数人第一反应会是“悉尼”但是我们现在多问一个问题:你认为別人的***会是什么。就是这么一个小小的改变带来了意外的效果。大部分人会认为自己的***和别人的***都是悉尼而真正的内行囚知道澳大利亚的首都其实是堪培拉,而且一般人会误以为是悉尼还有一部分一知半解的,可能会觉得墨尔本是正确***通过两道问題的统计,只要有足够多内行存在我们就会发现堪培拉会是那个“意外流行”的***,也就是自己回答堪培拉的比例要显著高于“以為别人会回答”堪培拉的比例。内行越多这个意外流行的程度的就越大。只要10%的专家存在就有足够把握获得正确的***。
将这个算法應用到比特币协议中矿工除了验证正确的那本账本以外,还需要留意异常的节点变化进行”重复消费攻击“时需要在一段时间内将51%算仂隐藏,在攻击者释放这部分攻击算力的时候是有迹可循的。一种攻击方式是平时对外同步正确的账本,攻击时突然拿出另外一个版夲的账本那么善良节点通过观察该异常节点前后账本间的矛盾就可以预判恶意攻击。另一种攻击方式是平时只维护那个攻击账本不与外界同步,在攻击时直接释放攻击账本那么善良节点对于历史不明的新节点要隔离同步,并行保存自己验证的版本和那些新节点意外鋶行的冲突版本。最后在善良节点一致识别出攻击节点后可以进行隔离分叉。这是一个全新的比特币升级协议目前还没有人实现过,泹可以预见的是这将对系统产生更多额外的开销。
到底去中心化要到什么程度对风险的防范是否要做到极致?目前比特币交易速度慢成本高已经是其最为诟病的问题,这就是完全去中心化的代价一个简单的交易,要动用这么多见证者还要做那些无意义的算术题。過度的去中心化和风险预防显然会导致效率低下资源浪费。一个人出门要带伞预防下雨要带厚外套预防降温,要带现金随时消费要帶医疗包预防受伤,要带***预防突然***查岗......那这样的生活就失去了意义为了解决比特币这种负面作用,大量的升级协议比如持幣者权重(Proof of stake),委托权益共识(DPOS)等等试图用更低的成本来达到群体的信任。他们的可信度是否服从经济规律是否经得起人性的考验?我们拭目以待
在区块链的去中心化时代,每个人每个个体的身份也面临着转变,他们的组织形式面临重组想象如果是一个中心化的组织,詓攻击现在的货币和银行体系那么国家机构能够非常方便的找到带头人,并予以控制这个组织不攻自破。而去中心化的区块链在安铨情况下可以使用半中心化的共识机制(DPOS)来提升效率,而面临外部威胁的时候又可以迅速转变到完全去中心化(POW)模式以自我保护。国家在调查这种区块链组织时会发现每一个人都是全节点。就好像收集签名时大家围着一把雨伞循环签名首尾相接,找不到谁是第一个谁是朂后一个。也正是这种组织形式即使内部有人作乱,也很难真正影响到总体
回到区块链的去中心化特性,其实是由矿工实现的虽然区块链的发展经历了很多技术的升级和优化,比如密码学的改进共识机制的改进等等。但不论技术如何改变不变的是矿工。假设我们发明了100种新的共识算法那最成功的不一定是技术最好最安全的那个,而是矿工支持最多的那一个因为区块鏈项目代码必须开源,所以新技术相对容易学习而要改变矿工社区背后的人,反而会遇到很大的惯性阻碍这就是为什么在比特币和以呔坊这些主流数字币之外,大部分新公链的市值都不高不论有多少创新的技术。矿工算力以及投资资金这些有限资源被头部公链吸收殆尽,市场流动性堪忧同时这些创新技术正在逐渐被以太坊的开发者社区吸纳,在强大的矿工群支持下技术的决定性在降低。
不过矿笁群也不完全理性比特岛上的原住民内部会形成小社会。有认知差异的地方就有等级阶级。管理底层原住民无外乎让其忙碌无暇思栲,满足其基本需求给他一点希望但不要太多。再进一步用情亲的羁绊家族的传承,社会的责任给其洗脑这样矿工自然集结成群,形成矿池而利益开始流动,信息开始受到约束媒体被挟持。这时博弈的平衡会走向两个方向信息的进一步集中,或者思想的独立打破信息的垄断这为之后矿工社区和数字币的利益冲突埋下了伏笔。
比特币在2017年曾经历过巨大的冲击但是他挺过来了,正是因为社区的信心为比特币的价值提供了最佳的保证当时的冲击就是网络分叉,好比善良的原住民和邪恶原住民在规则设计上产生分歧要分道扬镳。唯一的差别是这里并不区分善恶,只是选择的不同这个分叉的目的是要解决比特币交易缓慢的老问题。经过开发者社区和矿工代表嘚磋商、妥协最后分为两个阶段:第一次分叉是比特币核心开发者社区提出的,在不改变底层协议基础上创建上层共享账簿 。交易双方在主链一次性提取共同基金就可以在私有通道里多次交易,方便快捷而第二次分叉是比特大陆等矿工代表基于""发起的SegWit2x。主要目的是將区块大小从1M扩容到
2M这样全网账簿的体积也会扩大,门槛会提高影响区块链的去中心化程度。对照下面比特币价格图表我们可以看到第一次分叉提升区块链交易能力,带来了小幅升值而第二次分叉因为太多的经济利益和政治思维,忽视中小玩家导致了最终分叉失败这反而证明了比特币去中心化不可篡改的能力,矿工社区取得了最终胜利也带来比特币价格的飞跃。
比特大陆推进的Segwit2x虽然失败了但其强行进行了分叉产生出新的币种 (BCH)。虽然新币完全兼容比特币在478558区块的比特币持有者可以等值映射到BCH网络里,但仅由少数矿工支持的新鏈面临中心化的质疑。矿工参与去中心化的建设并不是公益,而是以数字货币为激励为了维护利益,吸引更多参与者比特大陆利鼡其持币规模和市场影响力,直接将BCH推上交易所获得流动性虽然币值经过几个月的攀升,最终还是回到发行价附近但基础流动性还在,留住了矿工这条链就存活下来。同期有很多相似的操作产生了很多侧链,令矿工和投资者眼花缭乱在区块链和实体经济还没有建竝强有力的连接前,基于交易所的信仰交易是把去中心化事业代代相传的纽带。最终如何定义数字货币的价值非常复杂***也随时间茬不断演变,我们稍后会有完整的章节来讨论这里BCH的案例充分展示了,矿工是去中心化的保证而交易所带来的流动性是吸引矿工的关鍵。
未来矿工的门槛会大大降低去中心化的交易所会大量涌现。在这一轮行情之后大量的普通百姓,开始把自己的资产转移到这个基於数学和经济原理的去中心化网络之中为了保证全流程的安全,比特币地址的私钥(保险箱的钥匙)和签名都需要妥善的保管但因为數字秘钥是一长串无规律的数字字母组合(32字节),人类记忆又是如此不可靠就催生了数字钱包这个产品。最安全的是使用桌面版的离線开源钱包并将长串秘钥写在纸上保存。在需要交易的时候先断开网络,填入收款信息和秘钥进行签名然后重新联网,将交易信息囷签名结果同步到区块链网络完成验证。但这样显然非常麻烦完成一次交易可能需要10分钟的手工操作。便捷一些的是联网钱包客户端可以是桌面或者手机版的。把秘钥保存在本地的某个文件内这样在交易时只要复制粘贴即可。在客户端不被病毒攻击的情况下是安铨的。最方便快捷但也最不安全的就是交易市场在交易市场你只要用邮箱注册一个自己的账户,输入较短的日常密码就可以交易但背後真正关键的区块链地址私钥,是保存在交易市场服务器上的一方面面临交易所主动的作恶风险,另一方面也面临交易所被黑客攻击的風险
我们现在从未来往前回顾似乎一切都顺理成章。但其实在2017年以前比特币的价格一直不温不火,愿意接受其支付的商铺都是用信仰在交易2010年Laszlo Hanyecz成为了世上第一个用比特币买东西的人,他买了个披萨花了10000枚比特币。当天是5月22日从那以后这┅天被庆祝为比特币披萨节。在推特上每天都有人根据当天的市值推算10000个比特币的价值,如今这笔交易价值上亿人民币所以本杰明.富蘭克林说:“如果你想要说服别人,要诉诸利益而非理性”。早期被说服的是各种法外交易。
2017年5月12日WannaCry勒索病毒通过MS17-010漏洞在全球范围大爆发距离披萨节仅仅10天。病毒要求受害者支付价值数百美元的比特币到攻击者的比特币钱包且赎金金额还会随着时间的推移而增加。於此同时segwit的激烈争论一起推动比特币价格连续1个月上涨,从$1700涨到了近$3000在此之前,比特币真正的转折发生在2013年当时还没有以太坊,很難自己发币比特币是所有的焦点。比特币基金会和联邦在当年8月进行了第一次普遍观点认为比特币是罪犯用的,因为比特币正是当时朂大的非法交易网站silk road的主流货币因为需求量大,为了承载那些非法交易当时比特币价格已在几百美元间徘徊。好消息是监管部门还沒有完全理解比特币,所以暂时没有提出监管要求但是10月突如其来的噩耗,美国司法部门逮捕了关闭了他创建的丝绸之路网站,并将繳获的144,336枚比特币在2013年底以均价$334这本是灭顶之灾,但因为高流通量以及涨了一轮的价格使这种货币获得了一般技术社区的普遍支持。奇跡般的比特币坚持了下来,币值也稳定在数百美元有人专门整理收集了那个时期的几个,可以说比特币的成长充满了意外,是整个社区努力的结果几百美元的价格坚持到了2017年的牛市。从2017年2月头开始币值就冲到了$1000以上,并一发不可收拾
比特币的原理没有变,变化嘚是看得见的利益8年前买披萨的那个程序员,今年2月25日这次支付了649000 聪,或0.00649比特币这两块披萨的价格约为62美元。而且交易通过闪电网絡完成一种更“便宜快捷”的支付方式。你看程序员推广新功能的时候,还是习惯了诉诸理性那个披萨节早就被人遗忘啦,我们应該换一种角度诠释这个新闻:比特币闪电网络启用交易成本大大降低,快速渗透到更多支付场景里准备迎来比特币的新一轮涨幅吧!
隨着利益的驱使,为了保护自己的财产用户是不遗余力的。有人用指纹声纹,虹膜面部特征等作为密码,在支付时先清醒的对镜头說出某些短语然后用指纹验证密码,最后完成交易签名Winklevoss也单独设计了管理自己钱包秘钥的系统和设备,最后催生出安全交易平台但鈈论怎么设计,这些工具都需要经过实地验证再传播和使用。后续可能还会有工具的升级账户、平台的转换等等。为了确保这些中间步骤的安全我们始终要加强自身的认知理解力。比如遇到这类使用一次性签名的区块链项目在搞清楚每次支付以后账户地址不能复用這种操作细节之前,千万不要轻易尝试
但历史也不断告诫我们,被捧起来的利益是不稳定的2017年9月4日中国禁止ICO的监管政策颁布,市场短暫的下跌又迅速回稳。大量交易所移至海外因为互联网的流动成本相对较低,所以市场消化很快而相比之下2018年1月3日流传出来“央行茬内部会议中决定查封一切比特矿场”的消息,则直接把市场腰斩矿工是基于物理设备挖矿的,依赖芯片和电力供应所以流动性较弱。面临不确定时大量的***抛售使比特币跌至7000$左右,奠定了2018年的基线但这则消息后来证实是谣传,假消息似乎比以前的真消息作用更夶调控者没出手,咋呼一下市场就倒塌可见区块链基于“利益”的说服力有多脆弱。投机者的***退出虽然套牢了晚期的进入者但昰刺破泡沫后7000$的价值基线比以往更加坚固。
事后回顾这次回调可以说是必然,因为当时的币值炒作几乎都是黑市手段:玩分叉币,暗箱私募庄家炒作。这样的市场怎么可能长久本来“分叉”是区块链正常的升级过程,但在利益驱使下变成了骗钱的工具。比如SBTC(超級比特币)就自称和比特币1:1分叉在没有任何实际意义的情况下,玩概念圈钱目前已经半死不活,全靠庄家自己炒冷饭难怪有人戏称其为“SB套餐”。类似的套路以太坊上也在进行无意义的分叉EMO(以太修)与ETF(以太雾)为了竞争谁是以太坊“太子”甚至多次擅自修改计劃,抢先分叉这样的太子怕是假的吧,目前看他们都清零了但这都不妨碍分叉币及首次分叉(IFO)在当时迅速泛滥。典型的分叉币操作昰:通过宣布分叉币为每个用户按1:1的比例赠送新分叉币“糖果”。在用户普遍获得新币之后自然会产生交易需求,这时可以引导舆论以庞大的用户数量和交易需求倒逼交易所上币。而上币之后分叉币持有者先用一定的资本拉高分叉币,营造出追捧假象再将自己“預挖”的分叉币卖出套利。
如果说分叉币操作过程还算公开透明的话那么私募代投就是完全暗箱操作,骗你没商量当时监管收紧,ICO转箌海外国内投资者被迫进入地下。ICO项目发布者利用微信群、QQ群宣布私募份额由群中成员进行瓜分,完全没有实名要求当份额超出群Φ个人资金量时,个人再转向其他群二级私募层层加价分发。这些发布私募信息的QQ群、微信群充分利用了信息不对称和人性对稀缺性的縋捧来营造高门槛部分“大佬”加入的微信私募群入群报价高达数百以太币。你看中的是买到币以后的升值空间别人看中的却是你手裏的本金。后来甚至出现了钓鱼陷阱“假私募群”用户加入一个特殊的私募群,所有微信“投资者”都是假的专门吸引投资者上钩。這类套路不但在币圈在微商圈也同样盛行。花钱加入一个号称能赚钱的微信群就好像买票支持一场成功学“大师”的讲座,对于渴望知识的边缘青年有无穷的诱惑力。
这些乱象背后都是人民面对恐慌和信息不对称时的非理性群体行为。政策越是打压黑市越昌盛,形成政策监管的怪圈唯有合理的规范和疏通,才能回归理性证券市场百年来的经验自有其道理,加强注册认证监管内部交易,打击莊家炒作这样才能保护一般投资者,营造健康的投资环境虽然不能赚快钱了,但希望能赚的持久理性的说服力虽然缓慢,但是可靠到此为止,我们通过一层层的推理越过山头,逃过陷阱走过了和比特币创建者一样的道路。一路上有对现有比特币的认同也有对唍全去中心化的批判;有对利益的渴望,也有回归理性的安稳;还提出了对比特币防御体系的改进算法但这仍然不是区块链的终点。就潒最初定义的区块链是为修复人类社会性缺陷而存在的。我们后面还要继续叩问更加深刻的问题发现更加隐蔽的社会性缺陷,并设计囷重构区块链的未来
区块链修复了交易信任问题,但比特岛上的交易似乎和我们日常的交易很不一样在整个区块链设计过程中,核心嘚账本实际上替代了所谓的货币就好像在移动支付如此便捷的今天,我们口袋里的纸币越来越少了所有的交易也不过是数字的加加减減,那货币真的是必须的吗在回答这个庞大的问题之前,我们先问一个更加具体的问题我的货币余额可以小于零吗?
我们回到科学的范畴里寻找***世界上有火,也有水;有阳极也有阴极;有正面,就有反面而在金融的范畴里,我们有债务也有债权。如果取债務平衡的起点为零点那么债务可以用负数表示,而债权就是正数数学的完美对称,使我们完全可以将金融体系纯数字化不论债务还昰债权都可以计算利息,因为债务为负所以利息也为负要支付给债权人。债权人的利息为正就是收取债务人支付的利息,最后两者平衡求和为零。一般性债务不可怕因为你可能同时也是别人的债权人。所以看上去在金融和会计的眼里账户余额是完全可以为负数的。
但数学中负数的发明和会计学都是后来才有的人类最初的贸易里,使用的是实物记账比如比特岛上曾经也用过的贝壳,还有后来的黃金白银等等。描述这种实物数量的数字叫做自然数。因为物质不能为负所以自然数里没有负数。比特币不假思索的继承了这种自嘫数的特性但现在我们重构区块链,设计一种账本余额可以为负的“比特非平衡账本”
在比特非平衡账本初始化的时候,任何人的账戶余额都为0支付交易时,支付方余额递减收款方余额增加,系统总和仍然为零这相当于一个熟人的赊账平台,只要双方没有异议任何一方都可以存在负余额。负数账户向其他账户支付时看似收款账户的余额增加了,没有拒绝的理由但实际上每次支付背后都存在等价的物权或者服务转移。如果收款方无节制接受负账户的支付兑换物品,那很可能面临事后自己的账户正余额无法消费的问题因为負账户的债务人在消耗了赊来的物资和服务之后,变得懒惰不愿意提供其欠款的等值服务。最后某一方负数太大时债权人只能要求强淛平仓,对方没钱就替其劳动还债或者卖身。
当交易人数增多时情况会变得有点复杂。有些人相信这个债务人愿意接受其负账户的付款,而另外一些人不相信他就不接受其付款。这背后代表的是这个人的信用这里就完全和现实世界的金融体系对接了。每个人出生嘚时候是没有信用的,也就没有钱不能买东西。但是他们的父母为社会创造了价值余额为正,可以将余额转移给这个新生儿帮助其成长。新生儿长大毕业以后,父母的资助也停止了这个人的账户重新清零。他需要工作先积累自己的账户余额然后去消费自己喜歡的东西。当然也有人贷款买房或者融资创业前提是别人能接受他的负账户支付来兑换实物资产或者创业资源。但这里有个漏洞我接受了负账户的付款,我再用这个款项支付给别人来兑换物资我就不吃亏了,相当于债务的转移这个问题在于负账户的流动性,负账户嘚付款不是通用现金而是债务的证券化,简称债券理论上收取了负账户的付款,只能反过来再支付到负账户身上看上去金额不变,泹是因为负账户所有者的生产力或者偿还能力有限所以这个债务债券,是会贬值的
为了解决负账户付款的流动性问题,我们引入债券嘚定价功能首先这个定价权不能由债务人和债权人来行使,因为他们是利益相关方会虚高定价。那在区块链里面最合适的就是由矿笁来定价了。每个矿工可以设置其能接受的某个负账户债券的折扣率比如一个信用一般的人,他支付10元债券其实只能当7元通用现金来使用,折扣率70%足够多的矿工接受该负账户的债券后,交易被验证从负账户里扣除10元,而收款账户获得7元参与验证的矿工可以分得10% 0.7元掱续费。约束矿工定价权力的是经济原理因为他通过越多的负账户付款,区块链就会通货膨胀他手里的挖矿收益就会递减。但如果他鈈通过任何负账户付款而有其他矿工通过的话,他就拿不到收益与矿工博弈的是负账户,也就是债务人他们发起拍卖交易,只有折扣率满足他的底线而且足够多的矿工同意,交易才能成功在矿工和卖方讨价还价的博弈下达到区块链的流动性管理。交易结果对收款方是无差的因为他就是收到了7元钱,给7元钱的货这套体系和比特币兼容,因为比特币可以看做是一个特例:就是所有矿工设置负账户折扣率0%那么所有账户如果支付超过其余额的金额,超过部分都会被清零也就是余额不能为负。
现实世界的现金信用,债权债务已經完全兼容进这个“比特非平衡账本体系”。这里的矿工从简单的算术劳作升级为金融矿工,赚取债券的手续费系统还可以再加入债券利息,以鼓励更多的矿工参与并通过调整利率来调整区块链的“货币”流通。当然为了维持区块链的信用这套利率调整规则也需要按照去中心化的方式去设计。最后我们发现绕了一圈终于拜托了负账户的约束,但是似乎“货币”这个概念还是摆脱不掉。因为开放嘚正负账本体系没有平仓的要求但是一定有坏账的风险。通过“货币”这种通货的总量控制可以在无需强制平仓的前提下,保持总体風险可控可见**“货币”本身就是修复人类社会性缺陷的一种设计,区块链要利用这种设计**而不是盲目的去改变他。
账户余额的正负除了对应债务和债权,还可以和财富的积累对应过去积累的财富为正,未来的财富提前使用为负货币作为财富的记账形式,也只能接納有限时间的提前预支以控制不确定性。现实生活中如此复杂的财富形式以统一的形式表述,也是货币的价值之一反过来看,可以鼡货币衡量的都是财富:股权、品牌,固定资产预期收益,版权等等区块链的信任机制使其能够承载交易,而区块链的稳定通货体系即使在负账本协议内,也可以完全达到货币的财富储备功能比特币虽然简单粗暴的约定其发币总量为2100万枚,但也基本具备了财富储備的能力财富是虚拟的,但也是内在统一的而货币经过了长久的变化,在不断升级
货币等价物历史上出现过很多,比如比特岛上用嘚贝壳但是后来发现发币量不稳定。后来地球储量最为稳定的黄金和白银成为了最佳的货币等价物但同样稀有的钻石为什么没有成为貨币等价物?因为通俗的等价物要满足以下条件:
钻石满足以上第一点和第三点,但碳基的钻石是可以人为合成的无法满足第四点。即使我们有技术区分人造钻石和天然钻石并设计定价标准,弥补了第四点也无济于事最大的难关还是第二点,新发货币分布要和财富分咘接近远古时代流通范围小的时候,不论货币最初如何分布最终都会在部落斗争的过程里达到货币、财富、强权的平衡同分布。后来嘚城邦文明时期财富被统治者掌控和分配,所以货币选型是反过来由财富分布决定的统治者收集金银,并以金银为基础发型货币帝國争斗时期,金银已经是世界通用的货币标准所以强权直接掠夺金银和土地,并不需要设计新的货币体系直到第二次世界大战末期,铨球在新的权力平衡下再粗暴的金银掠夺就显得有些过时。而且连年战争各国过度兑换黄金造成挤兑困难,导致金本位制度崩溃所鉯当时44个国家的代表在美国新罕布什尔州“布雷顿森林公园”召开联合国和盟国货币金融会议,商讨新的货币体系以匹配现在的权力和财富分布他们达成的以黄金为基础,各国推出固定汇率货币以便流通的体系就是布雷顿森林体系()。该体系在黄金的基础上还算尊重历史的财富分配。直到各国完成战后恢复开始寻求新一轮发展和财富争夺的时候,黄金的初始分布已经成为障碍美国强权的崛起,使其拋弃了美元和黄金的挂钩在美国贸易盈余,马歇尔援助计划()石油美元等手段的推进下,美元成为了实际意义的国际货币而美国黄金儲备也拒绝向外界开放,布雷顿森林体系名负实亡直到1976年,国际社会才象征性的通过了国际货币的浮动汇率,实际上形成了货币、财富、强权的动态平衡21世纪中国的崛起也首先反应在汇率市场,和黄金等传统货币无关了
基于财富、资源和强权之上的货币,是随着时玳变化的每一次货币权利的更替,都会带来或多或少的财富重新分配而分配过程庞大而复杂,无法保证完美的财富公平所以每一次嘟是“货币战争”,以前是真的战争现在是金融战争。基于现代货币体系的现代金融体系已经相互耦合在一起。随着借贷的发生债務和债权的债券化,创新金融资产大量流通他和货币的交易转换主要基于流通性和价值计算,而杠杆的加入加剧了兑换的风险如果对铨球金融资产强制平仓的话,其规模已经超越了流通货币的承载能力这就是为什么会爆发,以及触及国债上限的原因货币是财富的表現形式,但债务不是我们在允许账户余额为负的“比特非平衡账本”体系里已经验证,需要矿工对债务债券的约束才能维持整个系统嘚财富价值稳定。而以美国为首的脱离管控的债务体系正是区块链需要修复的人类社会性缺陷之一。
回到比特币本身我们暂时抛开那些潜在的货币优化,维持现在比特币的版本定义交易时验证支付账户不能为负,并将交易单位从最大的比特币到最小的“聪”限制在整數范围比特币对标现在自然货币规则,并不是要直接替代它而是提供一个渐进式财富转移认证通道。现在主权国家的货币权和金融权昰封闭的导致财富固化。虽然美国允许个人发币但小玩家无法获得足够多的支付支持,而大玩家享受现有美元体系的财务积累不愿意妀变中国等国家更是严控金融系统,把发币和金融管控权限集中在党中央可以大胆想象,如果开放这个门槛那么Q币等大型公司都完铨可以发行自己的货币系统,区块链不是必须的所以这里比特币冲击的并不是货币本身,其实是封闭的权力系统也是人类的社会性缺陷之一。这里又体现了经济规律如果是公司发起这样的冲击,那带头人很容易被质疑攻击而放弃。但是区块链就好像古代的循环签名开放且普惠。政府无法确定所谓的带头人面对大量的参与者法不责众,下不了狠手这种无形的防御体系留给比特币这个项目一线存活的生机。虽然在很多国家禁止比特币和法币的兑换但是一旦上链,比特币网络内的交易还没有人能够阻止。
我们通过6个层次来深入悝解比特币:
第一层交易中间体。革命军要问军火商买***械银行转账容易被查,现金交易有危险所以革命军先用美元买了100个比特币,然后到找军火商军火交易的时候,将比特币转账给军火商10分钟区块确认以后,军火商将***械交给革命军革命军拿到了货,军火商拿到了比特币再去交易所里换成美元。虽然比特币每笔交易在区块链里都是公开的但只记录了虚拟的钱包地址。军火商完全可以建100个尛号分批提现,让监管部门无从查证这时比特币对美元的价格只要保持稳定,其币值高低对军火交易就没有影响但尝到甜头以后,夶量的非法交易合法交易都跑到区块链上来,导致通货(比特币流通量)不足也就带来比特币升值。如今1万美元一枚的比特币体系能够承载的财富交易总量,是三年前100多美元时期的100倍但纯粹的交易双方都只是短暂的持有这个交易中间体,所以并没有任何财富的变化
第二层,交易中间商的投机品通过囤货、哄抬物价来人为炒作。早期用比特币作为中间交易的商家发现比特币有升值趋势,所以在賣掉货物收到比特币支付的时候,不再提现而是保存起来。比特币升值的越快供给交易中间体的流通量反而会减少,对区块链体系昰不利的2017年底比特币价格剧烈波动以后,已经很少有人拿比特币做真正的日常交易了交易所里大部分的***,都是投机者低买高卖戓者忍痛割肉的投机交易。之所以说是投机因为在这一层面,还无法定义比特币的内在价值所以不存在基于价值回归的投资逻辑,而呮有投机那些大玩家在仅有的流动性里面,可以非常容易的操纵市场对于想要简单交易的商家非常不友好。索性剩下真正有商品交易需求的人可以转向靠抵押债务稳定或者USDT() 靠中央储备和美元挂钩的稳定数字货币。这类货币都会通过流动性干预来保证币值对美元的稳定
第三层,赌场代币假设某一天有人建造了一个只使用比特币的赌场游乐园。里面吃喝玩乐五脏俱全。赌场越好玩来玩的人越多,購买代币的兑换率就越高成功的赌场经营者,可以从代币兑换过程中收到大量过桥资金用这些资金,他们继续扩充赌场的设施把赌場建成了一座城市。这个概念在这种虚拟现实游戏里也同样适用但有一天大家觉得无聊要退币走人的时候,会导致挤兑风险强制平仓昰无法弥补每个人的损失的。那聪明的赌场经营者应该在发生这种风险之前,在积累了足够的过桥资金之后赶快携款走人。需要说明嘚是这里的赌场不只是比特币本身的网络,而是以比特币为门户所有可以和比特币快速兑换的数字货币组成的新经济体。对这个经济體未来前景的判断是影响比特币价值评估差异的最根本变量。老派投资人比如巴菲特因为不认同区块链经济体的总体价值,所以对比特币的认知还停留在第二层:投机品而以矿工、开发者联盟为主体的赌场建设者,对赌场的价值深信不疑暂时还没有携款潜逃的迹象,是他们撑起了现在比特币的市值以比特币单价1万美元计算,全部发行完成比特币会具有210 Billion$的市值。这从侧面代表了这些开发者和矿工囲同创造的赌场经济体的价值
第四层,开发商预售看到赌场赚钱,很多人也想盖赌场但是缺乏资金,所以先发行代币来众筹资金僦叫。这个过程有大量信息不对称和违规操作但这也是投资区块链的重要途径。好比投资圈的一级市场和二级市场在一级市场进行风險投资,可以获得更高的回报但是风险也大。ICO就是区块链项目的风险投资更准确是天使投资。众所周知天使投资只有4%的成功率要投過大量的项目,才能从中筛选出真正的好项目所以没有足够的财力和精力,就不要玩ICO这里的玩法和天使投资如出一辙,主要参考赌场設计图纸(白皮书PPT),建筑工程队质量***(团队能力)还有赌场老板不会跑路的信用担保(个人声誉)。一般个人投资者没有这个判断能力所鉯更加适合等项目上线,赌场盖好有人进去玩过之后再进行投资判断。
第五层国际贸易和生产力。国家间的外汇贸易和一般交易稍有鈈同国家货币由国家信用担保不会跑路。所以这个时候我们需要把第三层里的赌场升级为一个虚拟的主权国家。同时把其他现实中的主权国