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

Does the issue about block chains not being one-shot invalidate the liveness analysis for Snap-and-Chat? #132

Open
daira opened this issue Dec 6, 2023 · 0 comments
Open

Does the issue about block chains not being one-shot invalidate the liveness analysis for Snap-and-Chat? #132

daira opened this issue Dec 6, 2023 · 0 comments
Assignees
@nathan-at-least
Labels
question A question about the design
Milestone
Design and Implem...

Comments

@daira
Copy link
Collaborator

daira commented Dec 6, 2023

Question

See the discussion under the spoiler in https://hackmd.io/JqENg--qSmyqRt_RqY7Whw?view#Conventions .

If the liveness analysis for Snap-and-Chat were wrong, the analysis for Crosslink could be wrong also.
@daira daira added the question A question about the design label Dec 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@nathan-at-least nathan-at-least

Labels
question A question about the design
Projects
None yet
Milestone
Design and Implementation Phase 4
Development

No branches or pull requests
2 participants
@daira @nathan-at-least