Alix Trieu
Results
3
issues of
Alix Trieu
On macOS and BSD, `cp` does not have the `-T` option, so `finch` fails with the following message `cp: illegal option -- T`. The issue comes from https://github.com/roddyyaga/finch/blob/685b661b987c7b57fe07e1e67b0ce4f688d87d67/bin/finch.ml#L102
Not sure if this is of interest for inclusion, feel free to close if not. I have proved correctness of an implementation of Joye's double-add ladder for short Weierstrass curves...
This PR contains verified Bedrock2 code for - secp256k1 field operations (using Montgomery representation? Not sure about the terminology, is there any literature about saturated/unsaturated Solinas representation ? A quick...