Constant Pedersen128 

pub const Pedersen128: Symbol;