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
- Elixir implementation of Shamir's Secret Sharing☆14Oct 28, 2019Updated 6 years ago
- Elliptic Curves Cryptography for OCaml☆12Oct 26, 2019Updated 6 years ago
- ☆13May 3, 2020Updated 6 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆26Aug 10, 2018Updated 7 years ago
- Threshold encryption☆12Jan 18, 2022Updated 4 years ago
- Secret sharing library in Java for the Archistar multi-cloud storage system☆48Mar 21, 2018Updated 8 years ago
- Servant based API and server for token based authorisation☆14Sep 21, 2019Updated 6 years ago
- See the cuda branch.☆13Apr 4, 2011Updated 15 years ago
- ☆16Updated this week
- Coda + Dekrypt: The SNARK Challenge - Reference Material☆34Mar 27, 2022Updated 4 years ago
- Proof checker for propositional logic☆15Jul 7, 2017Updated 9 years ago
- Implements an encryptable machine (shapeCPU Java)☆11Aug 26, 2015Updated 10 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.
- ☆239Jan 3, 2019Updated 7 years ago
- A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto☆18Sep 17, 2019Updated 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
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Feb 4, 2026Updated 5 months ago
- A Flexible Efficient Secure Computation Backend☆33May 26, 2018Updated 8 years ago
- An EVM code verification framework in Coq☆44Oct 11, 2016Updated 9 years ago
- Elixir files generated from Google's protobuf files using protobuf-elixir☆18Apr 30, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Shows how to encrypt data held in public space☆11Aug 11, 2017Updated 8 years ago
- General utilities to make writing off-chain Ergo code in Rust simpler.☆11Jul 4, 2024Updated 2 years ago
- Generative Art Experiments using Haskell, GHCJS, and Reflex (FRP)☆18Mar 16, 2019Updated 7 years ago
- Swagger Emacs Mode☆14Mar 27, 2017Updated 9 years ago
- 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
- Shamir secret sharing (and recovery)☆18Apr 13, 2016Updated 10 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Jan 2, 2020Updated 6 years ago
- Cryptographic Constructions in the Type Theory of Agda☆53Aug 8, 2015Updated 10 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.
- The SEAL-CPU backend is a Reference backend engine for HEBench which is a shared library that implements the required functions specified…☆11Mar 3, 2023Updated 3 years ago
- Scala wrappers for MapDB☆12Sep 9, 2017Updated 8 years ago
- ☆14Nov 16, 2022Updated 3 years ago
- 这是一个通俗易懂的使用Mock的小demo 加入和新特性 hook☆10May 16, 2019Updated 7 years ago
- HE-MAN – Homomorphically Encrypted MAchine learning with oNnx models and TenSEAL☆20Oct 11, 2024Updated last year
- Hot swapping compiled code while keeping a websocket connection open☆26May 24, 2016Updated 10 years ago
- Colored Coins Full-node☆13Jun 4, 2017Updated 9 years ago