Optimized assembly acceleration
tarcieri opened this issue · 1 comments
tarcieri commented
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 commented
I wonder how it compares to Jasmin's https://github.com/haslab/libjbn