Attenzione, non facciamo confusione.

Gli HTLC si basano su di nLockTime  e nSequence, che non agiscono su valori inseriti nella blockchain, ma agiscono a livello di mempool,
quello che verra' scritto in mempool sara' deterministico, non costringera' tutti i nodi a rieseguire questi if per rideterminare la correttezza dai blocchi!!!

SN ha di proposit ELIMINATO alcune istruzioni che avrebbero portato ad una macchiana di toring completa proprio per evitare di infilarsi in situazioni
di durata di codice intederminata (loop, istruzioni condizionali basate su stati di altri programmi ecc..) e che avrebbero quindi costretto tutti i nodi a RIFARE tutti
i calcoli di durata indeterminata per arrivare a raggiungere il consenso sul risultato.

Questo e' proprio il difetto che Buterin ha introdotto by design e che non permettera' ad ETH di sopravvivere come rete decentralizzata.

Se tutta sta' roba sara' implementata FUORI dalla blockchain per me va benissimo, poi sara' la gente a decidere se c'e' davvero tutta sta' domanda di DeFi,
e se queste sidechain sopraviverranno alla richiesta computazionale n-uplicata necessaria (se vorranno rimanere sidechain decentralizzate)

L'importante e' non uccidere la blockchain di Bitcoin introducendovi la possibilita' di eseguire istruzioni non deterministiche.




.