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

visit type:

Tip revision: 740e005247abf20870203acc9b37935012e2855a authored by Jonathan Protzenko on 08 June 2020, 20:48:05 UTC
Merge pull request #312 from project-everest/vdum_arm

Tip revision: 740e005

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