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

# Core Concepts

- [zk-VM](https://lita.gitbook.io/lita-documentation/core-concepts/zk-vm.md)
- [Proofs: Classical, Probabilistic, Succinct, and ZK](https://lita.gitbook.io/lita-documentation/core-concepts/proofs-classical-probabilistic-succinct-and-zk.md)
- [Evaluating zk-VMs](https://lita.gitbook.io/lita-documentation/core-concepts/evaluating-zk-vms.md)
- [ZK-VM Design Tradeoffs](https://lita.gitbook.io/lita-documentation/core-concepts/zk-vm-design-tradeoffs.md)
- [Valida Design Considerations](https://lita.gitbook.io/lita-documentation/core-concepts/valida-design-considerations.md)