Evaluating & benchmarking ZKP compilation strategies. - View it on GitHub