formosa-crypto/libjade

This is stars and forks stats for /formosa-crypto/libjade repository. As of 09 May, 2024 this repository has 33 stars and 11 forks.

Libjade Libjade is a formally verified cryptographic library written in the jasmin programming language with computer-verified proofs in EasyCrypt. Libjade is part of the Formosa-Crypto project. The primary focus is on offering high-assurance implementations of post-quantum crypto (PQC) primitives to support the migration to the next generation of asymmetric cryptography. The library additionally contains implementations of various symmetric primitives and—to enable hybrid deployment of PQC—also...