密码学

本文介绍了属性加密（ABE）在电信行业后量子密码学中的应用，重点介绍了基于属性的加密（CP-ABE）的密文策略以及其在密钥封装机制（KEMs）中的应用，通过属性策略控制密钥的访问，以增强安全性。文章还提供了一个CP-ABE的示例代码和在线演示。

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

本文介绍了FROST（Flexible Round-Optimised Schnorr Threshold）方法，它是一种将密钥分割成多个碎片并在达到阈值数量后恢复密钥的技术。FROST通过分布式签名实现阈值签名，其中n个参与者中的任何t个都可以生成有效的签名，同时探讨了其在加密货币交易、身份验证和密钥恢复等领域的应用。

本文介绍了生日悖论以及它在密码学中的应用，特别是在哈希碰撞方面的应用。通过生日悖论，可以理解攻击者如何利用较少的计算量找到哈希碰撞，并探讨了MD5、SHA-1等哈希算法的安全性问题，以及量子计算对密码学的影响。最后，建议使用更长的密钥和哈希值，如256位的AES和SHA-256，以提高安全性。

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

本文深入探讨了STARKs中约束的概念，并通过Lambdaworks库，以Cairo的非确定性连续只读内存的约束实现为例，详细解释了如何使用多项式来总结trace values之间的高度复杂关系。文章详细介绍了连续只读内存的定义，以及如何通过引入排序和辅助列，将验证内存属性简化为验证连续性约束、单值约束和排列约束。

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

本文深入探讨了区块链架构，阐述了其工作原理以及安全性的来源。文章详细介绍了区块链的关键组成部分，包括区块、链、共识机制（如PoW和PoS）、去中心化、密码学和不可篡改性。通过结合密码学和去中心化，区块链能够确保数据的安全性、透明性和不可变性，从而为金融、治理等领域的数字化转型奠定基础。

文章探讨了俄罗斯在莫斯科市杜马选举中引入区块链投票系统的安全性问题，特别是该系统在实际投票前被成功攻破的事件。通过展示加密技术的可破解性，作者质疑区块链技术在选举中的有效性，并指出美国可能重新考虑使用纸质选票的趋势。

本文介绍了Ralph C Merkle在密码学和网络安全领域的卓越贡献，包括公钥密码、密码哈希、Merkle Puzzles、Merkle-Hellman背包密码系统和Merkle树等。文章回顾了Merkle在公钥密码学上的突破性工作，以及他对Merkle树的贡献，Merkle树在区块链和其他领域有着广泛的应用。

古典密码学的历史可以追溯到公元 400 年前，斯巴达人发明了 “塞塔式密码” ，即把长条纸螺旋形地斜绕在一个多棱棒上，将文字沿棒的水平方向从左到右书写，写一个字旋转一下，写完一行再另起一行从左到右写，直到写完。解下来后，纸条上的文字消息杂乱无章、无法理解，这就是密文,但将它绕在另一个同等尺寸

该密码学原语，通过提供每一步的结果都是正确的并且所有先前步的结果都已在每步中正确执行过的证明，允许给定方来展示给定计算机程序执行的完整性。

ZK Mesh是关于隐私增强密码学、分布式协议开发和零知识系统研究的月度新闻通讯，涵盖了最新的研究、文章、视频、播客、推文、工具、项目更新和活动。本期内容包括了zkSpeed、线性时间累积方案、GIGA协议等研究，以及硬件友好的HyperPlonk、后量子密码学代码优化等文章，以及多个零知识证明相关的视频和项目更新。

本文讨论了Web3安全中SDK审计的重要性，强调了SDK作为连接dApp、钱包和区块链网络的关键层，其安全性常常被忽视。文章详细解释了SDK审计的定义、与智能合约和OpSec审计的区别，以及SDK审计的具体流程和评估领域，并列举了现实世界中SDK漏洞的案例，突出了进行SDK审计的必要性。

本文介绍了Cysic公司正在进行的零知识证明（ZKP）专用硬件研究工作，目标是开发一种定制的证明加速芯片，专门用于ZKP工作负载。