L'idea è di creare un linguaggio c-like per la scrittura di script Bitcoin. L'introduzione di questo linguaggio ha come obettivo quello di nascondere completamente la struttura dello stack usato dal linguaggio di script. Per raggiungere questo obiettivo abbiamo sfruttato il concetto di variabile la quale diventa un nome logico per una posizione dello stsck. Chi scrive lo script deve occuparsi di descrivere solo la ogica del processo, senza dover gestire lo stack direttamente.
Un esempio di programma è:
Input: {
a = pubKey
b = hash (a)
c = "pubKeyHash"
checkVer(c, b)
checksig(sig,pubKey)
}
che traduce il seguente programma:
OP_DUP OP_HASH160 <pubKeyHash> OP_EQUALVERIFY OP_CHECKSIG
