Skip to content
Branch: master
Find file History

EverCrypt is a cryptographic provider that combines HACL* and ValeCrypt into a unified library that supports CPU autodetection, multiplexing (picking the best implementation for your platform) and agility (one API for multiple algorithms achieving the same functionality).

EverCrypt establishes a strong abstraction boundary that serves as a foundational layer for verified applications such as Signal*, Merkle Trees and miTLS.

Read our documentation page for more information.

You can’t perform that action at this time.