Execution of a program that occurs on all nodes that changes a set of bits representing value information stored on-chain the contract itself. All nodes that contain the contract must execute the program in order to change a set of bits representing value information.