https://github.com/mit-plv/fiat-crypto
Tip revision: 0c8a2a278555e695d9f2bf91ac8fa94647c27a0f authored by jadep on 08 October 2019, 14:47:39 UTC
finish removing dependency on old fermat_little (but still need coqprime for euler criterion and build fails because new fermat_little is not computable)
finish removing dependency on old fermat_little (but still need coqprime for euler criterion and build fails because new fermat_little is not computable)
Tip revision: 0c8a2a2
| File | Mode | Size |
|---|---|---|
| coqprime @ be32c40 | ||
| etc | ||
| fiat-rust | ||
| src | ||
| .dir-locals.el | -rw-r--r-- | 481 bytes |
| .gitignore | -rw-r--r-- | 3.8 KB |
| .gitmodules | -rw-r--r-- | 204 bytes |
| .mailmap | -rw-r--r-- | 2.3 KB |
| .travis.yml | -rw-r--r-- | 5.7 KB |
| AUTHORS | -rw-r--r-- | 597 bytes |
| CONTRIBUTORS | -rw-r--r-- | 1.2 KB |
| LICENSE | -rw-r--r-- | 1.1 KB |
| Makefile | -rw-r--r-- | 16.6 KB |
| README.md | -rw-r--r-- | 21.4 KB |
| _CoqProject | -rw-r--r-- | 9.7 KB |
| crypto-defects.md | -rw-r--r-- | 5.8 KB |
| curve25519_32.c | -rw-r--r-- | 41.9 KB |
| curve25519_64.c | -rw-r--r-- | 25.7 KB |
| folkwisdom.md | -rw-r--r-- | 17.2 KB |
| p224_32.c | -rw-r--r-- | 92.6 KB |
| p224_64.c | -rw-r--r-- | 45.9 KB |
| p256_32.c | -rw-r--r-- | 107.6 KB |
| p256_64.c | -rw-r--r-- | 43.6 KB |
| p384_32.c | -rw-r--r-- | 250.7 KB |
| p384_64.c | -rw-r--r-- | 89.6 KB |
| p434_64.c | -rw-r--r-- | 110.9 KB |
| p448_solinas_64.c | -rw-r--r-- | 41.5 KB |
| p521_32.c | -rw-r--r-- | 87.9 KB |
| p521_64.c | -rw-r--r-- | 45.4 KB |
| package-rewriter.sh | -rwxr-xr-x | 10.4 KB |
| primes.txt | -rw-r--r-- | 1.3 KB |
| secp256k1_32.c | -rw-r--r-- | 143.2 KB |
| secp256k1_64.c | -rw-r--r-- | 53.0 KB |
