# Usecases

- [Validity Rollups](/gevulot-docs/usecases/validity-rollups.md)
- [Proof Aggregation](/gevulot-docs/usecases/proof-aggregation.md)
- [ZkVMs](/gevulot-docs/usecases/zkvms.md)
- [Bridges](/gevulot-docs/usecases/bridges.md)
- [Verifiable RPC](/gevulot-docs/usecases/verifiable-rpc.md)
- [ZkML](/gevulot-docs/usecases/zkml.md)
- [ZkFHE](/gevulot-docs/usecases/zkfhe.md)
- [ZK Coprocessors](/gevulot-docs/usecases/zk-coprocessors.md)