There are three APIs provided: 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, refer to REF monProduct for details.