Cosmos-sdk: Staking spec updates

[ebuchman]

Following up on https://github.com/cosmos/cosmos-sdk/pull/1263, we discussed some other updates:

• Change the naming:
  
  
  
  • Unbonded -> PotentialBonded
  
  
  • LooseUnbonded -> NotBonded
  
  
• Remove SlashRatio
• Notes about decisions made for efficiency sake (eg. the GlobalPool)

We also discussed removing PoolShares, but we can leave them for now with exchange rate of 1.

We also need to clearly document how we use notation and what things like -> and | mean

Related Issues:

• [ ] https://github.com/cosmos/cosmos-sdk/issues/1670

[cwgoes]

Do we have a "spec spec" somewhere? Ideally we could use common notation across Tendermint / SDK / ABCI specification documents.

[ebuchman]

WE NEED A SPEC SPEC !

[jackzampolin]

Is this being worked on by anyone?

[jackzampolin]

@rigelrozanski Any update here?

[cwgoes]

The staking spec could use a reunification with the code.

I plan to work on this after F1 (perhaps in conjunction with @rigelrozanski if he is so inclined!).

[rigelrozanski]

@cwgoes working on this now, I'm restructuring the spec so it doesn't have pseudo code but only accurately and concisely describes the objectives of the code - the pseudo-code is moreless useless and a hassle to maintain