Cardano Updates

A static Dynamic HTML file that generates and renders a Leios chain schema.

It's just for pondering thinking and was a personal exercise to implement. For
example, implementing it helped me realize that it'd be plausible for an EB to
include an older EB that it hasn't seen the cert for if it had seen the cert
for another in-between EB that also includes the older EB.

* Created "mini mainnet" topology
* Updated logbook

cip: apply review

Co-authored-by: Robert Phair <[email protected]>

cip: apply review

Co-authored-by: Robert Phair <[email protected]>

A static Dynamic HTML file that generates and renders a Leios chain schema.

It's just for pondering thinking and was a personal exercise to implement. For
example, implementing it helped me realize that it'd be plausible for an EB to
include an older EB that it hasn't seen the cert for if it had seen the cert
for another in-between EB that also includes the older EB.

* Implemented extraction of CPU info from traces
* Implemented resource extraction from traces
* Implemented receipts analysis for simulation tracing
* Updated logbook
* Tidied haskell code formatting.
* Added trace processor to CI