密码学文章 - 登链社区

GKR 教程 - 加速零知识证明的密码学方案 - Vitalik

本文详细介绍了GKR协议，这是一种用于加速零知识证明的密码学方案，尤其适用于处理具有多层结构和大量并行计算的复杂计算，如Poseidon哈希函数。文章深入探讨了GKR的核心构建模块Sumcheck协议，以及如何通过优化技巧和多项式承诺来提高效率，最终实现接近个位数的开销，并讨论了GKR在LLM推理等其他领域的潜在应用。

GKR协议零知识证明 Sumcheck协议 Poseidon哈希函数多项式承诺 zk-SNARK

Vitalik Buterin
发布于 4天前
阅读 ( 191 )
( 22 )

区块链101：区块链中的零知识证明

in 区块链101

本文深入探讨了零知识证明（ZK）在区块链中的应用，涵盖了其基本概念、可验证计算，以及在扩展性、隐私性和混合方法上的应用。文章还介绍了像Mina这样采用独特方式使用ZK技术的区块链项目，强调了ZK技术在推动区块链创新方面的潜力。

零知识证明 zk 区块链可验证计算扩展性隐私

Frank Mangone
发布于 2025-10-16
阅读 ( 403 )
( 29 )

防止 Merkle 树中的第二原像攻击：完整指南

本文深入探讨了 Merkle 树中的第二原像攻击，解释了其原理以及如何利用中间节点来伪造叶子节点的证明。文章还详细介绍了四种有效的防御策略，包括使用不同的哈希函数、对叶子节点进行双重哈希、添加前缀以及限制叶子节点的长度，并分析了这些方法在实际应用中的适用性。

Merkle 树第二原像攻击哈希函数密码学安全

Adevar labs
发布于 2025-10-15
阅读 ( 396 )
( 34 )

赏金追踪 2025 年 10 月：构建通用 FHEVM SDK

Zama 举办赏金计划，激励开发者为 Zama Confidential Blockchain Protocol 做出贡献。本季的挑战是构建一个通用的 FHEVM SDK，一个与框架无关的前端工具包，帮助开发者轻松运行 confidential dApp。奖金池为 10,000 美元，SDK 需要具备框架无关性、包装所有必需包、提供类似 wagmi 的结构，并支持快速设置加密和解密流程。

fhEVM SDK Zama 加密解密区块链

ZamaFHE
发布于 2025-10-10
阅读 ( 426 )
( 20 )

LogUp 在 zkVM 中的应用

Lookup(LogDerivativeLookupArgument)是一种通过**预计算表（LookupTable）**来验证某个值是否存在于特定集合中的技术。在ZKP中，它通常用于减少电路约束的复杂性，将复杂的算术约束（如位操作、范围检查）转换为查表操作，减少证明生成的开销。L

felicityin
发布于 2025-10-07
阅读 ( 112 )

重心插值

重心插值（Barycentricinterpolation）是拉格朗日插值的变换。有时候需要通过一组多项式点值直接计算另一个不同点处的值，例如，p(x)p(x)p(x)是一个度为2的多项式，可以在O(N)时间内用p(0),p(1),p(2)p(0),p(1),p(2)p(0),

felicityin
发布于 2025-10-07
阅读 ( 122 )

椭圆曲线深度解析（第 9 部分）

in 密码学101

本文深入探讨了配对技术的计算方法，重点介绍了米勒算法，该算法通过平方和加法在对数时间内计算配对，并讨论了不同类型的配对（Type 1, 2, 3, 4）及其在密码学中的应用。文章还详细解释了非退化性对于配对的重要性，以及如何通过选择合适的配对类型和曲线来确保配对的有效性。

配对米勒算法椭圆曲线密码学非退化性双线性映射

Frank Mangone
发布于 2025-10-07
阅读 ( 296 )
( 15 )

HPU深入解析：同态加密运算如何在同态处理器上运行

本文介绍了HPU（Homomorphic Processing Unit）如何执行操作，旨在为开发者提供一个清晰的HPU使用模型。HPU是一个与host CPU协同工作的PCIe协处理器，专注于密文计算，通过将整数分解为数字进行加密计算，并利用可编程自举（PBS）和密钥切换（KS）技术管理噪声，实现高效的同态加密计算。

同态加密 HPU TFHE 可编程自举密钥切换密文

ZamaFHE
发布于 2025-10-04
阅读 ( 718 )
( 20 )

TFHE-hpu-backend - 用于连接HPU加速器

本文档介绍了TFHE中用于连接HPU加速器的tfhe-hpu-backend代码。它包含一个HpuDevice抽象，可以轻松配置和调度HPU加速器上的TFHE操作。提供了HPU硬件设置、CPU密文克隆到HPU、在HPU上调度操作的示例以及预先构建的示例。

TFHE HPU 同态加密加速器 FPGA 硬件加速

zama-ai
发布于 2025-10-02
阅读 ( 610 )
( 13 )

ZK Mesh：2025年9月回顾

这是一份关于去中心化隐私保护技术、隐私协议开发和零知识系统研究的月度新闻通讯，ZK Mesh，精选了最新的研究、有用的文章、视频、播客、推文、工具、项目更新和活动，由 ZK Hack 制作。

零知识证明隐私保护密码学 zkSNARK zk-STARK 隐私协议

zkmesh
发布于 2025-09-30
阅读 ( 454 )
( 21 )

Tip5：代数哈希

本文主要介绍了代数哈希函数，包括 MiMC 和 Tip5。MiMC 具有低乘法复杂度的特点，常用于多方计算、同态加密和零知识证明。Tip5 是一种面向代数的哈希函数，利用小 Goldilocks 素数域，具有低乘法深度，包含 S-Box 层、MDS 层和 ARK 层。

代数哈希 MIMC Tip5 零知识证明有限域密码学

asecuritysite
发布于 2025-09-29
阅读 ( 485 )
( 20 )

因式分解等式多项式如何优化SUMCHECK协议

本文深入探讨了Bagad, Dao, Domb和Thaler关于加速SUMCHECK协议的工作，重点关注应用于多线性多项式乘积的多项式优化的SUMCHECK协议。文章详细介绍了等式多项式在密码学环境中的应用，并深入研究了由BDDT提出的SUMCHECK协议优化方案，包括变量分割、嵌套求和等关键技术，旨在提高协议的计算效率和降低内存需求。

Sumcheck协议等式多项式多线性多项式密码学优化密码协议

lambdaclass
发布于 2025-09-26
阅读 ( 799 )
( 13 )

密码学之 Ecdsa 签名、GG20、MPC 钱包 (四) 完整版

in 密码学方向

GG20协议（One Round Threshold ECDSA with Identifiable Abort）是基于GG18协议的改进，是当前实现ECDSA阈值组签名最主流、最安全的协议之一。它专为MPC钱包设计，支持分布式密钥生成和签名。

区块链 MPC 钱包 GG20 多方安全计算阈值签名 ECDSA签名

皓码
发布于 2025-09-26
阅读 ( 616 )
( 28 )

有限循环群的基本定理

本文深入探讨了有限循环群的基本定理，解释了该定理如何保证循环群中循环子群的存在性。文章从子群的定义、群的阶、元素的幂、循环子群和循环群等概念入手，逐步引入有限循环群的基本定理，并通过实例展示了如何利用该定理寻找有限域中的乘法子群及其生成元。此外，文章还提到了该定理在密码学和 ZK-STARKs 中的应用背景。

有限循环群子群生成元有限域乘法子群阶

RareSkills
发布于 2025-09-24
阅读 ( 377 )
( 15 )

Succinct Labs：SP1和SPN有什么区别？

本文介绍了Succinct Labs的SP1 zkVM和Succinct Prover Network (SPN)。SP1是一个零知识虚拟机，简化了ZK证明的生成，而SPN是一个去中心化的网络，用于加速和降低ZK证明的成本，二者结合使用，通过SP1生成证明，并通过SPN加速证明过程。

SP1 SPN zkVM 零知识证明 STARK SNARK

Hazeflow
发布于 2025-09-22
阅读 ( 642 )
( 25 )

科赫尔的时间攻击：从理论到实践的旅程

本文详细介绍了如何利用时间侧信道攻击破解密码系统，通过模块化指数运算中的平方-乘算法，揭示了密钥比特为1时额外的乘法操作导致的时间差异。文章通过逐步实现的案例，从理想化的指令成本模型到实际系统中的噪声挑战，再到工程解决方案，展示了实际攻击中克服噪声、提取关键信息的技术，强调了防御方需要采用恒定时间实现、盲化等措施来防止信息泄露。

时间侧信道攻击密码学密钥恢复方差区分器模块化指数运算平方-乘算法

zksecurity
发布于 2025-09-20
阅读 ( 979 )
( 48 )

解读 Boundless

Boundless 是一个去中心化的 zk 计算市场，它通过智能合约系统连接需要计算任务的开发者和提供硬件资源的 Prover。文章将 Boundless 比作全球快递公司，详细解释了其运作机制，包括任务发布、价格确定、验证、失败处理以及长期激励机制，旨在简化对 Boundless 复杂概念的理解。

零知识证明 zkVM RISC Zero zk 计算 prover Dutch Reverse Auction

Hazeflow
发布于 2025-09-18
阅读 ( 791 )
( 25 )

TFHE 密文 Bootstrapping 耗时低于 1 毫秒

Zama 团队宣布在 GPU 上实现了 TFHE bootstrapping 的重大突破，将 4 比特消息的延迟降低到微秒级别，同时保持了相同的安全级别和失败概率。他们通过优化算法和利用 GPU 资源，显著提高了 bootstrapping 的速度，使得 FHE 在实际应用中更具可行性，尤其是在区块链领域。

同态加密 TFHE Bootstrapping GPU加速性能优化区块链

ZamaFHE
发布于 2025-09-18
阅读 ( 691 )
( 57 )

密码学之 Ecdsa 签名、GG20、MPC 钱包 (四) 下