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

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
  • 阅读 ( 1052 )
  • ( 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
  • 阅读 ( 991 )

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
  • 阅读 ( 987 )
  • ( 15 )

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

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

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

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

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 

零知识证明：综合资源

该文档是关于零知识证明（Zero-Knowledge Proofs）的综合资源列表，涵盖了从入门介绍到高级应用、开源项目、安全审计等多个方面。它整理了数学知识、课程、编程语言、库、Layer1和Layer2项目、谜题、书籍、论文、应用案例、开源项目、工具、社区和安全资源，旨在帮助读者掌握零知识证明技术。
零知识证明  zk-SNARKs  密码学  zkEVM  zkRollup  安全审计 

向量承诺（VCs）

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

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

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

Web3 密码学常用密码学

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

零知识证明：区块链隐私和安全的未来

本文介绍了零知识证明（ZKPs）的概念、原理及其在区块链中的应用。ZKPs允许一方在不泄露信息内容的前提下向另一方证明某个陈述是真实的。文章阐述了ZKPs如何用于隐私交易、扩展解决方案（如zk-rollups）和可验证计算，并探讨了ZKPs在区块链未来的潜力，包括隐私保护监管、可扩展网络和跨链互操作性。
零知识证明  zk-SNARKs  ZK-STARKs  区块链  隐私  ZK-Rollups 
  • DAIC
  • 发布于 2025-03-31
  • 阅读 ( 317 )

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

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

使用多项式的纠删码

本文介绍了使用多项式插值的纠删码原理，通过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
  • 阅读 ( 1368 )
  • ( 11 )

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

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

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

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

NUT-12：离线电子现金签名验证

该文档提出了 Cashu 加密系统的一个扩展，允许用户 Alice 仅使用 mint Bob 的公钥来验证 Bob 的签名。同时解释了另一个用户 Carol 如何验证从 Alice 那里收到的 ecash 。通过离散对数等式（DLEQ）证明来实现这一点，该证明用于证明 mint 在创建其公钥 A 和签署 BlindedMessage B' 时使用了相同的私钥 a。
Cashu  离散对数等式  DLEQ证明  盲签名  公钥  Ecash