RustCrypto / crypto-bigint

Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas
Apache License 2.0
182 stars 51 forks source link

Optimized assembly acceleration #572

Open tarcieri opened 7 months ago

tarcieri commented 7 months ago

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 6 months ago

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