HerodotusDev / cairo-mmrView external linksLinks
Cairo Merkle Mountain Range
☆37Nov 8, 2023Updated 2 years ago
Alternatives and similar repositories for cairo-mmr
Users that are interested in cairo-mmr are comparing it to the libraries listed below
Sorting:
- ☆13Mar 6, 2023Updated 2 years ago
- ☆100Jun 14, 2022Updated 3 years ago
- The Slush SDK allows you to spin up L3s on Starknet☆68Feb 20, 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
- Computes SHA256 of arbitrary length inputs.☆15Nov 2, 2022Updated 3 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- Abi parser for Cairo smart contracts, based on wagmi abitype☆63Dec 13, 2024Updated last year
- Specification of P2P protocol for StarkNet nodes☆53Jan 15, 2026Updated last month
- A dataframe approach to the Cairo framework☆17Feb 10, 2025Updated last year
- ☆23Jun 29, 2022Updated 3 years ago
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇☆29May 30, 2025Updated 8 months ago
- A library to generate bindings from Cairo ABI.☆50Feb 6, 2026Updated last week
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Sep 12, 2023Updated 2 years ago
- Cairo STARK proof verifier for Starknet☆75Jan 27, 2026Updated 2 weeks ago
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23May 4, 2023Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆156Aug 25, 2022Updated 3 years ago
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆34Feb 26, 2023Updated 2 years ago
- ☆12Apr 14, 2022Updated 3 years ago
- Cairo bootloader port for the Rust Cairo VM.☆12Jul 3, 2024Updated last year
- Integrating Stone Prover's generated proofs with the Cairo0 verifier☆10Mar 8, 2024Updated last year
- Cairo implementation of operations over the elliptic curve BLS12-381☆14Feb 8, 2023Updated 3 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 years ago
- The (unofficial) Cairo extension for vscode☆16Sep 24, 2022Updated 3 years ago
- JsonWebToken implementation for cairo-lang http://self-issued.info/docs/draft-ietf-oauth-json-web-token.html☆13May 30, 2022Updated 3 years ago
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆67Mar 24, 2023Updated 2 years ago
- Fixed point 64.61 math library for Cairo / Starknet☆65Mar 8, 2023Updated 2 years ago
- An efficient implementation of ECDSA on secp256r1 in Cairo☆23Aug 28, 2023Updated 2 years ago
- Foundry like framework for starknet contracts☆75Mar 9, 2023Updated 2 years ago
- Base64 encode felts☆16Oct 8, 2022Updated 3 years ago
- A stateless trustless Starknet light client in Rust 🦀☆262Oct 1, 2025Updated 4 months ago
- A simple multisig implementation for StarkNet☆43May 28, 2022Updated 3 years ago
- Ethereum <> Starknet RPC middleware.☆43Oct 22, 2025Updated 3 months ago
- Integration of IBC with Starknet☆21Sep 16, 2025Updated 4 months ago
- ☆42Jul 8, 2024Updated last year
- A community project to standardise plugins in StarkNet account contracts☆23Jun 8, 2023Updated 2 years ago
- 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs☆375Nov 19, 2024Updated last year
- Smart contracts for on-chain anonymous settlement.☆124Sep 1, 2025Updated 5 months ago
- A tool for single Ethereum archival block state proofs.☆35Oct 19, 2023Updated 2 years ago
- Various ERC-721 Dutch Auctions for StarkNet☆31May 28, 2022Updated 3 years ago