Lines Matching +full:working +full:- +full:directory

3 Some of the code in this directory is generated by
4 [Fiat](https://github.com/mit-plv/fiat-crypto) and thus these files are
9 To generate the field arithmetic procedures in `curve25519.c` from a fiat-crypto
15 "unsaturated arithmetic modulo 2^255-19 using 10 limbs of radix 2^25.5 in 32-bit
20 The 64-bit implementation uses 5 limbs of radix 2^51 with instruction scheduling
21 taken from curve25519-donna-c64. It is found in
26 To generate the field arithmetic procedures in `p256.c` from a fiat-crypto
31 specifying roughly "64-bit saturated word-by-word Montgomery reduction modulo
32 2^256 - 2^224 + 2^192 + 2^96 - 1". Again, everything except for the prime is
35 <https://github.com/JasonGross/fiat-crypto/tree/3e6851ddecaac70d0feb484a75360d57f6e41244/src/Specif…
40 ## Working With Fiat Crypto Field Arithmetic
42 The fiat-crypto readme <https://github.com/mit-plv/fiat-crypto#arithmetic-core>
47 something much more principled <https://github.com/mit-plv/fiat-crypto/projects/4>.