Chemistry piece / learning game

[JoshOrndorff]

I've been thinking or the UTXO model like a chemistry experiment and I think it is a great way to learn how Tuxedo and UTXOs work. Each type that can be stored in a UTXO is like a chemical. And transactions are like chemical reactions.

The ConstraintChecker is responsible for enforcing the laws of Chemistry. They enforce that the chemical reactions balance according the rules of the Chemistry. The Verifier is responsible for enforcing things like ownership. Enforcing that only Alice can choose to use Alice's own chemicals in reactions and that Bob may not take them any time he likes.

The separation of the verifier and constraint checker allows us to define new chemistries without needing to know or care about how the chemicals are owned or stored.

Task 1: A Chemistry ConstraintChecker. Should have at minimum Oxygen, Hydrogen, and Water. And transaction types to allow joining and separating them. More elements and reactions are welcome.

Task 2: A runtime that is a game that models real chemistry. Some chemicals are rarer than others. Some can be mined using various PoW algorithms to unlock a partial hash pre-image search verifier. (This should be spun off into a followup once task 1 is complete). Others can only be synthesized through reactions.