Algoverify

This is an application that can be used to check Algorand smart contract source code against the on-chain byte code. It provides a backend API and a simple frontend interface to interact with the APIs. It provides support for Teal and Reach Smart Contracts.

FRONTEND

The frontend is written in ReactJs and Typescript hosted on netflify. It can be accessed via https://algoverify.netlify.app.

Local Set Up

• clone the repository
• cd into frontend folder.
• run yarn install or npm install to install dependencies.
• run yarn start or npm start to start the frontend.

BACKEND

The backend is written in python using FastApi and it uses mongo db to store data. It is hosted on aws ec2 and can be accessed via https://algoverify.xyz .

PostMan Documentation

Local Set Up

• clone the repository
• cd into backend folder
• create a virtual environment and activate (you can use pipenv or venv for this)
• Install the requirements in requirements.txt (For venv)
• Create a .env file with variables specified in env.example file (You can use mongodb Atlas for free mongo db cluster).
• run python main.py or make run-dev to start the development server
• You can also run the backend using docker (Dockerfile).

Tests

Tests for the backend application are contained in the tests module.

• run make -j run-dev test to run backend testcases against local dev server

NB: To verify reach contracts you need to have Docker installed.