integration
01Define
The Rules
Keep your existing business logic in any language. Add a small Rust constraints file that defines the rules of your application. delta verifies your rules, not your entire codebase, so the audit scope stays small.
application.ts
Your App
// Your business logic
function allow_transfer(amount) {
// Complex validation...
// Database lookups...
// Risk scoring...
return process(amount);
}
constraints.rs
Delta
// Your constraint
fn allow_transfer(amount: u64) {
assert!(amount < 1000);
}
02Connect
The Pipes
Add our APIs to your backend execution code. Fetch settled updates, compute normally, and commit outputs for verification.
Your business logic stays untouched — delta receives updates from your application and verifies that outcomes followed your rules.
import { Domain } from 'delta-sdk';
import { MyApp, State } from './internal-app';
// 1. Fetch & Apply delta Updates
const updateState = async () => {
const updates = await Domain.fetchSettled();
if (updates) await State.apply(updates);
};
// 2. Compute & Commit for Verification
const commit = async (inputs) => {
const outputs = MyApp.compute(inputs);
await Domain.commit({ inputs, outputs });
};
03Deploy
The Guardrails
Deploy your verifier to the delta network with a single command. Your system now offers hard guarantees to your customers, with access to all assets and users on delta's network.
$ delta deploy --network mainnet
> Compiling proof... OK
> Generating verifier... OK
> Submitting domain agreement to delta... OK
SUCCESS: 'ConvexFX' has now been deployed to delta
Transaction hash: 0x7a2...3f9