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. 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