New formulas : xbyak and ate-pairing