Questions tagged [statemachines]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
2answers
36 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
9 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
21 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
35 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 ...