void init_public_params<edwards_pp>() { init_edwards_params(); }
void edwards_pp::init_public_params() { init_edwards_params(); }
void init_public_params<edwards_pp>() { init_edwards_params(); }
void edwards_pp::init_public_params() { init_edwards_params(); }