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.

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

[BFT] Create integration test where DKG and consensus committees form a symmetric difference. #6645

Open
durkmurder opened this issue Nov 12, 2024 · 0 comments
Assignees
Labels

Comments

@durkmurder
Copy link
Member

Context

We would like to test a scenario where DKG committee and consensus committee after recovery contain unique identities that aren't part of opposite sets. Formally speaking we have two sets A and B, we would like to have:

  • ∣𝐴 ∖ 𝐵∣ = 1
  • ∣𝐵 ∖ 𝐴∣ = 1

Create an integration test that reproduces next behavior:

  • network fails DKG in epoch 0 and enters EFM
  • while being in EFM node A gets ejected
  • operators runs a local KG having all the private keys but without node B
  • operator creates an epoch recovery transaction with a committee which excludes the node A and uses DKG from previous step without node B
  • recovery transaction gets accepted with symmetrically different sets of consensus committee and DKG committee
  • epoch 1 is successfully recovered
  • network is able to enter epoch 1
  • network is able to finalize blocks in epoch 1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants