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

基于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
  • 阅读 ( 710 )
  • ( 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
  • 阅读 ( 1878 )
  • ( 49 )

从比特到量子比特——以及蝴蝶效应引发的飓风

文章讨论了量子计算的未来及其对加密技术的影响。量子计算机的发展将带来巨大的计算能力提升，但也对现有公钥加密方法构成威胁。NIST 正在开发新的加密标准来应对这一风险。展示了一种将经典图像转换为量子图像并通过量子算法进行加密和解密的方法，预示着量子计算在信息安全领域有着广阔的应用前景。
量子计算  量子加密  量子图像  NIST  公钥加密  蝴蝶效应 

以太坊拨款支持的LLZK：一种新的中间表示（IR）……

Veridise获得以太坊基金会的资助，开发出名为LLZK的新中间表示（IR），旨在统一和简化零知识电路编译，从而解决该生态系统中存在的碎片化问题。LLZK通过提供模块化、灵活性和形式验证等特点，计划提升ZK语言的可维护性与安全性，并加速安全工具的发展。
零知识证明  中间表示  电路编译  安全工具  LLZK  以太坊基金会 
  • Veridise
  • 发布于 2025-03-13
  • 阅读 ( 1489 )
  • ( 34 )

通往安全高效 zkVM 的路径：如何跟踪进展

本文讨论了零知识虚拟机（zkVM）在安全性和性能方面面临的重大挑战，并提出了一系列分阶段的安全和性能目标，以指导zkVM的开发与进步。尽管zkVM具有 democratize SNARKs 的潜力，但目前仍存在高复杂度、错误和性能慢的问题，需要数年时间才能实现基本目标。
zkVM  SNARK  安全性  性能  零知识证明  研究进展 

一文了解BLS聚合签名

in  密码学和网络安全
BLS聚合签名（BLSAggregateSignature）是一种基于BLS（Boneh-Lynn-Shacham）签名算法的高级密码学技术，具有签名聚合的能力。
BLS signatures 
  • Louis
  • 发布于 2025-03-12
  • 阅读 ( 2250 )
  • ( 102 )

移动电话网络、RFID和TETRA：最薄弱的环节？

本文讨论了移动通信网络、RFID和TETRA的加密弱点，特别关注了GPRS/GSM网络中使用的A5/1、A5/3（KASUMI）加密算法，SPECK在RFID通信中的应用以及TETRA标准中的TEA3加密算法。研究表明，由于GPU计算能力的增强，这些加密算法容易受到暴力破解攻击，强调了增加密钥长度至128位以上的重要性，并提出了在数据层进行加密的建议。
GPRS  GSM  RFID  TETRA  A5/1  KASUMI  TEA3  SPECK  加密  密码学  GPU破解 

Galaxy S25系列具备量子稳健性

三星 Galaxy S25 系列手机集成了抗量子密码（PQC）技术，以应对 NIST 即将在 2030 年弃用现有公钥方法。该系列手机采用 ML-KEM 和 ML-DSA 算法，通过三星 Knox Matrix 增强数据保护，并使用 S3SSE2A 芯片加速 PQC 运算，确保设备与未来支持 PQC 的设备兼容。
抗量子密码  PQC  ML-KEM  ML-DSA  三星 Knox Matrix  S3SSE2A 

如何进行ZK：Noir与Circom比较

本文对Circom和Noir进行了高层次比较，探讨了它们的生态系统、工具集、性能以及最佳用例。Circom作为一个低级领域特定语言，关注于电路约束的细粒度控制，而Noir则是一种更高层次的语言，旨在简化开发者体验，使其无需手动管理约束，进而提升工具的灵活性和可用性。
circom  Noir  零知识证明  电路  生态系统  工具 

Ingonyama Research 2025年度研究资助计划

Ingonyama Research 宣布了 2025 年度的研究资助计划，总额为 10 万美元，旨在支持使用 ICICLE（一个用于零知识证明的数学库）进行算法研究的开发者和研究人员。该计划鼓励研究者使用 ICICLE 重新实现已有的算法，并通过与原始论文的性能比较来获得资助，资助金额与性能提升幅度成正比。
零知识证明  ICICLE  硬件加速  研究资助  密码学算法 

GKR协议：逐步示例

该文章深入探讨了GKR协议，这是一个用于高效验证算术电路的交互式证明协议。文章通过示例详细说明了协议的步骤，包括如何使用多项式扩展和sum-check等技术，使资源有限的验证者能够验证计算的正确性。这一协议不仅阐明了交互式证明的重要性，还为更先进的密码学应用奠定了基础。
交互式证明  GKR协议  算术电路  多项式扩展  区块链  sum-check 

深入研究椭圆曲线（第四部分）

in  密码学101
本文深入探讨了椭圆曲线上的函数与映射，包括群的同态、同构、扭曲及其在密码学中的应用。作者解释了如何通过这些概念构建更复杂的算法，以及它们在有限域上的数学特性和意义。文章结构清晰，逻辑严谨，为读者提供了深入的技术理解。
椭圆曲线  函数  同态  同构  扭曲  密码学