搜索结果：crypto（9 个）

开源可自部署的智能交易系统，支持 AI 研究、Python 策略、回测及多资产实盘风控。

Waves 是基于 Scala 实现的 Waves 区块链官方标准节点客户端。它主要解决去中心化应用（DApp）的底层运行与网络互联问题。核心功能包括：交易的处理与验证、区块的生成与存储、节点间网络通信、提供对外交互的 REST API，以及支持智能合约（RIDE 语言）和插件扩展管理。

Eclair 是用 Scala 编写的比特币闪电网络实现，严格遵循 BOLT 规范。它依托 Bitcoin Core 监控链上数据与管理链上资金，提供通道开设、关闭及闪电网络收付款功能，并内置丰富的 HTTP JSON API，方便开发者快速集成闪电支付能力。

基于 IETF 草案实现网络基础设施隐藏协议（NHP），在建连前完成密码学认证，隐藏基础设施以防攻击。

〔中文简介暂未生成〕 Bitcoin Implementation in Scala

支持多平台的网盘客户端加密工具，保障云存储隐私与数据安全。

全自动解密工具，无需预先知道密钥或算法类型即可自动破解加密、编码和哈希。

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

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