> For the complete documentation index, see [llms.txt](https://wiki.solaxy.io/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://wiki.solaxy.io/core-concepts/sequencer-and-zkvm-integration.md).

# Sequencer & zkVM Integration

Solaxy’s rollup architecture is built around two foundational components:

1. A **deterministic sequencer** that orders transactions off-chain
2. A **zkVM** (zero-knowledge virtual machine) that executes transactions and generates verifiable proofs

Together, they enable Solaxy to scale Solana while preserving trustlessness and performance.

***

#### ⚙️ Sequencer: Fast, Ordered, and Secure

The **sequencer** is the engine that drives transaction flow on Solaxy. It is responsible for:

* Ordering incoming transactions deterministically
* Batching them into rollup blocks
* Producing a clear state transition trail
* Minimizing latency and front-running risks

**Benefits of the Sequencer:**

* **Predictable block production**
* **Fast confirmations (soft confirmations supported)**
* **Modular control over transaction inclusion and ordering**
* **Future-proofed for proposer-builder separation and MEV protection**

***

#### 🧠 zkVM: Verifiable Execution via SP1

To scale securely, Solaxy integrates the [**SP1 zkVM** developed by Succinct Labs](https://blog.succinct.xyz/introducing-sp1/). This virtual machine is capable of:

* Running Solana smart contracts (via the Solana Virtual Machine)
* Executing off-chain while maintaining cryptographic verifiability
* Producing **zero-knowledge proofs** of valid state transitions

This means every transaction executed off-chain can be proven correct - and those proofs can be verified on-chain.

**What’s Inside the zkVM?**

* Native support for **SVM bytecode**
* Integration with the **Sovereign SDK**
* Modular backends for future proof system upgrades
* Designed for compatibility with Solana tools (e.g. `solana-cli`, `@solana/web3.js`)

***

#### 🧪 Soft Confirmations

To improve UX during testing and development, Solaxy supports **soft confirmations** - a feature where the sequencer provides early confirmation of transaction validity before full rollup settlement.

This allows:

* Faster frontend responsiveness
* Better user feedback loops
* Flexible tradeoffs between speed and finality

***

#### 🔄 Sync Between Sequencer & zkVM

The sequencer and zkVM work in tandem:

1. The sequencer receives and orders transactions.
2. The zkVM executes them off-chain and generates a proof.
3. The result - proof + new state root - is published to Solana L1.
4. The state root becomes the canonical on-chain snapshot.

This flow ensures:

* **Speed from off-chain execution**
* **Security from on-chain verification**
* **Trustless coordination between users, apps, and validators**