> For the complete documentation index, see [llms.txt](https://ola-2.gitbook.io/ola-developer-documents/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://ola-2.gitbook.io/ola-developer-documents/olavm.md).

# OlaVM

[OlaVM](https://github.com/Sin7Y/olavm) is a STARK-based ZK-friendly ZKVM, it is built on a small finite field called [Goldilocks Field](https://github.com/mir-protocol/plonky2/blob/main/field/src/goldilocks_field.rs). As the most important component of the Ola system, OlaVM is mainly used to execute a program and generate a valid proof for the programmable scalable case and the programmable private case. OlaVM is a Turing complete VM, which means that it can execute any computation on it and at the same time it could generate a valid proof for it. For getting a smaller proof time, we have many powerful designs that are relevant with ZK-friendly.