MSM Barrett Reduction

Our Barret Reduction design for our field multiplier.


This barrett reduction module computes $a\ mod\ P$, where $P$ is the prime of the BLS12-377 prime field and $a < P^2$.