information economics, blockchain, smart contracts, mathematical proof, formal verification, incentivization, game theory, perfect Bayesian equilibrium