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
- Flexible and Constant Time Programming Language☆199Updated 3 years ago
- Constant-Time Toolkit☆295Updated 6 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
- A light version of Tor portable to the browser☆120Updated 4 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆415Updated last year
- Beamsplitter - A new (possibly universal) hash that passes SMHasher. Built mainly with a random 10x64 S-box. Also in NodeJS☆91Updated 2 months ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆540Updated 2 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated last year
- A "living" Linux process with no memory☆342Updated 4 years ago
- Intuitive Advanced Cryptography☆435Updated 2 years ago
- GPU rootkit PoC by Team Jellyfish☆116Updated 9 years ago
- Benign remote code execution☆111Updated last month
- ☆214Updated 4 years ago
- DISCoHAsH - Simple, fast, quality hash in 120 lines. 10GB/s serial (depending on hardware). Also in NodeJS☆217Updated last year
- A distributed hash table with unusually strong security properties☆64Updated 5 years ago
- Using z3's never been easier (maybe)☆101Updated 3 years ago
- An exploration to host Wikipedia in IPFS☆175Updated 2 years ago
- On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees☆266Updated 3 years ago
- Offset payment engine☆164Updated 2 years ago
- ☆285Updated 9 years ago
- Decentralize your secrets!☆118Updated 5 years ago
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 4 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
- Checking that functions are constant time with Valgrind☆180Updated 8 years ago
- a pragmatic point-free theorem prover assistant☆140Updated last year
- What is hip? Tell me, tell me (if you think you know)☆110Updated 6 years ago
- Jupyter notebook for explaining elliptic curve encryption☆86Updated 4 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆265Updated this week
- Identity Based Network API with 256-Bit Addresses☆136Updated 3 months ago
- Secure storage for cryptographic secrets, modeled after sudo☆78Updated 5 years ago