Rust SDK
The VeriProof Rust SDK requires Rust 1.96 or later and uses edition 2024. It checks policy before a governed action runs and before its result is released, records session evidence, handles signed human review, and stops an active governed run through the governed context’s StopToken.
Available crates
| Package | Category | Framework support |
|---|---|---|
veriproof-sdk | Core SDK | Application-owned actions |
veriproof-sdk-adapter-async-openai | Enforce adapter | async-openai 0.41.2 |
veriproof-sdk-adapter-rig | Enforce adapter | rig 0.41.0 |
Adapters install their required Core SDK dependency automatically.
What the core crate includes
Veriproof::from_env()andVeriproof::configure(api_key, options)for one application-scoped client.govern(action_name, input, action, options)with typed results and aReviewRequiredcheckpoint.HumanReviewRuntimewithsave,receive,resume,reconcile, andflush_acknowledgments, plusSqliteReviewStore.- Generated industry vocabularies under
veriproof_sdk::generated::industry. VeriproofTestHarness,TestPolicyDecision, andTestPolicyFieldfor network-free tests.SqliteDirectiveStateStoreandInMemoryDirectiveStateStorefor Stop directive state.
Start using the SDK
Open Tools and SDKs in the VeriProof portal, select Rust, and copy its registry configuration and cargo add commands. Start with veriproof-sdk, then add the adapter for each framework your application uses.
Set the application SDK key as VERIPROOF_API_KEY. Hosted VeriProof uses https://ingest.veriproof.app. VeriProof Private uses the ingest API base URL for that instance as VERIPROOF_ENDPOINT. Set VERIPROOF_EDGE_ENDPOINT to route governance calls through a licensed Edge Gateway.
Use the Rust SDK guide for setup and governed-action examples and the Rig and async-openai guides for each adapter boundary. Check SDK categories and framework coverage for what each adapter controls and what stays with the core governed-action helper.