// Execution

Virtual
Machine

A deterministic runtime built on the lambda calculus. Turing-complete smart contracts, on-chain compilation, and the full power of functional programming.

✓Deterministic
On-ChainCompilation
FunctionalParadigm

Try the CVM

Write and execute Convex Lisp in the live sandbox, or explore the language.

Open SandboxConvex Lisp

Documentation & References

CAD — CVM ExecutionExecution model and instruction setCAD — Convex LispThe smart contract languageArchitecture ConceptsHow the CVM fits the full stack