References GPU Yrrid and MatterLabs combined solution for MSM FFT library snarks with GPU PLONK Simplified Plonk Honest verifier fix in Plonk JellyFish library Bellman Plonk Cafe Awesome Plonk Dusk Network gnark's Plonk PlonkUp Groth16 Proof forgery Finite Fields zkcrypto Nilfoundation's crypto 3 multiprecision Montgomery REDC Domb's fast modular multiplication Rust crypto bigint Cairo felt Halo2 Halo2's poly Pairings Pairings or bilinear maps Lookup Tables Caulk