搜索结果：crypto（35 个）

拥有极高运行速度的非加密哈希算法实现。

面向初学者的 JavaScript 算法与数据结构实现，遵循代码最佳实践。

Cryptol 是一种专为密码学算法设计的形式化规范语言及解释器，用 Haskell 编写。它解决了密码学规范难以验证与执行的问题，具备完全可执行性；支持通过随机向量测试算法，并能调用 Z3 等 SMT 求解器进行形式化证明，确保算法的正确性。

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

广泛应用的通用 TLS 协议与加密算法库。

开源算法与量化交易平台，用于开发股票、外汇、加密货币及期权交易机器人。

开源、可移植、易用的 TLS 库，也是 PSA Cryptography API 的参考实现。

Monero 官方仓库，专注于安全、隐私和不可追踪的加密货币。

支持多语言、连接超 100 家加密货币交易所及预测市场的统一交易 API。

现代、跨平台且易于使用的通用加密算法库。

quip 网络挖矿技术栈，包含协调器并连接所有官方 quip 网络矿工。

面向 Web 应用的开源 SSO 多因素认证门户，支持 OpenID 认证与后量子密码学。

免费且开源的加密货币自动化交易机器人。

支持 BTC、ETH、SOL 等多种主流公链加密货币的自托管钱包。

支持 RandomX 等多种算法的 CPU/GPU 挖矿及基准测试工具。