Module generic_ec::traits

Common traits for points and scalars

Traits

• IsZero
  Trait that allows you to check whether value is zero
• One
  Type that has “one” value (multiplicative identity)
• Reduce
  Reduces an integer represented as array of N bytes modulo curve (prime) order
• Samplable
  Type can be uniformely sampled from source of randomness
• Zero
  Type that has zero value (additive identity)