Supported languages

Truebit Verify supports Javascript, Python*, Rust or C/C++

Language Capabilities

Function Tasks are executed in a specially instrumented version of the WASMedge runtime. Functions written in Rust or C++ are directly compiled to WASM. JavaScript and Python are executed by an WASM-compiled interpreter. As is universally true, you may find that compiled functions execute faster than interpreted functions.

Language	Task Instrumentation	Task preparation	Dependencies
Javascript	No	Js Task preparation	Node.js v22 LTS+ Rollup
Python	No	Py Task preparation	Python 3.12 only
Rust	Yes	Built-in	Rust v1.81 only wasm32-wasi target
C / C++	Yes	Custom	wasienv wasi-sdk 16

Setup

You can write Function Tasks in various development languages. Here's how to install different versions of these languages.

Rust

Currently, we support Rust version 1.81 only. Please install it by running the following command-line commands:

curl https://sh.rustup.rs -sSf | sh
source "$HOME/.cargo/env"
rustup install 1.81.0
rustup default 1.81

Please run the following line to install WebAssembly and WASI Preview 1 support for Rust:

rustup target add wasm32-wasip1

C/C++

JS

Python