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
    • Bitcoin
  • 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.
• zkemail-cairo - DKIM RSA-SHA256 verification circuit, prove email content and domain ownership leveraging ZKP.

Starknet

Projects integrating STWO with Starknet.

Coming soon...

Bitcoin

Projects using STWO with Bitcoin and symbiotic ecosystems.

• Raito — Bitcoin ZK client using Stwo to recursively verify block validation and to generate one succinct proof of chain correctness.
• Cashu Cairo Spending Conditions - Define Cashu spending conditions using Cairo and STWO for proving.
• 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.
• s2morrow — Exploring PQ signature schemes aggregation with STARKs.
• Bitcoin Wildlife Sanctuary — Verifying Stwo proofs on Bitcoin with enabled OP_CAT opcode.
• Stark symphony — Verifying Stwo proofs on Liquid with Simplicity script.

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.
• LuminAIR - An open-source Machine Learning framework that leverages STWO to ensure the integrity of computational graphs.
• VEX - A fast provable orderbook that reduces the entire order matching engine to hash operations. Implemented in STWO

ZK-VMs

ZK-VMs provable with Stwo.

• Stwo-Brainfuck - A ZK-VM for the Brainfuck language, provable with Stwo.
• Cairo — Cairo VM used for running Starknet OS, Starknet contracts, and general programs written in Cairo.
• RiscV — A framework for writing verifiable programs in Rust.
• Cairo-M — A new zkVM leveraging M31 field to unleash the maximum power of Stwo for mobile proving.

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.