https://github.com/okm165/stwo-web-stark
Cairo circuits STWO web demos
https://github.com/okm165/stwo-web-stark
cairo circlestark mobile stark wasm web zkvm
Last synced: 10 months ago
JSON representation
Cairo circuits STWO web demos
- Host: GitHub
- URL: https://github.com/okm165/stwo-web-stark
- Owner: Okm165
- License: apache-2.0
- Created: 2024-12-29T11:01:51.000Z (over 1 year ago)
- Default Branch: master
- Last Pushed: 2024-12-30T14:27:54.000Z (over 1 year ago)
- Last Synced: 2024-12-30T15:21:18.143Z (over 1 year ago)
- Topics: cairo, circlestark, mobile, stark, wasm, web, zkvm
- Language: TypeScript
- Homepage: https://demo.stwo.iosis.tech/
- Size: 85.9 KB
- Stars: 3
- Watchers: 1
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt
Awesome Lists containing this project
README
# Project Overview
This project provides web demo of proving Cairo programs with [STWO](https://github.com/starkware-libs/stwo) prover (WIP).
## Getting Started
### Build the WASM Backend
For detailed instructions, refer to the [backend README](./backend/README.md).
Backend [NPM package](https://www.npmjs.com/package/stwo-web-stark)
### Run the Development Server
1. Start the server using Docker Compose:
```bash
docker compose up
```
2. Open your browser and navigate to [http://localhost:3000](http://localhost:3000) to view the application.
## Acknowledgments
This project incorporates the following libraries and tools:
- [cairo-vm](https://github.com/lambdaclass/cairo-vm) by [Lambdaclass](https://github.com/lambdaclass)
- [stwo-cairo](https://github.com/starkware-libs/stwo-cairo) by [StarkWare](https://github.com/starkware-libs)
- [stwo](https://github.com/starkware-libs/stwo) by [StarkWare](https://github.com/starkware-libs)