tachyon

Tachyon 是一个模块化零知识证明（ZK）后端库，专为 GPU 加速设计，支持多种有限域、椭圆曲线及承诺方案的高效计算。其核心特点是采用 C++17 实现，深度集成 CUDA，实现 CPU/GPU 统一接口，并提供跨语言绑定以提升易用性；在性能上强调高吞吐与低延迟，适用于 ZK-SNARK/STARK 等证明系统构建。适合区块链底层开发、隐私计算协议实现及高性能密码学工程等场景。