Summary
Zero-knowledge proof systems are increasingly used in blockchain applications, but their performance characteristics vary widely across different implementations, making it difficult for developers to select the right system for their use case. We present zk-Bench, a comprehensive benchmarking toolset for evaluating and comparing the performance of different SNARK systems. Our toolset measures proof generation time, proof size, verification time, and memory consumption across a standardized suite of computational tasks. We benchmark seven major SNARK systems, including Groth16, PLONK, HyperPLONK, and variations thereof, providing the first systematic comparative evaluation. Our results reveal significant performance trade-offs between proof size, generation time, and universality, and suggest that no single SNARK system dominates across all metrics.