ALCHEMY
Homomorphism compiler
A compiler for homomorphic encryption languages
A Language and Compiler for Homomorphic Encryption Made easY
66 stars
7 watching
4 forks
Language: Haskell
last commit: over 4 years ago
Linked from 1 awesome list
jonaschn/awesome-heRelated projects:
| Repository | Description | Stars |
|---|---|---|
| cpeikert/lol | A cryptographic library built on top of lattices that enables fully-homomorphic encryption | 224 |
 hcrypt-project/libscarab | An implementation of a fully homomorphic encryption scheme using large integers | 44 |
 microsoft/eva | Automates away parts of homomorphic encryption requiring cryptographic expertise | 226 |
 ibarrond/pyfhel | A Python library for encrypted computations and data operations using homomorphic encryption | 487 |
 zama-ai/concrete | A compiler that converts Python programs into homomorphic encryption algorithms | 1,248 |
 kuleuven-cosic/final | A C++ implementation of a fully homomorphic encryption scheme based on NTRU and LWE. | 35 |
 aarhuscrypto/splitcommit | A portable C++ implementation of the recent UC-secure additively homomorphic commitment scheme | 10 |
 encryptogroup/tasty | Automates efficient Secure Two-partY computation protocols using garbled circuits and homomorphic encryption techniques | 10 |
 data61/python-paillier | Provides an implementation of Paillier Partially Homomorphic Encryption in Python | 605 |
 cryptoexperts/fv-nfllib | A C++ library implementing the Fan-Vercauteren homomorphic encryption scheme | 59 |
 awslabs/homomorphic-implementors-toolkit | A toolkit providing an abstract API to simplify the design and evaluation of homomorphic circuits for secure computations | 65 |
 cea-list/cingulata | A compiler toolchain and runtime environment for executing C++ programs on encrypted data using homomorphic encryption techniques. | 404 |
 facebookresearch/cupcake | A Rust library for homomorphic encryption allowing secure vector operations | 408 |
 jameshaydon/lawvere | A programming language with effects based on category theory and used to compile programs into various categorical abstractions. | 267 |
 sunscreen-tech/sunscreen | A compiler for encrypted computation and proof systems based on fully homomorphic encryption | 247 |