OpenZeppelin / compound-monitoringView external linksLinks
☆24Oct 4, 2023Updated 2 years ago
Alternatives and similar repositories for compound-monitoring
Users that are interested in compound-monitoring are comparing it to the libraries listed below
Sorting:
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- ☆35Jul 8, 2022Updated 3 years ago
- Use `forge` and `cast` commands in Python scripts☆19Apr 3, 2022Updated 3 years ago
- This repository is for topologic and geometric data analysis.☆13Jul 2, 2022Updated 3 years ago
- Repo for Yield Protocol 2022 mentorship lessons☆26Aug 8, 2022Updated 3 years ago
- A multi-mode op-stack challenge agent for dispute games written in golang.☆30Apr 6, 2023Updated 2 years ago
- ☆18Feb 15, 2024Updated 2 years ago
- ☆17Sep 29, 2022Updated 3 years ago
- repository for machine learning algorithms and systems on emergent runtimes☆21Jan 31, 2023Updated 3 years ago
- List of currently developed optimism bridges☆26May 25, 2021Updated 4 years ago
- 🤖 Smart contracts built on top of Morpho Protocol to enable one-click leverage and strategies☆21Jun 17, 2023Updated 2 years ago
- Example code for testing using Echidna explained during the Spearbit presentation☆40Jul 6, 2022Updated 3 years ago
- ☆70May 14, 2025Updated 9 months ago
- a simple implementation of the KZG polynomial commitment scheme☆25Nov 22, 2021Updated 4 years ago
- Experimental python optimistic rollup fraud-proof generation☆29Aug 30, 2022Updated 3 years ago
- Share private EVM state attestations using STARK proofs☆73Aug 4, 2022Updated 3 years ago
- Options for ERC721 assets via fractionalizing into ERC20 tokens & depositing into Primitve's RMM-01☆42Apr 10, 2022Updated 3 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Oct 19, 2022Updated 3 years ago
- ☆12Feb 3, 2022Updated 4 years ago
- Start a Hardhat Network node from the command line☆12Oct 1, 2021Updated 4 years ago
- OpenZeppelin patch module for Optimism☆11Mar 26, 2021Updated 4 years ago
- ☆10Oct 2, 2021Updated 4 years ago
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Aug 31, 2021Updated 4 years ago
- ☆11Jan 25, 2022Updated 4 years ago
- Curta Challenge☆16Apr 15, 2023Updated 2 years ago
- ☆14Feb 16, 2021Updated 5 years ago
- Manage EVM protocol deployments. Inspired by Docker, Terraform, and npm.☆27Jul 12, 2022Updated 3 years ago
- Solidity error logging☆23Sep 21, 2021Updated 4 years ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆26Jan 12, 2026Updated last month
- A static verifer for Ethereum Smart Contracts written in Vyper☆51Feb 15, 2023Updated 3 years ago
- my ethereum RPC node setup & notes☆12Dec 16, 2025Updated 2 months ago
- ☆12Oct 31, 2021Updated 4 years ago
- Ergonomic alternative to `approve`/`transferFrom` -- flash loans without external calls☆18Feb 2, 2022Updated 4 years ago
- ☆12Nov 3, 2024Updated last year
- Solidity implementation of tictactoe with heavy influence from fiveoutofnine.☆10Aug 23, 2023Updated 2 years ago
- An EVM interpreter (wip)☆12Aug 29, 2021Updated 4 years ago
- [Optimism] Batches go zoom☆17Apr 11, 2021Updated 4 years ago
- ☆15May 3, 2019Updated 6 years ago
- StarkNet smart contract fuzzer☆81Jul 8, 2022Updated 3 years ago