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

Discuss the Praos specification with the researchers #23

Open

2 tasks

jeltsch opened this issue Apr 17, 2023 · 0 comments

Open

2 tasks

Discuss the Praos specification with the researchers #23

jeltsch opened this issue Apr 17, 2023 · 0 comments

Assignees

Labels

type: communication

Milestone

Delivery of the O...

Contributor

jeltsch commented Apr 17, 2023

We shall discuss with the researchers whether our Praos specification is feasible. Concretely, we shall ask them about the following things:

Is this a correct specification of Praos?
Are our design decisions documented as per Document the design decisions of the Praos specification #22 appropriate?

jeltsch added the type: communication label

jeltsch added this to the Delivery of the Ouroboros Praos specification milestone

jeltsch assigned jeltsch and javierdiaz72

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment