Files
hyperplonk/scripts/run_benchmarks.sh