SIMD-420 Β· Open Draft Β· Solana

Raw mempool in.
Optimal block out.

Refinery is a quantum-assisted transaction ordering protocol that eliminates MEV, enforces on-chain fairness, and maximizes block execution efficiency β€” all without trusted sequencers.

~90%
MEV Eliminated
0
Trusted Sequencers
↑38%
Block Efficiency
100%
Verifiable
What Is Refinery

Block production is a solved problem.
We just haven't deployed the solution yet.

Every block on every chain today is ordered using heuristics β€” greedy, local, adversarial. Refinery replaces that with a formally specified global optimization problem solved by quantum-assisted computation.

βš—οΈ

Think of a refinery.

Crude oil goes in β€” messy, unordered, full of impurities. Refined product comes out β€” pure, optimally processed, maximum value extracted cleanly. Refinery does the same for your mempool. Raw, unordered transactions go in. An optimally sequenced, MEV-free block comes out. The "impurities" β€” sandwich attacks, front-running, arbitrary reordering β€” are removed at the protocol level.

🎯

Formally defined fairness

Fairness is no longer a social norm enforced by reputation. It's a hard mathematical constraint in the objective function. If an ordering violates it, the optimizer rejects it. No exceptions, no overrides.

βš›οΈ

Quantum-assisted, classically verified

The quantum solver searches combinatorial ordering space exponentially faster than classical methods. But the chain never trusts the solver β€” every output is verified deterministically before inclusion.

πŸ”’

No new trust assumptions

Refinery introduces zero new trusted parties. No sequencer, no committee, no oracle. If the quantum solver is offline or wrong, validators fall back to canonical deterministic ordering. Liveness guaranteed.

🧩

Drop-in protocol upgrade

Refinery is a block production layer upgrade β€” not a new chain. Existing validators, existing smart contracts, and existing users all benefit without any changes to their current setup.

Interactive Demo

Watch Refinery clean a mempool.

This is a simulated block of 8 transactions. The left shows what a standard validator would produce. The right shows what Refinery produces. Hit Run to replay.

Block Simulator LIVE DEMO
⚠ Standard Ordering (MEV Present)
SANDWICH OPEN
front-run USDC/SOL Β· 0.45 SOL fee
MEV
USER SWAP
2,400 USDC β†’ SOL Β· slippage 3.1%
SANDWICH CLOSE
back-run USDC/SOL Β· 0.41 SOL fee
MEV
TRANSFER
12.5 SOL wallet-to-wallet
ARB BOT
Raydium→Orca price diff · 0.31 SOL
MEV
USER SWAP
800 USDC β†’ BONK Β· slippage 2.8%
NFT PURCHASE
Tensor Β· 6.2 SOL
STAKE
Delegate 100 SOL Β· Marinade
βš—οΈ
Refinery
Optimizer
βœ… Refinery Ordering (Optimal)
TRANSFER
12.5 SOL wallet-to-wallet Β· no impact
STAKE
100 SOL β†’ Marinade Β· state isolated
USER SWAP
2,400 USDC β†’ SOL Β· slippage 0.4%
USER SWAP
800 USDC β†’ BONK Β· slippage 0.6%
NFT PURCHASE
Tensor Β· 6.2 SOL
βœ• SANDWICH OPEN β€” rejected (violates fairness constraint)
βœ• SANDWICH CLOSE β€” rejected (orphaned, pair excluded)
βœ• ARB BOT β€” rejected (pure MEV, no user benefit)
1.17 SOL
MEV Extracted (Standard)
0.00 SOL
MEV Extracted (Refinery)
↓ 82%
Avg User Slippage Reduction
Protocol Design

Four stages. One optimal block.

Refinery separates fairness specification from solution search. The protocol defines the objective β€” the optimizer finds it.

β†’
01 / COLLECT
πŸ“₯

Batch Collection

Validators collect a full mempool batch. Execution dependencies, state reads/writes, and resource usage are encoded into a formal constraint model.

β†’
02 / OPTIMIZE
βš›οΈ

Quantum Solver

The ordering problem is formulated as QUBO and submitted to a quantum or hybrid quantum-classical optimizer. The solver searches the combinatorial space for a globally optimal sequence.

β†’
03 / VERIFY
πŸ”

Classical Verification

Every optimizer output is verified deterministically. Validity, constraint satisfaction, and state transition correctness are checked. The chain never trusts β€” only verifies.

04 / COMMIT
πŸ”’

Commit or Fallback

Verified orderings are committed to the block. If verification fails or the solver times out, validators fall back to a canonical deterministic rule. Liveness is always guaranteed.

OBJECTIVE FUNCTION

Formally Specified. Protocol-Defined.

The optimizer doesn't decide what "optimal" means β€” the protocol does. Every goal, constraint, and tradeoff is encoded in the objective function before the solver ever runs.

// Refinery objective function maximize F(ordering Οƒ) subject to: Οƒ ∈ ValidOrderings(txBatch) // only valid state transitions MEV(Οƒ) ≀ MEV_THRESHOLD // hard cap on extractable value Slippage(Οƒ, user_i) ≀ MAX_SLIP βˆ€i // per-user slippage bounds Dependencies(Οƒ) satisfied // execution order integrity ResourceUsage(Οƒ) ≀ BLOCK_LIMIT // compute/memory constraints Fairness(Οƒ) β‰₯ FAIRNESS_FLOOR // formal fairness guarantee // Fallback if solver fails or disagrees: if !verify(Οƒ) β†’ canonical_deterministic_ordering(txBatch)
QUBO ENCODING

Quantum Compatible

The ordering problem is reduced to QUBO (Quadratic Unconstrained Binary Optimization) β€” compatible with D-Wave quantum annealers, IBM Quantum gate-based QPUs, IonQ, and QAOA hybrid solvers. Refinery is solver-agnostic.

DETERMINISM

Zero Quantum Trust

Consensus never depends on the quantum solver being correct. Every ordering is independently verified by classical validators before inclusion. The quantum layer only provides search efficiency β€” not authority.

Integration Guide

Built for validators. Open to everyone.

Whether you run quantum hardware or a standard validator, Refinery has an integration path for you.

βš›οΈ Quantum-Enabled Validator Quantum

Run the full Refinery optimization stack with your quantum hardware. Earn additional rewards for producing verifiably optimal block orderings.

  1. Install the Refinery validator client extension
  2. Configure your QPU provider (D-Wave / IBM / IonQ / local)
  3. Set your QUBO solver parameters and timeout budget
  4. Enable optimized ordering submission in your validator config
  5. Monitor optimization quality via the Refinery dashboard

πŸ’» Classical Validator Classical

No quantum hardware required. Run the Refinery verification layer and earn standard rewards. Your node verifies quantum-submitted orderings from other validators.

  1. Install the Refinery validator client extension
  2. Enable the classical verification module
  3. Configure fallback ordering rule parameters
  4. Your node automatically verifies all Refinery block proposals
  5. Fallback ordering kicks in automatically when needed

πŸ› οΈ Protocol Developer

Build on top of Refinery's ordering guarantees. Access the fairness proofs, MEV reports, and block metadata via the Refinery RPC extension.

  1. Add the Refinery SDK to your project
  2. Query ordering proofs for any block via RPC
  3. Access per-transaction fairness certificates
  4. Integrate MEV reporting into your analytics

πŸ“Š Researcher / Contributor

Refinery is an open research proposal. Contribute to the QUBO encoding spec, objective function design, or quantum solver benchmarks.

  1. Read SIMD-420 and the technical specification
  2. Open issues or PRs on the GitHub repo
  3. Join the working group Discord
  4. Run benchmarks on your quantum hardware or simulator
Roadmap

From proposal to production.

Refinery ships in four phases β€” from open spec to mainnet deployment.

Phase 1 Β· Now

SIMD-420 Draft

  • Open proposal published
  • Objective function specified
  • QUBO encoding defined
  • Community RFC open
Phase 2 Β· Q3 2025

Devnet Testbed

  • Classical simulation of optimizer
  • Verification layer prototype
  • Fallback mechanism tested
  • Validator client alpha
Phase 3 Β· Q1 2026

Quantum Pilots

  • D-Wave / IBM integration
  • QUBO solver benchmarks
  • Multi-validator testnet
  • MEV reduction metrics
Phase 4 Β· 2026+

Mainnet Deployment

  • SIMD ratification vote
  • Validator adoption campaign
  • Full mainnet activation
  • Ongoing optimization
SIMD-420

The Proposal

Abstract

We propose a transaction ordering framework in which block construction is formulated as a constrained global optimization problem and solved via quantum-assisted computation. Rather than applying heuristic or first-come-first-served sequencing, validators collect a batch of candidate transactions for each block and encode ordering, execution dependencies, and state transitions into a formal optimization model.

Motivation

The objective function captures protocol-defined goals such as fairness, maximal execution efficiency, minimal slippage, reduced extractable value (MEV), and adherence to risk and resource constraints. A quantum or hybrid quantum-classical optimizer is then used to compute a candidate ordering and execution plan that maximizes this objective under strict validity constraints.

Current block production is an adversarial, local, heuristic process. Validators and block builders optimize for their own extractable value β€” not for the protocol's users. This results in billions of dollars of MEV extracted annually, arbitrary fairness violations, and systemic capital inefficiency.

Specification

To preserve determinism and consensus safety, all optimization outputs are verified by a classical deterministic validator, ensuring that resulting state transitions are valid, constraints are satisfied, and outcomes are reproducible. The protocol separates fairness specification (encoded in constraints and objective) from solution search (performed by the optimizer), preventing arbitrary or opaque decision-making.

In the event of solver failure or disagreement, validators fall back to a canonical deterministic ordering rule, guaranteeing liveness regardless of quantum hardware availability or solver correctness.

Security Considerations

This design transforms block production from a local, adversarial ordering problem into a globally optimized batch execution process. By leveraging quantum-assisted search for combinatorial optimization, the system aims to reduce MEV, improve capital efficiency, and enforce formally defined fairness policies, while maintaining verifiability, consensus compatibility, and robustness under heterogeneous validator capabilities.

Backwards Compatibility

Refinery is a block production layer upgrade. Existing smart contracts, wallets, and applications require no changes. Validators that do not run Refinery continue to participate in consensus via the classical fallback path. The upgrade is non-breaking and can be rolled out progressively across the validator set.

Full Specification β†’ Discuss on GitHub β†—
SIMD-420 Metadata
StatusActive Draft
SIMD0420
TitleQuantum-Optimal TX Ordering
CategoryCore
TypeStandards Track
NetworkMainnet
Created2025-04-01
AuthorsRefinery Core
Requires
SIMD-0083
Block production interface standardization
Discussion
β†— GitHub Discussions β†— Solana Forum Thread β†— Discord Working Group
Powered By

Every line of code.
Funded by the coin.

Refinery Protocol is entirely funded, governed, and powered by one meme coin β€” $Refinery. No VCs. No foundation grants. No seed rounds. Just a community that believes the mempool deserves better.

πŸ”₯
$Refinery
The fuel that runs the protocol.
Contract Address
Coming soon β€” fair launch only
βš™οΈ

Powers the Protocol

Validators stake $Refinery to participate in the optimization network. The more $Refinery staked, the more optimization power you contribute β€” and the more rewards you earn from MEV-free blocks.

πŸ—³οΈ

Governs the Objective Function

$Refinery holders vote on the parameters of the fairness constraints β€” slippage limits, MEV thresholds, fairness floor values. The community decides what "optimal" means. Not a foundation, not VCs.

πŸ’°

Funds Development

A portion of every block fee goes into the Refinery treasury, denominated in $Refinery. The community votes on how to deploy it β€” quantum hardware grants, audits, dev bounties, integrations.

πŸ”₯

Deflationary by Design

Every time Refinery saves a user from a sandwich attack, a small amount of $Refinery is burned. The more MEV the protocol eliminates, the more the supply shrinks. Usage = burn = value.

Tokenomics

Simple. Fair. Meme-native.

No team allocation. No investor unlocks. No vesting cliffs. Just vibes and quantum physics.

1,000,000,000
Total Supply
Community & Fair Launch
50%
Protocol Treasury (DAO)
25%
Validator Rewards
15%
Liquidity Bootstrap
10%
πŸ”₯ 0% team. 0% investors. 0% advisors. The only people who hold $Refinery are the ones who bought it or earned it.
Why A Meme Coin?

Because the best technology spreads like a meme.

Flashbots raised $60M from a16z. Jito raised $10M from Multicoin. Both are still controlled by the people who took that money.

$Refinery raised $0 from nobody. The protocol is open source. The treasury is on-chain. The governance is token-weighted. If Refinery wins, the community wins β€” not a cap table.

MEV is a multi-billion dollar problem. We're solving it with a meme coin, a quantum computer, and the collective rage of every retail trader who's ever been sandwiched.

That's the Refinery thesis.

$0
VC Funding
100%
Community Owned
On-chain
Treasury
Open
Source Forever

The mempool deserves better.
So does your portfolio.

Refinery is open research, open source, and powered by one meme coin. Read the spec. Buy the coin. Help build the future of block production.