no code implementations • 1 Feb 2023 • J. Nathaniel Holmes, Homayoon Beigi
Not all contracts are good, but all good contracts can be expressed as a finite-state transition system ("State-Transition Contracts").