Installation

Note

TruthTable is under active development. These steps build the project from source; packaged releases will be documented here as they become available.

Prerequisites

• A recent Rust toolchain (the workspace uses the 2024 edition — install via rustup).
• git.

Clone and build

git clone https://github.com/arkworks-rs/truth-table.git
cd truth-table
cargo build --release

The workspace is split into several crates (tt-core, tt-arithmetic, tt-exec, and others). Building at the workspace root compiles the default members; some benchmark-only crates are excluded by default and built explicitly when needed.

Next

Head to the Quick Start to run your first proof.