https://github.com/EasyCrypt/easycrypt
Revision 7f5fe7453912332a9be00d1efc0f880d80f47a7c authored by François Dupressoir on 14 March 2022, 17:21:04 UTC, committed by François Dupressoir on 14 March 2022, 17:21:15 UTC
Some more work needs done to present a clean theory of prime order groups, and use it properly. We should also ensure that we can eventually support DH over cyclic groups of composite order (operating over prime order subgroups)
1 parent 87ff7f8
Tip revision: 7f5fe7453912332a9be00d1efc0f880d80f47a7c authored by François Dupressoir on 14 March 2022, 17:21:04 UTC
[chore] Brutally prune all oldlibs
[chore] Brutally prune all oldlibs
Tip revision: 7f5fe74
File | Mode | Size |
---|---|---|
.github | ||
config | ||
examples | ||
lint | ||
scripts | ||
src | ||
theories | ||
.dir-locals.el | -rw-r--r-- | 285 bytes |
.gitignore | -rw-r--r-- | 118 bytes |
COPYRIGHT | -rw-r--r-- | 581 bytes |
COPYRIGHT.yaml | -rw-r--r-- | 894 bytes |
Makefile | -rw-r--r-- | 1.3 KB |
README.md | -rw-r--r-- | 7.5 KB |
default.nix | -rw-r--r-- | 494 bytes |
dune | -rw-r--r-- | 116 bytes |
dune-project | -rw-r--r-- | 359 bytes |
easycrypt.opam | -rw-r--r-- | 1.2 KB |
easycrypt.opam.template | -rw-r--r-- | 915 bytes |
easycrypt.png | -rw-r--r-- | 182.6 KB |
Computing file changes ...