garble-lang
by sine-fdn
Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits
AI summary
Garbled programming language
A programming language designed to be used in multi-party computation with garbled circuits
- stars
- 38
- forks
- 2
- watching
- 6
Similar projects
Found by comparing what the projects do, not just their names.
Garbled computation tool
A tool for implementing secure multi-party computations using Yao's Garbled Circuits
Embedded programming language
A statically structurally typed JIT-compiled programming language designed to be easily embedded in other programs.
Secure programming language
A reimplementation of Java for secure computation.
Secure computation toolkit
A suite of libraries providing tools and utilities for secure multi-party computation
Cryptography proof language
A language for creating secure and efficient proofs in cryptography using a compiler and runtime system
Programming language
A language and package for writing provable programs in Python.
Programmable language
A Rust-based language for creating provable programs with computational integrity
austral/austral1.1K
Secure Systems Language
A systems language with capability-based security and linear types for building secure and safe software systems.
Scientific computation DSL
A domain-specific language for modeling and analyzing complex scientific computations and visualizations
Cryptography specification language
An interpreter for a public standard language for specifying cryptographic algorithms
Secure computation framework
An implementation of a secure protocol for two-party computation to protect the integrity and confidentiality of computations
Crypto library
A .NET cryptography library providing a secure and reliable implementation of encryption algorithms
Encryption library
A Rust library and tool implementing a secure data encryption format based on the scrypt algorithm
eholk/harlan1.2K
GPU language
A Scheme-based language for programming GPUs.
Security rule language
A Haskell-based language and compiler for writing Firestore security rules with type validation and idiomatic expressiveness.
