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

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

infiniFi 是一个 DeFi 平台，通过管理 Pendle、AAVE 和 Ethena 等协议上的存款来优化收益。
DeFi  iUSD  Certora Prover  FIFO  赎回队列  形式化验证 
  • Certora
  • 发布于 4天前
  • 阅读 ( 219 )
  • ( 5 )

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

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

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

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

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

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

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

近日，哥伦比亚大学教授、CertiK联合创始人兼CEO顾荣辉受邀赴港，参与“全球虚拟资产展望”圆桌论坛，并在香港大学商学院发表主题演讲。
稳定币  web3安全  区块链 
  • CertiK
  • 发布于 5天前
  • 阅读 ( 247 )
  • ( 10 )

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

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

Web3 极客日报 #1769

  • rebase
  • 发布于 5天前
  • 阅读 ( 123 )
  • ( 4 )

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

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

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

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

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

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

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

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

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

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

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

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

Resupply 黑客事件分析

in  小白专享-图解以太坊编程
Resupply黑客事件分析
智能合约  Curve  Resupply  黑客事件 

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

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

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

in  Rust
探索Rust编程之道：从设计哲学到内存安全的学习笔记在编程世界中，Rust以其内存安全、零成本抽象和高性能的特性迅速崛起，成为系统级编程的新宠。《Rust编程之道》不仅是一本技术书籍，更是一场探索Rust设计哲学与实践的旅程。本文将带你走进Rust的世界，从其语言特性到内存管理，梳理核心概念，助你
Rust 

混合加密：ECIES

本文介绍了混合加密方案ECIES（Elliptic Curve Integrated Encryption Scheme），它结合了公钥加密的安全性和对称密钥加密的效率。文章解释了 ECIES 的原理，包括 Alice 如何使用 Bob 的公钥生成共享密钥，加密消息并发送给 Bob，以及 Bob 如何使用私钥解密消息。同时给出了一个Golang中使用Google Tink实现的ECIES的例子。
混合加密  ECIES  椭圆曲线  公钥加密  对称密钥加密  Google Tink  golang 

密钥封装的公钥加密之美：HPKE

本文介绍了混合公钥加密（HPKE）结合密钥封装（KEM）的加密方法，它使用接收者的公钥来加密数据，使用密钥派生函数（KDF）来派生密钥，并使用带有附加数据的认证加密（AEAD）函数来加密数据，同时还给出了使用Go语言实现的HPKE代码示例。
公钥加密  密钥封装  HPKE  KEM  密钥派生函数  HKDF 

即使进行了零知识证明（ZK）包装，数字身份也存在风险吗？

文章探讨了零知识证明（ZK）包装的数字身份的潜在风险，尽管ZK能解决许多隐私问题，但它并不能完全消除风险。文章指出，试图维护“一人一身份”的模式会带来隐私泄露、易受胁迫和错误等问题。文章提倡一种折衷方案，即允许多个身份的存在，并提出“多元身份”的概念，包括显式的（基于社交关系）和隐式的（多种类型的ZK身份，没有哪一种占据绝对市场份额），以实现更理想的平衡。
零知识证明  数字身份  隐私  多元身份  反女巫攻击  zk-wrapping 

Web3 极客日报 #1768

  • rebase
  • 发布于 2025-06-28
  • 阅读 ( 111 )
  • ( 5 )