Installation

There is currently no releasing in place, but you can install via the provided artifacts from the CI.

Docker images

gh run download -n mts-image
i=$(docker load < mts-image | sed -e 's/Loaded image: //')
docker run $i

AppImage bundles

gh run download -n mts.AppImage
./mts.AppImage

RPM packages

gh run download -n mts-rpm
sudo rpm -i mts.rpm

DEB packages

gh run download -n mts-deb
sudo dpkg -i mts.deb

Building from source

You can build with nix

Terminal

 

nix shell nixpkgs#cachix -c cachix use paolino
nix shell github:lambdasistemi/haskell-mts --refresh

Or via cabal provided you have a working Haskell environment and rocksdb development files installed.

cabal install

WASM Outputs And Preview Commands

The flake exports the combined browser-WASM bundle plus one package per module:

nix build .#wasm-artifacts
nix build .#csmt-verify-wasm
nix build .#csmt-write-wasm
nix build .#mpf-verify-wasm
nix build .#mpf-write-wasm

It also exports local preview commands for each static bundle:

PORT=8000 nix run .#csmt-verify-wasm-demo
PORT=8001 nix run .#csmt-wasm-write-demo
PORT=8002 nix run .#mpf-wasm-write-demo
PORT=8003 nix run .#docs

Start With The Tutorials

Once the project builds, the fastest way to understand the current user-facing behavior is:

1. CLI Manual for the CSMT command-line workflow
2. CSMT WASM Verifier Demo for read-only proof checking
3. CSMT WASM Write Demo for browser-side mutation
4. MPF WASM Write Demo for MPF build/prove/verify with Aiken-compatible proofs