veslVerifiable Execution and Settlement Layer

Build on infrastructure where every computation is provable and every state transition is verified.

Verifiable by default

Every operation produces a cryptographic proof. Not as an add-on — as the foundation.

Built on Nock — deterministic computation you can verify without re-executing.

You write Rust. The kernels are already compiled. Configure, point at a network, and ship.