SOLAREUM
HomeTelegramTwitterWebsiteBuy $SRM
  • 👋Solareum - Layer 1 Whitepaper
  • Solareum (SRM)
    • 📃Executive Summary
    • 🔥Solareum’s Solution
    • ⭐Solareum’s Value Proposition
    • 💫Final Thoughts
  • About Solareum
    • 👩‍🏫What is SolareumChain?
    • ➗Mathematical Analysis of Validators
  • Solareum Proof of Generation
    • 🧊Solareum Proof of Generation
    • 🛡️The BLS12-381 Elliptic Curve for zk-SNARK Proofs
      • FPGA Hardware
  • BLS Key Generation Signature Scheme Security
    • ♻️BLS Key Generation
      • Extract
      • Expand
      • IKM to lamport SK
      • parent SK to lamport PK
      • HKDF mod r
      • derive child SK
      • derive master SK
    • 💱Post-quantum security backup upgrade
  • SolareumChain Algorithmic Security
    • 🔏SolareumChain Algorithmic Security
    • 🔮BLS signature aggregation and Multisig security
      • BLS Signature Aggregation
      • Multisig Security
      • BLS signature aggregation definitions
    • 🍫Proving security definition references
      • Gedankenexperiment Setup
      • Gedankenexperiment Signature queries
      • Gedankenexperiment Forgery
      • Security and co-CDH Assumption
    • ✳️Adversaries and message query theorems
    • 💠Multi-Input Transactions and Transaction Validation Caching
      • SolareumChain Multi-Input Transactions
      • SolareumChain Transaction Validation Caching
  • SolareumChain ReFi Implementation
    • 💥Proof of Hold (PoH)
    • 🧇SolareumChain Inherited NFT Multipliers
  • SolareumChain Architecture and PoG Math
    • ⛓️SolareumChain Architecture and PoG Math
    • 💣Societal Impact of Blockchain Technology
    • 💡Energy Generation Analysis and Correlation
    • 🔋Energy Correlation Assurance Functions
    • 🧩zk-SNARK Validation
      • Case Study I: Proof of Hold and no Proof of Generation
      • Case Study II: No Proof of Hold and Proof of Generation
      • Case Study III: Proof of Hold and Proof of Generation
    • 🎴SolareumChain Address Generation
    • 🎱SolareumChain Genesis Architecture
    • 🍱Distributed Ledger Technology Energy Sustainability
    • 🌉SolareumChain Bridge
    • ⚡Sufficiency of Sub 128-bit Security for Pairing-Friendly Curves on SolareumChain
  • Other iNfo
    • 📝Conclusion
  • Community
    • 🌐Website
    • 🌠Telegram
    • ✖️Twitter
Powered by GitBook
On this page
  1. About Solareum

Mathematical Analysis of Validators

PreviousWhat is SolareumChain?NextSolareum Proof of Generation

Last updated 1 year ago

In the context of SolareumChain, this discipline applies advanced mathematical techniques to scrutinize validators’ performance, security, and reliability. Validators are pivotal to maintaining the integrity of SolareumChain’s Layer 1 blockchain, ensuring secure and efficient transactions. By subjecting these validators to rigorous mathematical analysis, we aim to optimize their functionality, detect vulnerabilities, and enhance their overall efficiency within the SolareumChain ecosystem. This approach offers a specific and indepth understanding of validator performance in the context of SolareumChain, ultimately contributing to the network’s stability and trustworthiness.

A variety of formulas are provided capturing description of the SolareumChain system. Let

X={X1,...,Xn}X={\{X_1,...,X_n\}}X={X1​,...,Xn​}

be a set of sets of validators, namely X is a set of sets, where each set contained compromises of the validators of distinct type, with n ∈ N types. Then, for each distinct type i ∈ N, with 1 ≤ i ≤ n, we have that

Xi=⋃j=1kX(i)jX_i=\bigcup_{j=1}^kX(i)_jXi​=j=1⋃k​X(i)j​

where 1 ≤ j ≤ k are indices, with j, k ∈ N, and X(i)j being energy generator j of type i, and therefore, that all energy generators acting as validators form the following superset

X=⋃i=1nXi=⋃i=1n⋃j=1kX(i)jX=\bigcup_{i=1}^nX_i=\bigcup_{i=1}^n\bigcup_{j=1}^kX(i)_jX=i=1⋃n​Xi​=i=1⋃n​j=1⋃k​X(i)j​

Combinatorics of energy generation for the above superset of all validators then results in the following given an energy generation function E : X → R with the standard norm acting as a metric,

With the above terminology established, the nature of energy generators as validators as well as application to the Proof of Generation (PoG) consensus mechanism is presented.

➗