Crate tandem_garble_interop

Interoperability between the Tandem MPC engine and the Garble language.

This crate provides helper functions for translating between the Tandem MPC engine circuit representation and the Garble language circuit representation and types.

Structs

TypedCircuit

A Tandem circuit together with its associated Garble types.

Enums

Literal

A subset of crate::ast::Expr that is used as input / output by an crate::eval::Evaluator.

Role

The role of a party in the MPC execution (evaluator or contributor).

Type

Either a concrete type or a struct/enum that needs to be looked up in the definitions.

VariantLiteral

A variant literal (either of unit type or containing fields), used by Literal::Enum.

Functions

check_program

Scans, parses and type-checks a Garble program.

compile_program

Compiles the (type-checked) program, producing a circuit of gates.

deserialize_output

Decodes output bits from the Tandem engine as a Garble literal.

input_type

Returns the Garble type of the input associated with the specified role.

parse_input

Parses an input string as a Garble literal.

serialize_input

Parses an input string as a Garble literal and encodes it as input bits for the Tandem engine.

Type Definitions

TypedFnDef

crate::ast::FnDef after typechecking.

TypedProgram

crate::ast::Program after typechecking.