# kroma-network/tachyon

Modular ZK(Zero Knowledge) backend accelerated by GPU

Repository: https://github.com/kroma-network/tachyon
Canonical: https://ross.abutalabs.com/products/tachyon
Language: C++
License: MIT
License Family: permissive
Topics: cpp17, cuda, zk, blockchain, c-plus-plus, cryptography, kroma, tachyon, zero-knowledge, cryptocurrency
Last push: 2024-11-29T10:05:23+00:00

## Health v2 (maintenance only)
Score: 26/100 (v2, computed 2026-09-02T17:46:02.011165+00:00)
- activity 0, release rhythm 28, longevity 83
- inputs: {"age_days": 1163, "days_push": 642, "days_rel": 666, "gap_med": 53, "n_releases_24m": 2}
- flags: prerelease_only
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 7655, forks 234 (observed 2026-08-28T04:10:02.217229+00:00)

## What it is
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
- artifact type: library
- maturity: active
- function: cryptography, gpu-computing, math, sdk
- domain: blockchain, gpu-computing, developer-tools
- platform: cpp, windows
- tags: zero-knowledge, zk-proof, finite-fields, elliptic-curves, cuda, proving-system, cpp17, cryptography, gpu, linux, macos

## Member repositories
- kroma-network/tachyon (main) score 26

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:10:02.217229+00:00.
- Health v2: computed from the inputs above; adoption is never an input.
- Inferred fields (summary, facets, guidance): AI-extracted, prompt v1, taxonomy v1, on 2026-08-29T17:36:44.829322+00:00, confidence not recorded.
  - readme: https://github.com/kroma-network/tachyon (fetched 2026-08-28T04:10:02.217229+00:00, sha c4d3d3e1a8d3)
- Data as of 2026-08-30T08:39:29.467469+00:00.