搜索结果：crypto（7 个）

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

冰霜之地技术博客，包含深度源码解析、系统设计与工程实践笔记。

基于 Rust 开发的生产级交易引擎，采用确定性事件驱动架构。

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

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

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

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