ALCHEMY
ALCHEMY copied to clipboard
cpeikert
A Language and Compiler for Homomorphic Encryption Made easY
There is no ```cabal``` build defined for alchecmy. ```stack build``` hangs: ``` $ stack build Preparing to install GHC (ino64) to an isolated location. This will not interfere with any...
This occurs because the `ZqPairsWithUnits` type family is called for every operation in the computation as well as every term in the resulting type (because of Cyc2CT) and for each...
Summary of our email correspondence on this subject: Currently, keys are generated on-demand which means that if it is never strictly necessary to generate a key, we don't. This has...
At some point we should enable Travis for continuous integration. This requires putting an appropriate `.travis.yml` file in the root of the repository. There's one in my Lol repository, but...
