Curve25519 - Restore decode_scalar in Spec.Curve25519
Curve25519 - Restore decode_scalar in Spec.Curve25519

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star