THE BITCOIN SCRIPTING LANGUAGE