文章 - 登链社区

聊聊 Next.js 的 next/dynamic：让你的应用飞起来

Next.js是个超级好用的React框架，开发体验一流，性能优化也做得特别到位。今天咱们来聊聊Next.js里的一个神器——next/dynamic，它能帮你实现动态加载组件，优化页面性能，特别适合需要“懒加载”的大项目。文章会尽量用大白话，带你从背景到实战，彻底搞懂这个工具！

Next.js

Louis
发布于 10分钟前
阅读 ( 6 )

X-Wing：更好的后量子密钥封装

本文介绍了一种混合密钥封装机制X-Wing，它结合了X25519和ML-KEM-768，旨在实现后量子密码学的迁移。X-Wing优化了性能，并在X25519或ML-KEM-768任一安全的前提下保证整体安全。文章还展示了X-Wing与X25519Kyber768标准的主要区别，以及使用Golang实现的X-Wing密钥生成、封装和解封装过程。

X-Wing 密钥封装后量子密码学 ML-KEM-768 X25519 混合加密

billatnapier
发布于 1小时前
阅读 ( 25 )

安全指南：使用 Solodit 保护智能合约

本文介绍了 Solodit 社区维护的智能合约安全审计检查表，强调了智能合约安全的重要性，并列举了由于漏洞导致重大经济损失的案例。文章详细介绍了使用该检查表进行智能合约审计的前提条件、所需资源，并深入探讨了包括重入攻击、拒绝服务攻击、抢跑交易等常见的漏洞及其缓解措施，同时还介绍了安全开发的最佳实践。文章还提到了2025年最新的安全工具和技术更新。

智能合约安全审计 Solodit 检查表重入攻击拒绝服务前置交易以太坊漏洞

ankitacode11
发布于 1小时前
阅读 ( 34 )

利用形式化验证查找编译器 Bug

本文介绍了Certora团队开发的一款用于验证编译器优化的等价性检查工具，该工具通过比较优化前后程序的行为来检测编译器bug。文章还分享了该工具在Vyper编译器中发现的一个优化bug，该bug导致局部变量被错误地映射到相同的堆栈位置，从而改变了程序的行为。该bug已在Vyper 0.4.2版本中修复。

编译器优化等价性检查形式化验证 Vyper Certora Prover bug检测

Certora
发布于 1小时前
阅读 ( 26 )

使用 Certora Prover 形式验证确保 infiniFi 中公平的赎回

infiniFi 是一个 DeFi 平台，通过管理 Pendle、AAVE 和 Ethena 等协议上的存款来优化收益。

DeFi iUSD Certora Prover FIFO 赎回队列形式化验证

Certora
发布于 1小时前
阅读 ( 27 )

以太坊扩容：通往4500万Gas上限及更远之路

文章讨论了以太坊通过增加Gas Limit来扩展其Layer 1能力的方法。近期目标是将Gas Limit从36M提升至45M，并规划了达到60M甚至100M的长期路径。文章详细介绍了实现这一目标的三大支柱：OPCODE和预编译基准测试、状态增长分析以及安全性和共识层影响，并分享了相关的测试结果和未来展望。

Gas Limit 以太坊扩展 EIP 状态增长网络传播 OpCode

EthPandaOps
发布于 1小时前
阅读 ( 26 )

本周加密货币市场回顾 (2025年06月30日)

本周比特币价格稳定，ETF资金流入强劲，机构兴趣浓厚；Altcoin市场普涨，Solana相对以太坊表现强势；稳定币市值小幅下降，Tron流入量大；NFT销售额略有回升但仍处于下行趋势；以太坊、Solana和Sui的TVL、DEX交易量和手续费收入均实现强劲增长。Kraken、Fiserv和Robinhood等公司纷纷推出与区块链和加密货币相关的产品和服务。

比特币 Altcoin 稳定币 NFT 以太坊 Solana

pineanalytics
发布于 1小时前
阅读 ( 33 )

精读《Rust编程之道》：吃透语言精要，彻底搞懂所有权与借用

in Rust

精读《Rust编程之道》：吃透语言精要，彻底搞懂所有权与借用“好读书，不求甚解；每有会意，便欣然忘食。”学习Rust就像开启一场独特的编程探险。它强大、安全，但也以其陡峭的学习曲线而闻名，尤其是其独特的“所有权”和“借用”机制，常常让初学者感到困惑。这篇文章是我在精读《Rust编程之道》第

Rust

寻月隐君
发布于 2小时前
阅读 ( 34 )

CertiK联合创始人顾荣辉在港大发表演讲，全景解构稳定币风险

近日，哥伦比亚大学教授、CertiK联合创始人兼CEO顾荣辉受邀赴港，参与“全球虚拟资产展望”圆桌论坛，并在香港大学商学院发表主题演讲。

稳定币 web3安全区块链

CertiK
发布于 9小时前
阅读 ( 56 )

Solana 智能合约终极部署指南：从入门到主网，定制你的专属靓号 Program ID

in Solana

Solana智能合约终极部署指南：从入门到主网，定制你的专属靓号ProgramID保姆级教程：基于Anchor框架，带你丝滑完成密钥管理、多环境部署与实战避坑还在为Solana合约部署的繁琐流程而头疼吗？还在羡慕别人的项目拥有一个以项目名开头、炫酷又易记的合约地址（Progra

Solana Web3

寻月隐君
发布于 12小时前
阅读 ( 51 )

Web3 极客日报 #1769

rebase
发布于 13小时前
阅读 ( 52 )
( 2 )

ethers.js 全栈开发实战：从 Provider 到 Utils 的 6 大核心模块深度解析

前言在以太坊生态中，ethers.js是开发者与区块链交互的核心工具包。本文系统梳理了其六大核心模块（Provider、Contract、Wallet、Utils、部署工具及高级功能），通过代码示例+关键差异对比+安全实践，帮助开发者快速掌握从环境搭建到链上交互的全流程。无论是浏览器端

ethers.js 实践

木西
发布于 16小时前
阅读 ( 62 )
( 2 )

DAEAD：具有关联数据的确定性认证加密

本文介绍了DAEAD（具有关联数据的确定性认证加密）中的SIV模式，它通过合成初始化向量来克服nonce重用/误用的问题。SIV模式结合确定性特征与AEAD，使用AES-SIV模式进行密钥包装，增强了加密的安全性，并提供了使用Go语言的Tink库实现DAEAD的示例代码。

DAEAD SIV 确定性认证加密 AES-SIV nonce 密钥包装

billatnapier
发布于 23小时前
阅读 ( 50 )
( 3 )

以太坊扩容从链上到链下：状态通道和Rollups 方案对比

本文介绍了以太坊Layer2扩展方案，包括状态通道和Roll-ups技术，Roll-ups又分为Optimistic Roll-ups和Zero-knowledge rollups(zk-Rollups)，以及Side chains。文章对比了各种方案的原理、特点和优缺点，并分析了各自的应用场景。

以太坊 Layer2 状态通道 Roll-ups Optimistic Roll-ups ZK-Rollups

asecuritysite
发布于 23小时前
阅读 ( 90 )
( 2 )

ERC-7201：命名空间存储布局

本文介绍了ERC-7201提案，旨在解决Solidity合约存储槽中存在的DelegateCall安全风险和升级不便等问题。ERC-7201引入命名空间概念，通过特定算法为不同逻辑组件分配独立的存储区域，实现存储隔离、升级友好、模块化支持和工具兼容等优势。文章还提供了实现示例，展示了如何在合约中使用ERC-7201。

ERC-7201 存储槽命名空间 delegatecall Solidity 智能合约

blockmagnates
发布于 23小时前
阅读 ( 75 )
( 3 )

Uniswap V2 详解：含代码示例的完整指南

本文详细介绍了Uniswap V2的核心机制，包括其核心/外围架构、流动性添加和移除、代币交换以及LP代币经济学。文章提供了实用的代码示例，展示了如何在Solidity中与Uniswap V2交互，并强调了安全最佳实践，如滑点保护、截止时间和安全批准，以构建可靠的去中心化交易应用。

Uniswap V2 自动化做市商 AMM 流动性提供代币交换 Solidity 智能合约

blockmagnates
发布于 23小时前
阅读 ( 81 )
( 4 )

Solidity ABI 编码深度解析：第二部分

本文是Solidity ABI编码系列文章的第二部分，深入探讨了Solidity中复杂数据结构（如结构体、数组和嵌套类型）的ABI编码机制。文章详细解释了静态结构体、动态结构体和嵌套动态类型结构体的编码过程，通过分步骤的示例，展示了如何确定结构体类型、创建头尾布局、编码头部和尾部，以及如何将它们组合起来生成最终的calldata。文章旨在帮助读者掌握Solidity ABI编码中的递归模式。

ABI编码 Solidity 结构体动态类型 Calldata 以太坊

decipherclub
发布于 23小时前
阅读 ( 95 )
( 5 )

Resupply 黑客事件分析

in 小白专享-图解以太坊编程

Resupply黑客事件分析

智能合约 Curve Resupply 黑客事件

shawn_shaw
发布于 1天前
阅读 ( 113 )
( 6 )

登链 Web3 技术周刊 | 周报新变化

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

周报

乌索普
发布于 1天前
阅读 ( 105 )
( 5 )

探索Rust编程之道：从设计哲学到内存安全的学习笔记