Skip to content

The Redbelly Network: Yellow Paper

The Redbelly Blockchain enables Compliant Asset Tokenisation by building on scientific advances in distributed computing game theory and formal verification. In this paper, we present how the Redbelly Blockchain combines these results to remedy vulnerabilities that affect modern blockchains. 

A Combination of Recent Advances

In particular, Redbelly Blockchain offers accountability by generating a Proof-of-Fraud, an undeniable proof of misbehaviour, 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 representative governance. Finally, it is designed for mobile devices to interact securely without downloading the blockchain.

Redbelly Blockchain is an innovative technology to interface with the real world through a novel proof-of-fraud design. It ensures the accountability of its participants and aims to comply with regulations. It builds upon recent research advances in the context of security, distributed computing, formal verification and game theory. Two of its key novelties are that it is deterministic, due to its consensus algorithm, and dynamic due to its built-in smart contracts, which allow the governance to reconfigure it at runtime.

Download to read a comprehensive report.

Redbelly Network Pty Ltd

304/74 Pitt St. Sydney 
NSW 2000, Australia

2nd floor, Plot 14, Aeren Building, 
IT park Chandigarh, sector 13, Chandigarh, India