关于SM9 R-ate相关实现请教

[emmansun]

1. Final Exponentiation，这个是和Implementing Cryptographic Pairings over Barreto-Naehrig Curves描述的一致。
2. sm9_eval_g_tangent() / sm9_eval_g_line()方法中，算出来的四个sm9_fp_t值a0, a1, a4, b1，是怎么确定在sm9_fp12_t 类型 中的位置的？按Implementing Cryptographic Pairings over Barreto-Naehrig Curves中第六部分的描述，好像是0,1,3啊。
   
3. sm9_twist_point_pi1 / sm9_twist_point_pi2方法，这里的Frobenius Map和 scalar multiple map的结果不同，也就是说sm9_twist_point_pi1(G) != q*G, 这也和https://github.com/miracl/MIRACL/blob/b9b8fd471de253cfd6313446cb490741edb069a7/source/curve/pairing/bn_pair.cpp#L313 不同，看来还是SM9这个映射的特殊性：
   

[emmansun]

看来问题2和问题3一样，都是因为那个映射的原因。