search

glacislabs / v1-core

Core smart contracts of Glacis v1
Apache License 2.0
7 stars 1 forks source link

Dynamic Quorum doesn't have Current Quorum itself as Context #22

Closed jboetticher closed 2 weeks ago

jboetticher commented 1 month ago

Consider this scenario where we are sending through 3 GMPs (X, Y, Z) from chain A to chain B.

  1. Send message M from A -> B
  2. Quorum is 3 on B
  3. Bridge X is received on B
  4. Bridge X goes down
  5. Owner of DApp on B then decreases quorum to 2 due to bridge X being down. But bridge X has already executed message M.

The problem is that message M can still fulfill the original requirement of 3 GMPs, but the dynamic quorum has no way of knowing this.

Problem presented by Halborn.

jboetticher commented 1 month ago

Addressing with https://github.com/glacislabs/v1-core/pull/24