Zorch is a package for CUDA-optimized STARK proving. All files freely released under the WTFPL: https://www.wtfpl.net/