A more efficient implementation of Shor's algorithm

Publishing a zero knowledge proof rather than the solution is pretty clever.