certusone
/
cosmos-sdk
mirror of https://github.com/certusone/cosmos-sdk.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Go => pseudocode

This commit is contained in:
Christopher Goes 2018-08-20 18:31:55 +02:00
parent da92b1bb1d
commit d0c87ff5bc
1 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
docs/spec/slashing/state-machine.md
View File

@ -66,22 +66,22 @@ In this section we describe the processing of transactions for the `slashing` mo
If a validator was automatically unbonded due to downtime and wishes to come back online & If a validator was automatically unbonded due to downtime and wishes to come back online &
possibly rejoin the bonded set, it must send `TxUnjail`: possibly rejoin the bonded set, it must send `TxUnjail`:
```golang ```
type TxUnjail struct { type TxUnjail struct {
ValidatorAddr sdk.AccAddress ValidatorAddr sdk.AccAddress
} }
handleMsgUnjail(tx TxUnjail) handleMsgUnjail(tx TxUnjail)
validator := getValidator(tx.ValidatorAddr) validator = getValidator(tx.ValidatorAddr)
if validator == nil if validator is nil
fail with "No validator found" fail with "No validator found"
if !validator.Jailed if validator is not jailed
fail with "Validator not jailed, cannot unjail" fail with "Validator not jailed, cannot unjail"
info := getValidatorSigningInfo(operator) info = getValidatorSigningInfo(operator)
if BlockHeader.Time.Before(info.JailedUntil) if block time is before info.JailedUntil
fail with "Validator still jailed, cannot unjail until period has expired" fail with "Validator still jailed, cannot unjail until period has expired"
// Update the start height so the validator won't be immediately unbonded again // Update the start height so the validator won't be immediately unbonded again
@ -109,10 +109,10 @@ which may happen on delegation, on unjailing, etc), we create a new `SlashingPer
now-bonded validator, which `StartHeight` of the current block, `EndHeight` of `0` (sentinel value for not-yet-ended), now-bonded validator, which `StartHeight` of the current block, `EndHeight` of `0` (sentinel value for not-yet-ended),
and `SlashedSoFar` of `0`: and `SlashedSoFar` of `0`:
```golang ```
onValidatorBonded(address sdk.ValAddress) onValidatorBonded(address sdk.ValAddress)
slashingPeriod := SlashingPeriod{ slashingPeriod = SlashingPeriod{
ValidatorAddr : address, ValidatorAddr : address,
StartHeight : CurrentHeight, StartHeight : CurrentHeight,
EndHeight : 0, EndHeight : 0,
@ -127,7 +127,7 @@ onValidatorBonded(address sdk.ValAddress)
When a validator is unbonded, we update the in-progress `SlashingPeriod` with the current block as the `EndHeight`: When a validator is unbonded, we update the in-progress `SlashingPeriod` with the current block as the `EndHeight`:
```golang ```
onValidatorUnbonded(address sdk.ValAddress) onValidatorUnbonded(address sdk.ValAddress)
slashingPeriod = getSlashingPeriod(address, CurrentHeight) slashingPeriod = getSlashingPeriod(address, CurrentHeight)
@ -143,7 +143,7 @@ When a validator is slashed, we look up the appropriate `SlashingPeriod` based o
address and the time of infraction, cap the fraction slashed as `max(SlashFraction, SlashedSoFar)` address and the time of infraction, cap the fraction slashed as `max(SlashFraction, SlashedSoFar)`
(which may be `0`), and update the `SlashingPeriod` with the increased `SlashedSoFar`: (which may be `0`), and update the `SlashingPeriod` with the increased `SlashedSoFar`:
```golang ```
beforeValidatorSlashed(address sdk.ValAddress, fraction sdk.Rat, infractionHeight int64) beforeValidatorSlashed(address sdk.ValAddress, fraction sdk.Rat, infractionHeight int64)
slashingPeriod = getSlashingPeriod(address, infractionHeight) slashingPeriod = getSlashingPeriod(address, infractionHeight)