Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.
-
Updated
Jul 26, 2026 - Rust
#
circle-stark
Here are 5 public repositories matching this topic...
Powering Verifiable Computation for Nostr Data Vending Machines.
-
Updated
Jul 28, 2026 - Rust
Demo running STWO prover and verifier in Browser, using WASM.
-
Updated
Jun 27, 2024 - JavaScript
Private-spend research on Solana, with Lean-checked mathematics, selected Rust linked to the models through Aeneas, reproducible builds, and a finalized mainnet execution.
privacy stark formal-verification zero-knowledge solana aeneas m31 lean4 poseidon2 circle-stark whir trusted-setup-free
-
Updated
Jul 26, 2026 - Lean
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."