https://github.com/project-everest/hacl-star
History
Tip revision: 21a1aa25fd4374dd221e0f460b305f3d30660a8f authored by Jonathan Protzenko on 14 April 2020, 22:43:47 UTC
WIP trying to extend the internal buffer to a multiple of the block size
Tip revision: 21a1aa2
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