FFI / C Bindings - Stoffel Documentation

The primary supported application surfaces are the stoffel CLI and the Rust SDK. If you are writing C, C++, Python, or another host-language integration, start by treating the CLI-built .stflb artifact as the boundary: build with stoffel build, then hand that bytecode to the runtime surface your integration owns.

Recommended path

stoffel check
stoffel build
stoffel compile --disassemble target/debug/<project>.stflb

For application code that needs a stable executable API today, use the Rust SDK and expose your own host-language boundary around it.

Compiler crate

The compiler implementation lives in the stoffel repository under crates/stoffel-lang. Lower-level FFI work should validate against the current crate source before documenting C ABI details, because the app-facing docs should not promise unsupported package APIs.

Source shape

Use current StoffelLang syntax when compiling from any host language:

def main() -> int64:
  var private_score: secret int64 = ClientStore.take_share(0, 0)
  var adjusted = private_score + 25
  return adjusted.reveal()

​Recommended path

​Compiler crate

​Source shape

​See also

Recommended path

Compiler crate

Source shape

See also