starkware-libs / sequencer
☆18Updated this week
Related projects: ⓘ
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 2 weeks ago
- Exploratory work on abigen in rust for Starknet 🦀☆15Updated 9 months ago
- Hanji generates docs for your Cairo library☆11Updated last year
- A comprehensive library for Cairo 🐺☆37Updated last month
- Cairo bootloader port for the Rust Cairo VM.☆11Updated 2 months ago
- an introduction to noir, with simple examples☆43Updated 8 months ago
- Security Challenges for Starknet☆12Updated 3 months ago
- Caironet is a simple test runner to test starknet contracts with mocked addresses☆13Updated last year
- Blazing fast tool to benchmark Starknet sequencers 🦀☆21Updated 3 months ago
- bn254 pairing library for Cairo Zero☆26Updated last year
- A graph library written in Cairo☆24Updated last year
- ☆35Updated last year
- Axiom smart contracts☆27Updated last year
- Documentation generator for Cairo projects.☆14Updated last year
- Utility features to play with EIP-4844 blobs for Starknet usage.☆14Updated 3 months ago
- ☆39Updated last year
- ☆31Updated 6 months ago
- Anon, prove your everAI on starknet — everAI mirroring☆11Updated 10 months ago
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23Updated last year
- Just a Chess game with some Cairo on top☆16Updated 11 months ago
- An API compatible port of the Stone prover.☆13Updated last week
- A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite☆29Updated 2 years ago
- Forkable template to get you started with Starknet Foundry's Forge☆15Updated 10 months ago
- Export Circom verifier to Cairo☆48Updated 2 years ago
- A Starknet toolkit☆17Updated 3 months ago
- A collection of all the project ideas involving zk, blockchains & what not☆22Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆13Updated last month
- ☆22Updated 2 weeks ago
- Write up of the StarknetCC-Lisbon-CTF☆20Updated last year
- An efficient implementation of ECDSA on secp256r1 in Cairo☆23Updated last year