二十一世紀

使用Rust编写的加密原语集合。

本库内容

本库主要包含以下加密原语

• Tip5哈希函数
  • 用于递归STARK的Tip5哈希函数
• 格密码学
  • 商环 $\mathbb{F}_ p[X] / \langle X^{64} + 1 \rangle$ 的算术
  • 该商环上的模算术
  • 一个 IND-CCA2-安全的密钥封装机制
  • Miden VM中的基于格的密码学
• BFieldElement, XFieldElement
  • 素域类型 $\mathbb{F}_p$，其中 $p = 2^{64} - 2^{32} + 1$
  • 扩展域 $\mathbb{F}_p[x]/(x^3 - x + 1)$
  • 用于将结构体编码和解码为 Vec 的编码器特质 BFieldElement
  • 用于数论变换的高效素数
• NTT
  • 数论变换（离散快速傅里叶变换）
  • STARK的结构分析，第6部分：加速处理
• 一元和多变量多项式
• Merkle树
• Merkle山脉范围

发布协议

当twenty-first的版本是 0.x.y 时，发布新版本

1. 如果发布是向后兼容的，则新版本是 0.x+1.0。否则新版本是 0.x+1.1。
2. 检查Mjolnir的最后一个提交，并运行 make bench-publish。保存基准测试的结果并验证性能没有下降。
3. 在twenty-first/Cargo.toml中创建一个提交，增加 version = "0.x.y"。提交信息应该简要总结每个版本的变化。在底部包含基准测试结果。
4. 在此提交上创建一个 v0.x.y git标签。（git tag v0.x.y [sha]，git push upstream --tags）
5. 在此提交上执行 cargo publish，发布到 crates.io 和 GitHub tags。