密码学【免费下载链接】cryptographycryptography is a package designed to expose cryptographic primitives and recipes to Python developers.项目地址https://gitcode.com/gh_mirrors/cr/cryptography点击查看免费下载本篇技术指南以 cryptography 项目官方文档 docs/hazmat/primitives/mac/poly1305.rst 为核心骨架系统讲解 Poly1305 认证器authenticator在 Python 中的使用方式如何用 32 字节密钥为消息生成 16 字节标签、如何校验标签、密钥为何必须一次一换以及该项目 Rust 后端与 OpenSSL 底层实现。读完本文你将掌握Poly1305增量式 API 与generate_tag/verify_tag单步 API 的完整用法并能结合源码理解其异常处理与常量时间比较机制正确将其运用于自己的认证场景。什么是 Poly1305Poly1305 是一种消息认证码MAC算法由 Daniel J. Bernstein 设计其规范定义于 RFC 7539。它接收两个输入一个 32 字节的密钥secret key一条消息message并输出一个16 字节的标签tag用于对消息进行认证。校验方使用相同的密钥与消息重新计算标签再与收到的标签比较即可判断消息是否被篡改。在 cryptography 项目中Poly1305 属于 hazmat高风险层——即 docs/hazmat/primitives/mac/index.rst 所归纳的底层密码学原语集合使用者需要对密码学基础有足够认知并自行承担误用风险。该模块自 cryptography 2.7 起提供versionadded:: 2.7对应的 Python 封装位于 src/cryptography/hazmat/primitives/poly1305.py。密钥安全每个密钥只能使用一次这是 Poly1305 使用中最关键、也是最容易被忽视的安全约束。官方文档用must强调了这一点每个密钥必须只能使用一次。使用同一个密钥为多条消息生成标签将允许攻击者伪造标签forge tags。因此正确的做法是为每一条需要认证的消息生成一个新密钥。如果你打算将 Poly1305 作为对称加密的 MAC 使用官方明确建议改用 AEAD 方案 ChaCha20Poly1305cryptography.hazmat.primitives.ciphers.aead.ChaCha20Poly1305它内部集成了密钥流生成与认证逻辑能避免一次性密钥误用带来的安全风险。基本使用增量式计算与校验Poly1305类采用增量式incremental接口先用密钥构造对象通过update()分块喂入数据最后调用finalize()或verify()结束计算。 from cryptography.hazmat.primitives import poly1305 key b\x01 * 32 # 真实场景的密钥应来自 os.urandom(32) p poly1305.Poly1305(key) p.update(bmessage to authenticate) p.finalize() bT\xae\xff3\xbdW\xef\xd5r\x01\xe2n\xb7\xd2h校验标签使用verify()方法。若标签不正确会抛出异常 p poly1305.Poly1305(key) p.update(bmessage to authenticate) p.verify(ban incorrect tag) Traceback (most recent call last): ... cryptography.exceptions.InvalidSignature: Value did not match computed tag.注意示例中的密钥b\x01 * 32仅用于演示正式代码中必须使用os.urandom(32)或等价的安全随机源生成密钥切勿硬编码。update(data)将data的字节追加到待认证的消息中。参数data要哈希并认证的字节类型为bytes-like支持 buffer 协议抛出cryptography.exceptions.AlreadyFinalized见finalize()说明对象已终结后不可再调用抛出TypeError当data不是bytes类型时抛出。finalize()终结当前上下文并返回消息认证码MAC类型为bytes。返回bytes类型的消息认证码16 字节抛出cryptography.exceptions.AlreadyFinalized。终结后对象不可复用一旦调用过finalize()该对象即被标记为已终结之后对update()、verify()、finalize()的调用都会抛出AlreadyFinalized异常。从源码看这一行为由 Rust 后端强制保证finalize()在取出计算结果后会将内部状态置为None见 src/rust/src/backend/poly1305.rs 中self.inner None;的逻辑此后任何方法调用都会进入map_or分支并返回already_finalized_error()。verify(tag)终结当前上下文并将计算出的 MAC 与传入的tag进行安全比较常量时间比较见下文实现细节。参数tag要与计算结果比较的字节类型为bytes抛出cryptography.exceptions.AlreadyFinalized对象已终结抛出cryptography.exceptions.InvalidSignature标签不匹配抛出TypeErrortag不是bytes。单步操作generate_tag 与 verify_tag对于一次性认证场景无需维护增量状态可以使用两个静态方法一步完成签名或校验。generate_tag(key, data)classmethod一步式签名操作给定key与data直接返回消息认证码bytes。 poly1305.Poly1305.generate_tag(key, bmessage to authenticate) bT\xae\xff3\xbdW\xef\xd5r\x01\xe2n\xb7\xd2h参数key秘密密钥bytes-like参数data要哈希并认证的字节bytes-like返回bytes类型的消息认证码抛出cryptography.exceptions.UnsupportedAlgorithm当所编译链接的 OpenSSL 版本不支持该算法时抛出抛出TypeErrorkey或data不是bytes时抛出。verify_tag(key, data, tag)classmethod一步式校验操作使用给定的key与data安全比较 MAC 与tag。 poly1305.Poly1305.verify_tag(key, bmessage to authenticate, ban incorrect tag) Traceback (most recent call last): ... cryptography.exceptions.InvalidSignature: Value did not match computed tag.参数key秘密密钥bytes参数data要认证的字节bytes-like参数tag要比较的字节bytes抛出cryptography.exceptions.UnsupportedAlgorithmOpenSSL 版本不支持该算法抛出TypeErrorkey、data或tag不是bytes抛出cryptography.exceptions.InvalidSignature标签不匹配。从实现看这两个静态方法内部只是增量式流程的便捷封装generate_tag依次执行new(key)→update(data)→finalize()verify_tag则在计算后调用verify()见 src/rust/src/backend/poly1305.rs 的generate_tag与verify_tag定义因此二者的安全性约束与增量式 API 完全一致。参数、异常与类型速查下表汇总Poly1305各接口的完整契约对应 src/cryptography/hazmat/bindings/_rust/openssl/poly1305.pyi 的类型声明接口参数返回主要异常Poly1305(key)key: bytes-like必须恰好 32 字节对象UnsupportedAlgorithm、ValueError密钥长度错误update(data)data: bytes-likeNoneAlreadyFinalized、TypeErrorfinalize()无bytes16 字节 MACAlreadyFinalizedverify(tag)tag: bytesNoneAlreadyFinalized、InvalidSignature、TypeErrorgenerate_tag(key, data)静态key、data: bytes-likebytes16 字节 MACUnsupportedAlgorithm、TypeError、ValueErrorverify_tag(key, data, tag)静态key、data: bytes-liketag: bytesNoneUnsupportedAlgorithm、TypeError、InvalidSignature、ValueError其中UnsupportedAlgorithm的抛出条件在源码中清晰可见当 OpenSSL 处于 FIPS 模式时Poly1305 会被拒绝并抛出UnsupportedAlgorithmreason 为UNSUPPORTED_MAC因为该算法未被 FIPS 批准见 src/rust/src/backend/poly1305.rs 中Poly1305Open::new对fips::is_enabled()的检查。密钥长度也由 Rust 层强制校验非 32 字节的密钥会直接抛出ValueError: A poly1305 key is 32 bytes long。源码级实现Rust 后端与双后端分支尽管 Python 侧暴露的接口只有寥寥数行Poly1305 的实现主体位于 Rust 层。Python 封装 src/cryptography/hazmat/primitives/poly1305.py 仅仅是将rust_openssl.poly1305.Poly1305重新导出真正的逻辑在 src/rust/src/backend/poly1305.rs 中按编译目标分两条路径BoringSSL / LibreSSL / AWS-LC 分支Poly1305Boring直接使用这些库自带的CRYPTO_poly1305_*原生 API。对应的状态封装在 src/rust/cryptography-openssl/src/poly1305.rs其中有一个值得注意的实现细节poly1305_state必须分配在堆上Box而不是栈上因为 BoringSSL 的 API 会忽略对齐地址之前的所有数据栈上结构体每次拷贝地址都会变化导致上下文被错误解释——这也是该文件在结构体上方的注释中专门说明的坑。标准 OpenSSL 分支Poly1305Open通过 OpenSSL 的 EVPSigner接口用PKey::private_key_from_raw_bytes将原始 32 字节密钥构造为POLY1305类型的私钥再调用Signer::new_without_digest完成认证finalize()内部调用signer.sign()输出恰好 16 字节。值得强调的安全实现是verify 的常量时间比较verify()并非直接比较字节串而是调用constant_time::bytes_eq(actual, signature)进行常量时间比较见 src/rust/src/backend/poly1305.rs 的verify方法以抵御时序侧信道攻击比较失败则抛出InvalidSignature(Value did not match computed tag.)。测试与官方向量如何验证实现正确性仓库为 Poly1305 提供了完整的测试与向量验证可作为自行验证实现的参照官方测试向量vectors/cryptography_vectors/poly1305/rfc7539.txt 收录了 RFC 7539 附录中的 11 组向量COUNT 010每组包含KEY、MSG、TAG三个十六进制字段。其中 COUNT 0 是全零密钥与全零消息得到全零标签COUNT 410 则是专门构造的边界用例用于触发进位、模约减等内部路径。测试代码tests/hazmat/primitives/test_poly1305.py 覆盖了逐向量比对update/finalize与generate_tag/verify_tag输出、finalize后调用抛AlreadyFinalized、非 bytes 输入抛TypeError、31/33 字节密钥抛ValueError、错误标签抛InvalidSignature以及bytearray等 buffer 协议对象作为密钥与消息的兼容性。若你的 OpenSSL 不支持 Poly1305测试还会验证抛出UnsupportedAlgorithm。适用场景与算法选型建议Poly1305 通常不作为独立 MAC 使用它的典型角色是 ChaCha20-Poly1305 AEAD 构造中的认证组件RFC 7539 正是同时定义 ChaCha20 流密码与 Poly1305 认证器的规范。在 cryptography 的 MAC 家族HMAC、CMAC、Poly1305中官方 MAC 总览文档 明确建议除非有非常特定的需求否则优先使用 HMAC。在以下情况可以考虑 Poly1305你正在实现基于 RFC 8439ChaCha20-Poly1305的自定义协议需要与之匹配的认证原语你的消息量极大且密钥可以按消息一次一换希望利用 Poly1305 在软件实现上的高性能你明确理解一次性密钥约束并有可靠的密钥分配机制保证每个密钥只认证一条消息。否则若需求只是常规的消息完整性认证请选择 HMAC若需求是加密 认证请直接使用 AEAD 层的 ChaCha20Poly1305把密钥管理的复杂度交给成熟的构造方案。总结与安全要点要点说明密钥长度固定 32 字节否则抛ValueError输出长度固定 16 字节标签密钥复用绝对禁止每次认证必须使用新密钥否则攻击者可伪造标签正确密钥来源os.urandom(32)切勿使用固定值或可预测值比较方式verify/verify_tag采用常量时间比较抗时序攻击终结语义finalize()或verify()后对象不可再用否则抛AlreadyFinalized底层依赖Rust 后端按编译目标分别使用 OpenSSL EVP 或 BoringSSL 系原生 APIFIPS 模式下不可用Poly1305 的 API 设计非常简洁一个构造器、一个增量update、一个终结finalize/verify加上两个静态便捷方法。真正的复杂性——密钥管理——需要由调用方承担。只要严格遵守一消息一密钥原则Poly1305 就能在 cryptography 项目中为你的协议提供可靠的认证能力。赞分享密码学【免费下载链接】cryptographycryptography is a package designed to expose cryptographic primitives and recipes to Python developers.项目地址https://gitcode.com/gh_mirrors/cr/cryptography点击查看免费下载相关推荐cryptography 消息认证码MAC完全指南HMAC、CMAC 与 Poly1305 的 API 详解与实践cryptography 消息认证码MAC完全指南HMAC、CMAC 与 Poly1305 的 API 详解与实践 导读 在 cryptography 项密码学从写策略到实盘下单量化交易工具箱30天上手全解从写策略到实盘下单量化交易工具箱30天上手全解 「30天掌握量化交易」是一个覆盖数据采集、策略回测到实盘下单的量化交易工具箱内置可直接运行的爬虫、选股、回测金融科技数据分析机器学习John the Ripper 中的 Poly1305-Donna可移植单消息认证码MAC实现深度解析John the Ripper 中的 Poly1305 Donna可移植单消息认证码MAC实现深度解析 本文围绕 John the Ripper jumb网络安全密码学渗透测试应用安全上一篇Amlogic S9xx 盒子 U盘启动 Armbian 完整教程闲置电视盒子变成 Linux 服务器的全过程下一篇一次触发、26 个并行构建WSABuilds 的 GitHub Actions 流水线全解创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考