informalsystems / partnership-heliax

1 stars 0 forks source link

Prevent overslashing and negative stakes #55

Closed brentstone closed 1 year ago

brentstone commented 1 year ago

Closes #46.

The changes in this PR were initiated by the need to adjust the pseudocode to reflect changes in the Namada implementation that prevent the validator's deltas from going negative with the existence of more arbitrary slashing conditions.

angbrav commented 1 year ago

Looks good, merged