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

介绍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
  • 阅读 ( 767 )
  • ( 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  电路开发 

网络安全生日悖论！

本文介绍了生日悖论以及它在密码学中的应用，特别是在哈希碰撞方面的应用。通过生日悖论，可以理解攻击者如何利用较少的计算量找到哈希碰撞，并探讨了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 

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  密码学  零知识证明 

利用Zama的fhEVM构建链上保密单价token销售密封投标拍卖系统

本文介绍了Zama团队的fhEVM在token销售拍卖中的应用，重点介绍了社区成员Palra利用同态加密技术构建的链上保密单价拍卖系统，该系统允许参与者进行保密的竞标，同时确定统一的结算价格。文章还深入探讨了该方案中Fenwick树数据结构的使用，以及如何在保密性和可扩展性之间找到平衡。
fhEVM  同态加密  单价拍卖  保密竞标  Fenwick树  智能合约 
  • ZamaFHE
  • 发布于 2025-03-19
  • 阅读 ( 657 )
  • ( 5 )

zkPass：实现可验证的数据可组合性

本文系统回顾了隐私保护和数据验证的发展历程，特别聚焦于零知识证明（ZKP）和zkPass协议的应用。zkPass通过多方计算与零知识证明技术，实现了在保护隐私的同时进行安全数据交换的创新解决方案，为各个行业提供了有效的身份验证和数据共享方法。
zkPass  零知识证明  数据验证  隐私保护  多方计算  zkTLS 

密码学 - OpenZeppelin 文档

本文档介绍了OpenZeppelin社区合约中的密码学工具，包括多种签名验证方案和加密原语的实现。这些工具支持智能合约中的安全认证、多重签名操作和高级加密操作，例如ERC7739Utils、ERC7913Utils、ZKEmailUtils和WebAuthn等。
密码学  签名验证  智能合约  零知识证明  WebAuthn  多重签名 

LazyTower: An O(1) Replacement for Incremental Merkle Trees

LazyTower是一种新的数据结构，旨在逐步添加项并适用于零知识证明的成员资格。其均摊成本为O(1)，电路复杂度为O(log N)。文章详细讨论了LazyTower的实现原理、成本分析及隐私保护机制，同时提供了相关的代码实现链接。
LazyTower  零知识证明  Merkle树  电路复杂度  数据结构  区块链 

与人工智能领域相似的一幕正在零知识证明领域上演：一个价值千亿美元以上的机会正在涌现

文章分析了零知识证明（ZK）技术的发展现状，将其与2014-2016年的人工智能发展阶段类比，指出了ZK技术在隐私保护、计算完整性、可扩展性和信任最小化方面的价值，并重点介绍了zkVMs（零知识虚拟机）在降低ZK技术门槛、推动其主流应用方面的关键作用。文章认为，早期投资ZK生态系统，特别是zkVMs和开发者基础设施，具有类似早期AI投资的潜力。
零知识证明  zk-SNARKs  ZK-STARKs  zkVMs  隐私保护  区块链 

ZK 邮件 确保电子邮件隐私的零知识证明

ZK Email是一个利用零知识证明的前沿密码技术，旨在增强电子邮件的隐私和安全性。该技术能在不透露个人信息的情况下验证邮件的合法性，并能有效防止钓鱼攻击，实现去中心化身份验证。在文中，还详细介绍了ZK Email的工作原理、优点、技术细节、实际应用及未来发展方向。
ZK Email  零知识证明  电子邮件安全  去中心化身份验证  区块链应用  密码技术 
  • olympixai
  • 发布于 2025-03-15
  • 阅读 ( 1806 )
  • ( 49 )