LedgerProject/safepkt_frontend

Frontend application for running static analysis of rust-based programs

SafePKT frontend

This project is implemented in the context of the European NGI LEDGER program.

This component is the frontend of a prototype aiming at bringing more automation
to the field of software verification tools targeting rust-based programs.

See SafePKT description

Demo

SafePKT web frontend for verifying rust-based Smart Contract written with ink! v2.1.0

Table of contents

• Installaton
  • Configuration
  • Development
• Deployment
• Acknowledgment
• License

Installation

As you need node.js available, we recommend the installation of a Node.js version management tool like one of the following:

• nvm or
• n

Install JavaScript dependencies.

npm install

Configuration

Copy the .env.dist file to .env in the project root directory:

cp .env{.dist,}

Update the following entries needed:

• API_HOST, the backend hostname,
• API_PORT, the backend port,
• API_SCHEME, the backend protocol schemeas

Development

Serve the application with hot reload from localhost:3000

npm run dev

Deployment

Build for production by generating static files

npm run build

Launch server

npm run start

We recommend the use of Vercel
to make the deployment process easier in production.

Acknowledgment

We're very grateful towards the following organizations, projects and people:

• the JavaScript and NuxtJS community at large
• All members of the NGI-Ledger Consortium for accompanying us
  
  
  

License

This project is distributed under either the MIT license or the Apache License.