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

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

in  密码学101

本文是关于配对（Pairings）的深入探讨文章的第一部分，介绍了配对的基本概念，即一种将两个群的元素作为输入并输出另一个群元素的双线性映射。
配对  双线性映射  椭圆曲线  挠群  域扩展  迹映射  Frobenius自同态  Galois群 

零知识证明：证明，而无需泄露数据

零知识证明(ZKP)允许证明者向验证者证明某个陈述是真实的，而无需泄露证明它的基础秘密或数据。在区块链中，ZKP通过zk-rollups等方法增强了网络的隐私和可扩展性。ZKP的核心原则包括完整性、可靠性和零知识性。ZKP有两种类型：交互式ZKP和非交互式ZKP(NIZK)。
零知识证明  ZKP  zk-SNARKs  ZK-Rollups  区块链  密码学 

使用全同态加密构建加密的 iOS 应用

Zama 团队发布了一系列开源的 iOS 应用演示程序和一个客户端 SDK，用于构建支持全同态加密（FHE）的移动应用。
全同态加密  FHE  iOS  Concrete ML  数据隐私  移动应用 
  • ZamaFHE
  • 发布于 2025-05-16
  • 阅读 ( 256 )
  • ( 14 )

Web 3 的世界近在咫尺 - 浏览器中的 ZKP

本文介绍了如何使用 Rust 编写零知识证明（ZKP）并在 WebAssembly (WASM) 中集成，从而在浏览器中运行 ZKP。文章展示了如何使用 wasm-pack 构建 WASM 文件，并在 HTML 中通过 JavaScript 桥接调用 Rust 代码实现 ZKP 的生成、证明和验证过程，使得在 Web 应用中实现隐私保护和可信计算成为可能。
零知识证明  WebAssembly  Rust语言  zkSNARK 

加密钱包如何工作？（以及我是如何构建一个的）

本文介绍了加密钱包的工作原理，重点解释了助记词（mnemonic phrases）、种子（seed）以及分层确定性钱包（HD Wallets）的概念。文章还展示了如何使用JavaScript来生成加密钱包，并强调了钱包的可移植性，即可以在不同的钱包应用之间导入和使用。
加密钱包  助记词  种子  分层确定性钱包  BIP-39  BIP-44  密钥 

密码学 - 奇妙的FN-DSA

本文介绍了FN-DSA（FIPS 206）这一新的数字签名标准，它使用快速傅里叶变换（FFT）优化了晶格结构中的变换过程，从而在后量子密码学（PQC）中实现了比ML-DSA更小、更高效的签名。文章提供了JavaScript代码示例和性能对比，展示了FN-DSA在密钥大小和签名大小方面的优势，并建议在区块链等应用中考虑使用。
FN-DSA  FIPS 206  后量子密码学  数字签名  FFT  晶格 

整数运算(IOp)

本文档介绍了同态处理单元(HPU)上的整数运算(IOp)的高级代码语法，HPU通过使用整数的基数表示来处理整数上的任何运算。IOp代码定义了整数操作签名，该签名用作链接到数字操作(DOp)代码的标识符。文章详细描述了IOp代码的结构、关键字、预定义IOp以及自定义IOp的示例。
同态加密  HPU  整数运算  IOp  DOp  HIS v2.0  TFHE 
  • zama-ai
  • 发布于 2025-05-10
  • 阅读 ( 189 )
  • ( 9 )

备战后量子：格密码学初学者指南

保护网路安全的密码学技术正不断发展，是时候赶上进度了。这篇文章是关于格密码学的教程，格密码学是后量子（PQ）转变的核心范式。
量子加密  格密码 
  • XPTY
  • 发布于 2025-05-10
  • 阅读 ( 415 )
  • ( 2 )

最终，一个数字信任的新世界

本文介绍了零知识证明（ZKP）的概念，它允许在不泄露秘密信息的情况下证明某事。
零知识证明  ZKP  zk-SNARKs  ZK-STARKs  Bulletproofs  密码学 

Stwo 中的递归证明：第二部分

本文是关于Stwo中递归证明的第二部分，重点介绍了Poseidon组件的设计及其在零知识证明中的作用。通过专门的Poseidon组件优化STARK证明验证过程中的哈希函数计算，文章详细解释了Poseidon哈希函数的工作原理，以及如何在Stwo中构建高效的Poseidon组件，最终实现更高效的递归证明验证和Bitcoin STARK验证。
递归证明  STARK  Poseidon  零知识证明  哈希函数  PLONK 
  • L2IV
  • 发布于 2025-05-02
  • 阅读 ( 14 )

使用 TFHE-rs 实现 AES-128 密码系统的全同态版本

本文介绍了在同态加密中进行转密码的概念，即同态应用加密或解密算法。Zama举办的TFHE-rs Bounty Season 7 就是关于同态应用 AES 加密算法的挑战。最终“sharkbot”的提交方案因其高效的 S-box 处理方法而获胜，该方案将 S-box 视为可计算的位级电路，并使用多种优化策略实现了最佳性能。其他参赛者也使用了类似方法，但性能略逊。
同态加密  转密码  AES  TFHE-rs  S-box  Boyar-Peralta电路 
  • ZamaFHE
  • 发布于 2025-05-01
  • 阅读 ( 382 )
  • ( 21 )

ZK Mesh：2025年4月回顾

ZK Mesh是关于隐私增强密码学、分布式协议开发和零知识系统研究的月度新闻通讯，涵盖了最新的研究、文章、视频、播客、推文、工具、项目更新和活动。本期内容包括了zkSpeed、线性时间累积方案、GIGA协议等研究，以及硬件友好的HyperPlonk、后量子密码学代码优化等文章，以及多个零知识证明相关的视频和项目更新。
零知识证明  zkVM  密码学  隐私增强  zkTLS  HyperPlonk 
  • zkmesh
  • 发布于 2025-05-01
  • 阅读 ( 321 )
  • ( 19 )

SNARK中哈希的基准测试

本文对多种零知识证明（ZKP）框架在哈希函数上的性能进行了基准测试，包括plonky3、stwo、binius、hashcaster和expander。文章详细比较了它们在不同哈希算法（如Blake3、Keccak、Poseidon2等）上的吞吐量、证明大小和内存占用情况，并讨论了优化方向以及各个框架的优缺点。
零知识证明  哈希函数  性能评估  基准测试  密码学  STARK 
  • han___
  • 发布于 2025-05-01
  • 阅读 ( 404 )
  • ( 20 )

密码学 - 斯巴达

本文档旨在对 Spartan 协议进行温和的介绍，Spartan 是一种基于 sum-check 的 zkSNARK，具有高效的证明者。文章详细介绍了 Spartan 的特性，包括与多线性多项式承诺方案的兼容性、对算术化的灵活性以及将证明者工作分解为 witness 相关和 witness 无关部分的能力。同时还介绍了 Spartan 协议在零知识证明、zkVM以及身份验证等领域的应用。
zkSNARK  Spartan协议  sum-check协议  多项式承诺  零知识证明  Spark协议 

姚期智 - 姚氏百万富翁

本文介绍了图灵奖得主姚期智的贡献，包括姚氏百万富翁问题和混淆电路。姚氏百万富翁问题是一种在不泄露各自财富的情况下，比较两个百万富翁财富多少的方法。混淆电路则是一种在不信任对方的情况下，进行安全计算的方法，文章提供了RSA加密算法和混淆电路的Python代码示例。
姚期智  百万富翁问题  混淆电路  多方计算  零知识证明  RSA加密 

椭圆曲线密码学中的阶和子群阶

本文深入探讨了椭圆曲线密码学（ECC）中群的阶和子群的概念。通过具体的例子和Sage代码演示，解释了如何计算椭圆曲线上的点，以及如何确定基点的阶和由其生成的子群的大小，展示了基点的选择对子群大小的影响，并解释了 cofactor 的概念。
椭圆曲线密码学  ECC  群的阶  子群  基点  Cofactor 

超立方体 IR：零知识证明系统的基础

本文介绍了Cysic公司正在进行的零知识证明（ZKP）专用硬件研究工作，目标是开发一种定制的证明加速芯片，专门用于ZKP工作负载。
零知识证明  ZKP  硬件加速  多项式计算  HyperCube IR  密码学 
  • Cysic_
  • 发布于 2025-04-25
  • 阅读 ( 739 )
  • ( 13 )

椭圆曲线密码学中强大的基点（G）——什么是阶？

本文深入探讨了椭圆曲线密码学（ECC）中基点G的重要性，解释了其在密钥交换中的作用。通过具体示例展示了如何选择合适的基点以避免循环，并介绍了order的概念及其对安全性的影响。文章还给出了判断bad base point的例子，并介绍了secp256k1曲线的基点。
椭圆曲线密码学  基点G  order  ECDH  secp256k1 

Ingonyama 2025 研究资助计划

Ingonyama 宣布第二轮研究资助计划，提供 10 万美元用于支持使用其高速密码学库 ICICLE 的研究。该计划旨在通过与现有研究基准进行比较，鼓励研究人员使用 ICICLE 重新实现算法并超越现有性能。文章还展示了两个使用 ICICLE 加速密码学协议的案例研究，分别在加速阈值加密和协作 zk-SNARK 方面取得了显著的性能提升。
ICICLE 

Awesome zkVM - 零知识虚拟机 (zkVM) 精选列表

本文档是一个关于 zkVM（零知识虚拟机）的精选列表，zkVM 是一种允许在不泄露隐私数据的前提下进行计算的技术。该列表包含 zkVM 项目、技术细节、性能基准、相关论文、资源、教程和工具，旨在为开发者、研究人员和对零知识证明技术感兴趣的受众提供有价值的参考。
zkVM  零知识虚拟机  零知识证明  RISC-V  STARK  PLONK  Cairo  性能基准 
  • rkdud007
  • 发布于 2025-04-23
  • 阅读 ( 984 )
  • ( 40 )