Combine efforts with RustCrypto?

[tarcieri]

Hi there!

I'm writing on behalf of the @RustCrypto org, where we maintain several elliptic curve implementations including an sm2 crate at https://github.com/RustCrypto/elliptic-curves/tree/master/sm2

It looks like your field implementations are much faster than the ones we were using, which were synthesized using the formally verified fiat-crypto tool. I think it would be interesting to integrate them into our curve implementation, which uses a generic implementation of the Renes-Costello-Batina 2015 complete formulas for prime order elliptic curves, and is also written around the group crate which enables implementing algorithms that work across elliptic curves.

Does that sound interesting to you?

[Pencil-Yao]

It's nice, what need I do?

[tarcieri]

The sm2 crate's field implementation is here:

https://github.com/RustCrypto/elliptic-curves/blob/master/sm2/src/arithmetic/field.rs
https://github.com/RustCrypto/elliptic-curves/tree/master/sm2/src/arithmetic/field

Someone would need to replace that, or possibly make an option to select different backends. There is perhaps some value in retaining the current implementation since it's formally verified, albeit slower.

It's something I can potentially look at, or if you are interested in directly contributing your field implementation that would be good too.

[Pencil-Yao]

This might involve transforming the algorithms, and I need to perform some evaluations.