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. SolareumChain Architecture and PoG Math

Energy Correlation Assurance Functions

PreviousEnergy Generation Analysis and CorrelationNextzk-SNARK Validation

Last updated 1 year ago

Solareums innovative technology guarantees precision in energy correlation, enhancing our blockchains reliability and performance. SolareumChain is very well equipped for a future of seamless renewable-energy blockchain management, driven by our very advanced assurance functions.

Let there be an energy correlation assurance function

A:E(t)โ†’0,1A : E(t) โ†’ {0, 1} A:E(t)โ†’0,1

which checks at a time

tโˆˆ[t0,tV(t)]t โˆˆ [t_0, t_{V (t)}] tโˆˆ[t0โ€‹,tV(t)โ€‹]

that the energy generation claimed by a validator corresponds to electron flow which was not recycled through an anti-islanding feature of the ongoing flow corresponding to generation. That is, if there were to be a spoofed claim of electricity generation which was in surplus of the energy actually generated, the energy correlation assurance function would then sort the alleged energy validator as rejected if

A(Ei(t))=0,A(E_i(t)) = 0, A(Eiโ€‹(t))=0,

whereas it would be accepted if

A(Ei(t))=1,A(E_i(t)) = 1, A(Eiโ€‹(t))=1,

thus acting as a characteristic function at time

which is isomorphic to the energy correlation assurance function A, that is,

where โˆผ= is an isomorphism in the category of binary output functions, thus allowing for the equivalence condition

All characteristic function applications indexed across all times t โˆˆ T and validators E(ti) forms a matrix.

Therefore, simplified matrix notation

allowing for the verified Energy generators approved through not being zeroed out by the characteristic function and for spoofed Energy generators to be zero. Non-zero characteristic function outputs

corresponding to a verified proof of electron flow which is not double counted. Similarly to the double spend problem solved by BTC, the double counted electron problem is solved as a main architectural basis of SolareumChain Proof of Generation.

tโˆˆT,t:[0,V(t)]โ†’0,1t โˆˆ T ,t : [0, V (t)] โ†’ {0, 1}tโˆˆT,t:[0,V(t)]โ†’0,1
A(Ei(t))=ฯ‡ti(E(ti)).A(E_i(t)) = ฯ‡_{ti} (E(t_i)).A(Eiโ€‹(t))=ฯ‡tiโ€‹(E(tiโ€‹)).
Eclaimed(t)โ‹…ฯ‡t=Everified(t),E_{claimed}(t) ยท ฯ‡_t = E_{verified}(t), Eclaimedโ€‹(t)โ‹…ฯ‡tโ€‹=Everifiedโ€‹(t),
Everifiedโ‰ 0E_{verified} \neq 0 Everifiedโ€‹๎€ =0
๐Ÿ”‹