# Architecture

- [Overview](/lita-documentation/architecture/overview.md)
- [Proving System: Plonky3](/lita-documentation/architecture/proving-system-plonky3.md)
- [Future Directions](/lita-documentation/architecture/proving-system-plonky3/future-directions.md)
- [Valida zk-VM](/lita-documentation/architecture/valida-zk-vm.md)
- [Technical Design: VM](/lita-documentation/architecture/valida-zk-vm/technical-design-vm.md)
- [Technical Design: Prover](/lita-documentation/architecture/valida-zk-vm/technical-design-prover.md)
- [LLVM-Valida Compiler](/lita-documentation/architecture/llvm-valida-compiler.md)
- [Technical Design](/lita-documentation/architecture/llvm-valida-compiler/technical-design.md)
- [Benchmarks](/lita-documentation/architecture/benchmarks.md): As of August 2024
- [Fibonacci (vs. RISC Zero)](/lita-documentation/architecture/benchmarks/fibonacci-vs.-risc-zero.md): As of May 2024
- [Fibonacci (vs. SP1)](/lita-documentation/architecture/benchmarks/fibonacci-vs.-sp1.md): As of August 2024
- [Fibonacci (vs. Jolt)](/lita-documentation/architecture/benchmarks/fibonacci-vs.-jolt.md): As of May 2024
- [Fibonacci (Rust vs. C)](/lita-documentation/architecture/benchmarks/fibonacci-rust-vs.-c.md)
- [SHA-256 (vs. RISC Zero)](/lita-documentation/architecture/benchmarks/sha-256-vs.-risc-zero.md): As of May 2024
- [SHA-256 (vs. SP1)](/lita-documentation/architecture/benchmarks/sha-256-vs.-sp1.md): As of May 2024
- [SHA-256 (vs. Jolt)](/lita-documentation/architecture/benchmarks/sha-256-vs.-jolt.md): As of May 2024