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.