Crate ff[][src]

Expand description

This crate provides traits for working with finite fields.

Traits

BitViewSizedbits

Helper for size awareness on Sized storage regions.

Field

This trait represents an element of a field.

PrimeField

This represents an element of a prime field.

PrimeFieldBitsbits

This represents the bits of an element of a prime field.

Functions

adc

Calculate a + b + carry, returning the sum and modifying the carry value.

mac_with_carry

Calculate a + (b * c) + carry, returning the least significant digit and setting carry to the most significant digit.

sbb

Calculate a - b - borrow, returning the result and modifying the borrow value.

Type Definitions

FieldBitsbits

Bit representation of a field element.

Derive Macros

PrimeFieldderive

Derive the PrimeField trait.