🛠️ 🔍Approfondimento Tecnico：【@Dusk 2026 Aggiornamento Tecnologia Avanzata: I Segreti di ZK Più Veloci (Parte 1)——FFT+Switch di Dominio, DUSK Rinnova Groth16, Costo di Verifica di Massa Ridotto】

1️⃣ Groth16 è il motore centrale del sistema di prova della privacy #dusk , ma il suo passaggio FFT (Trasformata di Fourier Veloce) è sempre stato un collo di bottiglia delle prestazioni.

In poche parole, l'FFT è come un “controllo sanitario” per i polinomi: per valutare e interpolare su milioni di punti, calcolare direttamente è troppo lento, l'FFT riduce la complessità da O(n²) a O(n log n), ma il numero di punti è spesso 2^20 (1048576 punti), prima un singolo FFT richiedeva ancora centinaia di millisecondi, rendendo particolarmente difficile la verifica di massa.

DUSK con questo aggiornamento non ha cambiato Groth16, ma ha spremuto l'FFT al limite, apportando due modifiche significative all'FFT, che hanno direttamente fatto “rinascere” Groth16:

• Cambio del Dominio KoalaBear

La versione precedente utilizzava il dominio Goldilocks, con densità di calcolo media. La nuova versione è passata al dominio KoalaBear, ottimizzato per le istruzioni SIMD (Single Instruction Multiple Data) delle moderne CPU/GPU, migliorando la densità di calcolo di circa 2.3 volte.

Metafora: passare da benzina normale a olio da corsa ad alto numero di ottano, la potenza del motore raddoppia all'istante. Il team DUSK ha menzionato nel blog ufficiale che questo cambio di dominio è stato progettato su misura per scenari di verifica di massa.

• Nucleo FFT Parallelo + Supporto GPU

La VM Piecrust include istruzioni FFT parallele, combinando la libreria cuFFT della GPU, suddividendo l'FFT in calcoli paralleli multi-thread/multi-blocco.

Effetto previsto: il tempo di un singolo FFT scende da 300-500ms a 30-80ms, il costo di verifica delle prove di massa è ridotto a un decimo di quello originale.

2️⃣ Cambiamenti nella Prospettiva del Codice dopo l'Aggiornamento

import "@dusk/piecrust.sol";

function verifyFFTProof(bytes calldata proof, bytes32[] calldata points) external view returns (bool) {
return Piecrust.fft_evaluate(proof, points); // Una chiamata, FFT parallelo GPU sottostante
}

Punti di cambiamento:

• In precedenza, il contratto verifier doveva includere migliaia di righe di logica FFT, con un alto costo di distribuzione.

• Ora è rimasta quasi solo una riga di chiamata, DUSK ha ottimizzato l'FFT integrandolo nella VM Piecrust, senza alcun onere per gli sviluppatori.

3️⃣ Potenziale Impatto sull'Ecosistema DUSK:

• Il meccanismo di aggiornamento dovrebbe trasformare il regolamento RWA di massa da scattoso a fluido, riducendo il tempo end-to-end per le istituzioni da decine di secondi a pochi secondi, riducendo significativamente il rischio di liquidità.
• In generale, DUSK è un passo avanti nel settore RWA della privacy, attirando probabilmente più istituzioni a testare le posizioni

$DUSK