runtimeverification / kontrol

Related projects: ⓘ

• crytic / roundme
  ☆86Updated 3 months ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆49Updated 3 weeks ago
• 0xJCN / Damn-Vulnerable-DeFi-V3-CTF
  Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff
  ☆25Updated last year
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆57Updated last year
• moodlezoup / forge-deep
  Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework
  ☆65Updated last year
• jtriley-eth / mutexer
  ☆58Updated 7 months ago
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆57Updated 3 years ago
• AmadiMichael / Huff-Console
  Console.log utility for debugging huff contracts
  ☆63Updated 10 months ago
• crytic / secureum-medusa
  ☆43Updated last year
• 0xKitetsu-smdk / Learning-EVM-using-Yul-Huff
  Gas Golfing using Huff and Yul
  ☆82Updated 2 years ago
• aviggiano / fuzzer-evaluation
  Evaluating fuzzer effectiveness
  ☆20Updated last year
• ethdebug / format
  Smart contract debugging data format – Standards development working group
  ☆44Updated 3 weeks ago
• 0xKitsune / sstan
  Solidity static analyzer
  ☆82Updated 9 months ago
• jtriley-eth / huff-style-guide
  A mostly mostly reasonable approach to Huff styling.
  ☆78Updated last year
• moodlezoup / huffidity-poc
  ☆61Updated last year
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆57Updated 10 months ago
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated last year
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated last year
• AmadiMichael / Zyclone
  2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash
  ☆73Updated 11 months ago
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆83Updated 8 months ago
• ChmielewskiKamil / foundry2echidna
  CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.
  ☆13Updated last year
• jtriley-eth / inline-yul-style-guide
  A mostly mostly reasonable approach to inline Yul styling.
  ☆29Updated 5 months ago
• ethereum-optimism / transience
  A Solidity library for transient storage management ✨
  ☆52Updated 2 months ago
• 0xMacro / gas-numbers-every-solidity-dev-should-know
  ☆54Updated 2 years ago
• jtriley-eth / smart-types
  ☆68Updated last year
• Philogy / py-huff
  ☆45Updated 5 months ago
• Zellic / Masamune
  A smart contract security search utility
  ☆54Updated this week
• Dedaub / audits
  Repository containing past audit reports
  ☆53Updated 9 months ago
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago
• g-01234 / scope
  ☆47Updated 9 months ago