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

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

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

使用多项式的纠删码

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

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  签名验证  智能合约  密码学 

当密文等于消息时：RSA中的消息隐藏

本文探讨了RSA加密中的消息隐藏现象，即某些明文消息在加密后仍然等于其密文。文章解释了RSA加密的原理，并通过Python代码演示了如何找到这些未隐藏的消息，以及如何计算未隐藏消息的数量和百分比，最后，文章还提供了一个在线工具，供读者尝试。
RSA  加密  消息隐藏  模数  公钥  私钥 

宇宙中的电子数量比512位质数多吗？

文章探讨了宇宙中电子数量与不同位数的质数数量的对比，指出质数的数量远大于电子的数量，特别是在密码学中使用的2048位质数。文章介绍了评估质数数量的方法，包括使用Sieve of Eratosthenes算法和Riemann R函数，并提供了Python和PowerShell代码示例来生成和测试质数，强调了质数在公钥加密中的重要性以及生成大质数的必要性。
质数  RSA  密码学  Miller-Rabin测试  Riemann R函数  Sieve of Eratosthenes 

破解近乎单向函数

本文介绍了Rabin函数，一种基于大素数分解难度的单向置换函数，并展示了如何利用其后门函数（已知素数因子）来逆转伪随机序列。文章提供Python代码示例，演示了在已知素数p和q的情况下，如何从当前值计算出序列中的前一个x值，揭示了其背后的数学原理。
Rabin函数  单向置换  伪随机数生成器  后门函数  Blum整数  模运算 

基于Rabin方法的可证明安全公钥加密

本文介绍了Rabin公钥加密方法，一种在理论上可证明安全的加密方案。文章阐述了Rabin加密的基本原理，包括密钥生成、加密和解密过程，并通过一个简单的例子和Python代码演示了其用法。Rabin加密的安全性基于大数分解的难度，但其解密结果存在多个可能性，需要一些方法来确定正确的原始消息。
Rabin加密  公钥加密  大数分解  中国剩余定理  密码学 

惠普发布量子安全打印机

HP发布了首款量子安全的打印机，使用了基于哈希的数字签名方法，如LMS和W-OTS。LMS使用Winternitz一次性签名方案，并利用Merkle树来验证私钥。文章还提供了使用Bouncy Castle库在C#中实现LMS的示例代码，并展示了不同参数设置下的密钥和签名长度。
量子安全  数字签名  哈希  LMS  W-OTS  Bouncy Castle 

黑客马拉松指南：构建一个Shutter化的石头剪刀布游戏

本文档是一个黑客马拉松指南，指导读者使用NanoShutter的加密/解密API构建一个石头剪刀布游戏。该游戏利用类似Shutter的阈值加密来确保公平性，提供了一种体验区块链密码学的有趣方式。此外，还提供了一些其他的黑客松想法，以及成功完成黑客松的提示。
NanoShutter  加密  解密  石头剪刀布  阈值加密  API 

ZKP2P--以安全、私密且用户友好的方式弥合Web2与Web3之间的差距

ZKP2P的使命是以安全、私密且用户友好的方式弥合传统 Web2 平台与去中心化 Web3 平台之间的差距。ZKP2P最初的重点是创建最便宜、最快、欺诈率最低且最可组合的法币到加密货币的on/off ramp。
ZKP2P  ZK Email  zkTLS 

ICICLE 迈向 Metal：v3.6

ICICLE v3.6 发布，主要更新包括：支持 Metal 后端，为 macOS 用户提供 Metal 加速，无需修改代码即可提升性能。改进包括 Metal 后端支持，Sumcheck 增强和 Lattice 推进，并计划在未来版本中添加更多功能和优化。未来将发布 ICICLE v3.7，引入 FRI 支持。
ICICLE  Metal  sumcheck  Lattice  密码学  零知识证明 
  • ingonyama
  • 发布于 2025-03-19
  • 阅读 ( 1254 )
  • ( 2 )