Introduction
RedBelly blockchain builds upon recent scientific advances in the context of distributed computing game theory and formal verification to apply blockchains to the real world. RedBelly blockchain offers accountability by generating a Proof-of-Fraud, an undeniable proof of misbehavior, automatically. The architecture of RedBelly blockchain is decoupled into a consensus component and a language virtual machine component, called SEVM, to achieve resilience optimality against failures and attacks. For greater security, its consensus component does not assume pure synchrony, is formally verified with model checking and solves the consensus problem deterministically.

To run a large ecosystem of dApps efficiently, the SEVM supports Solidity bytecode without the unnecessary redundant validations of traditional designs. Redbelly blockchain is dynamic as it features a built-in reconfiguration smart contract triggered by a representative governance. Finally, it is designed for mobile devices to interact securely without downloading the blockchain.

Token metrics
Total supply: 10B tokens Seed: $5.2M Round FDV: $40M Number of tokens: 1.3B Price per token: $0.004 Vesting: 6 month cliff post TGE, daily linear vesting over 36 months Private: $10.4M Round FDV: $80M Number of tokens: 1.3B Price per token: $0.008 Vesting: 2 month cliff post TGE, daily linear vesting over 18 months

Deck & token metrics: https://drive.google.com/file/d/1FD1ibQQH71t4ZOuR4GfUgGPiAD-0K2d0/view?usp=sharing Whitepaper: https://drive.google.com/file/d/1N7D6k_rBo2IB2X2EaFoFPoTfZuXEzrIG/view?usp=sharing Yellowpaper: https://drive.google.com/file/d/1N5bLN6rxgj8Hi3OHlyolZtsQaZYVgx5B/view?usp=sharing