Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
-
Updated
Jul 19, 2026 - Rust
#
circle-stark
Here are 5 public repositories matching this topic...
Powering Verifiable Computation for Nostr Data Vending Machines.
-
Updated
Dec 4, 2024 - Rust
Demo running STWO prover and verifier in Browser, using WASM.
-
Updated
Jun 27, 2024 - JavaScript
Experimental: can a transparent, trusted-setup-free shielded-spend proof and its atomic state transition verify inside Solana's 1.4M compute-unit limit? A one-shot mainnet demonstration and security analysis, not a payment system.
-
Updated
Jul 19, 2026 - Rust
Improve this page
Add a description, image, and links to the circle-stark topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the circle-stark topic, visit your repo's landing page and select "manage topics."