circkit
is a small framework for defining, constructing and manipulating computational circuits. It aims to be very generic. circkit
supports both low-level circuits such as bit-based operations, word-based operations, arithmetic circuits over a ring and high-level circuits made up by gates which are customized non-primitive functions.
For arithmetic circuits working on finite fields, it needs to install Sagemath. For circuits working on decimal numbers, integers, boolean and bitwise, it is not necessary to install Sagemath.
-
Install Sagemath.
-
Install
circkit
in Sagemath:
- via
PyPI
:
sage -pip install circkit
- or via
setup.py
sage -pip install .
- Run your script with Sagemath:
sage -python script.py
Or you can open a notebook with Sagemath and build your circuit with the circkit
framework:
sage -n
- Install
circuit
:
- via
PyPI
:
pip3 install circkit
- or via
setup.py
pip3 install .
- Run your python script, for example:
python3 script.py
We can use a virtual enviroment to run both circuits with and without Sagemath.
- Create a virtual environment of Sagemath:
sage -python -m venv --system-site-packages .venv
Then, go to the virtual enviroment:
source .venv/bin/activate
- Install
circkit
in the virtual environment.
- via
PyPI
:
pip install circkit
- or via
setup.py
pip install .
- Run your script on the virtual enviroment, for example:
python script.py
Or you can open a python notebook in this virtual enviroment and build your circuit. Again, both circuits working with and without Sagemath can be run on this virtual environment.
You can run the tests in the tests
folder:
pytest tests
NOTE: you should run the tests in the virtual environment (see installation) because the tests consists of both circuits with Sagemath and circuits without Sagemath. Otherwise, it will fail on the tests requiring Sagemath.
You can run a specific test, for example:
pytest tests/test_simon_cipher.py
See circkit.readthedocs.io for the documentations. You can also open the file docs/_build/html/index.html file on your browser.
Some jupyter notebooks are provided to help you play with the circkit
framework:
- How to build an arithmetic circuit
- How to build a bitwise circuit
- How to build a boolean circuit
- How to define a new circuit type
- How to define a transformer and example on ISW transformer
Some advance examples are also provided. These examples highlight the applications of the circkit
framework in cryptography.
CryptoExperts Team