Experiments in homomorphic encryption
☆31Mar 13, 2015Updated 11 years ago
Alternatives and similar repositories for helib-demos
Users that are interested in helib-demos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Summation of 2 + 3 using Fully Homomorphic Encryption (HElib)☆11Jun 17, 2016Updated 10 years ago
- Exemplary Stack-based template for Circle CI☆16Jun 26, 2016Updated 10 years ago
- Tendermint based chat☆24Mar 20, 2018Updated 8 years ago
- Elixir implementation of Shamir's Secret Sharing☆14Oct 28, 2019Updated 6 years ago
- Elliptic Curves Cryptography for OCaml☆12Oct 26, 2019Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆13May 3, 2020Updated 6 years ago
- A simple and clean nakamoto consensus.☆16Sep 6, 2022Updated 4 years ago
- ☆16Nov 18, 2024Updated last year
- Threshold encryption☆12Jan 18, 2022Updated 4 years ago
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago
- ☆13Jul 28, 2016Updated 10 years ago
- ☆77Dec 21, 2022Updated 3 years ago
- Simple encapsulate AVPlayer's API, provide a convenient status interface.☆13Jun 19, 2019Updated 7 years ago
- Proof checker for propositional logic☆16Jul 7, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Implements an encryptable machine (shapeCPU Java)☆11Aug 26, 2015Updated 11 years ago
- ☆239Jan 3, 2019Updated 7 years ago
- A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto☆18Sep 17, 2019Updated 7 years ago
- Git mirror of Victor Shoup's NTL library☆14Mar 8, 2016Updated 10 years ago
- a NIF for libntru. NTRU is a post quantum cryptography algorithm.☆18Aug 4, 2020Updated 6 years ago
- A Haskell library providing BLAKE2☆11Jun 27, 2023Updated 3 years ago
- ☆18Apr 20, 2017Updated 9 years ago
- ☆59Apr 17, 2022Updated 4 years ago
- An experimental implementation of a treasury system based on Scorex framework☆12Jan 17, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Feb 4, 2026Updated 7 months ago
- A Flexible Efficient Secure Computation Backend☆33May 26, 2018Updated 8 years ago
- Open Sound Control server and client libraries for Elixir☆13Mar 17, 2016Updated 10 years ago
- Helper class to registering custom fonts for UIFontTextStyle☆21Feb 20, 2020Updated 6 years ago
- An EVM code verification framework in Coq☆44Oct 11, 2016Updated 9 years ago
- Simple Python API for the Ergo Platform Explorer☆10Jun 12, 2021Updated 5 years ago
- Implementation of the DGHV fully homomorphic encryption scheme☆131Mar 25, 2016Updated 10 years ago
- Swagger Emacs Mode☆14Mar 27, 2017Updated 9 years ago
- Oblivious RAM for Scala☆18Jan 21, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Old (2019) demo: Republish your node project's dependencies to IPFS as a micro-registry☆11May 1, 2025Updated last year
- An easy control which support dynamic typing for both system and custom fonts. Dynamic type is changing the font size of your app when us…☆15Jan 3, 2017Updated 9 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Jan 2, 2020Updated 6 years ago
- C++ OT extension implementation☆129Nov 13, 2020Updated 5 years ago
- A swift implementation of Shamir's Secret Sharing over GF(2^8)☆18Sep 28, 2022Updated 3 years ago
- Cryptographic Constructions in the Type Theory of Agda☆51Aug 8, 2015Updated 11 years ago
- Scala wrappers for MapDB☆12Sep 9, 2017Updated 9 years ago