全部 通识 以太坊 比特币 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
  • 阅读 ( 1113 )
  • ( 18 )

Pectra主网清单

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

什么是自动化做市商？

本文介绍了自动化做市商（AMM）的基本概念、工作原理及其优势。AMM通过智能合约和流动性池实现无需订单簿的加密货币交易，使用数学公式自动定价，为用户提供便捷、透明的交易体验，并允许流动性提供者赚取费用。
自动化做市商  AMM  流动性池  智能合约  Uniswap  去中心化交易所 

PeerDAS 与 2025 年的 48 Blob 目标 - Optimism

本文介绍了 PeerDAS (EIP-7594) 如何通过分片 blob 数据责任的方式，在不牺牲安全性和去中心化的情况下，扩展以太坊的数据可用性，从而提高 L2 的吞吐量、降低用户费用，并增强以太坊 L1 的安全性。
PeerDAS  EIP-7594  Blob  数据可用性  分片  扩展性 

Initia 代币经济学：Enshrined Liquidity 与双重奖励指南

Initia 主网已启动，其经济模型旨在解决多链世界的碎片化问题。该模型围绕 INIT 和 esINIT 两种代币，通过 Enshrined Liquidity (EL) 和 Vested Interest Program (VIP) 等机制， 将价值与长期用户活动联系起来，激励用户长期参与生态建设，实现可持续增长。
Initia  INIT  esINIT  Enshrined Liquidity  Vested Interest Program  代币经济学 
  • DAIC
  • 发布于 2025-05-02
  • 阅读 ( 385 )

Foundry基本操作

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

单元测试

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

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

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

使用 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
  • 阅读 ( 1494 )
  • ( 28 )

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

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

ZK Mesh：2025年4月回顾

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

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

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

Avail推出Enigma升级：面向 Rollup 的加密数据可用性

Avail 与 Encifher 合作推出 Enigma 升级，旨在为公共区块链带来首个加密数据可用性（DA）层，使私有rollup能够在不泄露机密信息的情况下，将加密数据提交到公共基础设施。这为金融、医疗保健和主流企业市场连接到具有安全隐私的公共区块链打开了大门，同时满足监管合规性并实现规模化。
数据可用性  加密  私有 Rollup  公共区块链  Enigma  Avail 

可扩展的`Safe`架构

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

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

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