doppio icon indicating copy to clipboard operation
doppio copied to clipboard

Published 20 hours ago • verified publisher icon dalek-cryptography

Implement `inverse` operation for FieldElement.

Open CPerezz opened this issue 5 years ago • 2 comments

As seen on the code of field.rs, inverse() FieldElement function implementation remains unimplemented.

On https://github.com/dusk-network/dusk-corretto/pull/12 we've just implemented the Kalinski's Montgomery Modular Inverse algorithm for the Doppio's FieldElement mod 2^252 + 27742317777372353535851937790883648493 (prime of the field).

So maybe I can make a PR with the implementation of the Inverse operation and the proper tests and doc comments if it's useful.

References:

  • B. S. Kaliski Jr. - The Montgomery inverse and its applica-tions. IEEE Transactions on Computers, 44(8):1064–1065, August-1995.

  • Montgomery inversion - Erkay Sava ̧s & Çetin Kaya Koç J Cryptogr Eng (2018) 8:201–210 https://doi.org/10.1007/s13389-017-0161-x

CPerezz avatar May 28 '19 11:05 CPerezz