This repo contains various DAO contracts especially Timelock ones. Some contracts conflicts with compiler version, for this reason I may or may not have changed that contracts behaviors.
As we always say DYOR.
- Compound Protocol
- Youtube - Time Lock | Solidity 0.8
- Bypassing Smart Contract Timelocks
- What is a Timelock?
- Binance Hashed TimeLock Contract (HTLC)
- What Are Hashed Timelock Contracts (HTLCs)?
- hashed-timelock-contract-ethereum
- OpenZeppelin - Timelock
make installmake updatemake buildFor example: Compound's Timelock Contract
make compound/timelock-testmake # or make helpThis repository does not constitute legal or investment advice. The preparers of this repository present it as an informational exercise documenting the due diligence involved in the secure development of the target contract only, and make no material claims or guarantees concerning the contract's operation post-deployment. The preparers of this repository assume no liability for any and all potential consequences of the deployment or use of this contract.
Importantly, the presented formal specification considers only the behaviors within the EVM, without considering the block/transaction level properties or off-chain behaviors, meaning that the verification result does not completely rule out the possibility of the contract being vulnerable to existing and/or unknown attacks.
Smart contracts are still a nascent software arena, and their deployment and public offering carries substantial risk. This repository makes no claims that its analysis is fully comprehensive, and recommends always seeking multiple opinions and audits.
This repository is also not comprehensive in scope, excluding a number of components critical to the correct operation of this system.
The possibility of human error in the manual review process is very real, and we recommend seeking multiple independent opinions on any claims which impact a large quantity of funds.