Alternatives and similar repositories for Medjai

Users that are interested in Medjai are comparing it to the libraries listed below

• chyanju / __archived__Medjai

  View on GitHub
  A Symbolic Execution Tool for Cairo
  ☆15Jul 25, 2022Updated 3 years ago
• Veridise / Picus

  View on GitHub
  Automated verification of uniqueness property for ZKP circuits
  ☆93Mar 13, 2024Updated last year
• maxgillett / giza

  View on GitHub
  A Cairo VM prover implemented using Winterfell
  ☆156Aug 25, 2022Updated 3 years ago
• Veridise / Eurus

  View on GitHub
  Precise Attack Synthesis for DeFi Apps
  ☆47Aug 15, 2022Updated 3 years ago
• gaetbout / starknet-felt-packing

  View on GitHub
  ☆18Sep 20, 2022Updated 3 years ago
• skyro-compiler / skyro

  View on GitHub
  Home of the Skyro compiler
  ☆44Dec 12, 2022Updated 3 years ago
• franalgaba / pre-commit-cairo

  View on GitHub
  Cairo hooks for pre-commit
  ☆17May 21, 2022Updated 3 years ago
• Veridise / Coda

  View on GitHub
  ☆47Aug 31, 2023Updated 2 years ago
• FuzzingLabs / thoth

  View on GitHub
  Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
  ☆271Apr 22, 2025Updated 9 months ago
• keep-starknet-strange / shenlong

  View on GitHub
  Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀
  ☆67Mar 24, 2023Updated 2 years ago
• udayj / token_gated_account

  View on GitHub
  ERC721 token gated account contract for starknet
  ☆14Apr 21, 2022Updated 3 years ago
• cartridge-gg / cairo-sha256

  View on GitHub
  Computes SHA256 of arbitrary length inputs.
  ☆15Nov 2, 2022Updated 3 years ago
• sambarnes / cairo-bloom

  View on GitHub
  A naive bloom filter implementation in Cairo
  ☆37May 28, 2022Updated 3 years ago
• franklynwang / EcneProject

  View on GitHub
  Ecne: An engine for verifying the soundness of R1CS constraints
  ☆114Aug 2, 2022Updated 3 years ago
• yacovm / DualDory

  View on GitHub
  ☆10Jun 29, 2022Updated 3 years ago
• FuzzingLabs / cairo-fuzzer

  View on GitHub
  Cairo/Starknet smart contract fuzzer
  ☆129Apr 22, 2025Updated 9 months ago
• 0xtonysprocket / mammoth_pool

  View on GitHub
  Starknet pool to provide non-custodial liquidity to central limit order book market makers
  ☆25Jul 21, 2022Updated 3 years ago
• whbjzzwjxq / ZKAP

  View on GitHub
  ☆25Aug 14, 2024Updated last year
• sambarnes / cairo-multisig

  View on GitHub
  A simple multisig implementation for StarkNet
  ☆43May 28, 2022Updated 3 years ago
• ondrejsojka / cairo-migration-prompt

  View on GitHub
  Prompt for GPT-4 to migrate Cairo 0 to Cairo 1
  ☆23May 4, 2023Updated 2 years ago
• fluidex / snarkit

  View on GitHub
  A toolkit to compile and debug circom circuit.
  ☆27Sep 27, 2023Updated 2 years ago
• andrewmilson / sandstorm

  View on GitHub
  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
  ☆161Jan 11, 2025Updated last year
• bellissimogiorno / cairo-integer-types

  View on GitHub
  A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite
  ☆29May 19, 2022Updated 3 years ago
• crytic / caracal

  View on GitHub
  Static Analyzer for Starknet smart contracts
  ☆146Jan 25, 2024Updated 2 years ago
• beautyisourbusiness / cairo-goldmine

  View on GitHub
  A COMPREHENSIVE, ANNOTATED LIST OF REPOSITORIES OF THE STARKNET ECOSYSTEM
  ☆293Oct 12, 2022Updated 3 years ago
• crytic / amarna

  View on GitHub
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆147Feb 14, 2025Updated last year
• unbalancedparentheses / learning

  View on GitHub
  I like to learn new things
  ☆10Dec 10, 2022Updated 3 years ago
• starkware-libs / papyrus

  View on GitHub
  Papyrus is a StarkNet full node written in Rust.
  ☆322Dec 26, 2024Updated last year
• pscott / StarknetCC-CTF

  View on GitHub
  Write up of the StarknetCC-Lisbon-CTF
  ☆20Nov 7, 2022Updated 3 years ago
• lambdaclass / starknet_tendermint_sequencer

  View on GitHub
  Starknet sequencer built with Tendermint Core
  ☆52Apr 3, 2023Updated 2 years ago
• OilerNetwork / fossil_cairo0

  View on GitHub
  ☆100Jun 14, 2022Updated 3 years ago
• software-mansion / protostar

  View on GitHub
  Protostar is a toolchain for developing and testing Starknet contracts
  ☆249Jul 19, 2023Updated 2 years ago
• dontpanicdao / starknet-burner

  View on GitHub
  A Key Manager for Starknet Accounts that removes the need to sign transactions, Twitter @StarknetBurner
  ☆62Oct 28, 2022Updated 3 years ago
• zksecurity / stark-book

  View on GitHub
  STARK book
  ☆20Sep 25, 2024Updated last year
• recmo / pc-bench

  View on GitHub
  Benchmarking Polynomial Commitments
  ☆51Jul 3, 2023Updated 2 years ago
• slushsdk / slush

  View on GitHub
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Feb 20, 2023Updated 2 years ago
• tokamak-network / DEPRECATED-Tokamak-ZkEVM

  View on GitHub
  A new type of zk-EVM for L2 rollup
  ☆10Feb 1, 2025Updated last year
• Philogy / mini-zkvm

  View on GitHub
  ☆12Mar 30, 2023Updated 2 years ago
• moven0831 / fraud-proof-groth16

  View on GitHub
  Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…
  ☆11Oct 10, 2023Updated 2 years ago