f-prime / arcanevm
A Fully Homomorphic Encryption Brainfuck virtual machine
☆215Updated 5 years ago
Alternatives and similar repositories for arcanevm
Users that are interested in arcanevm are comparing it to the libraries listed below
Sorting:
- Flexible and Constant Time Programming Language☆199Updated 3 years ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆406Updated last year
- Constant-Time Toolkit☆295Updated 6 years ago
- GPU rootkit PoC by Team Jellyfish☆119Updated 9 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆415Updated last year
- A light version of Tor portable to the browser☆120Updated 4 years ago
- Using z3's never been easier (maybe)☆101Updated 3 years ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆540Updated 2 years ago
- A "living" Linux process with no memory☆343Updated 4 years ago
- Intuitive Advanced Cryptography☆435Updated 2 years ago
- Beamsplitter - A new (possibly universal) hash that passes SMHasher. Built mainly with a random 10x64 S-box. Also in NodeJS☆91Updated last week
- PUREE: Password-based Uniform-Random-Equivalent Encryption☆63Updated 4 years ago
- ☆214Updated 4 years ago
- 🏞 Steganography-based image integrity - Merkle tree nodes embedded into image chunks so that each chunk's integrity can be verified on i…☆105Updated 3 years ago
- Decentralize your secrets!☆117Updated 5 years ago
- An exploration to host Wikipedia in IPFS☆175Updated 2 years ago
- Linux system calls.☆214Updated 5 years ago
- WASM builds of the Z3 SMT solver☆145Updated 5 years ago
- DISCoHAsH - Simple, fast, quality hash in 120 lines. 10GB/s serial (depending on hardware). Also in NodeJS☆217Updated last year
- problem sets for CS-GY 6903 Applied Cryptography☆40Updated 3 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- Verified hash-based AMQ structures in Coq☆122Updated 5 years ago
- On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees☆267Updated 3 years ago
- A distributed hash table with unusually strong security properties☆64Updated 5 years ago
- Please see https://github.com/hacspec/hax☆243Updated last year
- Λ ⚬ λ: Functional Lattice Cryptography☆229Updated 4 years ago
- a peculiar chat app for strange times☆133Updated 6 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…☆78Updated 3 years ago
- Awesome Object Capabilities and Capability Security☆362Updated 4 months ago