There are 3 APIs provided that are evaluate, verifyWesolowski, and verifyPietrzak. The APIs are completely implemented according to the algorithm of the above reference paper, except that the multiplication of large-bit-width integers is implemented based on “Montgomery Production”. For “Montgomery Production”, please refer to REF monProduct for details.