Deployed on Sepolia Testnet · Live

DEOS Tessera

Verifiable Shared Sequencer for Ethereum L2s

The only sequencer that proves both what it executed and how it ordered transactions, in a single 200-byte Groth16 proof.

Get in Touch
~300K
gas per proof
~200B
proof size
3-tier
ZK proof system
<1ms
off-chain verify

Three guarantees. Three proof tiers.

Two guarantees are ZK-proven on-chain. One is enforced by protocol design. All three proof tiers run on every batch.

deos-tessera guarantees
[1] Execution correctness         [ZK proven, Tier A]
    └─ Every syscall-level state transition is valid
       Groth16 proof submitted on-chain per batch

[2] Ordering fairness              [ZK proven, Tier A]
    └─ VDF committed before tx contents decryptable
       front-running impossible at the protocol level

[3] Inclusion completeness         [Protocol enforced]
    └─ Operators slashed for censorship
       all txs in window must be included or stake lost

Tier A: SP1 Groth16

On-chain finality

on-chain
Proof size
~200 bytes
Gas cost
~300K on L1
Curve
BN254
Trusted setup
Aztec Ignition (2019)
Proves
  • Execution correctness: every syscall-level state transition
  • Ordering fairness: VDF chain committed before tx contents decryptable

The top-tier proof. Submitted on-chain per batch via commitBatchWithProof(). This is what L1 verifies.

The sequencer landscape

How DEOS Tessera compares to existing sequencer approaches

FeatureCentralizedShared BFTZK RollupDEOS Tessera
Execution proof on-chain
Ordering proof on-chain
Front-running protectedPartialPartial
Single proof for both
Multi-L2 shared infra
AiDR security layer

Provably Fair Ordering (PFO)

Regulation is coming. When regulators ask your L2 to prove fair ordering, what will you show them?

In traditional finance, front-running is a criminal offense. Market makers must demonstrate best execution. Audit trails are mandatory. Crypto L2 sequencers today have none of this, and regulators have noticed.

🇺🇸

United States

SEC + CFTC · 2025-2026

  • Project Crypto: SEC + CFTC joint oversight initiative to coordinate digital asset regulation
  • CFTC rulemaking: targeting DeFi protocols, market integrity, and AI-driven trading systems
  • RFIA amendments: requiring registration, recordkeeping, and supervisory compliance for protocol controllers
  • MEV as front-running: increasingly viewed as the crypto equivalent of a criminal offense in traditional markets
🇪🇺

European Union

MiCA · Full enforcement July 2026

  • MiCA enforcement: all Crypto-Asset Service Providers must comply by July 2026
  • Order fairness: mandatory fairness in customer order handling
  • Market abuse surveillance: required monitoring and reporting for all trading venues
  • Order-data retention: immutable records of how transactions were ordered and processed

Why existing sequencers cannot comply

RequirementTraditional FinanceL2 Sequencer TodayTessera PFO
Prove fair orderingAudit trailNo mechanismKWA kernel proof
Detect front-runningFINRA surveillanceNo visibilityKernel event log
Retain order data7+ years (SEC 17a-4)Often discardedCAS (permanent)
Independent verificationExternal auditorsNot possiblePermissionless replay
Abuse surveillanceMandatory (MAR)NoneAiDR built-in

How Tessera provides Provably Fair Ordering

1
Kernel-level recording
Transaction arrival is witnessed by the OS kernel before sequencer software processes it. The sequencer cannot alter what the kernel recorded.
2
Cryptographic commitment
Each batch includes a seenRoot (all transactions the kernel witnessed) and a decisionRoot (inclusion/exclusion decisions with reason codes). Both committed on-chain.
3
Independent verification
Anyone can download the event log, replay it on an honest DEOS instance, and verify the ordering matches. Disputes are submitted on-chain.
4
Content-blind ordering
VDF blind sequencing encrypts transactions before ordering. The sequencer commits to an ordering of ciphertexts it cannot read, eliminating front-running.
5
Permanent audit trail
Event logs stored in content-addressed storage and committed via EIP-4844 blobs. Historical batches can be re-verified indefinitely.

Read the technical whitepaper

Version 1.2 · March 2026. Covers the proof system, VDF protocol, economics, PFO regulatory analysis, integration guide, and roadmap.

Contact Team

L2 Integration

DEOS Tessera integrates with any L2 stack. Connect your rollup to the shared sequencer in days, not months.

  • OP StackDrop-in replacement for op-batcher
  • Arbitrum OrbitCustom batch poster integration
  • Custom rollupsJSON-RPC endpoint, standard tx format
Talk to us about integration

Run a Node

Sequencer operators earn fees proportional to transaction volume across all connected L2 chains. Minimum 1 ETH stake. Slashing enforced on-chain.

  • Earn fees from all connected L2s
  • Stake in ETH, no new token required
  • On-chain slashing for misbehavior
  • ZK proofs make cheating impossible
Become an operator