# Orbis

## Orbis

- [Orbis](https://docs.orbisprotocol.com/orbis/orbis.md)
- [High-Level Overview](https://docs.orbisprotocol.com/orbis/high-level-overview.md)
- [zk-SNARKs](https://docs.orbisprotocol.com/orbis/technology/zk-snarks.md)
- [Halo 2](https://docs.orbisprotocol.com/orbis/technology/halo-2.md)
- [Cardano](https://docs.orbisprotocol.com/orbis/technology/cardano.md)
- [EUTXO](https://docs.orbisprotocol.com/orbis/technology/cardano/eutxo.md)
- [Process](https://docs.orbisprotocol.com/orbis/architecture/process.md)
- [L1 Rollup Protocol: On-Chain Inputs and Outputs](https://docs.orbisprotocol.com/orbis/architecture/l1-rollup-protocol-on-chain-inputs-and-outputs.md)
- [L2 Rollup Protocol: On-Rollup Transactions](https://docs.orbisprotocol.com/orbis/architecture/l2-rollup-protocol-on-rollup-transactions.md)
- [Orbis Specification Language (OSL)](https://docs.orbisprotocol.com/orbis/architecture/orbis-specification-language-osl.md)
- [Programming on Orbis](https://docs.orbisprotocol.com/orbis/smart-contracts/programming-on-orbis.md)
- [Plutus Language Family](https://docs.orbisprotocol.com/orbis/smart-contracts/plutus-language-family.md)
- [Reliability](https://docs.orbisprotocol.com/orbis/design-considerations/reliability.md)
- [Liveness and Safety](https://docs.orbisprotocol.com/orbis/design-considerations/liveness-and-safety.md)
- [Decentralization](https://docs.orbisprotocol.com/orbis/design-considerations/decentralization.md)
- [Single node](https://docs.orbisprotocol.com/orbis/design-considerations/decentralization/single-node.md)
- [Static master/workers](https://docs.orbisprotocol.com/orbis/design-considerations/decentralization/static-master-workers.md)
- [Dynamic master/workers](https://docs.orbisprotocol.com/orbis/design-considerations/decentralization/dynamic-master-workers.md)
- [Data Availability](https://docs.orbisprotocol.com/orbis/design-considerations/data-availability.md)
- [Upgradability and Governance](https://docs.orbisprotocol.com/orbis/design-considerations/upgradability-and-governance.md)
- [Performance](https://docs.orbisprotocol.com/orbis/design-considerations/performance.md)
- [Inter-Rollup and Inter-Protocol Bridges](https://docs.orbisprotocol.com/orbis/inter-rollup-and-inter-protocol-bridges.md)
- [HALO](https://docs.orbisprotocol.com/orbis/halo-token/halo.md)
- [Tokenomics](https://docs.orbisprotocol.com/orbis/halo-token/tokenomics.md)