stark topic
stark-snark-recursive-proofs
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
pebble-stark
A community-developed re-implementation of the Starkware Stone Prover
kakarot
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Whatsapp-spy
Its a Simple Social engineering Tool
khepri
STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
stark-sketch-plugin
Ensure your design is accessible and high contrast for every type of color blindness
sandstorm
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
Aero
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
eigen-zkvm
A Rust zkVM with a Modular Proof System