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

连接到公共测试网络 - OpenZeppelin 文档

本文介绍了如何将智能合约连接到公共测试网络，以便在类似以太坊主网的环境中免费测试合约。文章涵盖了可用的测试网络、如何设置项目以连接到测试网络、如何部署合约以及如何与测试网络上的合约实例进行交互。文章提供了使用Alchemy访问测试网节点、创建新账户、配置网络以及获取测试网资金的步骤，并演示了如何在Sepolia测试网上部署和交互Box合约。
测试网络  智能合约  Sepolia  Alchemy  部署  以太坊 

Ethereum R1：以太坊的中立 Rollup

Ethereum R1 是一个新型rollup项目，它秉承以太坊核心价值观：开放的全球参与、去中心化、可信的中立性和抗审查性。该项目完全由捐赠资助，没有代币或私募，旨在构建一个不围绕私人代币分配或不透明治理的rollup，并成为以太坊的公共产品。
Rollup  以太坊  去中心化  抗审查性  公共产品  L2 

揭示GameFi安全性：常见威胁和可靠解决方案

本文深入分析了GameFi领域面临的安全挑战，包括智能合约漏洞、token和NFT的风险以及跨链桥的漏洞，还讨论了链下安全问题，如基础设施漏洞和钓鱼攻击。文章提供了开发者和玩家可采取的缓解策略，并展望了GameFi安全性的未来，强调了AI驱动的安全、改进的代币经济模型和监管的重要性。
GameFi  区块链安全  智能合约  NFT  跨链桥  安全漏洞 

优化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
  • 阅读 ( 783 )
  • ( 18 )

Pectra主网清单

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

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
  • 阅读 ( 17 )

Foundry基本操作

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

单元测试

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

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

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

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

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

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

ZK Mesh：2025年4月回顾

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