PRO｜IPFS 第二届峰会、共享排序器、链上数据
新增协议治理和链上数据精选
欢迎阅读第五期 ChainFeeds PRO Newsletter。本次内容将覆盖 IPFS 峰会、共享排序器、Madara on StarkNet、zkEVM on Cario、治理相关、链上数据等话题。
IPFS
IPFS þing 2023 Recap
IPFS 第二届 þing 峰会是在比利时布鲁塞尔举行的为期 5 天的峰会，展示了整个 IPFS 的最新进展，致力于推进 IPFS 的实施。此次活动超过 130 名与会者参加了 12 个方向的讲座、研讨会、讨论圈、黑客时间等。在闭幕式上，Danny O'Brien 发出了行动呼吁，强调了社区内日常使用 IPFS 软件的重要性。
运营商和部署： 这个主题着重于分享架构、最佳实践和在生产中部署 IPFS 的经验。与会者讨论了性能数据并展示了 IPFS 的速度和效率。
数据传输： Move The Bytes工作组介绍了他们计划的最新情况，旨在通过 IPFS 实现更快的传输速度，展示了 IPFS 如何比传统的 Web2 方法的数据传输速度快 10 倍。
社区和管理： 该主题强调了将 IPFS 作为一种公共产品来维护的重要性，讨论了核心协议标准、下一个 IPFS 训练营等。
IPFS网关： 作为 HTTP 和 IPFS 之间的中介，是本专题的一个中心议题。与会者探讨了网关集中化的挑战，并讨论了在这一领域发生的重大变化。
整合IPFS：该主题展示了 IPFS 的各种实现方式，从物联网平台到移动设备，甚至是卫星系统。与会者讨论了在不同环境中使用 IPFS 的情况，并探讨了分布式函数等更高层次的应用结构。
内容路由： 该主题涵盖了 IPFS 中内容路由的演变，包括使用内容标识（CID）寻找和发布内容。介绍了行星间网络索引器（IPNI）和读者隐私保护在私人内容查找方面的进展。
Sequencer
The Shared Sequencer; An SoK on Shared Sequencing, Aggregation Theory and Vertical Integrations
讨论了共享排序器网络在实现高水平的抗审查性、易部署性、互操作性、快速终结性、有效性和 MEV 民主化方面的潜力。涉及共享排序器中使用超时参数的权衡、共享排序器的许可、半许可或无许可性质、共享排序器组的构建模块等话题。
Flashbots Transparency Report: MEV-Share, Relay exploits, Shapella and REV
本文是 Flashbots 的透明度报告，重点包括 MEV-Share 测试版的发布、MEV-Boost-rely 攻击、MEV-Boost 开发进展、Flashbots 透明度仪表板的更新等。并附有自上次报告以来社区发布的有关 MEV、PBS 和 Flashbots 相关主题的文章、播客、仪表板和其他资源的集合。
Madara on StarkNet
Madara 是一个 Starknet 生态系统的一个可定制的快速排序器，建立在 Substrate 框架上，并使用 Cairo VM 和 blockifier 来执行 Cairo 程序和 Starknet 智能合约，它允许启动自定义应用链或 L3，自定义共识协议、哈希函数、签名方案和存储布局，同时保持可证明性。（ https://docs.madara.wtf ）
zkEVM on Cario
Kakarot: an intro to the first modular zkEVM
文章介绍了一种新型的 zkEVM，名为 Kakarot。Kakarot 建立在 CairoVM 之上，CairoVM 是一个能够实现可证明执行的虚拟机，用 Cairo 编写的程序是可证明的，这使得开发人员可以用高级语言编写可证明的程序，而不需要编写电路。Kakarot 团队已经实现了 EVM 等效性，下一步将利用 Kakarot 的模块化特性构建一个 zkRollup-as-a-service 工具。
以太坊研究和进展
Towards World Supercomputer
以太坊的目标是建立一台世界计算机，但面临着共识账本、计算能力和存储容量之间的权衡。为了实现这个目标，文章提出了一个通过零知识证明技术将三个拓扑上异构的 P2P 网络连接起来，组成的世界超级计算机。
该架构包括：1）以太坊作为共识网络；2）Storage Rollup 将作为世界超级计算机的存储网络，存储大量数据并提供 URI 标准来访问数据；3）zkOracle 网络将作为世界超级计算机的计算网络，运行资源密集型计算并生成可验证的计算证明；4）零知识证明技术将作为世界超级计算机的数据总线，连接各种组件，允许数据和共识被链接和验证。
Bid cancellations considered harmful
在 mev-boost 区块拍卖的实施下，建设者可以通过提交一个较低价值的后续出价来取消出价。虽然中继器可以促进出价取消，但它们不能保证其有效性，因为提议者可以在任何特定时间通过向中继器索取最高出价来结束拍卖。本文认为取消出价是有害的，因为它们会（i）激励验证人的不诚实行为，（ii）增加拍卖的 「游戏性」，（iii）浪费中继资源，（iv）与当前 ePBS 设计不兼容。
激励验证者的不诚实行为：取消出价会激励验证者将自己的经济利益置于拍卖的公平性和完整性之上，验证者可以多次调用 getHeader 函数，只签署他们收到的最高出价的标头，导致潜在的不诚实行为。
增加拍卖的 「游戏性」： 出价取消为构建者提供了额外的策略来操纵和影响结果。构建者通过竞价侵蚀和竞价屏蔽等策略，获得不公平的优势。
浪费中继资源： 出价取消需要中继器处理每个传入的竞价，中继器模拟和跟踪众多出价，而这些出价赢得拍卖的概率非常低，导致资源的浪费，损害了中继器的效率和可扩展性。
与目前的 ePBS 设计不兼容： 出价取消对 ePBS 交易排序机制的兼容性构成挑战，需要进行重大修改，如果没有额外的机制来强制执行构建者出价的顺序，就很难证明验证者及时的观察到取消的出价，这种不相容性增加了系统的复杂性，可能引入新的漏洞或安全风险。
Removing Unnecessary Stress from Ethereum’s P2P Network
目前以太坊网络处理的消息数量是实际所需数量的两倍。这种不必要的网络压力的根本原因是验证者的数量与协议中不同参与者（即质押实体）的数量不匹配。网络需要加倍努力来聚合同一质押实体的多个验证者发送的消息。本文提出解决方案，通过允许大型质押实体将其质押合并到更少的验证器中，从以太坊的 P2P 网络中移除这种不必要的压力。
步骤：
调查在验证者权重存在大差异时可能存在的风险。
在共识规范中进行以下更改：
增加最大有效余额（MAX_EFFECTIVE_BALANCE）。
提供一步法将质押资金合并（即验证者退出并将余额转移到另一个验证者）。
更新提现机制，以在余额低于最大有效余额时支持部分提现。
构建分布式验证者技术（DVT）来提供弹性的质押基础设施。
Extending the economic guarantees of a Schellingcoin oracle
文章介绍了使用经济激励和协议自身的治理机制来增加 DeFi 协议中预言机数据的安全性。文章提出了「Sovereign Security」的概念，允许预言机将争议升级到协议自身的代币上进行解决。这意味着如果发现针对预言机代币的贿赂攻击或其他恶意行为，协议的代币持有人可以通过投票决定是否与预言机断开连接，并使用自身的治理和投票机制来解决争议。
Account Abstraction’s Impact on Security and User Experience
本文分享了关于如何在使用 ERC-4337 标准进行安全构建的见解，旨在向 Web3 开发者传达账户抽象的重要性和潜在的安全风险，以及如何通过使用OpenZeppelin Defender进行安全监控来保护部署的智能合约免受已知风险的影响。文章还介绍了账户抽象的各种用例和功能，并提供了开发者在实施过程中需要考虑的安全性问题和最佳实践。
协议治理重点
This Week in Governance - May 4
Uniswap 实施 Agora 投票，开始第一轮代表竞选 ：Uniswap 已经实施了Agora 投票门户，允许 UNI 代币持有人进行投票和代表。还发起了第一次代表竞赛，分配 800 万 UNI 代币用于此目的。
Aave 为 GHO 设置初始参数，考虑 GHO 促进者流程 ：Aave DAO已经确定了 GHO 稳定币的初始参数，其中 1.5% 的借贷利率和 1 亿美元的桶容量被看好。他们也在考虑 GHO 促进者的流程，这些实体（例如 Aave V3 以太坊池）可以铸造和燃烧 GHO 代币。
Aragon DAO 存在重大分歧：Aragon DAO 面临重大分歧，在讨论将国库转移到社区控制之下时，几名成员被禁止发言。被禁止的成员质疑 Aragon 的领导力，并对其作为一个真正的 DAO 的地位提出怀疑。
链上数据重点
Dune Digest #78
Blur 公司推出的 Blend： Blur 推出了 Blend，一个针对 NFT 的 P2P 借贷平台。Blend 在不到一周的时间内获得了 1400 多笔贷款，493 名借款人和 409名贷款人的青睐。
比特币上的 BRC-20 代币：BRC-20 是一个建立在比特币区块链上的新代币标准。BRC-20 交易量激增，对比特币网络产生了巨大影响。有超过 270 万笔交易记录，这些交易已经为矿工产生了大约 135 个 BTC 的费用。
Arbitrum 的增长： Arbitrum 自2月以来每日用户和交易明显增长。在过去90天内达到约 1.15 亿笔交易，Uniswap 已经成为 Arbitrum 上的主导 DEX，占据了大约 70% 的用户和交易。
黑客和 rugpull： 对加密货币领域的黑客、诈骗和拉皮条的分析显示了数十亿美元的惊人损失。未经审计的协议和没有适当安全措施的项目一直是主要目标。以太坊是受影响最大的区块链，最大的 rugpull 是 AnubisDAO，诈骗了 6000 万美元。
Polygon NFT： Polygon 已经成为 NFT 项目的热门平台，在过去的一个月里，Polygon见证了超过 672,000 笔交易和超过 164,000名 买家，总交易额超过 2200 万美元。OpenSea 保持着主导地位，占了大约 90% 的交易和 95% 的交易量。Polygon上的大多数交易都是用 MATIC 和 WETH 进行的。
其他
Exploring PassKeys: Their Relevance in the Web3 Space
本文对 PassKeys 进行解析和探讨，澄清关于PassKeys的误解，并分析其对 Web3 的潜在影响。认为 PassKeys 代表了身份验证技术的重要进步，但其当前形式对于直接应用于 Web3 生态系统存在局限性。PassKeys 在 Web3 空间的成功与否取决于互联网中心是否能够积极接受代币使用场景，并相应地调整其技术。同时，PassKeys 作为认证和密钥管理技术在这个快速变化的领域中的具体角色和发展前景还有待观察。
Federation Architecture Overview
本文分享了关于 AT Protocol 联邦化模型的技术细节和设计决策。解释了联邦架构的各个组成部分，包括个人数据服务器（PDS）、大图服务（BGS）和应用视图，以及未来计划中的进一步发展，如提供给用户和开发者的沙盒环境、讨论 feed 生成器和标注器的角色，并介绍了 AT Protocol 如何通过优化大规模索引来改善网络性能和用户体验。
📑 论文
ZLB, a Blockchain Tolerating Colluding Majorities（一个容忍多数恶意勾结的区块链ZLB）
作者来自：University of Sydney
本文介绍了拜占庭一致性问题以及解决该问题的新方法。通过区分违反安全性的欺诈性故障和违反终止条件的良性故障与更一般的拜占庭故障，在所谓的拜占庭-欺诈-良性故障模型中提出了关于共识问题可解性的新下界，并提出了一类称为 Basilic 的一致性协议来解决该问题。此外，论文还介绍了 Zero-Loss Blockchain (ZLB)，这是第一个能够容忍超过一半系统控制权的恶意对手的区块链，并证明了其性能优于其他区块链算法。
Understand Waiting Time in Transaction Fee Mechanism: An Interdisciplinary Perspective （了解交易费用机制中的等待时间：跨学科视角）
作者来自：Yale University、Duke Kunshan University
本文主要讨论了区块链技术中的交易费机制（TFMs）以及与交易延迟和市场拥堵相关的问题。通过分析以太坊区块链和内存池的数据，研究了最新的以太坊升级（Merge）对交易等待时间的影响，并发现 Merge 显著减少了长时间的等待时间、网络负载和市场拥堵。研究还确定了缩短区块间隔是这一效果的主要原因。此外，文章还探讨应用时间序列分析来研究 NFT 发行和市场拥堵之间的交互作用，并提出了未来交易费机制研究的三个方向。
Dizzy: Large-Scale Crawling and Analysis of Onion Services （Dizzy：大规模爬取和分析洋葱服务）
作者来自：University of Colombo、Texas A&M University、Qatar Computing Research Institute
本文介绍了一个名为 Dizzy 的开源爬行和分析系统，以大规模、不过载 Tor 网络的方式，实现对洋葱服务的探索、更新、检查和分类。 研究人员在 2021 年 4 月部署了 Dizzy，并使用它来分析超过 6330 万个抓取到的洋葱网页，重点关注域操作、Web内容、加密货币使用和 Web 图形等方面。发现：洋葱服务由于高频繁更换而不可靠，可达域名数量相对较少，通常是相似且非法的；洋葱服务享有不断增长的地下加密货币经济；洋葱服务的网络图谱相对紧密，但在拓扑结构上与常规网络的图谱有所不同。（本文最早发表于 2022 年 9 月 15 日，在 2023 年 5 月 4 日更新了 V3 版）
Physical defintion of randomness （随机性的物理定义）
作者来自：Photonics and Quantum Optics Research Unit
本文提出了一个基于信息理论的随机性定义，与现有技术不同之处在于它并不试图找到所生成数字的理想属性，而是专注于随机数生成过程中物理过程本身。文章解释了其直观性、演示了其可验证性，并进一步将随机偏差定义为衡量随机数生成过程或设备质量的度量方式。（本文最早发表于 2023 年 3 月 14 日，在 2023 年 5 月 7 日更新了 V2 版）
An Overview of AI and Blockchain Integration for Privacy-Preserving （人工智能和区块链集成保护隐私的概述）
作者来自：Hainan University
本文概述了由 AI 和区块链组合以及派生出来的隐私保护技术。探讨了数据加密、去识别化、多层分布式账本和k-匿名方法等特定应用场景。此外，本文评估了AI-区块链集成隐私保护系统的五个关键方面，包括授权管理、访问控制、数据保护、网络安全和可扩展性。并根据基于AI-区块链应用场景和技术方案对隐私保护技术进行分类和总结。最后，提出了从 AI 与区块链集成中出现的未来隐私保护技术方向。
Distributed Detection over Blockchain-aided Internet of Things in the Presence of Attacks （区块链辅助物联网下的分布式检测在攻击存在时的应用）
作者来自：Missouri University of Science and Technology
本研究在存在攻击的情况下，基于区块链辅助的物联网（BIoT）网络中的分布式检测问题，使用集成的区块链来保证 BIoT 中的数据交换和数据存储的安全性。为了克服攻击者共同利用物联网设备和 BIoT 中使用的区块链的漏洞问题，本文提出了一种松弛方法，将非凸优化问题转化为凸问题，并开发了一个基于带限注水法的坐标下降算法来解决松弛凸优化问题。
Energy-Efficient Mining for Blockchain-Enabled IoT Applications. An Optimal Multiple-Stopping Time Approach （区块链物联网应用的能效挖掘，一种最优多停时方法）
作者来自：Cornell University
本文研究的目标是最小化低功率物联网（IoT）设备在充当区块链矿工时所消耗的能量，同时将其数据记录到安全（防篡改）的分布式账本中。提出了一个基于多次停顿时间部分观测的马尔可夫决策过程（POMDP）的能源高效区块链挖掘模型，以最大化在区块链中添加区块的概率，并使用合成和真实的比特币数据集证明了模型的有效性。
Security Defense For Smart Contracts: A Comprehensive Survey （智能合约的安全防御：综述调查）
作者来自：Michigan State University、The Hong Kong Polytechnic University
文章讨论了使用区块链技术记录智能合约的状态转换。从防御方式、核心方法、目标合约、输入输出数据映射和威胁模型五个正交维度，对现有的 133 种智能合约安全问题的威胁缓解方案进行了全面的分类。通过现有的解决方案为已知的漏洞创建一个综合覆盖图，并通过基于证据的演化分析确定趋势和未来前景，同时指出现有方法的主要弱点。（本文最早发表于 2023 年 2月 14 日，在 2023 年 5 月 9日更新了 V3 版）
Money & Trust in Digital Society -- Bitcoin, Nostr, Stablecoins, Digital Objects and Machine Learning in B2B Telepresent Mixed Reality （数字社会中的货币和信任——比特币、Nostr、稳定币、数字物品以及 B2B 远程混合现实中的机器学习）
作者来自：University of Salford
本文探讨了当前互联网正在经历的转变，这一转变是由于对现有服务提供商的信任问题以及 Web3 和元宇宙的崛起所驱动的。本文谈及元宇宙的崛起、社交元宇宙平台的挑战、分布式计算和大语言模型的作用、人工智能、机器学习和生成艺术的作用、实现全球数字社会的目标等话题。（本文最早发表于 2022 年 7月 19 日，在 2023 年 5 月 9日更新了 V9 版）