Cardano Updates

The history does not contain all ticked points anymore, but only states
when observations were made an the last known point.

If that is too little, we can aggregate the last x points to try to find
an intersection on demand. See
https://github.com/cardano-scaling/hydra/issues/2437 for more details

This is deliberately a ChainPointType and not a ChainStateType because
modifications to the state-to-keep-track are only expected upon
observations and rollbacks.

From https://github.com/input-output-hk/kes-agent at 80b344fe967da98680944f3af8c1502610f87490

From https://github.com/input-output-hk/kes-agent at 80b344fe967da98680944f3af8c1502610f87490

Fix tutorial link in README

This commit splits the PerasCert and PerasVote types defined as part of
the degenerate global BlockSupportsPeras instance into separate modules.

This is the first step of a series of changes needed to define a proper
BlockSupportsPeras instance for individual block types and the HFC.

This does not force the Simple instance to use the Cardano
type (ChainPoint) and prepares usage of the parametric type
ChainPointType in the Hydra.Chain interface.

This should keep the overhead minimal by only adding block header hashes
next to slot numbers. It remains a breaking change though.

This should retain the original logic where start chain from was used if
it was newer than the last known persisted point.

This does not break abstraction and expose cardano specifics on the
websocket server. Also, we can use the NodeState to report on this and
don't need to provide the chain state history (avoids coupling).

feat: add `ConfigSecret` type and use it for aggregator blockfrost configuration

Signed-off-by: Sasha Bogicevic <[email protected]>

Update parameter names to reflect the piecewise linear cost model:

- ValueContains'cpu'arguments'constant (above-diagonal constant)

- ValueContains'cpu'arguments'model'arguments'intercept

- ValueContains'cpu'arguments'model'arguments'slope1 (x_mem coefficient)

- ValueContains'cpu'arguments'model'arguments'slope2 (y_mem coefficient)

These replace the previous two parameters (intercept, slope) from the multiplicative model.