Primitives and tooling for verifiable apps.

14 cryptographic and state primitives, a typed Rust SDK, a real-kernel test harness, an HTTP server. One `nockup graft inject` command composes them into a deterministic kernel.

I'm a Rust dev — let me build

I'm evaluating — show me the case

I'm an AI agent — give me the index

vesl — Verifiable Execution and Settlement Layer

14 primitives, one composition command

Merkle commitments, STARK proofs, RBAC, audit log, settlement queue, key-value store, and more. `nockup graft inject` wires any subset into your kernel.

Typed Rust SDK at every seam

One `build_*_poke` per cause, a `PokeOutcome` enum, compile-time drift detection. You write Rust, not noun construction.

Real-kernel test harness

`vesl-test` boots your compiled kernel and runs tests against it. What you test is what your users get.

HTTP server, ready to ship

API-key auth, body-limit, rate-limit, `/status` introspection. Boot a production endpoint with two flags.

Loud failures, every time

`compile.sh` verifies its artifact. Lints refuse to compose corrupted Hoon. `verify-jam` detects stale kernels.

Live updates preserve state

Edit your kernel, recompile, restart — accumulated state survives via PMA. A new feature is a sub-minute deploy.