kroma-network/tachyon

Health v2 · maintenance only

Flags: prerelease_only

Adoption not part of the score

7655 stars · 234 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-29, confidence not recorded

Tachyon is a modular zero-knowledge (ZK) proving backend written in C++17, designed to let developers implement arbitrary proving schemes with minimal effort. It supports a wide range of finite fields, elliptic curves, and commitment schemes, with GPU acceleration via CUDA alongside CPU execution.

Use cases

• build a zero-knowledge proof system with GPU acceleration
• implement a custom proving scheme on top of finite fields and elliptic curves
• accelerate ZK proof generation for a blockchain rollup
• compute polynomial commitments like KZG or FRI for SNARKs/STARKs
• use BN254 or BLS12-381 curve arithmetic in C++ with CUDA support
• integrate ZK proving into another language via language bindings

When to choose

• you need a fast, general-purpose ZK backend rather than a fixed proving system
• you want GPU-accelerated finite field and elliptic curve operations
• you are building a zk-rollup, zkVM, or custom SNARK/STARK prover
• you need C++ performance with MIT licensing

When to avoid

• you want a ready-made, high-level proving system with a simple API out of the box
• your stack is pure Python or Rust with no C++ integration path
• you need GPU support for FRI, which is not yet GPU-accelerated
• you need a fully stable, long-term-supported API for production

Facets

library · maturity active

cryptography gpu-computing math sdk blockchain gpu-computing developer-tools cpp windows zero-knowledge zk-proof finite-fields elliptic-curves cuda proving-system cpp17 cryptography gpu linux macos

Member repositories

For agents

markdown · JSON · MCP: product_card(name="kroma-network/tachyon")