Some very rough benchmarks between sha256 circuits in different proving systems - View it on GitHub