文章 - 第78页 - 登链社区

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

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

哈希函数零知识证明 Pedersen哈希 Poseidon哈希椭圆曲线有限域

billatnapier
发布于 2025-08-10
阅读 ( 2022 )
( 36 )

MiMC7哈希算法

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

MiMC7 哈希算法零知识证明 zkSNARKs 乘法复杂性

asecuritysite
发布于 2025-08-10
阅读 ( 1335 )
( 15 )

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

本文深入探讨了 Solana Anchor 框架中隐藏的 IDL（接口描述语言）指令及其潜在的安全风险。

Solana Anchor IDL 安全漏洞类型混淆智能合约

accretionxyz
发布于 2025-08-10
阅读 ( 927 )
( 5 )

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

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

MPT

一眼万年
发布于 2025-08-09
阅读 ( 3122 )
( 50 )

三明治 MEV 对 CoW Swap 的影响：比任何其他 DEX 低一个数量级

该文章分析了三明治攻击对 CoW Swap 的影响，发现 CoW Swap 的订单匹配设计使其对 MEV 具有一定的抵抗性。通过对 2022 年数据的分析，文章指出，相比 Uniswap 和 Curve，CoW Swap 上受三明治攻击影响的交易比例和交易量都较低，但 The Merge 后攻击频率有所增加。文章还深入分析了受攻击的 solver 和协议，为交易者和设计者提供了有价值的参考。

MEV 三明治攻击 CoW Swap DEX Uniswap Curve

eigenphi
发布于 2025-08-09
阅读 ( 16 )

格密码的HD钱包 - 密码学

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

HD钱包格密码学 Dilithium HMAC-SHA512 密钥推导确定性钱包

以太坊中文
发布于 2025-08-09
阅读 ( 1038 )

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

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

以太坊交易类型 RLP序列化 EIP-1559 EIP-2930 EIP-191

Andrey Obruchkov
发布于 2025-08-09
阅读 ( 3297 )
( 56 )

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

in Web3

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

Rust NFT Pinata IPFS Web3

寻月隐君
发布于 2025-08-09
阅读 ( 1462 )
( 14 )

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

in Web3 敲门砖计划

链上交互并非点一下那么简单，每次确认都可能影响资产安全，了解风险与防护是Web3生存必修课

链上交互安全意识

Henry
发布于 2025-08-09
阅读 ( 1469 )
( 26 )

多变量Sumcheck协议

in zkMIPS解读

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

ZKM zkVM

ZKM
发布于 2025-08-09
阅读 ( 1026 )
( 8 )

阻止MEV机器人：加密货币交易者指南 - CoW DAO

本文深入探讨了MEV（最大可提取价值）机器人对以太坊交易的潜在危害，详细解释了MEV机器人的工作原理，包括前端运行、后盾运行、三明治攻击、套利和清算机器人。文章还提供了多种保护措施，如使用严格的滑点、自定义RPC端点、在流动性好的池中交易、使用基于意图的交易解决方案以及成为求解器，旨在帮助加密货币交易者避免MEV机器人的负面影响。

MEV MEV 机器人前端交易三明治攻击套利以太坊 DeFi

CowSwap
发布于 2025-08-09
阅读 ( 18 )

Pedersen 哈希算法

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

Pedersen哈希零知识证明椭圆曲线加密哈希 zk-SNARK 承诺方案

billatnapier
发布于 2025-08-09
阅读 ( 1577 )
( 17 )

图解 Ark 协议：VTXO 的类型

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

vTXO Ark协议 UTXO 交易树单方面退出比特币

BTCStudy
发布于 2025-08-09
阅读 ( 1696 )
( 3 )

基于Solidity ^0.8.0 重构UniswapV2

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

Solidity UniswapV2

onefish
发布于 2025-08-08
阅读 ( 1163 )
( 29 )

Hyperliquid的HIP-3是什么？其运作方式和用例

本文分析了Hyperliquid的HIP-3提案，该提案允许以完全无需许可的方式创建新的市场。文章重点介绍了HIP-3的机制、战略价值，以及通过Kinetiq、Liminal和Ventuals等项目实现的用例，HIP-3旨在将Hyperliquid定位为链上金融的基础设施，并为用户提供更多收益和投资机会。

Hyperliquid HIP-3 去中心化交易所永续合约 Kinetiq Liminal

OAK
发布于 2025-08-08
阅读 ( 1582 )
( 23 )

DeFi 安全性解析：从交易威胁到协议漏洞及其他 - CoW DAO

本文深入探讨了DeFi领域的安全问题，从交易层面（如MEV和三明治攻击）到协议漏洞（如智能合约漏洞和预言机操纵），再到个人安全风险，全面解析了DeFi生态系统中存在的各种威胁，并介绍了CoW Protocol如何应对这些威胁，最后强调了多层次安全方法的重要性。

DeFi安全 MEV 三明治攻击智能合约漏洞预言机 CoW协议

CowSwap
发布于 2025-08-08
阅读 ( 19 )

ERC-8002：简易支付验证网关 - ERCs

该提议介绍了一个以太坊上的单例合约，用于链上验证比特币交易。该合约作为一个无需信任的简易支付验证 (SPV) 网关，允许提交比特币区块头，维护主链，并通过Merkle证明验证交易的存在。此举旨在将比特币引入以太坊的 DeFi 协议，并为未来实现无需许可的双向桥铺平道路。

SPV 比特币以太坊 DeFi 梅克尔证明智能合约

以太坊中文
发布于 2025-08-08
阅读 ( 653 )

密码学 - 环与域

本文介绍了环和域这两个代数结构，它们都具有两个二元运算，通常称为加法和乘法。环是在加法下构成阿贝尔群，乘法下满足封闭性和结合律，且乘法对加法满足分配律的集合。域则是在加法和乘法下都构成阿贝尔群，且乘法对加法满足分配律的集合。

环域阿贝尔群二元运算有限域密码学

Cyfrin
发布于 2025-08-08
阅读 ( 1200 )
( 9 )

012：L2 是什么？Rollup 到底 Roll 的是什么？