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

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

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

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

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

使用多项式的纠删码

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

Nillion (NIL)：Nillion区块链技术架构解析

本文深入探讨了 Nillion，一个专注于 AI 的私有计算平台。它采用双层网络架构，包括协调层（NilChain）和编排层（Petnet），利用多方计算（MPC）等隐私增强技术，通过Nillion SDK 和 Nada 编程语言，开发者可以在该网络上构建隐私保护应用程序。
Nillion  私有计算  多方计算  MPC  Nada编程语言  隐私增强技术 
  • DAIC
  • 发布于 2025-03-25
  • 阅读 ( 248 )

Noir的背后：从代码到约束

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

网络安全生日悖论！

本文介绍了生日悖论以及它在密码学中的应用，特别是在哈希碰撞方面的应用。通过生日悖论，可以理解攻击者如何利用较少的计算量找到哈希碰撞，并探讨了MD5、SHA-1等哈希算法的安全性问题，以及量子计算对密码学的影响。最后，建议使用更长的密钥和哈希值，如256位的AES和SHA-256，以提高安全性。
生日攻击  哈希碰撞  MD5  SHA-1  量子计算  密码学 

实用工具 - OpenZeppelin 文档

本文介绍了OpenZeppelin Contracts社区版中用于密码学的多个实用工具，包括验证类型化数据签名（EIP712）、嵌套EIP712签名验证（ERC-7739）以及ERC-7913签名验证器，这些工具旨在简化智能合约中复杂签名的处理并提高账户安全性。
EIP712  ERC-7739  ERC-7913  签名验证  智能合约  密码学