---
title: RIF Marketplace User guide | Getting started
tags: rif-mkt-user-guide
---
# Getting started
- [Buy a Domain](#Buy-a-domain)
- [Sell a Domain](#Sell-a-domain)
- [Cancel a listed domain](#Cancel-a-domain)
> Please read the [Setup guide](/@julianr/rif-mkt-user-guide-setup) if you haven't.
## Security Analysis with Mythril
- Make sure `mythril` is installed and properly working. We recommend using **Docker** for this as many issues exit when installing via `pip3`. Follow the instructions [here](https://mythril-classic.readthedocs.io/en/master/installation.html). You can get Docker [here](https://docs.docker.com/get-docker/)
```bash
$ docker pull mythril/myth
```
```bash
# Check it properly installed
$ docker run mythril/myth --help
```
- Run `mythril` using this command:
```bash
$ yarn mythril
```
**Note:** In case you are running `myth analyze` directly you can modify the command being executed in `./mythril.sh`. You can also add/remove contracts to analyze by changing the script in this file
## Fuzzing with Echidna
- Make sure `echidna` is installed. We recommend using **precompiled binaries**. You can get the latest release [here](https://github.com/crytic/echidna/releases). You will need prerequisites as `slither` and `solc-select` also installed. Check this [previous](##Static-Analysis-with-Slither) section to install and configure these components.
- Run `echidna` script:
```bash
$ yarn echidna
```
- Run `echidna` on specific contract:
```bash
$ echidna-test . --contract DaiEchidnaTest --config echidna.config.yml
```
**Note:** You can modify the commands being executed in `./echidna.sh`. You can also add/remove contracts to analyze by changing the script in this file. Configurations are defined in `echidna.config.yml`.
### Buy a domain
To buy a domain in the RIF Marketplace, a single transaction is involved. Let's start:
1. Go to the [RIF Marketplace](https://marketplace.testnet.rifos.org). Click on **Name Services** to get to the RNS Domains Marketplace.
2. On the **Name Services** section you will find a **Search and Filter** panel on the left, which allows you to look for a specific domain based on name and/or price. On the right side you will see the list of **available** domains to buy, including details such as *Domain Name, Owner, Renewal Date, and Price*.
3. Select the Domain you want to buy by clicking on the **Select** button. You will be redirected to the **BUY** confirmation screen, where you can review the order details and click on **Buy Domain** to proceed.
4. Confirm the transaction on your wallet.
5. Wait until the required amount of confirmations are received. A **confirmation** message will be displayed once the domain was successfully purchased.
Now you can click on **Buy Another Domain** to get back to the main Domain listing page. You can also login to the [RNS Manager](https://manager.rns.rifos.org) to manage and setup the domain.
### Sell a domain
To sell a domain, two transactions are involved. Let's start:
1. Go to the [RIF Marketplace](https://marketplace.testnet.rifos.org). Click on **Name Services** to get to the RNS Domains Marketplace.
2. Click on the **SELL** tab right above the filter panel on the left. This will redirect you to the list of domains you own, that are **available for sale**.
3. Select the domain you want to list for sale and click on **Select**. You will be redirected to the **SELL** confirmation page where you can specify the **Price** for the domain listing. You can then click on **List Domain** to proceed.
4. Confirm the 2 (two) transactions on your wallet. The first transaction is for the **Approval** of the Domain transfer, the second is the actual **Placement** transaction.
5. Wait until the required amount of confirmations are received. A **confirmation** message will be displayed once the domain was successfully listed for sale.
Click on "**View Domain Listings"** to see the domain you have just listed, now available on the RIF Marketplace.
### Cancel a domain
If you want to remove a domain which is listed for Sale, you can do that with two transactions. Let's start:
1. Go to the [RIF Marketplace](https://marketplace.testnet.rifos.org). Click on **Name Services** to get to the RNS Domains Marketplace.
2. Click on the **SELL** tab right above the filter panel on the left. This will redirect you to the list of domains you own which are **available for sale**. On the left you will see three options, select **Your Offers**
3. Select the domain you want to remove by clicking on **X**. You will be redirected to the **CANCEL** confirmation page. You can then click on **Cancel Domain** to proceed.
4. Confirm the 2 (two) transactions on your wallet. The first transaction is for the **Disapproval** of the Domain transfer, the second is the actual **Unplacement** transaction.
5. Wait until the required amount of confirmations are received. A **confirmation** message will be displayed once the domain was successfully removed.
Click on **View Domain Listings** to verify that the domain has been removed from the RIF Marketplace.
----
[Github](https://github.com/rsksmart?q=rif-marketplace) |
[Access the RIF Marketplace](https://marketplace.testnet.rifos.org)
Sign in with Wallet
Connect another wallet