Module secp256kfun::marker

Markers for improved compile time safety, performance and functionality.

Structs

• BasePoint
  A Normal point which may have pre-computed tables for accelerating scalar multiplications. The only example of this is G.
• EvenY
  A Normal point whose y coordinate is known to be even.
• NonNormal
  A Non-normalized Point. Usually, represented as three field elements three field elements: x,y and z rather than just two in a Normal point.
• NonZero
  Something marked with NonZero is guaranteed not to be 0.
• Normal
  A Fully Normalized Point. Internally Normal points are represented using affine coordinates with fully normalized x and y field elements.
• Public
  Indicates that variable time operations may be used on the value.
• Secret
  Indicates that the value is secret and therefore makes core operations executed on it to use constant time versions of the operations.
• Zero
  Something marked with Zero might be 0 i.e. the additive identity

Traits

• DecideZero
  A trait to figure out whether the result of a multiplication should be Zero or NonZero at compile time.
• Normalized
  A marker trait that indicates a PointType uses a affine internal representation.
• PointType
  Every T of a Point<T,S,Z> implements the PointType trait.
• Secrecy
  A marker trait implemented by Secret and Public.
• ZeroChoice
  A marker trait implemented by Zero and NonZero.

Type Aliases

• JacobianDeprecated
  Backwards compatibility type alias.