> For the complete documentation index, see [llms.txt](https://docs.deelance.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.deelance.com/getting-started/core-concepts/proof-of-stake-pos.md). # Proof of Stake (Pos) #### Proof of Stake (PoS) is a consensus algorithm used in blockchain networks. It relies on the concept of staking, where validators are chosen to create new blocks and validate transactions based on the amount of cryptocurrency they hold and are willing to "stake" as collateral. Below are some mathematical formulations and notations related to Proof of Stake (PoS) in a blockchain: The probability of a validator being chosen to create a new block can be denoted as `P(Validator_i) = (Stake_i) / (∑ from (j=1) to (n) Stake_j)` 2. **Validator Set:** The set of validators in the network can be represented as ``` - \(V = \{Validator_1, Validator_2, \ldots, Validator_n\}\). ``` 4. **Block Creation Probability:** The probability of a validator being chosen to create a new block within a specific time period ``` P(CreateBlock_i) = (Stake_i) / (∑ from (j=1) to (n) Stake_j) ``` 5. **Validation of Transactions:** The process of validating transactions by a selected validator can be represented as a function ``` V(Validator_i, Transaction_j) = VerifySignature(Transaction_j) ``` 6. **Consensus Rule:** The consensus rule for validating a new block and adding it to the blockchain can be described as a function ``` C(Block_k) = ValidateBlock(Block_k) ``` 7. **Blockchain State:** The overall state of the blockchain, including account balances and data stored, can be denoted as ``` S = {Account_1: Balance_1, Account_2: Balance_2, ...} ``` 8. **Epoch Length:** The duration of an epoch, a fixed time period during which validators take turns creating blocks and validating transactions, can be represented as ``` Epoch Length: T_epoch ``` 9. **Staking Parameters:** Parameters related to staking, such as the minimum stake required to become a validator ``` Minimum Stake: S_min Staking Duration: T_stake ``` These mathematical formulations provide a basis for understanding and analyzing the Proof of Stake (PoS) consensus algorithm in blockchain networks. They help in formalizing the probabilistic nature of validator selection, block creation, and transaction validation within the PoS framework. --- # Agent Instructions This documentation is published with GitBook. GitBook is the documentation platform designed so that both humans and AI agents can read, navigate, and reason over technical content effectively. Learn more at gitbook.com. ## Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter, and the optional `goal` query parameter: ``` GET https://docs.deelance.com/getting-started/core-concepts/proof-of-stake-pos.md?ask=&goal= ``` `ask` is the immediate question: it should be specific, self-contained, and written in natural language. `goal` is optional and describes the broader end goal you are ultimately trying to accomplish on behalf of the user. GitBook uses it to tailor the answer towards what is most useful for that goal. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.