circle-stark

Here are 5 public repositories matching this topic...

Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.

rust cairo stark zero-knowledge zkvm circle-stark

Powering Verifiable Computation for Nostr Data Vending Machines.

bitcoin lightning-network zero-knowledge-proofs starknet nostr circle-stark stwo nip-90 nostr-dvm

Demo running STWO prover and verifier in Browser, using WASM.

cairo wasm zero-knowledge starknet client-side-proving circle-stark

A Haskell STARK Prover.

haskell stark circle-stark stwo

Aspis ZK: native Circle STARK verification and private payments on Solana, with Lean 4 proofs and finalized mainnet evidence.

To associate your repository with the circle-stark topic, visit your repo's landing page and select "manage topics."