tendermint/master/assets/js/175.0b4facea.js

(window.webpackJsonp=window.webpackJsonp||[]).push([[175],{751:function(e,t,n){"use strict";n.r(t);var o=n(1),i=Object(o.a)({},(function(){var e=this,t=e.$createElement,n=e._self._c||t;return n("ContentSlotsDistributor",{attrs:{"slot-key":e.$parent.slotKey}},[n("h1",{attrs:{id:"tendermint-specifications"}},[n("a",{staticClass:"header-anchor",attrs:{href:"#tendermint-specifications"}},[e._v("#")]),e._v(" Tendermint Specifications")]),e._v(" "),n("p",[e._v("This directory hosts the canonical Markdown specifications of the Tendermint Protocol.")]),e._v(" "),n("p",[e._v("It shall be used to describe protocol semantics, namely the BFT consensus engine, leader election, block propagation and light client verification. The specification includes encoding descriptions used in interprocess communication to comply with the protocol. It defines the interface between the application and Tendermint. The english specifications are often accompanies with a TLA+ specification.")]),e._v(" "),n("h2",{attrs:{id:"table-of-contents"}},[n("a",{staticClass:"header-anchor",attrs:{href:"#table-of-contents"}},[e._v("#")]),e._v(" Table of Contents")]),e._v(" "),n("ul",[n("li",[n("a",{attrs:{href:"#overview"}},[e._v("Overview")])]),e._v(" "),n("li",[n("RouterLink",{attrs:{to:"/spec/abci++/"}},[e._v("Application Blockchain Interface")])],1),e._v(" "),n("li",[n("RouterLink",{attrs:{to:"/spec/core/encoding.html"}},[e._v("Encoding and Digests")])],1),e._v(" "),n("li",[n("RouterLink",{attrs:{to:"/spec/core/data_structures.html"}},[e._v("Core Data Structures")])],1),e._v(" "),n("li",[n("RouterLink",{attrs:{to:"/spec/core/state.html"}},[e._v("State")])],1),e._v(" "),n("li",[n("RouterLink",{attrs:{to:"/spec/consensus/consensus.html"}},[e._v("Consensus Algorithm")])],1),e._v(" "),n("li",[n("RouterLink",{attrs:{to:"/spec/consensus/creating-proposal.html"}},[e._v("Creating a proposal")])],1),e._v(" "),n("li",[n("RouterLink",{attrs:{to:"/spec/consensus/proposer-based-timestamp/"}},[e._v("Time")])],1),e._v(" "),n("li",[n("RouterLink",{attrs:{to:"/spec/consensus/light-client/"}},[e._v("Light Client")])],1),e._v(" "),n("li",[n("RouterLink",{attrs:{to:"/spec/p2p/node.html"}},[e._v("The Base P2P Layer")])],1),e._v(" "),n("li",[n("RouterLink",{attrs:{to:"/spec/p2p/messages/pex.html"}},[e._v("Peer Exchange (PEX)")])],1),e._v(" "),n("li",[n("RouterLink",{attrs:{to:"/spec/rpc/"}},[e._v("Remote Procedure Calls")])],1),e._v(" "),n("li",[n("RouterLink",{attrs:{to:"/spec/consensus/wal.html"}},[e._v("Write-Ahead Log")])],1),e._v(" "),n("li",[n("RouterLink",{attrs:{to:"/spec/ivy-proofs/"}},[e._v("Ivy Proofs")])],1)]),e._v(" "),n("h2",{attrs:{id:"contibuting"}},[n("a",{staticClass:"header-anchor",attrs:{href:"#contibuting"}},[e._v("#")]),e._v(" Contibuting")]),e._v(" "),n("p",[e._v("Contributions are welcome.")]),e._v(" "),n("p",[e._v("Proposals at an early stage can first be drafted as Github issues. To progress, a proposal will often need to be written out and approved as a "),n("RouterLink",{attrs:{to:"/docs/rfc/"}},[e._v("Request For Comment (RFC)")]),e._v(".")],1),e._v(" "),n("p",[e._v("The standard language for coding blocks is Golang.")]),e._v(" "),n("p",[e._v("If you find discrepancies between the spec and the code that\ndo not have an associated issue or pull request on github,\nplease submit them to our "),n("a",{attrs:{href:"https://tendermint.com/security",target:"_blank",rel:"noopener noreferrer"}},[e._v("bug bounty"),n("OutboundLink")],1),e._v("!")]),e._v(" "),n("h2",{attrs:{id:"overview"}},[n("a",{staticClass:"header-anchor",attrs:{href:"#overview"}},[e._v("#")]),e._v(" Overview")]),e._v(" "),n("p",[e._v('Tendermint provides Byzantine Fault Tolerant State Machine Replication using\nhash-linked batches of transactions. Such transaction batches are called "blocks".\nHence, Tendermint defines a "blockchain".')]),e._v(" "),n("p",[e._v("Each block in Tendermint has a unique index - its Height.\nHeight's in the blockchain are monotonic.\nEach block is committed by a known set of weighted Validators.\nMembership and weighting within this validator set may change over time.\nTendermint guarantees the safety and liveness of the blockchain\nso long as less than 1/3 of the total weight of the Validator set\nis malicious or faulty.")]),e._v(" "),n("p",[e._v("A commit in Tendermint is a set of signed messages from more than 2/3 of\nthe total weight of the current Validator set. Validators take turns proposing\nblocks and voting on them. Once enough votes are received, the block is considered\ncommitted. These votes are included in the "),n("em",[e._v("next")]),e._v(" block as proof that the previous block\nwas committed - they cannot be included in the current block, as that block has already been\ncreated.")]),e._v(" "),n("p",[e._v("Once a block is committed, it can be executed against an application.\nThe application returns results for each of the transactions in the block.\nThe application can also return changes to be made to the validator set,\nas well as a cryptographic digest of its latest state.")]),e._v(" "),n("p",[e._v('Tendermint is designed to enable efficient verification and authentication\nof the latest state of the blockchain. To achieve this, it embeds\ncryptographic commitments to certain information in the block "header".\nThis information includes the contents of the block (eg. the transactions),\nthe validator set committing the block, as well as the various results returned by the application.\nNote, however, that block execution only occurs '),n("em",[e._v("after")]),e._v(" a block is committed.\nThus, application results can only be included in the "),n("em",[e._v("next")]),e._v(" block.")]),e._v(" "),n("p",[e._v("Also note that information like the transaction results and the validator set are never\ndirectly included in the block - only their cryptographic digests (Merkle roots) are.\nHence, verification of a block requires a separate data structure to store this information.\nWe call this the "),n("code",[e._v("State")]),e._v(". Block verification also requires access to the previous block.")])])}),[],!1,null,null,null);t.default=i.exports}}]);