f-prime / arcanevmLinks
A Fully Homomorphic Encryption Brainfuck virtual machine
☆216Updated 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☆203Updated 3 years ago
- Using z3's never been easier (maybe)☆102Updated 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 6 months ago
- A light version of Tor portable to the browser☆120Updated 5 years ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆546Updated 3 years ago
- ☆214Updated 4 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆418Updated 2 years ago
- A "living" Linux process with no memory☆351Updated 5 years ago
- Jupyter notebook for explaining elliptic curve encryption☆88Updated 4 years ago
- C Compiler which targets Excel (MS Office)☆288Updated 5 years ago
- Constant-Time Toolkit☆300Updated 7 years ago
- Intuitive Advanced Cryptography☆436Updated 3 years ago
- An exploration to host Wikipedia in IPFS☆175Updated 3 years ago
- DISCoHAsH - Simple, fast, quality hash in 120 lines. 10GB/s serial (depending on hardware). Also in NodeJS☆219Updated 2 years ago
- Beamsplitter - A new (possibly universal) hash that passes SMHasher. Built mainly with a random 10x64 S-box. Also in NodeJS☆91Updated 7 months ago
- PUREE: Password-based Uniform-Random-Equivalent Encryption☆64Updated 5 years ago
- A distributed hash table with unusually strong security properties☆64Updated 6 years ago
- A Rust implementation of the Message Layer Security group messaging protocol☆116Updated 2 years ago
- An implementation of rule 110 in Scalable Vector Graphics☆146Updated 5 years ago
- My personal repository of formally verified mathematics.☆308Updated this week
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees☆269Updated 4 years ago
- A JIT compiler for Brainfuck running on x86_64 UEFI☆87Updated 7 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Audible NP-Complete Problem☆22Updated 6 years ago
- Authenticated key-value store (i.e. an urkel tree)☆316Updated 2 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Brzozowski derivative python sketch☆85Updated 8 months ago
- Linux system calls.☆216Updated 6 years ago
- Heartf❤️ck: the most wholesome "programming language" by Laura Pircalaboiu and Ricardo Vogel. Python compiler by Jonathan Dönszelmann☆53Updated 4 years ago