ristretto255用于实现对cofactor不为1曲线的抽象，对外主要提供以下API接口：
- 1）“Encode”：将internal representations编码为bytestrings，使相同的ristretto255 element上所有相同的repsentations被编码为完全相同的bytestrings；
- 2）“DECODE”：将bytestrings解码为internal representations，且可对这些internal representations进行built-in validation，保证仅接受由有效ristretto255 elements编码的bytestrings；
- 3）“EQUALS”：对internal representations进行比对，对于相同ristretto255 element的不同internal representations表示，这些representations也被认为是等效的。
- 4）“FROM_UNIFORM_BYTES"：为hash-to-group和random-point运算提供一致的映射关系（由bytestrings到ristretto255 elements）。
以上提到的internal representations为elliptic curve points，所以内部的group element 加/减/scalar乘法运算可转换为对ellptic curve points的加/减/scalar乘法运算。
这个group运算需要用到Curve25519的Edward curve特性。
/// edwards.rs文件中注释：
Group operations for Curve25519, in Edwards form.
ristretto255抽象层对性能的损耗很小，个别特定的操作（如EQUALS）的运行性能甚至优于底层使用elliptic curve points的运算性能。
ristretto255 group element为prime order group element的抽象。
- “element encoding”为对一个ristretto255 group element（以下简称group element）的编码（该编码唯一且可逆的）；
- “internal representation”为实现ristretto255的ellptic curve上的一个point。 每个group point可以有多个等效的internal representations。（即可满足cofactor不为1的曲线。）
ristretto255 group element以扩展坐标系(x,y,z,t)形式表示。
3. 基于Curve25519的ristretto255层实现当把Curve25519 points作为internal representation时，具体的ristretto255 group实现细节如下：
Curve25519具有order—— l = 2 252 + 27742317777372353535851937790883648493 l=2^{252}+27742317777372353535851937790883648493 l=2252+27742317777372353535851937790883648493。
ristretto255为prime order group，其中的每个element均可作为generator，但是为了互操作性便利，会选择一个经典的generator——该generator对应的为Curve25519的basepoint，以便于复用现有scalar multiplication的precomputation。这个经典的generator的编码对应为：
e2f2ae0a 6abc4e71 a884a961 c500515f 58e30b6a a582dd8d b6a65945 e08d2d76
参考资料： [1] https://eprint.iacr.org/2015/673.pdf [2] https://tools.ietf.org/pdf/draft-hdevalence-cfrg-ristretto-01.pdf [3] https://ristretto.group/ristretto.html [4] https://github.com/dalek-cryptography/curve25519-dalek [5] https://mp.csdn.net/mdeditor/94566837#
