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

spec: Prepare a protocol deliverable for Phase 2 #186

Closed

3 tasks done

josef-widder opened this issue Apr 24, 2024 · 1 comment

Closed

3 tasks done

spec: Prepare a protocol deliverable for Phase 2 #186

josef-widder opened this issue Apr 24, 2024 · 1 comment

Assignees

Labels

documentation spec

Member

josef-widder commented Apr 24, 2024 •

edited

Loading

Consolidate what we have regarding Starknet Forced Staking Updates:

spec: Reset Protocol deliverable (a) and (b): spec #187
spec: Reset Protocol deliverable (c) and (d): analysis #188
spec: proof generation and strands #237
Validator Set update (these were used for onboarding, but due to redundancy with above issues, we don't merge to main)
- feat(spec): Validator set updates protocol for Starknet #168
- feat(spec): Quint spec for validator set updates #184

josef-widder self-assigned this

josef-widder added documentation phase2 spec labels

josef-widder assigned cason

Member Author

josef-widder commented Apr 25, 2024

When @cason is back from vacation, we should discuss how to include the Validator Set update PRs into the deliverable.

josef-widder closed this as completed

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