Alternatives and similar repositories for snailtracer

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

• AztecProtocol / weierstrudel
  Huff implementation of the bn254 curve, for Ethereum smart contracts
  ☆112Updated 5 years ago
• refcell / cairomate
  Structured, dependable legos for Starknet development.
  ☆132Updated 2 years ago
• yoavw / cross-rollup-bridge
  ☆52Updated 4 years ago
• axic / evm.elf
  ☆77Updated 2 years ago
• leonardoalt / tinyzkevm
  ☆46Updated 3 years ago
• recmo / experiment-solexp
  Fixed point solidity exponentiation.
  ☆75Updated 3 years ago
• ethdebug / solidity-data-representation
  Paper: Data Representation in Solidity
  ☆60Updated last year
• hananbeer / evm2
  e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.
  ☆91Updated 2 years ago
• dialecticch / sibyl
  An easy tool to apply transactions to the current EVM state. Optimized for MEV.
  ☆78Updated 3 years ago
• factorgroup / nightmarket
  ☆47Updated 2 years ago
• recmo / yul
  ☆102Updated 2 years ago
• Maddiaa0 / governor-of-athens
  Governor of Athens: A protocol to enable private governance on existing governor bravo contracts by leveraging Aztec's Defi Batching
  ☆88Updated 2 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆53Updated 2 years ago
• xorddotcom / SHIELD
  Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…
  ☆60Updated 2 years ago
• kkailiwang / erc20r
  ☆56Updated last year
• erigontech / erigon-book
  Technical book about Erigon technology
  ☆56Updated 2 years ago
• outsider-analytics / ZK-Circuit-Performance-and-Security-Data
  To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …
  ☆60Updated 2 years ago
• poma / zkutil
  A tool to work with zkSNARK circuits generated by Circom compiler
  ☆103Updated 3 years ago
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 2 years ago
• wadealexc / ERC20Tweetable
  Minimal ERC20-compatible bytecode
  ☆71Updated 3 years ago
• ralexstokes / relay-monitor
  ☆60Updated last year
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆90Updated last year
• ControlCplusControlV / Foundry-Yulp
  ☆75Updated 3 years ago
• 0xfuturistic / emily
  🔒💬 A protocol for credible commitments.
  ☆75Updated last year
• 0xsequence / czip
  EVM Calldata Zip, aka czip
  ☆99Updated last year
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 3 years ago
• primitivefinance / hardhat-foundry
  Forkable hardhat & foundry template for thorough evm development.
  ☆87Updated 2 years ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• refcell / cairostarter
  Forkable, Minimal Template for Starknet Projects.
  ☆44Updated 3 years ago