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