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:
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated 2 years ago
- ☆41Updated 3 years ago
- Extensive Tests with the Forge Standard Library,☆20Updated 3 years ago
- A binary search tree implementation in Solidity☆20Updated 3 years ago
- Huff Implementation of VRGDAs☆41Updated 3 years ago
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated last year
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 3 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 3 years ago
- ☆21Updated 3 years ago
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆50Updated last year
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 3 years ago
- ☆42Updated 3 years ago
- Repo for Yield Protocol 2022 mentorship lessons☆26Updated 3 years ago
- Introduction to core development via CTF challenges☆40Updated 3 years ago
- ☆51Updated 2 years ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆26Updated 2 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 3 years ago
- Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle☆39Updated 2 years ago
- An optimized tic-tac-toe game in solidity☆27Updated 3 years ago
- ☆58Updated 3 years ago
- a little foundry template that shows how to use anvil to run gas benchmarks☆33Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- ☆37Updated 3 years ago
- EthernautDAO reputation system☆13Updated 3 years ago
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30Updated 3 years ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆47Updated 3 years ago
- ☆17Updated this week
- Library for creating corrupted calldata.☆27Updated 2 years ago
- standardized framework to simulate governance proposals with forge☆57Updated 2 years ago