编者注:原标题为《DeFiReview特别篇-DeFi,ANewKindofFinance》
前言:
2020年4月11日,著名的数学家John?Conway因病去世,John是一个在组合博弈论、几何、数论、群论、算法甚至量子力学理论等多个方面都做出贡献的天才数学家。但他最知名的莫过于生命游戏,相当于1970年代的“我的世界”。
霍金在他的《大设计》一书中评价:
“我们可以想象,像生命游戏这样的东西,只有一些基本规律,可能会产生高度复杂的功能,甚至是智能。它可能需要包含数十亿个正方形的网格,但这并不奇怪。我们的大脑中有数千亿个细胞。”
差不多四年前,2016年4月,我受John?Conway的生命游戏启发,从动力学角度阐释了区块链系统背后的网络结构,并在当时的文章中预言了未来DeFi的出现,以及DeFi将以DAO的形式出现和竞争。
四年后的今天,John?Conway已经去世,而DeFi正以大爆炸的速度和规模发展,没人知道DeFi的未来会走向何方,DeFi是否会成为现在中心化金融的一种补充?抑或是会进化成为我们从未见过的“新物种”?
为尝试回答这个问题,我将继续从Conway生命游戏背后的原理出发,以网络动力学的研究角度,用复杂性理论的框架,对DeFi的未来进行展望。
正文:
一、A?NewKind?of?Science
2002年,Mathematica和Wolfram?Alpha的开发者,著名物理学家、数学家、软件工程师,美国数学协会院士,20岁便拿到了加州理工学院理论物理博士的StephenWolfram教授,出版了其倾注15年心血,长达1200页的奇书:《ANewKindofScience》。
EOS基金会拟在EVM发布前为基于EOS的应用程序推出赠款支持计划:3月6日消息,EOS 基金会计划在 4 月份 EVM 发布之前为基于 EOS 的应用程序提供资金以及其他支持,以在 EOS 网络活动和增长方面全面复苏。其中赠款计划将资助开发 EVM 兼容应用程序的开发人员,根据计划的规模和范围等标准,从 1 万美元到超过 5 万美元不等,EOS 基金会可以向全新产品的构建者提供赠款,或为现有工具的维护和升级提供资金。
此前报道,EOS EVM 将于 3 月 27 日推出最终测试网,4 月 14 日进行主网测试。[2023/3/6 12:45:06]
图:A?New?Kind?of?Science的封面
书的基本主题是研究Conway的元胞自动机所产生的复杂性现象,重点是对复杂计算系统的实证研究和理论研究。Wolfram把Conway的元胞自动机系统称为“简单程序”,并认为所有的复杂计算系统都由“简单程序”构成,一切规律都是元胞自动机产生的结果,宇宙,人的意识,自然进化以及任何其他复杂现象背后都是简单的抽象规律,都是元胞自动机的“简单程序”的涌现结果,他称之为“计算等价性”。因此,研究“简单程序”的科学哲学和方法适用于其他所有自然科学和社会科学领域,计算不仅仅是科学发明的过程,也是科学发现的目的。
Wolfram在书中提出复杂计算系统存在不可判定性和计算不可化约性,所谓不可判定性,指的是复杂计算系统的Output不可预测,所谓计算不可化约性,指的是虽然复杂系统由“简单程序”构成,但是复杂系统的现象并不等于简单程序的现象之和,换句话说,我们不可能超越简单规律去预测结果,只能通过不可简化的计算,跟踪复杂计算系统每一个步骤,观察并归纳,弄清楚系统要做什么。
美国养老保险提供商ForUsAll将继续提供加密货币投资敞口:12月12日消息,美国养老保险提供商ForUsAll首席执行官David Ramirez表示,FTX和BlockFi破产、加密货币下跌等因素不会阻止养老基金继续提供加密货币投资敞口。
David Ramirez还透露,用户对其旗下加密产品Alt401(K)的需求和兴趣没有下降,预计在接下来的六到八周内还会有大约100名新客户将继续使用该产品。(Pionline)[2022/12/12 21:38:52]
图:这是Wolfram在《ANewKindof?Science》中举例的110号元胞自动机模型,他认为这个模型是图灵完备的,换句话说,这就是宇宙.
Wolfram最终得出这样一个结论,我们需要一个全新的方法看待和研究复杂计算系统。传统数学的机械性描述和还原论方法,并没有看到计算系统本身有意义的复杂性。Wolfram通过将实验和理论相结合,在Conway的元胞自动机基础上进一步提出了划时代的“计算型宇宙”概念,并总结道,计算的性质必须通过实证性的和经验性的实验来探索,而且这些实验对于理解自然世界也有重要的影响。
Wolfram在书中所指的新“科学”所指代的既是一种新的科学方法论,又是一种建立在新的方法论上的新的系统性知识体系,我们需要像达尔文研究进化论,孟德尔研究遗传学,居里夫人研究放射性物理一样,通过大量实证性的实验,来研究计算型宇宙中的现象。
分析师:上市矿企7月份售出6200枚BTC,不及6月份一半售出量:8月16日消息,Arcane分析师Jaran Mellerud发推文称:“arcane数据显示,上市矿企在7月份售出了6200枚BTC,不及6月份售出数量的一半。即使在这次下跌之后,7月仍然是今年上市矿企售出BTC数量第二高的月份,这表明他们仍处于困难的财务状况。上市矿企在7月份售出了158%的比特币产量,这是连续第三个月售出BTC数量超过100%的产量。在这个熊市期间,Core Scientific和Bitfarms售出的比特币最多,这是由于他们的大量BTC和矿机抵押债务头寸迫使他们出售。”[2022/8/16 12:28:17]
Wolfram的“计算型宇宙”理论在2002年刚一问世就在科学界引起了轩然大波,有人直斥其是民科,也有人称他是牛顿以来最伟大的科学家。在当时,人类还缺乏足够的实验工具和理论基础对Wolfram的“新科学”证实或者证伪,所以不管是信他或者不信他的人,只能打打嘴仗。
但到了现在,人类在复杂系统领域的研究已经走了很远,尤其是近年来,人工智能和机器学习技术的发展使我们发现了很多符合Wolfram理论的涌现现象,事实上,现在的人工智能和机器学习的应用本质就是在对“计算型宇宙”的实证式探索,Wolfram的“新科学”将成为人类探索世界的重要工具,尤其是数字化世界,其中就包括DeFi。
二、DeFi,一个典型的“计算型宇宙”
绝大部分人都没有意识到,DeFi是一个正在成长中的“计算型宇宙”,具有非常典型的“计算型宇宙”的特征,DeFi系统的底层具有非结构化特征,并且是一系列DeFi原语的集合。它们完全有可能形成呈现复杂动力学特征的模型,DeFi系统在本质上可以被视作一种网络,而我们已知的金融市场复杂性表征都可以从该网络底层的简单原语集合的实际行为中涌现出来。
福建全省首笔数字人民币退税在榕成功办理:金色财经消息,“数字人民币退税又快又方便。”日前,福州的宋先生通过网上银行绑定建行数字人民币钱包,收到之前多缴的一笔个人所得税税款。继福建省数字人民币税费缴纳业务场景落地后,国家税务总局福州市晋安区税务局又顺利受理了全省首笔数字人民币退税业务,丰富了数字人民币涉税应用场景,实现了福建省数字人民币在税费缴纳、退还全流程闭环的应用。截至7月22日,已完成3笔数字人民币退税业务。(福州日报)[2022/7/24 2:34:09]
1、DeFi由一系列规则明确的原语协议驱动。
“原语”在计算机进程的控制中的定义是指由若干条指令组成的程序段,用来实现某个原子级特定功能,在执行过程中不可被中断,比如“Read”,“Write”。在DeFi系统中,我们可以将“原语”引申为DeFi最基础的功能性协议,比如Maker的稳定币协议、Compound的借贷协议、Uniswap的交易协议等。当年AlanTuring在定义图灵机六个基本操作的时候也用了Primitive这个词,规则明确的DeFi原语就如图灵机的基本操作,构成了DeFi计算型宇宙的底层“简单程序”。
2、DeFi具有元胞自动机的动力学特征:底层同质性,时空局部性,交易离散型
DeFi的底层同质性来源于以太坊,凡是在以太坊上开发的DeFi都要服从以太坊的交易规则和数据结构。可组合性又使DeFi协议之间的作用存在时空局部性,只有被组合的协议才会互相影响,信息只在被组合的协议之间传递,即使存在调用嵌套,仍有明确的协议间信息传递路径。所谓交易的离散性是指DeFi之间的交易服从原子性,即交易要不成功,要不失败,没有中间状态,并且链上交易存在区块时间间隔,也使得DeFi交易的离散性更为显著。这三种属性使得DeFi协议和交易非常符合“计算型宇宙”中元胞自动机的动力学特征:元胞空间的连续性,以及元胞状态演化的时空局部性和时间离散性。
a16z发布“暑假加密书单”,31本推荐读物入选:金色财经报道,据 a16z 官方社交媒体账户,旗下加密风投 a16z Crypto阿布了“暑假加密书单”,总计31本推荐读物入选,包括爱因斯坦的《我眼中的世界》?、Justin Thaler的《证明、论证和零知识》等,涵盖了算法、密码学、市场和系统设计、时间旅行、空间、哲学等内容。[2022/7/10 2:03:00]
3、DeFi已经出现了“计算型宇宙”的涌现特征:非结构化和网络效应
所谓非结构化,是相对于传统金融服务的结构化而言,传统金融机构为用户提供封闭并且预定义的金融服务,而DeFi提供的金融服务则非常开放地由底层原语协议组合构成。协议本身非结构化,但协议的组合可以基于不同的目的而重新定义,比如PoolTogether对Maker协议和Compound协议进行组合,并定义了彩票的功能。这种开放的非结构化组合带来的多样性是“计算型宇宙”的涌现效应的基础,并且,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的《ANewKindofScience》给我们提供了答案,"计算型宇宙"中有着令人难以置信的丰富性,这意味着,存在非常丰富的资源可供我们挖掘利用。
在DeFi的乐高时代,我们开发DeFi协议的重点是让协议按照我们的目标开始工作,其过程是机械性的,我们先决定协议的功能,然后按部就班的设计协议架构,制定开发计划,然后写代码开发,设计成为开发的核心。但在DeFi的“计算型宇宙”时代,系统难以置信的丰富性为我们提供了另一条开发之路,开发的范式将从发明转移到发现,从设计转移到观察和归纳。我们要做的是观察DeFi系统,发现其中的涌现现象,归纳其规律,并找到其使用目的,虽然有点难以置信,但这种开发范式其实已经在目前的人工智能前沿得到应用。
四、结论:
我们在理解DeFi“计算型宇宙”的运行和发展时,必须先改变我们的思维范式。经典科学的数学方法论尤其强调通过求解方程来预测系统行为。但是“计算型宇宙”的不可判定性和计算不可化约性表明,传统方法并不适用于分析程序可实现的“计算型宇宙”,我们只能通过执行明确的计算来模拟并观察系统行为。
DeFi作为一种正在成型的典型“计算型宇宙”,我们必须建立起适应“计算型宇宙”的思维,要摆脱详细行为能被预测的确定性系统的束缚,OpenOurMind,以实验的方式,激发并拥抱DeFi宇宙中的丰富性和随机性,挖掘并捕获其中有用的现象。
当我们从DeFi的“计算型宇宙”中挖掘出更多东西时,世界会变成什么样?今天,我们还在构建像借贷和DEX这样的简单原语,但未来,随着协议越来越多,我们越来越频繁地利用DeFi网络,DeFi将变得越来越陌生,甚至,DeFi网络会看起来像“生命”,新物种,A?Kind?of?Finance将会涌现。
彩蛋:宇宙本身就是数字
?
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。