Smart Contracts

Smart contracts are a crucial feature of the ODISEO network, providing a secure and transparent way to facilitate transactions and agreements in the context of Real Estate Development projects and real assets. By utilizing smart contracts, the ODISEO network can create decentralized applications (DApps) that enable investors to access a range of real estate investment opportunities. By harnessing the power of smart contracts, the ODISEO network is building a robust and innovative platform that provides unparalleled access to the real estate market.

Liquid Real Estate Assets protocol will handle following type of smart contracts:

  1. Fractional ownership contracts - Smart contracts that represent fractional ownership of real estate assets through GAIA NFT certificates, enabling investors to invest in a small portion of a property.

  2. Payment contracts - Smart contracts that outline payment terms and schedules between investors and the development project for a particular real estate asset.

  3. Revenue-sharing contracts - Smart contracts that specify revenue-sharing terms between investors and development projects for a particular real estate asset.

  4. Collateral contracts - Smart contracts that allow investors to pledge their GAIA NFT certificates as collateral to obtain liquidity in ODIS liquid toke. ODIS can be then subsequently staked to one of ODISO Nodes to obtain yield paid by Real Estate Development projects.

  5. Governance contracts - Smart contracts that enable ODIS token holders to participate in governance and decision-making processes related to the protocol, including voting on proposals and changes to the system.

  6. Validation contracts - Smart contracts that facilitate the validation and verification of real estate assets on the blockchain through a network of validation nodes.

Smart contracts bring a wide range of benefits to the real estate market, with increased liquidity being a central advantage. By representing real estate assets as NFTs, smart contracts enable fractional ownership and make it possible for retail investors to access investment opportunities that were previously only available to institutional investors. Payment schedules and revenue-sharing terms can also be encoded into smart contracts, streamlining transactions and reducing the need for intermediaries. Additionally, smart contracts can be used as collateral to obtain liquidity, and they provide a secure and transparent way to validate and verify the ownership and value of real estate assets on the blockchain. With smart contracts, the real estate market becomes more accessible, efficient, and secure, opening up new investment opportunities and increasing the potential for returns.

The Smart Contracts era represents a step change in the abilities of DAODISEO, opening the way to the development of enterprise-level, mission-critical, decentralized smart contract applications, with even more exciting things to come during the Scaling and Governance eras.
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.