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

优化Barrett约减：更严格的界限消除冗余减法 - ZKSECURITY

本文分析了Barrett reduction算法中商的近似误差界限，指出在大多数实际应用场景中，该误差界限可以从[q-2, q]收紧到[q-1, q]，从而减少一次不必要的减法运算，提高计算效率。该优化已应用于RustCrypto的P-256标量域实现，性能提升了14%。
Barrett reduction  模运算  优化  P-256  椭圆曲线密码学  密码学 

Solodit检查清单详解：矿工攻击

本文解释了矿工攻击，即验证者如何利用智能合约中的 block.timestamp、随机性和交易排序。文章详细讨论了三种攻击类型：使用 block.timestamp 进行时间敏感操作的风险、使用区块属性生成随机数、以及交易排序敏感性。针对每种攻击，文章都提供了示例代码、漏洞解释、缓解措施以及测试用例，旨在帮助开发者保护智能合约免受这些微妙但潜在破坏性的攻击。
矿工攻击  block.timestamp  随机数生成  交易排序  前置交易  三明治攻击  MEV 
  • Cyfrin
  • 发布于 2025-05-02
  • 阅读 ( 776 )
  • ( 18 )

Pectra主网清单

以太坊的下一次网络升级 Pectra 计划于 2025 年 5 月 7 日在主网上激活。Pectra 是执行层的“Prague”升级和共识层的“Electra”升级的结合，旨在提高可扩展性、验证器操作和用户体验。文章提供了Pectra升级的检查清单、ethPandaOps工具更新、监控资源以及对贡献者的感谢。
Pectra  Electra  Prague  以太坊升级  验证器  主网 

Foundry基本操作

原链接：https://www.learnblockchain.cn/article/9606#ABI基于foundry默认初始化项目Counter为例；项目名test；1.测试1.1测试命令#运行所有测试forgetest#单独运行匹配前缀为`CounterTest`
  • 0xwu
  • 发布于 2025-05-02
  • 阅读 ( 673 )

单元测试

本文档介绍了Bitcoin Core的单元测试框架，该框架基于Boost单元测试框架，并详细说明了如何编译、运行单元测试，如何运行单独的测试，以及如何添加新的测试用例。此外，还介绍了单元测试中的日志记录、调试和处理段错误的方法。
单元测试  Boost  测试框架  gdb  valgrind  测试用例 
  • bitcoin
  • 发布于 2025-05-02
  • 阅读 ( 314 )

Stwo 中的递归证明：第二部分

本文是关于Stwo中递归证明的第二部分，重点介绍了Poseidon组件的设计及其在零知识证明中的作用。通过专门的Poseidon组件优化STARK证明验证过程中的哈希函数计算，文章详细解释了Poseidon哈希函数的工作原理，以及如何在Stwo中构建高效的Poseidon组件，最终实现更高效的递归证明验证和Bitcoin STARK验证。
递归证明  STARK  Poseidon  零知识证明  哈希函数  PLONK 
  • L2IV
  • 发布于 2025-05-02
  • 阅读 ( 545 )
  • ( 8 )

EIP1559 交易

EIP-1559 是以太坊改进提案中的一个重要提案，它对以太坊的交易费用机制进行了重大改进，旨在解决交易费用的不确定性和网络拥堵问题。以下是对 EIP-1559 交易的详细介绍：
EIP-1559 

用 Rust 解锁 Web3：以太坊事件解析实战

in  Web3
用Rust解锁Web3：以太坊事件解析实战Web3浪潮席卷全球，以太坊作为区块链核心平台，驱动着无数去中心化应用（DApp）。如何高效、安全地与以太坊交互，成为开发者面临的挑战。Rust，以其卓越的性能和内存安全，成为构建高性能Web3后端的理想选择。本文通过一个完整的Rust项目
Web3  Ethereum  Rust  以太坊 

Soul协议：去中心化借贷的多链流动性层

Soul Protocol 旨在通过跨链和跨协议的借贷解决方案，解决 DeFi 流动性碎片化的问题。
DeFi  跨链  流动性  借贷协议  LayerZero  Chainlink CCIP 
  • OAK
  • 发布于 2025-05-01
  • 阅读 ( 13 )

使用 TFHE-rs 实现 AES-128 密码系统的全同态版本

本文介绍了在同态加密中进行转密码的概念，即同态应用加密或解密算法。Zama举办的TFHE-rs Bounty Season 7 就是关于同态应用 AES 加密算法的挑战。最终“sharkbot”的提交方案因其高效的 S-box 处理方法而获胜，该方案将 S-box 视为可计算的位级电路，并使用多种优化策略实现了最佳性能。其他参赛者也使用了类似方法，但性能略逊。
同态加密  转密码  AES  TFHE-rs  S-box  Boyar-Peralta电路 
  • ZamaFHE
  • 发布于 2025-05-01
  • 阅读 ( 987 )
  • ( 28 )

闪电网络：技术与用户体验（七）：手续费支付

手续费支付
手续费支付  闪电网络 

ZK Mesh：2025年4月回顾

ZK Mesh是关于隐私增强密码学、分布式协议开发和零知识系统研究的月度新闻通讯，涵盖了最新的研究、文章、视频、播客、推文、工具、项目更新和活动。本期内容包括了zkSpeed、线性时间累积方案、GIGA协议等研究，以及硬件友好的HyperPlonk、后量子密码学代码优化等文章，以及多个零知识证明相关的视频和项目更新。
零知识证明  zkVM  密码学  隐私增强  zkTLS  HyperPlonk 
  • zkmesh
  • 发布于 2025-05-01
  • 阅读 ( 808 )
  • ( 28 )

Yellowstone和Carbon：解析实时Solana程序数据

本文介绍了如何使用Yellowstone gRPC和Carbon框架构建一个Pump.fun交易监控器，该监控器可以实时监控Solana链上Pump.fun程序的新token创建和AMM迁移事件。文章详细说明了项目搭建、环境配置、代码实现以及如何利用Carbon框架简化链上数据捕获和处理的过程，并提供了扩展监控器的建议。
Yellowstone gRPC  Carbon框架  pump.fun  Solana  交易监控  Rust语言 
  • QuickNode
  • 发布于 2025-05-01
  • 阅读 ( 1691 )
  • ( 61 )

解码操作码：机器码和区块链执行的心跳

本文深入探讨了操作码（Opcodes）这一计算机处理器和虚拟机中的基本指令，从传统CPU到以太坊虚拟机（EVM）等区块链环境。文章详细介绍了Opcodes的机制、工具和实际应用，重点关注EVM合约Opcodes，并结合实例分析了如何在经典计算和前沿区块链生态系统中运用Opcodes，以及它们在操作系统、嵌入式系统、区块链、安全和编译器等领域的关键作用。
操作码  EVM  汇编语言  以太坊虚拟机  智能合约  区块链 

可扩展的`Safe`架构

本文档描述了一种可扩展的Safe架构，旨在增加Safe的新颖集成和应用。该架构通过ExtensibleFallbackHandler实现，允许自定义方法调用和EIP-712签名验证，同时保持与现有Safe功能的向后兼容性，例如ERC-1271签名和Token回调，从而扩展Safe的功能，并允许更灵活的交互方式。
SafeProxy  ExtensibleFallbackHandler  EIP-712  代理合约  智能合约  签名验证 

Solana安全事件历史：深入研究

本文详细分析了2020年至2025年4月Solana生态系统中发生的主要安全事件，包括应用层漏洞、供应链攻击和核心协议问题。
Solana  漏洞  攻击  DeFi  安全事件  区块链安全 

SNARK中哈希的基准测试

本文对多种零知识证明（ZKP）框架在哈希函数上的性能进行了基准测试，包括plonky3、stwo、binius、hashcaster和expander。文章详细比较了它们在不同哈希算法（如Blake3、Keccak、Poseidon2等）上的吞吐量、证明大小和内存占用情况，并讨论了优化方向以及各个框架的优缺点。
零知识证明  哈希函数  性能评估  基准测试  密码学  STARK 
  • han___
  • 发布于 2025-05-01
  • 阅读 ( 877 )
  • ( 28 )

在 dApp 上實現 ERC-4337：以去中心化領稿費機制實驗為例

本文详细介绍了如何使用ERC-4337构建无需支付手续费的dApp互动流程，以去中心化领稿费机制为例，涵盖了合约验证机制的实现、前端开发流程以及dApp集成ERC-4337接口时遇到的问题，并提供了相应的解决方案，例如在执行阶段获取userOp的签名者地址以及避免gas耗尽等安全问题。
ERC-4337  DApp  账户抽象  UserOperation  gas estimation  Bundler 

Celestia 改进提案（CIP）流程

该文档是 Celestia 改进提案（CIP）的索引，提供了关于 CIP 流程的信息，包括会议记录和时间，以及已发布的 CIP 的列表，内容包括 CIP 编号、标题和作者。同时，还介绍了如何为该存储库贡献内容以及如何在本地运行该站点。
Celestia  改进提案  CIP  数据可用性  网络升级  治理参数 

通过 Web 应用程序转发 Gasless 元交易 - OpenZeppelin 文档

本文介绍了如何使用OpenZeppelin Defender实现gasless元交易，包括使用Relayer服务代表用户发送交易，避免用户管理私钥等复杂操作。文章详细讲解了ERC-2771、ERC-2612和ERC-3009三种不同的gasless交易标准，并提供了相应的代码示例和操作步骤， 同时也介绍了如何使用 Defender 的 Relayers 和 Actions 实现安全、便捷的元交易。
元交易  gasless交易  OpenZeppelin Defender  Relayer  ERC-2771  ERC-2612  ERC-3009