ActiveSecurityMPC is an active-security compiler for passively secure Multiparty Computation (MPC) protocols (also known as a passive-to-active security compiler) implemented in Python >=3.10. This project serves as a proof of concept and aims to simplify the implementation of active security components on top of existing passively secure MPC protocol implementations. This project is a proof of concept developed as part of my Master's thesis at the University of Groningen. End users are required to manually implement active security components, much of which is boilerplate code (see Appendix A of the thesis and the sum_protocol example).
To get started with ActiveSecurityMPC, make sure to have a stable Rust compiler (as required by the ZKPyToolkit library), and simply install all dependencies as follows:
pip install -r requirements.txtIt's advisable to perform this step inside a virtual environment to manage the project-specific dependencies.
Once you have installed the necessary dependencies, you can explore the provided example under examples.sum_protocol. To run the example for 3 parties, use the following command:
bash run_demo.shThis will execute the case study implementation for the sum protocol with 3 parties, showcasing the active-security compiler.
A simple benchmarking script is included, which allows you to assess its performance. To run the benchmark, use the following command:
bash run_benchmark.shThis script will provide insights into the passively secure MPC protocol, as well as the actively secure protocol obtained via ActiveSecurityMPC. Feel free to customize the benchmarking parameters based on your requirements.
This project is licensed under the Apache 2.0 license. See the LICENSE files for more details.
This work was developed at the University of Groningen and TNO (Department of Applied Cryptography & Quantum Algorithms).