Module halo2_proofs::arithmetic

This module provides common utilities, traits and structures for group, field and polynomial arithmetic.

Traits

• CurveAffine
  This trait is the affine counterpart to Curve and is used for serialization, storage in memory, and inspection of $x$ and $y$ coordinates.
• CurveExt
  This trait is a common interface for dealing with elements of an elliptic curve group in a “projective” form, where that arithmetic is usually more efficient.
• Field
  This trait represents an element of a field.

Functions

• parallelize
  This utility function will parallelize an operation that is to be performed over a mutable slice.