Blitzar is a C++ library for accelerating cryptographic zero-knowledge proof algorithms on the CPU and GPU.
The library addresses the need for faster computation of zero-knowledge proofs by leveraging GPU acceleration. It was developed to support Proof of SQL, a zero-knowledge proof system for SQL operations that can execute analytic queries on large datasets in under a second. The tool provides cryptographic primitives and algorithms optimized for both CPU and GPU execution, enabling developers to build ZK proof systems with significantly improved performance compared to CPU-only approaches.
Blitzar suits projects that require high-performance zero-knowledge proof generation, particularly those working with large datasets or requiring sub-second proof times. It is designed for developers working in C++ or Rust, with the C++ implementation available in this repository and a companion Rust crate available separately. The library targets Linux systems with x86 CPUs and NVIDIA GPUs, requiring CUDA support for GPU acceleration. Teams building Web3 applications, privacy-preserving systems, or cryptographic protocols that depend on ZK proofs should evaluate whether the performance gains from GPU acceleration justify the infrastructure requirements.
The project maintains active build automation with passing release workflows. Development appears focused on expanding the library's capabilities and establishing a foundation for community contributions to the zero-knowledge proof ecosystem.
