garble-lang
Garbled programming language
A programming language designed to be used in multi-party computation with garbled circuits
Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits
38 stars
6 watching
2 forks
Language: Rust
last commit: almost 2 years agocircuit-descriptiongarbled-circuitsmulti-party-computationprogramming-languagesecure-computation
Related projects:
| Repository | Description | Stars |
|---|---|---|
 esonghori/tinygarble | A tool for implementing secure multi-party computations using Yao's Garbled Circuits | 119 |
 dflemstr/tin | A statically structurally typed JIT-compiled programming language designed to be easily embedded in other programs. | 63 |
 calctopia-opensource/jdk10u | A reimplementation of Java for secure computation. | 4 |
 galoisinc/swanky | A suite of libraries providing tools and utilities for secure multi-party computation | 283 |
 noir-lang/noir | A language for creating secure and efficient proofs in cryptography using a compiler and runtime system | 924 |
 starkware-libs/cairo-lang | A language and package for writing provable programs in Python. | 1,350 |
| starkware-libs/cairo | A Rust-based language for creating provable programs with computational integrity | 1,630 |
 austral/austral | A systems language with capability-based security and linear types for building secure and safe software systems. | 1,129 |
 pingel-org/axle | A domain-specific language for modeling and analyzing complex scientific computations and visualizations | 67 |
| galoisinc/cryptol | An interpreter for a public standard language for specifying cryptographic algorithms | 1,139 |
 osu-crypto/batchdualex | An implementation of a secure protocol for two-party computation to protect the integrity and confidentiality of computations | 14 |
 sdrapkin/securitydriven.inferno | A .NET cryptography library providing a secure and reliable implementation of encryption algorithms | 582 |
 sorairolake/scryptenc-rs | A Rust library and tool implementing a secure data encryption format based on the scrypt algorithm | 1 |
 eholk/harlan | A Scheme-based language for programming GPUs. | 1,183 |
 bijoutrouvaille/fireward | A Haskell-based language and compiler for writing Firestore security rules with type validation and idiomatic expressiveness. | 238 |