Build with Auths

Build / integration surfaces

Embedded Rust kernel

Use auths-proof for the supported low-level verifier facade and exact protocol results.

Verify in Rust →

Application SDK

Use auths-sdk for trusted-context construction, verification, and profile-decoded commands.

Explore the SDK boundary →

TypeScript + WASM

Use @auths-dev/proof for precompiled browser and Node verification.

Verify with WASM →

Python or Go

Python embeds the native verifier; Go is an independent language implementation used for cross-language conformance.

See application surfaces →

Keep the boundary visible

Use the kernel when you need pure verification. Use applications for profile semantics, live evidence acquisition, runtime state, replay, budgets, receipts, custody, or execution. Use exchange for transporting proofs and challenges.