Development Workflow

Use the CLI for the edit/check/build/run loop, then use the Rust SDK when your application needs to call a Stoffel program from Rust.

Daily loop

stoffel check
stoffel build
stoffel run --client-input 0=42 --parties 5 --threshold 1

stoffel check validates source and MPC settings without writing bytecode. stoffel build writes .stflb bytecode. stoffel run executes the program through the local MPC test network unless you pass --network with a deployment config.

Watch mode

Run once for scripts or CI:

stoffel dev --once --client-input 0=42 --parties 5 --threshold 1

Run continuously while editing:

stoffel dev --client-input 0=42 --parties 5 --threshold 1

stoffel dev watches Stoffel.toml and the configured .stfl sources, rebuilds, and reruns when files change. Tune file polling with --poll-ms.

Inputs

Named function inputs use --input:

stoffel run --entry add --input a=40 --input b=2

ClientStore programs use client-slot inputs:

stoffel run --client-input 0=42 --expected-output-clients 1

In StoffelLang, ClientStore.take_share(0, 0) reads input index 0 from client slot 0.

Rust app wrapper

A practical Rust app flow is:

Build the Stoffel program with the CLI.
Load the produced .stflb artifact from Rust.
Pass only the private portion of the request to Stoffel.
Continue ordinary application logic with the returned output.

use stoffel::prelude::*;

# async fn compute_private_score(private_score: i64) -> stoffel::Result<i64> {
let result = Stoffel::load_file("target/debug/hello-mpc.stflb")?
    .parties(5)
    .threshold(1)
    .with_client_input(0, &[private_score])
    .execute_local()
    .await?;

result[0]
    .as_i64()
    .ok_or_else(|| Error::InvalidInput("expected int64 output".into()))
# }

Debugging commands

stoffel check --print-ir
stoffel compile --disassemble target/debug/hello-mpc.stflb
stoffel run --program-info
stoffel status --verbose

Introduction

Getting Started

Tutorials

The Stoffel CLI

MPC Backends

Deployment

StoffelLang

Stoffel VM

Architecture

Daily loop

Watch mode

Inputs

Rust app wrapper

Debugging commands

​Daily loop

​Watch mode

​Inputs

​Rust app wrapper

​Debugging commands

Daily loop

Watch mode

Inputs

Rust app wrapper

Debugging commands