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

零知识证明变得简单：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% 攻击威胁。
漏洞  安全审计  加密货币  黑客攻击  信息安全  多链 

本周加密货币市场回顾（2025年8月10日）

本周加密货币市场呈现出乐观态势。宏观经济条件利好风险资产，稳定币供应量加速增长，NFT市场小幅复苏，DeSci代币价格飙升。Solana上的PreStocks等创新项目扩展了代币化资产的访问，美国监管政策也为加密货币市场带来利好，例如允许401(k)账户投资加密货币并禁止对加密货币公司进行区别对待。
加密货币  稳定币  NFT  DeSci  Solana  401(k) 

是谁偷走了你的 Gas？揭示以太坊存储过度收费的真相

是谁偷走了以太坊交易gas？ 从区块链存储角度给出新答案，不是网络拥堵，也不是矿工贪心；是计费“算法”在误把缓存当成磁盘。

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

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

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

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

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

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

MiMC7哈希算法

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

隐藏的 IDL 指令及潜在的安全隐患

本文深入探讨了 Solana Anchor 框架中隐藏的 IDL（接口描述语言）指令及其潜在的安全风险。
Solana  Anchor  IDL  安全漏洞  类型混淆  智能合约 

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

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

格密码的HD钱包 - 密码学

本文档描述了一种使用lattice-cryptography的分层确定性钱包方案。该方案旨在将HD钱包技术应用于格密码学，特别是Dilithium签名方案，以解决传统HD钱包方案在格密码学中面临的挑战，例如HMAC-SHA512的输出不能直接用作格私钥，以及缺乏与椭圆曲线点加法等效的格公钥操作。该方案使用HMAC的熵输出作为多项式采样的RNG，并与BIP32中的硬化密钥推导保持一致。
HD钱包  格密码学  Dilithium  HMAC-SHA512  密钥推导  确定性钱包 

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

本文详细介绍了以太坊中的交易类型和消息，包括交易（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
  • 阅读 ( 972 )
  • ( 26 )

多变量Sumcheck协议

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

Pedersen 哈希算法

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

图解 Ark 协议：VTXO 的类型

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

# GPT-5发布，AI创新触手可及

昨夜，GPT-5重磅上线，全球AI圈沸腾。更令人振奋的是，ModelGate平台同步上线该模型，并开放千万Token免费体验，让AI创新真正面向每一个普通用户。作为一名开发者和AI爱好者，我第一时间体验了这套组合，感受到这场技术浪潮的澎湃和机遇。一、GPT-5进化：更智能、更懂你GPT-5不
  • sss
  • 发布于 2025-08-08
  • 阅读 ( 175 )

基于Solidity ^0.8.0 重构UniswapV2

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