Blitzar is a high-performance C++ library for GPU-accelerated cryptographic zero-knowledge proofs, developed by Space and Time. It provides multi-scalar multiplication (MSM), Pedersen commitments, inner product arguments, sumcheck proofs, and sequential commitments over multiple elliptic curves (Curve25519/Ristretto255, BLS12-381, BN254, Grumpkin). The library supports both CPU and CUDA GPU backends, with a stable C API and Rust bindings (blitzar-sys). It is designed for use in Space and Time's Proof of SQL, enabling analytic queries on large datasets with sub-second proof generation. The codebase is well-structured with extensive unit tests, benchmarks, and a Bazel/Nix build system. It incorporates optimized algorithms (Pippenger, bucket methods) and low-level field/curve arithmetic adopted from libsodium and zkcrypto, demonstrating strong engineering craftsmanship in GPU cryptography.
Libcaesium is a Rust library for lossy/lossless compression and conversion of JPEG, PNG, GIF, WebP, and TIFF images, with a C API for cross-language usage. It provides both file-based and in-memory compression, targeting specific output sizes, and preserving EXIF metadata or orientation. The architecture is modular, with format-specific compressors (jpeg.rs, png.rs, etc.) and shared utilities. The code is well-structured, tested across multiple platforms, and integrates advanced libraries like mozjpeg-sys, oxipng, gifski, and libwebp. It avoids framework boilerplate and demonstrates strong engineering practices, though some parts use unsafe Rust for direct JPEG manipulation.