keep-starknet-strange / raito
Bitcoin ZK client written in Cairo.
β61Updated this week
Alternatives and similar repositories for raito
Users that are interested in raito are comparing it to the libraries listed below
Sorting:
- Bitcoin Script VM in Cairoβ68Updated 3 months ago
- Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. π¦π§ββοΈβ38Updated last year
- β75Updated this week
- Decentralized social built with Nostr and powered by Starknet account abstraction.β79Updated 8 months ago
- Competitive art canvas on Starknetβ32Updated this week
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)β159Updated 4 months ago
- β49Updated this week
- Building blocks of a Circle STARK verifier in Bitcoin scriptβ155Updated this week
- Rust Library for running the Starknet OS via the Cairo VMβ62Updated 3 weeks ago
- β17Updated 9 months ago
- Cairo STARK proof verifier for Starknetβ71Updated last week
- A community-developed re-implementation of the Starkware Stone Proverβ69Updated 6 months ago
- β16Updated 4 months ago
- Starknet Core Contract components in Cairo.β27Updated this week
- Hanji generates docs for your Cairo libraryβ10Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to useβ51Updated last month
- A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.β58Updated 5 months ago
- A comprehensive library for Cairo πΊβ38Updated 3 months ago
- A curated list of awesome projects using STWO.β23Updated 2 months ago
- A privacy-preserving payment network. Enabling seamless off-chain transactions with bearer tokens backed by on-chain assets.β25Updated this week
- β29Updated 3 months ago
- Celestia -> Starknet bridgeβ46Updated 11 months ago
- Cairo-VM STONE STARK Verifier Rust implementationβ42Updated 3 months ago
- β42Updated 9 months ago
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wrβ¦β57Updated last year
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom languageβ103Updated last year
- STARK 101 Workshop in Rust πΊπ¦β137Updated 2 years ago
- Ethereum <> Starknet RPC middleware.β43Updated 3 weeks ago
- Shenlong is a blazingly fast β‘ tool to generate LLVM IR from Cairo, written in Rust π¦β67Updated 2 years ago
- CLI to verify your starknet contracts classes on block explorers!β26Updated last month