AD
1月20日真出现了BTC双花吗？一文读懂双花问题
1月20日，BitMEX Research发推称，他们的ForkMonitor在BTC区块链上监测到了一次双花。“双花”这个词在社交媒体出现，引发了许多人的担心，这都是可以理解的，所以我很快就想解释一下到底发生了什么，以及“双花”对BTC意味着什么。
人人在开发 DEX 的时刻，本质是设计一个生意算子，这个算子可以是线性，也可以是非线性，同样人人在设计利率算子的时刻，本质上也是在设计一个生意算子，同样存在线性和非线性的区别。但这种区别，大部门人还不容易明白。
线性的寄义，是指我们在完成生意的时刻，使用了平衡价钱，生意只是在这个价钱下，资产组合的一种简朴的线性变换。为何在这个时刻要线性，由于使用了平衡价钱理论上接受了无套利假设，在这种情形，合理的金融生意都是线性的，若是泛起非线性的效果，好比 STP = Y 中，T 是非线性的，那么获得的 Y 就是不能订价资产组合，或者说是存在套利机遇的资产组合。原则上使用了预言机的生意模子，其生意算子应该是线性的，否则会被套利。换个角度来说，只要是完整市场，订价有用的情形下，只有线性的生意算子才会无套利。
但线性代表一个特征：随便池子都是同等且该算子无法 token 化，由于被复制后完全一样。这里需要提一句，所谓的协议在链上捕捉价值和 token 化是一个观点的两个表达方式，就是这个协议具备了某种构建新平衡的能力，若是只是在已有平衡上做线性幻化（为了无套利，只能云云），则是不能能捕捉价值的。想象一下，当每个链上资产都接受给定的平衡价钱的时刻，这些资产完成生意，在哪个合约里都是等价的，不需要在指定的合约内完成，由于这些生意都是简朴的线性变换，那么任何一个生意合约或者生意算子都是不能能捕捉价值并 token 化的。在不思量自动对冲的情形下，复制一张 CoFiX 合约，可以完成和 CoFiX 完全一样的功效，所谓的流动性涣散在哪张合约里都是不主要的（不思量 GAS ），链上是一个完全开放的天下，线性变换意味着到处等价。
若是接纳非线性生意算子就不一样了。这个时刻，根据上面的剖析，是不需要预言机的，非线性算子试图完成三件事：订价、生意和沉淀价值（token 化）。由于非线性生意算子在设计上加倍开放，因此原则上可以设计成与规模相关的自增强属性从而沉淀价值（CoFiX 就不需要这一点，关于 CoFiX 若何 token 化，见后面触发算子），这就带来几个问题：其一是当市场逐渐完整时，非线性生意算子本质上是在极小的生意规模里拟合线性算子；其二是当市场不完整时，这种非线性生意算子的设计，成本和效率是否足够？其三是非线性的价值输入由谁来提供？这种价值输入是否会在线性生意算子的竞争下逐渐流失？
前面提到，当市场完整的时刻，无套利的生意就是线性的，因此非线性算子在完成生意的时刻，其合理性完全取决于市场有用性，一旦市场足够完整，那么接纳非线性生意算子的合约，本质上是在极小区间里拟合线性算子。我们看到当前许多 AMM 接纳了所谓的牢固乘积的生意模子，XY = K ，这是一个典型的规模相关的非线性生意算子，即只有当做市商池子足够大时，局部模拟线性生意才成为可能，也就是若是 AMM 的生意对象是完整市场的话，其焦点意义在于规模效应后拟合的有用性（套利损失小），这种有用性并不是很本质，相对照之下 CoFiX 加倍本质和自然。
之所以云云，是由于许多人希望把订价权放在链上，这是一种错觉，由于当市场完整的时刻（简朴的说就是供应需求极其伟大，没有人能操作市场），中央化生意所的优势就异常显著了，或者更本质一点，链上每个行为都是拍卖后的产物，这和订价生意服务的需求差距太大，订价生意是一种极致的流动，纵然正常的中央化生意所都对盘算存储和通讯提出了最高要求，况且链上的离散性和拍卖属性，这是不能用于完整市场的有用订价的。那换成不完整市场呢？好比那些人人常说的尾部资产？新项目？这个时刻，焦点的问题不在被套利，或者说不存在这样有用性的检测和需求，那这个时刻的需求应该是快速低成本形成价钱并完成较大量的生意。 约束条件主要是两个成本：快速形成价钱的成本，完成较大规模生意的成本。注重这里的成本不是营销成本、流量成本，而是纯粹生意算子内生成本，以 XY = K 这样的生意算子为例，这种成本包含在 AMM 资金池形成的成本和滑点的相关性里，这种内生的成本、效率区分出种种生意算子的价值。
除此之外，一个主要的问题是，这些非线性生意算子同时把订价和生意放在一起，还需要经受接受预言机（价钱算子）的线性生意模子的竞争，这种竞争下，至少生意效率是完全不能对比的：预言机下的生意算子生意效率远远逾越非线性生意算子。剩下的可对照的优势，就是订价成本和效率，这一块可以睁开深入和周全的研究，但直觉上非线性算子也是处于优势。
继续讨论非线性生意算子的第三个问题，价值输入问题。这个问题也异常致命，若是从完整市场来说，一定是有大量的小额生意（拟合线性算子）输入价值，从而抵偿非线性算子在平衡价钱颠簸时刻的套利损失，这种约束条件是异常苛刻的，由于大量的小额需求（相对 AMM 池子，或者池子足够大，一切通俗生意相对看起来很小）往往会由于链上边际成本增添而被镌汰出市场，即是历久来讲晦气于这种链上算子的生计。若是市场是高度不完整的，确实存在大量不在乎价钱滑点的生意者，那么任何非线性算子都可以实现这一生意需求，这内里主要的反而是尽可能大量的完成生意（价钱不敏感），这又酿成类线性模子，好比在稳固币的生意上，不得不改变 XY = K 的模子，让非线性的特征降低，对于沉淀价值晦气。
从以上三个特点上来看，生意算子的非线性化并不是一个有价值的偏向，或者说在链上沉淀去中央化价值的协议群里，非线性生意算子并不是我们要去寻找的那一类非线性算子：生意就不应该这样做。有意思的是前面提到了利率算子，也是一个生意算子，这个算子和纯粹的二级市场生意生意略有差异，这种差异源于利率套利的难题性：没有足够的限期结构生意市场让你去实现套利。这也是为何许多人以为链上做借贷比做生意更靠谱的缘故原由，并不是由于什么本质的理由，而是由于套利有用性或者套利难度导致的。现在区块链上的利率市场十分稀薄，还没有生意到有用的境界，这个时刻又没有好的利率预言机，因此用非线性算子给利率举行订价，就存在一定的价值，但这种价值是一种权宜之计，并不是什么本质创新。
非线性生意算子也是可以举行改善的，这种改善需要引入递归信息，即历史成交信息中捕捉一些有价值的身分，从而降低套利风险，这一部门现在市场研究的异常少，然则已经有许多人意识到可以基于递归算子和非线性生意算子连系来降低当前 DEX 的所谓无常损失等等，这些头脑并不难题，难题的是对每个算子背后的焦点风险举行深度剖析，并对生意目的清晰建模，这是 NEST 社区致力的偏向：将所有的金融服务统一在算子理论下，获得更多有用的数学方程，让产品设计加倍有用和完整，推动链上金融天下的生长。
加入新手交流群：每天早盘分析、币种行情分析
添加助理微信，一对一专业指导：chengqing930520
上一篇：用古诗作为种子，可以天生最难忘的私钥吗？
加入新手交流群：每天早盘分析、币种行情分析，添加助理微信
一对一专业指导：chengqing930520
最新资讯
