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

# Protocol Architecture

**Nebula's architecture** prioritizes **security**, **scalability**, and **flexibility**, employing modular components built upon Nibiru's robust infrastructure and EVM compatibility. Below is a structured overview of its design:

***

##

***

####

***

####  **Security and Scalability**

**Formal Verification**

* **Proofs of Correctness**: Smart contracts undergo formal verification and rigorous audits by leading security firms to mitigate risks.
* **Open Transparency**: Protocol upgrades are governed transparently through community-approved mechanisms.

**High Throughput and Low Latency**

* **Scalability**: Leverages transaction parallelization and efficient consensus algorithms to support high transactions per second (TPS).
* **Fast Finality**: Transactions finalize within seconds, enabling smooth high-frequency trading and lending activities.