Alternatives and similar repositories for opcode-purity

Users that are interested in opcode-purity are comparing it to the libraries listed below

• protolambda / macula
  Experimental python optimistic rollup fraud-proof generation
  ☆29Updated 3 years ago
• ricobank / multifab-draft
  SUPERCEDED by ricobank/multifab
  ☆20Updated 3 years ago
• AdvaithD / protocol-pg
  evm playground - optimizations, patterns and bytecode decoding
  ☆15Updated 3 years ago
• rainbreak / crop
  ☆13Updated 4 years ago
• hellwolf / popsicle-exploit
  Using various tools to rediscover popsicle exploit
  ☆15Updated 3 years ago
• kmbarry1 / fund-eq-of-dai-certora
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Updated last year
• transmissions11 / muldiv-battle
  Gas comparison between Remco Bloemen's and Mikhail Vladimirov's mulDiv implementations.
  ☆18Updated 4 years ago
• 0xinugami / aztec-lido-bridge
  ☆12Updated 3 years ago
• fiatdao / fiat-i
  Protocol
  ☆18Updated 2 years ago
• barryWhiteHat / zkvm
  a sketch of what a zkvm could look like
  ☆26Updated 4 years ago
• AztecProtocol / consolerr
  Solidity error logging
  ☆23Updated 4 years ago
• thomas-waite / zkSocialRecovery
  Novel zero-knowledge proof based social recovery of smart contract wallets
  ☆34Updated 2 years ago
• gakonst / optimism-tx-format
  Shows how optimistic geth modifies transactions that get submitted to it by converting them to OVM Messages and then calls to the OVM Exe…
  ☆27Updated 4 years ago
• emo-eth / are-we-immutable-yet
  Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to
  ☆29Updated 3 years ago
• adietrichs / kzg-sharding
  ☆19Updated 3 years ago
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆32Updated 2 years ago
• d1ll0n / evm-hypervisor
  ☆23Updated 6 years ago
• liamzebedee / awesome-cairo
  A list of awesome Cairo and STARK-adjacent projects
  ☆16Updated 3 years ago
• quilt / etk-foundry-template
  etk-Foundry project template
  ☆21Updated 2 years ago
• recmo / kzg-ceremony-coordinator
  Moved to https://github.com/ethereum/kzg-ceremony-sequencer
  ☆17Updated 3 years ago
• gakonst / noir-hello-world
  ☆31Updated 3 years ago
• saucepoint / sylphrena
  pseudonymous transfers of Ether tokens using create2 & selfdestruct()
  ☆32Updated 3 years ago
• PaulRBerg / check-same-sign
  Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity
  ☆46Updated 3 years ago
• 0xkarmacoma / snow-computer-club
  ☆17Updated 3 years ago
• perama-v / archors
  A tool for single Ethereum archival block state proofs.
  ☆35Updated 2 years ago
• b-chiang / schnorr-nizk
  ☆14Updated 3 years ago
• nikkolasg / halo2-circuits
  ☆28Updated 4 years ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆17Updated 2 years ago
• fxfactorial / eth-peers-tui
  ☆10Updated 4 years ago
• wolflo / forge-middleware
  foundry + ethers
  ☆22Updated 3 years ago