Crate simple_arith_circuit

Implementation of a very simple (flat) arithmetic circuit representation.

Circuits are encoded as a vector of gate operations. Each operation encodes its input wires as indices into the vector, with the output wire implicit.

Modules

builder

This module implements functions for building / extending circuits.

circuitgen

This module implements helper functions for generating random circuits.

reader

This module implements a reader for “Bristol Fashion” circuit definition files.

Structs

Circuit

The circuit, represented as a vector of Ops.

Enums

Op

Gate operations, where the operation arguments correspond to wire indices. Results are always stored in the next available register.