chyanju / __archived__Medjai

Related projects: ⓘ

• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆17Updated 3 weeks ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆48Updated 2 years ago
• chyanju / Picus
  Automated verification of uniqueness property for ZKP circuits
  ☆39Updated 3 months ago
• guangyuz / smt-halo2
  Zero-knowledge gadget for Sparse Merkle Tree.
  ☆20Updated 2 years ago
• dragonfly-xyz / nottingham-contracts
  ☆18Updated 2 months ago
• Philogy / mini-zkvm
  ☆13Updated last year
• aviggiano / fuzzer-evaluation
  Evaluating fuzzer effectiveness
  ☆20Updated last year
• devtooligan / Huffpoint
  Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
  ☆34Updated 10 months ago
• 0xvv / BatchDepositHuff
  Efficient beacon chain batch deposit contract written in huff
  ☆23Updated 11 months ago
• fxfactorial / celestia-iphone
  ☆15Updated 8 months ago
• vorot93 / otterscan-rs
  Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.
  ☆24Updated 2 years ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆15Updated 2 months ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆26Updated 2 years ago
• williamberman / evm-symbolic-execution
  ☆33Updated 2 years ago
• realbigsean / mock-relay
  ☆19Updated 11 months ago
• pcaversaccio / p256-verifier-vyper
  P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.
  ☆19Updated this week
• hrkrshnn / ethccgame
  ☆13Updated 2 years ago
• minaminao / op-club-sqrt
  Solution for the Optimizoor club's sqrt challenge
  ☆18Updated last year
• primitivefinance / pso-sol
  Primitive Standards (PSO) for solidity. Forked from solcurity: opinionated security and code quality standard for Solidity smart contract…
  ☆15Updated last year
• jtriley-eth / sol-fun
  ☆22Updated last year
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆15Updated last year
• distributedstatemachine / eigenlayer-rs
  ☆18Updated 5 months ago
• leonardoalt / sol-macros
  ☆31Updated last year
• clabby / keccak256-aarch64
  A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.
  ☆19Updated 10 months ago
• Will-Smith11 / solstacean
  ☆10Updated this week
• unhackedctf / schnoodle
  unhacked challenge 2: schnoodle
  ☆22Updated 2 years ago
• Certora / CertoraProverSupplementary
  Supplementary Material to be used with the Certora Prover
  ☆17Updated 2 years ago
• anton-rs / durin
  A Rust library for creating solvers in the OP Stack's dispute protocol
  ☆17Updated 8 months ago
• kmbarry1 / fund-eq-of-dai-certora
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Updated 3 months ago
• PraneshASP / yul2huff
  A simple tool to convert Yul arithmetic expressions to Huff
  ☆14Updated last year