Project Overview

This project provides web demo of proving Cairo programs with STWO prover (WIP).

Getting Started

For detailed instructions, refer to the backend README. Backend NPM package

Start the server using Docker Compose:
```
docker compose up
```
Open your browser and navigate to http://localhost:3000 to view the application.

This project incorporates the following libraries and tools:

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
app		app
backend		backend
k8s		k8s
public		public
.dockerignore		.dockerignore
.gitignore		.gitignore
Dockerfile		Dockerfile
LICENSE.txt		LICENSE.txt
README.md		README.md
docker-compose.yaml		docker-compose.yaml
eslint.config.mjs		eslint.config.mjs
next.config.ts		next.config.ts
package-lock.json		package-lock.json
package.json		package.json
postcss.config.mjs		postcss.config.mjs
skaffold.yaml		skaffold.yaml
tailwind.config.ts		tailwind.config.ts
tsconfig.json		tsconfig.json
worker_prove.ts		worker_prove.ts
worker_trace_gen.ts		worker_trace_gen.ts
worker_verify.ts		worker_verify.ts