文章 - 第46页 - 登链社区

使用 Halmos 进行现代不变性测试

本文介绍了使用 Halmos 工具进行智能合约状态不变性测试的演变过程。首先通过在无状态测试中模拟状态变化来实现，然后利用 Halmos 提供的 cheatcode 简化了测试代码，并加入了快照状态的机制以优化性能。最后展示了 Halmos v0.3.0 版本如何原生支持状态不变性测试，极大地简化了测试流程，并提供了升级和使用 Halmos 的方法。

智能合约形式化验证不变性测试 Halmos SMT solving 状态空间探索

a16z Crypto
发布于 2025-07-29
阅读 ( 906 )
( 10 )

Web3 极客日报 #1782

rebase
发布于 2025-07-29
阅读 ( 465 )
( 9 )

用于实现无状态性的 Verkle 树

本文档介绍了以太坊中使用的 Verkle 树，Verkle 树结合了向量承诺和 Merkle 树的优点，它可以减小证明的大小，降低硬件要求，实现更快的同步，并可能提高Gas限制，从而为以太坊带来许多好处，例如实现无状态客户端等。

verkle 树无状态性以太坊 MPT VKT EIP

efdn__
发布于 2025-07-29
阅读 ( 536 )
( 14 )

002：什么是 Web3 钱包？从资产管理工具到链上身份的演进之路

in Web3 敲门砖计划

Web3 钱包是用户在链上的身份和资产管理工具，支持交易签名、dApp 登录、资产托管等功能，是进入去中心化世界的关键入口

Wallet 钱包 Web3

Henry
发布于 2025-07-29
阅读 ( 1984 )
( 118 )

深入理解Solidity：合约如何优雅地接收ETH？搞懂receive与fallback

大家好！在以太坊开发中，我们经常需要让智能合约接收ETH。但你可能会发现，如果直接向一个普通的合约地址转账，交易往往会失败。这是为什么呢？因为，智能合约默认是“不收钱”的。想要让它能够安全地接收ETH，就必须为它定义特殊的函数：receive()或fallback()。今天，我们就来彻底搞

李楠
发布于 2025-07-29
阅读 ( 587 )
( 8 )

Rust Trait 分派机制：静态与动态的抉择与权衡

in Rust

RustTrait分派机制：静态与动态的抉择与权衡在使用Rust时，我们经常会用到implTrait和&dynTrait来处理泛型和接口。你是否曾好奇，这两种看似相似的语法，在编译器底层究竟是如何工作的？它们一个在编译期确定类型，一个在运行时查找实现，这背后隐藏着Rust语

Rust

寻月隐君
发布于 2025-07-29
阅读 ( 874 )
( 25 )

如何将私钥转换为以太坊地址

本文介绍了如何从以太坊私钥派生出公钥和公有地址。文章解释了以太坊中使用的椭圆曲线加密（ECC）secp256k1，展示了通过私钥生成公钥并进一步生成公有地址的步骤，并提供了一个Python代码示例，演示了如何使用私钥计算出相应的公有地址。

以太坊私钥公钥公有地址椭圆曲线加密 secp256k1 Keccak-256

billatnapier
发布于 2025-07-29
阅读 ( 1835 )
( 64 )

第五部分：当心 gas 消耗 ——保护以太坊智能合约免受恶意破坏攻击

本文深入探讨了以太坊智能合约中一种隐蔽但极具破坏性的漏洞：恶意破坏攻击（Griefing Attacks）。文章解释了破坏攻击的原理，分析了易受攻击的代码，并通过真实案例展示了攻击流程。此外，文章还提供了一个安全、高效、抗恶意破坏的智能合约示例，并讨论了相关的防御策略、测试方法和高级工具。

恶意破坏攻击 Griefing Attacks 以太坊智能合约 Gas 拒绝服务攻击

ankitacode11
发布于 2025-07-29
阅读 ( 1591 )
( 51 )

CSFS 密钥串联及其在 LN-Symmetry 中的应用

本文探讨了在比特币闪电网络中实现对称通道（LN-Symmetry）的技术方案，重点关注如何使用`OP_CHECKSIGFROMSTACK`(CSFS)和检查交易输出承诺(CTV)等比特币升级提案，在不增加额外交互轮次的前提下，让通道参与者为每一条通道存储`O(1)`状态，承诺更新交易和结算交易哈希值。

闪电网络对称通道 CSFS CTV 密钥委托密钥阶梯 Taproot

BTCStudy
发布于 2025-07-29
阅读 ( 680 )
( 5 )

使用 NWC 拓展比特币应用

本文介绍了Nostr Wallet Connect (NWC) 协议，它旨在标准化比特币闪电钱包与应用之间的交互，降低开发者集成钱包的复杂性。NWC 通过提供一个开放的通信层，使用户能够方便地连接钱包并进行一键支付，同时保持非托管特性，从而促进比特币应用的开发和采用。

Nostr Wallet Connect NWC 比特币闪电网络闪电钱包去中心化应用支付协议

BTCStudy
发布于 2025-07-29
阅读 ( 701 )
( 2 )

Jito 抗 MEV 的 Solana 区块构建市场（BAM）

本文介绍了Solana上的交易排序问题，以及提出的解决方案：区块构建市场（BAM）。BAM通过引入BAM节点和插件，在不改变Solana核心协议的前提下，实现了可编程的排序逻辑、交易隐私和可验证的排序保证，从而提高市场效率和执行完整性。

Solana 交易排序区块组装市场 BAM节点插件可验证排序

pineanalytics
发布于 2025-07-28
阅读 ( 1450 )
( 42 )

BlockThreat 周报 - 2025年第30周

本周发生了三起安全事件，损失超过 1500 万美元，其中大部分损失来自 Woo X 交易所被攻击。对Roman Storm的Tornado Cash审判由于错误的区块链追踪和对去中心化智能合约的误解而陷入困境。文章还列举了近期发生的安全事件、网络犯罪、钓鱼攻击、诈骗以及恶意软件等，并推荐了一些安全工具。

安全漏洞智能合约区块链安全交易所攻击网络钓鱼恶意软件

BlockThreat
发布于 2025-07-28
阅读 ( 935 )
( 32 )

Web3 极客日报 #1781

rebase
发布于 2025-07-28
阅读 ( 512 )
( 15 )

全同态加密与真正隐私互联网的曙光

本文深入探讨了全同态加密（FHE）技术，该技术允许在加密数据上进行计算而无需先解密，从而确保数据在整个生命周期中的隐私。文章讨论了FHE的工作原理、性能改进以及其在云计算、LLM推理和区块链智能合约等领域的潜在应用，强调了FHE技术正快速发展，或将推动互联网隐私保护进入新时代。

全同态加密 FHE 同态加密格密码噪声管理自举

bozmen
发布于 2025-07-28
阅读 ( 1586 )
( 107 )

最便宜的加密货币兑换方式：5个技巧最大限度地减少费用，让更多留在你的钱包里

本文介绍了降低加密货币交易费用的五种方法：使用DEX聚合器寻找最佳汇率、选择低费用网络如Arbitrum和Polygon、在网络拥堵低谷期进行交易、避免多步交易并使用智能路由、以及使用Relay.link进行跨链交易以降低费用。

DEX 聚合器 gas 费用区块链跨链交易智能路由交易费用

estheraladioche569
发布于 2025-07-28
阅读 ( 802 )
( 6 )

从命令行到官方库：用 Go 语言精通 NFT 元数据 IPFS 上传

in Web3

从命令行到官方库：用Go语言精通NFT元数据IPFS上传在我们的Web3实战系列中，继《NFT开发核心步骤：本地IPFS节点搭建与元数据上传实战》和《PythonxIPFS：构建生产级的NFT元数据自动化流程》之后，我们迎来了性能与并发的王者——Go语言。对于需要处

NFT go IPFS Web3

寻月隐君
发布于 2025-07-28
阅读 ( 985 )

Hyperliquid ticker 拍卖：代币上架的新方式

Hyperliquid Ticker Auction 是一种新的代币上市方法，它使用荷兰式拍卖模式来促进代币上市，文章介绍了该拍卖的运作方式、优势，以及高拍卖价格可能预示的投机泡沫风险。同时，文章也探讨了中心化与去中心化代币上市的影响，以及创新的代币上市流程对虚拟货币交易平台的影响。

Hyperliquid Ticker Auction 荷兰式拍卖代币上市去中心化交易所加密货币

eldorado
发布于 2025-07-27
阅读 ( 412 )
( 7 )

Celestia 上的私有数据可用性：Hibachi 如何构建隐私优先的永续合约交易所

Hibachi 利用 Celestia 的数据可用性层，通过加密数据 blob 和零知识证明，在去中心化交易所中实现机构级别的隐私。

Celestia 数据可用性零知识证明隐私去中心化交易所加密

gelato
发布于 2025-07-27
阅读 ( 854 )
( 26 )

登链 Web3 技术周刊 | 优秀智能合约项目清单

欢迎阅读登链社区最新一期周报！

周报

乌索普
发布于 2025-07-27
阅读 ( 830 )
( 30 )

Agave v2.3 更新：你需要知道的一切

Agave 2.3 版本是 Solana 协议的又一个重要里程碑。主要亮点包括新的 TPU 客户端 (tpu-client-next) 的发布、通过 AccountsDB 优化显著减少了磁盘 I/O、增强的快照性能、对 Gossip 网络的改进以及更快的 epoch 转换和启动时间。这些更新共同使网络更加健壮，同时改善了开发人员和验证者运营商的体验。

Solana Agave TPU 客户端 AccountsDB Gossip 网络 epoch 转换 Slashing Programmatic Slashing

Helius
发布于 2025-07-26
阅读 ( 1403 )
( 36 )