The Governance era of DAODISEO will provide the final pieces required for the DAODISEO network to become a self-sustaining system. With the introduction of a fully decentralized voting and treasury system, network participants will be able to use their stake and voting rights to influence the future development of the network.

For DAODISEO network to become truly decentralized, it will require not only the distributed infrastructure introduced during the Decentralization era but also the capacity to be maintained and improved over time in a decentralized way. To that end, The Governance era will add the ability for network participants to present DAODISEO improvement proposals that can be voted on by stakeholders, leveraging the already existing staking and delegation process.

To fund the future development of the network, The Governance will also see the addition of a treasury system, whereby a fraction of all transaction fees will be pooled to provide funds for development activities undertaken following the voting process.

When both a voting and treasury system prove to work smoothly within multi-jurisdiction context, DAODISEO will be truly decentralized across different jurisdictions. DAODISEO’s future will be in the hands of the community, who will have everything they need to grow and evolve DAODISEO from the secure, decentralized basis established by its founders.


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.