搜索结果：protoc（5 个）

Hydra 是基于 Haskell 开发的 Cardano 二层扩容方案，旨在降低交易延迟与成本并提升吞吐量。它实现了 Hydra Head 协议，核心提供兼容主网的 `hydra-node` 节点、直连 Cardano 节点能力、WebSocket/HTTP API 以及终端交互界面 `hydra-tui`。

ChatMCP 是一款基于 Dart 开发的跨平台 AI 客户端，解决了在不同设备上统一调用模型上下文协议（MCP）的需求。核心支持桌面端、移动端与 Web 端，提供 MCP 工具调用、局域网数据同步，以及思考模式、图像生成、Artifacts、LaTeX 和 Mermaid 图表渲染等功能。

〔中文简介暂未生成〕 Main source code repository of the Tamarin prover for security protocol verification.

SimpleXMQ 是基于 Haskell 开发的单向（simplex）消息代理，解决了在公共网络中安全、隐私地管理消息队列与传输的问题。其核心功能包括提供 SMP 服务端、客户端库及代理，支持基于 TLS 指纹防劫持的通信、内存存储结合追加日志持久化，并通过组合多个单向队列实现全双工连接。

Ergo 是一个基于 PoW 共识机制的加密货币协议及其 Scala 官方全节点实现。它在扩展 UTXO 模型下解决了传统区块链合约功能受限与状态膨胀问题，核心支持图灵完备的 ErgoScript 合约语言、抗 ASIC 的 Autolykos2 算法、无状态轻客户端以及用于防止垃圾状态的存储费机制。