Questions tagged [statemachines]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0
votes
0answers
9 views

Tried minting from transition in StateMachine an got error MintingPolicyNotFound

I changed transition function in Lecture 7 and added constraint for minting Constraints.mustMintValue: transition ts s r = case (stateValue s, stateData s, r) of (v, _, SetPrice p) | p >= 0 ...
1
vote
2answers
39 views

StateMachine validation failing

Transition function throws an error. Here it is. transition :: FreelanceContract -> State FContractDatum -> FContractRedeemer -> Maybe (TxConstraints Void Void, State FContractDatum) ...
0
votes
0answers
10 views

Question about the behavior of Ogmios chain sync protocol

I have two questions about Ogmios local chain sync protocol's RollBackward message https://ogmios.dev/mini-protocols/local-chain-sync/ 1. When RollBackward is being sent, is the cursor automatically ...
2
votes
1answer
30 views

Constraints.mustValidateIn in a StateMachine

I have an issue with Constraints.mustValidateIn in a StateMachine. In the case using Interval.to deadline everything works as expected. But in the case: Interval.from deadline the constraint is never ...
2
votes
1answer
37 views

How does smCheck work?

In the PPP lecture 7 state machines are introduced. They are used to make the guessing game more concise. One of the situations is where the first player has won and needs to prove their guess by ...