Il Metodo Ibrido di Ergo per il Conteggio dei Costi

Introduzione

Controllare la validità dei contratti smart su una blockchain Proof of Work (PoW) comporta costi, sia in termini di tempo che di risorse. Se questi costi non sono controllati, può portare a una rete lenta o addirittura a attacchi di denial of service che impediscono l'uso della rete. Pertanto, il controllo dei costi è fondamentale per una blockchain funzionante.  

Tipicamente, ci sono due modi generali per controllare i costi su una blockchain PoW:

1. Costi Anticipati (AOT Costing) - stima i costi prima dell'esecuzione dello script in modo che uno script troppo costoso non venga eseguito affatto
2. Costi Just-In-Time (JIT Costing) - calcola i costi durante l'esecuzione effettiva di uno script

Ognuno di questi metodi ha vantaggi e svantaggi. Il prossimo aggiornamento v.5.0 dei nodi di Ergo utilizza un approccio ibrido per migliorare il controllo dei costi.

Vantaggi e Svantaggi dei Costi AOT

Attualmente, Ergo utilizza il costing AOT. Il lavoro viene svolto sulla blockchain di Ergo in blocchi. Ogni blocco richiede circa 2 minuti e include tutte le transazioni per quel periodo di tempo. I blocchi hanno un budget e non possono superare quel budget. 

Quando un miner crea un blocco, il costo del blocco viene stimato in anticipo. Se il costo è inferiore al budget del blocco e la matematica/logica è corretta, il blocco viene inviato alla blockchain.

Tuttavia, le stime hanno anche un costo. Il costing AOT ha senso quando quei costi sono inferiori a quelli effettivi per eseguire lo script. È meno costoso stimare quando si utilizzano linguaggi di contratto smart semplici.

Utilizzare il costing AOT ha un vantaggio principale. I limiti sono imposti dalla rete in blocchi piuttosto che per transazione. Poiché i costi di stima sono bassi, i miner assorbono i costi di transazione per le transazioni che vengono rifiutate. Ogni transazione accettata richiede quindi una semplice commissione da aggiungere al blocco.

È importante notare che il costing AOT non è privo di svantaggi. Le stime non sono costi reali e spesso sono inefficienti, il che spreca risorse di rete, riduce la capacità di ogni blocco e, per estensione, la capacità della blockchain di scalare. Questo è particolarmente vero in casi come Ergo, dove la blockchain supporta l'uso di collezioni di input e output, variabili di estensione del contesto definite dall'utente e altre funzionalità sofisticate. Inoltre, il costing AOT non sfrutta le efficienze dei linguaggi di contratto smart di nuova generazione che sono meno costosi da eseguire rispetto a stimare. 

Ci sono altri svantaggi nel costing AOT, ma quanto sopra stabilisce la necessità di un modello di controllo dei costi migliore rispetto al solo costing AOT.

Il Nuovo Metodo Ibrido di Ergo per il Conteggio dei Costi

Il prossimo rilascio del nodo Ergo v.5.0 utilizzerà un algoritmo di costing ibrido per contenere i costi e proteggere la rete da attacchi di denial-of-service, spam e altri attacchi alle risorse di rete. Con questo nuovo approccio, ci sono due fasi nell'algoritmo di costing. 

Nella prima fase, gli input delle transazioni passano attraverso un verificatore (un input dopo l'altro) e lo script di ogni input viene ridotto a una proposizione sigma - una sorta di condizione di spesa che può essere verificata crittograficamente. Il costing JIT viene applicato durante questa fase di riduzione. 

Quando ogni input nella transazione ha una proposizione sigma, allora il costing AOT (che è sia molto semplice che veloce) viene utilizzato per calcolare i costi di tutte le operazioni crittografiche nella transazione. Tutti i costi vengono quindi sommati per determinare il costo finale della transazione stessa. Una volta ottenuto il costo finale della transazione, viene aggiunto al costo del blocco, che deve rimanere entro il budget del blocco prima di poter essere aggiunto.

Lo stesso processo viene ripetuto per ogni transazione nel blocco (in sequenza) e il costo totale del blocco viene accumulato. Prima di poter essere inviato alla blockchain, ogni blocco deve essere al di sotto del costo consentito per blocco. 

Con il rilascio di questo nuovo metodo di costing in due parti, i costi possono essere stabiliti in modo più efficiente e accurato con meno spese rispetto all'utilizzo del solo costing AOT. Di conseguenza, il rilascio del nodo Ergo v.5.0 dovrebbe aumentare efficacemente il numero di transazioni per blocco, migliorare le stime dei costi e migliorare le prestazioni della blockchain di Ergo.