Awesome STWO

A curated list of awesome projects and resources for STWO - The Circle STARKs next generation prover developed by StarkWare.

Stwo is a next generation implementation of a CSTARK prover and verifier, written in Rust 🦀

Contents

• Awesome STWO
  • Contents
  • Resources
  • Tutorials
  • Client Side Proving
    • Starknet
    • Cashu
    • Nostr
  • General Proving
  • ZK-VMs
  • Contributing
  • License

Resources

Official resources and documentation.

• STWO - Official STWO repository.
• Circle STARKs paper - Official Circle STARKs paper.
• Documentation - Coming soon - Official STWO documentation.

Tutorials

Tutorials and guides for STWO.

Coming soon...

Client Side Proving

Projects using STWO for client-side proof generation.

• Stwo-web-STARK - Client-side proving, trace generation, and proof verification using STWO in a web-based interface.

Starknet

Projects integrating STWO with Starknet.

Coming soon...

Cashu

Projects using STWO with Cashu.

• Cashu Cairo Spending Conditions - Define Cashu spending conditions using Cairo and STWO for proving.

Nostr

Projects combining STWO with Nostr.

• starkstr - Nostr x STARKs exploration project using STWO to generate STARK proofs for various Nostr use cases. First one being explored is Delegated aggregate signature verification.

General Proving

Projects using STWO for proof generation.

• Keth - An open-source proving backend for the Ethereum Execution Layer built with on Starkware's provable VM, Cairo.

ZK-VMs

ZK-VMs provable with Stwo.

• Stwo-Brainfuck - A ZK-VM for the Brainfuck language, provable with Stwo.

Circuit Libraries

Libraries and utilities for building STWO based programs.

• NumerAir - A fixed-point arithmetic library providing constrained fixed-point operations for Stwo-based circuits using M31 field elements with configurable decimal precision.

Contributing

Your contributions are always welcome! Please read the contribution guidelines first.

License

This project is licensed under the MIT License - see the LICENSE file for details.