Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Optimized assembly acceleration #572

Open
tarcieri opened this issue Feb 7, 2024 · 2 comments
Open

Optimized assembly acceleration #572

tarcieri opened this issue Feb 7, 2024 · 2 comments

Comments

@tarcieri
Copy link
Member

tarcieri commented Feb 7, 2024

Though we should definitely maintain a baseline profile which is pure Rust, it would be nice to be able to leverage optimized assembly implementations, and ideally formally verified ones which have been mechanically extracted from upstream sources.

One possible source of such assembly is the s2n-bignum project: https://github.com/awslabs/s2n-bignum

@spitters
Copy link

I wonder how it compares to Jasmin's https://github.com/haslab/libjbn

@tarcieri
Copy link
Member Author

As a data point, the graviola crate has adopted assembly from s2n-bignum and seems to perform quite well: https://crates.io/crates/graviola

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants