Frederick Liam Simon Honohan, Trinity College Dublin, Ireland

An electronic logic gate is composed of one or more inputs which combine to produce a single true or false output. Similarly a Bitcoin transaction can be composed of multiple inputs however they can create multiple outputs. At runtime, when processed, the computational programs contained in a transaction also, like logic gates, each produce a single binary result but the transaction can only be confirmed into a block on the chain if all of those programs return true, like an AND-gate. This paper introduces a novel method to allow for a transaction to process information from not only its given inputs, but also, the inputs & outputs of additional transactions. Also, a complete unbounded 'Simple Payment Verification' (SPV) compatible token protocol which overcomes the 'Back-To-Genesis' problem [1] is outlined as another use- case example of the new primitive.

Logic gate, Protocol, Mechanism, Transactions