f-prime / arcanevmLinks
A Fully Homomorphic Encryption Brainfuck virtual machine
☆216Updated 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☆200Updated 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 last week
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆541Updated 2 years ago
- Constant-Time Toolkit☆296Updated 6 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆416Updated last year
- A Rust implementation of the Message Layer Security group messaging protocol☆115Updated last year
- Intuitive Advanced Cryptography☆438Updated 2 years ago
- GPU rootkit PoC by Team Jellyfish☆122Updated 9 years ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- A light version of Tor portable to the browser☆120Updated 4 years ago
- A "living" Linux process with no memory☆344Updated 5 years ago
- problem sets for CS-GY 6903 Applied Cryptography☆41Updated 3 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Offset payment engine☆165Updated 2 years ago
- C Compiler which targets Excel (MS Office)☆287Updated 4 years ago
- ☆214Updated 4 years ago
- Jupyter notebook for explaining elliptic curve encryption☆88Updated 4 years ago
- PUREE: Password-based Uniform-Random-Equivalent Encryption☆63Updated 4 years ago
- ☆287Updated 9 years ago
- What is hip? Tell me, tell me (if you think you know)☆110Updated 6 years ago
- A digital logic simulation written in C☆63Updated 4 years ago
- A programming language for the decentralized web☆448Updated 2 years ago
- A JIT compiler for Brainfuck running on x86_64 UEFI☆86Updated 6 years ago
- Converts images into textual line art.☆147Updated 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 month
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- GUI for those who don't do GUI☆121Updated 5 years ago
- Yet Another Compiler Visualizer☆159Updated 3 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- A distributed hash table with unusually strong security properties☆64Updated 5 years ago