Cardano mini protocol is a state machine. Server and client move throughout the state machine at the same time, but just either one of them, and in final states none of them, is supposed to send messages. This is called agency.
Agency depends on state and whether the we are on the client or the server.
In Yaci, the state has been cleverly wrapped in enums, that by design are enumeration. In order to implement the isAgency we need to enhance that method with a parameter that tells whether we are on the client or server side.
Agents will be initialised w/ the isClient property and pass it to State enumeration to properly calculate agency.
This PR represents a Request For Comments where to discuss, accept or push back about the suggested design.
The code is not complete but gives an idea on the implementation.
Cardano mini protocol is a state machine. Server and client move throughout the state machine at the same time, but just either one of them, and in final states none of them, is supposed to send messages. This is called agency.
Agency depends on state and whether the we are on the client or the server.
In Yaci, the state has been cleverly wrapped in enums, that by design are enumeration. In order to implement the
isAgencywe need to enhance that method with a parameter that tells whether we are on the client or server side.Agents will be initialised w/ the
isClientproperty and pass it to State enumeration to properly calculate agency.This PR represents a Request For Comments where to discuss, accept or push back about the suggested design.
The code is not complete but gives an idea on the implementation.