libjade
libjade copied to clipboard
formosa-crypto
Crypto library
This ties in to the effort in https://github.com/jasmin-lang/jasmin/pull/736. - [x] crypto_hash - Removed BSWAP from SHA2. Replaced with direct byte moves as it only occured when loading and storing the...
The (S)CT checking in Jasmin is now done via the `jazzct` standalone checker (https://github.com/jasmin-lang/jasmin/pull/766). Thus, `Makefile.checksct` should use that (it is currently broken, AFAICT). The blockers are: - No support...
I think the following assignment is dead code and can be removed: https://github.com/formosa-crypto/libjade/blob/0daf13f4aa03db5494550811576227121f730eb1/src/crypto_kem/kyber/common/amd64/ref/reduce.jinc#L42
… in test*; new workflow; temporarily allow c code in leaf src/ directories (to allow > 4 args);
In the section [Properties guaranteed through interactive proofs](https://github.com/formosa-crypto/libjade#properties-guaranteed-through-interactive-proofs), there are two links about proofs, functional-correctness and security proofs, that are not working: * The corresponding sections need to be written....
Make sure that the jasmin safety checker checks all implementations through CI tests. Figure out the safetyparams string for the different functionalities to ensure memory safety also for external memory
Add API documentation for all functionalities in Libjade in doc/api.md
Add (reference and AVX2) implementations of Dilithium2, Dilithium3, and Dilithium5.
This PR mainly tried to remove the dependency of nix-shell-action and make use of the `shell` feature provided by github action - **ci: add nix setup composite action** - **ci:...
