BigBang introduces smart contracts to Bitcoin. It is a deterministic language, ensuring that the program’s behavior can be precisely determined from the code itself.