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

多变量二次(MQ)签名方案： 对比 UOV 和MAYO签名方案

本文介绍了后量子密码学中的多变量二次(MQ)签名方案，重点比较了UOV（Unbalanced Oil and Vinegar）和MAYO签名方案。UOV签名速度快、签名尺寸小，但是密钥尺寸太大。MAYO是UOV的变体，具有更小的公钥尺寸，在NIST的额外签名竞赛中表现出潜力。
后量子密码学  数字签名  UOV  MAYO  多变量二次方程  NIST 

后量子算法：保障密码学的未来

本文探讨了量子计算对传统加密技术的威胁，并介绍了后量子算法作为一种解决方案。后量子算法利用数学难题来保护数据免受量子攻击，并详细介绍了后量子算法的类型、工作原理、实际应用以及面临的挑战。同时，文章还强调了政府和全球在量子安全方面做出的努力。
后量子算法  量子计算  加密技术  网络安全  lattice-based密码学  hash-based密码学 

后量子区块链：去中心化技术的未来

本文介绍了后量子区块链（Post Quantum Blockchain），这是一种利用抗量子计算机的密码学算法来保护区块链网络的技术。文章阐述了传统区块链面临的量子计算威胁，并详细介绍了后量子区块链的核心原则、优势以及在金融、医疗、供应链和政府等领域的实际应用。
后量子区块链  量子计算  密码学  抗量子算法  数据安全  区块链 

多方计算（MPC）、阈值签名（TSS）和MPC-TSS钱包概述

本文深入探讨了数字资产安全领域，对比了传统钱包和多方计算（MPC）钱包的优缺点，重点介绍了基于阈值签名方案（TSS）的MPC钱包如何通过密钥分片和分布式密钥生成（DKG）来提高安全性，并分析了ZenGo钱包的具体实现及其备份恢复机制，强调了MPC技术在解决私钥管理难题中的作用。
多方计算  MPC  阈值签名  TSS  密钥管理  ZenGo钱包 
  • Mohamed
  • 发布于 2025-07-25
  • 阅读 ( 1292 )
  • ( 54 )

集合论基础

本文介绍了集合论的基础知识，包括有限集和无限集、集合运算和函数。这些概念对于理解零知识证明中使用的密码学结构至关重要。文章还介绍了子集、超集、集合运算、关系和函数等概念，为后续学习群论和零知识证明协议打下基础。
集合论  有限集  无限集  集合运算  子集  函数 
  • Cyfrin
  • 发布于 2025-07-25
  • 阅读 ( 601 )
  • ( 12 )

Zama 与 OpenZeppelin 合作，为 DeFi 和数字资产带来机密智能合约

Zama 与 OpenZeppelin 合作，利用全同态加密（FHE）技术，为 Web3 带来生产就绪的机密智能合约，旨在为 DeFi 和数字资产领域提供保密性。他们共同开发了机密代币标准，并构建了加密代币、密封拍卖、隐私治理等机密智能合约原语。
全同态加密  fhEVM  机密智能合约  OpenZeppelin  Confidential Token Standard  密码学 
  • ZamaFHE
  • 发布于 2025-07-24
  • 阅读 ( 22 )

椭圆曲线深入研究（第八部分）

本文深入探讨了椭圆曲线上的配对技术，重点介绍了Weil配对和Tate配对的定义、性质及计算所需的预备知识。文章详细解释了主要配对的构造过程，包括Weil配对中如何通过除子等价避免support重叠问题，以及Tate配对中E/rE群的引入和reduced Tate pairing的意义。文章还提及了Weil互反律在证明配对性质中的关键作用。
椭圆曲线  Weil配对  Tate配对  除子  双线性  r-torsion 

GKR协议实现：代码深度解析

本文深入探讨了GKR协议在Lambdaworks中的实现，详细解析了算术电路的定义与验证过程，以及证明者和验证者的实际操作。同时，阐述了Fiat-Shamir变换的应用，使协议转为非交互式，并介绍了Sumcheck协议作为核心组件在每一电路层验证中的集成方式，文章从代码层面分析了GKR协议的实现细节。
GKR协议  Fiat-Shamir变换  Sumcheck协议  算术电路  Lambdaworks  零知识证明 

有状态哈希还是无状态哈希——这是后量子问题

本文讨论了后量子密码学背景下，哈希签名方案XMSS和SPHINCS+。XMSS是一种有状态哈希签名方法，具有较小的密钥和快速的签名/验证速度，但密钥生成较慢；SPHINCS+是一种无状态哈希签名方法，无需记录已使用的私钥。NIST已将SPHINCS+列为标准，但XMSS仍作为一种备选方案存在。
后量子密码学  哈希签名  XMSS  SPHINCS+  Merkle树  数字签名 

后量子安全：保护未来数据免受量子威胁

文章讨论了量子计算对当前加密技术的威胁，并提出了后量子密码学（Post Quantum Security）作为应对方案。后量子密码学旨在设计能够抵抗量子计算机攻击的加密算法，包括格基密码学、哈希密码学、多变量多项式密码学等，并强调了采用混合加密模型和升级密钥管理系统的重要性。
后量子密码学  量子计算  加密算法  Shor算法  Grover算法  密钥管理系统 

ML-KEM并非Diffie-Hellman密钥交换：ML-KEM分步指南

本文介绍了ML-KEM（Module-Learning Key Encapsulation Mechanism），一种后量子密码学中的密钥封装方法，旨在替代传统的Diffie-Hellman密钥交换。文章通过逐步指南，阐述了ML-KEM的原理，包括密钥生成、封装和解封装过程，并提供了使用wolfCrypt库进行ML-KEM-512实现的示例代码。
ML-KEM  密钥封装机制  后量子密码学  Diffie-Hellman  wolfCrypt  密钥交换 

使用 Wolf 实现后量子签名

本文介绍了后量子密码学中的签名算法ML-DSA，以及如何使用wolfCrypt/wolfSSL库在C语言中实现该算法。ML-DSA是NIST推荐的替代ECDSA、Ed25519和RSA等传统签名算法的方案，它在面对量子计算机的攻击时更安全，并且wolfCrypt提供了高效的实现，尤其适用于嵌入式设备。
后量子密码学  ML-DSA  wolfCrypt  WolfSSL  C语言  数字签名 

为什么PQC加密没有选择McEliece？

文章讨论了后量子密码（PQC）加密方案中，为何NIST没有标准化McEliece方法，尽管McEliece方法安全性高，但密钥生成速度慢，公钥尺寸大。文章介绍了Classic McEliece的参数和性能，并给出了代码示例，最后总结了McEliece方法在后量子密码学中的地位。
后量子密码  McEliece  NIST  密钥封装  纠错码  代码加密 

密码学、区块链和零知识证明的数学：模运算

本文介绍了理解密码学、区块链和零知识证明（如Groth16和PLONK）所需的数学基础概念，重点是模运算。文章解释了模数的概念、模运算的规则、同余的概念以及同余类，并提到了模运算在密码学中的重要性，为后续学习集合论、有限域以及椭圆曲线密码学等内容打下基础。
模运算  同余  同余类  Groth16  PLONK  零知识证明 
  • Cyfrin
  • 发布于 2025-07-18
  • 阅读 ( 527 )
  • ( 4 )

TFHE-rs v1.3：CPU 除法加速、密钥升级器和 GPU 内存跟踪

TFHE-rs v1.3 版本在 CPU、GPU 和 HPU 后端带来了多项重大改进和新功能，主要包括：GPU 性能提升（整数对数运算速度提升 4 倍，其他操作速度提升高达 20%）、GPU 内存跟踪、CPU 除法加速（速度提升 36%）、零知识证明 v2、密钥升级器等，这些改进提高了全同态加密 (FHE) 工作负载的性能、可用性和安全性。
TFHE-rs  全同态加密  GPU  CPU  HPU  零知识证明 
  • ZamaFHE
  • 发布于 2025-07-17
  • 阅读 ( 652 )
  • ( 33 )

使用wolfSSL进行RSA密钥分析

本文分析了RSA密钥的结构和生成过程，包括模数N的计算、公钥和私钥的构成，以及如何使用中国剩余定理（CRT）加速解密过程。通过wolfSSL库生成RSA密钥，并展示了DER和PEM格式的密钥，以及如何解析ANS.1格式以查看密钥参数，最后验证了p和q的乘积是否等于模数N。
RSA  密钥  WolfSSL  DER  PEM  中国剩余定理 

我们来了解一下拉布拉多协议

本文由浅入深地介绍了基于格的zkSNARK协议Labrador的构造，从简单的baby协议开始，逐步构建到完整的递归Labrador协议。文章详细解释了Labrador协议的安全性基础，包括MSIS假设和Ajtai承诺，并探讨了其约束系统和高层思想。此外，本文还展示了如何利用Ingonyama的ICICLE v4库在C++中实现Labrador协议，并提供了相关代码示例。
zkSNARK  LaBRADOR  格密码  MSIS  Ajtai承诺  ICICLE 
  • ingonyama
  • 发布于 2025-07-16
  • 阅读 ( 315 )
  • ( 14 )

30的魔数——DER格式揭示我们的密码学魔力

本文深入探讨了DER格式在密码学中的应用，特别是其在公钥、私钥和数字证书中的编码作用。文章详细解释了DER格式的结构，包括SEQUENCE、OBJECT IDENTIFIER和BIT STRING等基本类型，并通过OpenSSL工具演示了如何解析DER编码的密钥和签名，以及如何使用WolfSSL库进行DER格式的解析和分析。
DER格式  ASN.1  OpenSSL  WolfSSL  公钥  私钥 

Polocolo介绍：一种利用查找表的PLONK零知识友好型哈希函数（第一部分）

作者设计了一种新的零知识友好型哈希函数Polocolo，它利用PlonKup和lookup tables，在PLONK门数量上优于当前state-of-the-art的ZK-friendly哈希函数，例如Anemoi和Reinforced Concrete。
零知识证明  哈希函数  密码学  PLONK  PlonKup  lookup tables 
  • zellic
  • 发布于 2025-07-16
  • 阅读 ( 762 )
  • ( 50 )

Jagged多项式承诺

in  zkMIPS解读
Jagged 多项式承诺用于在列高不规则的矩阵中高效进行承诺和验证。通过定义稀疏与稠密多项式的映射，并使用多变量 Sumcheck 协议验证它们在随机点的一致性，从而实现高效、灵活的零知识证明支持。
Ziren  zkMIPS 
  • ZKM
  • 发布于 2025-07-15
  • 阅读 ( 613 )
  • ( 20 )