https://github.com/mit-plv/fiat-crypto
Revision 0df26cdadb533c71f8af9dcfd6e2acab4f89514b authored by jadep on 05 February 2019, 18:17:38 UTC, committed by jadep on 05 February 2019, 18:17:38 UTC
1 parent 6ec03e9
Tip revision: 0df26cdadb533c71f8af9dcfd6e2acab4f89514b authored by jadep on 05 February 2019, 18:17:38 UTC
change q_nbits to nat, make helper for mapping on matrices
change q_nbits to nat, make helper for mapping on matrices
Tip revision: 0df26cd
File | Mode | Size |
---|---|---|
curve25519-donna-c64 | ||
openssl-curve25519 | ||
openssl-nistp256c64 | ||
openssl-nistz256-adx | ||
openssl-nistz256-amd64 |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...