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

ZK论文解读--SoK: Understanding zk-SNARKs: The Gap Between Research and Practice

这是一篇论文解读：SoK: Understanding zk-SNARKs: The Gap Between Research and Practice.
零知识技术  zkSNARK 

TFHE-rs v1.1：细粒度的 GPU 控制和更多算子

Zama 发布了 TFHE-rs v1.1 版本，该版本在 GPU 和 CPU 后端都有重大改进和新特性。GPU 方面，升级了后端，采用了与 CPU 相同的默认加密参数，显著提高了多 GPU 的支持，CPU 方面，通过支持更多的标量案例扩展了算子集，该版本还引入了分块引导密钥生成，以更好地支持内存受限环境中的操作。
同态加密  GPU  TFHE-rs  多 GPU  CPU  FHE 
  • ZamaFHE
  • 发布于 2025-04-11
  • 阅读 ( 412 )
  • ( 8 )

Concrete v2.10：引入 Rust 支持并改进 TFHE-rs 互操作性

Concrete v2.10 发布，引入了对 Rust 的支持，通过 concrete-python 将 Python 程序编译为 FHE 等效程序，然后在 Rust 项目中使用，以便在生产环境中部署。新版本还增强了与 TFHE-rs 的互操作性，可以更轻松地结合两者的优势。
全同态加密  FHE  Rust  Concrete  TFHE-rs  密码学 
  • ZamaFHE
  • 发布于 2025-04-11
  • 阅读 ( 555 )
  • ( 12 )

Zama 产品发布 - 2025 年 4 月

Zama 发布了 TFHE-rs (v1.1)、Concrete (v2.10) 和 Concrete ML (v1.9) 的新版本。
同态加密  TFHE-rs  Concrete  Concrete ML  Rust语言  GPU 
  • ZamaFHE
  • 发布于 2025-04-11
  • 阅读 ( 479 )

TFHE-rs v1.1：细粒度的 GPU 控制和更多运算符

Zama 发布了 TFHE-rs v1.1 版本，GPU 后端升级，采用与 CPU 相同的默认加密参数，降低了计算错误的概率。多 GPU 支持也得到了显著改善，开发者可以选择要使用的 GPU，在 8×H100 GPU 上每秒可进行接近 500 次加密的 64 位加法。CPU 方面，此版本通过支持更多标量情况扩展了运算符集，从而使同态计算更加通用和高效。
TFHE-rs  GPU  CPU  同态加密  多GPU  加密 
  • ZamaFHE
  • 发布于 2025-04-11
  • 阅读 ( 506 )
  • ( 15 )

全同态加密中漂移到更好的错误概率

Zama团队在EUROCRYPT 2025上展示了其在全同态加密(FHE)方面的最新研究成果，该研究旨在通过控制密文漂移来提高FHE的安全性及效率，特别是在IND-CPAD安全模型下。他们提出了一系列新技术，能够在不显著增加计算成本的前提下，降低解密错误的概率，从而提升FHE在实际应用中的安全性，并引入了更强的安全模型sIND-CPAD。
全同态加密  FHE  IND-CPAD  sIND-CPAD  密文漂移  解密错误 
  • ZamaFHE
  • 发布于 2025-04-09
  • 阅读 ( 601 )
  • ( 3 )

零基础学MPC 教程 - 每个人都可以学会

本文介绍了多方计算（MPC）尤其是姚的加密电路协议的实现，涵盖了从理论基础到代码实现的各个方面，包括RSA、模糊传输、加密电路的生成与评估等。特别强调了如何在保持私人输入的隐私前提下进行安全计算，适合对MPC感兴趣的读者深入学习。
多方计算  RSA  加密电路  姚的加密电路  密码学  MPC 
  • zellic
  • 发布于 2025-04-07
  • 阅读 ( 995 )
  • ( 80 )

Dilithium（又名ML-DSA）与菲亚特-沙米尔方法的美妙世界

本文介绍了Dilithium（又名ML-DSA）数字签名方案，它基于Fiat-Shamir方法和格密码学，是后量子密码学的重要组成部分。文章讨论了Dilithium的工作原理、密钥大小、性能以及两位关键贡献者Vadim Lyubashevsky和Chris Peikert，并提供了JavaScript实现示例。
Dilithium  ML-DSA  Fiat-Shamir  格密码学  后量子密码学  数字签名 

无需找借口：OpenSSL 进入量子时代

本文介绍了OpenSSL 3.5.0中引入的对量子安全密码算法的支持，包括ML-KEM (FIPS 203), ML-DSA (FIPS 204) 和 SLH-DSA (FIPS 205)。文章展示了如何在Windows环境下编译OpenSSL 3.5，并演示了如何使用这些新的密码算法生成密钥对、签名和验证消息，以及进行了性能基准测试。
OpenSSL  量子安全  密码学  ML-KEM  ML-DSA  SLH-DSA 

向量承诺（VCs）

本文定义了向量承诺（VC）方案，并详细介绍了相关的算法和结构，包括Vanilla VCs、SVCs以及交叉聚合SVCs的具体实现与验证过程。内容包括算法的工作流程以及认证数据的用法，还涉及了相关算法的应用场景，为理解向量承诺提供了深入的技术资料。
向量承诺  算法  Merkle树  KZG  认证数据  证明 
  • alinush
  • 发布于 2025-04-02
  • 阅读 ( 1287 )
  • ( 18 )

Piger Fabrica综合征：公钥加密的终结？

文章指出研究人员发现数字2不是质数，导致依赖质数的公钥加密技术存在漏洞。许多在线安全系统依赖质数进行加密，如RSA。由于移动设备为了提高计算速度使用了2作为质数，黑客可以利用这个漏洞破解密钥，特别是在使用存在漏洞的Python库PieCryptoMm的移动设备上。文章最后指出这其实是愚人节玩笑。
质数  公钥加密  RSA  漏洞  网络安全  PieCryptoMm 

Web3 密码学常用密码学

Web3 钱包常用密码学
密码学  钱包 

从理论到实践--门限共享秘密算法详解

本文将带领大家去理解共享秘密相关的一些技术，希望大家从中能学到一些共享密码的知识。
门限共享秘密算法 

使用多项式的纠删码

本文介绍了使用多项式插值的纠删码原理，通过Alice向Bob发送消息的例子，展示了如何将消息编码成多项式，并通过发送多项式上的多个点，使得Bob在收到部分点后仍能恢复原始消息。文章还提到了纠删码在QR码、CD以及以太坊beacon链blob数据可用性抽样(DAS)中的实际应用，虽然纠删码增加了数据量，但提高了数据传输的可靠性。
纠删码  多项式插值  拉格朗日插值  数据冗余  数据恢复  前向纠错 

准备好迎接FN-DSA：比Dilithium慢，但密钥/密文更小

本文介绍了NIST即将定义的第三个后量子密码数字签名标准FN-DSA，它基于FALCON方法。FALCON的性能比Dilithium慢，但密钥大小和密文更小。文章对比了Falcon与Dilithium、RSA等算法在密钥大小、签名大小和性能上的差异，并提供了NTRU算法的简单示例和C#代码实现。
后量子密码  数字签名  FN-DSA  FALCON  Dilithium  NTRU  格密码 

介绍clean：一个用于Lean4中ZK电路的形式验证DSL - ZKSECURITY

本文介绍了clean，一个为零知识电路（ZK circuits）构建的嵌入式DSL和形式验证框架，目标是使用Lean4定义电路、指定属性并进行形式化验证。clean通过将电路定义、规范和正确性证明置于一处，旨在创建一个可重用的、经过形式验证的电路组件库，并以AIR算法为目标，最终发展成通用的零知识证明框架。文章还提供了一个8位加法的具体例子，展示了如何使用clean来定义、验证电路的正确性
零知识证明  形式验证  DSL  Lean4  AIR  zkEVM 

使用全同态加密和Zama Concrete ML的加密图像水印

本文介绍了Zama Bounty Program Season 7的获奖方案，该方案使用全同态加密（FHE）和Concrete ML实现了加密图像的隐形水印。该方案包含一个编码器神经网络（用于嵌入水印）和一个解码器神经网络（用于提取水印）。文章还讨论了该方案的性能和水印提取方法，以及其在版权保护、身份验证和篡改检测等方面的应用潜力。
全同态加密  FHE  Concrete ML  隐形水印  神经网络  隐私保护 
  • ZamaFHE
  • 发布于 2025-03-27
  • 阅读 ( 575 )
  • ( 11 )

电信行业通过基于属性的加密（ABE）迈向后量子时代

本文介绍了属性加密（ABE）在电信行业后量子密码学中的应用，重点介绍了基于属性的加密（CP-ABE）的密文策略以及其在密钥封装机制（KEMs）中的应用，通过属性策略控制密钥的访问，以增强安全性。文章还提供了一个CP-ABE的示例代码和在线演示。
属性加密  后量子密码学  密钥封装机制  CP-ABE  KEMs  密码学 

HQC为互联网的未来提供了一种关键工具

文章讨论了后量子密码学中密钥封装机制（KEM）的选择，重点关注了NIST后量子密码竞赛的进展。
后量子密码学  密钥封装机制  HQC  ML-KEM  NIST  BIKE 

Noir的背后：从代码到约束

本文深入探讨了Zero-Knowledge Proof（ZKP）及其在去中心化系统中的应用，重点介绍了Noir语言的编译过程。通过实例展示如何将高层次的Noir代码转换为ACIR（抽象电路中间表示），从而实现ZKP所需的数学约束，涵盖了从基本电路、Pedersen散列到动态内存访问与条件执行的更复杂电路的实现。
zero-knowledge proofs  Noir  ACIR  Pedersen hash  电路开发