[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-10485":3},{"id":4,"name":5,"fullName":6,"owner":7,"repo":5,"description":8,"homepage":9,"htmlUrl":10,"language":11,"languages":10,"totalLinesOfCode":10,"stars":12,"forks":13,"watchers":14,"openIssues":15,"contributorsCount":16,"subscribersCount":16,"size":16,"stars1d":16,"stars7d":16,"stars30d":16,"stars90d":16,"forks30d":16,"starsTrendScore":16,"compositeScore":17,"rankGlobal":10,"rankLanguage":10,"license":18,"archived":19,"fork":19,"defaultBranch":20,"hasWiki":21,"hasPages":19,"topics":22,"createdAt":10,"pushedAt":10,"updatedAt":32,"readmeContent":33,"aiSummary":34,"trendingCount":16,"starSnapshotCount":16,"syncStatus":35,"lastSyncTime":36,"discoverSource":37},10485,"tachyon","kroma-network\u002Ftachyon","kroma-network","Modular ZK(Zero Knowledge) backend accelerated by GPU","",null,"C++",7671,234,50,18,0,38.11,"MIT License",false,"main",true,[23,24,25,26,27,28,29,5,30,31],"blockchain","c-plus-plus","cpp17","cryptocurrency","cryptography","cuda","kroma","zero-knowledge","zk","2026-06-12 02:02:22","\u003Cdiv align=\"center\">\n  \u003Cbr \u002F>\u003Cbr \u002F>\u003Cbr \u002F>\n  \u003Cimg src=\"tachyon_logo_horizontal.png\" style=\"width: 50%;\">\n  \u003Cbr \u002F>\u003Cbr \u002F>\u003Cbr \u002F>\n\u003C\u002Fdiv>\n\n## Overview\n\n**Tachyon** is a Modular ZK Backend, powered by GPU.\n\n## Join Our Developer Community\n\nWe're thrilled to have you become a part of our community!\n\nIf your passion for Tachyon matches ours, we extend a warm invitation for you to join our developer community on [Telegram](https:\u002F\u002Ft.me\u002Fzktachyon). 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!\n\nThank you for your keen interest in contributing to Tachyon! ✨\n\n## Design Goals\n\n1. 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.\n2. 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.\n3. 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.\n4. GPU Interoperability: Tachyon's code is designed to be compatible with both CPU and GPU in the majority of scenarios.\n\n## List of Features\n\nSymbol Definitions:\n\n- :heavy_check_mark: Currently supported.\n- 🏗️ Partially implemented or is under active construction.\n- :x: Not currently supported.\n\n### Finite Fields\n\n|              | CPU                | GPU                |\n| ------------ | ------------------ | ------------------ |\n| BabyBear     | :heavy_check_mark: | :heavy_check_mark: |\n| BinaryFields | :heavy_check_mark: | :heavy_check_mark: |\n| Goldilocks   | :heavy_check_mark: | :heavy_check_mark: |\n| Mersenne-31  | :heavy_check_mark: | :heavy_check_mark: |\n| KoalaBear    | :heavy_check_mark: | :heavy_check_mark: |\n\n### Elliptic Curves\n\n|           | CPU                | GPU                |\n| --------- | ------------------ | ------------------ |\n| BN254     | :heavy_check_mark: | :heavy_check_mark: |\n| BLS12-381 | :heavy_check_mark: | :heavy_check_mark: |\n| Secp256k1 | :heavy_check_mark: | :heavy_check_mark: |\n| Pallas    | :heavy_check_mark: | :heavy_check_mark: |\n| Vesta     | :heavy_check_mark: | :heavy_check_mark: |\n\n### Commitment Schemes\n\n|          | CPU                | GPU                |\n| -------- | ------------------ | ------------------ |\n| GWC      | :heavy_check_mark: | :heavy_check_mark: |\n| SHPlonk  | :heavy_check_mark: | :heavy_check_mark: |\n| FRI      | :heavy_check_mark: | :x:                |\n| Pedersen | :heavy_check_mark: | :heavy_check_mark: |\n\n### Hashes\n\n|           | CPU                | GPU |\n| --------- | ------------------ | --- |\n| Poseidon  | :heavy_check_mark: | :x: |\n| Poseidon2 | :heavy_check_mark: | :x: |\n\n### FFT\n\n|               | CPU                | GPU                |\n| ------------- | ------------------ | ------------------ |\n| Radix2FFT     | :heavy_check_mark: | :heavy_check_mark: |\n| MixedRadixFFT | :heavy_check_mark: | :heavy_check_mark: |\n\n### Lookups\n\n|       | CPU                | GPU |\n| ----- | ------------------ | --- |\n| Halo2 | :heavy_check_mark: | :x: |\n\n### SNARKs\n\n|         | CPU                | GPU                |\n| ------- | ------------------ | ------------------ |\n| Groth16 | :heavy_check_mark: | :heavy_check_mark: |\n| Halo2   | :heavy_check_mark: | :x:                |\n\n### Frontends\n\n|                 | CPU                | GPU                |\n| --------------- | ------------------ | ------------------ |\n| Circom(groth16) | :heavy_check_mark: | :heavy_check_mark: |\n| Halo2           | :heavy_check_mark: | :x:                |\n\n## Roadmap\n\n- [x] 2024Q1 - Enable producing the [zkEVM](https:\u002F\u002Fgithub.com\u002Fkroma-network\u002Fzkevm-circuits) proof.\n- [x] 2024Q2 - Replace Halo2 with Tachyon in [Kroma](https:\u002F\u002Fkroma.network\u002F) mainnet.\n- [ ] 2024Q3a - Implement and optimize [Plonky3](https:\u002F\u002Fgithub.com\u002FPlonky3\u002FPlonky3) in Tachyon.\n- [ ] 2024Q3b - Replace zkEVM with [SP1](https:\u002F\u002Fgithub.com\u002Fsuccinctlabs\u002Fsp1) zkVM in [Kroma](https:\u002F\u002Fkroma.network\u002F) mainnet.\n\n## Prerequisites\n\n### Bazel\n\nPlease follow the instructions [here](https:\u002F\u002Fbazel.build\u002Finstall).\n\n### Ubuntu\n\n```shell\nsudo apt install libgmp-dev libomp-dev\n```\n\n### Macos\n\n```shell\nbrew install gmp libomp\n```\n\n## Getting started\n\n### Build\n\n```shell\nbazel build \u002F\u002F...\n```\n\n### Test\n\n```shell\nbazel test \u002F\u002F...\n```\n\nCheck [How To Build](\u002Fdocs\u002Fhow_to_use\u002Fhow_to_build.md) for more information.\n","Tachyon是一个基于GPU加速的模块化零知识证明后端。它使用C++编写，支持多种有限域和椭圆曲线算法，在CPU和GPU上均表现出色，实现了对BN254、BLS12-381等常用曲线以及GWC、SHPlonk等多种承诺方案的支持。项目注重通用性与易用性设计，旨在通过提供跨语言包来降低开发者使用门槛，并且特别强调了高性能要求，确保在各类硬件平台上都能快速执行复杂的密码学运算。Tachyon适用于需要高效处理零知识证明计算的各种区块链应用或加密货币项目中。",2,"2026-06-11 03:28:47","top_topic"]