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:
- Primitive Standards (PSO) for solidity. Forked from solcurity: opinionated security and code quality standard for Solidity smart contract…☆15Updated 2 years ago
- ☆41Updated 3 years ago
- Compares gas usage in Solidity projects using Foundry and comments the changes on the PR☆23Updated 7 months ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 9 months ago
- Huff Implementation of VRGDAs☆41Updated 2 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆19Updated 8 months ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago
- ☆54Updated 2 years ago
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated 2 years ago
- ☆14Updated 2 years ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year
- utilities for more granular and realistic gas measuring in forge tests☆30Updated last year
- Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools☆27Updated last year
- Smart contract audit / optimization reports generated by solstat.☆14Updated 2 years ago
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- Efficient beacon chain batch deposit contract written in huff☆22Updated last year
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated last year
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- ☆17Updated this week
- ☆51Updated last year
- Certora integration with the Forge testing framework of Foundry☆20Updated last year
- solidity compression utility☆20Updated 7 months ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 11 months ago
- gas comparisons between vyper and solady☆20Updated 8 months ago
- Morpho token contracts.☆14Updated 5 months ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆25Updated last month
- Implementation of a faucet in Huff with differential fuzzing vs solidity☆14Updated 2 years ago
- ☆11Updated 3 years ago
- WETH Implementation in Vyper + gas comparisons to WETH9 and WETH10☆16Updated last year
- Optimizor SQRT challenge solution☆26Updated 2 years ago