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

Passkey ECDSA 验证的 ZKP 系统基准测试

Base团队对四种领先的零知识证明（ZKP）系统（SnarkJS、Rapidsnark、Gnark和Noir）在验证基于passkey-wallet的签名性能进行了基准测试，重点关注了证明生成时间和gas成本。结果显示，Noir在证明生成速度上表现突出，但gas成本较高，而Groth16系统在gas成本方面更具优势。
零知识证明  ZKP  Passkey  snarkjs  rapidsnark  Noir 

网络安全真相：PBKDF2 和 OpenSSL

本文介绍了在网络安全中，如何使用 PBKDF2 (Password-Based Key Derivation Function 2) 和 OpenSSL 来安全地从密码生成加密密钥。PBKDF2 通过增加迭代次数来减慢哈希过程，从而提高密码破解的难度，文章通过C代码展示了如何在OpenSSL中使用PBKDF2，并使用测试向量验证了其正确性。
PBKDF2  OpenSSL  密码哈希  密钥派生函数  KDF  安全 

ZK 月报：2025年8月回顾

ZK Mesh是一个关于去中心化隐私技术、隐私协议开发和零知识系统研究的月度新闻通讯，内容涵盖了最新的研究、文章、视频、播客、项目更新和活动等信息，由ZK Hack制作。
零知识证明  隐私技术  zk-SNARK  zk-STARK  多方计算  同态加密 
  • zkmesh
  • 发布于 2天前
  • 阅读 ( 112 )
  • ( 3 )

网络安全真相：PBKDF2 和 OpenSSL

本文介绍了在网络安全中用于从密码生成加密密钥的标准方法PBKDF2，它通过增加迭代次数和使用盐值来减慢哈希过程，从而提高密码的安全性。文章通过OpenSSL和C语言实现了PBKDF2，并使用测试向量验证了其正确性。
PBKDF2  OpenSSL  密码哈希  密钥派生函数  KDF  SHA256 

优化Sumcheck协议

本文深入探讨了SUMCHECK协议的优化，特别关注由Bagad、Dao、Domb和Thaler提出的针对字段乘法不成比例成本的问题。通过分解多线性多项式的评估过程，将与验证者交互相关的昂贵操作与可预先计算的基域操作分离，从而显著提高效率。文章详细介绍了如何使用拉格朗日插值和idx4算法来优化预计算阶段，从而减少计算量并提高性能。
Sumcheck协议  多线性多项式  拉格朗日插值  SNARK  密码学  零知识证明 

密码学 - SM2曲线 - Asecuritysite

本文介绍了中国商用密码算法SM2，它定义了公钥密码，并与SM3（哈希函数）和SM4（加密算法）一起使用。文章通过代码示例展示了如何在OpenSSL中使用SM2曲线生成密钥对和进行签名，并解释了SM2曲线的参数以及签名输出的DER格式。
SM2  公钥密码  椭圆曲线密码学  OpenSSL  数字签名  国密算法 

一种非格 PQC 签名方法：SLH-DSA (SPHINCS+) 和 OpenSSL 3.5

本文介绍了NIST标准化的哈希签名算法SLH-DSA (SPHINCS+)，它是ML-DSA（Dilithium）和FN-DSA（Falcon）的替代方案，文章讨论了它的密钥大小、签名过程，以及在OpenSSL 3.5中的代码实现示例, 并与 ML-DSA 和 Falcon 等方案在密钥长度和安全性上进行了对比。
SLH-DSA  SPHINCS+  哈希签名  后量子密码学  OpenSSL  密钥大小 

多线性多项式：生存工具包

本文介绍了多线性多项式的基本性质，包括定义、插值、坐标和求值、张量化以及多线性多项式乘积等。重点介绍了如何通过在超立方体上进行求值来计算多线性多项式在多线性插值基下的坐标，并提出了用于判断多线性多项式是否包含特定变量的算法，包括分治法和最低有效位优先（LSB First）的步长方法。
多线性多项式  插值  超立方体  Sumcheck协议  密码学  张量积 

基于格的哈希函数

介绍了基于 **SIS** 与 **LWE** 的单向哈希函数构造。SIS 构造保证了抗碰撞性并连接平均与最坏情况困难性，而 LWE 构造更为简洁，具备唯一解及良好的平均情况安全性。
格密码 
  • ZKM
  • 发布于 2025-08-25
  • 阅读 ( 311 )
  • ( 8 )

隐私货币：第三部分

本文深入探讨了Zcash中用于防止双重支付并保护隐私的机制，重点介绍了Zcash如何通过zk-SNARKs和nullifier集来验证交易，同时探讨了Merkle树在处理Zcash交易中的局限性，并提出了使用集合非包含累加器（set non-inclusion accumulator）的解决方案，以实现更高效、可扩展的隐私保护。
Zcash  zk-SNARKs  零知识证明  双重支付  Merkle树  累加器 
  • bhargav
  • 发布于 2025-08-22
  • 阅读 ( 381 )
  • ( 24 )

ZK数学详解：同态

本文介绍了同态的概念，即在代数结构之间保持结构的映射，允许在转换后的数据上进行操作，同时维护与原始数据的关系。同态对于零知识证明至关重要，因为它允许在不泄露原始值的情况下对加密或承诺的数据执行计算。文章还提供了群同态和环同态的例子，并解释了同态在零知识证明中的应用，如PLONK中使用的同态承诺方案。
同态  零知识证明  代数结构  群同态  环同态  PLONK 
  • Cyfrin
  • 发布于 2025-08-22
  • 阅读 ( 417 )
  • ( 17 )

AES-GCM-SIV：一个更好的AES-GCM版本？

本文介绍了AES-GCM-SIV，这是一种改进的AES-GCM版本，它通过从nonce值派生密钥来克服nonce重用问题，从而提供更高的安全性。文章对比了AES-GCM和AES-GCM-SIV的性能，并提供了Python代码示例，展示了如何在实际中使用AES-GCM-SIV进行加密和解密。
AES-GCM  AES-GCM-SIV  对称密钥加密  nonce重用  POLYVAL  AEAD 

哪种密钥封装方法（KEM）最快？ML-KEM 的性能如何？

本文分析了不同密钥封装方法（KEM）的性能，包括密钥生成、封装和解封装的速度。实验结果显示，ML-KEM 在各个方面表现良好，是现有 KEM 方法的优秀替代品。RSA 在密钥生成和解封装方面较慢，而 P256 曲线在密钥生成方面最快。
密钥封装方法  KEM  ML-KEM  RSA  P256  X25519 

带附加数据的认证加密（AEAD）：了解AES GCM、ChaCha20/Poly1305、AES CCM…

本文介绍了AEAD（Authenticated Encryption with Associated Data）认证加密技术，它通过在加密过程中加入额外的认证数据，在保证数据机密性的同时，也保证了数据的完整性和真实性。文章还介绍了目前主流的AEAD实现方案，包括AES GCM、AES SIV、AES CCM、ChaCha20/Poly1305和AES OCB3，并给出了相应的代码示例。
AEAD  AES GCM  AES SIV  AES CCM  ChaCha20/Poly1305  AES OCB3 

GARUDA: Faster SNARKs via Equifficient Polynomial Commitments

GARUDA: Faster SNARKs via Equifficient Polynomial Commitments
zk  ZKP 
  • longerd
  • 发布于 2025-08-20
  • 阅读 ( 320 )
  • ( 13 )

GARUDA and PARI: Faster and Smaller SNARKs via Equifficient Polynomial Commitments

PARI: Smaller SNARKs via Equifficient Polynomial Commitments
zk  ZKP 
  • longerd
  • 发布于 2025-08-20
  • 阅读 ( 265 )
  • ( 10 )

Jolt 速度提升 6 倍——而我们才刚刚开始

Jolt 已经完全集成了 Twist and Shout 内存检查参数，从而显著提升了性能，在 32 核 CPU 上实现了超过 100 万 RISC-V 周期/秒的速度，同时将证明大小降低到约 50 KB。这种集成还简化了代码库，并为未来的优化（例如流式证明器）铺平了道路，从而可以在资源受限的设备上进行证明，而无需复杂的递归。
zkVM  RISC-V  证明  Twist and Shout  Jolt  SNARK 

零知识证明中的循环群

本文介绍了零知识证明中所需的循环群的数学概念。循环群由生成元通过重复应用群操作生成所有元素，同时解释了离散对数问题(DLP)的困难性，以及它如何在密码学中用于隐藏秘密信息，并以具体的数学例子说明了如何验证生成元以及求解离散对数问题。
循环群  生成元  离散对数问题  模运算  子群  零知识证明 
  • Cyfrin
  • 发布于 2025-08-15
  • 阅读 ( 945 )
  • ( 24 )

超越零知识：全同态加密如何实现私有共享状态

本文探讨了全同态加密（FHE）在区块链中的应用，特别是作为协处理器以解决隐私问题。文章分析了将FHE原生集成到虚拟机以及使用FHE协处理器的两种方案，并讨论了FHE在支持私有共享状态方面的优势，以及FHE技术栈中引入的可信第三方的风险。最后，文章列举了FHE潜在的应用场景，并介绍了OpenZeppelin在推动保密代币标准方面的工作。
全同态加密  FHE  区块链  协处理器  零知识证明  隐私 

有限域F p上的MiMC-Feistel（双分支Feistel网络）

本文介绍了MiMC-Feistel密码，它是一种对称密钥加密方法，基于Feistel网络，并在有限域上进行操作。MiMC-Feistel在多方计算、全同态加密和零知识证明等领域具有应用前景，并且相比AES，其复杂度更低。
MiMC-Feistel  Feistel网络  对称密钥加密  有限域  零知识证明  密码学