Cardano Updates

Co-authored-by: Ryan <[email protected]>

Co-authored-by: Ryan <[email protected]>

Co-authored-by: Ryan <[email protected]>

Co-authored-by: Ryan <[email protected]>

Co-authored-by: Ryan <[email protected]>

Co-authored-by: Ryan <[email protected]>

* init CIP30 extension register

* add other extensions

* Update CIP-0030/extensions-register.md

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

---------

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

* Transfer Peras draft to this repository.

* Update CIP-0PRS/CIP-0PRS.lagda.md

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

* Update CIP-0PRS/CIP-0PRS.lagda.md

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

* Refactoring of the Peras Agda spec so it is executable.

* Implemented weighted voting.

* Completed narrative and refactoring of Agda specification.

* Tweaked formal specification.

* Reworked section specifying votes and certificates.

* Drafted the abstract.

* Added versioning section.

* Renamed peras file.

* Drafted section motiving Peras.

* Fixed metadata YAML for Peras

* Revised settlement terminology.

* Added blockchain diagram.

* Drafted section on node integration.

* Added references.

* Added citations and reference.

* Drafted the rationale and use-cases sections for Peras.

* Drafted section on attacks and mitigations.

* Added table of Kraken settlement times.

* Drafted section on resource requirements.

* Drafted sections on feasible set of protocol parameters.

* Drafted path to active section for peras.

* Moved IOG Agda Prelude to separate repository.

* Added instructions for typechecking the specification.

* Removed flake lock file for peras.

* Updated URL for IOG Agda Prelude.

* Added internal hyperlinks.

* Added paragraph on reproducible builds to versioning section.

* Renamed `PartyId` to `Party`.

* Zoomed in on figure where adversarial chain receives boost.

* Reviewed exchange-settlement table.

* Added appendix for statement of proofs.

* Added settlement plots

* Renamed `diagrams/` to `images/`.

* Redrew figures and proofread.

* Replaced figure with higher-resolution version.

* Redrew two figures with more realistic total-stake assumptions.

* Added block-progression diagram and explanatory text.

* Fixed line break.

* Updated ValidChain definition

* Hash, rather than an optional block

* Dropped adversarial behavior

* Less imports

* Only add valid votes and chains to the block-tree

* Minor cleanups

* Dropped NextSlotNewRound

* Workarounds for rendering of LaTeX equations in GH MathJax

* Delay per party and message

* Fix extends

* Checked weight for votes

* Removed indirection

* Removed explicit commit hash in reference to peras-design.

* Added figure showing probability of rolling back a boosted block.

* Added link to Faster Settlement CPS.

* Tone down "promises" about ALBA certificates

* Resolved outstanding review comments.

- Added subsections
- Added table of contents
- Changed "post facto" to "ex post facto"
- Minor cleanup

* Made table of contents collapsable

* Added missing caption

* Update CIP-0PRS/README.lagda.md

Co-authored-by: Ryan <[email protected]>

* Update CIP-0PRS/README.lagda.md

Co-authored-by: Ryan <[email protected]>

* Update CIP-0PRS/README.lagda.md

Co-authored-by: Ryan <[email protected]>

* Update CIP-0PRS/README.lagda.md

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

* Renamed Peras to CIP-0140

* Renamed README to conform to CIP repo standards

In response to https://github.com/cardano-foundation/CIPs/pull/872#pullrequestreview-2603336737

* Updated links to latest information on voting and certificates.

In response to https://github.com/cardano-foundation/CIPs/pull/872#discussion_r1948750356

* Revised implementation plan to distinguish "must do" vs optional

In response to https://github.com/cardano-foundation/CIPs/pull/872#discussion_r1947503816

* Fixed constraint on L parameter

In response to https://github.com/cardano-foundation/CIPs/pull/872#discussion_r1948746008

* Revised recommendation for L parameter

In response to https://github.com/cardano-foundation/CIPs/pull/872#discussion_r1948767643

* Updated metadata for "Implementors" and "Solution-To".

In response to https://github.com/cardano-foundation/CIPs/pull/872#discussion_r1947502489

---------

Co-authored-by: Robert Phair <[email protected]>
Co-authored-by: Yves Hauser <[email protected]>
Co-authored-by: Arnaud Bailly <[email protected]>
Co-authored-by: Ryan <[email protected]>

* First full draft of throughput cps.

* Added script-execution data.

* Revised text and graphics.

- Removed extraneous notes.
- Redrew three plots.
- Added stronger justification.
- Fixed link to CPS-17.

* Updated CPS-0THR

* Update CPS-0THR/README.md

Co-authored-by: Ryan <[email protected]>

* Update CPS-0THR/README.md

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

* Renamed throughput CPS folder to CPS-0018

* Reorganized to conform to latest CPS template

* Accepted reviewer comment on proposed solution metadata

Co-authored-by: Ryan <[email protected]>

* Added discussion link, per reviewer suggestion

Co-authored-by: Ryan <[email protected]>

---------

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

Co-authored-by: Thomas Vellekoop <[email protected]>

Co-authored-by: Ryan <[email protected]>

Co-authored-by: Ryan <[email protected]>

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

The Transaction Metadata Label to be registered is 21325.
This value 21325 represents the last 16 bits of 344977920845, which is the decimal representation of the concatenation of the hexadecimals 50 52 49 53 4d that form the word PRISM in ASCII.

https://github.com/input-output-hk/prism-did-method-spec

* update status for CIP-122

* update status for CIP-123

* update status for CIP-127

* add note of plomin fork to 1694