# Introduction Our vision is to create the Internet Exchange — a global, programmable venue where every asset, market, and stream of information is instantly tradable with extreme performance and low latency, powered by high-performance verifiable computation based on zero-knowledge proofs. Nexus targets the $1T+ in daily exchange TradFi volume market across global spot, perps, derivatives, options, RWAs, treasuries, FX, and prediction markets, bringing programmable and composable exchange markets to the Internet’s financial layer. We believe finance is the most important application of verifiable computation, forming the foundation for a new programmable economy. ### Exchange Overview The Nexus Exchange will introduce a custom parallelized co-processor architecture that will extend the NexusEVM with **NexusCore**: a bundle of high-performance, exchange-optimized computational engines. These native co-processors will provide developers with: * High-throughput matching engines * Real-time price oracles and data feeds * Automated liquidation systems * Other specialized financial primitives This design will enable the permissionless deployment of high-performance Internet markets (perpetual futures, options, prediction markets, etc.) with CEX-level throughput and latency. Nexus co-processors will expose CEX-like APIs directly at the node level, allowing high-frequency trading strategies to be migrated onchain with minimal changes. ### What the Exchange will provide * **CLOB-based markets** with price-time priority matching at 5ms block intervals * **Perpetual futures** at launch, with spot, derivatives, options, RWAs, treasuries, FX, and prediction markets in subsequent releases * **USDX as the margin and quote currency** for all Exchange products * **Non-custodial settlement** — collateral and balances held on-chain, never with an operator * **Validity proofs on every trade** — execution correctness is independently verifiable * **Multiple access surfaces** — REST API and WebSocket for programmatic trading, CCXT compatibility for off-the-shelf trading clients, and EVM smart contracts that compose with Exchange liquidity via NexusCore precompiles #### **Long-term Scalability via Verifiable Computation** At the core of the system will be the Nexus zkVM – a high-performance zero-knowledge virtual machine designed to horizontally scale the network through distributed proof generation. The Nexus zkVM: * Is already deployed and running on millions of devices through the Nexus Network * Is currently experimental but production-ready for select workloads * Will enable millions of devices to collaboratively validate financial computations --- # Agent Instructions: Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter: ``` GET https://docs.nexus.xyz/exchange/introduction.md?ask= ``` The question should be specific, self-contained, and written in natural language. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.