Crypto.Curve.XCurves

Definitions

mul : XCurvesParameter n -> Vect n Bits8 -> Vect n Bits8 -> Maybe (Vect n Bits8)

Visibility: public export

derive_public_key : XCurvesParameter n -> Vect n Bits8 -> Maybe (Vect n Bits8)

Visibility: public export

x25519 : XCurvesParameter 32

Visibility: public export

x448 : XCurvesParameter 56

Visibility: public export