CostCO
WARNING: This is an academic proof-of-concept prototype and has not received careful code review. This implementation is NOT ready for production use.
Setup
Set up a python virtual environment (recommended) and install the dependencies
in requirements.txt.
Cost Modeling a Protocol
Screening Step
[TODO] pbd.py
Getting the Cost Model
TL;DR: run appropriate circuit in circuits file; and feed the results to cost_modeler.py.
Specific Example (ABY)
Cherry-pick this commit into your ABY directory and rebuild ABY.
[TODO] Fix cost_modeler.py to differentiate between ABY/AgMPC
Generating Circuits
For convenience, you can use the predefined circuits in circuits.
However, if you would like to generate your own circuits, use circuit.py:
python3 circuit.py [-w=width] [-g=max_gates] [spec_file] [experiment_type]"
Experiment type can be either pbd or ccd.
For CCD, if width (circuit depth) is not a feature that was deemed significant from the PBD
experiment, fix call circuit.py with w=0.
To exclude features from the CCD experiment, delete the relevant gates in the spec file.
Running the Compiler
python3 run_compiler.py [input_file] [output_file]