Certora / CertoraProverSupplementary

Related projects ⓘ

Alternatives and complementary repositories for CertoraProverSupplementary

• huff-language / huff-breakage
  Incorrect, Breaking, and Footgunned Huff Contracts.
  ☆30Updated last year
• Maddiaa0 / huff-vrgda
  Huff Implementation of VRGDAs
  ☆41Updated 2 years ago
• 0xKitsune / EVM-Puzzles-Walkthrough
  ☆41Updated 2 years ago
• Certora / Documentation
  ☆17Updated this week
• hrkrshnn / notes
  ☆50Updated last year
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆18Updated 3 months ago
• adhusson / delegate-prank
  Delegatecall from any contract. A kind of vm.prank for delegatecalls.
  ☆19Updated 2 months ago
• primitivefinance / pso-sol
  Primitive Standards (PSO) for solidity. Forked from solcurity: opinionated security and code quality standard for Solidity smart contract…
  ☆15Updated last year
• alexroan / chuff
  Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language
  ☆32Updated 2 years ago
• euler-xyz / fee-flow
  Efficient, decentralised and MEV resistant mechanism to convert fee assets to a single token.
  ☆21Updated 3 months ago
• leonardoalt / sol-macros
  ☆31Updated 2 years ago
• 0xvv / BatchDepositHuff
  Efficient beacon chain batch deposit contract written in huff
  ☆23Updated last year
• jtriley-eth / super-liquidator
  ☆33Updated 2 years ago
• 0xKitsune / Optimized-Merkle-Proof
  ☆17Updated 2 years ago
• vicnaum / huff-immutables
  Dynamic constructor-initializable immutables example in Huff
  ☆15Updated last year
• PraneshASP / huff-math
  This repo contains smart contract to perform basic arithmetic operations implemented using Huff
  ☆24Updated 6 months ago
• morpho-org / morpho-security
  A collection of practical security-focused guides and checklists for Morpho smart contract development.
  ☆26Updated last year
• antoncoding / gas-diff-action
  Compares gas usage in Solidity projects using Foundry and comments the changes on the PR
  ☆23Updated last month
• devtooligan / Huffpoint
  Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
  ☆34Updated last year
• spearbit / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆32Updated 2 years ago
• brockelmore / graphstack
  ☆54Updated 2 years ago
• PraneshASP / yul2huff
  A simple tool to convert Yul arithmetic expressions to Huff
  ☆14Updated last year
• Philogy / gud-cdf
  ☆17Updated 3 months ago
• unhackedctf / schnoodle
  unhacked challenge 2: schnoodle
  ☆21Updated 2 years ago
• aviggiano / fuzzer-evaluation
  Evaluating fuzzer effectiveness
  ☆21Updated last year
• georgercarder / compression
  solidity compression utility
  ☆19Updated last month
• dragonfly-xyz / nottingham-contracts
  ☆18Updated 4 months ago
• Certora / FoundryIntegration
  Certora integration with the Forge testing framework of Foundry
  ☆20Updated last year
• 0xClandestine / RemcoMath
  RemcoMathLib is a Gas optimized FullMath implementation inspired by Remco Bloemen.
  ☆31Updated 2 years ago