Address feedback from Praos specification walkthrough

input-output-hk / ouroboros-high-assurance

High-assurance implementation of the Ouroboros protocol family

Apache License 2.0

1 stars 1 forks source link

Open javierdiaz72 opened 1 year ago

javierdiaz72 commented 1 year ago

We shall address the comments raised during the internal walkthrough of the Praos specification, specifically:

[x] Place the transaction list field as the last one in the definition of the block body
[x] Use sets instead of lists in the definition of the collection of chains received during a slot
[x] Make the selection of the best chain arbitrary in the case of multiple candidate chains