A series of validated transactions that guarantee computational events to occur logically and securely