文章 - 第42页 - 登链社区

以太坊Pectra升级会对现有生态带来什么影响？

借着以太坊在Holesky网络升级这事，稍微聊聊以太坊Pectra升级到底有什么以及对链上生态的一些影响有什么？EIP7702有限的账户抽象(可设置EOA账户的code)传统账户抽象（如EIP-4337标准）依赖额外的中心化服务，例如Bundler，来将用户的操作打包成一笔交易。由于这一方案引

seeker
发布于 2025-02-26
阅读 ( 575 )
( 10 )

🎥 信标链验证者排行榜

本文介绍了如何使用 Beacon REST API 和 Ethers.js 构建一个以太坊 2.0 的验证者排行榜应用。详细说明了如何配置项目，安装依赖，以及各个功能的实现，包括获取验证者余额、计算总余额和生成排行榜等。代码部分包含了重要的实现细节，适合有一定基础的开发者阅读。

以太坊 Beacon链验证者 ethers.js Next.js 区块链应用

QuickNode
发布于 2025-02-26
阅读 ( 700 )
( 39 )

Certora Prover 开源——智能合约安全的未来

Certora Prover 是一种先进的正式验证引擎，旨在提升 Ethereum、Solana 和 Stellar 等平台的智能合约安全性。通过开源，Certora Prover 旨在降低安全成本，提升可访问性，最终帮助开发者在早期发现和修复可能的漏洞。这篇文章详细介绍了 Certora Prover 的功能、工作原理以及其对多个知名项目的实际影响。

正式验证智能合约 Certora Prover 安全性 DeFi 开源

Certora
发布于 2025-02-25
阅读 ( 133 )
( 2 )

Web3 极客日报 #1681

rebase
发布于 2025-02-25
阅读 ( 471 )
( 8 )

统一以太坊：实现无缝跨链互操作性的路径

文章探讨了区块链生态系统中跨链互操作性的现状与挑战，提出通过Intents架构来简化用户在跨链交易中的复杂性，进而推动DeFi和Web3的全面发展。成功的跨链互操作性将使资产、数据和价值的流动更加高效，促进用户和开发者的参与。

跨链互操作性 Intents ERC-7683 Web3 DeFi 区块链

across
发布于 2025-02-25
阅读 ( 156 )
( 4 )

探索加密数据 II：使用外包数据服务

本文探讨了区块链数据管理和解释的外包解决方案，包括多种服务类型，如节点即服务（NaaS）、原始流、解码流、索引数据API和影子日志等。这些服务帮助开发者和企业高效地访问区块链数据，而不必自行管理节点和基础设施。文章提供了深入的技术细节和实例，展示了每种服务的功能和应用。

区块链数据服务节点即服务解码流影子日志索引数据API

2077 Research
发布于 2025-02-25
阅读 ( 372 )
( 15 )

发行一个ERC20标准代币以及实现空投和水龙头相关使用场景

前言本文主要实现标准代币的空投合约和代币水龙头相关业务场景的实现，包含合约的编写，测试，部署全流程。概念以及相关场景说明空头合约：币圈中一种营销策略，项目方将代币免费发放给特定用户群体;代币水龙头：一种为用户提供小额加密货币的机制;标准代币说明：本合约基于openzeppelin库实

木西
发布于 2025-02-25
阅读 ( 643 )
( 13 )

Certora技术白皮书

Certora工具套件提供了智能合约审计的全面解决方案，核心是Certora Prover，该工具能自动检测代码中的漏洞并确保关键属性得到满足。文章详细介绍了Certora的功能、自动验证的流程，以及与传统测试和审计的比较，强调了Certora如何在早期开发阶段安全性验证的有效性和便利性。

Certora Prover 智能合约验证与审计安全性漏洞检测自动化

Certora
发布于 2025-02-25
阅读 ( 186 )
( 5 )

一文读懂 zk-STARK 与 zk-SNARK 零知识证明

自区块链问世以来，如何在去中心化的环境下保证数据隐私与系统可扩容，一直是产业和学界的共同难题。

zk-STARK zk-SNARK

Dapplink
发布于 2025-02-25
阅读 ( 146 )

Uniswap V3 的刻度（Tick） - 深入了解集中流动性

本文深入探讨了Uniswap V3中集中流动性概念的技术设计，阐明了如何通过数学模型简化复杂算法的实现，从而降低交易和流动性供应的燃气费用。文章涵盖了Uniswap V3的核心原理、实现细节，以及流动性提供的机制，强调了该设计中的优化思路和技巧，为开发者和审计人员提供了有价值的见解。

集中流动性 Uniswap V3 流动性提供智能合约 DeFi 数学模型

mixbytes
发布于 2025-02-25
阅读 ( 639 )
( 67 )

【Rust 基础入门】(12) | 特征 (Traits)

in Rust 基础入门指南：为 Solana 合约学习铺路

本文介绍了Rust中的特征（Traits），通过吉他和钢琴的演奏示例展示了如何定义和实现特征、添加默认实现及使用关联类型，阐释了特征在代码复用和类型安全中的核心作用。

Rust Rust 入门 Rust 基础 Rust语法基础

0xE
发布于 2025-02-25
阅读 ( 557 )
( 14 )

在Uniswap V3上使用Pimlico Alto和BuildBear进行代币交换

本文提供了通过Pimlico Alto插件将ERC-4337兼容的打包器集成到区块链应用中的详细教程。内容涵盖了如何在BuildBear沙盒环境中安装和配置Pimlico Alto、使用permissionless.js管理智能账户，以及如何进行DAI与USDC的交换交易，同时提供了相关代码示例和调试工具介绍，适合开发者学习和实操。

ERC-4337 Pimlico Alto BuildBear 区块链应用 permissionless.js Uniswap

BuildBear
发布于 2025-02-25
阅读 ( 239 )
( 6 )

Certora技术白皮书

Certora工具套件提供了一种全面的智能合约审计解决方案，通过自动检测漏洞与生成安全性保证来提升合约的安全性。该工具的核心是Certora Prover，它可以将合约字节码和用Certora验证语言(CVL)编写的规范结合起来，精确识别合约在特定情况下可能偏离规范的情形。此工具为开发者与安全研究人员提供了比传统测试和审计更可靠的安全保证。

智能合约审计漏洞检测 Certora Prover 验证安全性