对现在运行中的去中心化共识网络的一个重大威胁是关于矿工可提取价值(minerextractablevalue)的经济学，即从选择下一个区块内容的能力中提取利润的复杂技巧。一个简单的MEV例子是根据前一个区块的价格变动在所有链上的去中心化交易所套利。尽管正常情况下PoS的奖励是合理的、平均的，即单个验证者的回报率跟强大的质押池是一样的，但现在找寻复杂的MEV提取机会已经形成相当显著的规模经济了。10倍大的池子就有10倍的机会提取MEV，但池子也需要能够在专有的优化上投入更多，以在每个机会里提取更多的价值。除了这个问题以外，MEV也让去中心化的质押池变得更复杂，因为在去中心化质押池里，打包交易和提议区块仍然需要由一个实体来完成，他们可以轻易地秘密提取MEV，而不在池里分配这些收入。最为人所知的是解决方案区块提议者(proposer)/构建者(blockbuilder)分离。不同于区块提议者自己生成一个收入最大化的区块，他们依赖一个市场，这个市场由外部的区块构建者组成，他们生成包含完整区块内容和给区块提议者费用的交易捆，然后提议者选择包含最高费用的交易捆。这样，区块提议者的选择就被简化为选择费用最高的交易捆，这可以由一个简单算法实现——在一个去中心化池里，它甚至可以在MPC(多方计算)里完成，以防止作弊。本文对如何实现这点提出了一些设计。本文的想法非常直接地受2018年的这篇文章启发：Optimisedproposalcommitmentscheme20提议者/构建者分离的区块提议设计的所需特性
Navitas Global投资加密矿企Soluna Holding1400万美元:金色财经报道，加密采矿数据中心开发商Soluna Holdings宣布与Navitas Global就其位于德克萨斯州的Project Dorothy 1B数据中心达成1400万美元的投资伙伴关系。Navitas将为Dorothy 1B项目的最后阶段基础设施建设和25mw比特币矿机提供投资资本，以换取Dorothy 1B项目49%的股权。该协议包括200万美元的贷款，以完成建设和1200万美元的股权投资。Soluna将提供运营和维护专业知识，并将继续拥有Dorothy 1B项目51%的股份。[2023/5/16 15:04:46]
我们会专注的五大所需特性：无须信任提议者友好性：提议者欺负区块构建者的风险几乎是零，因此区块构建者没有动机偏向链下有声誉的或与构建者有个人关系的提议者(因为这有可能偏向大型质押池)。无须信任构建者友好性：构建者欺负提议者的风险几乎是零，因此提议者没有动机偏向链下有声誉或与构建者有个人关系的构建者(因为这有可能导致新进入市场的构建者不被选择)。弱提议者友好性：这个机制不应该要求提议者有(i)高带宽或其他计算资源，或(ii)高技术水平不可窃取的交易捆(bundle)：提议者应该不能接受由区块构建者提议的交易捆，并从中提取交易形成自己的交易捆，从而阻止区块提议者赚取利润(并可能进一步伤害他们)共识层保持简单与安全：从共识层的角度，该机制应该保持安全性不变，最好与现有的区块提议机制一起可以被同一个分析框架。想法1
Gravity DEX开发团队成立新项目Crescent:3月11日消息，开发流动性模块Gravity DEX的B-Harvest团队分拆成立了一个名为Crescent的新项目，正在寻求完全重构和扩展Gravity DEX。Crescent由Ignite Ventures资助，并与Ignite团队合作支持Crescent项目。
Crescent已经公布了治理代币CRE分配模型，总量2亿枚，其中将向ATOM委托者（delegator）空投1亿枚，另外1亿枚作为战略储备。空投方面，5000万枚CRE可在Crescent网络启动后推出Crescent DEX（DEXdrop）时索取，具体空投数量会根据二次空投系统确定，即按UTC时间2022年1月1日00:00快照时委托数量的平方根来决定，如果参与一些治理提案，能获得通过固定乘数获得更多奖励；剩余5000万枚将在一定时期内分配给使用Crescent Boost的ATOM委托人。[2022/3/11 13:50:06]
区块构建者构建交易捆并发布这些交易捆的捆头(bundlehead)。一个交易捆头包含对交易捆主体(bundlebody)的承诺(预期的区块内容)，给提议者的付款信息，以及构建者的签名。提议者选择提供最高费用的交易捆头(仅需要考虑交易捆的构建者实际上是否有足够的余额可以支付)。他们对交易捆头签名并发布包含该交易捆头的一个提议。当看到有签名的提议后，提供打包交易捆头的区块构建者发布完整的交易捆。此时，分叉选择规则能够做出以下三个判断中的一个(而不是平常的两个，存在区块vs.不存在区块)：不存在区块提议存在区块提议但不存在交易捆主体区块提议和交易捆主体都存在请注意，在第二种情况下，提议仍然会被打包到链上，区块构建者给提议者的付款也仍会处理(但区块构建者自己不会获得任何费用或MEV)。分析
比升资本合伙人Vito：Filecoin矿工和算力要提供可靠存储能力应对监管:金色财经现场报道，4月23日，数御未来——2021数据与存储产业峰会在成都举办。在主题为《区块链视角看分布式存储的市场价值》的圆桌中，比升资本合伙人Vito指出，Filecoin赛道崛起的原因在于，从其自身发展来看，在FIL主网上线之前，已经有很多机构进场布局这个赛道；从散户的角度来看，存储和计算、通讯相比，认知门槛会更低，从社会现实来讲，海量数据时代需要分布式存储。
对于分布式存储的监管问题，当海量数据进入后，一定会有专业合规的服务商来做这个事情。对于现在投资算力和矿工，所要做的是提供可靠的存储能力。[2021/4/23 20:52:01]
五项特性中的三项是相当容易呈现的：区块提议者无条件接收承诺的付款，因此交易捆不能欺负提议者三个步骤都非常自动化且低带宽，因此这满足弱提议者友好性提议者不能看到他们要的签名交易捆的信息，因此这满足交易捆不可窃取性。共识层特性和无须信任提议者友好性这两点比较棘手。这个设计的确会改变分叉选择机制，从两个选项增加到三个，这意味着提议者将不再是这个机制里的最后一个行动者。理论上，人们可以推断如果分叉选择是可以做出决定的，那么这应该没问题，但这仍然是一个具有潜在未知性的重大变更。区块提议者看不到交易捆的内容，并不能通过窃取交易捆欺负区块构建者，但他们可以对区块构建者发起一种更微妙的攻击。他们可以在slot末发布提议，确保证明者(大概)能及时看到提议，但区块构建者没有足够的时间发布交易捆主体，因此很有可能证明者来不及看到交易捆主体。这会给区块构建者带来风险，并等于鼓励他们偏向值得信任的提议者。另外，这还给了恶意的大多数机会，重罚那些他们不喜欢的区块构建者。我觉得有两套方法可以缓解这个问题。证明者在他们接受提议的最长时间和他们接受交易捆主体的最长时间之间有2秒的延迟。如果你信任证明者，这基本解决了问题，尽管区块构建者丢失资金的这个风险仍然存在。另外，还不清楚让证明者以这种方式投票是否有激励作用(虽然可以想象到会有人通过要求他们对一个2秒的可延迟验证函数的提议做证明，强迫他们等待)如果交易捆的主体没有被打包，提议者只能获得付款的一半(而区块构建者只需支付一半)。这使得提议者的破坏行为成本很高，但它仍然确保区块构建者破坏的成本也是高昂的(当两种情况的成本都足够高时，总的来说你就能信任即使是匿名行动者都不会想做破坏行为)。例如，如果一个交易捆的提议者费用是1，区块构建者获利1.05：○诚实行为会带来的构建者和提议者收益分别是0.05和1。○提议者或证明者太迟发布，导致仅区块头被接受了，这样构建者和提议者的收益分别是-0.5和0.5。想法2
Vitalik：提高首次读取存储和账户访问的gas可以极大降低处理攻击的时间:以太坊创始人Vitalik发推表示：EIP-2929提案提到：提高首次读取存储和账户访问的gas。这可以将出现DoS攻击时的最坏情况处理时间减少到之前的1/3，从而更加安全地维持高gas的限制。[2020/9/2]
区块构建者构建并发布交易捆头。交易捆头包含对内容的承诺、给提议者的付款、以及构建者的签名。提议者对他们看到的交易捆头进行选择，形成列表，并对列表组成的声明进行签名。在看到该声明时，被选的区块构建者会发布相应的交易捆主体。提议者在他们之前承诺的一列交易捆头中选出一个并用它发布提议。还需要一个新的罚没条件，任何在同一个slot里提议不在自己承诺列表里的交易捆头的提议者都会被逐出和被惩罚。还要注意的是，在第2步里，提议者提交的交易捆头列表也可以成为一个对交易捆头进行加密的哈希值列表，其中哈希值都加密到区块构建者的公钥，因此只有构建者知道它们是否被接受了。这会减少DoS攻击风险。分析
同样地，五项特性中的三项式相当容易显示的：提议者不能窃取交易捆，因为当他们已经把自己限制在一个有限的现有交易捆头集里时，他们只能看到交易捆的主体。当完整的交易捆没有被打包前，构建者给提议者的付款是不可能成功的，因此提议者也无法在经济上构建者。共识特性保持不变，因为系统设定仍然是提议者作为机制的最后行动者，共识规则决定的内容没有变更。在这个情况里，更棘手的两个特性是弱提议者友好性和无须信任区块构建者友好性。对于这个方案的忧虑是恶意区块构建者可以通过制造大量高交易费的提议攻击提议者，但永远不发布这些交易捆的主体。如果提议者对接受的交易捆数有上限，这种攻击可以把所有合法交易捆排除在外，使得提议者没有合法交易捆可以提议打包到区块。如果提议者对接受的交易捆数没有上限，那么可能会有无数个满的交易捆主体(试想：每个500kB)发送给提议者，这将需要非常大量的带宽。解决这个难题的一个办法是以某种方式对交易捆头的提交进行速率限制，这不是一个硬性限制。提交交易捆需要支付一定费用，通过类似EIP-1559的机制来调整到某个速率(例如，每slot8个交易捆)成为区块提议者需要押金(无论如何都是必要的，以确保提议者得到报酬)，同时还需要一条规则，如果你发布的交易捆没有被打包，但一个更低价的交易捆被打包了，那么你在接下来的N个slot都无法提交交易捆。只有在这种情况也会被扣费：你的交易捆没有被打包，但更低价的交易捆被打包了，因为这种特定情况可能是你作恶了(或提议者作恶、或是网络状态不好)。这方面有先例；之前的ENS竞拍设有0.5%失败者费用，以阻止有人在明显不会赢的情况下出价，以迫使赢家支付更多。但是，这些技术可能会引入对提议者的信任要求，因此他们需要谨慎处理，对打包交易捆失败的惩罚不能太高。一个替代方案是允许自由和无限制地发布交易捆主体，但限制主体在在网络层广播。一个简单算法是：为交易捆得以传播添加一个稍微延迟的最短时间限制：交易价格最高的交易捆是0秒，第二高的交易是0.2秒，第三高的是0.38秒，一般来说对于第k个最高交易价格的交易困是2?秒。增加一条规则：如果一个节点已经广播了一个更高交易费的交易捆主体，它不能再广播了。这两项技术可以结合在一起：你可以用一个低价费用来减少预期的交易捆数，比如每个slot50捆，然后使用像这样的网络层机制来进一步减少带宽要求。结论
金色财经现场报道 以太坊创始人Vitalik Buterin对Casper与分片技术最新进展做出演讲 :金色财经6月3日现场报道，在今天的以太坊技术及应用大会上，以太坊创始人Vitalik Buterin做了题为“Casper与分片技术最新进展”的主题演讲。第一步为存款:签名和公钥地址不一定是一样的，可以让别人为你参加共识机制，能用热钱包签名，将资金留在冷钱包中。完成取款，第二步为等待加入，可能需要一天时间（还不完全确定）第三步为参加验证机制：验证节点有两个作用：敲定主链的区块，验证分片上的区块。[2018/6/3]
到目前为止，我不明确是否唯有上述两种方法能解决这个问题，可能还有其他。在这两种方法里，想法(1)在概念上更简单，但它会给区块构建者带来风险，也会引入更复杂的分叉选择规则要求。想法(2)在分叉选择和共识上更简单，但在处理恶意区块构建者带来的DoS攻击上有困难，且任何解决这个问题的方法都可抗产生其他问题，尽管可以想到将其最小化的方法。到目前为止，我仍然不确定哪一个更好。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。