Expand description
DSL for creating circuits compatible with fancy-garbling in the old-fashioned way, where you create a circuit for a computation then garble it.
Structs§
- Arithmetic
Circuit - Static representation of arithmetic computation supported by fancy garbling.
- Binary
Circuit - Static representation of binary computation supported by fancy garbling.
- Circuit
Builder - CircuitBuilder is used to build circuits.
- Circuit
Ref - The index and modulus of a gate in a circuit.
Enums§
- Arithmetic
Gate - Arithmetic computation supported by fancy garbling.
- Binary
Gate - Binary computation supported by fancy garbling.
Traits§
- Circuit
Info - Trait to display circuit evaluation costs
- Circuit
Type - Trait representing circuits that can be built by
CircuitBuilder - Evaluable
Circuit - A Circuit that can be evaluated by a given Fancy object
- Gate
Type - Trait representing circuit gates that can be used in
CircuitType
Functions§
- eval_
plain - Evaluate the circuit in plaintext.