BN128 Proof Verification Through BLS12_381 Functions

@hanssv.chain Just pushed a static_verification function in the code so it will be easier to have some fun for anyone with it through online editors…

https://gist.github.com/genievot/9d9e248714795fc6e48dcba9b8b00680#file-bls12_381_latest_verifier-aes-L2