crypto

KaRaMeL 是一款将底层 F* 程序提取为可读 C 代码的工具

基于Scala的比特币实现

适用于Erlang和Elixir的JSON对象签名与加密库

通过约束求解实现汇编超级优化

Zcash改进提案

由Espresso Cash团队为Solana维护的Dart和Flutter应用及库。

Cardano区块链的账本实现与规范。

一款多人虚拟加密货币模拟器。创建代币、通过流动性池交易、参与预测问题投注、进行高风险博弈，并冲击排行榜！

基于C90的ML-KEM/FIPS 203安全、快速且可移植的实现方案

安全、快速且可移植的ML-DSA/FIPS 204 C90标准实现

一个快速、可移植且轻量级的COSE+CBOR实现，专为嵌入式系统设计。支持PQC、FIPS 140-3、DO-178及MISRA C标准。由wolfSSL提供技术支持。

后量子密码学IP核（Crystals-Dilithium算法）

📜 Axone 技术文档（基于 Docusaurus 构建）