Definire lo Standard per
L'Ingegneria Web3

Abstract—La ricerca suggerisce che le funzioni casuali verificabili (VRF) sono primitive crittografiche essenziali per i meccanismi di consenso blockchain. Questo studio fornisce un'implementazione completa e un'analisi delle VRF con dati aggiuntivi su varie curve ellittiche, tra cui Bandersnatch, Ed25519, secp256k1 e BLS12-381. I risultati hanno mostrato miglioramenti significativi nell'efficienza di verifica quando si utilizzano ottimizzazioni specifiche per curva. Le costruzioni Ring VRF utilizzando gli impegni KZG sono state confrontate con gli approcci tradizionali, ottenendo una verifica sotto il millisecondo per anelli fino a 1024 membri.

Abstract—Questo lavoro esplora vari protocolli di disponibilità dati modulari, analizzando le loro prestazioni, sicurezza e scalabilità in ambienti blockchain. Presentiamo un confronto sistematico delle principali soluzioni di disponibilità dati tra cui Celestia, EigenDA, Avail e implementazioni proprietarie. La nostra metodologia comprende l'analisi teorica degli schemi di codifica a cancellazione, la misurazione empirica dell'efficienza di campionamento e la verifica formale delle garanzie di sicurezza.

Abstract—In questo paper, esploriamo soluzioni di scaling per firme ad anello per abilitare l'autenticazione che preserva la privacy su scala. Il nostro approccio sfrutta le strutture ad albero di Verkle combinate con argomenti di prodotto interno per ottenere dimensioni di prova logaritmiche mantenendo garanzie di anonimato incondizionate. Presentiamo una nuova costruzione che consente dimensioni dell'anello superiori a 10^6 membri con verifica a tempo costante.

Abstract—Questo paper presenta un quadro completo per la progettazione di reti di solver in protocolli di scambio decentralizzati basati sull'intento. Analizziamo le dinamiche di teoria dei giochi tra solver in competizione per riempire gli intenti degli utenti, proponendo nuovi meccanismi d'asta che massimizzano la qualità di esecuzione prevenendo la collusione. Il nostro modello incorpora considerazioni MEV cross-domain, tempistiche di aste batch e sistemi di reputazione dei solver.

Abstract—Proponiamo un nuovo framework di crittografia a soglia per mitigare il Maximal Extractable Value (MEV) nell'ordinamento delle transazioni blockchain. La nostra costruzione impiega la generazione di chiavi distribuita tra i validatori combinata con puzzle timelock per garantire che il contenuto della transazione rimanga crittografato fino alla finalizzazione dell'ordinamento. Analizziamo gli incentivi economici per i validatori in vari scenari di collusione e proviamo che il nostro schema raggiunge la resistenza a MEV sotto ipotesi di maggioranza onesta.

Abstract—Questo paper sviluppa un modello completo di teoria dei giochi per la fornitura ottimale di liquidità in AMM a liquidità concentrata come Uniswap v3. Deriviamo soluzioni in forma chiusa per la selezione ottimale dell'intervallo di tick sotto vari regimi di volatilità e strutture di livelli di commissione. La nostra analisi rivela che i LP razionali formano un equilibrio di Nash a livelli di concentrazione prevedibili, e quantifichiamo le implicazioni di benessere di questo comportamento strategico.