xiaoxianboy / tachyon Goto Github PK

Tachyon is a Modular ZK Backend, powered by GPU.

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.

Symbol Definitions:

• ✔️ Currently supported.
• 🏗️ Partially implemented or is under active construction.
• ❌ Not currently supported.

• 2024Q1 - Enable producing the zkEVM proof.
• 2024Q2 - Replace Halo2 with Tachyon in Kroma mainnet.
• 2024Q3 - Implement Halo2 GPU.
• 2024Q4 - Implement Halo2 Folding Scheme.

Please follow the instructions here.

sudo apt install libgmp-dev libomp-dev

brew install gmp

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

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

Check How To Build for more information.