Skip to content

decipherhub/tachyon

Β 
Β 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 






Overview

Tachyon is a Modular ZK Backend, powered by GPU.

Design Goals

  1. General Purpose: A versatile ZK library empowers developers to implement any proving scheme with minimal effort, often enhancing developer productivity. To create a general-purpose backend, aligning the code structure as closely as possible with the algebraic structure is paramount.
  2. Easy to Use: Achieving widespread adoption is essential for the success of any product. Consequently, one of the key focal points of the Tachyon project is to include offering packages for various programming languages and runtimes.
  3. Blazing Fast: Tachyon's foremost requirement is speed, and not just any speed, but blazing speed! This entails Tachyon delivering exceptional performance on both CPU and GPU platforms.
  4. GPU Interoperability: Tachyon's code is designed to be compatible with both CPU and GPU in the majority of scenarios.

List of Features

Symbol Definitions:

  • βœ”οΈ Currently supported.
  • πŸ—οΈ Partially implemented or is under active construction.
  • ❌ Not currently supported.

Finite Fields

CPU GPU
BabyBear βœ”οΈ βœ”οΈ
BinaryFields βœ”οΈ βœ”οΈ
Goldilocks βœ”οΈ βœ”οΈ
Mersenne-31 βœ”οΈ βœ”οΈ
KoalaBear βœ”οΈ βœ”οΈ

Elliptic Curves

CPU GPU
BN254 βœ”οΈ βœ”οΈ
BLS12-381 βœ”οΈ βœ”οΈ
Secp256k1 βœ”οΈ βœ”οΈ
Pallas βœ”οΈ βœ”οΈ
Vesta βœ”οΈ βœ”οΈ

Commitment Schemes

CPU GPU
GWC βœ”οΈ ❌
SHPlonk βœ”οΈ ❌
FRI βœ”οΈ ❌
Pedersen βœ”οΈ ❌

Hashes

CPU GPU
Poseidon βœ”οΈ ❌
Poseidon2 βœ”οΈ ❌

Lookups

CPU GPU
Halo2 βœ”οΈ ❌

SNARKs

CPU GPU
Groth16 βœ”οΈ ❌
Halo2 βœ”οΈ ❌

Frontends

CPU GPU
Circom(groth16) βœ”οΈ ❌
Halo2 βœ”οΈ ❌

Roadmap

  • 2024Q1 - Enable producing the zkEVM proof.
  • 2024Q2 - Replace Halo2 with Tachyon in Kroma mainnet.
  • 2024Q3a - Implement and optimize Plonky3 in Tachyon.
  • 2024Q3b - Replace zkEVM with SP1 zkVM in Kroma mainnet.

Prerequisites

Bazel

Please follow the instructions here.

Ubuntu

sudo apt install libgmp-dev libomp-dev

Macos

brew install gmp libomp

Getting started

Build

bazel build --config {os} //...

Test

bazel test --config {os} //...

Check How To Build for more information.

Join Our Developer Community

We're thrilled to have you become a part of our community!

If your passion for Tachyon matches ours, we extend a warm invitation for you to join our developer community on Telegram. Ask questions, share insights, or simply stay informed on Tachyon's newest updates with other developers and the original team through our Telegram group. We hope to see you there!

Thank you for your keen interest in contributing to Tachyon! ✨