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
  ☆198Updated 2 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…
  ☆406Updated 11 months ago
• izabera / zeromaps
  A "living" Linux process with no memory
  ☆342Updated 4 years ago
• spring-epfl / lightnion
  A light version of Tor portable to the browser
  ☆120Updated 4 years ago
• sdiehl / bulletproofs
  Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
  ☆538Updated 2 years ago
• pornin / CTTK
  Constant-Time Toolkit
  ☆295Updated 6 years ago
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆413Updated last year
• rozbb / molasses
  A Rust implementation of the Message Layer Security group messaging protocol
  ☆115Updated last year
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆100Updated 2 years ago
• cryptosubtlety / intuitive-advanced-cryptography
  Intuitive Advanced Cryptography
  ☆431Updated 2 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆110Updated 5 years ago
• dosyago / beamsplitter
  Beamsplitter - A new (possibly universal) hash that passes SMHasher. Built mainly with a random 10x64 S-box. Also in NodeJS
  ☆90Updated 2 months ago
• fangpenlin / elliptic-curve-explained
  Jupyter notebook for explaining elliptic curve encryption
  ☆86Updated 3 years ago
• notfed / puree
  PUREE: Password-based Uniform-Random-Equivalent Encryption
  ☆63Updated 4 years ago
• mikekelly / btc-endgame
  ☆216Updated 3 years ago
• dosyago / DISCoHAsH
  DISCoHAsH - Simple, fast, quality hash in 120 lines. 10GB/s serial (depending on hardware). Also in NodeJS
  ☆219Updated last year
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆142Updated 4 years ago
• CHURPTeam / CHURP
  Decentralize your secrets!
  ☆118Updated 5 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 9 months ago
• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆226Updated 3 years ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆416Updated this week
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated last week
• rzscheck / logic
  A digital logic simulation written in C
  ☆63Updated 4 years ago
• oconnor663 / applied_crypto_2021_fall
  problem sets for CS-GY 6903 Applied Cryptography
  ☆39Updated 3 years ago
• codr7 / alang
  A minimal viable programming language on top of liblgpp
  ☆77Updated 4 years ago
• mrthefakeperson / Excel-Virtual-Machine
  C Compiler which targets Excel (MS Office)
  ☆286Updated 4 years ago
• aceto / aceto
  A programming language based on a 2D Hilbert curve grid
  ☆89Updated 2 years ago