Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CIP-0140? | Ouroboros Peras - Faster Settlement #872

Open
wants to merge 67 commits into
base: master
Choose a base branch
from
Open

CIP-0140? | Ouroboros Peras - Faster Settlement #872

Changes from 1 commit
Commits
Show all changes
67 commits
Select commit Hold shift + click to select a range
4f0ce8d
Transfer Peras draft to this repository.
bwbush Aug 2, 2024
5907487
Update CIP-0PRS/CIP-0PRS.lagda.md
bwbush Aug 5, 2024
3a0464e
Update CIP-0PRS/CIP-0PRS.lagda.md
bwbush Aug 5, 2024
88ccf9f
Refactoring of the Peras Agda spec so it is executable.
bwbush Aug 5, 2024
30697cc
Implemented weighted voting.
bwbush Aug 6, 2024
602fe9d
Completed narrative and refactoring of Agda specification.
bwbush Aug 6, 2024
e6ff96c
Tweaked formal specification.
bwbush Aug 6, 2024
a6cc892
Reworked section specifying votes and certificates.
bwbush Aug 6, 2024
a8a69a2
Drafted the abstract.
bwbush Aug 6, 2024
8d09c8f
Added versioning section.
bwbush Aug 6, 2024
55add67
Renamed peras file.
bwbush Aug 6, 2024
1657146
Drafted section motiving Peras.
bwbush Aug 6, 2024
13a5ba7
Fixed metadata YAML for Peras
bwbush Aug 6, 2024
2835f03
Revised settlement terminology.
bwbush Aug 7, 2024
6e8194d
Added blockchain diagram.
bwbush Aug 7, 2024
b8c11a4
Drafted section on node integration.
bwbush Aug 7, 2024
4d05fa0
Added references.
bwbush Aug 7, 2024
df7fdbb
Added citations and reference.
bwbush Aug 7, 2024
fe736df
Drafted the rationale and use-cases sections for Peras.
bwbush Aug 7, 2024
fe5e785
Drafted section on attacks and mitigations.
bwbush Aug 7, 2024
5f30e46
Added table of Kraken settlement times.
bwbush Aug 7, 2024
bf986a2
Drafted section on resource requirements.
bwbush Aug 7, 2024
3467021
Drafted sections on feasible set of protocol parameters.
bwbush Aug 7, 2024
d4dad2e
Drafted path to active section for peras.
bwbush Aug 7, 2024
cf0e474
Moved IOG Agda Prelude to separate repository.
bwbush Aug 8, 2024
de7831a
Added instructions for typechecking the specification.
bwbush Aug 9, 2024
95e3af6
Removed flake lock file for peras.
bwbush Aug 9, 2024
d3b9949
Updated URL for IOG Agda Prelude.
bwbush Aug 9, 2024
360d79a
Added internal hyperlinks.
bwbush Aug 12, 2024
ff8a101
Added paragraph on reproducible builds to versioning section.
bwbush Aug 12, 2024
97d3c22
Renamed `PartyId` to `Party`.
bwbush Aug 12, 2024
44dfd54
Zoomed in on figure where adversarial chain receives boost.
bwbush Aug 12, 2024
e3b5f6f
Reviewed exchange-settlement table.
bwbush Aug 13, 2024
bd6f1bb
Added appendix for statement of proofs.
bwbush Aug 13, 2024
b858d95
Added settlement plots
bwbush Aug 13, 2024
ed3e6d0
Renamed `diagrams/` to `images/`.
bwbush Aug 13, 2024
5942b8f
Redrew figures and proofread.
bwbush Aug 14, 2024
b19792b
Replaced figure with higher-resolution version.
bwbush Aug 15, 2024
fddc24b
Redrew two figures with more realistic total-stake assumptions.
bwbush Aug 26, 2024
3f8f9dd
Added block-progression diagram and explanatory text.
bwbush Aug 28, 2024
1396458
Fixed line break.
bwbush Aug 28, 2024
6ed2bf6
Updated ValidChain definition
yveshauser Sep 10, 2024
8f6e543
Hash, rather than an optional block
yveshauser Sep 10, 2024
0b65501
Dropped adversarial behavior
yveshauser Sep 10, 2024
4921f67
Less imports
yveshauser Sep 10, 2024
7ef0cb8
Only add valid votes and chains to the block-tree
yveshauser Sep 11, 2024
d5081e2
Minor cleanups
yveshauser Sep 12, 2024
01d2e09
Dropped NextSlotNewRound
yveshauser Sep 13, 2024
70c191c
Workarounds for rendering of LaTeX equations in GH MathJax
bwbush Sep 17, 2024
ada84a6
Delay per party and message
yveshauser Sep 20, 2024
7442636
Fix extends
yveshauser Sep 26, 2024
dfb9698
Checked weight for votes
yveshauser Sep 26, 2024
1ad58b4
Removed indirection
yveshauser Oct 3, 2024
065153b
Removed explicit commit hash in reference to peras-design.
bwbush Oct 4, 2024
1c11a2a
Merge pull request #2 from cardano-scaling/peras-formal-spec-update
bwbush Oct 4, 2024
4f8092e
Added figure showing probability of rolling back a boosted block.
bwbush Oct 4, 2024
fbfe38e
Added link to Faster Settlement CPS.
bwbush Oct 4, 2024
c261b78
Tone down "promises" about ALBA certificates
abailly Oct 7, 2024
497f21c
Resolved outstanding review comments.
bwbush Nov 13, 2024
d053321
Made table of contents collapsable
bwbush Nov 13, 2024
8568324
Added missing caption
bwbush Nov 13, 2024
b59c80e
Merge pull request #4 from cardano-scaling/bwbush/peras
bwbush Nov 13, 2024
4470a34
Update CIP-0PRS/README.lagda.md
bwbush Dec 6, 2024
f9f2407
Update CIP-0PRS/README.lagda.md
bwbush Dec 6, 2024
66800d9
Update CIP-0PRS/README.lagda.md
bwbush Dec 6, 2024
c8ac8bd
Update CIP-0PRS/README.lagda.md
bwbush Dec 6, 2024
28cda7d
Renamed Peras to CIP-0140
bwbush Dec 6, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading