ondrejsojka / cairo-migration-promptView external linksLinks
Prompt for GPT-4 to migrate Cairo 0 to Cairo 1
☆23May 4, 2023Updated 2 years ago
Alternatives and similar repositories for cairo-migration-prompt
Users that are interested in cairo-migration-prompt are comparing it to the libraries listed below
Sorting:
- ☆13Feb 16, 2025Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 7 months ago
- A tree-sitter-grammar for cairo 1.0☆16Dec 14, 2022Updated 3 years ago
- The Slush SDK allows you to spin up L3s on Starknet☆68Feb 20, 2023Updated 2 years ago
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- Cairo hooks for pre-commit☆17May 21, 2022Updated 3 years ago
- Cairo Merkle Mountain Range☆37Nov 8, 2023Updated 2 years ago
- Tool to install Cairo 1.0 with a single command☆15Apr 1, 2023Updated 2 years ago
- ☆100Jun 14, 2022Updated 3 years ago
- Cairo Package Manager☆35Dec 31, 2022Updated 3 years ago
- Write up of the StarknetCC-Lisbon-CTF☆20Nov 7, 2022Updated 3 years ago
- Abi parser for Cairo smart contracts, based on wagmi abitype☆63Dec 13, 2024Updated last year
- A comprehensive library for Cairo 🐺☆40Jan 27, 2026Updated 3 weeks ago
- Celestia -> Starknet bridge☆47May 22, 2024Updated last year
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- wall time exex for reth☆12Aug 5, 2024Updated last year
- ☆13Dec 3, 2022Updated 3 years ago
- I like to learn new things☆10Dec 10, 2022Updated 3 years ago
- Forkable template to get you started with Starknet Foundry's Forge☆15Nov 15, 2023Updated 2 years ago
- Cairo bootloader port for the Rust Cairo VM.☆12Jul 3, 2024Updated last year
- Howitzer is a Fault Proof VM based on the MIPS64 architecture☆14Sep 4, 2024Updated last year
- An ERC721 implementation in Cairo 1☆12Apr 25, 2023Updated 2 years ago
- Cairo STARK proof verifier for Starknet☆75Jan 27, 2026Updated 3 weeks ago
- Cairo verification of webauthn authentication credentials☆33Apr 20, 2024Updated last year
- Foundry like framework for starknet contracts☆75Mar 9, 2023Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 years ago
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆29May 30, 2025Updated 8 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆251Jan 24, 2026Updated 3 weeks ago
- Blazing fast toolkit for developing Starknet contracts.☆389Updated this week
- ☆14Aug 29, 2024Updated last year
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- Caching sparse Merkle Patricia Trie for reth.☆12Nov 18, 2024Updated last year
- The First Onchain Generative Music Library. Deployed on Starknet☆10Dec 3, 2024Updated last year
- ☆43Apr 4, 2023Updated 2 years ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 2 years ago
- 👓☆15Jan 20, 2023Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆52Sep 13, 2022Updated 3 years ago
- A storage system inspired by Besu using Starknet Merkle Trees☆61Jan 18, 2026Updated 3 weeks ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Sep 23, 2022Updated 3 years ago