Behold, my Number Theory for Cryptography paper on Groth16: