Welcome to Marlowe's workshop/hackathon. Marlowe is an ecosystem of tools and languages to enable the development of financial and transactional smart contracts. Formal proofs, extensive testing, and analysis tools provide strong assurances for the safety of Marlowe smart contracts.
A Marlowe smart contract is built by combining a small number of building blocks that describe making a payment, making an observation of something in the "real world," waiting until a certain condition becomes true, and other similar types of concepts.
In this workshop/hackathon, we're going to learn how to write Marlowe smart contracts and how to use two key tools:
- Marlowe Playground: A low-code tool to safely create, simulate, and analyze the behavior of Marlowe smart contracts (click here to learn more).
- Marlowe Runner: TODO
Make sure to read through everything provided here (except if the instructor already covered the subject live).