void alt_bn128_pp::init_public_params() { init_alt_bn128_params(); }
void init_public_params<alt_bn128_pp>() { init_alt_bn128_params(); }