> For the complete documentation index, see [llms.txt](https://docs.zk.link/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.zk.link/architecture/execution-layer.md).

# Execution Layer

Execution entails executing transactions that update the state correctly. Thus, execution must ensure that only valid transactions are executed, i.e., transactions that result in valid state machine transitions.

<table data-view="cards"><thead><tr><th align="center"></th><th data-hidden data-card-target data-type="content-ref"></th></tr></thead><tbody><tr><td align="center"><strong>TS-zkVM for App Rollup</strong></td><td><a href="/pages/b0fxzOzA4DvQ6ouCnc50">/pages/b0fxzOzA4DvQ6ouCnc50</a></td></tr></tbody></table>