本文介绍了Rabin公钥加密方法，一种在理论上可证明安全的加密方案。文章阐述了Rabin加密的基本原理，包括密钥生成、加密和解密过程，并通过一个简单的例子和Python代码演示了其用法。Rabin加密的安全性基于大数分解的难度，但其解密结果存在多个可能性，需要一些方法来确定正确的原始消息。
HP发布了首款量子安全的打印机，使用了基于哈希的数字签名方法，如LMS和W-OTS。LMS使用Winternitz一次性签名方案，并利用Merkle树来验证私钥。文章还提供了使用Bouncy Castle库在C中实现LMS的示例代码，并展示了不同参数设置下的密钥和签名长度。
ZKP2P的使命是以安全、私密且用户友好的方式弥合传统 Web2 平台与去中心化 Web3 平台之间的差距。ZKP2P最初的重点是创建最便宜、最快、欺诈率最低且最可组合的法币到加密货币的on/off ramp。
ICICLE v3.6 发布，主要更新包括：支持 Metal 后端，为 macOS 用户提供 Metal 加速，无需修改代码即可提升性能。改进包括 Metal 后端支持，Sumcheck 增强和 Lattice 推进，并计划在未来版本中添加更多功能和优化。未来将发布 ICICLE v3.7，引入 FRI 支持。
本文介绍了Zama团队的fhEVM在token销售拍卖中的应用，重点介绍了社区成员Palra利用同态加密技术构建的链上保密单价拍卖系统，该系统允许参与者进行保密的竞标，同时确定统一的结算价格。文章还深入探讨了该方案中Fenwick树数据结构的使用，以及如何在保密性和可扩展性之间找到平衡。
本文系统回顾了隐私保护和数据验证的发展历程，特别聚焦于零知识证明（ZKP）和zkPass协议的应用。zkPass通过多方计算与零知识证明技术，实现了在保护隐私的同时进行安全数据交换的创新解决方案，为各个行业提供了有效的身份验证和数据共享方法。
LazyTower是一种新的数据结构，旨在逐步添加项并适用于零知识证明的成员资格。其均摊成本为O(1)，电路复杂度为O(log N)。文章详细讨论了LazyTower的实现原理、成本分析及隐私保护机制，同时提供了相关的代码实现链接。
ZK Email是一个利用零知识证明的前沿密码技术，旨在增强电子邮件的隐私和安全性。该技术能在不透露个人信息的情况下验证邮件的合法性，并能有效防止钓鱼攻击，实现去中心化身份验证。在文中，还详细介绍了ZK Email的工作原理、优点、技术细节、实际应用及未来发展方向。
文章讨论了量子计算的未来及其对加密技术的影响。量子计算机的发展将带来巨大的计算能力提升，但也对现有公钥加密方法构成威胁。NIST 正在开发新的加密标准来应对这一风险。展示了一种将经典图像转换为量子图像并通过量子算法进行加密和解密的方法，预示着量子计算在信息安全领域有着广阔的应用前景。
Veridise获得以太坊基金会的资助，开发出名为LLZK的新中间表示（IR），旨在统一和简化零知识电路编译，从而解决该生态系统中存在的碎片化问题。LLZK通过提供模块化、灵活性和形式验证等特点，计划提升ZK语言的可维护性与安全性，并加速安全工具的发展。
本文讨论了零知识虚拟机（zkVM）在安全性和性能方面面临的重大挑战，并提出了一系列分阶段的安全和性能目标，以指导zkVM的开发与进步。尽管zkVM具有 democratize SNARKs 的潜力，但目前仍存在高复杂度、错误和性能慢的问题，需要数年时间才能实现基本目标。
BLS聚合签名（BLSAggregateSignature）是一种基于BLS（Boneh-Lynn-Shacham）签名算法的高级密码学技术，具有签名聚合的能力。
本文讨论了移动通信网络、RFID和TETRA的加密弱点，特别关注了GPRS/GSM网络中使用的A5/1、A5/3（KASUMI）加密算法，SPECK在RFID通信中的应用以及TETRA标准中的TEA3加密算法。研究表明，由于GPU计算能力的增强，这些加密算法容易受到暴力破解攻击，强调了增加密钥长度至128位以上的重要性，并提出了在数据层进行加密的建议。
三星 Galaxy S25 系列手机集成了抗量子密码（PQC）技术，以应对 NIST 即将在 2030 年弃用现有公钥方法。该系列手机采用 ML-KEM 和 ML-DSA 算法，通过三星 Knox Matrix 增强数据保护，并使用 S3SSE2A 芯片加速 PQC 运算，确保设备与未来支持 PQC 的设备兼容。
本文对Circom和Noir进行了高层次比较，探讨了它们的生态系统、工具集、性能以及最佳用例。Circom作为一个低级领域特定语言，关注于电路约束的细粒度控制，而Noir则是一种更高层次的语言，旨在简化开发者体验，使其无需手动管理约束，进而提升工具的灵活性和可用性。
Ingonyama Research 宣布了 2025 年度的研究资助计划，总额为 10 万美元，旨在支持使用 ICICLE（一个用于零知识证明的数学库）进行算法研究的开发者和研究人员。该计划鼓励研究者使用 ICICLE 重新实现已有的算法，并通过与原始论文的性能比较来获得资助，资助金额与性能提升幅度成正比。
该文章深入探讨了GKR协议，这是一个用于高效验证算术电路的交互式证明协议。文章通过示例详细说明了协议的步骤，包括如何使用多项式扩展和sum-check等技术，使资源有限的验证者能够验证计算的正确性。这一协议不仅阐明了交互式证明的重要性，还为更先进的密码学应用奠定了基础。
本文深入探讨了椭圆曲线上的函数与映射，包括群的同态、同构、扭曲及其在密码学中的应用。作者解释了如何通过这些概念构建更复杂的算法，以及它们在有限域上的数学特性和意义。文章结构清晰，逻辑严谨，为读者提供了深入的技术理解。
本文介绍了带符号桶索引的多标量乘法（MSM）技术，也称为NAF方法。该方法通过将桶索引视为带符号整数，减少了桶的数量和内存使用。文章详细解释了如何将标量切片映射到新的范围，并提供了伪代码算法。同时讨论了处理最高切片溢出的问题，并提出了一种改进的技巧来避免最终进位。
Zircuit是一个EVM兼容的ZK rollup，旨在提升Web3应用的可扩展性和安全性。通过与Ingonyama的ICICLE软件库集成，Zircuit优化了其加密计算，显著改善了性能，降低了成本。本文详细介绍了Zircuit的功能、ICICLE的应用及将来的发展计划。
扫一扫 - 使用登链小程序
486 篇文章，572 学分
190 篇文章，527 学分
409 篇文章，365 学分
44 篇文章，333 学分
58 篇文章，313 学分
asecuritysite
在web3摘不拿拿
ingonyama
ZamaFHE
Shoal Research
EthTaipei
olympixai
billatnapier
Veridise
a16z Crypto
Louis
mariiazhvanko
lambdaclass
Frank Mangone
jNXoVmBaSSmE1Z9zgvRW_w
