Module mod_funcs 

Utility functions used within circuits

Functions

is_coprime

Returns gcd(a, b) == 1

mod_inv

Returns b that satisfies a * b = 0 (mod m)

mod_power

get (a^e mod m)