mcircuit

A library of types for working with boolean & arithmetic circuits

View on docs.rs

Features

• : Circuit type
• : I/O extraction
• : Translations
• : Plaintext Evaluation
• : Import/Export

lib.rs:

MCircuit (pronounced mc-urkit) provides a series of types and traits for working with circuits. Specifically, arithmetic circuits on GF2 and Z64, the former of which are effectively boolean circuits. It is used by Reverie.

MCircuit includes:

• A circuit parsing library for BLIF files
• Code for evaluating circuits in its gate format
• Traits for constructing, translating, and iterating over gates
• Code to export circuits in the Bristol Fashion format