molch

An implementation of the axolotl ratchet (https://github.com/trevp/axolotl/wiki) based on libsodium.

WARNING: THIS SOFTWARE ISN'T READY YET. DON'T USE IT!

how to get the code

After cloning the repository, the git submodules have to be initialised and updated:

$ git clone https://github.com/FSMaxB/molch
$ git submodule update --init --recursive

dependencies

Molch depends on the following:

• libsodium
• protobuf-c
• Meson (build and tests)
• C-Compiler (build)
• C++-Compiler (build)
• Clang Static Analyzer (tests)
• Address Sanitizer (tests)
• Undefined Behavior Sanitizer (tests)
• Valgrind
• Lua (optional, for Lua-Bindings)
• Swig (optional, for Lua-Bindings)
• Doxygen (optional, documentation)
• Graphviz (optional, documentation)
• Android-NDK (optional, for Android builds)

On Ubuntu:

sudo apt-get install libsodium18 libsodium-dev libprotobuf-c-dev libprotobuf-c1 libprotobuf-c1-dbg libprotobuf9v5:armhf protobuf-c-compiler clang libubsan0 libasan0 libasan1 libasan2 valgrind liblua5.3 lua5.3 liblua5.3-dev swig doxygen graphviz meson

On Arch:

sudo pacman -S clang-analyzer libsodium valgrind swig lua doxygen graphviz protobuf-c meson

On Max OS X (via homebrew):

brew install libsodium valgrind swig lua graphviz doxygen protobuf-c meson

supported platforms

Molch is constantly tested on the following platforms:

how to build

To build Molch run the script release.sh from the project root.

To run all tests, run ./run-ci.sh from the project root. Or you can run the scripts separately:

• test.sh: For normal build and tests with and without valgrind
• sanitizers.sh: To build and run with AddressSanitizer and UndefinedBehaviorSanitizer
• static-analysis.: To run clang static analyzer
• doxygen.sh: To create the documentation

on android

1. ./build-container.sh
2. ./run-container.sh
3. cd molch
4. ./build-android.sh
5. exit
6. ./copy-binaries-from-container.sh
7. ./stop-and-remove-container.sh

format of a packet

Molch uses Googles Protocol Buffers via the Protobuf-C library. You can find the protocol descriptions in lib/protobuf.

cryptography

This is a brief non-complete overview of the cryptographic primitives used by molch. A detailed description of what molch does cryptographically is only provided by its source code at the moment.

Molch uses only primitives implemented by libsodium.

Key derivation: Blake2b Header encryption: Xsalsa20 with Poly1305 MAC Message encryption: XSalsa20 with Poly1305 MAC Signing keys (used to sign prekeys and the identity key): Ed25519 Other keypairs: X25519 Key exchange: ECDH with X25519

Molch allows you to mix in a low entropy random source to the creation of signing and identity keypairs. In this case, the low entropy random source is used as input to Argon2i and the output xored with high entropy random numbers provided by the operating system.

Want to help?

Take a look at the file CONTRIBUTING. And look for GitHub Issues with the help wanted label.

license

This library is licensed under the ISC license.

More about information can be found in the file LICENSE.md.