Getting started

Buy a Domain
Sell a Domain
Cancel a listed domain

Please read the Setup guide 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. You can get Docker here

$ docker pull mythril/myth

# Check it properly installed
$ docker run mythril/myth --help

Run mythril using this command:

$ 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. You will need prerequisites as slither and solc-select also installed. Check this previous section to install and configure these components.
Run echidna script:

$ yarn echidna

Run echidna on specific contract:

$ 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:

Go to the RIF Marketplace. Click on Name Services to get to the RNS Domains Marketplace.

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.

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.

Confirm the transaction on your wallet.

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 to manage and setup the domain.

Sell a domain

To sell a domain, two transactions are involved. Let's start:

Go to the RIF Marketplace. Click on Name Services to get to the RNS Domains Marketplace.

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.

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.

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.

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:

Go to the RIF Marketplace. Click on Name Services to get to the RNS Domains Marketplace.
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

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.

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.