Crate fancy_garbling

Expand description

fancy-garbling provides boolean and arithmetic garbling capabilities.

Modules§

circuit_analyzer: Fancy instantiation for computing gate counts and multiplicative depth of a Fancy circuit.
circuits: Circuits for various operations.
classic: Provides objects and functions for statically garbling and evaluating a circuit without streaming.
dummy: Dummy implementation of Fancy.
test_circuits: A collection of test circuits.
util: Tools useful for interacting with fancy-garbling.

BinaryBundle: Bundle which is explicitly binary representation.
Bundle: A collection of wires, useful for the garbled gadgets defined by BundleGadgets.
CrtBundle: Bundle which is explicitly CRT-representation.
Evaluator: Streaming evaluator using a callback to receive ciphertexts as needed.
Garbler: Streams garbled circuit ciphertexts through a callback.
WireMod2: Representation of a mod-2 wire.
WireMod3: Representation of a mod-3 wire.
WireModQ: Representation of a mod-q wire.

ArithmeticWire: A marker trait indicating that the given WireLabel instantiation supports arithmetic operations.
BinaryGadgets: Extension trait for Fancy providing gadgets that operate over bundles of mod2 wires.
BinaryWireLabel: The BinaryWireLabel provides the subroutines to implement AND gates for the garbler and evaluator in crate::fancy::FancyBinary.
Circuit: Trait for defining computations over Fancy objects.
CircuitInputMapper: Trait for defining input-size-dependent Circuits.
CrtGadgets: Extension trait for Fancy providing advanced CRT gadgets based on bundles of wires.
Fancy: The Fancy trait is the core trait for writing circuits.
FancyArithmetic: Extension trait for Fancy that provides arithmetic operations.
FancyBinary: Extension trait for Fancy that provides binary operations.
FancyEncode: Extension trait for Fancy that provides encoding and receiving operations.
FancyOutput: Extension trait for Fancy that provides output operations.
FancyProj: Extension trait for Fancy that provides a projection gate, alongside methods that utilize projection gates.
Flatten: Trait for flattening the output of a Circuit into a vector of wires.
HasModulus: An object that has a modulus.
WireLabel: A trait that defines a wirelabel as used in garbled circuits.