Miden stdlib

Miden 虚拟机标准库。

Miden 标准库提供了一套可由任何 Miden 程序使用的程序。这些程序基于 Miden 汇编的核心指令集，扩展了用户可立即使用的功能。

Miden 标准库的目标是

• 提供高度优化的、经过实战考验的常用原语实现。
• 减少各方之间为证明和验证程序执行而需要共享的代码量。

第二个目标可以通过将标准库中的程序调用始终序列化为 32 字节来实现，无论程序有多大。

可用模块

目前，Miden 标准库只包含几个模块，如下所示。随着时间的推移，我们计划添加更多模块，包括各种密码学原语、额外的数值数据类型和操作等。

• std::crypto::hashes::blake3
• std::crypto::hashes::keccak256
• std::crypto::hashes::sha256
• std::crypto::fri::frie2f4
• std::math::u256
• std::math::u64
• std::math::secp256k1
• std::mem
• std::sys

状态

目前，上述所有实现都被认为是实验性的，并可能发生变化。

许可证

此项目遵循 MIT 许可证。