asm-nop / lemma

Related projects ⓘ

Alternatives and complementary repositories for lemma

• horsefacts / huff-test
  Better assertion macros for pure Huff tests.
  ☆19Updated last year
• clabby / op-reth
  ☆17Updated last year
• waterfall-mkt / curta-golf
  A king-of-the-hill style competition, where players optimize gas challenges.
  ☆21Updated 8 months ago
• rkdud007 / alloy-merkle-tree
  Minimal Merkle Tree implementations
  ☆26Updated last month
• hrkrshnn / solmate-math-fuzz
  ☆34Updated 2 years ago
• clabby / curta-puzzle
  ☆16Updated last year
• SorellaLabs / pade
  Macros + Primitives for PADE format
  ☆26Updated last week
• fluidex / solidity_recursive_plonk_verifier
  Solidity verifier for Recursive Proof Composition using Plonk
  ☆12Updated 3 years ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆20Updated last year
• devtooligan / curta-elohim
  A puzzle for Curta CTF
  ☆26Updated last year
• kadenzipfel / huff-tools
  A set of tools for use with the huff language.
  ☆21Updated 2 years ago
• kadenzipfel / labyrinth
  Curta CTF #12
  ☆20Updated last year
• mattsse / inscribememaybe
  inscriptions lol
  ☆16Updated 10 months ago
• yash-atreya / reth-walk-storage
  ☆24Updated 9 months ago
• trianglesphere / rnode
  ☆21Updated last year
• karmacoma-eth / snow-computer-club
  ☆17Updated 2 years ago
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆30Updated 3 months ago
• refcell / huffplate
  Robust, Extensible Template for Huff Projects
  ☆27Updated 2 years ago
• 0xPhaze / clones-with-immutable-args-comparison
  ☆12Updated 2 years ago
• primitivefinance / portfolio_simulations
  Moving to the new Arbiter framework to test Portfolio.
  ☆10Updated last year
• pcaversaccio / p256-verifier-vyper
  P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.
  ☆19Updated this week
• kmbarry1 / fund-eq-of-dai-certora
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Updated 5 months ago
• orenyomtov / doves-in-the-wind-ctf-solution
  This is my solution. If you think you can further optimize it - be my guest!
  ☆23Updated 2 years ago
• refcell / varro
  A persistent, robust, and composable proposal service for rollup stacks written in pure rust.
  ☆18Updated last year
• jtriley-eth / libhuff
  optimized huff snippets
  ☆20Updated last year
• jtriley-eth / unbug
  Solidity calldata, memory, transient storage, and storage debugger
  ☆20Updated last year
• refcell / evolve
  On-Chain Experiment Hub
  ☆14Updated 2 years ago
• huff-language / huffers
  Fully Onchain Badges for Huff Language GitHub Contributors.
  ☆16Updated 2 years ago