全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

迈向提议者选择机制设计的通用模型 - 经济学

本文提出了一个用于分析验证者-提议者分离(APS)机制设计的通用框架，将其建模为一个主理人-代理人问题，目标是设计一种机制，在考虑各种约束条件(如抗女巫攻击、确保竞争)下，有效地将提议权分配给潜在的提议者。文章还证明了在确保竞争的机制中，不存在完全防共谋的机制，并鼓励社区对模型的目标和约束条件提供反馈，以完善模型并进行更深入的分析和比较。
验证者-提议者分离  APS  机制设计  主理人-代理人问题  共谋  Execution Tickets 

验证者-提议者分离机制设计通用模型：经济学方向

本文提出了一个用于分析验证者-提议者分离（APS）机制设计问题的通用框架，将其建模为一个主代理问题。文章探讨了机制设计中的期望、约束以及目标函数，并提出了一个定理，即不存在既能确保竞争又能防止合谋的机制。最后，文章回顾了当前关于APS机制的研究，强调了建立统一理论框架的重要性。
验证者-提议者分离  APS  机制设计  主代理问题  合谋  Execution Tickets 

以太坊核心开发者会议152

本次以太坊核心开发者会议主要讨论了上海升级的相关议题，包括提款测试的进展、EIP-3860的修改、EOF的移除以及EOF相关的改进提案。同时，会议还讨论了EIP-4844的更新、新的EIP提案以及与轻客户端相关的技术问题。会议最终决定将EOF从上海升级中移除，并重点关注提款功能的顺利实现。
以太坊  上海升级  提款  EOF  EIP-4844  轻客户端 

2025年及以后以太坊Layer 1和Layer 2的扩展

文章探讨了以太坊在2025年及以后的扩展策略，重点介绍了L2协议的发展和挑战，包括技术和社会层面的问题，并提出了未来发展的具体建议。
以太坊  L2  扩展  去中心化  安全性  互操作性 

从开发者角度理解Flashbots SUAVE链

SUAVE是由Flashbots开发的去中心化项目，它建立了一个具有TEE（可信执行环境）的网络，以解决MEV（最大可提取价值）过程中遇到的密钥管理和多方信任等问题。SUAVE是以太坊的扩展，与EVM兼容，通过集成TEE，SUAVE不仅解决了MEV相关问题，还开辟了许多可能性，比如安全地存储密钥、实现跨链操作等。
SUAVE  MEV  TEE  可信执行环境  Flashbots  隐私计算 

Pectra：以太坊的下一个重大升级

Pectra是以太坊即将进行的重大升级，预计将在2024年4月主网激活。此次升级包括对执行层和共识层的重大改进，旨在提高验证者的操作、用户体验和Layer-2可扩展性。关键提案包括提高验证者的质押上限、灵活的质押提款机制和增强的账户抽象能力，标志着以太坊向更高的网络效率和安全性迈出了重要一步。
Pectra  以太坊  EIP  质押  可扩展性  用户体验 

智能钱包的风险：在Web3中驾驭账户抽象

本文探讨了ERC-4337账户抽象的潜在缺点，包括安全风险（如DoS攻击和账户接管）、技术限制（如部分实现和交易限制）、实施挑战（如复杂性和兼容性问题）、信任问题（对EntryPoint合约的依赖）以及经济影响（更高的Gas费用）。通过代码对比和Gas成本分析，强调了在采用ERC-4337时需谨慎考虑这些风险。
ERC-4337  账户抽象  智能合约钱包  安全  Gas费用  以太坊 

来自曼谷的故事：Devcon SEA学者计划

Devcon SEA Scholars Program汇集了来自不同学科和地区的93位人士，他们在曼谷探讨以太坊如何融入他们的工作和社区。学者们分享了他们的学习成果，包括安全挑战、混合现实体验、加密货币税务、去中心化争议解决、区块链政府解决方案、艺术装置以及社区建设等。
DEVCON  以太坊  学习成果  社区  区块链  去中心化 

超越L2的成熟度：构建安全区块链Rollups的形式化方法 - ZKSECURITY

本文介绍了zkSecurity与Matter Labs合作发布的关于区块链Rollups安全性的论文，该论文提出了一个形式化模型来分析不同的安全机制。文章讨论了Rollups的安全性，并对论文内容进行了初步介绍，强调了Rollups在以太坊未来发展中的核心作用，以及形式化分析对于确保Rollups安全性的重要性，并提出了强制交易、安全黑名单和可升级性这三个关键机制。
Rollup  区块链  安全性  形式化模型  L2BEAT  强制交易  零知识证明 

区块构建环节

本文讨论了以太坊中区块构建过程，以及如何通过机制设计来优化效率、链中立性和共识参与者的去中心化。文章介绍了三种机制：Inclusion Lists (ILs)、Attester-Proposer Separation (APS) 和 Concurrent Block Proposers (CBP)，并分析了它们在区块共同创建游戏中的作用以及组合方式，旨在为以太坊设计最佳的区块构建流程。
区块构建  Inclusion Lists  Attester-Proposer Separation  Concurrent Block Proposers  MEV  链中立性 
  • efdn__
  • 发布于 2025-02-18
  • 阅读 ( 147 )

Optimism Retro Funding：Onchain Builders 任务详情

in  Optimism 中文力量
精炼要点目标:奖励推动跨链资产转移并促进Superchain增长的项目。时间:2月13日–7月31日。预算:最多800WOP。奖励发放:每月发放，从3月开始。基本要求：至少1000次交易，至少420个合格地址（没有机器人），至少10个不同的链上活动日

AMM中的路由革命 - Uniswap V4中的Hook与最佳交易执行 - 一篇论文评审

Uniswap V4引入了Hooks，使得流动性池可以进行更复杂的操作，例如动态调整费用和链上限价单。最近的研究探讨了如何在这种新环境下进行最佳交易路由，提出了一些案例研究和数学框架，显示Hooks的使用可以极大提高DeFi市场的执行效率和灵活性。
uniswap v4  Hooks  CFMM  交易路由  动态编程  矩阵决策过程 
  • thogiti
  • 发布于 2025-02-18
  • 阅读 ( 699 )
  • ( 5 )

Optimism Retro Funding:Dev-tooling

in  Optimism 中文力量
RetroFunding:DevTooling奖励工具链软件，如编译器、库和调试器，这些工具帮助开发者在Superchain上开发链上应用程序。时间表:该计划将在2月5日至7月31日期间进行。申请时间:请在每月的申请截止日期前申请，您的项目将从下个月开始评估奖励。

跨超级链的协作分析

in  Optimism 中文力量
Optimism通过实现快速、低成本的交易来扩展以太坊，同时继承了以太坊的安全性并保持了去中心化。

Optimism 中文周刊 #49

in  Optimism 中文周刊
OP中文周刊将分享Optimism中发生的情况，并轻松访问最关键的信息，以便轻松了解最新情况并做出明智的决策。

用 2 顆 ETH 成為以太坊節點，享受 2 倍以上收益

本文介绍了如何通过Dappnode和Lido社区质押模块（CSM），仅用2 ETH成为以太坊节点，并且获得超过两倍的额外收益。文章详细讲解了Lido CSM的运作方式、Dappnode的安装步骤以及节点的设置流程，适合对以太坊质押有兴趣的用户学习与实践。
以太坊  质押  Lido CSM  Dappnode  节点  收益 

Prysm 中的 Blob Sidecar 处理

本文档探讨了EIP4844中`BlobsSidecar`和`BeaconBlockBody`之间的规范依赖关系，以及由于它们之间的松散耦合而导致的实现复杂性。着重分析了信标链处理、P2P网络处理和分叉选择处理中遇到的问题，特别是当`sidecar`在`block`之前接收到时的情况，并提出了进一步的考虑。
EIP4844  BlobsSidecar  BeaconBlockBody  KZG承诺  分叉选择  信标链 

如何使用 Ethers.js 将你的 Dapp 与 MetaMask 连接起来

本文详细介绍了如何使用 React 框架和 Ethers.js 库构建一个连接 MetaMask 的去中心化应用（dApp）。文章从 dApp 的定义和 MetaMask 的安装讲起，逐步引导读者完成前端应用的构建，包括用户连接 MetaMask、显示钱包地址和余额等功能。通过清晰的代码示例和图形展示，读者能够轻松理解和实现这些功能。
DApp  MetaMask  ethers.js  react  区块链  加密货币 
  • QuickNode
  • 发布于 2025-02-18
  • 阅读 ( 1332 )
  • ( 31 )

比特币杂志：Bitlayer基于BitVM的技术突破或将带来比特币生态的二轮复兴

Bitlayer 的 Finality Bridge 正在兑现 BitVM 的承诺。虽然距离完全免信任的系统还有一段距离，但过去一年中取得的进步是显著的。

【zkMIPS系列】ZKM Prover—Memory & Logic Stark

in  zkMIPS解读
MemoryStark确保内存访问操作是按时间和地址顺序进行的，并且读取的值与之前写入的值一致。LogicSNARK确保逻辑运算的正确性。
zkVM  zkMIPS 
  • ZKM
  • 发布于 2025-02-16
  • 阅读 ( 1149 )
  • ( 11 )