Module algebra

Defines algebraic MPC types and operations on them

Modules

authenticated_scalar

Defines the authenticated (malicious secure) variant of the MPC scalar type

authenticated_stark_point

Defines an malicious secure wrapper around an MpcStarkPoint type that includes a MAC for ensuring computational integrity of an opened point

macros

Defines macros useful for creating arithmetic implementations

mpc_scalar

Defines an unauthenticated shared scalar type which forms the basis of the authenticated scalar type

mpc_stark_point

Defines an unauthenticated shared curve point type which forms the basis of the authenticated curve point type

scalar

Defines the scalar types that form the basis of the Starknet algebra

stark_curve

Defines the Scalar type of the Starknet field