Module fixed_base

Functions

• msm_par
  Assumptions
• scalar_multiply
  Computes [scalar] * P on y^2 = x^3 + b where P is fixed (constant)