Property Ownership Tokenization

Overview

The Property Tokenization Smart Contract is a decentralized solution designed to revolutionize real estate ownership by enabling fractional property investments through blockchain technology. This platform allows property owners to tokenize their assets, creating digital shares that represent a fraction of a property. Investors can then purchase these tokens, facilitating shared ownership and democratizing real estate investment opportunities.

The smart contract streamlines property management, lease agreements, and dividend distributions between owners and investors, while leveraging the security and efficiency of the Internet Computer Protocol (ICP) for seamless, secure transactions and verification.

Live Platform (Mainnet)

Explore the live platform and experience property tokenization in action: BlockState

Pitch

For a comprehensive overview of the project, view our pitch deck: Pitch

Demo

For a comprehensive overview of the project, view our demo: Demo

Things to be explained in the course:

What is Ledger? More details here: https://internetcomputer.org/docs/current/developer-docs/integrations/ledger/
What is Internet Identity? More details here: https://internetcomputer.org/internet-identity
What is Principal, Identity, Address? https://internetcomputer.org/internet-identity | https://yumimarketplace.medium.com/whats-the-difference-between-principal-id-and-account-id-3c908afdc1f9
Canister-to-canister communication and how multi-canister development is done? https://medium.com/icp-league/explore-backend-multi-canister-development-on-ic-680064b06320

How to deploy canisters implemented in the course

Ledger canister

./deploy-local-ledger.sh - deploys a local Ledger canister. IC works differently when run locally so there is no default network token available and you have to deploy it yourself. Remember that it's not a token like ERC-20 in Ethereum, it's a native token for ICP, just deployed separately. This canister is described in the dfx.json:

	"ledger_canister": {
  	"type": "custom",
  	"candid": "https://raw.githubusercontent.com/dfinity/ic/928caf66c35627efe407006230beee60ad38f090/rs/rosetta-api/icp_ledger/ledger.did",
  	"wasm": "https://download.dfinity.systems/ic/928caf66c35627efe407006230beee60ad38f090/canisters/ledger-canister.wasm.gz",
  	"remote": {
    	"id": {
      	"ic": "ryjl3-tyaaa-aaaaa-aaaba-cai"
    	}
  	}
	}

remote.id.ic - that is the principal of the Ledger canister and it will be available by this principal when you work with the ledger.

Also, in the scope of this script, a minter identity is created which can be used for minting tokens for the testing purposes. Additionally, the default identity is pre-populated with 1000_000_000_000 e8s which is equal to 10_000 * 108 ICP. The decimals value for ICP is 108.

List identities: dfx identity list

Switch to the minter identity: dfx identity use minter

Transfer ICP: dfx ledger transfer <ADDRESS> --memo 0 --icp 100 --fee 0 where:

--memo is some correlation id that can be set to identify some particular transactions (we use that in the marketplace canister).
--icp is the transfer amount
--fee is the transaction fee. In this case it's 0 because we make this transfer as the minter idenity thus this transaction is of type MINT, not TRANSFER.
<ADDRESS> is the address of the recipient. To get the address from the principal, you can use the helper function from the marketplace canister - getAddressFromPrincipal(principal: Principal), it can be called via the Candid UI.

Internet identity canister

dfx deploy internet_identity - that is the canister that handles the authentication flow. Once it's deployed, the js-agent library will be talking to it to register identities. There is UI that acts as a wallet where you can select existing identities or create a new one.