Best way to enforce correctness of modular arithmetic?

This page summarizes the projects mentioned and recommended in the original post on reddit.com/r/rust

Our great sponsors
  • OPS - Build and Run Open Source Unikernels
  • SonarQube - Static code analysis for 29 languages.
  • Scout APM - Less time debugging, more time building
  • GitHub repo algebra

    Libraries for finite field, elliptic curve, and polynomial arithmetic

    You can take a look at our approach in the arkworks library: https://github.com/arkworks-rs/algebra/blob/920070c60d481a29fb3c262ef9579f34cbb053a6/ff/src/fields/macros.rs#L103

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts