garble-lang
Secure computation language
A programming language designed to facilitate secure multi-party computation using garbled circuits
Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits
39 stars
5 watching
2 forks
Language: Rust
last commit: 9 days ago circuit-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 | 120 |
 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 | 274 |
 noir-lang/noir | A language for creating secure and efficient proofs in cryptography using a compiler and runtime system | 895 |
 starkware-libs/cairo-lang | A language and package for writing provable programs in Python. | 1,348 |
| starkware-libs/cairo | A Rust-based language for creating provable programs that can perform general computation | 1,599 |
 austral/austral | A systems language with capability-based security and linear types for building secure and safe software systems. | 1,123 |
 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,136 |
 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 | 569 |
 sorairolake/scryptenc-rs | A Rust library and tool implementing the scrypt encrypted data format | 1 |
 eholk/harlan | A Scheme-based language for programming GPUs. | 1,185 |
 bijoutrouvaille/fireward | A Haskell-based language and compiler for writing Firestore security rules with type validation and idiomatic expressiveness. | 238 |