keep-starknet-strange / shinigami
Bitcoin Script VM in Cairo
☆61Updated this week
Related projects ⓘ
Alternatives and complementary repositories for shinigami
- Bitcoin ZK client written in Cairo.☆42Updated this week
- Decentralized social built with Nostr and powered by Starknet account abstraction.☆68Updated 3 months ago
- Coloniz empowers you to build smart, autonomous communities effortlessly.☆25Updated this week
- Building blocks of a Circle STARK verifier in Bitcoin script☆126Updated this week
- Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙♂️☆39Updated last year
- Competitive art canvas on Starknet☆29Updated this week
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆158Updated 8 months ago
- Empower Your Assets, Redefine Control.☆24Updated 4 months ago
- ☆13Updated this week
- Rust Library for running the Starknet OS via the Cairo VM☆57Updated this week
- ☆18Updated 3 months ago
- AFK: Aligned Fam Kernel - Monorepo☆14Updated this week
- ☆65Updated this week
- Various forms of distribution for the Starkware Stone prover and verifier☆16Updated 3 weeks ago
- Celestia -> Starknet bridge☆46Updated 6 months ago
- Madara is a powerful hybrid Starknet client written in Rust.☆79Updated this week
- An open-source, up-to-date toolkit for building decentralized applications (dapps) on Starknet. Move from prototyping to production-grade…☆57Updated last month
- ☆26Updated last month
- ☆38Updated 2 months ago
- A virtual machine for Cairo written in Go☆82Updated last week
- Deoxys 👽 is a Starknet full node based on substrate and powered by Rust 🦀☆27Updated 8 months ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆29Updated last month
- A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.☆18Updated 3 months ago
- ☆41Updated 3 months ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆77Updated last year
- Code for Account Abstraction workshop using latest Starknet syntax☆23Updated 7 months ago
- YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.☆54Updated 10 months ago
- Mobile OS built for Starknet☆23Updated 2 weeks ago
- CLI to verify your starknet contracts classes on block explorers!☆19Updated 2 weeks ago
- Starknet Core Contract components in Cairo.☆26Updated 2 months ago