HACL* Raw RSA Encryption and Decryption #7
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Tracks auxiliary files for zeta development.
* Adds crypto algorithm performance testing harness This commit adds a GitHub Action-based test harness, which builds the Linux Kernel as a User-mode Linux binary, and runs the test script placed on the zeta/test-artifacts/test-script.sh file. * Address review comments Add /proc directory to the initramfs structure, rather than creating it as part of the init script. Make busybox install the links to the builtin utilities as part of the init script, so that commands don't have to be prepended with busybox (which seemed to only be required in some cases). Modify the kernel make directive to use the number of processor cores available to the Github runner to speed up the build process. * Install deps, collecting artifacts, and running few algs. --------- Co-authored-by: armfazh <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR adds an alternative implementation for the core RSA encryption and decryption functions in crypto/rsa.c. The code is taken from HACL*, but required changes to the source F* code, since it was embedded within RSA-PSS and had to be factored out. The RSA functions are quite (perhaps too) strict on their input and output lengths, so this code needs extensive testing to be sure that it handles all the kinds of inputs the kernel may throw at it.