# spaceandtimefdn/blitzar

Zero-knowledge proof acceleration with GPUs for C++ and Rust

Repository: https://github.com/spaceandtimefdn/blitzar
Canonical: https://ross.abutalabs.com/products/blitzar
Homepage: https://www.spaceandtime.io/
Language: C++
License: Apache-2.0
License Family: permissive
Topics: cpp20, curve25519, elliptic-curve-cryptography, rust, zk-proofs
Last push: 2026-07-16T19:04:24+00:00

## Health v2 (maintenance only)
Score: 89/100 (v2, computed 2026-09-03T02:20:16.233290+00:00)
- activity 92, release rhythm 89, longevity 84
- inputs: {"age_days": 1178, "days_push": 48, "days_rel": 78, "gap_med": 2.0, "n_releases_24m": 55}
- flags: none
- formula: round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)

## Adoption (not part of the score)
Stars 4865, forks 158 (observed 2026-08-28T04:09:01.577646+00:00)

## What it is
Blitzar is a C++ library (with Rust bindings) that accelerates zero-knowledge proof algorithms on CPU and GPU using CUDA. It was built by Space and Time to speed up Proof of SQL and is open-sourced for the Web3 community to build GPU-accelerated ZK proofs.

## Use cases
- accelerate zero-knowledge proof generation with GPUs
- speed up cryptographic commitment computation over millions of rows
- build GPU-accelerated ZK proof systems in C++ or Rust
- prove SQL queries over large datasets in under a second
- compute curve25519 elliptic curve operations fast

## When to choose
- you need GPU acceleration for ZK proof generation at scale
- you are building zero-knowledge proofs in C++ or Rust on Linux with NVIDIA GPUs
- you need fast multi-scalar multiplication or curve operations

## When to avoid
- you need a full ZK proof system or verifier rather than acceleration primitives
- you are not on Linux x86 with CUDA-capable NVIDIA GPUs
- you need a high-level proof DSL rather than a low-level crypto library

## Facets
- artifact type: library
- maturity: active
- function: cryptography, gpu-computing, developer-tools
- domain: blockchain, gpu-computing, developer-tools
- platform: cpp, rust
- tags: zero-knowledge-proofs, zk-proofs, cuda, curve25519, elliptic-curves, proof-acceleration, web3, cryptography, linux, gpu

## Member repositories
- spaceandtimefdn/blitzar (main) score 89

## Provenance
- Observed fields: from GitHub, fetched 2026-08-28T04:09:01.577646+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-29T18:18:21.282552+00:00, confidence not recorded.
  - readme: https://github.com/spaceandtimefdn/blitzar (fetched 2026-08-28T04:09:01.577646+00:00, sha 8c4de093cda0)
  - homepage: https://www.spaceandtime.io/ (fetched 2026-08-29T09:00:59.592119+00:00, sha 203f48dc5f28)
  - site_page: https://docs.spaceandtime.io/docs/indexed-ethereum-data-zk-proven (fetched 2026-08-29T09:00:59.598729+00:00, sha 4aa2d2708fae)
  - site_page: https://docs.spaceandtime.io/docs/creating-tables-ddl (fetched 2026-08-29T09:00:59.600736+00:00, sha 32ba0ec13d15)
  - site_page: https://www.spaceandtime.io/about (fetched 2026-08-29T09:00:59.594876+00:00, sha 851782fa4a91)
  - site_page: https://docs.spaceandtime.io/docs/zk-sql-via-smart-contracts (fetched 2026-08-29T09:00:59.602365+00:00, sha 708b16fbca38)
  - site_page: https://docs.spaceandtime.io/docs/space-and-time-managed-db-via-apis-offchain (fetched 2026-08-29T09:00:59.603874+00:00, sha dea76099ac1c)
  - site_page: https://docs.spaceandtime.io/docs (fetched 2026-08-29T09:00:59.605414+00:00, sha 6ce08c7a32da)
  - site_page: https://docs.spaceandtime.io (fetched 2026-08-29T09:00:59.607109+00:00, sha 6ce08c7a32da)
  - site_page: https://www.spaceandtime.io/blog/economics (fetched 2026-08-29T09:00:59.596702+00:00, sha 376323ed4a24)
- Data as of 2026-08-30T08:39:29.467469+00:00.