> For the complete documentation index, see [llms.txt](https://maru-2.gitbook.io/maru/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://maru-2.gitbook.io/maru/maru-zkvm/instruction-set-architecture/instructions-execution.md).

# Instructions Execution

Currently we have simple sequential instruction execution, both for it’s simplicity and versatility. By carefully restricting processor state, using write-one memory and staggering memory constraints across several columns, we were able to achieve “one instruction - one row” proof density, disregarding dummy padding rows. We are looking into superscalar execution paradigm to further compress proofs.