README.md

signal-protocol

This demonstrates specifications for certain functions from libsignal-protocol-c, a C implementation of the Signal Protocol. This includes both a SAWScript implementation (under the saw/ directory) as well as a Python implementation (under the python/ directory).

The Python code in particular is described in more detail in this blog post.

Dependencies

In addition to the dependencies mentioned in the top-level README, the following additional dependencies are required, regardless of whether you are running the SAWScript or Python demo:

• CMake
• WLLVM

If you are running the Python demo, you will also need:

• Python (3.8 or later)
• Poetry

SAWScript version

To run the SAWScript demo, run:

$ make

Python version

To run the Python demo, run:

$ make all-python