Questo è incredibile. Ho esplorato alcuni diversi costruttori di blocchi - Agave, Firedancer, BAM e Harmonic. Tutti e quattro mostrano logiche di programmazione diverse. Abbiamo anche Paladin e Rakurai, ognuno con le proprie versioni. Da una prospettiva di microstruttura di mercato, nel TradFi, hai un sistema non vincolato: gli ordini arrivano continuamente e vengono eseguiti FIFO da un singolo motore di abbinamento. Questa continuità è ciò che consente ai market maker di annullare le quotazioni senza rischiare costantemente di essere presi. Non sono necessarie commissioni di priorità, e i maker possono quotare spread inferiori a 1 bp su singole operazioni del valore di milioni di dollari. A prima vista, Solana sembra vincolata da tempi di slot di ~380 ms. È vero, ma solo fino a un certo punto. Grazie a Turbine, i validatori frammentano le transazioni ogni ~15-20 ms e propagano questi frammenti attraverso la rete. Una volta prodotto un frammento, l'ordinamento all'interno di quel lotto è fisso. Con l'attuale utilizzo dei blocchi ben al di sotto dei limiti di CU, Solana si comporta molto più come un sistema FIFO a lotti di quanto suggerirebbe la lunghezza dello slot. Tuttavia, il frammentamento è solo una parte del quadro. L'altro vincolo principale è il design dello scheduler. Diversi costruttori di blocchi implementano logiche di programmazione significativamente diverse: come vengono intercalati i voti e i non-voti, quando le tx non votate vengono incluse all'interno dello slot e come vengono raggruppate le tx economicamente correlate. Per gli AMM prop, questo introduce incertezza. Anche quando i blocchi sono mezzi vuoti e nessuna tx viene scartata a causa di basse commissioni di priorità, l'ordinamento varia ancora da slot a slot a seconda del costruttore. Gli AMM prop hanno bisogno di aggiornamenti delle quotazioni e di tx di presa ordinati in modo prevedibile all'interno di un frammento. Con scheduler eterogenei, quell'ordinamento è non deterministico attraverso gli slot, rendendo difficile ragionare sulle garanzie di esecuzione. Si potrebbe immaginare di mitigare questo con priorità per i maker o rallentamenti per il flusso dei taker. Ma se l'obiettivo è ICM su Solana, questo problema necessita di una soluzione più sistemica. Realizzare che c'è un problema è il primo passo verso la sua risoluzione, quindi l'esploratore IRBL è una risorsa molto preziosa.