Content - 5f74ecef79a529fde361663427a1d15cb208cf2d - ed52e1d/code/curve25519/Hacl.Curve25519_51.fsti

visit type:

Tip revision: f95b54abf9076a7a072a54750b40dc9f85039b74 authored by Dzomo, the Everest Yak on 01 October 2021, 08:30:56 UTC
[CI] regenerate hints and dist

Tip revision: f95b54a

Hacl.Curve25519_51.fsti

module Hacl.Curve25519_51

open Hacl.Impl.Curve25519.Generic
open Hacl.Impl.Curve25519.Fields

val scalarmult: scalarmult_st M51 True
val secret_to_public: secret_to_public_st M51 True
val ecdh: ecdh_st M51 True

Browse the archive

https://github.com/project-everest/hacl-star