mcircuit
A library of types for working with arithmetic circuits
Features
[x] : Circuit type
[x] : I/O extraction
[x] : Translations
[x] : Plaintext Evaluation
[ ] : Import/Export