Alternatives and similar repositories for arcanevm

Users that are interested in arcanevm are comparing it to the libraries listed below

• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• pornin / CTTK
  Constant-Time Toolkit
  ☆296Updated 6 years ago
• CEA-LIST / Cingulata
  Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…
  ☆407Updated last year
• sdiehl / bulletproofs
  Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
  ☆540Updated 2 years ago
• spring-epfl / lightnion
  A light version of Tor portable to the browser
  ☆120Updated 4 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• izabera / zeromaps
  A "living" Linux process with no memory
  ☆344Updated 4 years ago
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆415Updated last year
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆115Updated last year
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆243Updated last year
• mikekelly / btc-endgame
  ☆214Updated 4 years ago
• DO-SAY-GO / DISCoHAsH
  DISCoHAsH - Simple, fast, quality hash in 120 lines. 10GB/s serial (depending on hardware). Also in NodeJS
  ☆217Updated last year
• AZHenley / HarvestMemory
  Program a bot using assembly-like code in this competitive game!
  ☆59Updated 4 years ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆318Updated 3 years ago
• oconnor663 / applied_crypto_2021_fall
  problem sets for CS-GY 6903 Applied Cryptography
  ☆41Updated 3 years ago
• tom-p-reichel / svg-is-turing-complete
  An implementation of rule 110 in Scalable Vector Graphics
  ☆147Updated 4 years ago
• DO-SAY-GO / beamsplitter
  Beamsplitter - A new (possibly universal) hash that passes SMHasher. Built mainly with a random 10x64 S-box. Also in NodeJS
  ☆91Updated last month
• cryptosubtlety / intuitive-advanced-cryptography
  Intuitive Advanced Cryptography
  ☆438Updated 2 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated last month
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆273Updated this week
• CHURPTeam / CHURP
  Decentralize your secrets!
  ☆117Updated 5 years ago
• argumentcomputer / yatima-lang-alpha
  A programming language for the decentralized web
  ☆448Updated 2 years ago
• mrthefakeperson / Excel-Virtual-Machine
  C Compiler which targets Excel (MS Office)
  ☆287Updated 4 years ago
• fangpenlin / elliptic-curve-explained
  Jupyter notebook for explaining elliptic curve encryption
  ☆88Updated 4 years ago
• wootfish / theseus.dht
  A distributed hash table with unusually strong security properties
  ☆64Updated 5 years ago
• project-everest / vale
  Verified Assembly Language for Everest
  ☆291Updated last year
• santhoshtr / wikipedia-ipfs
  An exploration to host Wikipedia in IPFS
  ☆175Updated 2 years ago
• uw-unsat / hyperkernel
  ☆183Updated 5 years ago
• chjj / liburkel
  Authenticated key-value store (i.e. an urkel tree)
  ☆315Updated 2 years ago
• ronomon / pure
  A static analysis file format checker.
  ☆239Updated 4 years ago