https://github.com/project-everest/hacl-star
History
Tip revision: d65e32adf1d6233b49571b3677a2b3fd6486c385 authored by Son HO on 17 February 2021, 16:56:15 UTC
Merge branch 'master' into son_random
Tip revision: d65e32a
File Mode Size
Hacl.HPKE.Curve51_CP128_SHA256.fst -rw-r--r-- 722 bytes
Hacl.HPKE.Curve51_CP128_SHA256.fsti -rw-r--r-- 378 bytes
Hacl.HPKE.Curve51_CP128_SHA512.fst -rw-r--r-- 722 bytes
Hacl.HPKE.Curve51_CP128_SHA512.fsti -rw-r--r-- 378 bytes
Hacl.HPKE.Curve51_CP256_SHA256.fst -rw-r--r-- 722 bytes
Hacl.HPKE.Curve51_CP256_SHA256.fsti -rw-r--r-- 378 bytes
Hacl.HPKE.Curve51_CP256_SHA512.fst -rw-r--r-- 722 bytes
Hacl.HPKE.Curve51_CP256_SHA512.fsti -rw-r--r-- 378 bytes
Hacl.HPKE.Curve51_CP32_SHA256.fst -rw-r--r-- 719 bytes
Hacl.HPKE.Curve51_CP32_SHA256.fsti -rw-r--r-- 377 bytes
Hacl.HPKE.Curve51_CP32_SHA512.fst -rw-r--r-- 719 bytes
Hacl.HPKE.Curve51_CP32_SHA512.fsti -rw-r--r-- 377 bytes
Hacl.HPKE.Curve64_CP128_SHA256.fst -rw-r--r-- 730 bytes
Hacl.HPKE.Curve64_CP128_SHA256.fsti -rw-r--r-- 471 bytes
Hacl.HPKE.Curve64_CP128_SHA512.fst -rw-r--r-- 730 bytes
Hacl.HPKE.Curve64_CP128_SHA512.fsti -rw-r--r-- 471 bytes
Hacl.HPKE.Curve64_CP256_SHA256.fst -rw-r--r-- 730 bytes
Hacl.HPKE.Curve64_CP256_SHA256.fsti -rw-r--r-- 471 bytes
Hacl.HPKE.Curve64_CP256_SHA512.fst -rw-r--r-- 730 bytes
Hacl.HPKE.Curve64_CP256_SHA512.fsti -rw-r--r-- 471 bytes
Hacl.HPKE.Curve64_CP32_SHA256.fst -rw-r--r-- 727 bytes
Hacl.HPKE.Curve64_CP32_SHA256.fsti -rw-r--r-- 469 bytes
Hacl.HPKE.Curve64_CP32_SHA512.fst -rw-r--r-- 727 bytes
Hacl.HPKE.Curve64_CP32_SHA512.fsti -rw-r--r-- 470 bytes
Hacl.HPKE.Interface.AEAD.fst -rw-r--r-- 1.8 KB
Hacl.HPKE.Interface.AEAD.fsti -rw-r--r-- 2.7 KB
Hacl.HPKE.Interface.DH.fst -rw-r--r-- 4.3 KB
Hacl.HPKE.Interface.HKDF.fst -rw-r--r-- 803 bytes
Hacl.HPKE.Interface.Hash.fst -rw-r--r-- 462 bytes
Hacl.HPKE.P256_CP128_SHA256.fst -rw-r--r-- 723 bytes
Hacl.HPKE.P256_CP128_SHA256.fsti -rw-r--r-- 369 bytes
Hacl.HPKE.P256_CP256_SHA256.fst -rw-r--r-- 723 bytes
Hacl.HPKE.P256_CP256_SHA256.fsti -rw-r--r-- 369 bytes
Hacl.HPKE.P256_CP32_SHA256.fst -rw-r--r-- 720 bytes
Hacl.HPKE.P256_CP32_SHA256.fsti -rw-r--r-- 368 bytes
Hacl.Impl.HPKE.fst -rw-r--r-- 20.7 KB
Hacl.Impl.HPKE.fsti -rw-r--r-- 4.7 KB
Hacl.Meta.HPKE.fst -rw-r--r-- 400 bytes
Hacl.Meta.HPKE.fsti -rw-r--r-- 22 bytes
Makefile -rw-r--r-- 823 bytes

back to top