certusone
/
cosmos-sdk
mirror of https://github.com/certusone/cosmos-sdk.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
cosmos-sdk/docs/spec
History
Dev Ojha a31dc20e6a Merge PR #2990: Update f1 spec 
* Update f1 spec:

* Improves exposition of the base scheme
* Fix inflation section / add sketch of how to do it
* Add future work section

I've also realized that using the ideas of the inflation section,
we could even remove the iteration over slashes when withdrawing!
(Note, inflation section equations / proof of correctness has not been
thoroughly transcribed from my head onto paper, so its not guaranteed to
be correct at the moment. However the inflation section of this describes
something separate from inflation in the hub. It has inflation happen by
having each staked token produce more staked tokens, instead of having it come
through block rewards. This inflation can also happen per validator,
so as to enable non-signing validators to not get inflation)

* Fix grammar

Co-Authored-By: ValarDragon <ValarDragon@users.noreply.github.com>

* Add proof of correctness to the inflation section

* Re-update PDF after merging chris' fixes

* address more of @cwgoes' suggestions
 		2018-12-12 13:13:53 +01:00
..
auth x/auth module spec / code reconciliation (#2964) 2018-12-05 16:48:08 -08:00
bank Merge PR #2853: Write bank module specification, check spec/code consistency 2018-11-29 22:56:42 +01:00
distribution Update overview.md 2018-11-14 13:26:31 -05:00
governance Governance Quorum (#3053) 2018-12-10 02:50:20 -08:00
ibc Fix IBC paper link 2018-10-09 23:13:37 +02:00
ics Merge PR #2908: Fix file path error 2018-11-28 00:10:12 +01:00
inflation Merge pull request #1819: rational -> decimal 2018-08-14 20:15:02 -04:00
mint Inflation bug fixes (#2982) 2018-12-04 10:17:02 -08:00
other Merge PR #2251: Refactor Bech32 Prefixes and Nomenclature of Validator Pubkey and Operator 2018-09-08 16:44:58 +08:00
params add docs, fix GetSubspace, address comments 2018-10-14 02:44:29 +09:00
slashing Bugfix; update slashing spec 2018-10-15 23:01:29 +02:00
spec-proposals/f1-fee-distribution Merge PR #2990: Update f1 spec 2018-12-12 13:13:53 +01:00
staking Fix state export/import, add to CI (#2690) 2018-11-08 16:28:28 -08:00
store
…
README.md Documentation Structure Change and Cleanup (#2808) 2018-11-14 11:44:17 -08:00

README.md

Specifications

This directory contains specifications for the modules of the Cosmos SDK as well as Interchain Standards (ICS) and other specifications.

SDK applications hold this state in a Merkle store. Updates to the store may be made during transactions and at the beginning and end of every block.

SDK specifications:

  • Store - The core Merkle store that holds the state.
  • Bech32 - Address format for Cosmos SDK applications.

Modules specifications:

  • Auth - The structure and authentication of accounts and transactions.
  • Bank - Sending tokens.
  • Governance - Proposals and voting.
  • Staking - Proof-of-stake bonding, delegation, etc.
  • Slashing - Validator punishment mechanisms.
  • Distribution - Fee distribution, and staking token provision distribution .
  • Inflation - Staking token provision creation
  • IBC - Inter-Blockchain Communication (IBC) protocol.

Interchain standards

  • ICS30 - Signed messages standard.

For details on the underlying blockchain and p2p protocols, see the Tendermint specification.