# Core Concepts

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