Certora / CertoraProverSupplementaryLinks
Supplementary Material to be used with the Certora Prover
☆17Updated 3 years ago
Alternatives and similar repositories for CertoraProverSupplementary
Users that are interested in CertoraProverSupplementary are comparing it to the libraries listed below
Sorting:
- ☆41Updated 3 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆22Updated last year
- ☆51Updated 2 years ago
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆50Updated 2 years ago
- Huff Implementation of VRGDAs☆41Updated 3 years ago
- Decentralized Summation System☆45Updated 3 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 3 years ago
- Extensive Tests with the Forge Standard Library,☆20Updated 3 years ago
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated last year
- A binary search tree implementation in Solidity☆20Updated 3 years ago
- Repo for Yield Protocol 2022 mentorship lessons☆26Updated 3 years ago
- ☆17Updated last year
- Morpho token contracts.☆14Updated last year
- Efficient beacon chain batch deposit contract written in huff☆22Updated 2 years ago
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated 2 years ago
- A repository to store everything related to Mean's oracles☆17Updated 9 months ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago
- ☆18Updated last week
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30Updated 3 years ago
- ☆42Updated 3 years ago
- ☆55Updated 3 years ago
- ⛳ Template for Forge + EVM Toolkit☆54Updated 3 years ago
- ☆37Updated 4 years ago
- Solidity transient storage that's mutable from within a `STATICCALL`☆24Updated 8 months ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 3 years ago
- standardized framework to simulate governance proposals with forge☆58Updated 2 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 3 years ago
- Testing echidna vs. forge fuzzing☆77Updated 3 years ago
- ERC4626 vaults to ease interaction with Morpho Optimizers.☆43Updated last month
- An optimized tic-tac-toe game in solidity☆26Updated 3 years ago