The Scaling era of DAODISEO is an era of growth, improving the scalability and interoperability of the network. Whereas previous development eras focused on decentralization and functionality that support the RWA Decentralized Development Economy, The Scaling is about new customer for the DAODISEO network to better support growth and adoption for applications.

Overall, The Scaling era will see DAODISEO becoming a preferred option of high performance, resilient RWA blockchain platforms within the industry. This will provide a network with the capability to scale in a sustainable, secure way, as well as the ability to add new functionality without compromising the reliability at the core of the network. Additionally, The Scaling era will focus on the acquisition of new unique properties around the world, integrating them into the Cosmos family, thereby expanding the global footprint and enhancing the value proposition of the DAODISEO network.

Existing projects
DAODISEO community members
Community meetings
Total GitHub code commits


SCRAPE: Scalable Randomness Attested by Public Entities

This paper discusses the difficulty of finding a reliable public randomness source that can be trusted to remain unbiased by potential adverse behavior, and a secret-sharing scheme to address the issue.

Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol

The original Ouroboros research paper, outlining the first proof-of-stake blockchain protocol with rigorous security guarantees, as well as a novel reward mechanism for incentivizing honest protocol engagement from the network.

The Bitcoin Backbone Protocol with Chains of Variable Difficulty

A formal analysis of bitcoin’s target recalculation function in the cryptographic setting, extending the q-bounded synchronous model of the bitcoin backbone protocol.

Checking Laws of the Blockchain with Property-Based Testing

A paper covering how to use property-based testing in the context of blockchain protocols, including examples and general descriptions of the laws that blockchain and blockchain-like systems should be expected to satisfy.

A Formal Specification of the Cardano Ledger

A formal specification defining the rules for extending a ledger with transactions, as implemented in the Byron release of the Cardano Ledger.

Specification of the Blockchain Layer

A formal specification that formalizes the definition of a valid block, and what is required for it to be added to the blockchain, in the scope of the Byron era and the transition to the Shelley era of Cardano.