virtualenv -p /usr/bin/python3 venv
source venv/bin/activate
pip install -r requirements
Might have to install "libmpc-dev" (on Ubuntu sudo apt install libmpc-dev
) to be able to pip install gmpy2
=> Only useful for the oblivious-transfer piece of code