transparency

与 Vitalik 探讨 DAO 组织遇到的问题 - 2025年布拉格Pragma大会

该视频是 Vitalik Buterin 和 Karthik 就 DAO（去中心化自治组织）的现状、问题和未来方向进行的讨论。 **核心内容/主要观点：** * **DAO 发展停滞：** 现有的 DAO 模式陷入了“没人因复制 Compound 而被解雇”的僵局，缺乏创新和想象力。 * **透明度困境：** DAO 的公开讨论和协商过程可能导致效率低下，容易受到攻击，并且难以做出非共识决策。 * **DAO 的必要性：** DAO 在某些特定场景下仍然至关重要，例如管理 DeFi 协议中的预言机和 ENS 协议的升级。 * **重新思考 DAO 的设计：** 需要重新审视 DAO 的设计原则，打破现有模式的束缚，考虑隐私、AI 和多层次结构等因素。 * **关注长期价值：** DAO 应该更加关注长期价值的创造，而不是短期的代币价格波动。 **关键论据/关键信息：** * **与 DAO 合作的挑战：** 组织与 DAO 合作时，常常面临 DRI（直接责任人）不明确、合规性问题和协商困难等问题。 * **DAO 的三种类型：** 数据提供者（如预言机）、资金分配者和需要“掌舵”的组织（如 ENS）。 * **非共识决策的重要性：** DAO 需要能够做出非共识决策，以支持创新和长期投资。 * **AI 在 DAO 中的应用：** AI 可以用于优化决策过程、自动化执行和改善用户体验。 * **多层次结构：** 采用多层次结构可以提高 DAO 的效率和灵活性，例如威尼斯公爵的选举制度。 * **实验和创新：** DAO 应该鼓励更多的实验和创新，以探索新的治理模式和应用场景。 * **隐私的重要性：** 隐私对于保护 DAO 的成员免受外部攻击和内部操纵至关重要。 * **问责制：** 需要建立有效的问责机制，以确保 DAO 的决策符合社区的利益。

MEV基础设施如何使以太坊更加脆弱

该视频的核心内容是关于以太坊的矿工可提取价值 (MEV) 基础设施及其潜在的问题。演讲者认为，当前的 MEV 基础设施存在中心化、不透明和潜在的安全风险，并提出了一些可能的解决方案。 **关键论据和信息：** * **MEV 的定义和运作方式：** MEV 指的是矿工（或验证者）可以通过策略性地选择、排序和包含交易来提取的额外价值。视频用购买咖啡的例子解释了 MEV 的基本原理。 * **MEV 基础设施的架构：** 视频详细描述了 MEV 基础设施的各个组成部分，包括验证者、中继器 (relays)、构建者 (builders) 和搜索者 (searchers)，以及它们之间的关系。 * **MEV 基础设施的问题：** * **中心化：** 少数中继器控制着大部分区块构建，导致审查交易的可能性。 * **不透明：** 许多关键的 MEV 基础设施组件（如中继器软件）不是开源的，这使得难以审计和信任它们。 * **时间敏感性：** 区块构建过程对时间要求极高，导致验证者为了获得更高的 MEV 收益而进行时间游戏。 * **乐观提交 (Optimistic Submission) 的风险：** 中继器允许构建者提交未经验证的区块，如果验证失败后的惩罚机制失效，可能导致无效区块被纳入链中。 * **私有交易流 (Private Autoflow) 的优势：** 某些构建者拥有私有 RPC，可以访问未公开的交易，从而获得不公平的优势。 * **实际案例：** 视频提到了两次实际发生的事件，一次是由于中继器的错误导致多个无效区块被提议，另一次是由于 Denkun 升级后中继器软件的 bug 导致多个区块丢失。 * **解决方案：** * **包含列表 (Inclusion Lists)：** 允许验证者指定必须包含在区块中的交易，以对抗审查。包含列表有两种形式：“胡萝卜” (carrot) 和 “大棒” (stick)，分别代表不同的强制程度。 * **Enshrined Proposer-Builder Separation (EPBS)：** 旨在消除中继器这个受信任的中间人，确保构建者在揭示交易后能够获得应有的收益。 * **行动建议：** * 运行自己的节点。 * 如果运行验证器，尝试自己构建区块。 * 如果使用 MEV 基础设施，选择非审查的中继器。 * 设置最低出价 (minimum bid) 以优先考虑本地构建的区块。 * 参与包含列表的开发和使用。 * 参与 EPBS 的研究和开发。 * 不要让你的朋友参与 MEV 和 LSD (流动性质押衍生品)。

ZK白板系列 - 第四模块：SNARKs 与 STARKs

在这段视频中，Brendan和Boban讨论了Starks（可扩展透明知识论证）这一零知识证明系统的基本概念和技术细节。视频的核心内容包括Starks与Snarks的区别、Starks的工作原理以及其在区块链应用中的重要性。 ### 核心内容概括： 1. **Starks的定义与特点**： - Starks是一个零知识证明系统，强调可扩展性和透明性，不需要可信的设置。 - 与Snarks相比，Starks不需要对程序描述进行预处理，且可以是交互式或非交互式的。 2. **关键技术概念**： - **算术化（Arithmetization）**：将程序转换为多项式的过程，使得证明系统能够理解和生成证明。 - **多项式承诺方案（Polynomial Commitment Scheme）**：用于承诺多项式并验证其特定性质的技术，Starks通常使用FRI（快速读-所罗门交互式预言机证明）来实现。 3. **FRI的工作原理**： - FRI通过将多项式的评估值逐步减少到较小的规模，允许验证者通过查询少量点来验证多项式的性质，从而保持证明的简洁性和高效性。 ### 关键论据与信息： - **Starks与Snarks的区别**： - Starks强调可扩展性（Scalable）和透明性（Transparent），而Snarks则强调简洁性（Succinct）和可能需要可信的设置。 - **算术化的过程**： - 通过将程序转换为执行轨迹矩阵，进一步转化为多项式，并通过约束确保状态转移的有效性。 - **FRI的优势**： - FRI允许在不发送整个多项式的情况下，通过查询少量点来验证多项式的性质，从而实现高效的证明。 - **应用场景**： - Starks在区块链中的应用，尤其是在需要高效和安全的交易验证时，展现出其独特的优势。 总的来说，视频深入探讨了Starks的技术细节及其在零知识证明中的重要性，为观众提供了对这一复杂主题的清晰理解。