Virtual Machine
A deterministic runtime built on the lambda calculus. Turing-complete smart contracts, on-chain compilation, and the full power of functional programming.
Consensus determines truth. But truth alone isn't enough. You need a machine that can act on it: executing code against a single, consistent global state so that every participant can verify exactly what happened and why.
Most platforms treat execution as an afterthought, bolting a constrained VM onto a fragmented architecture of shards and rollups. Convex took a different path.
The CVM is grounded in the lambda calculus — the same mathematical foundation that defines what computation itself means. One atomic state, no fragmentation, and smart contracts you don't have to trust, because you can prove they ran exactly as written.
Try the CVM
Write and execute Convex Lisp in the live sandbox, or explore the language.