These algorithms make use of a mathematical computation called a modular inverse, which is a relatively expensive component of the computation. The formalization effort in 2021 only showed that the ...