Real Estate Marketplace

The capstone will build upon the knowledge gained in the course in order to build a decentralized housing product.

This project is implemented Tracable ERC721 Mintable Contract that is compatible with OpenSea market place listing the tokens in the market place and purchasing them using different account. This project simulates real estate market place.

Version

Truffle v5.0.8 (core: 5.0.8)

Solidity - ^0.5.0 (solc-js)

Node v11.8.0

dotenv ^8.2.0

Install

npm install

Zokrates

Run ZoKrates

docker run -v <path to your project folder>:/home/zokrates/code -ti zokrates/zokrates /bin/bash

Create .code

Create a file square.code


def main(private field a, field b) -> (field):

field result = if a * a == b then 1 else 0 fi

return result

Compile the program

cd ~/code/zokrates/code/square

zokrates compile -i square.code

Generate trusted Setup

zokrates setup

Compute Witness

Pass answer to square.code as arguments (3^2 == 9) and it generates a witness file

zokrates compute-witness -a 3 9

Generate Proof

Generate proof based on the above witness. A proof.json file is generated in this step

zokrates generate-proof

Step 8: Export the Verifier.sol

Create smart contract named verifier.sol

zokrates export-verifier

Copy or Move Verifier.sol to eth-contract

mv verifier.sol ../eth-contracts/contracts/

Compile contracts

cd eth-contract

truffle compile

Deploy to Rinkeby

cd eth-contracts

truffle migrate --network rinkeby

Contract Addresses


Contract Owner: https://rinkeby.etherscan.io/address/0xf9868F9004E7fba20DA7beD3aECef564911cD665

Verifier: https://rinkeby.etherscan.io/address/0x425693F5dC519041e9723384633B5c79aaEe5F65

SolnSquareVerifier: https://rinkeby.etherscan.io/address/0xaffd4ea89327cd32a49a911c4c76c2299ec7e26c

Properties and Transaction Activities

https://testnets.opensea.io/assets/unidentified-contract-tnunu0ykum?search[resultModel]=ASSETS https://testnets.opensea.io/assets/0xaffd4ea89327cd32a49a911c4c76c2299ec7e26c/3 https://testnets.opensea.io/assets/0xaffd4ea89327cd32a49a911c4c76c2299ec7e26c/1 https://testnets.opensea.io/assets/0xaffd4ea89327cd32a49a911c4c76c2299ec7e26c/4 https://testnets.opensea.io/assets/0xaffd4ea89327cd32a49a911c4c76c2299ec7e26c/2 https://testnets.opensea.io/assets/0xaffd4ea89327cd32a49a911c4c76c2299ec7e26c/5 https://testnets.opensea.io/assets/0xaffd4ea89327cd32a49a911c4c76c2299ec7e26c/12

Storefront link

Opensea Rinkeby

Mint Token at Rinkeby network

Mint each (x) times to generate a new token that gets listed on OpenSea via the contract address.

cd minter