chyanju / __archived__Medjai

Related projects ⓘ

Alternatives and complementary repositories for __archived__Medjai

• guangyuz / arkworks-gadgets
  Zero-knowledge gadget for Sparse Merkle Tree.
  ☆20Updated 2 years ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆49Updated 2 years ago
• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated last year
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆18Updated 3 months ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆41Updated 5 months ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆30Updated last month
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆16Updated 4 months ago
• dragonfly-xyz / nottingham-contracts
  ☆18Updated 4 months ago
• vorot93 / otterscan-rs
  Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.
  ☆24Updated 2 years ago
• sedaprotocol / bn254
  ☆15Updated 5 months ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆26Updated 2 years ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• williamberman / evm-symbolic-execution
  ☆34Updated 2 years ago
• SorellaLabs / pade
  Macros + Primitives for PADE format
  ☆26Updated last week
• Philogy / mini-zkvm
  ☆13Updated last year
• realbigsean / mock-relay
  ☆21Updated last year
• PraneshASP / yul2huff
  A simple tool to convert Yul arithmetic expressions to Huff
  ☆14Updated last year
• Veridise / Coda
  ☆46Updated last year
• NethermindEth / optimized_ecc_cairo
  Cairo implementation of operations over the elliptic curve BLS12-381
  ☆14Updated last year
• Certora / CertoraProverSupplementary
  Supplementary Material to be used with the Certora Prover
  ☆17Updated 2 years ago
• pcaversaccio / p256-verifier-vyper
  P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.
  ☆19Updated this week
• distributedstatemachine / eigenlayer-rs
  ☆19Updated 7 months ago
• puma314 / verified-logs
  Verify a log is present in a block.
  ☆12Updated 8 months ago
• Consensys / plonk-solidity-audit
  Plonk verifier in solidity (using Commit api)
  ☆20Updated 4 months ago
• devtooligan / Huffpoint
  Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
  ☆34Updated last year
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated last year
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆52Updated this week
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆29Updated last year
• AmanGotchu / RandaoZKP
  ☆22Updated 2 years ago