f-prime / arcanevmLinks
A Fully Homomorphic Encryption Brainfuck virtual machine
☆217Updated 6 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☆204Updated 3 years ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated 7 months ago
- ☆214Updated 4 years ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- A "living" Linux process with no memory☆351Updated 5 years ago
- Constant-Time Toolkit☆300Updated 7 years ago
- Intuitive Advanced Cryptography☆436Updated 3 years ago
- A light version of Tor portable to the browser☆120Updated 5 years ago
- Jupyter notebook for explaining elliptic curve encryption☆88Updated 4 years ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆548Updated 3 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆418Updated 2 years ago
- A distributed hash table with unusually strong security properties☆65Updated 6 years ago
- C Compiler which targets Excel (MS Office)☆288Updated 5 years ago
- Beamsplitter - A new (possibly universal) hash that passes SMHasher. Built mainly with a random 10x64 S-box. Also in NodeJS☆91Updated 8 months ago
- Brzozowski derivative python sketch☆85Updated 9 months ago
- An exploration to host Wikipedia in IPFS☆175Updated 3 years ago
- Paper and Demo Implementation of Paradoxical Compression with VDF☆175Updated 3 years ago
- problem sets for CS-GY 6903 Applied Cryptography☆41Updated 4 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- DISCoHAsH - Simple, fast, quality hash in 120 lines. 10GB/s serial (depending on hardware). Also in NodeJS☆219Updated 2 years ago
- Decentralize your secrets!☆116Updated 6 years ago
- PUREE: Password-based Uniform-Random-Equivalent Encryption☆64Updated 5 years ago
- A simple program reducer for any language.☆76Updated 2 years ago
- Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs☆319Updated 2 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆116Updated 2 years ago
- A digital logic simulation written in C☆63Updated 5 years ago
- Heartf❤️ck: the most wholesome "programming language" by Laura Pircalaboiu and Ricardo Vogel. Python compiler by Jonathan Dönszelmann☆54Updated 4 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- Linux system calls.☆217Updated 6 years ago
- Authenticated key-value store (i.e. an urkel tree)☆316Updated 2 years ago