LOADING...
LOADING...
LOADING...
当前位置: 玩币族首页 > 区块链资讯 > DeFi Review特别篇-DeFi,A New Kind of Finance

DeFi Review特别篇-DeFi,A New Kind of Finance

2020-04-13 曹寅 来源:区块链网络


前言:

2020年4月11日,著名的数学家JohnConway因病去世,John是一个在组合博弈论、几何、数论、群论、算法甚至量子力学理论等多个方面都做出贡献的天才数学家。但他最知名的莫过于生命游戏(Game of Life),相当于1970年代的“我的世界”。

霍金在他的《大设计》一书中评价:

“我们可以想象,像生命游戏这样的东西,只有一些基本规律,可能会产生高度复杂的功能,甚至是智能。它可能需要包含数十亿个正方形的网格,但这并不奇怪。我们的大脑中有数千亿个细胞。”

差不多四年前,2016年4月,我受JohnConway的生命游戏启发,从动力学角度阐释了区块链系统背后的网络结构,并在当时的文章中预言了未来DeFi的出现,以及DeFi将以DAO的形式出现和竞争。

文章链接:曹寅:区块链网络动力学 对世界的解构和重构

四年后的今天,JohnConway已经去世,而DeFi正以大爆炸的速度和规模发展,没人知道DeFi的未来会走向何方,DeFi是否会成为现在中心化金融的一种补充?抑或是会进化成为我们从未见过的“新物种”?

为尝试回答这个问题,我将继续从Conway生命游戏背后的原理出发,以网络动力学的研究角度,用复杂性理论的框架,对DeFi的未来进行展望。

正文:

一,ANew KindofScience

2002年,Mathematica和WolframAlpha的开发者,著名物理学家、数学家、软件工程师,美国数学协会院士,20 岁便拿到了加州理工学院理论物理博士的Stephen Wolfram教授,出版了其倾注15年心血,长达1200页的奇书:《A New Kind of Science》。


图:ANewKindofScience的封面

书的基本主题是研究Conway的元胞自动机所产生的复杂性现象,重点是对复杂计算系统的实证研究和理论研究。Wolfram把Conway的元胞自动机系统称为“简单程序”,并认为所有的复杂计算系统都由“简单程序”构成,一切规律都是元胞自动机产生的结果,宇宙,人的意识,自然进化以及任何其他复杂现象背后都是简单的抽象规律,都是元胞自动机的“简单程序”的涌现结果,他称之为“计算等价性”。因此,研究“简单程序”的科学哲学和方法适用于其他所有自然科学和社会科学领域,计算不仅仅是科学发明的过程,也是科学发现的目的。


Wolfram在书中提出复杂计算系统存在不可判定性(Undecidability)和计算不可化约性(ComputationalIrreducibility),所谓不可判定性,指的是复杂计算系统的Output不可预测,所谓计算不可化约性,指的是虽然复杂系统由“简单程序”构成,但是复杂系统的现象并不等于简单程序的现象之和,换句话说,我们不可能超越简单规律去预测结果,只能通过不可简化的计算,跟踪复杂计算系统每一个步骤,观察并归纳,弄清楚系统要做什么。

图:这是Wolfram在《A New Kind ofScience》中举例的 110 号元胞自动机模型,他认为这个模型是图灵完备的,换句话说,这就是宇宙

Wolfram最终得出这样一个结论,我们需要一个全新的方法看待和研究复杂计算系统。传统数学的机械性描述和还原论方法,并没有看到计算系统本身有意义的复杂性。Wolfram通过将实验和理论相结合,在Conway的元胞自动机基础上进一步提出了划时代的“计算型宇宙”(computational universe)概念,并总结道,计算的性质必须通过实证性的和经验性的实验来探索,而且这些实验对于理解自然世界也有重要的影响。

Wolfram在书中所指的新“科学”所指代的既是一种新的科学方法论,又是一种建立在新的方法论上的新的系统性知识体系,我们需要像达尔文研究进化论,孟德尔研究遗传学,居里夫人研究放射性物理一样,通过大量实证性的实验,来研究计算型宇宙中的现象。

Wolfram的“计算型宇宙”理论在2002年刚一问世就在科学界引起了轩然大波,有人直斥其是民科,也有人称他是牛顿以来最伟大的科学家。在当时,人类还缺乏足够的实验工具和理论基础对Wolfram的“新科学”证实或者证伪,所以不管是信他或者不信他的人,只能打打嘴仗。

但到了现在,人类在复杂系统领域的研究已经走了很远,尤其是近年来,人工智能和机器学习技术的发展使我们发现了很多符合Wolfram理论的涌现现象,事实上,现在的人工智能和机器学习的应用本质就是在对“计算型宇宙”的实证式探索,Wolfram的“新科学”将成为人类探索世界的重要工具,尤其是数字化世界,其中就包括DeFi。

二,DeFi,一个典型的“计算型宇宙”

绝大部分人都没有意识到,DeFi是一个正在成长中的“计算型宇宙”,具有非常典型的“计算型宇宙”的特征,DeFi系统的底层具有非结构化特征,并且是一系列DeFi原语(Primitives)的集合。它们完全有可能形成呈现复杂动力学特征的模型,DeFi系统在本质上可以被视作一种网络,而我们已知的金融市场复杂性表征都可以从该网络底层的简单原语集合的实际行为中涌现出来。

1,DeFi由一系列规则明确的原语(Primitives)协议驱动。


“原语”在计算机进程的控制中的定义是指由若干条指令组成的程序段,用来实现某个原子级特定功能,在执行过程中不可被中断,比如“Read”,“Write”。在DeFi系统中,我们可以将“原语”引申为DeFi最基础的功能性协议,比如Maker的稳定币协议、Compound的借贷协议、Uniswap的交易协议等。当年Alan Turing在定义图灵机六个基本操作的时候也用了Primitive这个词,规则明确的DeFi原语就如图灵机的基本操作,构成了DeFi计算型宇宙的底层“简单程序”。


2,DeFi具有元胞自动机的动力学特征:底层同质性,时空局部性,交易离散型


DeFi的底层同质性来源于以太坊,凡是在以太坊上开发的DeFi都要服从以太坊的交易规则和数据结构。可组合性又使DeFi协议之间的作用存在时空局部性,只有被组合的协议才会互相影响,信息只在被组合的协议之间传递,即使存在调用嵌套,仍有明确的协议间信息传递路径。所谓交易的离散性是指DeFi之间的交易服从原子性,即交易要不成功,要不失败,没有中间状态,并且链上交易存在区块时间间隔,也使得DeFi交易的离散性更为显著。这三种属性使得DeFi协议和交易非常符合“计算型宇宙”中元胞自动机的动力学特征:元胞空间的连续性,以及元胞状态演化的时空局部性和时间离散性。

3,DeFi已经出现了“计算型宇宙”的涌现特征:非结构化和网络效应

所谓非结构化,是相对于传统金融服务的结构化而言,传统金融机构为用户提供封闭并且预定义的金融服务,而DeFi提供的金融服务则非常开放地由底层原语协议组合构成。协议本身非结构化,但协议的组合可以基于不同的目的而重新定义,比如PoolTogether对Maker协议和Compound协议进行组合,并定义了彩票的功能。这种开放的非结构化组合带来的多样性是“计算型宇宙”的涌现效应的基础,并且,DeFi已经在局部出现了网络效应,这是DeFi“计算型宇宙”复杂性的早期表现。

文章链接:曹寅:DeFi 已迈过「临界质量」,应用间出现网络效应

三,“涌现”时代的DeFi新范式

虽然DeFi系统从各方面都符合Wolfram的“计算型宇宙”的动力学特征,但目前DeFi生态还非常简单,只是在局部出现网络效应,从系统宏观上并没有发生“计算型宇宙”特有的涌现现象。不过,“计算型宇宙”的特点之一就是难以预测,我们无从预测DeFi何时会越过“计算型宇宙”的涌现临界点。但我们可以明确的是,在“计算型宇宙”中,DeFi的开发范式和治理范式将发生根本性的改变。

1,DeFi将超越乐高时代,进入“涌现”时代


在DeFi逻辑相对简单的当下,DeFi组合的动力学特征表现为相对简单的机械性,即输出相对于输入的确定性,在DeFi乐高时代,DeFi组合的整体相当于局部之和,协议局部规则的改变对于系统的影响仍然可以预测(虽然预测结果越来越难)。

但随着DeFi的复杂性越过临界点,进入涌现时代,DeFi系统作为一个整体,将表现出其构成局部所不具备的属性或者功能,简单的规则可以产生惊人的复杂性,即使规则发生很小的改变,也可能产生巨大的复杂性变化。这意味着,就算DeFi开发者设计了一切规则,但是可能也无法提前预测这些规则在DeFi“计算型宇宙”中将会做什么,唯一的办法是运行这些规则,并观察它们到底会变成什么样。


2,计算不可化约性和不可判定性会制约DeFi治理的有效发挥空间

目前的DeFi治理明显采用的是机械决定论的治理哲学,治理者将DeFi协议当作是一件严丝合缝的精密机械,而治理政策就像是这部机械的操作界面,治理者根据协议的仪表盘而调整DeFi的治理政策,并且期望着DeFi的治理政策同治理结果之间呈现线性相关,比如Maker为了调整Dai的余额而调整稳定费率和DSR,希望扩张Dai的时候,就同步下降稳定费率和DSR,当希望收缩Dai的时候,就同步上调稳定费率和DSR(虽然已经不怎么有效)。

但是,在复杂的DeFi“计算型宇宙”中,即使如Maker这样的原语协议,其货币政策和货币政策结果之间的关系也不是简单机械性的,DeFi系统的动力学特征将表现为更少的机械性,而更多的生命性。计算不可化约性使得DeFi的治理结果难于建模计算,而计算的不可判定性将使得DeFi的治理结果output和治理决策input之间的关系更多的表现为非线性和随机性。

事实上,当我们参考典型的元胞自动机时会发现,在很多元胞自动机模型中,无论输入值是什么,模型都会停止在周期性行为上。今天,我们仍然可以识别并纠正出DeFi程序中的漏洞,但在“计算型宇宙”中,计算不可化约性遍地都是,人们唯一能够做的只是运行协议,看看会发生什么。


3,“发现”而不是“发明”DeFi


或许你会对“计算型宇宙”的计算不可化约性和不可判定性感到沮丧,如果系统的Output和Input之间无关或者弱相关,那DeFi的Programable是否还有意义?Wolfram的《A New Kind of Science》给我们提供了答案,"计算型宇宙"中有着令人难以置信的丰富性,这意味着,存在非常丰富的资源可供我们挖掘利用。

在DeFi的乐高时代,我们开发DeFi协议的重点是让协议按照我们的目标开始工作,其过程是机械性的,我们先决定协议的功能,然后按部就班的设计协议架构,制定开发计划,然后写代码开发,设计成为开发的核心。但在DeFi的“计算型宇宙”时代,系统难以置信的丰富性为我们提供了另一条开发之路,开发的范式将从发明转移到发现,从设计转移到观察和归纳。我们要做的是观察DeFi系统,发现其中的涌现现象,归纳其规律,并找到其使用目的,虽然有点难以置信,但这种开发范式其实已经在目前的人工智能前沿得到应用。

四,结论:

我们在理解DeFi“计算型宇宙”的运行和发展时,必须先改变我们的思维范式。经典科学的数学方法论尤其强调通过求解方程来预测系统行为。但是“计算型宇宙”的不可判定性和计算不可化约性表明,传统方法并不适用于分析程序可实现的“计算型宇宙”,我们只能通过执行明确的计算来模拟并观察系统行为。

DeFi作为一种正在成型的典型“计算型宇宙”,我们必须建立起适应“计算型宇宙”的思维,要摆脱详细行为能被预测的确定性系统的束缚,Open Our Mind,以实验的方式,激发并拥抱DeFi宇宙中的丰富性和随机性,挖掘并捕获其中有用的现象。

当我们从DeFi的“计算型宇宙”中挖掘出更多东西时,世界会变成什么样?今天,我们还在构建像借贷和DEX这样的简单原语,但未来,随着协议越来越多,我们越来越频繁地利用DeFi网络,DeFi将变得越来越陌生,甚至,DeFi网络会看起来像“生命”,新物种,AKindofFinance将会涌现。

彩蛋:宇宙本身就是数字


  • 添加新手交流群:币种分析、每日早晚盘分析
  • 添加虎哥微信,一对一亲自指导:hugelunbi02
  • —-

    编译者/作者:曹寅

    玩币族申明:玩币族作为开放的资讯翻译/分享平台,所提供的所有资讯仅代表作者个人观点,与玩币族平台立场无关,且不构成任何投资理财建议。文章版权归原作者所有。

    LOADING...
    LOADING...