GitHub repository: risc0/zkp-compiler-shootout
Description: Evaluating & benchmarking ZKP compilation strategies.