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
- Huff Implementation of VRGDAs☆41Updated 3 years ago
- ☆37Updated 3 years ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated 2 years ago
- ☆51Updated 2 years ago
- ☆41Updated 3 years ago
- ☆41Updated 5 years ago
- Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language☆32Updated 3 years ago
- Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle☆39Updated 2 years ago
- An Isolated Safe Environment to Execute Foundry Projects.☆44Updated 3 years ago
- Solidity transient storage that's mutable from within a `STATICCALL`☆24Updated 5 months ago
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 3 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- ☆48Updated 4 years ago
- A binary search tree implementation in Solidity☆20Updated 3 years ago
- ☆17Updated 3 weeks ago
- Introduction to core development via CTF challenges☆40Updated 3 years ago
- proof first, evm specific smt solver☆69Updated 3 years ago
- An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.☆50Updated last year
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated 2 years ago
- Solidity static analyzer☆83Updated last year
- Repo for Yield Protocol 2022 mentorship lessons☆26Updated 3 years ago
- standardized framework to simulate governance proposals with forge☆57Updated 2 years ago
- Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor☆30Updated 3 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆20Updated last year
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 3 years ago
- Extensive Huff Language Documentation, Tutorials, and Resources built with Vuepress and deployed at https://docs.huff.sh☆37Updated last year
- Asm shenanigans, including WETH contract, but in assembly (leftover of a drunk-coding saturday night), Storage classic example (but in a…☆26Updated 3 years ago