Skip to content

Our Research

Our Compliant Asset Tokenisation solution is built on rigorous scientific research.


The Redbelly Network results from peer-reviewed, proven results in the lab from Australia’s most distinguished experts in the field of distributed systems.

Science Partners

Compliant Asset Tokenisation powered by Web3 and a revolutionary blockchain, supported by the Australian Government, University of Sydney, CSIRO and DFCRC.

ARC Logo_no background_white-1
2022 DFCRC Logo-White

Research Papers

Redbelly Blockchain results from more than fifteen years of expertise in the field of distributed systems developed in research institutes among the best in the USA, France, Switzerland and Australia.

Holistic Verification of Blockchain Consensus

In this paper, we remedy this paradox by model checking for the first time a blockchain consensus used in industry. We propose a holistic approach to verify the consensus algorithm of the Redbelly Blockchain, for any number n of processes and any number f < n/3 of Byzantine processes.

On the Relevance of Blockchain Evaluations on Bare Metal

In this paper, we present the first bare metal comparison of modern blockchains, including Algorand, Avalanche, Diem, Ethereum, Quorum and Solana. This evaluation was conducted with the recent Diablo benchmark suite, a framework to evaluate the performance of different blockchains on the same ground.

Aion: Secure Transaction Ordering using TEEs

In this paper, we introduce Aion, a set of order-fair protocols for SMR. We first leverage trusted execution environments (TEEs) to enable processes to compute the times when commands  are broadcast by their issuers. We then integrate this information into  existing consensus protocols to devise order-fair SMR protocols that are both leader-based and leaderless.

Planetary Scale Byzantine Consensus

Byzantine fault tolerant consensus protocols are implemented with consecutive broadcasts but suffer from a low throughput at large geographical scale or planetary scale. A reason for this inefficiency is believed to be their all-to-all communication complexity, which led researchers to design new consensus protocols with more consecutive one-to-all broadcasts but cumulatively fewer messages.

Smart Redbelly Blockchain: Reducing Congestion for Web3

Decentralization promises to remedy the drawbacks of the web by executing decentralized applications (DApps) on blockchains. Unfortunately, modern blockchains cannot support realistic web application workloads mainly due to congestion. We introduce the Smart Redbelly Blockchain (SRBB), a provably correct permissionless blockchain.

Diablo: A Benchmark Suite for Blockchains

With the recent advent of blockchains, we have witnessed a plethora of blockchain proposals. In this paper, we propose the most extensive evaluation of blockchain to date.

Blockchain Scalability and its Foundations in Distributed Systems
This book, authored by Vincent Gramoli, has been published by Springer in August 2022, ISBN:978-3-031-12577-5, 2022.
It explains the techniques used to design a scalable blockchain, the Redbelly Blockchain, and is used as a textbook for the online Blockchain Scalability course by Coursera.
Yellow paper: Redbelly Blockchain: a Combination of Recent Advances

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. In this paper, we present how Redbelly Blockchain combines these results to remedy vulnerabilities that affect modern blockchains.

Redbelly: A Secure, Fair and Scalable Open Blockchain

As blockchain has found applications to track ownership of digital assets, it is crucial for companies to adopt more secure blockchains than the ones proven vulnerable to network attacks before moving them in production.

Anonymity Preserving Byzantine Vector Consensus

Collecting anonymous opinions finds various applications ranging from simple whistleblowing, releasing secretive information, to complex forms of voting, where participants rank candidates by order of preferences.

Comchain: Community Blockchain

In this paper, we introduce the community blockchain that bridges the gap between these public blockchains and constrained blockchains.

From Blockchain Consensus Back to Byzantine Consensus

In this paper, we discuss the mainstream blockchain consensus algorithms and how the classic Byzantine consensus can be revisited for the blockchain context. In particular, we discuss proof-of-work consensus and illustrate the differences between the Bitcoin and the Ethereum proof-of-work consensus algorithms.

Polygraph: Accountable Byzantine Consensus

In this paper, we introduce Polygraph, the first accountable Byzantine consensus algorithm.

DBFT: Efficient Leaderless Byzantine Consensus and its Applications

This paper introduces a new leaderless Byzantine consensus called the Democratic Byzantine Fault Tolerance (DBFT) for blockchains.

Join our community

Join our community today for exclusive access to:

  • Latest project news, updates and announcements
  • Monthly quests and exclusive competitions
  • Stories, use cases and technical knowledge
  • A community of passionate users, developers and founders.

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