# 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**


---

# 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://wiki.solaxy.io/core-concepts/sequencer-and-zkvm-integration.md?ask=<question>
```

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.