Working with State Machine

Phantom_of_the_Opera · 11 January 2021 16:45

Hello everyone,
I have been trying to get into Plutus and one of the features that caught my attention was the state machine.
I would like to use it order to verify the validity of certain operations on smart contracts (for example enforcing a certain order for the operations like A->B->C and throw an exception if the order was not being followed).

Therefore I would like to ask two questions:

Is state machine a good fit for this type of situation?
Are there any examples of how to utilize with the state machine API?

Thank you very much!

Phantom_of_the_Opera · 3 February 2021 10:46

I found these 2 cases on github in case someone is interested:

github.com

input-output-hk/plutus/blob/master/plutus-use-cases/src/Language/PlutusTx/Coordination/Contracts/GameStateMachine.hs

{-# LANGUAGE DataKinds             #-}
{-# LANGUAGE DeriveAnyClass        #-}
{-# LANGUAGE DeriveGeneric         #-}
{-# LANGUAGE DerivingStrategies    #-}
{-# LANGUAGE FlexibleContexts      #-}
{-# LANGUAGE LambdaCase            #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE NamedFieldPuns        #-}
{-# LANGUAGE NoImplicitPrelude     #-}
{-# LANGUAGE OverloadedStrings     #-}
{-# LANGUAGE TemplateHaskell       #-}
{-# LANGUAGE TypeApplications      #-}
{-# LANGUAGE TypeOperators         #-}
{-# LANGUAGE ViewPatterns          #-}
{-# OPTIONS_GHC -fno-strictness #-}
{-# OPTIONS_GHC -fno-ignore-interface-pragmas #-}
{-# OPTIONS -fplugin-opt Language.PlutusTx.Plugin:debug-context #-}
-- | A guessing game that
--
--   * Uses a state machine to keep track of the current secret word

This file has been truncated. show original

github.com

input-output-hk/plutus/blob/master/plutus-use-cases/src/Language/PlutusTx/Coordination/Contracts/MultiSigStateMachine.hs

{-# LANGUAGE DataKinds             #-}
{-# LANGUAGE DeriveAnyClass        #-}
{-# LANGUAGE DeriveGeneric         #-}
{-# LANGUAGE DerivingStrategies    #-}
{-# LANGUAGE FlexibleContexts      #-}
{-# LANGUAGE LambdaCase            #-}
{-# LANGUAGE MonoLocalBinds        #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE NamedFieldPuns        #-}
{-# LANGUAGE NoImplicitPrelude     #-}
{-# LANGUAGE OverloadedStrings     #-}
{-# LANGUAGE TemplateHaskell       #-}
{-# LANGUAGE TypeApplications      #-}
{-# LANGUAGE TypeOperators         #-}
{-# LANGUAGE ViewPatterns          #-}
{-# OPTIONS_GHC -fno-ignore-interface-pragmas #-}
{-# OPTIONS_GHC -fno-omit-interface-pragmas #-}
{-# OPTIONS_GHC -fno-strictness #-}
{-# OPTIONS_GHC -fno-specialise #-}
-- | A multisig contract written as a state machine.

This file has been truncated. show original

Topic		Replies	Views
Playground: State Machine error and current state Smart Contracts plutus	1	742	11 January 2021
Plutus Pioneer in the wild. Questions and observations Smart Contracts plutus	7	1167	7 June 2021
Smart Contracts Plutus Questions Education	1	433	24 December 2019
How to send a smart contract to the testnet Smart Contracts plutus	2	790	22 October 2021
Cardano Plutus Tutorial #1: Hello World Smart Contracts plutus	4	2158	21 April 2021

Working with State Machine

Related Topics