Certora / CertoraProverSupplementary
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:
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 8 months ago
- ☆41Updated 2 years ago
- ☆17Updated this week
- Efficient beacon chain batch deposit contract written in huff☆23Updated last year
- ☆54Updated 2 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago
- Huff Implementation of VRGDAs☆41Updated 2 years ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 2 years ago
- A collection of practical security-focused guides and checklists for Morpho smart contract development.☆26Updated 2 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆19Updated 8 months ago
- unhacked challenge 2: schnoodle☆21Updated 2 years ago
- ☆51Updated last year
- This repo contains smart contract to perform basic arithmetic operations implemented using Huff☆24Updated last year
- Contracts and bindings for Flood, the optimal routing liquidity protocol.☆15Updated 6 months ago
- ☆16Updated 9 months ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆25Updated last month
- Vyper Deep Dive Notes and Scripts☆26Updated last year
- Compares gas usage in Solidity projects using Foundry and comments the changes on the PR☆23Updated 7 months ago
- Beating OpenZeppelin's Ethernaut in Pure Assembly. Masochists Only.☆24Updated 2 years ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated 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
- solidity compression utility☆20Updated 7 months ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆32Updated 2 years ago
- Extensive Tests with the Forge Standard Library,☆20Updated 3 years ago
- Dynamic constructor-initializable immutables example in Huff☆15Updated 2 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 2 years ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year
- gas comparisons between vyper and solady☆20Updated 7 months ago