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

关于 KZG 承诺和 KZG 证明

本文介绍了以太坊中KZG承诺和证明的目的和作用，特别是在peerDAS和EIP-4844背景下如何使用它们来验证数据列的完整性。文章解释了在节点接收数据列时，如何利用KZG承诺和证明来确保每个单元格确实属于承诺的blob，并对比了KZG承诺和传统的Merkle证明，突出了KZG在存储和效率上的优势，阐述了在以太坊数据可用性采样(DAS)中扮演的关键角色。
KZG承诺  KZG证明  PeerDAS  EIP-4844  数据可用性采样  默克尔证明 

Solana提案流程

本文介绍了Solana的提案流程，包括提案的定义、必要性、分类和生命周期。提案旨在记录设计决策，促进社区的共同参与和开发协作，具有标准和元两种类型，覆盖了从提案构想到实施的各个阶段。
Solana  提案  提案流程  标准提案  元提案  开发协作 

以太坊的未来：从 Beacon Chain 到 Beam Chain

探讨以太坊未来发展的可能性，围绕 Beam Chain 提案的技术细节和对以太坊共识层重大改进的分析。
Beam Chain  信标链 

2025 年 Base 扩容：亚美分交易费用助力全球链上化

Base 团队致力于扩展其区块链平台，目标是在 2025 年达到 250 Mgas/s 的吞吐量。
L1数据可用性  吞吐量  客户端执行速度  故障证明系统  状态增长  PeerDAS 

编写安全的Uniswap v4 Hooks的最佳实践

本文探讨了在Uniswap v4中开发安全hooks的重要实践，强调了避免意外回退、提升Gas效率以及加强输入验证和访问控制等关键安全考虑。文章提供了一系列最佳实践，帮助开发者在利用hooks增强流动性管理和交易操作时，有效降低安全风险并保护用户资金。
uniswap v4  Hooks  安全实践  DeFi  输入验证  燃气效率 
  • Certora
  • 发布于 2025-02-08
  • 阅读 ( 625 )
  • ( 2 )

【zkMIPS系列】ZKM Prover—Poseidon STARK

in  zkMIPS解读
Poseidon的执行过程包括以下6个步骤：初始化、完整轮次计算、部分轮次计算、电路约束生成、生成多项式承诺、证明生成与验证。整个过程用于生成最终的零知识证明。
zkVM  zkMIPS 
  • ZKM
  • 发布于 2025-02-07
  • 阅读 ( 1379 )
  • ( 16 )

为我们所有人解读 Verkle 树：第一部分

本文详细介绍了以太坊即将进行的“Verge”升级及其核心概念——Verkle树。Verkle树是基于向量承诺和Merkle树的结合，旨在减少证明大小，提高以太坊状态的存储效率。通过对Merkle树的局限性进行分析，文章展示了Verkle树如何解决核心问题，并为以太坊生态系统提供更高效的存储方案。
Verkle树  Merkle树  向量承诺  以太坊升级  状态存储  加密技术 

验证者证明：一种用于以太坊 DHT 的简单匿名凭证方案 - 密码学

本文提出了一种针对以太坊数据可用性抽样（DAS）中分布式哈希表（DHT）的Sybil攻击的防御方案，称为“验证者证明”（Proof of Validator）。该方案利用零知识证明，使DHT参与者能够在不泄露身份的情况下证明其为以太坊验证者，从而提高攻击者的成本并增强DHT的安全性，文中讨论了使用Merkle树和lookups两种方法实现validator proof，并分析了各自的优缺点。
验证者证明  零知识证明  分布式哈希表  数据可用性抽样  Sybil攻击  以太坊 

zkFOCIL：使用可链接环签名的包含列表隐私 - 权益证明/区块提议者

本文提出了改进 FOCIL 隐私性的一种新方法，该方法基于可链接环签名（LRS），允许验证者私下发布包含列表，从而隐藏包含者的身份。该方案包括一个私有抽奖协议，从验证者集中选择包含者委员会，以及一个匿名化包含者消息的 LRS 方案，并提出了一个基于通用 SNARK 的 LRS 实例化方案。目标是激发对更高效、更优雅的LRS方案的专业构建的研究。
FOCIL  可链接环签名  LRS  隐私  SNARK  包含列表 

构建一个DApp - OpenZeppelin 文档

本文介绍了如何使用 OpenZeppelin 的库（如 Network JS 和 hot-loader）构建 DApp，包括连接到以太坊网络、热加载合约，以及使用 Starter Kits 快速启动 DApp 的方法。文章还提供了一些快速开始的示例代码，并引导开发者进行下一步的测试和网络连接。
DApp  以太坊  OpenZeppelin  Network JS  hot-loader  智能合约 

拨款更新 - 2024年第四季度

该文章总结了以太坊基金会在2024年第四季度资助的多个项目，这些项目涵盖社区教育、共识层、密码学与零知识证明、开发者工具、执行层、通用研究、L2等方面，旨在推动以太坊生态系统的发展。总计资助金额超过一千一百万美元。
以太坊  零知识证明  密码学  开发者工具  L2  共识层 

深入解析 Solidity onERC721Received：打造更智能的 NFT 交易

1.onERC721Received的作用与使用1.1onERC721Received是什么？onERC721Received是ERC-721标准中的一个回调函数，专门用于合约接收NFT（ERC-721代币）时的安全处理。当NFT通过safeTransferFrom
Solidity  NFT 
  • King
  • 发布于 2025-02-07
  • 阅读 ( 1208 )
  • ( 18 )

我们为什么需要去中心化的稳定币

本文探讨了去中心化稳定币在现代金融体系中的潜力，强调了其与传统银行系统的关系以及面临的挑战。去中心化稳定币被认为能够提高金融透明度和效率，并且有能力重塑货币创造的方式。文章呼吁美国应在数字货币创新方面采取领导角色，促进有针对性的监管，推动金融科技的进步。
去中心化稳定币  金融科技  数字货币  货币创造  区块链  DeFi 

ULTRA TX - 可编程区块：一个交易满足统一和可扩展的以太坊-Layer 2 的所有需求

ULTRA TX 是一种实现可编程 L1 区块的方法，它通过 L1 meta tx bundler 和Based Rollup 的区块构建器，创建一个包含单个强大 L1 交易的 ULTRA TX，从而实现 L1 和 L2 之间的高效组合与聚合，实现 L1 和 L2 之间的无缝交互和数据共享，并为跨链互操作提供支持。
ULTRA TX  L1  L2  互操作性  账户抽象  ZK证明 

为 Arbitrum 和以太坊带来互操作性

文章介绍了Arbitrum的互操作性解决方案，旨在实现快速、廉价、无需信任的跨链通信。通过通用意图引擎，Arbitrum生态系统将能够在3秒内完成跨链代币转账和交换。Offchain Labs正与以太坊基金会及其他L2合作，推动互操作性标准的实施，并简化跨链操作的用户体验，目标是构建一个统一的以太坊生态系统。
Arbitrum  互操作性  跨链通信  通用意图引擎  EVM  Layer2 

Solana中的擦除编码是如何工作的 - 对 Reed–Solomon 编码和数据传播的深入探讨

该文章深入探讨了Solana区块链的高吞吐量和即时最终性，重点介绍了冗余编码（特别是Reed-Solomon编码）在应对数据丢失和网络延迟方面的重要性。文章详细阐述了Solana的账本架构、块传播协议Turbine的工作原理，以及冗余编码的机械原理、代码实现和性能优化策略。
Solana  冗余编码  Reed-Solomon  Turbine  高吞吐量  块传播 
  • thogiti
  • 发布于 2025-02-06
  • 阅读 ( 1166 )
  • ( 4 )

延迟执行和跳过交易 - 执行层研究

本文介绍了以太坊的延迟执行方案，该方案将区块验证与交易执行解耦，从而提高吞吐量。核心思想是先进行静态验证（仅依赖先前的状态），然后延迟执行交易，允许跳过无效交易。区块提议者预先支付交易包含成本，以补偿网络。这种机制可以提高效率，但也带来了对提议者流动性需求和协议复杂性的权衡。
延迟执行  区块验证  交易执行  状态根  手续费  gasless交易 

解析以太坊即将到来的硬分叉 - Pectra 升级

深入解读 Prague 升级带来的变化
Prague  EIP-2537  EIP-7002  EIP-7702  EIP-7691 
  • mixbytes
  • 发布于 2025-02-06
  • 阅读 ( 3148 )
  • ( 91 )

为EIP-7702和以太坊Pectra升级做好准备

EIP-7702 是即将实施的以太坊升级，旨在提供外部拥有账户（EOA）与智能合约账户之间的融合，允许EOA直接执行代码，从而实现账户抽象。本文详细介绍了EIP-7702的工作原理、与ERC-4337的互补关系，以及对应用开发者的影响，突出其在跨链兼容性和用户友好性方面的优势。
EIP-7702  以太坊  智能账户  账户抽象  ERC-4337  Pectra分叉 
  • Alchemy
  • 发布于 2025-02-05
  • 阅读 ( 1685 )
  • ( 30 )

我们如何在Base上监控欺诈证明

本文介绍了Hexagate在Base链上监控欺诈证明的框架和解决方案，旨在确保系统的安全。文章详细描述了分层监控框架，包括系统级、争议游戏、挑战者和组件层面的监控，并介绍了如何利用Hexagate的平台和API来构建和部署这些监控器。此外，Hexagate还开源了欺诈证明不变性监控器，以促进社区的合作和增强二层网络的安全。
欺诈证明  监控  Base链  安全性  Hexagate  OP Stack