This directory contains the following crates:

• prooflab: The main CLI tool and zkVM integration
• prooflab_io: I/O marshalling between host and guest programs

From the project root, run:

cargo build --all

Or to build a specific crate:

cargo build -p prooflab
cargo build -p prooflab_io

Run the tests with:

cargo test --all

Or test individual crates:

cargo test -p prooflab
cargo test -p prooflab_io