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

理解以太坊交易和消息：从状态变更到链下消息 - 第二部分

本文深入探讨了以太坊交易的未来发展方向，包括信标链（Beacon Chain）、EIP-4844 Blob交易、EIP-7702 Set Code交易和EIP-712 Typed Structured Data Signing。
以太坊  交易  信标链  EIP-4844  EIP-7702  EIP-712 

015: 如何正确授权与撤销授权（Approve / Revoke）

in  Web3 敲门砖计划
链上授权是代币交互的前提，但无限授权可能带来巨大风险。本文介绍授权机制、撤销授权的重要性，以及通过分仓、定期检查、限额授权等方法，降低资产被盗的可能性。
安全授权  取消授权  钱包  Web 3 
  • Henry
  • 发布于 2025-08-11
  • 阅读 ( 867 )
  • ( 20 )

编译器缺陷引发编译器缺陷：一个存在 12 年的 G++ 缺陷如何摧毁 Solidity

Solidity 编译器在特定环境下 (G++ < 14, Boost < 1.75, 启用 C++20) 编译包含长度表达式的 Solidity 代码时会因编译器缺陷而崩溃。这是由于 G++ 的一个长期存在的重载解析bug，加上 C++20 的对称比较特性以及旧版本的 Boost 库中的代码共同作用导致的无限递归问题。
Solidity  编译器  G++  Boost  C++20  编译错误 
  • osecio
  • 发布于 2025-08-11
  • 阅读 ( 626 )
  • ( 18 )

Rust 实战：从零构建一个多线程 Web 服务器

in  Rust
Rust实战：从零构建一个多线程Web服务器在众多编程语言中，Rust因其卓越的性能、内存安全和强大的并发能力，在系统编程领域备受青睐。构建一个Web服务器是学习和实践这些特性的绝佳项目。本文将摒弃复杂的框架，带你回归本源，从一个基本的TCP监听器开始，一步步迭代，最终构建出一个
Rust 

零知识证明变得简单：zkWeb 和 ZoKrates

本文介绍了使用zkWeb快速生成零知识证明（ZKP）的方法，zkWeb利用zokrates Javascript文件和Solidity代码生成ZKP，通过一个哈希值的例子，展示了如何使用Zokrates和Solidity来创建一个零知识证明，验证知道秘密x但无需暴露x本身，最后部署到以太坊测试网络上。
零知识证明  zkSNARKs  以太坊  zkWeb  ZoKrates  密码学 

应用 ZK 解数独，无需泄露答案

本文介绍了如何使用zkSnark和ZoKrates工具包在以太坊上创建一个智能合约来解决数独问题，同时不泄露答案。文章详细展示了如何定义公共变量和私有变量，以及如何使用Zokrates插件在Remix中编写代码，生成零知识证明，并将验证密钥部署到智能合约中。
零知识证明  zkSNARK  ZoKrates  智能合约  数独  Remix  Solidity语言 

BlockThreat - 2025年第31周周报

本周关注 Samourai Wallet 和 Tornado Cash 案件审判，以及链运营商对生态系统安全的投资。Multichain Router漏洞导致用户资金被盗，SuperRare staking 合约存在权限检查漏洞。此外，还报道了 LuBian 矿池 2020 年发生的价值 35 亿美元的 BTC 被盗事件，以及 Monero 面临的 51% 攻击威胁。
漏洞  安全审计  加密货币  黑客攻击  信息安全  多链 

Ethereum: 专为区块链定制了一个完善的数据存储系统

1.存储系统概述1.1区块链存储的独特挑战以太坊作为世界计算机，其存储系统面临着传统数据库系统不一样的挑战。历史数据永不删除，每个区块的状态都可能被查询，所有数据必须通过Merkle树进行加密学验证，以确保相同输入产生相同的存储状态。系统每个周期产生一个新区块且永不停止，智能合约状态数据呈指
存储 

014：如何安全地使用钱包：冷钱包、热钱包、硬件钱包与分仓策略

in  Web3 敲门砖计划
Web3 钱包不是存放资产的地方，而是掌管密钥、访问区块链资产的工具。本文介绍热、冷、硬件钱包的特点，分仓策略的重要性，以及提升链上资产安全性的日常习惯
钱包  资产安全  钱包风险  钱包安全  Web3 
  • Henry
  • 发布于 2025-08-10
  • 阅读 ( 808 )
  • ( 16 )

哈希的奇妙之处：SHA-256、Pedersen 和 Poseidon

本文介绍了在以太坊等区块链中，为了实现零知识证明（ZKP）并提高效率，对哈希函数的需求。传统哈希函数如SHA-256在区块链环境中计算成本高昂，因此提出了Pedersen哈希（基于椭圆曲线数学）和Poseidon哈希（基于有限域计算）作为替代方案，并提供了代码示例。
哈希函数  零知识证明  Pedersen哈希  Poseidon哈希  椭圆曲线  有限域 

MiMC7哈希算法

本文介绍了MiMC7哈希算法，这是一种在零知识证明（如zkSNARKs）中高效实现的哈希方法。MiMC7通过降低乘法复杂性，优化了性能，尤其是在多方计算（MPC）、全同态加密（FHE）和零知识证明（ZKP）等领域。实验表明，MiMC7在性能上优于SHA-256等传统哈希算法。
MiMC7  哈希算法  零知识证明  zkSNARKs  乘法复杂性 

Ethereum: 面试官最爱问的Merkle Patricia Trie (MPT) 到底是个啥

Merkle Patricia Trie (MPT) 是以太坊的核心数据结构，巧妙结合了 Patricia Trie、Merkle Tree 和 RLP 编码的优势，实现了高效、可验证且紧凑的数据存储。
MPT 

理解以太坊交易和消息：从状态变更到链下消息——第一部分

本文详细介绍了以太坊中的交易类型和消息，包括交易（Legacy Transaction、EIP-2930 Access List Transaction和EIP-1559 Dynamic Fee Transaction）和消息（EIP-191 Signed Data）。
以太坊  交易类型  RLP序列化  EIP-1559  EIP-2930  EIP-191 

Rust NFT 开发实战：构建生产级的 Pinata IPFS 自动化上传工具

in  Web3
RustNFT开发实战：构建生产级的PinataIPFS自动化上传工具在上一篇《TypeScriptNFT开发实战》中，我们用TS成功实现了将NFT图片和元数据自动化上传到Pinata。作为该系列的延续，本文我们将转向以高性能、内存安全和可靠性著称的Rust语言。我们
Rust  NFT  Pinata  IPFS  Web3 

013：链上交互安全吗？一次点击背后可能藏着的陷阱

in  Web3 敲门砖计划
链上交互并非点一下那么简单，每次确认都可能影响资产安全，了解风险与防护是Web3生存必修课
链上交互  安全意识 
  • Henry
  • 发布于 2025-08-09
  • 阅读 ( 425 )
  • ( 14 )

多变量Sumcheck协议

in  zkMIPS解读
多变量求和检验协议（Multivariate Sumcheck Protocol）通过将多线性多项式在布尔超立方体上的求和问题逐步化简为一元检验来进行验证，利用多线性扩展避免了昂贵的 FFT 运算，从而实现高效且适用于零知识证明（ZKP）的特性。
ZKM  zkVM 
  • ZKM
  • 发布于 2025-08-09
  • 阅读 ( 328 )
  • ( 7 )

Pedersen 哈希算法

本文介绍了Pedersen哈希算法，它通过组合椭圆曲线上的点来实现加密哈希过程，使其在零知识证明（ZKP）系统中特别有用。文章解释了Pedersen哈希的基本原理，包括如何将输入消息分解为多个块，并使用这些块基于生成器点生成一系列椭圆曲线点，最后将生成的点相加得到哈希值。
Pedersen哈希  零知识证明  椭圆曲线  加密哈希  zk-SNARK  承诺方案 

图解 Ark 协议：VTXO 的类型

本文介绍了Ark协议中的VTXO（虚拟交易输出）概念，它是Ark协议的基础模块，类似于比特币的UTXO。文章详细描述了三种VTXO类型（入门型、刷新型和支出型）的构造、信任模式、成本和过期时间，以及它们之间的比较。此外，还解释了交易树的结构、花费路径以及用户如何与不同类型的VTXO交互。
vTXO  Ark协议  UTXO  交易树  单方面退出  比特币 
  • BTCStudy
  • 发布于 2025-08-09
  • 阅读 ( 761 )
  • ( 3 )

基于Solidity ^0.8.0 重构UniswapV2

基于Solidity^0.8.0重构UniswapV2项目文档项目概述本项目是UniswapV2去中心化交易所的完整实现，基于Solidity^0.8.0开发。UniswapV2是一个自动做市商（AMM）协议，允许用户在没有传统订单簿的情况下进行代币交换和提供流动性。
Solidity  UniswapV2 
  • onefish
  • 发布于 2025-08-08
  • 阅读 ( 425 )
  • ( 27 )

密码学 - 环与域

本文介绍了环和域这两个代数结构，它们都具有两个二元运算，通常称为加法和乘法。环是在加法下构成阿贝尔群，乘法下满足封闭性和结合律，且乘法对加法满足分配律的集合。域则是在加法和乘法下都构成阿贝尔群，且乘法对加法满足分配律的集合。
环  域  阿贝尔群  二元运算  有限域  密码学 
  • Cyfrin
  • 发布于 2025-08-08
  • 阅读 ( 531 )
  • ( 7 )