Skip to content

Latest commit

 

History

History
13 lines (10 loc) · 1.12 KB

using-marlowe-safely.md

File metadata and controls

13 lines (10 loc) · 1.12 KB
Raw

Using Marlowe Safely

If one plans to run a Marlowe contract on the Cardano mainnet, then one should check its safety before creating it, so that there is no chance of losing funds.

Here are the steps for checking the safety of a Marlowe contract:

  1. Understand the Marlowe Language.
  2. Understand Cardano's Extended UTxO Model.
  3. Read and understand the Marlowe Best Practices Guide.
  4. Read and understand the Marlowe Security Guide.
  5. Use Marlowe Playground to flag warnings, perform static analysis, and simulate the contract.
  6. Use Marlowe CLI's marlowe-cli run analyze tool to study whether the contract can run on a Cardano network.
  7. Run all execution paths of the contract on a Cardano testnet.