Verify with TypeScript and WASM

Guide / @auths-dev/proof

The package surface documented in auths-proof-apps is:

import { loadAuths } from "@auths-dev/proof";

const auths = await loadAuths();
const result = auths.verify(proofBytes, canonicalActionBytes, contextBytes);

if (result.kind === "authorized") {
  await execute(profile.decodeVerified(result.action));
} else {
  report(result.explanation.code, result.explanation.message);
}

The published package contains precompiled WebAssembly. Consumer machines do not need Rust, C, a daemon, or network access during verification.

Boundary

WASM performs the same three-input portable verification as the Rust kernel. Fetching proofs, acquiring evidence, defining trusted context, and executing application commands remain host responsibilities.