密码学文章 - 第4页

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

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

zkPass 零知识证明数据验证隐私保护多方计算 zkTLS

Shoal Research
发布于 2025-03-18
阅读 ( 1740 )
( 89 )

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

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

LazyTower 零知识证明 Merkle树电路复杂度数据结构区块链

EthTaipei
发布于 2025-03-15
阅读 ( 185 )
( 3 )

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

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

ZK Email 零知识证明电子邮件安全去中心化身份验证区块链应用密码技术

olympixai
发布于 2025-03-15
阅读 ( 1062 )
( 49 )

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

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

量子计算量子加密量子图像 NIST 公钥加密蝴蝶效应

billatnapier
发布于 2025-03-14
阅读 ( 88 )

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

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

零知识证明中间表示电路编译安全工具 LLZK 以太坊基金会

Veridise
发布于 2025-03-13
阅读 ( 785 )
( 33 )

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

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

zkVM SNARK 安全性性能零知识证明研究进展

a16z Crypto
发布于 2025-03-12
阅读 ( 682 )
( 24 )

一文了解BLS聚合签名

in 密码学和网络安全

BLS聚合签名（BLSAggregateSignature）是一种基于BLS（Boneh-Lynn-Shacham）签名算法的高级密码学技术，具有签名聚合的能力。

BLS signatures

Louis
发布于 2025-03-12
阅读 ( 1205 )
( 95 )

移动电话网络、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破解

asecuritysite
发布于 2025-03-10
阅读 ( 101 )
( 2 )

Galaxy S25系列具备量子稳健性

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

抗量子密码 PQC ML-KEM ML-DSA 三星 Knox Matrix S3SSE2A

asecuritysite
发布于 2025-03-08
阅读 ( 92 )
( 3 )

如何进行ZK：Noir与Circom比较

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

circom Noir 零知识证明电路生态系统工具

mariiazhvanko
发布于 2025-03-08
阅读 ( 573 )
( 13 )

Ingonyama Research 2025年度研究资助计划

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

零知识证明 ICICLE 硬件加速研究资助密码学算法

ingonyama
发布于 2025-03-07
阅读 ( 72 )

GKR协议：逐步示例

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

交互式证明 GKR协议算术电路多项式扩展区块链 sum-check

lambdaclass
发布于 2025-03-06
阅读 ( 870 )

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

in 密码学101

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

椭圆曲线函数同态同构扭曲密码学

Frank Mangone
发布于 2025-03-05
阅读 ( 1023 )

多标量乘法的带符号桶索引

本文介绍了带符号桶索引的多标量乘法（MSM）技术，也称为NAF方法。该方法通过将桶索引视为带符号整数，减少了桶的数量和内存使用。文章详细解释了如何将标量切片映射到新的范围，并提供了伪代码算法。同时讨论了处理最高切片溢出的问题，并提出了一种改进的技巧来避免最终进位。

多标量乘法 MSM NAF方法带符号桶索引标量桶

jNXoVmBaSSmE1Z9zgvRW_w
发布于 2025-03-04
阅读 ( 52 )

案例研究：通过ICICLE加速Zircuit的零知识证明

Zircuit是一个EVM兼容的ZK rollup，旨在提升Web3应用的可扩展性和安全性。通过与Ingonyama的ICICLE软件库集成，Zircuit优化了其加密计算，显著改善了性能，降低了成本。本文详细介绍了Zircuit的功能、ICICLE的应用及将来的发展计划。

Zircuit ZK Rollup ICICLE 性能优化块链技术加密计算

ingonyama
发布于 2025-03-04
阅读 ( 212 )
( 10 )

TFHE-rs v1.0：稳定版 CPU 后端

Zama 发布了 TFHE-rs v1.0 稳定版，该版本稳定了 x86 CPU 后端的高级 API，并确保向后兼容，提升了密码学安全性，优化了分布式协议的性能。此外，还发布了 TFHE-rs 手册，详细介绍了后端的实现，并简化了贡献流程。通过贡献 Zama Bounty Program 还可以获得奖励，此外，GPU 后端也在开发中。

TFHE-rs 同态加密密码学参数 CPU后端 GPU后端 Zama Bounty Program