885c9e40cdthere is now something that can actually be compiled; bugfixing remains to get it to run and be useful, though
3 years ago
tristangurtler
33764d2df2adding code into stubs, now missing proof stuff, ElGamal is probably not correct, no actual interaction between classes (that is, networking stuff to be added)