Getting started
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
- Run
mythril
using this command:
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
- Run
echidna
on specific contract:
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.
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
- 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.
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
- 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.
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
- Confirm the transaction on your wallet.
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
- Wait until the required amount of confirmations are received. A confirmation message will be displayed once the domain was successfully purchased.
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
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.
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
- 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.
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
- 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.
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
- 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.
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
- Wait until the required amount of confirmations are received. A confirmation message will be displayed once the domain was successfully listed for sale.
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
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
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
- 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.
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
- 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.
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
- Wait until the required amount of confirmations are received. A confirmation message will be displayed once the domain was successfully removed.
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
Image Not Showing
Possible Reasons
- The image file may be corrupted
- The server hosting the image is unavailable
- The image path is incorrect
- The image format is not supported
Learn More โ
Click on View Domain Listings to verify that the domain has been removed from the RIF Marketplace.
Github |
Access the RIF Marketplace