garble_lang (cargo): Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits
Keywords: programming-language|garbled-circuits|secure-computation|circuit-description|smpc|multi-party-computation