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

Jump to bottom

Document the design decisions of the Praos specification #22

Open
jeltsch opened this issue Apr 17, 2023 · 0 comments · May be fixed by #38
Open

Document the design decisions of the Praos specification #22

jeltsch opened this issue Apr 17, 2023 · 0 comments · May be fixed by #38
Assignees
@javierdiaz72
Labels
type: enhancement
Milestone
Delivery of the O...

Comments

@jeltsch
Copy link
Contributor

jeltsch commented Apr 17, 2023

Behind the Ouroboros Praos specification there are various design decisions regarding what aspects we model and what aspects we leave out. We shall document these design decisions.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@javierdiaz72 javierdiaz72

Labels
type: enhancement
Projects
None yet
Milestone
Delivery of the Ouroboros Praos speci...
Development

Successfully merging a pull request may close this issue.

Document the design decisions of the Praos specification input-output-hk/ouroboros-high-assurance
2 participants
@jeltsch @javierdiaz72