V.Encoding
val pk_encoding : (Mec.Curve.Curve25519.AffineEdwards.t, pk L.repr, pk) L.Encodings.encoding
val signature_encoding : (P.signature, signature, pk * bool list) L.Encodings.encoding