BitVM achieved a series of optimizations to the Groth16 verifier script:Multiscalar Multiplication (MSM) Optimization: By optimizing MSM in affine coordinates, they reduced the size of the Groth16 verifier script, leading to faster verification times and lower resource consumption.Fq2 Multiplication Optimization: They further reduced the verifier size by implementing a more efficient multiplication method, enhancing performance and efficiency.