Experience the power of STARK proofs right in your browser! This demo showcases the Fibonacci example from the STWO next generation prover, compiled to WebAssembly for lightning-fast, client-side execution.
Client-side proving made easy.
- 🧮 Fibonacci Proof Generation: Watch as complex mathematical proofs are generated in real-time.
- ✅ Proof Verification: See the verification process in action.
- 🎛️ Interactive Interface: Play with different parameters and see how they affect the proofs.
- 🚀 WASM-powered: Experience the speed of native-like performance in your browser.
- Visit the Live Demo
- Choose a predefined case or input your own parameters
- Click "Run" and watch the magic happen!
Want to tinker with the code? Here's how to set it up locally:
# Clone the repository
git clone https://github.com/AbdelStark/stwo-wasm-demo.git
cd stwo-wasm-demo
# Install wasm-pack if you haven't already
cargo install wasm-pack
# Build the WASM module
wasm-pack build --target web
# Serve the files locally (you can use any local server)
python -m http.server
# Open http://localhost:8000 in your browser
- Predefined Test Cases: Quick examples of successful and failed proofs.
- Custom Input: Experiment with your own log sizes and claims.
- Real-time Feedback: Instant results displayed in a user-friendly format.
- Try to use wasm simd with the generic simd backend (
RUST_FLAGS="-C target-feature=+simd128"
)
We love contributions! If you have ideas for improvements or find any issues, please open an issue or submit a pull request.
This project is licensed under the MIT License - see the LICENSE file for details.
This demo is powered by the amazing STWO Prover from StarkWare. A big thank you to the StarkWare team and all contributors!