Module fp

This module contains a generic implementation of prime field variables. That is, it implements the R1CS equivalent of ark_ff::Fp*.

Structs

• AllocatedFp
  Represents a variable in the constraint system whose value can be an arbitrary field element.

Enums

• FpVar
  Represent variables corresponding to a field element in F.